Neil P. Strickland
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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.
We compute the equivariant (stable) complex cobordism ring $(MU_G)_*$ for finite abelian groups $G$.
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 $\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}(ε_*)$.
Cobordism of G-manifolds
本文综述等变配边结果，利用等变稳定同伦理论重新计算无向$C_2$-等变配边环$Ω^{C_2}_*$，该方法可推广至等变复配边并提供形式群论解释。
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.
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$.
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.
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 Ω…
The Coefficients of the $C_p$-Equivariant Geometric Complex Cobordism
本文通过生成元和关系完整计算了稳定几乎复$C_p$-流形的复叠同调环，并将这些生成元与Kosniowski几何定义的生成元进行比较。
Integral equivariant $K$-theory and cobordism ring of simplicial GKM orbifold complexes
本文定义了单纯GKM轨形复形，引入了可构建与可分性质，并计算了可分单纯GKM轨形复形的整等变上同调环、等变K-理论环及等变配边环。
Relative cyclotomic structures and equivariant complex cobordism
该研究在交换环（预）分圆谱上引入结构以构造相对$TC$，证明其与$TC$的下降关系，并探究其在$\boldsymbol{\top}$-等变复配边谱上的实例。
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.
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…
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…
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.
The completion and local cohomology theorems for complex cobordism for all compact Lie groups
本文利用全局函子的分裂，将等变MU-模谱的完备化定理从有限群或环面的有限扩张推广到所有紧李群，从而证明了Greenlees和May的猜想。
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…
On the functoriality of the space of equivariant smooth $h$-cobordisms
本文构造了一个将带角光滑 $G$-流形映射到等变光滑 $h$-配边空间的 $(\infty,1)$-函子，并给出稳定类比，其构造依赖于新思想，且在非等变情形与已有构造一致。
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 …
We give a simple and explicit presentation of the Z/2-equivariant complex cobordism ring.
Equivariant Framed 1-Manifolds and the Pontryagin-Thom Isomorphism
本文研究等变框架1-流形与等变稳定同调群之间的同构关系，明确识别了每个元素在等变同调群中的像。
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.
The Pontryagin-Thom theorem for families of framed equivariant manifolds
本文证明了以紧空间为参数的带标架等变流形族的庞特里亚金-托姆定理的推广，拓展了该定理的适用范围。
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.
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…
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, 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 correspon…
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, …
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$.
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.
Let $T^n$ be the real $n$-torus group. We give a new definition of lens spaces and study the diffeomorphic classification of lens spaces. We show that any $3$-dimensional lens space $L(p; q)$ is $T^2$-equivariantly cobordant to zero. We also give some sufficient conditions for higher dimensional lens spaces $L(p; q_1, \ldots, q_n)$ to be $T^{n+1}$-equivariantly cobordant to zero. In 2005, B. Hanke showed that complex equivariant cobordism class of a lens space is trivial. Nevertheless, our proofs are constructive using toric topological arguments.
Synthetic equivariant spectra for finite abelian groups and motivic homotopy theory
本文证明复数域上有限阿贝尔群等变动机谱范畴在素数完备化后等价于合成等变谱范畴的完备化，后者是等变谱的形变并范畴化等变完美偶滤过，其计算依赖于等变形式群律描述的等变代数配边同伦群。
Answering a question of W. S. Wilson, I introduce a Z/2-equivariant Atiyah-Real analogue of Johnson-Wilson cohomology theory BP<n>, whose coefficient ring is the =< n-chromatic part of Landweber's Real cobordism ring.
Komplexe elliptische Geschlechter und S^1-aequivariante Kobordismustheorie (Complex elliptic genera and S^1-equivariant cobordism theory)
本文引入万有复椭圆亏格并证明其S^1-作用刚性，刻画其核，构造基序列，并证明Level N亏格在特定余维数爆破下的不变性。
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…
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…
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 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…
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…
Monadic resolutions for generalized spaces
本文将 Bousfield–Kan 的单子分解方法推广到 ∞-拓扑斯，证明主纤维化引理，并据此建立不稳定等变与母题同伦理论中多类单子分解的收敛性，特别证明了代数闭域上不稳定 Adams–Novikov 谱序列对幂零连通 2-有效母题空间的收敛性。
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…
Let G be a finite group. To every smooth G-action on a compact, connected and oriented surface we can associate its data of singular orbits. The set of such data becomes an Abelian group B_G under the G-equivariant connected sum. We will show that the map which sends G to B_G is functorial and carries many features of the representation theory of finite groups and thus describes a geometric representation theory. We will prove that B_G consists only of copies of Z and Z/2Z. Furthermore we will show that there is a surjection from the G-equivariant cobordism group of surface diffeomorphisms to …
We consider fully effective orientation-preserving smooth actions of a given finite group G on smooth, closed, oriented 3-manifolds M. We investigate the relations that necessarily hold between the numbers of fixed points of various non-cyclic subgroups. In Section 2, we show that all such relations are in fact equations mod 2, and we explain how the number of independent equations yields information concerning low-dimensional equivariant cobordism groups. Moreover, we restate a theorem of A. Szucs asserting that under the conditions imposed on a smooth action of G on M as above, the number of…
Let $G$ be a finite group. To every smooth $G$-action on a compact, connected and oriented Riemann surface we can associate its data of singular orbits. The set of such data becomes an Abelian group $B_G$ under the $G$-equivariant connected sum. The map which sends $G$ to $B_G$ is functorial and carries many features of the representation theory of finite groups. In this paper we will give a complete computation of the group $B_G$ for any finite group $G$. There is a surjection from the $G$-equivariant cobordism group of surface diffeomorphisms $Ω_G$ to $B_G$. We will prove that the kernel of …
Seiberg-Witten Floer K-theory and cyclic group actions on spin four-manifolds with boundary
本文利用Seiberg-Witten方程定义了spin有理同调球上不变量$κ(Y)$的等变细化，建立了等变相对10/8型不等式，并应用于纽结配边、循环群作用扩展障碍及穿孔4-流形中的纽结亏格界限。
In this paper we use tools from differential topology to give a geometric description of cohomology for Hilbert manifolds. Our model is Quillen's geometric description of cobordism groups for finite dimensional smooth manifolds \cite{Q}. Quillen stresses the fact that this construction allows the definition of Gysin maps for "oriented" proper maps. For finite dimensional manifolds one has a Gysin map in singular cohomology which is based on Poincaré duality, hence it is not clear how to extend it to infinite dimensional manifolds. But perhaps one can overcome this difficulty by giving a Quille…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。