We consider compact homogeneous spaces G/H, where G is a compact connected Lie group and H is its closed connected subgroup of maximal rank. The aim of this paper is to provide an effective computation of the universal toric genus for the complex, almost complex and stable complex structures which are invariant under the canonical left action of the maximal torus T^k on G/H. As it is known, on G/H we may have many such structures and the computations of their toric genus in terms of fixed points for the same torus action give the constraints on possible collections of weights for the corresponding representations of T^k in the tangent spaces at the fixed points, as well as on the signs at these points. In that context, the effectiveness is also approached due to an explicit description of the relations between the weights and signs for an arbitrary couple of such structures. Special attention is devoted to the structures which are invariant under the canonical action of the group G. Using classical results, we obtain an explicit description of the weights and signs in this case. We consequently obtain an expression for the cobordism classes of such structures in terms of coefficients of the formal group law in cobordisms, as well as in terms of Chern numbers in cohomology. These computations require no information on the cohomology ring of the manifold G/H, but, on their own, give important relations in this ring. As an application we provide an explicit formula for the cobordism classes and characteristic numbers of the flag manifolds U(n)/T^n, Grassmann manifolds G_{n,k}=U(n)/(U(k)\times U(n-k)) and some particular interesting examples.
For a torus G of rank r = 1, we showed that the canonical ring homomorphism L_G \to MU_G, where L_G is the equivariant Lazard ring and MU_G is the equivariant cobordism ring introduced by Tom Dieck, is surjective. We also showed that the completion map MU_G \to \hat{MU}_G = MU(BG) is injective. Moreover, we showed that the same results hold if we assume a certain algebraic property holds in L_G when r \geq 2.
We introduce an equivariant algebraic cobordism theory Ω^G for algebraic varieties with G-action, where G is a split diagonalizable group scheme over a field k. It is done by combining the construction of the algebraic cobordism theory Ωby F. Morel and M. Levine, with the notion of (G, F)-formal group law with respect to a complete G-universe and complete G-flag F as introduced by M. Cole, J. P. C. Greenlees and I. Kriz. In particular, we use their corresponding representing ring L_G(F) in place of the Lazard ring L. We show that localization property and homotopy invariance property hold in Ω…
For a finite abelian group $G$, we compute the $G$-equivariant formal group law corresponding to the $G$-equivariant complex cobordism spectrum with its canonical complex orientation.
In this paper, we calculate the coefficient ring of equivariant Thom complex cobordism for the symmetric group on three elements. We also make some remarks on general methods of calculating certain pullbacks of rings which typically occur in calculations of equivariant cobordism.
Torus orbifolds are topological generalization of symplectic toric orbifolds. We give a construction of smooth orbifolds with torus actions whose boundary is a disjoint union of torus orbifolds using toric topological method. As a result, we show that any orientable locally standard torus orbifold is equivariantly cobordant to some copies of orbifold complex projective spaces. We also discuss some further equivariant cobordism results including the cases when torus orbifolds are actually torus manifolds.
Let A be a finite abelian group. We set up an algebraic framework for studying A-equivariant complex-orientable cohomology theories in terms of a suitable kind of equivariant formal groups. We compute the equivariant cohomology of many spaces in these terms, including projective bundles (and associated Gysin maps), Thom spaces, and infinite Grassmannians.
For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify the homotopy type of its classifying space (i.e. geometric realization of its simplicial nerve) as the fixed points of the infinite loop space of an equivariant spectrum.
We define algebraic cobordism of classifying spaces, Ω^*(BG) and G-equivariant algebraic cobordism Ω^*_G(-) for a linear algebraic group G. We prove some properties of the coniveau filtration on algebraic cobordism, denoted F^j(Ω^*(-)), which are required for the definition to work. We show that G-equivariant cobordism satisfies the localization exact sequence. We calculate Ω^*(BG) for algebraic groups over the complex numbers corresponding to classical Lie groups GL(n), SL(n), Sp(n), O(n) and SO(2n+1). We also calculate Ω^*(BG) when G is a finite abelian group. A finite non-abelian group for …
Let $\mathcal{N}_*$ be the unoriented cobordism algebra, let $G=(\Z_2)^n$ and let $Z_*(G)$ denote the equivariant cobordism algebra of $G$-manifolds with finite stationary point sets. Let $ε_* :Z_*(G) \to \mathcal{N}_*$ be the homomorphism which forgets the $G$-action. We use Milnor manifolds (degree 1 hypersurfaces in $\R P^m\times \R P^n$) to construct non-trivial elements in $Z_*(G)$. We prove that these elements give rise to indecomposable elements in $Z_*(G)$ in degrees up to $2^n - 5$. Moreover, in most cases these elements can be arranged to be in $\mathit{Ker}(ε_*)$.
Toric orbifolds are a generalization of simplicial projective toric varieties. In this paper, we show that there is a resolution of singularities of a toric orbifold. In a different category, the class of quasi-contact toric manifolds contains the class of good contact toric manifolds. We prove that a quasi-contact toric manifold is equivariantly a boundary. Moreover, we conclude that good contact toric manifolds and generalized lens spaces are equivariantly boundaries.
We apply results of Harada, Holm and Henriques to prove that the Atiyah-Segal equivariant complex $K$-theory ring of a divisive weighted projective space (which is singular for nontrivial weights) is isomorphic to the ring of integral piecewise Laurent polynomials on the associated fan. Analogues of this description hold for other complex-oriented equivariant cohomology theories, as we confirm in the case of homotopical complex cobordism, which is the universal example. We also prove that the Borel versions of the equivariant $K$-theory and complex cobordism rings of more general singular tori…
We give a necessary and sufficient condition for the orientability of a locally standard 2-torus manifold with a fixed point which generalizes previous results of Nakayama-Nishimura in 2005 and Soprunova-Sottile in 2013. We construct manifolds with boundary where the boundary is a disjoint union of locally standard 2-torus manifolds. We discuss equivariant oriented cobordism class of locally standard 2-torus manifolds.
We show that the theory of stable complex $G$-cobordisms, for a torus $G$, is embedded into the theory of stable complex $G$-cobordisms of not necessarily compact manifolds equipped with proper abstract moment maps. Thus the introduction of such non-compact cobordisms in the stable complex $G$-cobordism theory does not lead to new relations.
Extending our method for investigating Real cobordism (which was recently used by Hill, Hopkins and Ravenel in their solution of the Kervaire invariant 1 problem), we investigate the $RO(G)$-graded homotopy groups of a (non-complete) $\Z/2\times \Z/2$-equivariant spectrum called topological Hermitian cobordism. The methods of this paper may be useful in computing the homotopy groups of other $G$-equivariant spectra where $G\neq \Z/2$.
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…
We prove a twisting theorem for nodal classes in permutation-equivariant quantum $K$-theory, and combine it with existing theorems of Givental to obtain a twisting result for general characteristic classes of the virtual tangent bundle. Using this result, we develop complex cobordism-valued Gromov-Witten invariants defined via $K$-theory, and relate those invariants to $K$-theoretic ones via the quantization of suitable symplectic transformations. The resulting theory is a $K$-theoretic analogue of the quantum cobordism theory developed by Givental and Coates. Using the universality of cobordi…
We construct a map from the suspension $G$-spectrum $Σ_G^\infty M$ of a smooth compact $G$-manifold to the equivariant $A$-theory spectrum $A_G(M)$, and we show that its fiber is, on fixed points, a wedge of stable $h$-cobordism spectra. This map is constructed as a map of spectral Mackey functors, which is compatible with tom Dieck style splitting formulas on fixed points. In order to synthesize different definitions of the suspension $G$-spectrum as a spectral Mackey functor, we present a new perspective on spectral Mackey functors, viewing them as multifunctors on indexing categories for "r…
We calculate the cobordism ring $Ω^{C_2}_*$ of stably almost complex manifolds with involution, and investigate the $C_2$-spectrum $Ω_{C_2}$ which represents it. We introduce the notion of a geometrically oriented $C_2$-spectrum, which extends the notion of a complex oriented $C_2$-spectrum, and of which $Ω_{C_2}$ is the universal example. Examples, in addition to $Ω_{C_2}$, include the Eilenberg-Maclane spectrum $H \underline{\mathbb{Z}}_{C_2}$ and the connective cover $k_{C_2}$ of $C_2$-equivariant $K$-theory. On the algebraic side, we define and study filtered $C_2$-equivariant formal group…
This paper establishes a connection between equivariant ring spectra and Witt vectors in the sense of Dress and Siebeneicher. Given a commutative ringspectrum T in the highly structured sense, that is, an E-infinity-ringspectrum, with action of a finite group G we construct a ringhomomorphism from the ring of G-typical Witt vectors of the zeroth homotopy group of T to the zeroth homotopy group of the G-fixed point spectrum of T. In the particular case, where T is the periodic unitary cobordism spectrum introduced by Strickland, we show that this ringhomomorphism is injective, and we interpret …
We study the C_p-equivariant Tate construction on the topological Hochschild homology THH(B) of a symmetric ring spectrum B by relating it to a topological version R_+(B) of the Singer construction, extended by a natural circle action. This enables us to prove that the fixed and homotopy fixed point spectra of THH(B) are p-adically equivalent for B = MU and BP. This generalizes the classical C_p-equivariant Segal conjecture, which corresponds to the case B = S.
Let $(X,J) $ be an almost complex manifold with a (smooth) involution $σ:X\to X$ such that $Fix(σ)\neq \emptyset$. Assume that $σ$ is a complex conjugation, i.e, the differential of $σ$ anti-commutes with $J$. The space $P(m,X):=\mathbb{S}^m\times X/\!\sim$ where $(v,x)\sim (-v,σ(x))$ is known as a generalized Dold manifold. Suppose that a group $G\cong \mathbb Z_2^s$ acts smoothly on $X$ such that $g\circ σ=σ\circ g$ for all $g\in G$. Using the action of the diagonal subgroup $D=O(1)^{m+1}\subset O(m+1)$ on the sphere $\mathbb S^{m}$ for which there are only finitely many pairs of antipodal p…
This is an old talk about Boardman's work in Z/2-equivariant unoriented cobordism. It appeared long ago, but it discusses a useful geometric interpretation of Tate cohomology which doesn't seem to be widely known. I'm posting it in an attempt to advertise those ideas.
Although it is well-known that the complex cobordism ring is a polynomial ring $Ω_{*}^{U}\cong\mathbb{Z}\left[α_{1},α_{2},\ldots\right]$, an explicit description for convenient generators $α_{1},α_{2},\ldots$ has proven to be quite elusive. The focus of the following is to construct complex cobordism polynomial generators in many dimensions using smooth projective toric varieties. These generators are very convenient objects since they are smooth connected algebraic varieties with an underlying combinatorial structure that aids in various computations. By applying certain torus-equivariant blo…
The study of triangulations on manifolds is closely related to understanding the three-dimensional homology cobordism group. We review here what is known about this group, with an emphasis on the local equivalence methods coming from Pin(2)- equivariant Seiberg-Witten Floer spectra and involutive Heegaard Floer homology.
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 consider compact homogeneous spaces G/H of positive Euler characteristic endowed with an invariant almost complex structure J and the canonical action θof the maximal torus T ^{k} on G/H. We obtain explicit formula for the cobordism class of such manifold through the weights of the action θat the identity fixed point eH by an action of the quotient group W_G/W_H of the Weyl groups for G and H. In this way we show that the cobordism class for such manifolds can be computed explicitly without information on their cohomology. We also show that formula for cobordism class provides an explicit w…
We geometrically construct a homology theory that generalizes the Euler characteristic mod 2 to objects in the unoriented cobordism ring N_*(X) of a topological space X. This homology theory Eh_* has coefficients Z/2 in every nonnegative dimension. There exists a natural transformation N_*(X)->Eh_*(X) that for X=pt assigns to each smooth manifold its Euler characteristic mod 2. The homology theory is constructed using cobordism of stratifolds. For discrete groups G, we also define an equivariant version of the homology theory Eh_*, generalizing the equivariant Euler characteristic.
We introduce a new definition of weighted Grassmann orbifolds. We study their several invariant $q$-cell structures and the orbifold singularities on these $q$-cells. We discuss when the integral cohomology of a weighted Grassmann orbifold has no $p$-torsion. We compute the equivariant $K$-theory ring of weighted Grassmann orbifolds with rational coefficients. We introduce divisive weighted Grassmann orbifolds and show that they have invariant cell structures. We calculate the equivariant cohomology ring, equivariant $K$-theory ring and equivariant cobordism ring of a divisive weighted Grassma…
Let ${\frak M}_n$ be the set of equivariant unoriented cobordism classes of all $n$-dimensional 2-torus manifolds, where an $n$-dimensional 2-torus manifold $M$ is a smooth closed manifold of dimension $n$ with effective smooth action of a rank $n$ 2-torus group $({\Bbb Z}_2)^n$. Then ${\frak M}_n$ forms an abelian group with respect to disjoint union. This paper determines the group structure of ${\frak M}_n$ and shows that each class of ${\frak M}_n$ contains a small cover as its representative in the case $n=3$.
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 theory of indices of Morse--Bott vector fields on a manifold is constructed and the famous localization problem for the transfer map is solved on its base in the present paper. As a consequence, we obtained addition theorems for the universal Pontrjagin characteristic classes in cobordisms. These results gave us a possibility to complete the construction, which was begun more than twenty years ago, of the universal characteristic classes' theory.
By the classical result of Milnor and Novikov, the unitary cobordism ring is isomorphic to a graded polynomial ring with countably many generators: $Ω^U_*\simeq \mathbb Z[a_1,a_2,\dots]$, ${\rm deg}(a_i)=2i$. In this paper we solve a well-known problem of constructing geometric representatives for $a_i$ among smooth projective toric varieties, $a_n=[X^{n}], \dim_\mathbb C X^{n}=n$. Our proof uses a family of equivariant modifications (birational isomorphisms) $B_k(X)\to X$ of an arbitrary smooth complex manifold $X$ of (complex) dimension $n$ ($n\geq 2$, $k=0,\dots,n-2$). The key fact is that …
The circle-equivariant spectrum MString_C is the equivariant analogue of the cobordism spectrum MU<6> of stably almost complex manifolds with c_1=c_2=0. Given a rational elliptic curve C, the second author has defined a ring T-spectrum EC representing the associated T-equivariant elliptic cohomology. The core of the present paper is the construction, when C is a complex elliptic curve, of a map of ring T-spectra MString_C --> EC which is the rational equivariant analogue of the sigma orientation of Ando-Hopkins-Strickland. We support this by a theory of characteristic classes for calculation, …
This is the first part in a series of papers establishing an equivariant analogue of Steve Wilson's theory of even spaces, including the fact that the spaces in the loop spectrum for complex cobordism are even.
We show that the isotropy action of a homogeneous space $G/K$, where $G$ and $K$ are compact, connected Lie groups and $K$ is defined by an automorphism on $G$, is equivariantly formal and that $(G, K)$ is a Cartan pair.
We give a new construction of the equivariant $K$-theory of group actions (cf. Barwick et al.), producing an infinite loop $G$-space for each Waldhausen category with $G$-action, for a finite group $G$. On the category $R(X)$ of retractive spaces over a $G$-space $X$, this produces an equivariant lift of Waldhausen's functor $A(X)$, and we show that the $H$-fixed points are the bivariant $A$-theory of the fibration $X_{hH}\to BH$. We then use the framework of spectral Mackey functors to produce a second equivariant refinement $A_G(X)$ whose fixed points have tom Dieck type splittings. We expec…
A spectral sequence calculating the homology groups of some spaces of maps equivariant under compact group actions is described. For the main example, we calculate the rational homology groups of spaces of even and odd maps $S^m \to S^M$, $m<M$, or, which is the same, the stable homology groups of spaces of non-resultant homogeneous polynomial maps ${\mathbb R}^{m+1} \to {\mathbb R}^{M+1}$ of growing degrees. Also, we find the homology groups of spaces of ${\mathbb Z}_r$-equivariant maps of odd-dimensional spheres for any $r$. As a technical tool, we calculate the homology groups of configurat…
We formulate a family of spin Topological Quantum Filed Theories (spin-TQFTs) as fermionic generalization of bosonic Dijkgraaf-Witten TQFTs. They are obtained by gauging $G$-equivariant invertible spin-TQFTs, or, in physics language, gauging the interacting fermionic Symmetry Protected Topological states (SPTs) with a finite group $G$ symmetry. We use the fact that the latter are classified by Pontryagin duals to spin-bordism groups of the classifying space $BG$. We also consider unoriented analogues, that is $G$-equivariant invertible pin$^\pm$-TQFTs (fermionic time-reversal-SPTs) and their g…
We compute the equivariant complex K-theory ring of a cohomogeneity-one action of a compact Lie group at the level of generators and relations and derive a characterization of K-theoretic equivariant formality for these actions. Less explicit expressions survive for a range of equivariant cohomology theories including Bredon cohomology and Borel complex cobordism. The proof accordingly involves elements of equivariant homotopy theory, representation theory, and Lie theory. Aside from analysis of maps of representation rings and heavy use of the structure theory of compact Lie groups, a more cu…
The aim of this paper is to study further the universal toric genus of compact homogeneous spaces and their homogeneous fibrations. We consider the homogeneous spaces with positive Euler characteristic. It is well known that such spaces carry many stable complex structures equivariant under the canonical action of the maximal torus $T^k$. As the torus action in this case has only isolated fixed points it is possible to effectively apply localization formula for the universal toric genus. Using this we prove that the famous topological results related to rigidity and multiplicativity of a Hirze…
For any finite group G, there are several well-established definitions of a G-equivariant spectrum. In this paper, we develop the definition of a global orthogonal spectrum. Loosely speaking, this is a coherent choice of orthogonal G-spectrum for each finite group G. We use the framework of enriched indexed categories to make this precise. We also consider equivariant K-theory and Spin^c-cobordism from this perspective, and we show that the Atiyah--Bott--Shapiro orientation extends to the global context.
We extend work of Davis and Januszkiewicz by considering {\it omnioriented} toric manifolds, whose canonical codimension-2 submanifolds are independently oriented. We show that each omniorientation induces a canonical stably complex structure, which is respected by the torus action and so defines an element of an equivariant cobordism ring. As an application, we compute the complex bordism groups and cobordism ring of an arbitrary omnioriented toric manifold. We consider a family of examples $B_{i,j}$, which are toric manifolds over products of simplices, and verify that their natural stably c…
Let $\mathcal{A}_n^k$ denote all nonbounding effective smooth $({\Bbb Z}_2)^k$-actions on $n$-dimensional smooth closed connected manifolds, each of which is cobordant to one with finite fixed set. Motivated by GKM theory, one can associate to each action of $\mathcal{A}_n^k$ a $({\Bbb Z}_2)^k$-colored regular graph of valence $n$. Together with the combinatorics of colored graphs, equivariant cobordism and the tom Dieck-Kosniowski-Stong localization theorem, we give a lower bound for the number of fixed points of an action in $\mathcal{A}_n^k$, which can become the best possible in some cases…
In this paper we study the (equivariant) topological types of a class of 3-dimensional closed manifolds (i.e., 3-dimensional small covers), each of which admits a locally standard $(\mathbb{Z}_2)^3$-action such that its orbit space is a simple convex 3-polytope. We introduce six equivariant operations on 3-dimensional small covers. These six operations are interesting because of their combinatorial natures. Then we show that each 3-dimensional small cover can be obtained from $\mathbb{R}P^3$ and $S^1\times\mathbb{R}P^2$ with certain $(\mathbb{Z}_2)^3$-actions under these six operations. As an …
Let $n$ be a positive integer, and let $\ell>1$ be square-free odd. We classify the set of equivariant homeomorphism classes of free $C_\ell$-actions on the product $S^1 \times S^n$ of spheres, up to indeterminacy bounded in $\ell$. The description is expressed in terms of number theory. The techniques are various applications of surgery theory and homotopy theory, and we perform a careful study of $h$-cobordisms. The $\ell=2$ case was completed by B Jahren and S Kwasik (2011). The new issues for the case of $\ell$ odd are the presence of nontrivial ideal class groups and a group of equivarian…
