Invariants de Maslov équivariants

We construct two cohomological invariants associated to pairs of Lagrangian sub-bundles of a symplectic bundle on a compact manifold upon which a compact Lie group is acting. The first invariant, which we call the classical equivariant Maslov H-invariant, provides an obstruction to Lagrangian transversality and lives in the Borel cohomology. The second invariant, which we call the equivariant Maslov U-invariant, generalises the author's results in K-Theory 13 (1998), 347–361 to the equivariant context and provides a necessary and sufficient condition for equivariant Lagrangian transversality, up to homotopic stability, and lives in the U-theory (intermediate between the real complex K-theories). As an application, we show that two Lagrangian sub-bundles of a symplectic bundle on a homogeneous space are always stably transverse.     

Action hamiltonienne d’un tore et formule de localisation en cohomologie équivariante

Using an idea of Witten (see [8]), we give a localization formula in equivariant cohomology in the case of an Hamiltonian torus action on a compact symplectic manifold χ. The integral over χ of an equivariant closed form can be written as an integral over the submanifold of critical points of the square of the moment map.     

Cohomology of open torus manifolds

The notion of an open torus manifold is introduced. A compact open torus manifold is a torus manifold introduced earlier. It is shown that the equivariant cohomology ring of an open torus manifold M is the face ring of a simplicial poset when every face of the orbit space Q is acyclic. This result extends an earlier result by Masuda and Panov, and the proof here is more direct. Reisner’s theorem is then applied to our setting, and a necessary and sufficient condition is given for the equivariant cohomology ring of M to be Cohen-Macaulay in terms of the orbit space Q.     

Equivariant homology and duality

This note is concerned with stable G-equivariant homology and cohomology theories (G a compact Lie group). In important cases, when H-equivariant theories are defined naturally for all closed subgroups H of G, we show that the G-(co)homology groups of G x_H X are isomorphic with H-(co)homology groups of X. We introduce the concept of orientability of G-vector bundles and manifolds with respect to an equivariant cohomology theory and prove a duality theorem which implies an equivariant analogue of Poincaré-Lefschetz duality.

     

On the localization formula in equivariant cohomology

We give a generalization of the Atiyah-Bott-Berline-Vergne localization theorem for the equivariant cohomology of a torus action. We replace the manifold having a torus action by an equivariant map of manifolds having a compact connected Lie group action. This provides a systematic method for calculating the Gysin homomorphism in ordinary cohomology of an equivariant map. As an example, we recover a formula of Akyildiz-Carrell for the Gysin homomorphism of flag manifolds.     

Equivariant cohomology of K-contact manifolds

We investigate the equivariant cohomology of the natural torus action on a K-contact manifold and its relation to the topology of the Reeb flow. Using the contact moment map, we show that the equivariant cohomology of this action is Cohen–Macaulay, the natural substitute of equivariant formality for torus actions without fixed points. As a consequence, generic components of the contact moment map are perfect Morse-Bott functions for the basic cohomology of the orbit foliation ${{\mathcal F}}$ of the Reeb flow. Assuming that the closed Reeb orbits are isolated, we show that the basic cohomology of ${{\mathcal F}}$ vanishes in odd degrees, and that its dimension equals the number of closed Reeb orbits. We characterize K-contact manifolds with minimal number of closed Reeb orbits as real cohomology spheres. We also prove a GKM-type theorem for K-contact manifolds which allows to calculate the equivariant cohomology algebra under the nonisolated GKM condition.     

Chiral equivariant cohomology I

We construct a new equivariant cohomology theory for a certain class of differential vertex algebras, which we call the chiral equivariant cohomology. A principal example of a differential vertex algebra in this class is the chiral de Rham complex of Malikov-Schechtman-Vaintrob of a manifold with a group action. The main idea in this paper is to synthesize the algebraic approach to classical equivariant cohomology due to H. Cartan,² with the theory of differential vertex algebras, by using an appropriate notion of invariant theory. We also construct the vertex algebra analogues of the Mathai-Quillen isomorphism, the Weil and the Cartan models for equivariant cohomology, and the Chern-Weil map. We give interesting cohomology classes in the new theory that have no classical analogues.     

An effective algorithm for the cohomology ring of symplectic reductions

Let G be a compact torus acting on a compact symplectic manifold M in a Hamiltonian fashion, and T a subtorus of G. We prove that the kernel of is generated by a small number of classes satisfying very explicit restriction properties. Our main tool is the equivariant Kirwan map, a natural map from the G-equivariant cohomology of M to the G/T-equivariant cohomology of the symplectic reduction of M by T . We show this map is surjective. This is an equivariant version of the well-known result that the (nonequivariant) Kirwan map is surjective. We also compute the kernel of the equivariant Kirwan map, generalizing the result due to Tolman and Weitsman [TW] in the case T = G and allowing us to apply their methods inductively. This result is new even in the case that dim T = 1. We close with a worked example: the cohomology ring of the product of two , quotiented by the diagonal 2-torus action. Submitted: September 2001, Revised: December 2001, Revised: February 2002.     

The degree of maps of free G-manifolds and the average

Suppose that G is a compact Lie group, M and N are orientable, free G-manifolds and f : M → N is an equivariant map. We show that the degree of f satisfies a formula involving data given by the classifying maps of the orbit spaces M/G and N/G. In particular, if the generator of the top dimensional cohomology of M/G with integer coefficients is in the image of the cohomology map induced by the classifying map for M, then the degree is one. The condition that the map be equivariant can be relaxed: it is enough to require that it be “nearly equivariant”, up to a positive constant. We will also discuss the G-average construction and show that the requirement that the map be equivariant can be replaced by a somewhat weaker condition involving the average of the map. These results are applied to maps into real, complex and quaternionic Stiefel manifolds. In particular, we show that a nearly equivariant map of a complex or quaternionic Stiefel manifold into itself has degree one. Dedicated to the memory of Jean Leray     

Actions of Totally Disconnected Groups and Equivariant Singular Cohomology

In this work, we study the special properties of the equivariant singular cohomology of a G-space X, where G is a totally disconnected, locally compact group. We prove that any short exact sequence of coefficient systems for G, over a ring R, gives a long exact sequence of the associated equivariant singular cohomology modules. We establish the relationship between the ordinary singular cohomology modules and the equivariant singular cohomology modules with the natural contravariant coefficient system. Moreover, under some conditions, we give an isomorphism of the equivariant singular cohomology modules of the G-space X onto the ordinary singular cohomology modules of the orbit space X/G.     

Cohomology of GKM fiber bundles

The equivariant cohomology ring of a GKM manifold is isomorphic to the cohomology ring of its GKM graph. In this paper we explore the implications of this fact for equivariant fiber bundles for which the total space and the base space are both GKM and derive a graph theoretical version of the Leray–Hirsch theorem. Then we apply this result to the equivariant cohomology theory of flag varieties.     

Quantum D-modules and equivariant Floer theory for free loop spaces

The objective of this paper is to clarify the relationships between the quantum D-module and equivariant Floer theory. Equivariant Floer theory was introduced by Givental in his paper ``Homological Geometry'. He conjectured that the quantum D-module of a symplectic manifold is isomorphic to the equivariant Floer cohomology for the universal cover of the free loop space. First, motivated by the work of Guest, we formulate the notion of ``abstract quantum D-module' which generalizes the D-module defined by the small quantum cohomology algebra. Second, we define the equivariant Floer cohomology of toric complete intersections rigorously as a D-module, using Givental's model. This is shown to satisfy the axioms of abstract quantum D-module. By Givental's mirror theorem [Giv3], it follows that equivariant Floer cohomology defined here is isomorphic to the quantum cohomology D-module.     

Vanishing of odd dimensional intersection cohomology II

For a variety where a connected linear algebraic group acts with only finitely many orbits, each of which admits an attractive slice, we show that the stratification by orbits is perfect for equivariant intersection cohomology with respect to any equivariant local system. This applies to provide a relationship between the vanishing of the odd dimensional intersection cohomology sheaves and of the odd dimensional global intersection cohomology groups. For example, we show that odd dimensional intersection cohomology sheaves and global intersection cohomology groups vanish for all complex spherical varieties. Received: 25 February 2000 / Accepted: 15 February 2001 / Published online: 23 July 2001     

等变上同调与ech超上同调的同构定理

首先证明了任意一个等变微分流形都存在等变良好开覆盖,且等变良好开覆盖集所组成的集合在全部开覆盖组成的集合中共尾.在此基础上,证明了等变上同调与ech超上同调的同构.此定理可应用于实代数簇的Deligne上同调研究.     

Chen-Ruan Cohomology and Stringy Orbifold K-Theory for Stable Almost Complex Orbifolds

Comparing to the construction of stringy cohomology ring of equivariant stable almost complex manifolds and its relation with the Chen-Ruan cohomology ring of the quotient almost complex orbifolds, the authors construct in this note a Chen-Ruan cohomology ring for a stable almost complex orbifold. The authors show that for a finite group G and a G-equivariant stable almost complex manifold X, the G-invariant part of the stringy cohomology ring of (X, G) is isomorphic to the Chen-Ruan cohomology ring of the global quotient stable almost complex orbifold [X/G]. Similar result holds when G is a torus and the action is locally free. Moreover, for a compact presentable stable almost complex orbifold, they study the stringy orbifold K-theory and its relation with Chen-Ruan cohomology ring.     

The universality of equivariant complex bordism

We show that if A is an abelian compact Lie group, all A-equivariant complex vector bundles are orientable over a complex orientable equivariant cohomology theory. In the process, we calculate the complex orientable homology and cohomology of all complex Grassmannians. Received: 14 February 2000; in final form: 4 August 2000 / Published online: 19 October 2001     

Generalized Dirichlet to Neumann operator on invariant differential forms and equivariant cohomology

In recent work, Belishev and Sharafutdinov show that the generalized Dirichlet to Neumann (DN) operator Λ on a compact Riemannian manifold M with boundary ∂M determines de Rham cohomology groups of M. In this paper, we suppose G is a torus acting by isometries on M. Given X in the Lie algebra of G and the corresponding vector field XM on M, Witten defines an inhomogeneous coboundary operator dXM=d+ιXM on invariant forms on M. The main purpose is to adapt Belishev-Sharafutdinov?s boundary data to invariant forms in terms of the operator dXM in order to investigate to what extent the equivariant topology of a manifold is determined by the corresponding variant of the DN map. We define an operator ΛXM on invariant forms on the boundary which we call the XM-DN map and using this we recover the XM-cohomology groups from the generalized boundary data (∂M,ΛXM). This shows that for a Zariski-open subset of the Lie algebra, ΛXM determines the free part of the relative and absolute equivariant cohomology groups of M. In addition, we partially determine the ring structure of XM-cohomology groups from ΛXM. These results explain to what extent the equivariant topology of the manifold in question is determined by ΛXM.     

Transitive actions on Hopf homogeneous spaces

In this paper we investigate transitive actions of compact connected Lie groups on certain spaces X which are not spheres, whose dimension is not too small and whose rational cohomology algebra is an exterior algebra on homogeneous generators of odd degree. In case X is a simply connected classical group, a 3-connected real or a 5-connected complex or a quaternionic Stiefel manifold, we obtain (in principle) the classification of the transitive actions on X up to equivariant homeomorphism.     

Geometric cohomology frames on Hausmann-Holm-Puppe conjugation spaces

For certain manifolds with an involution the mod 2 cohomology ring of the set of fixed points is isomorphic to the cohomology ring of the manifold, up to dividing the degrees by two. Examples include complex projective spaces and Grassmannians with the standard antiholomorphic involution (with real projective spaces and Grassmannians as fixed point sets).

Hausmann, Holm and Puppe have put this observation in the framework of equivariant cohomology, and come up with the concept of conjugation spaces, where the ring homomorphisms arise naturally from the existence of what they call cohomology frames. Much earlier, Borel and Haefliger had studied the degree-halving isomorphism between the cohomology rings of complex and real projective spaces and Grassmannians using the theory of complex and real analytic cycles and cycle maps into cohomology.

The main result in the present note gives a (purely topological) connection between these two results and provides a geometric intuition into the concept of a cohomology frame. In particular, we see that if every cohomology class on a manifold with involution is the Thom class of an equivariant topological cycle of codimension twice the codimension of its fixed points (inside the fixed point set of ), these topological cycles will give rise to a cohomology frame.