Arc Spaces and Equivariant Cohomology

We present a new geometric interpretation of equivariant cohomology in which one replaces a smooth, complex G-variety X by its associated arc space J _∞ X, with its induced G-action. This not only allows us to obtain geometric classes in equivariant cohomology of arbitrarily high degree, but also provides more flexibility for equivariantly deforming classes and geometrically interpreting multiplication in the equivariant cohomology ring. Under appropriate hypotheses, we obtain explicit bijections between $ \mathbb{Z} $ -bases for the equivariant cohomology rings of smooth varieties related by an equivariant, proper birational map. We also show that self-intersection classes can be represented as classes of contact loci, under certain restrictions on singularities of subvarieties. We give several applications. Motivated by the relation between self-intersection and contact loci, we define higher-order equivariant multiplicities, generalizing the equivariant multiplicities of Brion and Rossmann; these are shown to be local singularity invariants, and computed in some cases. We also present geometric $ \mathbb{Z} $ -bases for the equivariant cohomology rings of a smooth toric variety (with respect to the dense torus) and a partial flag variety (with respect to the general linear group).     

Equivariant Cyclic Cohomology of H-Algebras

We define an equivariant K ₀-theory for Yetter–Drinfeld algebras over a Hopf algebra with an invertible antipode. We then show that this definition can be generalized to all Hopf-module algebras. We show that there exists a pairing, generalizing Connes pairing, between this theory and a suitably defined Hopf algebra equivariant cyclic cohomology theory.     

Equivariant Cohomology of Configurations in Rd

An explicit formula is given for the graded trace of a permutation acting on the cohomology of the space of configurations of n ordered distinct points of R^d. This is applied to determine the top and total cohomology as modules for the symmetric group, and to locate the occurrence of the alternating representation.     

Equivariant local Epsilon Constants and Etale Cohomology

A conjecture is formulated which relates the equivariant localepsilon constant of a Galois extension of p-adic fields to anatural algebraic invariant coming from étale cohomology.Some evidence for the conjecture is provided and its relationto a conjecture for the equivariant global epsilon constantof an extension of number fields formulated by Bley and Burnsis established.     

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.     

Torsion in the Cohomology of Torus Orbifolds

The authors study torsion in the integral cohomology of a certain family of 2n-dimensional orbifolds X with actions of the n-dimensional compact torus.Compact simplicial toric varieties are in our family.For a prime number p,the authors find a necessary condition for the integral cohomology of X to have no p-torsion.Then it is proved that the necessary condition is sufficient in some cases.The authors also give an example of X which shows that the necessary condition is not sufficient in general.     

Torsion Functors of Local Cohomology Modules

Through a study of torsion functors of local cohomology modules we improve some non-finiteness results on the top non-zero local cohomology modules with respect to an ideal.     

Hopf Algebra Equivariant Cyclic Cohomology, K-theory and Index Formulas

For an algebra with an action of a Hopf algebra we establish the pairing between equivariant cyclic cohomology and equivariant K-theory for . We then extend this formalism to compact quantum group actions and show that equivariant cyclic cohomology is a target space for the equivariant Chern character of equivariant summable Fredholm modules. We prove an analogue of Julg's theorem relating equivariant K-theory to ordinary K-theory of the C^*-algebra crossed product, and characterize equivariant vector bundles on quantum homogeneous spaces.     

Categorified Quantum sl(2) and Equivariant Cohomology of Iterated Flag Varieties

A 2-category was introduced in that categorifies Lusztig’s integral version of quantum sl(2). Here we construct for each positive integer N a representation of this 2-category using the equivariant cohomology of iterated flag varieties. This representation categorifies the irreducible (N + 1)-dimensional representation of quantum sl(2).     

On the Equivariant Cohomology of Subvarieties of a \mathfrak{B}-Regular Variety

By a $\mathfrak{B}$ -regular variety, we mean a smooth projective variety over $\mathbb{C}$ admitting an algebraic action of the upper triangular Borel subgroup $\mathfrak{B} \subset {\text{SL}}_{2} {\left( \mathbb{C} \right)}$ such that the unipotent radical in $\mathfrak{B}$ has a unique fixed point. A result of Brion and the first author [4] describes the equivariant cohomology algebra (over $\mathbb{C}$ ) of a $\mathfrak{B}$ -regular variety X as the coordinate ring of a remarkable affine curve in $X \times \mathbb{P}^{1}$ . The main result of this paper uses this fact to classify the $\mathfrak{B}$ -invariant subvarieties Y of a $\mathfrak{B}$ -regular variety X for which the restriction map i _Y : H ^*(X) → H ^*(Y) is surjective.     

Relative Cohomology and Generalized Tate Cohomology

We compare relative cohomology theories arising from using different proper resolutions of modules. Criteria for the vanishing of such distinctions are given in certain cases, and we show that this is related to the generalized Tate cohomology theory. We also demonstrate that the two balance properties admitted by the two different cohomology theories are actually equivalent in some cases. As applications, we recover many results obtained earlier in various contexts. At last we investigate derived functors with respect to the Auslander and Bass classes.     

Abelianization and orthogonal complements of additive categories

An abelian completion of an additive regular category is constructed and in­vestigated. It is applied to give an axiomatic characterization of the categories which appear as categories of torsion free objects in abelian categories with pre-radicals, radicals, hereditary radicals.     

A Note on the Abelianization Functor

It is well known that the abelianization of a group G can be computed as the cokernel of the diagonal morphism (1_G, 1_G): G → G × G in the category of groups. We generalize this to arbitrary regular subtractive categories, among which are the category of groups, the category of topological groups, and the categories of other group-like structures. We also establish that an abelian category is the same as a regular subtractive category in which every monomorphism is a kernel of some morphism.     

Abelianization for hyperkähler quotients

We study an integration theory in circle equivariant cohomology in order to prove a theorem relating the cohomology ring of a hyperkähler quotient to the cohomology ring of the quotient by a maximal abelian subgroup, analogous to a theorem of Martin for symplectic quotients. We discuss applications of this theorem to quiver varieties, and compute as an example the ordinary and equivariant cohomology rings of a hyperpolygon space.     

The Unstable Equivariant Fixed Point Index and the Equivariant Degree

A correspondence between the equivariant degree introduced byIze, Massabó, and Vignoli and an unstable version ofthe equivariant fixed point index defined by Prieto and Ulrichis shown. With the help of conormal maps and properties of theunstable index, a sum decomposition formula is proved for theindex and consequently also for the degree. As an application,equivariant homotopy groups are decomposed as direct sums ofsmaller groups of fixed orbit types, and a geometric interpretationof each summand is given in terms of conormal maps.     

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.