Equivariant simplicial cohomology with local coefficients and its classification

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.     

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.     

Equivariant cohomology distinguishes toric manifolds

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.     

Equivariant crystalline cohomology and base change

Given a perfect field of characteristic , a smooth proper -scheme , a crystal on relative to and a finite group acting on and , we show that, viewed as a virtual -module, the reduction modulo of the crystalline cohomology of is the de Rham cohomology of modulo . On the way we prove a base change theorem for the virtual -representations associated with -equivariant objects in the derived category of -modules.

     

Equivariant homology and cohomology of groups

We provide and study an equivariant theory of group (co)homology of a group G with coefficients in a Γ-equivariant G-module A, when a separate group Γ acts on G and A, generalizing the classical Eilenberg-MacLane (co)homology theory of groups. Relationship with equivariant cohomology of topological spaces is established and application to algebraic K-theory is given.     

Equivariant cohomology of real flag manifolds

Let P=G/K be a semisimple non-compact Riemannian symmetric space, where G=I₀(P) and K=Gp is the stabilizer of p∈P. Let X be an orbit of the (isotropy) representation of K on Tp(P) (X is called a real flag manifold). Let K₀⊂K be the stabilizer of a maximal flat, totally geodesic submanifold of P which contains p. We show that if all the simple root multiplicities of G/K are at least 2 then K₀ is connected and the action of K₀ on X is equivariantly formal. In the case when the multiplicities are equal and at least 2, we will give a purely geometric proof of a formula of Hsiang, Palais and Terng concerning H^∗(X). In particular, this gives a conceptually new proof of Borel's formula for the cohomology ring of an adjoint orbit of a compact Lie group.     

Equivariant cohomology and localization for Lie algebroids

Let M be a manifold carrying the action of a Lie group G, and let A be a Lie algebroid on M equipped with a compatible infinitesimal G-action. Using these data, we construct an equivariant cohomology of A and prove a related localization formula for the case of compact G. By way of application, we prove an analog of the Bott formula.     

Hopf-cyclic homology and cohomology with coefficients

Following the idea of an invariant differential complex, we construct general-type cyclic modules that provide the common denominator of known cyclic theories. The cyclicity of these modules is governed by Hopf-algebraic structures. We prove that the existence of a cyclic operator forces a modification of the Yetter–Drinfeld compatibility condition leading to the concept of a stable anti-Yetter–Drinfeld module. This module plays the role of the space of coefficients in the thus obtained cyclic cohomology of module algebras and coalgebras, and the cyclic homology and cohomology of comodule algebras. Along the lines of Connes and Moscovici, we show that there is a pairing between the cyclic cohomology of a module coalgebra acting on a module algebra and closed 0-cocycles on the latter. The pairing takes values in the usual cyclic cohomology of the algebra. Similarly, we argue that there is an analogous pairing between closed 0-cocycles of a module coalgebra and the cyclic cohomology of a module algebra. To cite this article: P.M. Hajac et al., C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Varieties for cohomology with twisted coefficients

Let G be a finite group and k a field of characteristic p > 0. In this paper we consider the support variety for the cohomology module Ext _kG ^* (M, N) where M and N are kG-modules. It is the subvariety of the maximal ideal spectrum of H*(G, k) of the annihilator of the cohomology module. For modules in the principal block we show that that the variety is contained in the intersections of the varieties of M and N and the difference between the that intersection and the support variety of the cohomology module is contained in the group theoretic nucleus. For other blocks a new nucleus is defined and a similar theorem is proven. However in the case of modules in a nonprincipal block several new difficulties are highlighted by some examples. Partially supported by grants from NSF and EPSRC     

Equivariant quantum cohomology of the odd symplectic Grassmannian

Mathematische Zeitschrift - The odd symplectic Grassmannian $$\mathrm {IG}:=\mathrm {IG}(k, 2n+1)$$ parametrizes k dimensional subspaces of $${\mathbb {C}}^{2n+1}$$ which are isotropic with respect...     

Nonabelian cohomology with coefficients in Lie groups

In this paper we prove some properties of the nonabelian cohomology of a group with coefficients in a connected Lie group . When is finite, we show that for every -submodule of which is a maximal compact subgroup of , the canonical map is bijective. In this case we also show that is always finite. When and is compact, we show that for every maximal torus of the identity component of the group of invariants , is surjective if and only if the -action on is -semisimple, which is also equivalent to the fact that all fibers of are finite. When , we show that is always surjective, where is a maximal compact torus of the identity component of . When is cyclic, we also interpret some properties of in terms of twisted conjugate actions of .

     

Topological group cohomology with loop contractible coefficients

We show that for topological groups and loop contractible coefficients the cohomology groups of continuous group cochains and of group cochains that are continuous on some identity neighbourhood are isomorphic. Moreover, we show a similar statement for compactly generated groups and Lie groups holds and apply our results to different concepts of group cohomology for finite-dimensional Lie groups.     

Equivariant homotopical homology with coefficients in a Mackey functor

Let M be a Mackey functor for a finite group G. In this paper, generalizing the Dold-Thom construction, we construct an ordinary equivariant homotopical homology theory with coefficients in M, whose values on the category of finite G-sets realize the bifunctor M, both covariantly and contravariantly. Furthermore, we extend the contravariant functor to define a transfer in the theory for G-equivariant covering maps. This transfer is given by a continuous homomorphism between topological abelian groups.We prove a formula for the composite of the transfer and the projection of a G-equivariant covering map and characterize those Mackey functors M for which that formula has an expression analogous to the classical one.