Arxiv:1305.4293V1 [Math.AT]

Home , Contractible space, Equivariant cohomology

arXiv:1305.4293v1 [math.AT] 18 May 2013 where (1) obtains one field in- together, vector the theorems the of of sum zeros the the at as dices manifold Eu- the the of computes characteristic topology ler in theorem index Hopf field the vector continuous a is there X if hand, other the On o,te t ue hrceitcis characteristic Euler its then vol, curvature Gaussian with 3-space states theorem if dif- Gauss–Bonnet that classical the in geometry example, For ferential integrals. as computed est nMdod ascuet.Hsealadesis address email His Massachusetts. Medford, [email protected] in versity rcsl h xdpit fteato seFgr 1). Figure (see action are the field of vector points the fixed of the zeros south precisely the vector and the continuous sphere, and the a on pole generates field action north circle the This points, pole. fixed two has It neapeo nato ftecircle the of action an of example an a r orlt nitga vrtemnfl oasum a to set. manifold point the fixed one over the case, integral over an this relate In to try the points. can on fixed acting group isolated a with prob- is manifold there this when studying situation for as the is context computed lem natural be A can integrals sums. of finite one kind generally, in- what More local points. ask of of might terms set finite in a integral at global formation a computes it for zero ihioae eo nacmat retdmanifold, oriented compact, a on zeros isolated with ayivrat ngoer n oooycnbe can topology and geometry in invariants Many oigW ui rfso fMteaisa ut Uni- Tufts at Mathematics of Professor is Tu W. Loring oaigteui sphere unit the Rotating p hsi neapeo oaiainformula, localization a of example an is This . M i X ( sacmat retdsraei Euclidean in surface oriented compact, a is p HTIS WHAT ) 2 1 steidxo h etrfield vector the of index the is π Z χ COHOMOLOGY? M ( I M K NTRODUCTION OIGW TU W. LORING . vol = ) ... = 2 EQUIVARIANT 1 π S p ∈ 2 Z Zero M ∑ in K R ( X K vol 3 ) X i bu the about n oueform volume and X . S utn h two the Putting . ( 1 p ntesphere. the on ) , X z ai is -axis tthe at 1 S called forms are differential complex Cartan’s variant of 1950, Elements Bruxelles, 62). p. C.B.R.M., Topologie, con- de article Borel earlier (Colloque the Cartan’s in of present case already special was a struction fact, In equivariant defined! the waseven cohomology of equivariant proof before a theorem, Car- Rham in it, de step stating key explicitly the Without provided tan smooth manifold. of a of complex cohomology Rham singular real de the computes the forms differential that way same the aiodwt nato faLegroup Lie a of action an with manifold eeta form ferential of qiain iglrchmlg fa of cohomology real the singular compute equivariant Cartan’s to out in turns complex Cartan’s occurs papers, never cohomology” “equivariant on on ilcomplex tial once i group Lie connected er ale,i 90 ntoifleta rilso the manifold on a articles influential of two cohomology in Nine 1950, a in construction. earlier, using Borel years category the called topological now the construction in singu- equivariant cohomology defined lar Borel 1959 In convoluted. such one is ac- functor. cohomology the Equivariant and group. space the the functor of of a tion topology like the would both one reflects action, that group topologi- a the has When space cal homomorphisms. graded of their category topological and the of rings to category maps the continuous and from spaces functor a gives ogy algebra ( g G h rgno qiain ooooyi somewhat is cohomology equivariant of origin The cohomol- singular of theory familiar the that Recall g M ∗ neuvratfr na on form equivariant An . ti h ler falplnmasi ierforms linear in polynomials all of algebra the is it ; ) eteplnma ler nteLealgebra Lie the on algebra polynomial the be n h i ler of algebra Lie the and S iue1 iceato nasphere. a on action circle A 1. Figure ( ℓ g g ∗ ω ∗ ) ( ( = Ω aifigteeuvrac condition: equivariance the satisfying ω G ∗ ( Ad on M ) g M G , − d atncntutdadifferen- a constructed Cartan , 1 G ihvle ntepolynomial the in values with ) ) ◦ u ftedfeeta forms differential the of out or b b ω M qiain forms equivariant ce nb compact, a by on acted G G o all for lhuhteterm the Although . -manifold g G ∈ mnfl (a -manifold G G ,i much in ), M , sadif- a is Let . equi- g 2 LORING W. TU

∗ where ℓg is the pullback by left multiplication by g and a pullback. More precisely, if P → M is any principal Ad is the adjoint representation. An equivariant form G-bundle, then there is a map f : M → BG, unique up ω is said to be closed if it satisfies dGω = 0. to homotopy and called a classifying map of P → M, What makes equivariant cohomology particularly such that the bundle P is isomorphic to the pullback useful in the computation of integrals is the equi- bundle f ∗(EG). The base space BG of a universal bun- variant integration formula of Atiyah–Bott (1984) and dle, uniquely defined up to homotopy equivalence, is Berline–Vergne (1982). In case a torus acts on a com- called the classifying space of the group G. The clas- pact, oriented manifold with isolated fixed points, this sifying space BG plays a key role in equivariant coho- formula computes the integral of a closed equivariant mology, because it is the homotopy quotient of a point: form as a finite sum over the fixed point set. Although stated in terms of equivariant cohomology, the equi- ptG = (EG × pt)/G = EG/G = BG, variant integration formula, also called the equivariant ∗ localization formula in the literature, can often be used so that the equivariant cohomology HG(pt) of a point to compute the integrals of ordinary differential forms. is the ordinary cohomology H∗(BG) of the classifying It opens up the possibility of machine computation of space BG. integrals on a manifold. It is instructive to see a universal bundle for the circle group. Let S2n+1 be the unit sphere in Cn+1. The EQUIVARIANT COHOMOLOGY circle S1 acts on Cn+1 by scalar multiplication. This 1 2n+1 Suppose a topological group G acts continuously on action induces a free action of S on S , and the a topological space M. A first candidate for equivari- quotient space is by definition the complex projective C n ∞ ∞ 2n+1 ant cohomology might be the singular cohomology of space P . Let S be the union n=0 S , and let C ∞ ∞ C n the orbit space M/G. The example above of a circle P be the union n=0 P . SinceS the actions of the G = S1 acting on M = S2 by rotation shows that this circle on the spheresS are compatible with the inclusion of one sphere inside the next, there is an induced ac- is not a good candidate, since the orbit space M/G is 1 ∞ a closed interval, a contractible space, so that its coho- tion of S on S . This action is free with quotient space C ∞ ∞ mology is trivial. In this example, we lose all informa- P . It is easy to see that all homotopy groups of S vanish, for if a sphere Sk maps into the infinite sphere tion about the group action by passing to the quotient ∞ M G. S , then by compactness its image lies in a finite- / 2n+1 A more serious deficiency of this example is that it dimensional sphere S . If n is large enough, any map from Sk to S2n+1 will be null-homotopic. Since is the quotient of a nonfree action. In general, a group ∞ action is said to be free if the stabilizer of every point S is a CW complex, the vanishing of all homotopy is the trivial subgroup. It is well known that the or- groups implies that it is contractible. Thus, the pro- ∞ → C ∞ 1 bit space of a nonfree action is often “not nice”—not jection S P is a universal S -bundle and, up to C ∞ smooth or not Hausdorff. However, the topologist has homotopy equivalence, P is the classifying space BS1 of the circle. a way of turning every action into a free action without ∗ changing the homotopy type of the space. The idea is If H ( ) is a cohomology functor, the constant map M → pt from any space M to a point induces a ring ho- to find a contractible space EG on which the group G ∗ ∗ ∗ × momorphism H (pt) → H (M), which gives H (M) acts freely. Then EG M will have the same homo- ∗ topy type as M, and no matter how G acts on M, the the structure of a module over the ring H (pt). Thus, diagonal action of G on EG × M will always be free. the cohomology of a point serves as the coefficient ring in any cohomology theory. For the equivariant real The homotopy quotient MG of M by G, also called the Borel construction, is defined to be the quotient singular cohomology of a circle action, the coefficient of EG × M by the diagonal action of G, and the equi- ring is ∗ variant cohomology HG(M) of M is defined to be the ∗ ∗ ∗ 1 ∗ H 1 (pt;R)= H (pt 1 ;R)= H (BS ;R) cohomology H (MG) of the homotopy quotient MG. S S ∞ Here H∗( ) denotes singular cohomology with any co- = H∗(CP ;R) ≃ R[u], efficient ring. A contractible space on which a topological group the polynomial ring generated by an element u of de- G acts freely is familiar from homotopy theory as gree 2. For the action of a torus T = S1 ×···× the total space of a universal principal G-bundle S1 = (S1)ℓ, the coefficient ring is the polynomial ring π ∗ R R : EG → BG, of which every principal G-bundle is HT (pt; )= [u1,...,uℓ], where each ui has degree 2. WHAT IS ... EQUIVARIANT COHOMOLOGY? 3

EQUIVARIANT INTEGRATION at an isolated fixed point p, the tangent space TpM de- composes into a direct sum Lm1 ⊕···⊕ Lmn , where L Let G be a compact, connected Lie group. Over a is the standard representation of the circle on the com- compact, oriented G-manifold, equivariant forms can plex plane C and m ,...,m are nonzero integers. The be integrated, but the values are in the coefficient ring 1 n integers m ,...,m are called the exponents of the cir- H∗ (pt;R), which is generally a ring of polynomials. 1 n G cle action at the fixed point p. They are defined only According to Cartan, in the case of a circle action on up to sign, but if M is oriented, the sign of the product a compact, oriented manifold, an equivariant form of m ···m is well defined by the orientation of M. degree 2n is a sum 1 n When a torus T = (S1)ℓ acts on a compact, oriented 2 manifold M with isolated fixed point set F, for any (2) ω = ω2n + ω2n−2 u + ω2n−4 u closed T-equivariant form ω on M, the equivariant in- ··· ω un + + 0 , tegration formula states that ω ∈ Ω2 j S1 1 where 2 j (M) is an S -invariant 2 j-form on ∗ ω ω ip M. If is closed under the Cartan differential, then (3) ω = ∑ , T ν it is called an equivariantly closed extension of the or- ZM p∈F e ( p) dinary differential form ω2n. The equivariant integral ω ω ∗ ω M is obtained by integrating each 2 j over M. If where ip is the restriction of the equivariantly closed ω T RM has dimension 2n, then the integral M 2 j vanishes form ω to a fixed point p and e (νp) is the equivari- except when j = n, and one has R ant Euler class of the normal bundle νp to p in M. Of course, the normal bundle to a point p in a manifold ω ω ω = 2n + 2n−2 u M is simply the tangent space TpM, but formula (3) is ZM ZM ZM stated in a way to allow for easy generalization: when n F has positive-dimensional components, the sum over + ··· + ω0 u ZM the fixed points is replaced by an integral over the components C of the fixed point set and νp is replaced by = ω2n + 0 + ··· + 0 = ω2n. ZM ZM νC, the normal bundle to the component C. In for- ω One peculiarity of equivariant integration is the pos- mula (3), the degree of the form is not assumed to sibility of obtaining a nonzero answer while integrat- be equal to the dimension of the manifold M, and so ing a form over a manifold whose dimension is not the left-hand side is a polynomial in u1,...,uℓ, while equal to the degree of the form. For example, if M has the right-hand side is a sum of rational expressions in dimension 2n − 2 instead of 2n, then the integral over u1,...,uℓ, and it is part of the theorem that the equi- T ν M of the equivariant 2n-form ω above is variant Euler classes e ( p) are nonzero and that there will be cancellation on the right-hand side so that the sum becomes a polynomial. ω = ω2n−2 u, ZM ZM Return now to a circle action with isolated fixed since for dimensional reasons all other terms are zero. points on a compact, oriented manifold M of dimen- From this, one sees that an equivariant integral for a sion 2n. Let ω be a closed equivariant form of degree circle action is in general not a real number, but a poly- 2n on M. Since the restriction of a form of positive de- nomial in u. gree to a point is zero, on the right-hand side of (3) all n terms in ω except ω0 u restrict to zero at a fixed point p ∈ M: LOCALIZATION What kind of information can be mined from the n ∗ ω ∗ ω j fixed points of an action? If a Lie group G acts ip = ∑(ip 2n−2 j)u smoothly on a manifold, then for each g ∈ G, the ac- j=0 = (i∗ ω )un = ω (p)un. tion induces a diffeomorphism ℓg : M → M. At a fixed p 0 0 point p ∈ M, the differential ℓg∗ : TpM → TpM is a lin- S1 ear automorphism of the tangent space, giving rise to The equivariant Euler class e (νp) turns out to be n a representation of the group G on the tangent space m1 ···mn u , where m1,...,mn are the exponents of the TpM. Invariants of the representation are then invari- circle action at the fixed point p. Therefore, the equi- ants of the action at the fixed point. For a circle action, variant integration formula for a circle action assumes 4 LORING W. TU

the form approximation formula is exact for a symplectic action (Atiyah–Bott 1984), to calculate the number of ra- ω0 ω2n = ω = ∑ (p). tional curves in a quintic threefold (Kontsevich 1995, Z Z m ···m M M p∈F 1 n Ellingsrud–Strømme 1996), to calculate the characteristic numbers of a compact homogeneous space (Tu In this formula, ω is an ordinary differential form of 2n 2010), and to derive the Gysin formula for a fiber bun- degree 2n on M, ω is an equivariantly closed extension dle with homogenous space fibers (Tu preprint 2011). of ω , and ω is the coefficient of the un term in ω as 2n 0 In the special case where the vector field X is gener- in (2). ated by a circle action, the Gauss–Bonnet–Hopf formula (1) is a consequence of the equivariant integration formula. Equivariant cohomology has also helped APPLICATIONS to elucidate the work of Witten on supersymmetry, In general, an integral of an ordinary differential Morse theory, and Hamiltonian actions (Atiyah–Bott form on a compact, oriented manifold can be com- 1984, Jeffrey–Kirwan 1995). puted as a finite sum using the equivariant integration The formalism of equivariant cohomology carries formula if the manifold has a torus action with iso- over from singular cohomology to other cohomology lated fixed points and the form has an equivariantly theories such as K-theory, Chow rings, and quantum closed extension. These conditions are not as restric- cohomology. There are similar localization formulas tive as they seem, since many problems come naturally that compare the equivariant functor of a G-space to with the action of a compact Lie group, and one can al- that of the fixed point set of G or of some subgroup of ways restrict the action to that of a maximal torus. It G (for example, Segal 1968 and Atiyah–Segal 1968). makes sense to restrict to a maximal torus, instead of In the fifty years since its inception, equivariant co- any torus in the group, because the larger the torus, homology has found applications in topology, differ- the smaller the fixed point set, and hence the easier the ential geometry, symplectic geometry, algebraic ge- computation. ometry, K-theory, representation theory, and combina- As for the question of whether a form has an equiv- torics, among other fields, and is currently a vibrant ariantly closed extension, in fact a large collection of area of research. forms automatically do. These include characteristic ACKNOWLEDGMENTS classes of vector bundles on a manifold. If a vector bundle has a group action compatible with the group This article is based on a talk given at the National action on the manifold, then the equivariant character- Center for Theoretical Sciences, National Tsing Hua istic classes of the vector bundle will be equivariantly University, Taiwan. The author gratefully acknowl- closed extensions of its ordinary characteristic classes. edges helpful discussions with Alberto Arabia, Aaron A manifold on which every closed form has an W. Brown, Jeffrey D. Carlson, George Leger, and Win- equivariantly closed extension is said to be equivari- nie Li during the preparation of this article, as well as antly formal. Equivariantly formal manifolds include the support of the Tufts Faculty Research Award Com- all manifolds whose cohomology vanishes in odd de- mittee in 2007–2008. grees. In particular, a homogeneous space G/H, where G is a compact Lie group and H is a closed subgroup FOR FURTHER READING of maximal rank, is equivariantly formal. [1] R. Bott, An introduction to equivariant cohomology, in The equivariant integration formula is a powerful Quantum Field Theory: Perspective and Prospective, tool for computing integrals on a manifold. If a geo- edited by C. DeWitt-Morette and J.-B. Zuber, Kluwer Aca- metric problem with an underlying torus action can demic Publishers, Netherlands, 1999, pp. 35–57. [2] M. Vergne, Applications of equivariant cohomology, in the be formulated in terms of integrals, then there is a Proceedings of the International Congress of Mathemati- good chance that the formula applies. For example, cians (Madrid, August 2006), Vol. I, European Math. Soc., it has been applied to show that the stationary phase Zürich, 2007, pp. 635–664.