Steenrod operations on the Chow ring of a classifying space

We use the Steenrod algebra to study the Chow ring CH^*BG of the classifying space of an algebraic group G. We describe a localization property which relates a given G to its elementary abelian subgroups, and we study a number of particular cases, namely symmetric groups and Chevalley groups. It turns out that the Chow rings of these groups are completely determined by the abelian subgroups and their fusion.     

Chow ring of generic flag varieties

Let G be a split semisimple algebraic group over a field k and let X be the flag variety (i.e., the variety of Borel subgroups) of G twisted by a generic G‐torsor. We start a systematic study of the conjecture, raised in 5 in form of a question, that the canonical epimorphism of the Chow ring of X onto the associated graded ring of the topological filtration on the Grothendieck ring of X is an isomorphism. Since the topological filtration in this case is known to coincide with the computable gamma filtration, this conjecture indicates a way to compute the Chow ring. We reduce its proof to the case of . For simply‐connected or adjoint G , we reduce the proof to the case of simple G . Finally, we provide a list of types of simple groups for which the conjecture holds. Besides of some classical types considered previously (namely, A, C, and the special orthogonal groups of types B and D), the list contains the exceptional types G₂, F₄, and simply‐connected E₆.     

Orbifold construction for topological field theories

An equivariant topological field theory is defined on a cobordism category of manifolds with principal fiber bundles for a fixed (finite) structure group. We provide a geometric construction which for any given morphism $G?H$ of finite groups assigns in a functorial way to a G-equivariant topological field theory an H-equivariant topological field theory, the pushforward theory. When H is the trivial group, this yields an orbifold construction for G-equivariant topological field theories which unifies and generalizes several known algebraic notions of orbifoldization.     

Equivariant Chow groups for torus actions

We study Edidin and Graham's equivariant Chow groups in the case of torus actions. Our main results are: (i) a presentation of equivariant Chow groups in terms of invariant cycles, which shows how to recover usual Chow groups from equivariant ones; (ii) a precise form of the localization theorem for torus actions on projective, nonsingular varieties; (iii) a construction of equivariant multiplicities, as functionals on equivariant Chow groups; (iv) a construction of the action of operators of divided differences on theT-equivariant Chow group of any scheme with an action of a reductive group with maximal torusT. We apply these results to intersection theory on varieties with group actions, especially to Schubert calculus and its generalizations. In particular, we obtain a presentation of the Chow ring of any smooth, projective spherical variety.     

Chow rings of excellent quadrics

In this paper we compute the multiplicative structure of the Chow ring of an excellent anisotropic quadric by using the algebraic cobordism theory.     

Cohomology for infinitesimal unipotent algebraic and quantum groups

In this paper we study the structure of cohomology spaces for the Frobenius kernels of unipotent and parabolic algebraic group schemes and of their quantum analogs. Given a simple algebraic group G, a parabolic subgroup P _J , and its unipotent radical U _J , we determine the ring structure of the cohomology ring H^?((U _J )₁, k). We also obtain new results on computing H^?((P _J )₁, L(??)) as an L _J -module where L(??) is a simple G-module with highest weight ?? in the closure of the bottom p-alcove. Finally, we provide generalizations of all our results to small quantum groups at a root of unity.     

On Chow Groups of G-Graded Rings

Abstract

Let A be a Noetherian ring graded by a finitely generated Abelian group G. It is shown that a Chow group A _?(A) of A is determined by cycles and a rational equivalence with respect to certain G-graded ideals of A. In particular, A _?(A) is isomorphic to the equivariant Chow group of A if G is torsion free.     

Equivariant Chow Ring and Chern Classes of Wonderful Symmetric Varieties of Minimal Rank

We describe the equivariant Chow ring of the wonderful compactification X of a symmetric space of minimal rank, via restriction to the associated toric variety Y. Also, we show that the restrictions to Y of the tangent bundle T _X and its logarithmic analogue S _X decompose into a direct sum of line bundles. This yields closed formulas for the equivariant Chern classes of T _X and S _X , and, in turn, for the Chern classes of reductive groups considered by Kiritchenko.     

Algebraic cobordism revisited

We define a cobordism theory in algebraic geometry based on normal crossing degenerations with double point singularities. The main result is the equivalence of double point cobordism to the theory of algebraic cobordism previously defined by Levine and Morel. Double point cobordism provides a simple, geometric presentation of algebraic cobordism theory. As a corollary, the Lazard ring given by products of projective spaces rationally generates all nonsingular projective varieties modulo double point degenerations. Double point degenerations arise naturally in relative Donaldson–Thomas theory. We use double point cobordism to prove all the degree 0 conjectures in Donaldson–Thomas theory: absolute, relative, and equivariant.     

Variations on a theme of rationality of cycles

We prove certain weak versions of some celebrated results due to Alexander Vishik comparing rationality of algebraic cycles over the function field of a quadric and over the base field. The original proofs use Vishik’s symmetric operations in the algebraic cobordism theory and work only in characteristic 0. Our proofs use the modulo 2 Steenrod operations in the Chow theory and work in any characteristic ≠ 2. Our weak versions are still sufficient for existing applications. In particular, Vishik’s construction of fields of u-invariant 2 ^r + 1, for r ≥ 3, is extended to arbitrary characteristic ≠ 2.     

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.     

Formal Hecke algebras and algebraic oriented cohomology theories

In the present paper, we generalize the construction of the nil Hecke ring of Kostant–Kumar to the context of an arbitrary formal group law, in particular, to an arbitrary algebraic oriented cohomology theory of Levine–Morel and Panin–Smirnov (e.g., to Chow groups, Grothendieck’s \(K_0\) , connective \(K\) -theory, elliptic cohomology, and algebraic cobordism). The resulting object, which we call a formal (affine) Demazure algebra, is parameterized by a one-dimensional commutative formal group law and has the following important property: specialization to the additive and multiplicative periodic formal group laws yields completions of the nil Hecke and the 0-Hecke rings, respectively. We also introduce a formal (affine) Hecke algebra. We show that the specialization of the formal (affine) Hecke algebra to the additive and multiplicative periodic formal group laws gives completions of the degenerate (affine) Hecke algebra and the usual (affine) Hecke algebra, respectively. We show that all formal affine Demazure algebras (and all formal affine Hecke algebras) become isomorphic over certain coefficient rings, proving an analogue of a result of Lusztig.     

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.     

Dominant K-theory and integrable highest weight representations of Kac-Moody groups

We give a topological interpretation of the highest weight representations of Kac-Moody groups. Given the unitary form G of a Kac-Moody group (over C), we define a version of equivariant K-theory, KG on the category of proper G-CW complexes. We then study Kac-Moody groups of compact type in detail (see Section 2 for definitions). In particular, we show that the Grothendieck group of integrable highest weight representations of a Kac-Moody group G of compact type, maps isomorphically onto , where EG is the classifying space of proper G-actions. For the affine case, this agrees very well with recent results of Freed-Hopkins-Teleman. We also explicitly compute for Kac-Moody groups of extended compact type, which includes the Kac-Moody group E₁₀.     

Equivariant geometric K-homology for compact Lie group actions

Let G be a compact Lie-group, X a compact G-CW-complex. We define equivariant geometric K-homology groups $K^{G}_{*}(X)$ , using an obvious equivariant version of the (M,E,f)-picture of Baum-Douglas for K-homology. We define explicit natural transformations to and from equivariant K-homology defined via KK-theory (the “official” equivariant K-homology groups) and show that these are isomorphisms.     

Cycle modules and the intersection A ∞-algebra

In his paper Chow Group with Coefficients, M. Rost has developed a generalization of the classical Chow groups based on Milnor K-theory and an axiomatic generalization of it called cycles modules. For a cycle module M with a ring structure and a smooth scheme X of finite type over a field, we show that Rost’s cycle complex with coefficients ${C^*(X, M)_\mathbb{Q}}$ has a structure of an A _∞-algebra. In the case of Milnor K-theory it provides an homotopy model for the classical intersection theory of cycles.     

Equivariant Brauer and Picard groups and a Chase–Harrison–Rosenberg exact sequence

The classical Chase–Harrison–Rosenberg exact sequence relates the Picard and Brauer groups of a Galois extension S of a commutative ring R to the group cohomology of the Galois group. We associate to each action of a locally compact group G on a locally compact space X two groups which we call the equivariant Picard group and the equivariant Brauer group. We then prove an analogue of the Chase–Harrison–Rosenberg exact sequence in the which the roles of the Picard and Brauer groups are played by their equivariant analogues.     

The hereditary monocoreflective subcategories of Abelian groups and R-modules

The non-trivial hereditary monocoreflective subcategories of the Abelian groups are the following ones: {G ?? Ob Ab | G is a torsion group, and for all g ?? G the exponent of any prime p in the prime factorization of o(g) is at most E(p)}, where E(·) is an arbitrary function from the prime numbers to {0, 1, 2, ??,??}. (o(·) means the order of an element, and n ?? ?? means n < ??.) This result is dualized to the category of compact Hausdorff Abelian groups (the respective subcategories are {G ?? Ob CompAb | G has a neighbourhood subbase {G _?? } at 0, consisting of open subgroups, such that G/G _?? is cyclic, of order like o(g) above}), and is generalized to categories of unitary R-modules for R an integral domain that is a principal ideal domain. For general rings R with 1, an analogous theorem holds, where the hereditary monocoreflective subcategories of unitary left R-modules are described with the help of filters L in the lattice of the left ideals of the ring R. These subcategories consist of those left R-modules, for which the annihilators of all elements belong to L. If R is commutative, then this correspondence between these subcategories and these filters L is bijective.     

Equivariant cobordism of flag varieties and of symmetric varieties

We obtain an explicit presentation for the equivariant cobordism ring of a complete flag variety. An immediate corollary is a Borel presentation for the ordinary cobordism ring. Another application is an equivariant Schubert calculus in cobordism. We also describe the rational equivariant cobordism rings of wonderful symmetric varieties of minimal rank.