MORSE THEORY ON 1-SKELETA

arXiv:1406.1250v1 [math.CO] 5 Jun 2014

CHRIS MCDANIEL
Abstract. Guillemin and Zara gave necessary and sufficient conditions
under which Morse theoretic techniques could be used to construct an
additive basis for the equivariant cohomology of a 1-skeleton that is either 3-independent or GKM. We show that their conditions remain valid
for all 1-skeleta, 3-independent, GKM, or otherwise.

1. Introduction
Let Γ be a d-valent graph with vertex set VΓ and oriented edge set E Γ (i.e.
pq ∈ E Γ ⇔ qp ∈ E Γ ). An axial function on Γ is a function α : E Γ → Rn
which maps oppositely oriented edges to opposite vectors, maps oriented
edges issuing from each single vertex to pairwise linearly independent vectors, and satisfies the following coplanarity condition: for each oriented
edge pq ∈ E Γ and for any other oriented edge e issuing from p there is
a corresponding oriented edge θ pq (e) issuing from q and a positive scalar
λ pq (e) such that the difference α(e) − λ pq (e)α(θ pq (e)) is collinear with α(pq).
The collection of oriented edge matchings θ pq : E p → E q (E x = the oriented
edges issuing from vertex x) and the collection of positive scalar functions
λ pq : E p → R+ are called a connection (θ) and a compatibility system (λ) for
the pair (Γ, α), respectively. The quadruple (Γ, α, θ, λ) is called a d-valent
1-skeleton in Rn .
The equivariant cohomology of the 1-skeleton (Γ, α, θ, λ) is the set H(Γ, α)
consisting of maps f : VΓ → S ≔ Sym(Rn ) such that for any pq ∈ E Γ the
difference f (q) − f (p) is in the ideal of S generated by the linear element
α(pq). Vertex-wise addition and multiplication give H(Γ, α) the structure of
a graded algebra over the polynomial ring S . In two beautiful papers [3, 4],
Guillemin and Zara showed how Morse theoretic techniques could be used
to construct a nice S -module basis for H(Γ, α) called a generating family
for certain 1-skeleta satisfying something called the acyclicity axiom. Following Guillemin and Zara we say that a 1-skeleton satisfying the acyclicity
axiom has the Morse package if it admits a generating family. It turns out
that the Morse package for a 1-skeleton is equivalent to the Morse package
for its planar subskeleta, called 2-slices. This is our main result:
1

2

CHRIS MCDANIEL

Theorem 1.1. Assume (Γ, α, θ, λ) satisfies the acyclicity axiom. Then (Γ, α, θ, λ)
has the Morse package if and only if every 2-slice has the Morse package.
In their important paper [3], Guillemin and Zara essentially proved Theorem 1.1 for 1-skeleta that are 3-independent, i.e. for each p ∈ VΓ and for any
three oriented edges e1 , e2 , e3 issuing from p the vectors α(e1 ), α(e2 ), α(e3 )
are linearly independent. In a subsequent paper [4], Guillemin and Zara
proved Theorem 1.1 for 1-skeleta satisfying the so-called GKM condition,
i.e. each of the scalar functions λ pq is identically equal to one. The proof
given in their latter paper is subtle and clever, drawing on some localization results they had obtained in an earlier paper [2]. In this paper we show
that the ideas developed by Guillemin and Zara remain valid in the general
case, and we use these ideas to give a uniform proof of Theorem 1.1 for all
1-skeleta, GKM, 3-independent, or otherwise. Before getting into the details of our proof we give a bit of background which should justify some of
topological jargon used here, and give some motivation for studying these
objects.
1-skeleta were first explicitly defined as above by Guillemin and Zara [3]
as a combinatorial tool to study GKM manifolds, after the seminal work
of Goresky-Kottwitz-MacPheson [1]. A GKM manifold
 isna compact 2ddimensional almost complex manifold M with a T = S 1 -action whose
zero and one (complex) dimensional orbits consist of finitely many T -invariant
S 2 ’s, each containing exactly two fixed points. An axial function for this
“graph” is then defined by the weights of the isotropy representations of
T on the tangent spaces of M at the fixed points, a connection is defined
by a T -equivariant connection on the tangent bundle of M, and smoothness
of M guarantees that the constants λ pq (e) are always equal to one. Hence
a 2d-dimensional GKM manifold with an n-dimensional torus acting defines a d-valent GKM 1-skeleton in Lie(T )∗  Rn . A remarkable result of
Goresky, Kottwitz, and MacPherson then states that if the manifold M satisfies a technical condition called equivariant formality, then its T -equivariant
cohomology HT (M) is isomorphic to the equivariant cohomology of its 1skeleton. One particularly nice family of equivariantly formal GKM manifolds are the Hamiltonian GKM manifolds, i.e. symplectic GKM manifolds
equipped with Hamiltonian torus actions. In a series of three papers [2–4],
Guillemin and Zara showed that several topological results on Hamiltonian
GKM manifolds have nice combinatorial interpretations on 1-skeleta, even
when there is no underlying GKM manifold to speak of.
For example, let M be a Hamiltonian GKM manifold with torus T acting.
Paraphrasing Guillemin and Zara [3]: Let ξ ∈ Lie(T ) be a generic covector, so that the fixed point set of its circle subgroup H ≔ hexp(tξ)i ⊂ T
coincides with that of T , and let φ : M → R be its associated Hamiltonian

MORSE THEORY

3

function. Then φ is a Morse-Bott function on M whose critical points are
exactly the T -fixed points M T ⊂ M.
n The
o equivariant Thom classes of the
“flow-up” (or unstable) manifolds W p
relative the gradient flow of φ
p∈VΓ
form a basis for HT (M) as a module over HT (pt)  Sym(Lie(T )∗ ), called
a generating family. For each regular value c ∈ R \ φ(M T ) the reduced
space Mc ≔ φ−1 (c)/H is a Hamiltonian orbifold. The flip-flop theorem
then says that for two regular values separated by a single critical value, say
c < φ(p) < c′ , the two reduced spaces Mc and Mc′ are related by a blow
up/blow down procedure called a flip-flop. The flip-flop theorem allows one
to relate the T ′ ≔ T/H-equivariant cohomologies of the reduced spaces of
M to each other. Furthermore the T -equivariant cohomology of M is related
to the T ′ -equivariant cohomology of its reduced space via the Kirwan map
Kc : HT (M) → HT ′ (Mc ), and a theorem of Kirwan says that this map must
be surjective.
By analogy, a 1-skeleton satisfying the acyclicity axiom with fixed covector ξ ∈ (Rn )∗ always admits a compatible Morse function φ : VΓ → R.
A generating family, if one exists, is a homogeneous S -module
n o basis for
H(Γ, α) given by Thom classes on the “flow up” subgraphs F p
relap∈VΓ
tive to the acyclic orientation on Γ induced by ξ. For any regular value,
c ∈ R \ φ(VΓ ) define the cross section of (Γ, α, θ, λ) at level c to be the pair
Γc ≔ (Vc , E c ) where Vc is the set of oriented edges of Γ that cross c level,
and E c are the 2-slices that cross c level. Intuitively, one should think of
the c-cross section as the intersection of the 1-skeleton with the c-translate
of the annihilator hyperplane of ξ, Wξ ⊂ Rn . In the case that (Γ, α, θ, λ)
is 3-indepdendent with 2-slices that have the Morse package, it turns out
that Γc is a (d − 1)-valent graph which inherits a 1-skeleton structure from
(Γ, α, θ, λ). In this case, one can then show that these cross sectional 1skeleta satisfy an analogue of the flip-flop theorem. Moreover, there is an
analogue of the Kirwan map Kc : H(Γ, α) → Maps(Vc , S ξ ) (S ξ = Sym(Wξ ))
and, again in the case that (Γ, α, θ, λ) is 3-independent with Morse 2-slices,
one can show that its image Kc (H(Γ, α)) is equal to H(Γc ), the equivariant
cohomology of Γc with its inherited 1-skeleton structure. Using these facts,
Guillemin and Zara [3] were able to deduce that a 3-independent 1-skeleton
with Morse 2-slices must have the Morse package itself, which is the hard
implication in Theorem 1.1. Without 3-independence however, the cross
section Γc is not a 1-skeleton, and the cross sectional equivariant cohomology as defined above is not so well behaved. Hence to carry our analogy
over to the general case, one must find a suitable replacement for H(Γc ). In
their remarkable paper [4], Guillemin and Zara found the “right” replacement for H(Γc ) using analogues of integral operators they had introduced
and studied for GKM 1-skeleta in an earlier paper [2].

4

CHRIS MCDANIEL

In that paper [2], Guillemin and Zara used an analogue of the AtiyahBott-Berline-Vergne localization formula for the integral of an equivariant
cohomology class on a Hamiltonian GKM space to define an “integral operator” on the equivariant cohomology of a GKM 1-skeleton. They also
introduced the notion of residues to prove a combinatorial analogue of the
Jeffrey-Kirwan theorem for GKM 1-skeleta, which gives rise to a “cross
sectional integral operator”. It turns out that the existence of such integral
operators is equivalent to the compatibility system of the 1-skeleton satisfying a kind of “trivial holonomy” condition that we call straightness. In
particular for a nstraight
1-skeleton (Γ, α, θ, λ) we show that there exist poso
itive constants c p
such that for every f ∈ H(Γ, α) the sum of rational
p∈VΓ
functions
Z
X
f (p)
(1.1)
f ≔
Q
c
Γ
e∈E p α(e)
p∈VΓ p
R
is actually a polynomial in S , c.f. Proposition 2.5.3. The map Γ : H(Γ, α) →
S [d] is called an integral operator on H(Γ, α). One of the important observations made by Guillemin and Zara [4] is that a map h : VΓ → S is in
H(Γ, α) if and only if
Z
f · h ∈ S ∀ f ∈ H(Γ, α).
Γ

Now assume that (Γ, α, θ, λ) satisfies the acyclicity axiom, with ξ ∈ (Rn )∗ ,
φ : VΓ → R, and c ∈ R \ φ(VΓ ) fixed, and for each f ∈ Maps(Vc , S ξ ) define:
Z
X
f (e)
f ≔
Q
c m e′ ∈Ei(e) ρe (α(e′ ))
Γc
e∈V i(e) e
c

e′ ,e

where i(e) is the initial vertex of e, ci(e) is as in (1.1), me = hξ, α(e)i, and
ρe : Rn → Wξ is the projection along the α(e) coordinate. Under these
assumptions (i.e. straightness and acyclicity), we prove that for every h ∈
H(Γ, α) we have
!
Z
X 1
f (p)
Resξ Q
(1.2)
Kc (h) =
c
Γc
e∈E p α(e)
φ(q)<c q

where Resξ is the residue operator on rational functions introduced
R by Guillemin
and Zara [2], c.f. Lemma 2.7.1. In particular this implies that Γ Kc (h) is a
c
polynomial in S ξ for every h ∈ H(Γ, α).
Following Guillemin and Zara, one now defines the cross sectional equivariant cohomology H(Γc ) to be the set of maps f ∈ Maps(Vc , S ξ ) such
that
Z
f · Kc (h) ∈ S ξ ∀ h ∈ H(Γ, α).
Γc

MORSE THEORY

5

While this definition only makes sense for 1-skeleta that are straight, we
show that in fact straightness for (Γ, α, θ, λ) is implied by either the Morse
package on (Γ, α, θ, λ), or the Morse package on its 2-slices, c.f. Propositions 2.5.6 and 2.5.7.
The remarkable fact is that an analogue of the flip-flop theorem actually holds for H(Γc ) as defined above. More precisely, we show that if
(Γ, α, θ, λ) satisfies the acyclicity axiom and if every 2-slice of (Γ, α, θ, λ)
has the Morse package, then for any two regular values separated by a
unique critical value, c < φ(p) < c′ , there are S ξ -module maps
µp

(1.3)

-

H(Γc ) l

H(Γc′ ) ,

δp

called flip-flop maps, c.f. Lemma 3.2.1. Using the flip-flop maps, we prove
that the image of the Kirwan map is again equal to H(Γc ), c.f. Proposition
3.3.1. It turns out that one can then deduce the existence of a generating
family for (Γ, α, θ, λ) directly from the surjectivity of the Kirwan maps, c.f.
Lemma 3.4.1.
We would like to add that several of the results in this paper were proved
for GKM 1-skeleta by Guillemin and Zara, and, once straightness has been
established, many of their proofs actually hold verbatim. Several of these
proofs have been reproduced here for the sake of completeness, with references to the original arguments of Guillemin and Zara. On the other hand
there are some new arguments in this paper that give our proof of Theorem
1.1 a slightly distinctive flavor from that given by Guillemin and Zara, for
better or worse.
This paper is organized as follows. In Section 2 we define the fundamental notions of a 1-skeleton and its equivariant cohomology, and establish
some of their properties. In Section 3 we prove Theorem 1.1. In Section 4
we give a few concluding remarks regarding 1-skeleta in the plane.
Unless otherwise stated: All rings and modules are graded over N =
{0, 1, 2, . . . , }, all maps are assumed to be graded of degree zero, and M[i]
denotes the shifted module M[i] j ≔ M i+ j .
2. Definitions
2.1. 1-Skeleta. A graph Γ is a pair consisting of vertices VΓ and oriented
edges E Γ by which we mean distinct ordered pairs of vertices where pq ∈ E Γ
if and only if qp ∈ E Γ . For a given oriented edge e = pq ∈ E Γ , its initial
vertex is i(e) ≔ p, its terminal vertex is t(e) ≔ q, and its oppositely oriented
counterpart is ē ≔ qp. By the set of oriented edges at p, denoted E p , we
mean the set of all oriented edges with initial vertex p. The graph is d-valent

6

CHRIS MCDANIEL

if the cardinality of E p is equal to d for every p ∈ VΓ . Unless otherwise
stated, all graphs in this paper are connected and have constant valency.
A connection θ on Γ is a collection of bijective maps θ pq : E p → E q
−1
indexed by the set E Γ satisfying θ pq (pq) = qp and θ pq = θqp
for each pq ∈
E Γ . An axial function α on Γ compatible with θ is a map α : E Γ → Rn
satisfying the following axioms:
A1. {α(e) | e ∈ E p } is pairwise linearly independent for each p ∈ VΓ
A2. α(pq) = −α(qp) for each pq ∈ E Γ
A3. For every vertex p ∈ VΓ and for each pair e, e′ ∈ E p there exist positive
constants λe (e′ ) such that
α(e′ ) − λe (e′ )α(θe (e′ )) ≡ 0 mod α(e)
It
n is convenient oto regard the positive constants as a family of functions λ ≔
λe : E i(e) → R+
called the compatibility system for the triple (Γ, α, θ).
e∈EΓ
We define λe (e) ≔ 1. Note that λ is uniquely determined by the triple
(Γ, α, θ).
Definition 2.1.1. A d-valent 1-skeleton in Rn is a quadruple (Γ, α, θ, λ) consisting of a d-valent graph Γ, a connection θ on Γ, a compatibility system λ
on Γ compatible with θ, and an axial function α on Γ compatible with θ and
λ.
A 1-skeleton is called GKM if its compatibility system satisfies λe ≡ 1
for each e ∈ E Γ . A 1-skeleton is called k-independent if for each p ∈ VΓ
every k-subset of vectors {α(e) | e ∈ E p } is linearly independent. Note that a
1-skeleton is always 2-independent.
2.2. Subskeleta. Let Γ0 ⊆ Γ be a subgraph. Suppose that for each pq ∈
E 0 , the function θ pq : E p → E q restricts to a function on θ0 : E 0p → E 0q .
Then Γ0 inherits the 1-skeleton structure from Γ and we call the 1-skeleton
(Γ0 , α0, θ0 , λ0 ) a subskeleton. The normal edges to Γ0 at p ∈ V0 are the edges
at p that are not in Γ0 , i.e. N0p ≔ E p \ E 0p . Note that θ pq also defines normal
connection maps θ⊥pq : N0p → N0q .
For any k-dimensional subspace H ⊆ Rn , let ΓH be the disjoint union of
subgraphs of Γ whose oriented edge set is E H ≔ {e ∈ E Γ | α(e) ∈ H}. Let Γ0H
be any connected component of ΓH . Then Γ0H has constant valency. Indeed
if pq ∈ E 0H , and e ∈ E 0H,p, then we have α(e) − λ pq (e)α(θ pq (e)) = c pq α(pq).
Since α(e), α(pq) ∈ H we conclude
that α(θ(e)) ∈ H as well. Thus in

particular we have that θ pq E 0H,p = E 0H,q for every pq ∈ E 0H . Since Γ0H is
connected we get a subskeleton (Γ0H , α0H , θ0H , λ0H ) called a k-slice with respect
to H ⊆ Rn . Note that a k-slice need not be k-valent.

MORSE THEORY

7

2.3. Paths and Holonomy. For every path (resp. loop) γ : p0  p1 · · · 
pN in Γ composing the connection maps along the edges of γ yields the path
connection map (resp. holonomy map) for γ,
Kγ ≔ θ pN−1 pN ◦ θ p0 p1 : E p0 → E pN .
Similarly, the product of the compatibility maps along the edges of γ yields
the path connection number (resp. holonomy number) for γ,
Kγ ≔

N−1 Y
Y
i=0

λ pi pi+1 (e).

e∈E pi

Q
For example if γ : p  q consists of a single edge, then K pq = e∈E p λ pq (e).
For each path γ : p  · · ·  q, let γ̄ : q  · · ·  p denote the path γ
traversed backwards. For two paths γ′′ : p  · · ·  q and γ′ : q  · · ·  r,
their compostion γ′ ◦ γ′′ : p  · · · q  · · ·  r is defined by concatenation.
Clearly we have Kγ′ ◦γ′′ = Kγ′ ◦ Kγ′′ , where the ◦ on the right is function
composition. Also note that Kγ′ ◦γ′′ = Kγ′ · Kγ′′ . In particular, for any
path γ : p  · · ·  q we always have Kγ ◦ Kγ̄ = idE p and Kγ · Kγ̄ = 1. A
loop with basepoint p is any path of the form γ : p  · · ·  p. Note that
if γ : q  · · ·  q is any loop with basepoint q, and γ′ : p  · · ·  q is
any path from p to q, then γ′′ ≔ γ̄′ ◦ γ ◦ γ′ is a loop with basepoint p and
Kγ′′ = Kγ .
Definition 2.3.1. A 1-skeleton (Γ, α, θ, λ) is straight if Kγ = 1 for every
loop γ in Γ.
Note that in order to verify straightness, it suffices to just check those
loops with a fixed basepoint.
If the path γ lies in a subskeleton Γ0 , then we can restrict the holonomy
maps to the normal edges to Γ0 to define the normal holonomy maps and the
normal holonomy numbers. We then say that the subskeleton is normally
straight if the normal path connection numbers Kγ⊥ are equal to one for
evey loop γ in Γ0 . Note that a subskeleton of a straight 1-skeleton is straight
if and only if it is normally straight. Indeed if γ is a loop in Γ0 , then the path
connection number factors Kγ = Kγ0 · Kγ⊥ .
Proposition 2.3.1. Every k-slice is normally straight.
Proof. Fix a k-subspace H ⊆ Rn , and let (Γ0H , α0H , θ0H , λ0H ) be a k-slice.
Choose a covector η ∈ (Rn )∗ which vanishes on H, but does not vanish on
α(e) for each e < N0 . Let Kη be the (n−1)-dimensional annihilator subspace
spanned
of η : Rn → R, and let Pe,e′ denote the 2-dimensional subspace
 by

′
′
′
α(e), α(e ), and α (θe (e )). Note that by our choice of η, dim Pe,e ∩ Kη = 1.

8

CHRIS MCDANIEL

Now for each e ∈ E 0p and e′ ∈ N0p we have
hη, α(e′ )i
α(θe (e′ )) ∈ Pe,e′ ∩ Kη .
′
hη, α(θe (e ))i
On the other hand we also have
α(e′ ) −

α(e′ ) − λe (e′ )α(θe (e′ )) = ce α(e) ∈ Pe,e′ ∩ Kη .
Since the subspace Pe,e′ ∩ Kη is 1-dimensional, it must be spanned by α(e).
It follows that
hη, α(e′ )i
α(e′ ) −
α(θe (e′ )) ∈ R · α(e).
hη, α(θe (e′ ))i
Moreover, since α(e) = −α(ē) and α (θe (e′ )) are linearly independent it follows that
hη, α(e′ )i
.
(2.1)
λe (e′ ) =
hη, α(θe (e′ ))i
Now for any loop γ : p0  p1  · · ·  pN  p0 in Γ0H , (2.1) yields


QN Q

N 
p
Y
 Y
i=0
e∈N0 i hη, α(e)i
hη,
α(e)i

⊥




.
(2.2) Kγ =
 = QN Q

p
pi hη, α(θ pi pi+1 (e))i
i=0
e∈N i+1 hη, α(θ pi pi+1 (e))i
i=0

e∈N0

0

Since the same factors occur in both the numerator and the denominator, the
quotient in (2.2) must equal 1, hence the k-slice is normally straight.


2.4. Polarizations. A covector ξ ∈ (Rn )∗ with the property that hα(e), ξi is
called polarizing. Note that any polarizing covector induces an orientation
on Γ by specifying for each pair of oriented edges e, ē ∈ E Γ the one for
which hα(e), ξi > 0. If the orientation on Γ induced by ξ is acyclic, i.e.
no oriented loops, then we say that Γ is ξ-acyclic. Note that a ξ-acyclic
orientation gives a partial ordering to the vertex set VΓ defined by p ≤ q if
and only if there is an oriented path in Γ from p to q. As Guillemin and Zara
point out [3, Theorem 1.4.1], this partial order on VΓ extends naturally to a
total order as follows. For each vertex p ∈ VΓ define φ̂(p) to be the length of
the longest oriented path in Γ which terminates at p. Now perturb the values
of φ̂ slightly to obtain an injective function φ : VΓ → R with the property
that φ(p) < φ(q) whenever hα(pq), ξi > 0. Such a function φ is called a (ξcompatible) Morse function for Γ. Clearly the existence of a Morse function
depends on the existence of a ξ-acyclic orientation. It turns out that there are
some examples of 1-skeleta which do not admit any ξ-acyclic orientations
at all, c.f. [3, pg. 302] or [6, pg. 950]. To use Morse theory on 1-skeleta we
must therefore invoke the so-called acyclicity axiom:
Acyclicity Axiom: There exists a polarizing covector ξ ∈ (Rn )∗ for (Γ, α, θ, λ)
which induces a ξ-acyclic orientation on Γ.

MORSE THEORY

9

For technical reasons we would also like our polarizing covectors to be
generic, meaning that for each p ∈ VΓ and each quadruple e1 , e2 , e3 , e4 ∈ E p
we have
α(e2 )
α(e3 )
α(e4 )
α(e1 )
−
,
−
.
hξ, α(e1 )i hξ, α(e2 )i hξ, α(e3 )i hξ, α(e4 )i
Note that the set of generic polarizing covectors is a non-empty Zariski
open set. Thus if (Γ, α, θ, λ) satisfies the acyclicity axiom, then it is always
possible to find a generic polarizing covector ξ ∈ (Rn )∗ whose induced orientation on Γ is acyclic.
From now on, we will assume that the acyclicity axiom is satisfied by our
1-skeleta, and a generic polarizing covector for a 1-skeleton will always
refer to one whose induced orientation is acyclic.
Fix a generic polarizing covector ξ ∈ (Rn )∗ for (Γ, α, θ, λ). The set of
oriented edges at a vertex p ∈ VΓ whose directions pair positively with ξ
are said to flow out from p, denoted E +p , and those whose directions pair
negatively with ξ are said to flow into p, denoted E −p . The cardinality of the
set E −p is called the index of p with respect to ξ, denoted by indξ (p).
Definition 2.4.1. For 0 ≤ i ≤ d, the ith combinatorial Betti number for
(Γ, α, θ, λ) is the number
o
n
bi (Γ, α) ≔ # p ∈ VΓ indξ (p) = i .

While the index of a vertex clearly depends on the choice of ξ, the remarkable fact is that the combinatorial Betti numbers do not depend on ξ,
c.f. [3, Theorem 1.3.1]. From this we observe that the combinatorial Betti
numbers are symmetric, i.e. for 0 ≤ i ≤ d bi (Γ, α) = bd−i (Γ, α). Indeed, if ξ
is a generic polarizing covector then so is −ξ, and we have for each p ∈ VΓ
indξ (p) = d − ind−ξ (p).
Also note that from the acyclicity, we must have b0 (Γ, α) ≥ 1 and hence
bd (Γ, α) ≥ 1. A 1-skeleton with b0 (Γ, α) = 1 = bd (Γ, α) is called pointed.
In this case there is a unique source vertex p0 ∈ VΓ whose edges all flow
out, and a unique sink vertex p1 ∈ VΓ whose edges all flow in. A 1-skeleton
is called non-cyclic if every 2-slice pointed. It is not difficult to see that a
non-cyclic 1-skeleton is always pointed. The converse is not true however,
c.f. [6, pg. 951]. The following result is key to further results in this paper.
Proposition 2.4.1. Let (Γ, α, θ, λ) be any d-valent non-cyclic 1-skeleton in
Rn . Then (Γ, α, θ, λ) is straight if and only if every 2-slice (Γ0H , α0H , θ0H , λ0H )
is straight.
Proof. If (Γ, α, θ, λ) is straight, then it follows from Proposition 2.3.1 that
every 2-slice (in fact every k-slice) is straight. Now assume that every 2slice is straight. Fix a generic polarizing covector, let φ : VΓ → R be a

10

CHRIS MCDANIEL

compatible Morse function, and let p0 be the minimum vertex with respect
to φ. For each loop γ based at p0 let h(γ) be the largest vertex of γ with
respect to φ, and let µ(γ) be the number of times that γ passes through it.
Then define the height of γ to be the pair (h(γ), µ(γ)) ∈ VΓ × Z+ . We endow
the set VΓ × Z+ with the lexicographic ordering (i.e. (p, n) ≤ (q, m) if and
only if either p < q or p = q and n < m). We will prove that |Kγ | = 1 by
induction on the height of γ.
First assume the height of γ is (p0 , 1). Then γ is the trivial loop and
there is nothing to show. Now assume that γ is a loop based at p0 with
height (x, m). Then we can write γ : p0  p1  · · ·  pm−1  x 
pm+1  · · ·  pn  p0 , where φ(pi ) ≤ φ(x) for all i. Define γ0 : p0 
p1  · · ·  pm−1 , γ2 : pm+1  · · · pn  p0 , and γ1 : pm−1  x  pm+1 ,
so that γ = γ2 ◦ γ1 ◦ γ0 . Let Γ0H = (V0 , E 0) be the graph of the 2-slice
containing x spanned by α(xpm−1 ) and α(xpm+1 ), and let s ∈ V0 denote the
unique source in Γ0H , which exists by our non-cyclicity assumption. By
uniqueness of s, there exist oriented paths in Γ0H , say γ4 : s  t1  · · · 
tk = pm−1 and γ3 : s  u1  · · ·  uℓ = pm+1 . Then γ̄3 ◦ γ1 ◦ γ4 : s 
t1  · · ·  pm−1  x  pm+1  · · ·  u1  s is a loop in Γ0H (based at
s). Note that φ(ta ), φ(ub ) < φ(x) for all a, b since the paths γ3 and γ4 are
oriented. Since we are assuming (Γ0H , α0H , θ0H , λ0H ) is straight, we deduce that
Kγ̄3 ◦ Kγ1 ◦ Kγ4 = 1 from which we deduce that
Kγ1 =

Kγ3
Kγ4

.

On the other hand the new loop (based at p0 )
γ̂ ≔ γ2 ◦γ3 ◦γ̄4◦γ0 : p0  · · ·  pm−1  tk−1  · · · s  u1  · · ·  pm+1  · · · pn  p0
has the same holonomy number as γ, i.e.
Kγ̂ = Kγ2 ·

Kγ3
Kγ4

· Kγ0 = Kγ .

Since γ̂ must have smaller height than γ, we deduce by induction that Kγ̂ =

1, and thus Kγ must equal 1 as well.
2.5. Cohomology Rings. Let S denote the symmetric algebra on Rn , and
let Q denote its field of fractions. Let Maps(VΓ , S ) denote the set of set
maps f : VΓ → S . The set Maps(VΓ , S ) has the structure of a graded ring,
where addition and multiplication are defined point-wise. Moreover the
polynomial ring S sits inside Maps(VΓ , S ) as the subring of constant maps,
hence Maps(VΓ , S ) is actually an S -algebra. The equivariant cohomology

MORSE THEORY

11

of (Γ, α, θ, λ) is defined as the subset
H(Γ, α) ≔ { f : VΓ → S | f (q) − f (p) ∈ α(pq) · S , ∀pq ∈ E Γ } .
It is straightforward to see that H(Γ, α) is a graded S -subalgebra of Maps(VΓ , S ).
Since S is Noetherian and Maps(VΓ , S ) is finitely generated, the subalgebra
H(Γ, α) must also be finitely generated. Hence the quotient
H(Γ, α) ≔

H(Γ, α)
· H(Γ, α)

S+

is a finite-dimensional graded R-algebra, called the ordinary cohomology
of (Γ, α, θ, λ).
2.5.1. Thom Classes and Integral Operators. The support of an equivariant
class f ∈ H(Γ, α) is the set of vertices on which f is non-zero, denoted by
supp( f ). A non-zero equivariant class τ0 ∈ H(Γ, α) of degree k whose
support lies in the vertex set of a subskeleton with co-valence k is called a
Thom class for that subskeleton. Note the support and degree restrictions
tell us that the Thom class of a subskeleton Γ0 ⊆ Γ must have the form
 Q


t p · e∈N0p α(e) if p ∈ V0
(2.3)
τ0 (p) = 

0
otherwise
n o
for some real numbers t p
satisfying the following condition:
p∈V0
Y
(2.4)
tq = t p ·
λ pq (e) ∀ pq ∈ E 0 .
p

e∈N0

n o
Conversely, if we can define numbers t p
satisfying (2.4) then the subp∈V0
skeleton (Γ0 , α0 , θ0, λ0 ) must support a Thom class. This turns out to be
related to the normal straightness of the subskeleton.
Proposition 2.5.1. A subskeleton (Γ0 , α0 , θ0, λ0 ) supports a Thom class if
and only if it is normally straight.
Proof. Assume that the subskeleton is normally straight. Fix a basepoint
p0 and set t p0 ≔ 1. Now for any other vertex q , p0 of Γ0 , define a path
γq : p0  · · ·  q and define tq ≔ Kγ⊥q . Then for any edge pq ∈ E 0 we get
a loop (based at p0 ) γ ≔ γ¯q ◦ {p  q} ◦ γ p : p0  · · ·  p  q  · · ·  p0 .
Therefore we have that
Kγ⊥

=

Kγ⊥p · K ⊥pq
Kγ⊥q

=

tp ⊥
K .
tq pq

12

CHRIS MCDANIEL

Hence by straightness, we have
t p K ⊥pq = tq = t p

Y

λ pq (e).

p
e∈N0



Hence our numbers Kγ⊥p

p∈V0

satisfy (2.4) which implies that Γ0 supports

a Thom class.
n o
Conversely assume that Γ0 supports a Thom class, with constants t p
p∈V0
satisfying (2.4). Let γ : p0  p1  p2  · · ·  pN  p0 be any loop in Γ0 .
Then we have that
Kγ⊥ = K ⊥p0 p1 · K ⊥p1 p2 · · · K ⊥pN p0
tp tp
tp
= 0 · 1 ··· N
t p1 t p2
t p0
= 1,
as desired.



Note that vertices and edges always have Thom classes. More generally,
by Proposition 2.3.1, every k-slice has a Thom class. For any subskeleton the set-inclusion (Γ0 , α0 , θ0 , λ0) ⊆ (Γ, α, θ, λ) defines a restriction map
H(Γ, α) → H(Γ0 , α0 ). If the subskeleton supports a Thom class then multiplication by that Thom class defines a map in the other direction.
Proposition 2.5.2. Given a k-valent subskeleton (Γ0 , α0 , θ0, λ0 ) ⊆ (Γ, α, θ, λ)
with a Thom class τ0 ∈ H(Γ, α), multiplication defines a map of S -modules
H(Γ0 , α0 )
f ✤

×τ0

/

H(Γ, α)[k]
/

f · τ0 .

Proof. Let (Γ0 , α0 , θ0, λ0 ) be a k-valent subskeleton of (Γ, α, θ, λ), let τ0 ∈
H(Γ, α) be a Thom class, and let f ∈ H(Γ0 , α0 ) be an arbitrary element. We
need to check that for each pq ∈ E Γ we have
(2.5)

f (q) · τ0 (q) − f (p) · τ0 (p) = c · α(pq)

for some c ∈ S . Clearly if neither one of p or q are vertices in Γ0 , then
by our description of Thom classes in (2.3), (2.5) is satisfied. Suppose that
both p and q are vertices in Γ0 . If pq is an oriented edge of Γ0 then (2.5)
must be satisfied since both f and τ0 are in H(Γ0 , α0 ). On the other hand,
if pq is not an oriented edge in Γ0 then pq is normal to Γ0 at p and qp is
normal to Γ0 at q. Hence in this case both τ0 (p) and τ0 (q) are S -multiples
of α(pq) and again (2.5) is satisfied.


MORSE THEORY

13

We say that a Thom class is non-vanishing if its image in the ordinary
cohomology ring is non-zero.
Proposition 2.5.3. Let (Γ, α, θ, λ) be a d-valent 1-skeleton in Rn . Then the
following are equivalent.
(i) (Γ, α, θ, λ) is straight.
(ii) Some (hence every) vertex of Γ has
n ao non-vanishing Thom class.
(iii) There exist non-zero constants c p
such that for every f ∈
p∈VΓ
H(Γ, α) we have
X
f (p)
Q
∈ S.
c · e∈E p α(e)
p∈VΓ p
R
R
Proof. (iii) ⇒ (ii). Define the function Γ : Maps(VΓ , S ) → Q by Γ f =
P
f (p)
p∈VΓ c p Qe∈E p α(e) . Assuming that (iii) holds, the function restricts to a S R
the
module map Γ : H(Γ, α) → S [−d]. Fix p ∈ VΓ , and let
R T p denote
Q
1
Thom class for p defined by T p (p) = e∈E p α(e). Then Γ T p = c p , 0.
R
Since Γ is an S -module map, it passes to a map on ordinary cohomology
R
R
R
T̄
=
H(Γ,
α)
→
R[−d],
and
since
T = c1p , 0 we conclude that
:
p
Γ
Γ p
Γ
the ordinary class T̄ p is non-zero.
(ii) ⇒ (i). For eachQ
vertex p ∈ VΓ , we may take Thom class to be the one
for which T p (p) = e∈E p α(e), scaling if necessary. For each edge pq ∈ E Γ
define its Thom class by
Q


if x = p
e∈E p α(e)


e,pq


Q

(2.6)
σ pq (x) = 
K pq · e∈Eq α(e) if x = q


e,qp



0
otherwise,
Q
where K pq = e∈E p λ pq (e). Then for each pq ∈ E Γ we have K pq · T q =
T p − α(pq) · σ pq . Inductively, for any path γi : p = p0  p1  · · ·  pi , we
have
Kγi · T pi = T p0 − α(p0 p1 )σ p0 p1 − · · · Kγi−1 α(pi−1 pi )σ pi−1 pi .
In particular for any loop γ : p0  p1  · · ·  pN  p0 , we have that
(2.7)

Kγ T p0 = T p0 −

N
X

Kγi α(pi pi+1 )σ pi pi+1 .

i=0

Note that the sum on the RHS of (2.7) is in the ideal S + · H(Γ, α). Thus if
T̄ p0 , 0 then we must have that Kγ = 1.

14

CHRIS MCDANIEL

(i) ⇒ (iii). Fix a base point p0 and define p0 ≔ 1. Then for each p0 , q ∈ VΓ
straightness
define a path γq from p0 to q, and set cq ≔ Kγq . In particular,
Q
guarantees that for every pq ∈ E Γ , we have cq = c p · e∈E p λ pq (e). Fix
f ∈ H(Γ, α). The following argument has been lifted almost verbatim from
the one given by Guillemin and Zara [2, Theorem 2.2].
Let α1 , . . . , αN denote a set of pairwise linearly independent vectors in Rn
such that for each e ∈ E Γ , α(e) is collinear with some α j , 1 ≤ j ≤ N. Then
we can find a suitable polynomial g ∈ S such that
X
f (p)
g
Q
.
=
(2.8)
c p e∈E p α(e) α1 · · · αN
p∈V
Γ

We will show that for a fixed index 1 ≤ i ≤ N, αi necessarily divides g.
Since α1 , . . . , αN are relatively prime in S , this will show that RHS of (2.8)
does indeed lie in S . Write VΓ = V1 ⊔V2 where V1 denotes the set of vertices
q such that for some e ∈ E q , α(e) and αi are collinear. Note that the vertices
in V1 come in pairs. Indeed if p ∈ V1 then there is a unique e ∈ E p with
α(e) = λ · αi , hence q ≔ t(e) ∈ V1 as well. Thus (2.8) can be written as
X
X
f (p)
g
f (p)
(2.9)
Q
Q
+
=
c p e∈E p α(e) p∈V c p e∈E p α(e) α1 · · · αN
p∈V
1

2

and

(2.10)

X

p∈V1

cp

1
=
2
e∈E p α(e)

f (p)
Q

X

pq∈EΓ
α(pq)=λαi

cp

f (p)
Q
e∈E p

α(e)

+

cq

f (q)
Q
e∈E q

α(e)

Rewriting RHS of (2.10) we get
Q
Q


f (p)cq e∈Eq α(e) − f (q)c p e∈E p α(e) 

X

1


e,pq
e,qp
(2.11)
Q
Q
.

2 pq∈E
c p cq · α(pq) · e∈E p α(e) · e∈Eq α(e) 
e,pq

Γ

α(pq)=λαi

e,qp

We observe that

f (p) ≡ f (q) mod α(pq)
and
cp

Y

e∈E p

e,pq

α(e) ≡ cq

Y

α(e) mod α(pq),

e∈E q

e,qp

from which it follows that
Y
Y
f (p)cq
α(e) ≡ f (q)c p
α(e) mod α(pq).
e∈E q
e,qp

e∈E p
e,pq

!

.

MORSE THEORY

15

Hence the sum in (2.11) can be rewritten as
1 X g pq
(2.12)
2 pq∈E h pq
Γ

α(pq)=λαi

for some g pq , h pq ∈ S , where h pq is relatively prime to αi .
Plugging this observation into (2.9) we get
g
f (p)
1 X g pq X
+
Q
.
=
(2.13)
2 pq∈E h pq p∈V c p e∈E p α(e) α1 · · · αN
Γ

2

α(pq)=λαi

Now since every denominator on the LHS of (2.13) is relatively prime to
αi , it follows that αi must divide g.

R
The function Γ : H(Γ, α) → S [−d] is called an integral operator on
(Γ, α, θ, λ), and will play a fundamental role in this paper. One interesting
property of the integral operator is the following “duality” property, pointed
out by Guillemin and Zara [4]:
Proposition 2.5.4. For a straight 1-skeleton
(Γ, α, θ, λ), an element f ∈
R
Maps(VΓ , S ) is in H(Γ, α) if and only if Γ f · h ∈ S for all h ∈ H(Γ, α).
R
Proof. Fix f ∈ Maps(VΓ , S ), and suppose that Γ f · h ∈ S for every h ∈
H(Γ, α).QLet pq ∈ E Γ be any edge, and let h denote its Thom class with
h(p) ≔ e∈E p α(e). Then we have
e,pq
Q
Z
f (p)
e∈E p λ pq (e) f (q)
f ·h=
+
c p α(pq)
cq α(qp)
Γ
f (p) − f (q)
,
=
c p α(pq)
Q
c
where the second inequality follows from the identity cqp = e∈E p λ pq (e).
R
Hence if Γ f · h ∈ S , we must have that f (p) − f (q) = c pq α(pq). The other
implication is simply (iii) in Proposition 2.5.3.

2.5.2. Generating Classes, Weak Generating Classes, and the Morse Package. Fix a generic polarizing covector ξ, and a compatible Morse function
φ. Define the flow-up at p to be those vertices that are endpoints of some
ξ-oriented path starting at p, denoted by F p. Denote by F p those vertices
whose φ-value is at least the φ-value of p. Note that in general we have the
containment F p ⊆ F p .
A homogeneous equivariant class τ p ∈ H(Γ, α) of degree indξ (p) is called
a generating class for p if

16

CHRIS MCDANIEL

(i) supp(τ p )Y
⊆ F p , and
(ii) τ p (p) =
α(e).
p

e∈E−

A homogeneous equivariant class τ p ∈ H(Γ, α) of degree indξ (p) is called
a weak generating class for p if
(i) supp(τ p )Y
⊆ F p , and
(ii) τ p (p) =
α(e).
p

e∈E−

A generating family, resp. weak generating family, is a collectionn ofo generating classes, resp. weak generating classes, one for each vertex τ p
.
p∈VΓ
The following result is essentially due to Guillemin and Zara [3, Theorem
2.4.2].
Proposition 2.5.5. The following are equivalent:
(i) H(Γ, α) is a free S -module with bi (Γ, α) generators in degree i.
(ii) (Γ, α, θ, λ) admits a weak generating family.
(iii) (Γ, α, θ, λ) admits a generating family.
Proof. (i) ⇒ (ii). Label the vertices VΓ = {p1 , . . . , pN } so that φ(p1 ) < · · · <
φ(pN ). Define the submodule filtration of H(Γ, α) by setting H0 ≔ H(Γ, α),
HN ≔ {0}, and for each 1 ≤ i ≤ N − 1 define submodule
n
o
Hi ≔ f ∈ H(Γ, α) supp( f ) ⊆ F pi+1 .

Then for each 0 ≤ i ≤ N − 1 we have an exact sequence of graded vector
spaces
Q
/ Hi ǫ i /
/ Hi+1
p
(2.14)
0
e∈E−i+1 α(e) · S

where the first map is inclusion, and second map, ǫi+1 , is evaluation at the
vertex pi+1 . Restricting to the mth graded pieces in (2.14) we get the inequalities:


m 
≤ dimR S m−σ pi+1 , 0 ≤ i ≤ N − 1.
(2.15) dimR Him (Γ, α) − dimR Hi+1
Summing (2.15) over i, we get the inequality
X

dimR (H m (Γ, α)) ≤
(2.16)
dimR S m−σ p
p∈VΓ

=

d
X
j=0



b j (Γ, α) dimR S m− j .

If H(Γ, α) is a free S -module with bi (Γ, α) generators in degree i, then the
inequality in (2.16) must be an equality. But this implies that the inequalities
in (2.15) are also equalities, which, in turn implies that the evaluation map

MORSE THEORY

17

ǫ pi+1 must be surjective for 0 ≤ i ≤ N − 1. On the other hand, the surjectivity
of ǫ pi+1 exactly means that vertex pi+1 has a weak generating class for 0 ≤
i ≤ N − 1.
n o
(ii) ⇒ (iii). Let τ p
be a weak generating family for (Γ, α, θ, λ), and
p∈VΓ
label the vertices as
with φ(p1 ) < · · · < φ(pN ). We will
n before,
o
n oconstruct a
generating family κ p
from the weak generating family τ p
. Note
p∈VΓ
p∈VΓ
that κ pN ≔ τ pN is already a generating class for pN , since F pN = F pN = {pN }.
Inductively, we assume that we have generating classes κ pN , κ pN−1 , . . . , κ pk+1
for the vertices pN , . . . , pk+1 , respectively, and we will construct a generating class
 for pk starting from the weak generating class τ pk . Note that if
supp τ pk ⊆ F pk ⊆ F p then κ pk ≔ τ pk is already a generating class and we
 
are done. Otherwise there is a vertex q0 in supp τ pk \ F pk whose φ-value is
smallest. If q0 t1 , . . . , q0 tr are the oriented edges at q0 that flow into q0 , note
that by our choice of q0 we must have τ pk (ti ) = 0 for 1 ≤ i ≤ r. Hence there
exists a c0 ∈ S such that
Y
τ pk (q0 ) = c0
α(e).
q

e∈E−0

Since q0 ∈ F pk we must have φ(pk ) < φ(q0 ), hence, by our inductive hypothesis, q0 has a generating class κq0 . Define the new class
τ pk ,1 ≔ τ pk − c0 κq0 .


Now if supp τ pk ,1 ⊆ F pk we are done. Otherwise we proceed as before, and


choose the φ-smallest vertex q1 ∈ supp τ pk ,1 \ F pk . Note that φ(q0 ) < φ(q1 ),

 
 
 
since supp τ pk ,1 = supp τ pk ∪ supp κ pk \ {q0 }. Hence this process must
terminate after finitely many, say ℓ, iterations yielding a homogeneous class
τ pk ,ℓ ≔ τ pk − c0 κq0 − c1 κq1 − · · · − cℓ−1 κqℓ−1
which must be a generating
class for pk .
n o
(iii) ⇒ (i). Let τ p
be a generating family. Suppose we have a nonp∈VΓ
trivial S -linear dependence relation
X
(2.17)
c p τ p = 0,
p∈VΓ

and let
vertex for which c p0 , 0. Then we must have τ p0 =

 p0 be the smallest
1 P
− cp
φ(q)>φ(p0 ) cq τq . But this is impossible since p0 < supp(τq ) for φ(q) >
0
φ(p0 ). Therefore the generating family must be S -linearly independent. To
see that the generating family spans, fix a homogeneous f ∈ H(Γ,
Q α), and
let p be the smallest vertex in supp( f ). Then f (p) must equal s p · e∈E−p α(e)
for some s p ∈ S , and f − s p · τ p is therefore another class which is supported

18

CHRIS MCDANIEL

on vertices strictly larger than p. Proceeding this way, we will eventually
run out of vertices and end up with a class
P with empty support, i.e. the zero
class. In other words we will have f − p∈VΓ s p τ p = 0, which proves that
the generating familyn spans
H(Γ, α). This shows that H(Γ, α) is a free S o
module with a basis τ p
. Since the degree of τ p is indξ (p), we see that
p∈VΓ
there are bi (Γ, α) generators in degree i.

Definition 2.5.1. A 1-skeleton (Γ, α, θ, λ) in Rn that satisfies any of the conditions in Proposition 2.5.5 is said to have the Morse package.
Note that if (Γ, α, θ, λ) has the Morse package, then b0 (Γ, α) = 1, i.e. the
1-skeleton is pointed. Indeed any equivariant class of degree zero must be
a constant (since Γ is connected), hence any two classes in H 0 (Γ, α) must
be constant multiples of each other. Thus, up to a constant, H(Γ, α) has
exactly one generator in degree zero. By symmetry of the combinatorial
Betti numbers we deduce that bd (Γ, α) = 1 as well.
Proposition 2.5.6. If (Γ, α, θ, λ) has the Morse package, then it is straight.
Proof. Since bd (Γ, α) = 1 we know that there is a non-vanishing Thom
class on a vertex of Γ; it is the generating class for the unique maximum
vertex with respect to the Morse function φ. Hence by Proposition 2.4.1,
(Γ, α, θ, λ) must be straight.

In fact we also have the following:
Proposition 2.5.7. If every 2-slice of (Γ, α, θ, λ) has the Morse package,
then (Γ, α, θ, λ) must be straight.
Proof. A 2-slice that has the Morse package must be straight and pointed
from our discussion above. Hence a 1-skeleton whose 2-slices have the
Morse package must be non-cyclic with straight 2-slices. It follows from
Proposition 2.4.1 that the 1-skeleton must be straight itself.

2.6. Residues. Following [2]: Let A be any integral domain, and let A[x]
be the ring of polynomials in one variable with coefficients in A. For fixed
1
z ∈ A, the fraction x−z
has a unique formal power series expansion about
x = ∞:


X n −n 
1
−1 
=x  z x 
x−z
n≥0
X
=
(2.18)
zn−1 x−n .
n≥1

MORSE THEORY

19

f (x)
Hence for any f (x) ∈ A[x] and any z1 , . . . , zm ∈ A, the fraction (x−z1 )···(x−z
m)
has a unique formal Laurent series expansion about x = ∞:

 

X n−1 −n  X n−1 −n 
f (x)
= f (x) ·  z1 x  · · ·  zm x 
(x − z1 ) · · · (x − zm )
n≥1
n≥1
X
−n
=
(2.19)
an x .
n≥−N

f (x)
to be the coefficient
Define the residue at x = ∞ of the quotient (x−z1 )···(x−z
m)
−1
of x in its Laurent expansion, i.e.


!
 X

f (x)
≔ Res x=∞ 
Res x=∞
an x−n  ≔ a1 .
(x − z1 ) · · · (x − zm )
n≥−N

The following two key facts are due to Guillemin and Zara [2], and we
refer the reader there for the proofs.
Proposition 2.6.1. In the notation above, if z1 , . . . , zm are distinct elements
of A, then we have
! X
m
f (zk )
f (x)
=
Q
.
(2.20)
Res x=∞
(x − z1 ) · · · (x − zm )
j,k (zk − z j )
k=1
Proof. See [2, Lemma 1].

Proposition 2.6.2. The quotient h(x) =


Resξ xk h(x) = 0 for all k ≥ 0.



f (x)
(x−z1 )···(x−zm )

is in A[x] if and only if

Proof. See [2, Lemma 2].



In our applications, A will be a graded ring. To distinguish between the
grading on A, and the natural grading on A[x], we define the x-degree of
f (x) ∈ A[x] in
P the usual way, as the largest non-negative integer N for
which f (x) = Nj=0 a j x j with a j ∈ A and aN , 0.

Lemma 2.6.1. If the x-degree of f (x) ∈ A[x] is less than m − 1, then
!
f (x)
Res x=∞
= 0.
(x − z1 ) · · · (x − zm )

Proof. It suffices to show this for f (x) = xN . By (2.18) we have
(2.21)

 ∞
∞
∞
X

X n −n  X
xN
n
−n
N−m 
 z1 x  · · ·  zm x  = xN−m ·
an x−n .
=x
(x − z1 ) · · · (x − zm )
n=0
n=0
n=0

Now if N − m < −1, it follows that a−1 must equal zero in (2.21).



20

CHRIS MCDANIEL

Proposition 2.6.1 and Lemma 2.6.1 yield some useful identities in the
field of fractions Q(A).
Corollary 2.6.1. For any distict elements z1 , . . . , zm in A, we have
m
X
zm−1
Q i
(2.22)
= 1.
j,i (zi − z j )
i=1

Proof. By (2.18) the Laurent series for the rational function
the product given by

 ∞
∞

X n −n  X
n
−n
m−1
−m 
(2.23)
x
· x  z1 x  · · ·  zm x  .

xm−1
(x−z1 )···(x−zm )

is

n=0

n=0

The coefficient of the −1-term in the formal Laurent series resulting from
(2.23) is clearly 1, the RHS of (2.22). On the other hand Theorem 2.6.1
P
m−1
zm−1
implies that the residue of the rational function (x−z1x)···(x−zm ) is mi=1 Q j,ii(zi −z j ) ,
the RHS of (2.22), as claimed.

Corollary 2.6.2. For any distinct elements z1 , . . . , zm in A, we have
Q
m
X
j,i z j
Q
= 1.
(2.24)
(z
−
z
)
j
i
j,i
i=1
Qm

z

i
Proof. Consider the rational function x·(x−z1i=1
. Note that by Lemma
)···(x−zm )
2.6.1, we have
!
Qm
i=1 zi
= 0.
(2.25)
Res x=∞
x · (x − z1 ) · · · (x − zm )

On the other hand, by Theorem 2.6.1 we have that
(2.26)
Qm
Qm
!
Qm
m
X
z
z
j
j=1
j=1 z j
i
i=1
Res x=∞
= Qm
Q
.
+
x · (x − z1 ) · · · (x − zm )
z · j,i (zi − z j )
j=1 (−z j )
i=1 i
Combining (2.25) and (2.26) yields the identity


Q
m
X


j,i z j
m
 = 0,
Q
(2.27)
(−1) 1 −
(z − z ) 
i=1

from which the result follows.

j,i

j

i



For a fixed polarizing covector ξ ∈ (Rn )∗ fix a basis for Rn x, y1 , . . . , yn−1
such that hξ, xi = 1 and hξ, yi i = 0 for 1 ≤ i ≤ n − 1, i.e. y1 , . . . , yn−1
is a basis for Wξ , the annihilator subspace of ξ : Rn → R. We regard the
polynomial ring S as polynomials in the variable x with coefficients polynomials in y1 , . . . , yn−1 , i.e. S  S ξ [x], where S ξ ≔ Sym(Wξ ). For any

MORSE THEORY

21

vectors α1 , . . . , αm in Rn , we have αi = mi (x − βi ), for 1 ≤ i ≤ m, where the
β1 , . . . , βm are elements of S ξ . Then for any f ≔ f (x, y) ∈ S  S ξ [x] we
by
define the residue (with respect to ξ) of the quotient αf1(x,y)
···αm
!
!
1
f (x, y)
f (x, y)
≔ Qm
.
Res x=∞
(2.28)
Resξ
α1 · · · αm
(x − β1 ) · · · (x − βm )
i=1 mi


In particular, Resξ αf1(x,y)
is always a polynomial in S ξ . For maps f : V →
···αm
S ξ [x] we will use the notation f p (x, y) for the polynomial value of f at vertex p; we may also use the usual notation f (p) if the polynomial variables
are understood.
2.7. The Kirwan Map and Cross Sectional Cohomology. Fix a d-valent
1-skeleton (Γ, α, θ, λ) in Rn , fix a generic polarizing covector ξ ∈ (Rn )∗ ,
and fix a compatible Morse function φ : VΓ → R. The vertices VΓ can be
regarded as “critical points” of the Morse function φ, and their images are
the critical values. We call the complement R \ φ(VΓ ) the set of φ-regular
values.
Given a φ-regular value c ∈ (φmin , φmax ), define the c-vertex set as the
oriented edges of Γ at c-level:
Vc ≔ {pq ∈ E Γ | φ(p) < c < φ(q)} .
For each e ∈ E Γ the linear map ρe : Rn → Wξ defined by
ρe (x) = x −

hξ, xi
α(e)
hξ, α(e)i

extends to a map of symmetric algebras ρe : S → S ξ . Note that for each
e ∈ E Γ we have ρe ≡ ρē .
Define the map Kc : Maps(VΓ , S ) → Maps(Vc , S ξ ) by
Kc ( f )(e) ≔ ρe ( f (i(e))) .
Restricting Kc to H(Γ, α) ⊆ Maps(VΓ , S ) defines the Kirwan map. Note that
for f ∈ H(Γ, α), we have
ρe ( f (i(e))) = ρe ( f (t(e))) = ρē ( f (i(ē))).
Following [2, 4] and as above, we fix a basis x, y1 , . . . , yn−1 for Rn , such
that hξ, xi = 1 and y1 , . . . , yn−1 spans Wξ ⊂ Rn . For each e ∈ E Γ let me ≔
hξ, α(e)i, and write α(e) = me (x − βe ) , where βe ≔ βe (y1 , . . . , yn−1 ) is a
linear form in the variables y1 , . . . , yn−1 . Note then that for any f = f (x, y) ∈
S  S ξ [x] we have ρe ( f (x, y)) = f (βe , y). In particular, we have ρe (α(e′ )) =
me′ (βe − βe′ ). Note that the genericity of ξ guarantees that the differences
{βe − βe′ |e , e′ ∈ E p } are pairwise distinct.

22

CHRIS MCDANIEL

n o
If (Γ, α, θ, λ) is straight, we can find some constants c p
satisfying
p∈VΓ
Y
cq = c p
λ pq (e) = c p K pq ∀ pq ∈ E Γ
e∈E p

as we showed in
n the
o proof of Proposition 2.5.3. If we choose and fix
some constants c p
, we can define the cross sectional integral operap∈VΓ
R
tor Γ : Maps(Vc , S ξ ) → Qξ , by
c
Z
X
X
f (e)
f (e)
Q
=
,
(2.29)
f ≔
c m K (σe ) (e) e∈V ci(e) me e′ ∈Ei(e) ρe (α(e′ ))
Γc
e∈V i(e) e c
c

c

e′ ,e

where σe ∈ Hd−1 (Γ, α) is the Thom class for the oriented edge e ∈ Vc , and
the constants ci(e) e∈Vc are as above.
The following beautiful result is due to Guillemin and Zara [2, Theorem
2.5]. The proof given in [2] applies almost verbatim, but we reproduce it
here for the sake of completeness.
Lemma 2.7.1. If (Γ, α, θ, λ) is straight, with ξ, φ, and c fixed as above, then
for each f ∈ H(Γ, α) we have
!
Z
X 1
fq (x, y)
Resξ Q
.
(2.30)
Kc ( f ) =
c
Γc
e∈E p α(e)
φ(q)<c q
Z
In particular
Kc ( f ) ∈ S ξ .
Γc

Proof. Choose and fix φ-regular values c0 < c1 < . . . cN = c such that for
any 0 ≤ i ≤ N there is a unique vertex pi satisfying ci−1 < φ(pi ) < ci . Then
we compute
(2.31)
Z
Z
X
X
ρe ( f (pi ))
ρē ( f (i(ē)))
Kci ( f )−
Kci−1 ( f ) =
−
.
Γci
Γci−1
pi c pi me ρe (σe (pi ))
pi ci(ē) mē ρē (σē (i(ē)))
e∈E+

e∈E−

Note that ρē ≡ ρe , and that ρe ( f (i(e))) = ρē ( f (i(ē))) for any f ∈ H(Γ, α).
Also note that me = −mē , and that σē (i(ē)) = |Kē | · σe (i(e)). Then RHS of
(2.31) becomes
X
X
ρe ( f (pi ))
ρe ( f (pi ))
(2.32)
+
.
pi c pi me ρe (σe (pi ))
pi ci(ē) me |Kē | ρe (σe (pi ))
e∈E+

e∈E−

Finally noting that |Kē | · ci(ē) = ci(e) we can write (2.32) as
!
X
f (pi )
1
ρe ( f (pi ))
· Resξ Q
(2.33)
=
c
m
ρ
(σ
(p
))
c
p
e
e
e
i
p
e∈E pi α(e)
p
i
i
i
e∈E

MORSE THEORY

Since the integral

Z

23

Kc0 ( f ) = 0 (it is a sum over the empty set) we deduce
Γc0

the formula in (2.30).



Following Guillemin and Zara [4, Definition 5.1], we use the result of
Proposition 2.7.1 to define the equivariant cross sectional cohomology for
the c-cross section of a 1-skeleton.
Definition 2.7.1. Define H(Γc ) to be the subset g ∈ Maps(Vc , S ξ ) such that
Z
g · Kc (h) ∈ S ξ ,
for every h ∈ H(Γ, α).
Γc

Note that by S ξ -linearity of Γξ , the set H(Γc ) is an S ξ submodule of
Maps(Vc , S ξ ). Moreover Lemma 2.7.1 implies that Kc (H(Γ, α)) is a subset
of H(Γc ). Thus the Kirwan map is really a map into H(Γc ) ⊂ Maps(Vc , S ξ ),
i.e. Kc : H(Γ, α) → H(Γc ).
2.8. Complete Graphs and Initial Cross Sectional Cohomology. Following [4, Section 4]: Let ∆ = {v0 , . . . , vd } denote any finite set, and let
τ : ∆ → Wξ denote any injective function with τ(vi ) ≔ βi . Then on the set
Maps(∆, S ξ ) there is an integral operator:
Z
d
X
g(vi )

(2.34)
g≔
Q 
∆
j,i βi − β j
i=0

Definition 2.8.1. The subset H(∆, τ) ⊆ Maps(∆, S ξ ) is the set of maps
g : ∆ → S ξ satisfying
Z
g · P(τ) ∈ S ξ for each P ∈ S ξ [X].
∆

Lemma 2.8.1. A map g : ∆ → S ξ is in H(∆, τ) if and only if there exist
g0 , . . . , gd ∈ S ξ such that
(2.35)

g=

d
X

gk τk .

k=0

Proof. See [4, Theorem 4.1].


n
o
Corollary 2.8.1. The S ξ module H(∆, τ) is free with basis τi | 0 ≤ i ≤ d .

Proof. This follows directly from Lemma 2.8.1.



Note that by definition of H(∆, τ) the element τd+1 ∈ Maps(∆, S ) must
belong to H(∆, τ). Thus by Lemma 2.8.1 we deduce that
d
X
(2.36)
τd+1 =
(−1)d−k σd+1−k · τk
k=0

24

CHRIS MCDANIEL

for some polynomials σd+1−k ∈ S d+1−k . It turns out that the coefficient
σd−k+1 = σd−k+1 (β0 , β1, . . . , βd ) in (2.36) is the d−k+1 st elementary symmetric polynomial. We digress briefly from graphs to symmetric polynomials.
For a fixed positive integer m, and a fixed integer 1 ≤ k ≤ m we define
the kth elementary symmetric polynomial by
(2.37)

X

sm,k ≔

xi1 · · · xik ,

1≤i1 <···<ik ≤m

where the sum on the RHS is over all k-subsets {i1 < · · · < ik } ⊆ {1, . . . , m}.
For each m, we set sm,0 ≔ 1. It will be convenient to reference the following
well known identity, which we state as a Lemma.
Lemma 2.8.2. For each m, and for each fixed 1 ≤ i ≤ m we have

xmi =

(2.38)

m−1
X

(−1)m− j−1 sm,m− j · xij .

j=0

Proof. Simply plug in t = xi to the polynomial identity
m
Y
i=1

(t − xi ) =

m
X

(−1)m− j · sm,m− j · t j .

j=0


Now by Proposition 2.8.2 we see that the coefficient σd−k+1 = sd+1,d+1−k
is the (d − k + 1)st elementary symmetric polynomial in the (d + 1) variables
τ(v0 ), τ(v1 ), . . . , τ(vd ), as claimed above.
In particular, the finitely generated free S -submodule H(∆, τ) ⊆ Maps(∆, S )
is closed under multiplication, hence is also an S subalgebra of Maps(∆, S ).
Now suppose that c is a φ-regular value for which there is a unique p ∈ VΓ
such that φ(p) < c. The cross sectional cohomology is called initial in this
case. See [4, Example 6.1].
Proposition 2.8.1. The initial cross sectional cohomology H(Γc ) is isomorphic to H(∆, τ), where ∆ ≔ E p and τ ≔ Kc (x) : ∆ → S ξ .

MORSE THEORY

25

Proof. Note that Vc = E p = ∆. Then for any f ∈ Maps(Vc , S ξ ) = Maps(∆, S ξ ),
and for any h ∈ H(Γ, α) we have
Z
X
f (e) · Kc (h)(e)
Q
f · Kc (h) =
c
m
e′ ∈E p (βe′ − βe )
p
e
Γc
p
e∈E
e′ ,e


X f (e) · ρe h p (x, y)
1
= Q
Q
c p e∈E p me e∈E p
e′ ∈E p (βe′ − βe )
′
e ,e

X f (e) · h p (βe , y)
= Q
Q
c p e∈E p me e∈E p e′ ′∈E p (βe′ − βe )
1

e ,e

X f (e) · h p (τ(e), y)
1
Q
= Q
c p e∈E p me e∈E p e′ ′∈E p (βe′ − βe )
e ,e
Z
1
f · H p (τ),
= Q
c p e∈E p me ∆

where H p (x) is the polynomial h p (x, y) viewed in the polynomial ring S ξ [x] 
S . Furthermore note that the polynomial H(x) ≔ H p (x) ∈ S ξ [x] may be
chosen freely by choosing the equivariant class h appropriately, e.g. we can
always choose h to be the constant class q 7→ H(x) ∈ S  S ξ [x]. This
implies that
(
)
Z
H(Γc ) ≔ f ∈ Maps(Vc , S ξ )
f · Kc (h) ∈ S ξ , ∀h ∈ H(Γ, α)
Γc
(
)
Z
= f ∈ Maps(∆, S ξ )
f · H(τ) ∈ S ξ ∀H(x) ∈ S ξ [x]
∆

≕H(∆, τ)
as claimed.


3. Morse Theory

In this section, we fix a d-valent 1-skeleton (Γ, α, θ, λ) in Rn which satisfies the acyclicity axiom. We shall choose and fix a generic polarizing covector ξ ∈ (Rn )∗ and a compatible Morse function φ : VΓ → R. As before, we
also fix a basis x, y1 , . . . , yn−1 for Rn such that hx, ξi = 1 and y1 , . . . , yn−1 span
the annihilator subspace Wξ ⊂ Rn . As before, for every e ∈ E Γ we denote
by ρe : S  S ξ [x] → S ξ the algebra map defined by ρe ( f (x, y)) = f (βe, y).
In subsections 3.1, 3.2, and 3.3 we will also be assuming that every 2slice has the Morse package as in Theorem 1.1. Note that under these assumptions (Γ, α, θ, λ) must also be straight, by Proposition
2.5.7. We theren o
fore also choose and fix “integration constants” c p
.
p∈VΓ

26

CHRIS MCDANIEL

3.1. Restriction Maps. Fix two φ-consecutive vertices and let c be any
regular value between
n them,p osay φ(q) < c < φ(p). Then the oriented edge
q
p
sets E + and Ē − ≔ ē e ∈ E − are both subsets of Vc . For each e ∈ E Γ let
me ≔ hξ, α(e)i, and in our fixed basis x, y1 , . . . , yn−1 write α(e) = me (x − βe )
where βe = βe (y) is a linear form in the variables y = y1 , . . . , yn−1 . Note
that βē = βe . Define the subsets ∆−c ≔ E +q and ∆+c ≔ Ē −p . Define the maps
τc± : ∆±c → S ξ by τc± (e) ≔ βe . Define the subrings H(∆±c ) ≔ H(∆±c , τc± ) ⊆
Maps(∆±c , S ξ ), as in Definition 2.8.1.
Proposition 3.1.1. The set inclusions ∆±c ⊆ Vc define surjective restriction
maps
(3.1)

rc± : H(Γc ) → H(∆±c ).

Proof. Proposition 3.1.1 for GKM 1-skeleta is due to Guillemin and Zara [4,
Theorem 6.1], and their ingenious proof applies almost verbatim. In fact,
the following is essentially just a rewording of their proof, tailored to fit our
notation.
Note that if rc± (H(Γc )) ⊆ H(∆±c ) then the restriction map in (3.1) must
be surjective. Indeed by Proposition 2.8.1, H(∆±c ) is generated as an S ξ
algebra by the single element τc± ∈ H(∆±c ). Moreover, rc± is an S ξ -algebra
map, and rc± (Kc (x)) = τc± , where x ∈ H 1 (Γ, α) is the constant function
VΓ ∋ v 7→ x ∈ S 1 . Thus it suffices to show that rc± ( f ) ∈ H(∆±c ) for every
f ∈ H(Γc ). We show this only for r ≔ rc+ . The proof for rc− is completely
analogous.
We need to show that for each f ∈ H(Γc ), the rational function
Z
X f (e) · P(β )
e
(3.2)
r( f ) · P(τc+ ) ≔
Q
e′ ∈∆+c (βe − βe′ )
∆+c
e∈∆+
c

e′ ,e

is actually a polynomial in
 Sξ for each P(T ) ∈ S ξ [T ].
n
For each γ ∈ R , let S ξ denote the localized ring at the prime ideal
n γ
o
generated by γ. Let M ≔ βi − β j |1 ≤ i < j ≤ r . In order to prove that the
 
sum in (3.2) is in S ξ , it suffices to prove that it lies in the local ring S ξ for
γ
every direction γ ∈ M.
Fix γ ∈ M, and define an equivalence relation on ∆+c by declaring e ≡ e′


if and only if βe − βe′ is collinear with γ. Let ∆+c 1γ , . . . , ∆+c ℓγ be the distinct
F

equivalence classes, so that in particular Ē −p = ℓk=1 ∆+c kγ . Then we can
decompose the sum on the RHS of (3.2) by



ℓ 
 X
X f (e) · P(β )
X
f (e) · P(βe ) 

e
 .
(3.3)
Q
Q
=

′ ∈∆+ (βe − βe′ ) 

e′ ∈∆+c (βe − βe′ )
e

+
c
k
k=1 e∈ ∆+
e∈∆c
( c )γ e′ ,e
e′ ,e

MORSE THEORY

27

We will show that each sum
(3.4)

Iγk ≔

X

k

e∈(∆+c )γ

f (e) · P(βe )
e′ ∈∆+c (βe − βe′ )

Q

e′ ,e

 
is in the local ring S ξ .

γ

Fix 1 ≤ k ≤ ℓ. First, suppose that ∆+c kγ consists only of a single edge,
say e. Then for every other e′ ∈ ∆+c different from e, the difference βe − βe′
must not be a multiple of γ. Hence in this case the sum in (3.4) is in S ξ .
γ

Now suppose that ∆+c kγ contains at least two edges, say e1 and e2 . Let H
be the 2-dimensional subspace spanned by α(e1 ) and α(e2 ), and let (Γ0H , α0H , θ0H , λ0H )
be the corresponding 2-slice containing the vertex p. Let E Hp ⊆ E p denote
those oriented edges at p belonging to Γ0H , and let NHp denote those ori
ented edges at p that are normal to Γ0H . Note that e ∈ ∆+c kγ if and only if
ē ∈ E −p ∩ E Hp . Indeed for any edge e ∈ E −p we have

ρe1 (α(e)) = α(e) −


hξ, α(e)i
α(e1 ) = me βe1 − βe ∈ H ∩ Wξ ,
hξ, α(e1 )i

and since H ∩ Wξ = R · γ, we see that α(e) ∈ H if and only if βe1 − βe ∈ R · γ.
By Propositions 2.3.1 and 2.5.1, the 2-slice (Γ0H , α0H , θ0H , λ0H ) supports a
Thom class. Scaling if necessary, we may choose that Thom class T H ∈
H(Γ, α) such that
Y
T H (p) =
α(e).
e∈NHp

By our assumptions, (Γ0H , α0H , θ0H , λ0H ) has the Morse package. Note that
−ξ|H ∈ (H)∗ provides a generic polarizing covector, and −φ VH0 provides a
compatible Morse function. Hence
class τH,p ∈
 nwe can find a homogeneous
o
0
0
0
H(ΓH , αH ) for which supp τH,p ⊆ x ∈ VH |φ(x) < φ(p) and for which
Y
τH,p (p) =
α(e).
p

p

e∈E+ ∩EH

Note that by Proposition 2.5.2, the product κH,p ≔ T H · τH,p : VΓ → S is
also an equivariant class in H(Γ, α). Hence for any polynomial P ≔ P(T ) ∈
S ξ [T ]  S , the sum of rational functions

 Z
X f (e) · P(βe ) · ρe κH,q (i(e))


! =
f · Kc P · κH,p ,
(3.5)
Q
Γc
′
e∈Vc c m ρ
i(e) e e
e′ ∈E i(e) α(e )
e′ ,e

28

CHRIS MCDANIEL

must be a polynomial in S , since f ∈ H(Γc ). Note that for e∈ Vc \ ∆+c we
must have φ(t(e)) > φ(p) hence ρe κH,p (i(e)) = ρe κH,p (t(e)) = ρe (0) = 0.
On the other hand, for e ∈ ∆+c , we have

 Q


Q
′
′′



 
p
p
p
if e ∈ ∆+c kγ
ρ e
e′ ∈E+ ∩EH α(e ) ·
e′′ ∈NH α(e )
ρe κH,p (i(e)) = ρe κH,p (p) = 
0

otherwise


We also have for each e ∈ ∆+c ,








 Y
Y




′
′
α(e ) .
ci(e) ρe 
α(e ) = c p ρe 

 ′ p
 ′ i(e)

e ∈E
e ∈E

(3.6)

e′ ,ē

e′ ,e

Therefore the integral in (3.5) simplifies to

Z



f · Kc P · κH,p
Γc





X f (e) · P(βe ) · ρe κH,p (i(e))
!
=
Q
e∈Vc c m ρ
′
i(e) e e
e′ ∈E i(e) α(e )
e′ ,e

=

X

k
∆+c γ

e∈(

) c p me ρ e

f (e) · P(βe )
Q

!
′
e′ ∈E−p ∩EHp α(e )
e′ ,e

(3.7)

=−

1
·
cq MH,q

X

k

e∈(∆+c )γ

f (e) · P(βe )
k (βe − βe′ )
e′ ∈(∆+ )

Q

c γ

e′ ,e

MORSE THEORY

where MH,p ≔

Q

p

p

e∈E− ∩EH

29

me . Define the polynomial R(T ) =

Q

k

e′ ∈∆+c \(∆+c )γ

(T −

βe′ ) ∈ S ξ [T ]. We can rewrite the sum in (3.4) as
X
f (e) · P(βe )
Iγk ≔
Q
e′ ∈∆+c (βe − βe′ )
k
e∈(∆+c )γ
e′ ,e
X
1
f (e) · P(βe )
=
·Q
Q
k (βe − βe′ )
k (βe − βe′ )
k
e′ ∈(∆+c )γ
e′ ∈∆+c \(∆+c )γ
e∈(∆+c )γ
′
e ,e
X
1
f (e) · P(βe )
=
Q
·
k (βe − βe′ )
R(βe )
k
e′ ∈(∆+c )γ
e∈(∆+c )γ
′
e ,e
Q
f (e) · P(βe ) · e′ ∈(∆+ )k R (βe′ )
c γ
X
1
e′ ,e
=Q
·
Q
k R (βe )
k (βe − βe′ )
k
e∈(∆+c )γ
e′ ∈(∆+c )γ
+
e∈(∆c )γ
′
e ,e
X f (e) · P(β ) · Q (β )
1
e
e
·
Q
=Q
′
k
k
(β
)
(β
R
−
β
e
e
e)
k
e∈(∆+c )γ
e′ ∈(∆+c )γ
e∈(∆+c )γ
e′ ,e
Z
cq MH,q
·
= −Q
f · Kc (P · Q) ,
(3.8)
k R (βe )
Γc
e∈(∆+c )γ
where Q ≔ Q(T ) ∈ S ξ [T ] satisfies
Y
k
(3.9)
Q(βe ) =
R (βe′ ) , ∀ e ∈ ∆+c γ .
k
e′ ∈(∆+c )γ
e′ ,e

Before we explain
 why Q(T ) exists, let us note that if it does then the sum
k
I must be in S ξ . Indeed if there is such a Q ∈ S then the integral
γ
Rγ
(P
f
·
K
·
Q)
must
be a polynomial in S ξ , and, since R(βe ) < γ · S for
c
Γc
 

c M
k
each e ∈ ∆+c γ , the fraction − Q p kH,pR(βe ) must lie in the local ring S ξ .
γ
e∈(∆+
c )γ
 
Hence we can conclude that the product in (3.8) must also be in S ξ .
γ
To finish the proof, we need to show that there is indeed a polynomial
Q(T ) ∈ S ξ [T ]  S satisfying (3.9). To see this, let us label the edges in

∆+c kγ = {e1 , . . . , em }. Define the polynomial
R̃i (X1 , . . . , X̂i , . . . , Xm ) ≔

m
Y
j=1
j,i

R(X j ),

30

CHRIS MCDANIEL

where the “hat” symbol means omission. The symmetric group Sm−1 acts
on the polynomial ring S ξ [X1 , . . . , X̂i , . . . , Xm ]  R[y1 , . . . , yn−1 , X1 , . . . , X̂i , . . . , Xm ]
trivially on the first (n−1)-variables and in the usual way on the last (m−1)
Sm−1
variables. The invariant subalgebra S ξ [X1 , . . . , X̂i , . . . , Xm ]
is evidently
isomorphic to the polynomial subalgebra S ξ [P1,1 , . . . , P̂i,i , . . . , Pi,m ], where
Pi, j is the jth power sum symmetric polynomial, i.e.
Pi, j = X1j + · · · + X̂ij + · · · + Xmj .

Sm−1
Since R̃i ∈ S ξ [X1 , . . . , X̂i , . . . , Xm ]
, it must therefore be a polynomial in
the Pi, j ’s with coefficients in S ξ . Note that for each j there are polynomials
P̃ j (T ) ∈ S ξ [X1 , . . . , Xm ][T ] such that for each 1 ≤ i ≤ m, P̃ j (Xi ) = Pi, j ∈
S ξ [X1 , . . . , X̂i , . . . , Xm ], e.g.
P̃ j (T ) ≔ X1j + · · · + Xmj − T j .
Hence there must be a polynomial Q̃(T ) ∈ S ξ [X1 , . . . , Xm ][T ] such that
Q̃(Xi ) = R̃i for each 1 ≤ i ≤ m. Now we can take Q(T ) ∈ S ξ [T ] to be
the image of Q̃(T ) under the evaluation map Xi 7→ βi .


3.2. Flip-Flop Maps. Now we fix two φ-regular values with the unique
vertex p ∈ VΓ in between them, say c < φ(p) < c′ , and let ∆+c ≔ Ē −p ⊆ Vc
and ∆−c′ ≔ E +p ⊆ Vc′ as above. Suppose that indξ (p) = r so that ∆+c = r
and ∆−c′ = d − r ≕ s. Recall that by Corollary 2.8.1, the ring H(∆+p ),
n
o
resp. H(∆−p ), is a free S module generated by τip+ |0 ≤ i ≤ r − 1 , resp.
n
o
τap− |0 ≤ a ≤ s − 1 . Define the down transition maps, resp. up transition
maps, by

p

p

H(∆+c )
Pr−1
i=0

bi τic+ ✤

δ0

/

/

H(∆−c′ )

Pr−1
i=0

bi τic−

resp.

µ0

H(∆−c′ )
Ps−1

a
a=0 ca τc−

✤

/

/

H(∆+c )

Ps−1

a
a=0 ca τc+ .

MORSE THEORY

31

Using Proposition 3.1.1 and the identification of the sets Vc \∆+c and Vc′ \∆−c′ ,
we can extend these transition maps to maps on H(Γc ) and H(Γc′ ), i.e.
(3.10)

δp

H(Γc′ )

if x ∈ Vc \ ∆+c
.
if x ∈ ∆+c



g(x)
/ x 7→ 



µ0p rc+ (g) (x)

if x ∈ Vc′ \ ∆−c′
.
if x ∈ ∆−c′

µp

H(Γc )

/

g✤

Maps(Vc , S ξ )



 f (x)
/ x 7→ 




δ0p rc−′ ( f ) (x)

f ✤
(3.11)

/

Maps(Vc′ , S ξ )

It turns out that, as one might hope, the image of these maps each lie inside
the corresponding cross sectional equivaraint cohomology ring.
Lemma 3.2.1. For each h ∈ H(Γ, α), and for any fixed f ∈ H(Γc ) and
f ′ ∈ H(Γc′ ) there are polynomials F p = F p (x, y), G p = G p (x, y) ∈ S ξ [x]  S
such that
!
Z
Z
F p · hp
1
p
(3.12)
f Kc (h) = Resξ Q
µ ( f )Kc′ (h) −
cp
Γc
Γc′
e∈E p α(e)
(3.13)

Z

!
G p · hp
1
δ ( f )Kc (h) = Resξ Q
f Kc′ (h) −
.
cp
Γc
e∈E p α(e)
Z

′

Γc′

p

′

In particular, µ p ( f ) ∈ H(Γc′ ) and δ p ( f ′) ∈ H(Γc ).

Proof. We prove that (3.12) holds. The proof of (3.13) is analogous. Fix
f ∈ H(Γc ). By Proposition 3.1.1, its restriction r+c ( f ) lies in H(∆+c ), and
thus by Lemma 2.8.1 we can find unique c0 , . . . , cr−1 ∈ S ξ such that r+c ( f ) =
Pr−1
j
p
−
j=0 c j τc+ . Hence the restriction of µ ( f ) to ∆c′ is given by
r−c

p

(µ ( f )) ≔

r−1
X

j
c j τc−
.

j=0

Since f · Kc (h) and µ p ( f ) · Kc′ (h) agree on Vc \ ∆+c = Vc′ \ ∆−c′ , and since
(3.6) holds, the difference on the LHS of (3.12) becomes

P

P
j
j
r−1
r−1
X
X
j=0 c j βe · ρe (h(i(e)))
j=0 c j βe · ρe (h(i(e)))
Q
Q
+
.
(3.14)
c
m
c
m
e′ ∈E p me′ (βe − βe′ )
e′ ∈E p me′ (βe − βe′ )
p
e
p
e
+
−
′
′
e∈∆
e∈∆
c′

e ,e

c

e ,ē

32

CHRIS MCDANIEL

Define the polynomial
F p (x, y) ≔

r−1
X

c j x j.

j=0

Then ρe (F p (x, y)) = F p (βe , y) = j=0 c j βej for all e ∈ E p , and (3.14) becomes
X ρe (F p (x, y)) · ρe (h p (x, y))
1
Q
Q
(3.15)
c p e∈E p me e∈E p
e′ ∈E p (βe − βe′ )
′
Pr−1

e ,e

which, according to (2.28), is exactly the RHS of (3.12).



We call the resulting S -module maps
µp

-

H(Γc ) l

H(Γc′ )

δp

the flip-flop maps.
3.3. Surjectivity of the Kirwan Map. We can use our flip-flop maps and
Lemma 3.2.1 to see that the Kirwan maps are surjective.
Proposition 3.3.1. For each φ-regular value c, the Kirwan map Kc : H(Γ, α) →
H(Γc ) is surjective.
Proof. Fix regular values c0 < φ(p1 ) < · · · < cN−1 < φ(pN ) < cN . Fix
1 ≤ i ≤ N − 1, and fix fi ∈ H(Γci ). We can complete fi to a sequence of
N
{ fk }k=0
where f0 ≔ 0 ≕ fN , fk ≔ δ pk ◦ · · · ◦ δ pi ( fi ) for 1 ≤ k < i, and
pk−1
fk = µ ◦ · · · ◦ µ pi ( fi ) for i < k ≤ N − 1. Then, by Lemma 3.2.1, we have
that fk ∈ H(Γck ) for all 1 ≤ k ≤ N and we have
!
Z
Z
F pk · h pk
1
,
(3.16)
fk Kck (h) −
fk−1 Kck−1 (h) =
Resξ Q
c pk
Γck
Γck−1
e∈E pk α(e)
for some F pk ∈ S ξ [x]. We claim that the map p 7→ F p is an equivariant class
in H(Γ, α). To see this, we add all the equations in (3.16) to obtain


!
N
X

 X
F pk · h pk
F
·
h
1
p
p
 ,
(3.17)
0=
Resξ Q
Q
= Resξ 

p
α(e)
c
c
α(e)
p
p
e∈E
e∈E k
p∈V
k=1 pk
Γ

which holds for all equivariant classes h ∈ H(Γ, α). In particular, for any
fixed h ∈ H(Γ, α) and for any fixed positive integer k, the element h · xk is
also in H(Γ, α). In particular, we must have


 X F p · h p · xk 
 = 0
Q
Resξ 

α(e)
c
p
p
e∈E
p∈V
Γ

MORSE THEORY

33

P
F p ·h p
∈ S ξ [x]  S .
which implies, by Proposition 2.6.2, that p∈VΓ c p Qe∈E
p α(e)
Since this holds for every h ∈ H(Γ, α), Proposition 2.5.4 implies that the
map F : p 7→ F p must also lie in H(Γ, α). Summing the first i equations in
(3.16) then yields
!
Z
X 1
F q · hq
fi Kci (h) =
Resξ Q
(3.18)
c
Γci
e∈E q α(e)
φ(q)<ci q
Z
=
Kci (F) · Kci (h).
Γci

Since (3.18) holds for all h ∈ H(Γ, α) it follows that Kci (F) = fi , and hence
Kci is surjective as claimed.

Corollary 3.3.1. The submodule H(Γc ) ⊆ Maps(Vc , S ξ ) is a subring, i.e. it
is multiplicitively closed in Maps(Vc , S ξ ).
Proof. The Kirwan map Kc is a ring homomorphism onto its image. By
Proposition 3.3.1 its image is H(Γc ).

3.4. Proof of Theorem 1.1. The following lemma will make short work of
the proof of Theorem 1.1. First we fix some notation.
Fix a φ-regular value c, and let p ∈ VΓ be the largest vertex such that
φ(p) < c. Let r ≔ indξ (p). Label the edges at p, E p = {e1 , . . . , er , er+1 , . . . , ed }
such that ∆−c ≔ {er+1 , . . . , ed }. We use the shorthand βℓ = βeℓ ∈ S ξ .
Lemma 3.4.1. If the Kirwan map Kc : H(Γ, α) → H(Γc ) is surjective, then
the vertex p has a weak generating class.
Proof. Suppose Kc : H(Γ, α) → H(Γc ) is surjective. Consider the map
F : Vc → S ξ defined by
Q
r


 i=1 βa − βi if ea ∈ ∆−c
F(ea ) = 

0
otherwise.

Note that for any h ∈ H(Γ, α) we have


Qr
Z
d
X
(β
−
β
)
·
ρ
h
(x,
y)
a
i
e
p
i=1
a
F · Kc (h) =
Qd
c p ma j=1 m j (βa − β j )
Γc
a=r+1
j,a

=

d
X

h p (βa , y)
1
Qd
c p M p a=r+1 j=r+1 (βa − β j )
j,a



 h p (x, y) 
1
 .
= Resξ  Qd
cp
α(e
)
a
j=r+1

34

CHRIS MCDANIEL

In particular, we see that F ∈ H(Γc ). By our surjectivity assumption, there
is some homogeneous equvariant class T ∈ H(Γ, α) of degree r such that
F = Kc (T ). Now define τ p : VΓ → S by the rule
Qr

if x = p

i=1 α(ei )



(3.19)
τ p (x) = 
M p T (x)
if φ(x) > φ(p)



0
if φ(x) < φ(p),
Qr
where as above M p ≔ i=1 mei . Clearly if τ p were an equivariant class
in H(Γ, α) it would have to be a weak generating class for p. Therefore it
suffices to show that for each xy ∈ E Γ there is some cxy ∈ S such that
τ p (y) − τ p (x) = cxy · α(xy).

(3.20)

Fix any oriented edge xy ∈ E Γ . We may assume without loss of generality
that φ(x) < φ(y). Certainly (3.20) is satisfied for some cxy ∈ S if φ(x) <
φ(y) < φ(p) or if φ(p) < φ(x) < φ(y). If φ(x) < φ(p) < φ(y) then xy ∈
Vc \ ∆−c , and we have
τ p (y) − τ p (x) = τ p (y) = M p T (y).
Since Kc (T )(xy) = ρ xy (T (y)) = 0, we see that T (y) must indeed be a multiple of α(xy) since it is in the kernel of the map ρ xy : SQ→ S ξ . If φ(y) = φ(p)
then xy ∈ {e1 , . . . , er }, then τ p (y) − τ p (x) = τ p (p) = ri=1 α(ei ) is a multiple
of α(xy). Finally if φ(x) = φ(p) then xy ∈ ∆−c , and we have
r
Y
τ(y) − τ(x) = M p T (y) −
α(ei ).
i=1

In this case notice that
ρ xy (M p T (y)) = M p

r
Y
i=1

β xy − βi =

r
Y
i=1

 r

Y

mei (β xy − βi ) = ρ xy 
α(ei )
i=1

which again implies that the difference τ p (y) − τ p (x) is a multiple of α(xy).
Thus τ p is a class in H(Γ, α), as claimed.

Proof of Theorem 1.1. Assume that (Γ, α, θ, λ) has the Morse package. Fix
n ∗
a polarizing covector ξ ∈n (R
o ) , a compatible Morse function φ : VΓ → R,
and a generating family τ p
. As we have already noted for the proof of
p∈VΓ
Proposition 3.1.1, ξ, resp. φ, restricts to a polarizing covector, resp. a Morse
function, on every 2-slice. Since the restriction of an equivariant class to a
subskeleton is obviously an equivariant class of the subskeleton, we deduce
that the restriction of the generating class to a 2-slice is a generating class for
that 2-slice. Thus every 2-slice inherits the Morse package from (Γ, α, θ, λ).
Now assume that every 2-slice of (Γ, α, θ, λ) has the Morse package. Then
by Proposition 3.3.1, the Kirwan maps Kc : H(Γ, α) → H(Γc ) are surjective.

MORSE THEORY

35

Then Lemma 3.4.1 implies that every vertex p ∈ VΓ has a weak generating
class. Thus by Proposition 2.5.5, we deduce that (Γ, α, θ, λ) has the Morse
package.

4. Concluding Remarks
Theorem 1.1 says that in order to understand 1-skeleta with the Morse
package, it is enough to look at 1-skeleta in R2 or planar 1-skeleta. It is
an open problem to classify those planar 1-skeleta which have the Morse
package. Here are a few remarks in this direction.
A planar 1-skeleton is called noncyclic if it satisfies the acyclicity axiom
and is pointed. It follows from Proposition 2.5.6 and the discussion preceding it that a d-valent planar 1-skeleton with the Morse package must be
noncyclic and straight. Note that any noncyclic 1-skeleton has a generating
class in degree zero, namely the constant map p 7→ 1. Moreover, since
vertices and edges support Thom classes, any non-cyclic 1-skeleton must
also admit generating classes in degrees d and d − 1. It turns out that if our
non-cyclic 1-skeleton is straight and planar then we can do slightly better.
Proposition 4.0.1. Every noncyclic planar straight 1-skeleton admits generating classes in degree d − 2.
 ∗
Proof. Let (Γ, α, θ, λ) be a noncyclic planar straight 1-skeleton, let ξ ∈ R2
be any polarizing covector, let p ∈ VΓ be any vertex of index d − 2, and let
F p denote the flow up at p. Then there exists a 2-valent subgraph Γ p =
(V p , E p ) containing p such that V p ⊆ F p . Indeed to find such a graph Γ p ,
one can simply take two oriented paths starting from p (which exist since
indξ (p) = d − 2) and follow them until they meet (which they must since the
orientation on Γ must have a unique sink by the noncyclic assumption).
Label the vertices V p in cyclic order, say v1 , . . . , vn , so that v1 = p and
vi vi+1 ∈ E p . For each x ∈ V p , set N px to be the oriented edges at x normal to
Γ p . Then for each 1 ≤ i ≤ n we have
Y
Y
α(e) mod α(vi vi+1 ).
(4.1)
α(e) ≡ Kvi vi+1 ·
e∈E vi+1
e,vi+1 vi

e∈E vi
e,vi vi+1

Note that α(vi vi+1 ) and α(vi vi−1 ) are a basis for R2 , hence for each 1 ≤ i ≤ n
we can find real numbers λi such that
(4.2)

α(vi vi−1 ) ≡ λi α(vi+1 vi+2 ) mod α(vi vi+1 ).

Dividing these two congruences we get that
Y
Kvi vi+1 Y
(4.3)
α(e) ≡
α(e).
λi
vi
vi+1
e∈N p

e∈N p

36

CHRIS MCDANIEL

Note that from (4.2), the λi ’s can be computed as quotients of exterior products, i.e.
α(vi vi−1 ) ∧ α(vi vi+1 )
(4.4)
λi =
α(vi+1 vi ) ∧ α(vi+1 vi+2 )
V
where x ∧ y denotes the product in the exterior algebra (R2 ). From (4.4)
we see that the product λ1 · · · λn must equal one. Hence by straightness, we
must also have
n
Y
Kvi vi+1
(4.5)
= 1.
λ
i
i=1
Now define M1 ≔ 1 and for 2 ≤ i ≤ n, define
i−1
Y
Kv j v j+1
,
Mi ≔
λ
j
j=1
and define the map τ p : VΓ → S by the formula
 Q


 Mi e∈N vpi α(e) if x = vi
τ p (x) = 

0
otherwise

To finish the proof, we need only show that τ p ∈ H(Γ, α), i.e. for every
oriented edge xy ∈ E Γ
(4.6)

τ p (y) − τ p (x) ≡ 0 mod α(xy).

There are three cases to consider: xy ∈ E p , xy ∈ N p , or neither. If xy is in
neither E p nor N p , then the difference on the LHS of (4.6) is zero, hence the
equivalence is satisfied. If xy ∈ N p then both τ p (x) and τ p (y) are multiples
of α(xy) and again the equivalence (4.6) is satisfied. Finally if xy ∈ E p then
we may assume that x = vi and y = vi+1 for some 1 ≤ i ≤ N, where of course
vN+1 ≔ v1 . The key observation to make here is that for every 1 ≤ i ≤ N we
have
Kvi vi+1
· Mi .
Mi+1 =
λi
Thus the RHS of (4.6) can be written



 K
Y
Y

 vi vi+1
α(e) −
α(e) ,
(4.7)
Mi 

 λi
vi
vi+1
e∈N p

e∈N p

and of course the equivalence in (4.6) now follows from the equivalence in
(4.3). Therefore τ p is a generating class for p.


In particular Proposition 4.0.1 allows a nice characterization of the Morse
package for planar 1-skeleta with small valency.

MORSE THEORY

37

p3
p2
p4

p1

p5

p7
p6

Figure 1. No Morse Package

Corollary 4.0.1. Every noncyclic planar straight 3-valent 1-skeleton has
the Morse package.
One might naively guess that noncyclic and straight are sufficient conditions for the Morse package in higher valencies, but this is not the case as
the following example shows.
Let P ⊆ R2 be a regular 7-gon with vertices labeled in cyclic order
p1 , . . . , p7 . Let Γ = (VΓ , E Γ ) be the graph with VΓ = {p1 , . . . , p7 } and edges
E Γ = {pi pi±1 , pi pi±3 } where the indices are understood modulo 7. For each
1 ≤ i ≤ 7 let pi denote the position vector of vertex pi . An axial function
α : E Γ → R2 is then defined by α(pi p j ) ≔ p j − pi . Reflections across the
edges of Γ define a connection θ for the pair (Γ, α) and with this connection,
one can check the the compatibility constants are all equal to one. Hence the
resulting 4-valent planar 1-skeleton (Γ, α, θ, λ) is straight (it is GKM) and
also noncyclic, since its vertices are in convex position. See Figure 1. Note
however that (Γ, α, θ, λ) cannot have the Morse package.
Indeed if it did
 ∗
2
have the Morse package then, taking ξ = (0, 1) ∈ R , a generating class
for p5 would need to be a degree one class supported on vertices p1 , . . . , p5 .
On the other hand, any degree one class in H(Γ, α) that is zero on p6 and p7
must be identically zero.
The Morse package on a 1-skeleton implies that its equivariant cohomology is a free module over a polynomial ring. It seems natural to ask
for necessary and sufficient conditions for the equivariant cohomology of
a 1-skeleton to be a free module over the polynomial ring S in general.
Recently Luo [5] has proved that the equivariant cohomology of any planar 1-skeleton is always free. Due to Luo’s result and perhaps a lack of
counter examples, one might venture to guess that the equivariant cohomology of any 1-skeleton in Rn is always a free module over the polynomial
ring Sym(Rn ).

38

CHRIS MCDANIEL

References
[1] Mark Goresky, Robert Kottwitz, and Robert MacPherson. Equivariant cohomology,
Koszul duality, and the localization theorem. Invent. Math., 131(1):25–83, 1998.
[2] V. Guillemin and C. Zara. Equivariant de Rham theory and graphs. Asian J. Math.,
3(1):49–76, 1999. Sir Michael Atiyah: a great mathematician of the twentieth century.
[3] V. Guillemin and C. Zara. 1-skeleta, Betti numbers, and equivariant cohomology. Duke
Math. J., 107(2):283–349, 2001.
[4] Victor Guillemin and Catalin Zara. The existence of generating families for the cohomology ring of a graph. Adv. Math., 174(1):115–153, 2003.
[5] S. Luo. On Graph Cohomology and Betti Numbers of Hamiltonian GKM Manifolds.
ArXiv e-prints, June 2012.
[6] Chris McDaniel. Generalized 1-skeleta and a lifting result. Discrete Comput. Geom.,
50(4):940–976, 2013.
Dept. of Math. and Comp. Sci., Endicott College, Beverly, MA 01915
E-mail address: cmcdanie@endicott.edu

