The main objective of this paper is to compute $RO(G)$-graded cohomology of $G$-orbits for the group $G=C_n$, where $n$ is a product of distinct primes. We compute these groups for the constant Mackey functor $\underline{Z}$ and for the Burnside ring Mackey functor $\underline{A}$. Among other things, we show that the groups $\underline{H}^α_G(S^0)$ are mostly determined by the fixed point dimensions of the virtual representations $α$, except in the case of $\underline{A}$ coefficients when the fixed point dimensions of $α$ have many zeros. In the case of $\underline{Z}$ coefficients, the ring structure on the cohomology is also described. The calculations are then used to prove freeness results for certain $G$-complexes.
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 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…
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.
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.
We sketch a quick and dirty geometric approach to the Tate-Swan cohomology of equivariant spectra, illustrating it with conjectural applications to Atiyah-Segal $K$-theory of circle actions, and a possible geometric model for the topological cyclic homology of the sphere spectrum.
The equivariant cohomology for actions of compact connected abelian groups and elementary abelian p-groups have been widely studied in the last decades. We study some of these results on actions of finite cyclic groups over a field of positive characteristic. In particular, we study the module structure of the equivariant cohomology over the cohomology of the classifying space and we provide a criterion for freeness over this ring and the polynomial subring of it. We apply these results to canonical actions of finite cyclic groups on polyhedral products arising from the boundary of a polygo
We consider closed manifolds, which occur as intersections of products of spheres of the same dimension with certain hyperplanes. Among those are the so called (big) polygon- and chain spaces. The equivariant cohomology with respect to natural actions of 2-tori is calculated and related to the notion of syzygy. It turns out that the equivariant cohomology module of these manifolds is often torsion free, but not free over the cohomology of the group. Coefficients are taken in the field with two elements.
In this paper, we study the equivariant homotopy type of a connected sum of linear actions on complex projective planes defined by Hambleton and Tanase. These actions are constructed for cyclic groups of odd order. We construct cellular filtrations on the connected sum using spheres inside unitary representations. A judicious choice of filtration implies a splitting on equivariant homology for general cyclic groups under a divisibility hypothesis, and in all cases for those of prime power order.
In this paper, we calculate the $RO(G)$-graded coefficients of $H\underline{\mathbb{Z}}$, the Eilenberg-MacLane spectrum of constant Mackey functor for quaternion group $Q_8$.
In this paper, we prove that the orbit space B and the Euler class of an action of the circle S^1 on X determine both the equivariant intersection cohomology of the pseudomanifold X and its localization. We also construct a spectral sequence converging to the equivariant intersection cohomology of X whose third term is described in terms of the intersection cohomology of B.
Let $C_2$ denote the cyclic group of order two. Given a manifold with a $C_2$-action, we can consider its equivariant Bredon $RO(C_2)$-graded cohomology. In this paper, we develop a theory of fundamental classes for equivariant submanifolds in $RO(C_2)$-graded cohomology in constant $\mathbb{Z}/2$ coefficients. We show the cohomology of any $C_2$-surface is generated by fundamental classes, and these classes can be used to easily compute the ring structure. To define fundamental classes we are led to study the cohomology of Thom spaces of equivariant vector bundles. In general the cohomology o…
In this paper, we prove some computational results about equivariant cohomology over the cyclic group $C_{p^n}$ of prime power order. We show that there is an inductive formula when the dimension of the $C_p$-fixed points of the grading is large. Among other calculations, we also show the existence of non-trivial extensions when $n\geq 3$.
Let X be a "nice" space with an action of a torus T. We consider the Atiyah-Bredon sequence of equivariant cohomology modules arising from the filtration of X by orbit dimension. We show that a front piece of this sequence is exact if and only if the H^*(BT)-module H_T^*(X) is a certain syzygy. Moreover, we express the cohomology of that sequence as an Ext module involving a suitably defined equivariant homology of X. One consequence is that the GKM method for computing equivariant cohomology applies to a Poincare duality space if and only if the equivariant Poincare pairing is perfect.
We show the compatibility of the differential geometric and the topological construction of equivariant characteristic classes for compact Lie groups. Our analysis motivates a differential geometric construction for equivariant characteristic classes in the non-compact case. This compatibility is generally assumed and used in various cases, but there is only a proof for compact connected Lie groups in the literature, see the work of Raoul Bott and Loring Tu. Our proof applies and generalizes ideas of Johan Dupont and Ezra Getzler.
When a torus acts on a compact oriented manifold with isolated fixed points, the equivariant localization formula of Atiyah--Bott--Berline--Vergne converts the integral of an equivariantly closed form to a finite sum over the fixed points, providing a powerful tool for computing integrals on a manifold. This article seeks to give an accessible exposition of the equivariant localization formula.
We develop a theory of syzygies in equivariant cohomology for tori as well as $p$-tori and coefficients in $\mathbb{F}_p$. A noteworthy feature is a new algebraic approach to the partial exactness of the Atiyah-Bredon sequence, which also covers all instances considered so far.
In this article we introduce flag Bott manifolds of general Lie type as the total spaces of iterated flag bundles. They generalize the notion of flag Bott manifolds and generalized Bott manifolds, and admit nice torus actions. We calculate the torus equivariant cohomology rings of flag Bott manifolds of general Lie type.
We completely calculate the $RO(G)$-graded coefficients of ordinary equivariant cohomology where $G$ is the dihedral group of order $2p$ for a prime $p>2$ both with constant and Burnside ring coefficients. The authors first proved it for $p=3$ and then the second author generalized it to arbitrary $p$. These are the first such calculations for a non-abelian group.
We compute the equivariant cohomology of complex projective spaces associated to finite-dimensional representations of $C_2$, using ordinary cohomology graded on representations of the fundamental groupoid, with coefficients in the Burnside ring Mackey functor. This extension of the $RO(C_2)$-graded theory allows for the definition of Euler classes, which are used as generators of the cohomology of the projective spaces. As an application, we give an equivariant version of Bezout's theorem.
We compute the cohomology of the subalgebra $A^{C_2}(1)$ of the $C_2$-equivariant Steenrod algebra $A^{C_2}$. This serves as the input to the $C_2$-equivariant Adams spectral sequence converging to the $RO(C_2)$-graded homotopy groups of an equivariant spectrum $ko_{C_2}$. Our approach is to use simpler $\mathbb{C}$-motivic and $\mathbb{R}$-motivic calculations as stepping stones.
This thesis consists of two main parts. In the second part, we recall how a description of local coefficients that Eilenberg introduced in the 1940s leads to spectral sequences for the computation of homology and cohomology with local coefficients. We then show how to construct new equivariant analogues of these spectral sequences for RO(G)-graded Bredon homology and cohomology. Finally, we use these spectral sequences to complete a sample calculation, in which we use the equivariant Serre spectral sequence and the equivariant cohomology of complex projective spaces to compute the cohomology o…
The classification of Seifert manifolds was given in terms of numeric data by Seifert in 1933, and then generalized by Orlik and Raymond in 1968 to circle actions on closed 3d manifolds. In this paper, we further generalize the classification to circle actions on 3d manifolds with boundaries by adding a numeric parameter and a union of cycle graphs. Then we describe the equivariant cohomology of 3d manifolds with circle actions in terms of ring, module and vector-space structures. We also compute equivariant Betti numbers and Poincaré series for these manifolds and discuss the equivariant form…
Let $G$ be a elementary abelian $2$-group and $X$ be a manifold with a locally standard action of $G$. We provide a criterion to determine the syzygy order of the $G$-equivariant cohomology of $X$ with coefficients over a field of characteristic two using a complex associated to the cohomology of the face filtration of the manifold with corners $X/G$. This result is the real version of the quotient criterion for locally standard torus actions developed by M. Franz in arXiv:1205.4462.
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 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 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 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.
