We use localization method to understand the rational equivariant cohomology rings of real Grassmannians and oriented Grassmannians, then relate this to the Leray-Borel description which says the ring generators are equivariant Pontryagin classes, Euler classes in even dimension, and one more new type of classes in odd dimension, as stated by Casian and Kodama. We give additive basis in terms of equivariant characteristic polynomials and equivariant Schubert/canonical classes. We also calculate Poincaré series, equivariant Littlewood-Richardson coefficients and equivariant characteristic numbers. Since all these Grassmannians with torus actions are equivariantly formal, many results for equivariant cohomology have similar statements for ordinary cohomology.
This paper determines the RO(G)-graded Eilenberg-MacLane cohomology of the real, infinite, equivariant Grassmannians in the case G=Z/2. Possible connections with motivic characteristic classes for quadratic bundles are briefly discussed.
According to a result of Ehresmann, the torsions of integral homology of real Grassmannian are all of order $2$. In this note, We compute the $\mathbb{Z}_2$-dimensions of torsions in the integral homology and cohomology of real Grassmannian.
In this paper, we present a closed formula for the cohomology of real Grassmannians. To achieve this, we use a theory of stratified spaces to compute the differentials in a chain complex that computes the cohomology. Specifically, we organize Schubert cells as a conically smooth stratified space in the sense of Ayala, Francis, Tanaka; the links therein yield the sought differentials, using methods in differential topology. Further, we identify the isomorphism type of this chain complex and we use this result to provide a closed formula for the additive structure of the cohomology of real Grass…
The study of the action of the Steenrod algebra on the mod $p$ cohomology of spaces has many applications to the topological structure of those spaces. In this paper we present combinatorial formulas for the action of Steenrod operations on the cohomology of Grassmannians, both in the Borel and the Schubert picture. We consider integral lifts of Steenrod operations, which lie in a certain Hopf algebra of differential operators. The latter has been considered recently as a realization of the Landweber-Novikov algebra in complex cobordism theory; it also has connections with the action of the Vi…
In this paper we study the mod $2$ cohomology ring of the Grasmannian $\widetilde{G}_{n,3}$ of oriented $3$-planes in $\mathbb{R}^n$. We determine the degrees of the indecomposable elements in the cohomology ring. We also obtain an almost complete description of the cohomology ring. This partial description allows us to provide lower and upper bounds on the cup length of $\widetilde{G}_{n,3}$. As another application, we show that the upper characteristic rank of $\widetilde{G}_{n,3}$ equals the characteristic rank of $\widetildeγ_{n,3}$, the oriented tautological bundle over $\widetilde{G}_{n,…
We introduce equivariant twisted cohomology of a simplicial set equipped with simplicial action of a discrete group and prove that for suitable twisting function induced from a given equivariant local coefficients, the simplicial version of Bredon-Illman cohomology with local coefficients is isomorphic to equivariant twisted cohomology. The main aim of this paper is to prove a classification theorem for equivariant simplicial cohomology with local coefficients.
We give Leray-Borel-type descriptions for the mod-$2$ and the rational equivariant cohomology rings of the real and the oriented flag manifolds under the canonical torus or 2-torus actions.
We construct a Thom class in complex equivariant elliptic cohomology extending the equivariant Witten genus. This gives a new proof of the rigidity of the Witten genus, which exhibits a close relationship to recent work on non-equivariant orientations of elliptic spectra.
We calculate the integral equivariant cohomology, in terms of generators and relations, of locally standard torus orbifolds whose odd degree ordinary cohomology vanishes. We begin by studying GKM-orbifolds, which are more general, before specialising to half-dimensional torus actions.
In this paper, we calculate $RO(C_2)$-graded cohomology of $C_2$-equivariant Eilenberg-Mac Lane spaces $K(\underline{Z/2}, n+σ)$ for $n\geq 0$. These can be used to give the relation between equivariant lambda algebra and equivariant Adams resolution and equivariant unstable Adams spectral sequence, which are defined in author`s dissertation.
We prove the equivariant Leray-Hirsch theorem combinatorially for sufficiently good torus equivariant fiber bundles consisting of homogeneous spaces of Lie groups. We apply this theorem to determining the equivariant integral cohomology ring of the flag manifold of type $E_6$ and express it explicitly as a quotient ring of a polynomial ring.
We study the Duflot filtration on the Borel equivariant cohomology of smooth manifolds with a smooth $p$-torus action. We axiomatize the filtration and prove analog of several structural results about equivariant cohomology rings in this setting. We apply this abstract theory to study the $\mathbb{F}_p$ cohomology rings of classifying spaces of compact Lie groups, and show how to recover geometric results about the cohomology of $BG$ using equivariant cohomology. This includes some results about detection on subgroups and restrictions on associated primes that were previously only known for fi…
Equivariant elliptic cohomology with complex coefficients was defined axiomatically by Ginzburg, Kapranov and Vasserot and constructed by Grojnowski. We give an invariant definition of S^1-equivariant elliptic cohomology, and use it to give an entirely cohomological proof of the rigidity theorem of Witten for the elliptic genus. We also state and prove a rigidity theorem for families of elliptic genera.
In this paper we consider a class of connected closed $G$-manifolds with a non-empty finite fixed point set, each $M$ of which is totally non-homologous to zero in $M_G$ (or $G$-equivariantly formal), where $G={\Bbb Z}_2$. With the help of the equivariant index, we give an explicit description of the equivariant cohomology of such a $G$-manifold in terms of algebra, so that we can obtain analytic descriptions of ring isomorphisms among equivariant cohomology rings of such $G$-manifolds, and a necessary and sufficient condition that the equivariant cohomology rings of such two $G$-manifolds are…
In this paper, we study the T_w-equivariant cohomology of the weighted Grassmannians wGr(d,n) introduced by Corti-Reid where T_w is the n-dimensional torus that naturally acts on wGr(d,n). We introduce the equivariant weighted Schubert classes and, after we show that they form a basis of the equivariant cohomology, we give an explicit formula for the structure constants with respect to this Schubert basis. We also find a linearly independent subset {wu_1,...,wu_n} of Lie(T_w)^* such that those structure constants are polynomials in wu_i's with non-negative coefficients, up to a permutation on …
We determine the $T$-equivariant integral cohomology of $F_4/T$ combinatorially by the GKM theory, where T is a maximal torus of the exceptional Lie group $F_4$ and acts on $F_4/T$ by the left multiplication.
We extend the work of Allday-Franz-Puppe on syzygies in equivariant cohomology from tori to arbitrary compact connected Lie groups G. In particular, we show that for a compact orientable G-manifold X the analogue of the Chang-Skjelbred sequence is exact if and only if the equivariant cohomology of X is reflexive, if and only if the equivariant Poincare pairing for X is perfect. Along the way we establish that the equivariant cohomology modules arising from the orbit filtration of X are Cohen-Macaulay. We allow singular spaces and introduce a Cartan model for their equivariant cohomology. We al…
The Springer variety of type $A$ associated to a nilpotent operator on $\mathbb{C}^n$ in Jordan canonical form admits a natural action of the $\ell$-dimensional torus $T^{\ell}$ where $\ell$ is the number of the Jordan blocks. We give a presentation of the $T^{\ell}$-equivariant cohomology ring of the Springer variety through an explicit construction of an action of the $n$-th symmetric group on the $T^{\ell}$-equivariant cohomology group. The $T^{\ell}$-equivariant analogue of so called Tanisaki's ideal will appear in the presentation.
In 1998, Goresky, Kottwitz, and MacPherson showed that for certain spaces X equipped with a torus action, the T-equivariant cohomology ring of X can be described by combinatorial data obtained from its orbit decomposition. Thus, their theory transforms calculations of the equivariant topology of X to those of the combinatorics of the orbit decomposition. Since then, many authors have studied this interplay between topology and combinatorics. In this paper, we generalize the theorem of Goresky, Kottwitz, and MacPherson to the (possibly infinite-dimensional) setting where X is any equivariant ce…
We generalize our puzzle formula for ordinary Schubert calculus on Grassmannians, to a formula for the T-equivariant Schubert calculus. The structure constants to be calculated are polynomials in {y_{i+1} - y_i}; they were shown (abstractly) to have positive coefficients in [Graham] math.AG/9908172. Our formula is the first to be manifestly positive in this sense. In particular this gives a new and self-contained proof of the ordinary puzzle formula, by an induction backwards from the "most equivariant" case. The proof of the formula is mostly combinatorial, but requires no prior combinatorics…
On the basis of Brylinski's work, we introduce a notion of equivariant smooth Deligne cohomology group, which is a generalization of both the ordinary smooth Deligne cohomology and the ordinary equivariant cohomology. Using the cohomology group, we classify equivariant circle bundles with connection, and equivariant gerbes with connection.
For a compact Lie group acting on a smooth manifold, we define the differential cohomology of a certain quotient stack involving principal bundles with connection. This produces differential equivariant cohomology groups that map to the Cartan-Weil equivariant forms and to Borel's equivariant integral cohomology. We show the Chern-Weil homomorphism for equivariant vector bundles with connection naturally factors through differential equivariant cohomology.
We describe the Cartan and Weil models of twisted equivariant cohomology together with the Cartan homomorphism among the two, and we extend the Chern-Weil homomorphism to the twisted equivariant cohomology. We clarify that in order to have a cohomology theory, the coefficients of the twisted equivariant cohomology must be taken in the completed polynomial algebra over the dual Lie algebra of $G$. We recall the relation between the equivariant cohomology of exact Courant algebroids and the twisted equivariant cohomology, and we show how to endow with a generalized complex structure the finite d…
The Poincare duality of classical cohomology and the extension of this duality to quantum cohomology endows these rings with the structure of a Frobenius algebra. Any such algebra possesses a canonical ``characteristic element;'' in the classical case this is the Euler class, and in the quantum case this is a deformation of the classical Euler class which we call the ``quantum Euler class.'' We prove that the characteristic element of a Frobenius algebra A is a unit if and only if A is semisimple, and then apply this result to the cases of the quantum cohomology of the finite complex Grassmann…
The equivariant cohomology of a space with a group action is not only a ring but also an algebra over the cohomology ring of the classifying space of the acting group. We prove that toric manifolds (i.e. compact smooth toric varieties) are isomorphic as varieties if and only if their equivariant cohomology algebras are weakly isomorphic. We also prove that quasitoric manifolds, which can be thought of as a topological counterpart to toric manifolds, are equivariantly homeomorphic if and only if their equivariant cohomology algebras are isomorphic.
We describe the equivariant cohomology ring of rationally smooth projective embeddings of reductive groups. These embeddings are the projectivizations of reductive monoids. Our main result describes their equivariant cohomology in terms of roots, idempotents, and underlying monoid data. Also, we characterize those embeddings whose equivariant cohomology ring is obtained via restriction to the associated toric variety. Such characterization is given in terms of the closed orbits.
This is a survey on the equivariant cohomology of Lie group actions on manifolds, from the point of view of de Rham theory. Emphasis is put on the notion of equivariant formality, as well as on applications to ordinary cohomology and to fixed points.
The chiral equivariant cohomology contains and generalizes the classical equivariant cohomology of a manifold M with an action of a compact Lie group G. For any simple G, there exist compact manifolds with the same classical equivariant cohomology, which can be distinguished by this invariant. When M is a point, this cohomology is an interesting conformal vertex algebra whose structure is still mysterious. In this paper, we scratch the surface of this object in the case G=SU(2).
We construct and analyse models of equivariant cohomology for differentiable stacks with Lie group actions extending classical results for smooth manifolds due to Borel, Cartan and Getzler. We also derive various spectral sequences for the equivariant cohomology of a differentiable stack generalising among others Bott's spectral sequence which converges to the cohomology of the classifying space of a Lie group.
We define an elliptic version of the stable envelope of Maulik and Okounkov for the equivariant elliptic cohomology of cotangent bundles of Grassmannians. It is a version of the construction proposed by Aganagic and Okounkov and is based on weight functions and shuffle products. We construct an action of the dynamical elliptic quantum group associated with $\mathfrak{gl}_2$ on the equivariant elliptic cohomology of the union of cotangent bundles of Grassmannians. The generators of the elliptic quantum groups act as difference operators on sections of admissible bundles, a notion introduced in …
Let $G:=\widehat{SL_2}$ denote the affine Kac-Moody group associated to $SL_2$ and $\bar{\mathcal{X}}$ the associated affine Grassmannian. We determine an inductive formula for the Schubert basis structure constants in the torus-equivariant Grothendieck group of $\bar{\mathcal{X}}$. In the case of ordinary (non-equivariant) $K$-theory we find an explicit closed form for the structure constants. We also determine an inductive formula for the structure constants in the torus-equivariant cohomology ring, and use this formula to find closed forms for some of the structure constants.
This paper provides an introduction to equivariant cohomology and homology using the approach of Goresky, Kottwitz, and MacPherson. When a group G acts suitably on a variety X, the equivariant cohomology of X can be computed using the combinatorial data of a skeleton of G-orbits on X. We give both a geometric definition and the traditional definition of equivariant cohomology. We include a discussion of the moment map and an algorithm for finding a set of generators for the equivariant cohomology of X. Many examples and explicit calculations are provided.
Local cohomology techniques in equivariant homotopy theory, introduced by John Greenlees, may be applied to understand homology of classifying spaces through other equivariant data. In this paper we relate the local cohomology filtration to the families filtration. By doing so, we may identify geometry codified by the local cohomology filtration in the setting of equivariant bordism. The constructions which arise are naturally analyzed by localized K-theory machinery due to Atiyah and Segal, which we review.
For T an abelian compact Lie group, we give a description of T-equivariant K-theory with complex coefficients in terms of equivariant cohomology. In the appendix we give applications of this by extending results of Chang-Skjelbred and Goresky-Kottwitz-MacPherson from equivariant cohomology to equivariant K-theory.
We introduce a Bredon motivic cohomology theory for smooth schemes defined over a field and equipped with an action by a finite group. These cohomology groups are defined for finite dimensional representations as the hypercohomology of complexes of equivariant correspondences in the equivariant Nisnevich topology. We generalize the theory of presheaves with transfers to the equivariant setting and prove a Cancellation Theorem.
We provide and study an equivariant theory of group (co)homology of a group G with coefficients in a gamma-equivariant G-module A, when a separate group "gamma" acts on G and A, generalizing the classical Eilenberg-MacLane (co)homology of groups. Relationship with equivariant cohomology of topological spaces is established and application to algebraic K-theory is given.
The main result of the paper is a Borel type description of the $Sp(1)^n$-equivariant cohomology ring of the manifold $Fl_n(\mathbb{H})$ of all complete flags in $\mathbb{H}^n$. To prove this, we obtain a Goresky-Kottwitz-MacPherson type description of that ring.
We construct a deformed Morse complex computing the equivariant cohomology of a manifold M endowed with a smooth S^1-action. The deformation of the coboundary operator is given by counting gradient flow lines of a Morse function f that are allowed to "jump" along orbits of the S^1-action for finite time intervalls.
The construction of characteristic classes via the curvature form of a connection is one motivation for the refinement of integral cohomology by de Rham cocycles -- known as differential cohomology. We will discuss the analog in the case of a group action on the manifold: The definition of equivariant characteristic forms in the Cartan model due to Nicole Berline and Michèle Vergne motivates a refinement of equivariant integral cohomology by all Cartan cocycles. In view of this, we will also review previous definitions critically, in particular the one given by Kiyonori Gomi.
We define the category of manifolds with extended tangent bundles, we study their symmetries and we consider the analogue of equivariant cohomology for actions of Lie groups in this category. We show that when the action preserves the splitting of the extended tangent bundle, our definition of extended equivariant cohomology agrees with the twisted equivariant de Rham model of Cartan, and for this case we show that there is localization at the fixed point set, à la Atiyah-Bott.
In this article we study the equivariant elliptic cohomology of complex toric varieties. We prove a partial reconstruction theorem showing that equivariant elliptic cohomology encodes considerable non-trivial information on the equivariant 1-skeleton of a toric variety X (although it stops short of being a complete invariant of its GKM graphs). Elliptic cohomology is supposed to encode higher categorical geometric data, and proposals have been made linking elliptic cocycles to categorified bundles. In particular, contrary to ordinary cohomology and K-theory, elliptic cohomology is expected not…
Matroid bundles, introduced by MacPherson, are combinatorial analogues of real vector bundles. This paper sets up the foundations of matroid bundles, and defines a natural transformation from isomorphism classes of real vector bundles to isomorphism classes of matroid bundles, as well as a transformation from matroid bundles to spherical quasifibrations. The poset of oriented matroids of a fixed rank classifies matroid bundles, and the above transformations give a splitting from topology to combinatorics back to topology. This shows the mod 2 cohomology of the poset of rank k oriented matroids…
We study the $S_n$-equivariant log-concavity of the cohomology of flag varieties, also known as the coinvariant ring of $S_n$. Using the theory of representation stability, we give computer-assisted proofs of the equivariant log-concavity in low degrees and high degrees and conjecture that it holds for all degrees. Furthermore, we make a stronger unimodal conjecture which implies the equivariant log-concavity.
In this paper, we prove a generalization of Kempf-Laksov formula for the degeneracy loci classes in even infinitesimal cohomology theories of the Grassmannian bundle and the Lagrangian Grassmannian bundle.
The main result of this note is a Giambelli formula for the Peterson Schubert classes in the $S^1$-equivariant cohomology ring of a type $A$ Peterson variety. Our results depend on the Monk formula for the equivariant structure constants for the Peterson Schubert classes derived by Harada and Tymoczko. In addition, we give proofs of two facts observed by H. Naruse: firstly, that some constants which appear in the multiplicative structure of the $S^1$-equivariant cohomology of Peterson varieties are Stirling numbers of the second kind, and secondly, that the Peterson Schubert classes satisfy a …
We construct a cocycle model for complex analytic equivariant elliptic cohomology that refines Grojnowski's theory when the group is connected and Devoto's when the group is finite. We then construct Mathai--Quillen type cocycles for equivariant elliptic Euler and Thom classes, explaining how these are related to positive energy representations of loop groups. Finally, we show that these classes give a unique equivariant refinement of Hopkins' "theorem of the cube" construction of the ${\rm MString}$-orientation of elliptic cohomology.
