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.
A careful account is given of generalized equivariant homology theories on the category of topological pairs acted on by a group. In particular, upon restriction to the category of equivariant simplicial complexes, the equivalence of equivariant simplicial homology (also known as Bredon homology), the second derived term of the Atiyah--Hirzebruch spectral sequence, and equivariant singular homology is demonstrated.
We show that when a simplicial Lie group acts on a simplicial manifold $\{X_*\}$, we can construct a bisimplicial manifold and the de Rham complex on it. This complex is quasi-isomorphic to the equivariant simplicial de Rham complex on $\{X_*\}$ and its cohomology group is isomorphic to the cohomology group of the fat realization of the bisimplicial manifold. We also exhibit a cocycle in the equivariant simplicial de Rham complex.
We establish a Quillen equivalence between the homotopy theories of equivariant Segal operads and equivariant simplicial operads with norm maps. Together with previous work, we further conclude that the homotopy coherent nerve is a right-Quillen equivalence from the model category of equivariant simplicial operads with norm maps to the model category structure for equivariant-$\infty$-operads in equivariant dendroidal sets.
We show that the cohomology group of the equivariant simplicial de Rham complex is isomorphic to the cohomology group of the classifying space of a semi-direct product group.
Wiltshire-Gordon has introduced a homotopy model for ordered configuration spaces on a given simplicial complex. That author asserts that, after a suitable subdivision, his model also works for unordered configuration spaces. We supply details justifying Wiltshire-Gordon's assertion and, more importantly, uncover the equivariant properties of his more-general simplicial-difference model for the complement of a subcomplex inside a larger complex. This is achieved by proving an equivariant version of the Nerve Lemma. In addition, in the case of configuration spaces, we show that a slight variati…
The paper is devoted to an approach to the bounded cohomology theory based on the theories of simplicial sets and Postnikov systems. In particular, the main results of the bounded cohomology theory of topological spaces are extended to arbitrary Kan (fibrant) simplicial sets.
We prove simplicial version of a classical theorem of Eilenberg in the equivariant context and give an alternative description of the simplicial version of Bredon-Illman cohomology with local coefficients, as introduced in [15], to derive a spectral sequence.
We define a variant of Benjamini-Schramm convergence for finite simplicial complexes with the action of a fixed finite group G which leads to the notion of random rooted simplicial G-complexes. For every random rooted simplicial G-complex we define a corresponding $\ell^2$-homology and the $\ell^2$-multiplicity of an irreducible representation of G in the homology. The $\ell^2$-multiplicities generalize the $\ell^2$-Betti numbers and we show that they are continuous on the space of sofic random rooted simplicial G-complexes. In addition, we study induction of random rooted complexes and discus…
In this paper we use Peter May's algebraic approach to Steenrod operations to construct Steenrod's reduced power operations in simplicial Bredon-Illman cohomology with local coefficients of a one vertex G-Kan complex, G being a discrete group.
This paper explores topological complexity in the finite equivariant setting. We first define and study an equivariant version of Tanaka's combinatorial complexity for finite topological spaces. We explore the relationships between this invariant and several others already discussed in the literature: Farber's topological complexity, Tanaka's combinatorial complexity, and Colman-Grant's equivariant Lusternik-Schnirelmann category. We find bounds for equivariant combinatorial complexity and for the necessary lengths of equivariant combinatorial motion plannings. We show that the equivariant top…
It is shown that the Mayer-Vietoris sequence holds for the cohomology of complexes of Lie algebroids which are defined on simplicial complexes and satisfy the compatibility condition concerning restrictions to the faces of each simplex. The Mayer-Vietoris sequence will be obtained as a consequence of the extension lemma for piecewise smooth forms defined on complexes of Lie algebroids.
A simplicial complement P is a sequence of subsets of [m] and the simplicial complement P corresponds to a unique simplicial complex K with vertices in [m]. In this paper, we defined the homology of a simplicial complement $H_{i,σ}(Λ^{*,*}[P], d)$ over a principle ideal domain k and proved that $H_{*,*}(Λ[P], d)$ is isomorphic to the Tor of the corresponding face ring k(K) by the Taylor resolutions. As applications, we give methods to compute the ring structure of Tor_{*,*}^{k[x]}(k(K), k)$, $link_{K}σ$, $star_{K}σ$ and the cohomology of the generalized moment-angle complexes.
We study a naturally occurring $E_{\infty}$-subalgebra of the full $E_2$-Hochschild cochain complex arising from coherent cochains. For group rings and certain category algebras, these cochains detect $H^*(B {\cal{C}})$, the simplicial cohomology of the classifying space of the underlying group or category, $\cal{C}$. In this setting the simplicial cup product of cochains on $B{\cal{C}}$ agrees with the Gerstenhaber product and Steenrod's cup-one product of cochains agrees with the pre-Lie product. We extend the idea of coherent cochains to algebras more general than category algebras and dub …
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…
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.
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…
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.
Let T be a torus. We show that Koszul duality can be used to compute the equivariant cohomology of topological T-spaces as well as the cohomology of pull backs of the universal T-bundle. The new features are that no further assumptions about the spaces are made and that the coefficient ring may be arbitrary. This gives in particular a Cartan-type model for the equivariant cohomology of a T-space with arbitrary coefficients. Our method works for intersection homology as well.
We deal with the problem of obtaining explicit simplicial formulae defining the classical Adem cohomology operations at the cochain level. Having these formulae at hand, we design an algorithm for computing these operations for any finite simplicial set.
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…
We build model structures on the category of equivariant simplicial operads with a fixed set of colors, with weak equivalences determined by families of subgroups. In particular, by specifying to the family of graph subgroups (or, more generally, one of the indexing systems of Blumberg-Hill), we obtain model structures on the category of equivariant simplicial operads with a fixed set of colors, with weak equivalences determined by norm map data.
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.
For G a Lie group acting on a symplectic manifold $(M,ω)$ preserving a pair of Lagrangians $L_0$, $L_1$, under certain hypotheses not including equivariant transversality we construct a G-equivariant Floer cohomology of $L_0$ and $L_1$.
This is a companion paper our previous submission "\infty-categories monoidales rigides et caracteres de Chern", in which we give a comparison between functions on the derived loop space of a smooth scheme of caracteristic zero, and its algebraic de Rham cohomology. As a consequence we obtain functorial and multiplicative versions of the HKR decomposition theorem relating Hochschild homology and Hodge cohomology.
Intersection cohomology is a way to enhance classical cohomology, allowing us to use a famous result called Poincaré duality on a large class of spaces known as stratified pseudomanifolds. There is a theoretically powerful way to arrive at intersection cohomology by classifying sheaves that satisfy what are called Deligne axioms. We stablish an abstract manifestation of the Deligne axioms, to then apply it on a simplicial complex environment, for a category of simplicial sheaves inspired on the works of D. Chataur, D. Tanré and M. Saralegi-Araguren. For a stablished topology on a triangulation…
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 discuss some additivity properties of the simplicial volume for manifolds with boundary: we give proofs of additivity for glueing amenable boundary components and of superadditivity for glueing amenable submanifolds of the boundary, and we discuss doubling of 3-manifolds.
We give an algebraic proof for the result of Eilenberg and Mac Lane that the second cohomology group of a simplicial group G can be computed as a quotient of a fibre product involving the first two homotopy groups and the first Postnikov invariant of G. Our main tool is the theory of crossed module extensions of groups.
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 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.
