We introduce Chern classes in $U(m)$-equivariant homotopical bordism that refine the Conner-Floyd-Chern classes in the $MU$-cohomology of $B U(m)$. For products of unitary groups, our Chern classes form regular sequences that generate the augmentation ideal of the equivariant bordism rings. Consequently, the Greenlees-May local homology spectral sequence collapses for products of unitary groups. We use the Chern classes to reprove the $MU$-completion theorem of Greenlees-May and La Vecchia.
We give a description of real equivariant bordism for elementary abelian 2-groups, which is similar to the description of complex equivariant bordism for the group S^1 x ... x S^1 given by Hanke in 2005.
We restrict geometric tangential equivariant complex $T^n$-bordism to torus manifolds and provide a complete combinatorial description of the appropriate non-commutative ring. We discover, using equivariant $K$-theory characteristic numbers, that the information encoded in the oriented torus graph associated to a stably complex torus manifold completely describes its equivariant bordism class. We also consider the role of omnioriented quasitoric manifolds in this description.
In this paper we compute homotopical equivariant bordism for the group ${\bf Z/2}$, namely $MO^{\bf Z/2}$, geometric equivariant bordism $Ω^{\bf Z/2}_*$, and their quotient as modules over geometric bordism. This quotient is a module of stable transversality obstructions. In doing these computations, we use the techniques the author developed in the complex setting. Because we are working in the real setting only with Z/2, these techniques simplify greatly.
We study the fixed points of the universal G-equivariant n-dimensional complex vector bundle and obtain a decomposition formula in terms of twisted equivariant universal complex vector bundles of smaller dimension. We use this decomposition to describe the fixed points of the complex equivariant K-theory spectrum and the equivariant unitary bordism groups for adjacent families of subgroups.
The evenness conjecture for the equivariant unitary bordism groups states that these bordism groups are free modules over the unitary bordism ring on even-dimensional generators. In this paper we review the cases in which the conjecture is known to hold and we highlight the properties that permit one to prove the conjecture in these cases.
In this paper we compute homotopical bordism rings $MU^G_*$ for abelian compact Lie groups G, giving explicit generators and relations. The key constructions are operations on equivariant bordism which should play an important role in equivariant stable homotopy theory more generally. The main technique used is localization of the theory by inverting Euler classes. Applications to homotopy theory include analysis of the completion map from $MU^G_*$ to $MU^*(BG)$. Applications to geometry include classification up to cobordism of S^1 actions on stably complex four-manifolds with precisely three…
The equivariant bordism classification of manifolds with group actions is an essential subject in the study of transformation groups. We are interesting in the action of 2-torus group $\mathbb{Z}_2^n$ and torus group $T^n$, and study the equivariant bordism of 2-torus manifolds and unitary toric manifolds. In this paper, we give a new description of the group $\mathcal{Z}_n(\mathbb{Z}_2^n)$ of 2-torus manifolds, and determine the dimention of $\mathcal{Z}_n(\mathbb{Z}_2^n)$ as a $\mathbb{Z}_2$-vector space. With the help of toric topology, Lü and Tan proved that the bordism groups $\mathcal{Z}…
We define equivariant homology theories using bordism of stratifolds with a G-action, where G is a discrete group. Stratifolds are a generalization of smooth manifolds which were introduced by Kreck. He defines homology theories using bordism of suitable stratifolds. We develop the equivariant generalization of these ideas.
By results of Loeffler and Comezana, the Pontrjagin-Thom map from geometric G-equivariant bordism to homotopy theoretic equivariant bordism is injective for compact abelian G. If G = S^1 x ... x S^1, we prove that the associated fixed point square is a pull back square, thus confirming a recent conjecture of D. Sinha. This is used in order to determine the image of the Pontrjagin-Thom map for toral G.
Local cohomology techniques in equivariant homotopy theory, introduced by John Greenlees, may be applied to understand homology of classifying spaces through other equivariant data. In this paper we relate the local cohomology filtration to the families filtration. By doing so, we may identify geometry codified by the local cohomology filtration in the setting of equivariant bordism. The constructions which arise are naturally analyzed by localized K-theory machinery due to Atiyah and Segal, which we review.
This paper shows that the integral equivariant cohomology Chern numbers completely determine the equivariant geometric unitary bordism classes of closed unitary $G$-manifolds, which gives an affirmative answer to the conjecture posed by Guillemin--Ginzburg--Karshon in [20, Remark H.5, $\S3$, Appendix H], where $G$ is a torus. As a further application, we also obtain a satisfactory solution of [20, Question (A), $\S1.1$, Appendix H] on unitary Hamiltonian $G$-manifolds. Our key ingredients in the proof are the universal toric genus defined by Buchstaber--Panov--Ray and the Kronecker pairing of …
We study certain formal group laws equipped with an action of the cyclic group of order a power of $2$. We construct $C_{2^n}$-equivariant Real oriented models of Lubin-Tate spectra $E_h$ at heights $h=2^{n-1}m$ and give explicit formulas of the $C_{2^n}$-action on their coefficient rings. Our construction utilizes equivariant formal group laws associated with the norms of the Real bordism theory $MU_{\mathbb{R}}$, and our work examines the height of the formal group laws of the Hill-Hopkins-Ravenel norms of $MU_{\mathbb{R}}$.
For every abelian compact Lie group A, we prove that the homotopical A-equivariant complex bordism ring, introduced by tom Dieck (1970), is isomorphic to the A-equivariant Lazard ring, introduced by Cole-Greenlees-Kriz (2000). This settles a conjecture of Greenlees. We also show an analog for homotopical real bordism rings over elementary abelian 2-groups. Our results generalize classical theorems of Quillen (1969) on the connection between non-equivariant bordism rings and formal group laws, and extend the case $A = C_2$ due to Hanke-Wiemeler (2018). We work in the framework of global homotop…
Homological Description of Equivariant Geometric Bordism
School of Mathematics and Statistics, Huazhong University of Science and Technology（华中科技大学数学与统计学院）；College of Mathematics and Sciences, Shanghai Normal University（上海师范大学数理学院）；School of Mathematical Sciences, Fudan University（复旦大学数学科学学院）
We introduce an equivariant Pontrjagin-Thom construction which identifies equivariant cohomotopy classes with certain fixed point bordism classes. This provides a concrete geometric model for equivariant cohomotopy which works for any compact Lie group G. In the special case when G is finite or a torus, we show that our construction recovers the construction of Wasserman, providing a new perspective on equivariant bordism. We connect the results with bordisms of global quotient orbifolds, utilizing the machinery of Gepner-Henriques to describe bordisms of framed orbifolds in terms of equivaria…
Associated with the Davis-Januszkiewicz theory of small covers, this paper deals with the theory of 2-torus manifolds from the viewpoint of equivariant bordism. We define a differential operator on the "dual" algebra of the unoriented $G_n$-representation algebra introduced by Conner and Floyd, where $G_n=(\Z_2)^n$. With the help of $G_n$-colored graphs (or mod 2 GKM graphs), we may use this differential operator to give a very simple description of tom Dieck-Kosniowski-Stong localization theorem in the setting of 2-torus manifolds. We then apply this to study the $G_n$-equivariant unoriented …
In this work the equivariant signature of a manifold with proper action of a discrete group is defined as an invariant of equivariant bordisms. It is shown that the computation of this signature can be reduced to its computation on fixed points sets equipped with their tubular neighborhoods. It is given a description of the equivariant vector bundles with action of a discrete group $G$ for the case when the action over the base is proper quasi-free, i.e. the stationary subgroup of any point is finite. The description is given in terms of some classifying space.
A classical theorem due to Quillen (1969) identifies the unitary bordism ring with the Lazard ring, which classifies the universal one-dimensional commutative formal group law. We prove an equivariant generalization of this result by identifying the homotopy theoretic $\mathbb{Z}/2$-equivariant unitary bordism ring, introduced by tom Dieck (1970), with the $\mathbb{Z}/2$-equivariant Lazard ring, introduced by Cole-Greenlees-Kriz (2000). Our proof combines a computation of the homotopy theoretic $\mathbb{Z}/2$-equivariant unitary bordism ring due to Strickland (2001) with a detailed investigati…
In this paper, we introduce the localized slice spectral sequence, a variant of the equivariant slice spectral sequence that computes geometric fixed points equipped with residue group actions. We prove convergence and recovery theorems for the localized slice spectral sequence and use it to analyze the norms of the Real bordism spectrum. As a consequence, we relate the Real bordism spectrum and its norms to a form of the $C_2$-Segal conjecture. We compute the localized slice spectral sequence of the $C_4$-norm of $BP_\mathbb{R}$ in a range and show that the Hill--Hopkins--Ravenel slice differ…
We construct a new family of toric manifolds generating the unitary bordism ring. Each manifold in the family is the complex projectivisation of the sum of a line bundle and a trivial bundle over a complex projective space. We also construct a family of special unitary quasitoric manifolds which contains polynomial generators of the special unitary bordism ring with 2 inverted in dimensions >8. Each manifold in the latter family is obtained from an iterated complex projectivisation of a sum of line bundles by amending the complex structure to make the first Chern class vanish.
This book introduces a new context for global homotopy theory, i.e., equivariant homotopy theory with universal symmetries. Many important equivariant theories naturally exist not just for a particular group, but in a uniform way for all groups in a specific class. Prominent examples are equivariant stable homotopy, equivariant $K$-theory or equivariant bordism. Global equivariant homotopy theory studies such uniform phenomena, i.e., the adjective `global' refers to simultaneous and compatible actions of all compact Lie groups. We give a self-contained treatment of unstable and stable global h…
We compute the equivariant bordism of free oriented $(\mathbb{Z}/p)^n$-manifolds as a module over $Ω_*^{SO}$, when $p$ is an odd prime. We show, among others, that this module is canonically isomorphic to a direct sum of suspensions of multiple tensor products of $Ω^{SO}_*(B \mathbb{Z}/p)$, and that it is generated by products of standard lens spaces. This considerably improves previous calculations by various authors. Our approach relies on the investigation of the submodule of the Brown-Peterson homology of $B (\mathbb{Z}/p)^n$ generated by elements coming from proper subgroups of $(\mathbb{…
We study the existence of $S^1$-equivariant characteristic classes on certain natural infinite rank bundles over the loop space $LM$ of a manifold $M$. We discuss the different $S^1$-equivariant cohomology theories in the literature and clarify their relationships. We attempt to use $S^1$-equivariant Chern-Weil techniques to construct $S^1$-equivariant characteristic classes. The main result is the construction of a sequence of $S^1$-equivariant characteristic classes on the total space of the bundles, but these classes do not descend to the base $LM$. Nevertheless, we conclude by identifying …
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 formulae for the equivariant Chern classes of $T_X$ and $S_X$, and, in turn, for the Chern classes of reductive groups considered by Kiritchenko.
Let $M^{2n}$ be a unitary torus $(2n)$-manifold, i.e., a $(2n)$-dimensional oriented stable complex connected closed $T^n$-manifold having a nonempty fixed set. In this paper we show that $M$ bounds equivariantly if and only if the equivariant Chern numbers $< (c_1^{T^n})^i(c_2^{T^n})^j, [M]>=0$ for all $i, j\in {\Bbb N}$, where $c_l^{T^n}$ denotes the $l$th equivariant Chern class of $M$. As a consequence, we also show that if $M$ does not bound equivariantly then the number of fixed points is at least $\lceil{n\over2}\rceil+1$.
We define the equivariant Chern-Schwartz-MacPherson class of a possibly singular algebraic variety with a group action over the complex number field (or a field of characteristic 0). In fact, we construct a natural transformation from the equivariant constructible function functor to the equivariant homology functor (in the sense of Totaro-Edidin-Graham), which may be regarded as MacPherson's transformation for (certain) quotient stacks. We discuss on other type Chern/Segre classes and give some applications generalizing orbifold Euler characteristics and Thom polynomials of singularities. The…
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…
Let h be a Real bundle, in the sense of Atiyah, over a space X. This is a complex vector bundle together with an involution which is compatible with complex conjugation. We use the fact that BU is equipped with a structure of conjugation space, as defined by Hausmann, Holm, and Puppe, to construct equivariant Chern classes in the Z/2-equivariant cohomology of X with twisted integer coefficients. We show that these classes determine the (non-equivariant) Chern classes of h, forgetting the involution on X, and the Stiefel-Whitney classes of the real bundle of fixed points.
We propose a dimensional reduction procedure in the Stolz--Teichner framework of supersymmetric Euclidean field theories (EFTs) that is well-suited in the presence of a finite gauge group or, more generally, for field theories over an orbifold. As an illustration, we give a geometric interpretation of the Chern character for manifolds with an action by a finite group.
We study super parallel transport around super loops in a quotient stack, and show that this geometry constructs a global version of the equivariant Chern character.
We develop a Chern-Weil theory for compact Lie group action whose generic stabilizers are finite in the framework of equivariant cohomology. This provides a method of changing an equivariant closed form within its cohomological class to a form more suitable to yield localization results. This work is motivated by our work on reproving wall crossing formulas in Seiberg-Witten theory, where the Lie group is the circle. As applications, we derive two localization formulas of Kalkman type for G = SU(2) or SO(3)-actions on compact manifolds with boundary. One of the formulas is then used to yield a…
We give minimal presentations for the $RO(C_2)$-graded Bredon cohomology of the equivariant classifying spaces $B_{C_2}U(n), B_{C_2}SO(n)$ and $B_{C_2}Sp(n)$ with coefficients in the rational Burnside Green functor $A_{\mathbf Q}$. This results in an efficient description of rational $C_2$ equivariant Chern, Pontryagin and symplectic characteristic classes. These classes are then related to each other using the inclusions of maximal tori.
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 calculate the equivariant motivic Chern class for configuration space of a quasiprojective (maybe singular) variety and the space of vectors with different directions. We prove the formulas for generating series of these classes. We generalize the localization theorems results about Bialynicki-Birula decomposition to acquire some stability for the motivic Chern classes of configuration spaces.
Using a global version of the equivariant Chern character, we describe the complexified twisted equivariant K-theory of a space with a compact Lie group action in terms of fixed-point data. We apply this to the case of a compact Lie group acting on itself by conjugation, and relate the result to the Verlinde algebra and to the Kac numerator at q=1. Verlinde's formula is also discussed in this context.
We obtain refined generating series formulae for equivariant characteristic classes of external and symmetric products of singular complex quasi-projective varieties. More concretely, we study equivariant versions of Todd, Chern and Hirzebruch classes for singular spaces, with values in delocalized Borel-Moore homology of external and symmetric products. As a byproduct, we recover our previous characteristic class formulae for symmetric products, and obtain new equivariant generalizations of these results, in particular also in the context of twisting by representations of the symmetric group.
We identify the group of homomorphisms $\operatorname{Hom}_{\mathcal{GF}}(F,\mathbf{RU}_{\mathbb Q})$ in the category of ($\operatorname{fin}$)-global functors to the rationalization of the unitary representation ring functor and deduce that the higher $\operatorname{Ext}$-groups $\operatorname{Ext}^n_{\mathcal{GF}}(F,\mathbf{RU}_{\mathbb Q})$, $n\geq 2$ have to vanish. This leads to a rational splitting of the ($\operatorname{fin}$)-global equivariant $K$-theory spectrum into a sum of Eilenberg-MacLane spectra. Interpreted in terms of cohomology theories, it means that the equivariant Chern c…
We show that the universal odd Chern form, defined on the stable unitary group $U$, extends to the loop group $LU$ in a way that is closed with respect to an equivariant-type differential. This provides an odd analogue to the Bismut-Chern form. We also describe the associated transgression form, the so-called Bismut-Chern-Simons form, and explicate some properties it inherits as a differential form on the space of maps of a cylinder into the stable unitary group. As a corollary, we obtain the Chern character homomorphism from odd K-theory to the periodic cohomology of the free loop space, repr…
