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 this in terms of equivariant cobordism.
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 prove the equivariant Leray-Hirsch theorem combinatorially for sufficiently good torus equivariant fiber bundles consisting of homogeneous spaces of Lie groups. We apply this theorem to determining the equivariant integral cohomology ring of the flag manifold of type $E_6$ and express it explicitly as a quotient ring of a polynomial ring.
It is well known that very special $Γ$-spaces and grouplike $\E_\infty$ spaces both model connective spectra. Both these models have equivariant analogues. Shimakawa defined the category of equivariant $Γ$-spaces and showed that special equivariant $Γ$-spaces determine positive equivariant spectra. Costenoble and Waner showed that grouplike equivariant $\E_\infty$-spaces determine connective equivariant spectra. We show that with suitable model category structures the category of equivariant $Γ$-spaces is Quillen equivalent to the category of equivariant $\E_\infty$ spaces. We define the units…
Let F denote a field of characteristic different from two. In this paper we describe the mod 2 cohomology of a Galois group which is determined by the Witt ring WF.
We give Leray-Borel-type descriptions for the mod-$2$ and the rational equivariant cohomology rings of the real and the oriented flag manifolds under the canonical torus or 2-torus actions.
In this note, we show that the units in Grothendieck-Witt rings extend to an unramified strictly A^1-invariant sheaf of abelian groups on the category of smooth schemes. This implies that there is an A^1-local classifying space of spherical fibrations.
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.
We describe the multiplicative structures that arise on categories of equivariant modules over certain equivariant commutative ring spectra. Building on our previous work on N-infinity ring spectra, we construct categories of equivariant operadic modules over N-infinity rings that are structured by equivariant linear isometries operads. These categories of modules are endowed with equivariant symmetric monoidal structures, which amounts to the structure of an "incomplete Mackey functor in homotopical categories". In particular, we construct internal norms which satisfy the double coset formula…
Using Maslov indices, we show the existence of oriented link invariants with values in the Witt rings of certain fields. Various classical invariants are closely related to this construction. We also explore a surprising connection with the Weil representation. This version is identical to the one accepted for publication in Quantum Topology.
In this paper we consider a class of connected closed $G$-manifolds with a non-empty finite fixed point set, each $M$ of which is totally non-homologous to zero in $M_G$ (or $G$-equivariantly formal), where $G={\Bbb Z}_2$. With the help of the equivariant index, we give an explicit description of the equivariant cohomology of such a $G$-manifold in terms of algebra, so that we can obtain analytic descriptions of ring isomorphisms among equivariant cohomology rings of such $G$-manifolds, and a necessary and sufficient condition that the equivariant cohomology rings of such two $G$-manifolds are…
The note identifies which which couniversal spaces have suspension spectra equivalent to commutative orthogonal ring G-spectra for a compact Lie group G. These are precisely those whose cofamily is closed under passage to finite index subgroups. Equivalently these are the couniversal spaces admitting an action of an equivariant E infinity operad.
A functor on compact Hausdorf spaces is constructed as the sum of certain equivariant K-theory groups. It is shown that the functor takes values in lambda-rings and satisfies a Thom isomorphism. In the case that the space is a CW-complex constructed only of even cells the functor outputs the free lambda-ring on generators in one-to-one correspondence with those cells.
In this paper, we build on the work from our previous paper (arXiv:2002.01556) to show that periodic rational $G$-equivariant topological $K$-theory has a unique genuine-commutative ring structure for $G$ a finite abelian group. This means that every genuine-commutative ring spectrum whose homotopy groups are those of $KU_{\mathbb{Q},G}$ is weakly equivalent, as a genuine-commutative ring spectrum, to $KU_{\mathbb{Q},G}$. In contrast, the connective rational equivariant $K$-theory spectrum does not have this type of uniqueness of genuine-commutative ring structure.
We use geometric fixed points to describe the homotopy theory of genuine equivariant commutative ring spectra after inverting the group order. The main innovation is the use of the extra structure provided by the Hill-Hopkins-Ravenel norms in the form of additional norm maps on geometric fixed point diagrams, which turns out to be computationally managable.
The Springer variety of type $A$ associated to a nilpotent operator on $\mathbb{C}^n$ in Jordan canonical form admits a natural action of the $\ell$-dimensional torus $T^{\ell}$ where $\ell$ is the number of the Jordan blocks. We give a presentation of the $T^{\ell}$-equivariant cohomology ring of the Springer variety through an explicit construction of an action of the $n$-th symmetric group on the $T^{\ell}$-equivariant cohomology group. The $T^{\ell}$-equivariant analogue of so called Tanisaki's ideal will appear in the presentation.
We determine the $T$-equivariant integral cohomology of $F_4/T$ combinatorially by the GKM theory, where T is a maximal torus of the exceptional Lie group $F_4$ and acts on $F_4/T$ by the left multiplication.
In this article we introduce flag Bott manifolds of general Lie type as the total spaces of iterated flag bundles. They generalize the notion of flag Bott manifolds and generalized Bott manifolds, and admit nice torus actions. We calculate the torus equivariant cohomology rings of flag Bott manifolds of general Lie type.
Equipping a non-equivariant topological E_\infty operad with the trivial G-action gives an operad in G-spaces. The algebra structure encoded by this operad in G-spectra is characterised homotopically by having no non-trivial multiplicative norms. Algebras over this operad are called naive-commutative ring G-spectra. In this paper we let G be a finite group and we show that commutative algebras in the algebraic model for rational G-spectra model the rational naive-commutative ring G-spectra.
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…
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 apply the previous calculations of Chow-Witt rings of Grassmannians to develop an oriented analogue of the classical Schubert calculus. As a result, we get complete diagrammatic descriptions of the ring structure in Chow-Witt rings and twisted Witt groups. In the resulting arithmetic refinements of Schubert calculus, the multiplicity of a solution subspace is a quadratic form encoding additional orientation information. We also discuss a couple of applications, such as a Chow-Witt version of the signed count of balanced subspaces of Fehér and Matszangosz.
The Witt ring of a complex flag variety describes the interesting -- i.e. torsion -- part of its topological KO-theory. We show that for a large class of flag varieties, these Witt rings are exterior algebras, and that the degrees of the generators can be determined by Dynkin diagram combinatorics. Besides full flag varieties, projective spaces, and other varieties whose Witt rings were previously known, this class contains many flag varieties of exceptional types. Complete results are obtained for flag varieties of types G2 and F4. The results also extend to flag varieties over other algebrai…
The main result of this note gives an explicit presentation of the $S^1$-equivariant cohomology ring of the $(n-k,k)$ Springer variety (in type $A$) as a quotient of a polynomial ring by an ideal $I$, in the spirit of the well-known Borel presentation of the cohomology of the flag variety.
We give, for every finite group G, a combinatorial description of the ring of G-Witt vectors on a polynomial algebra over the integers. Using this description we show that the functor, which takes a ring with trivial action of G to its ring of Witt vectors, coincides with the left adjoint of the algebraic functor from the category of G-Tambara functors to the category of rings with an action of G.
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.
Hermitian K-theory for stable $\infty$-categories III: Grothendieck-Witt groups of rings
Université d’Artois（阿图瓦大学）；University of Warwick（华威大学）；Université Paris Cité, Sorbonne Université（巴黎西岱大学，索邦大学）；Universität Bielefeld（比勒费尔德大学）；Johannes Gutenberg University Mainz（约翰内斯·古腾堡美因茨大学）；KTH（皇家理工学院）；Universität Regensburg（雷根斯堡大学）；WWU Münster（明斯特大学）；Universität Augsburg（奥格斯堡大学）
This paper generalizes a result of Lynn on the "degree" of an equivariant cohomology ring $H^*_G(X)$. The degree of a graded module is a certain coefficient of its Poincaré series, and is closely related to multiplicity. In the present paper, we study these commutative algebraic invariants for equivariant cohomology rings. The main theorem is an additivity formula for degree: $$deg(H^*_G(X)) = \sum_{[A,c] \in \mathcal{Q'}_{max}(G,X)}\frac{1}{|W_G(A,c)|} °(H^*_{C_G(A,c)}(c)).$$ We also show how this formula relates to the additivity formula from commutative algebra, demonstrating both the algeb…
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…
We compute the Chow-Witt rings of split quadrics over a field of characteristic not two. We even determine the full bigraded I-cohomology and Milnor-Witt cohomology rings, including twists by line bundles. The results on I-cohomology corroborate the general philosophy that I-cohomology is an algebro-geometric version of singular cohomology of real varieties: our explicit calculations confirm that the I-cohomology ring of a split quadric over the reals is isomorphic to the singular cohomology ring of the space of its real points.
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…
We consider a compact, oriented, smooth Riemannian manifold $M$ (with or without boundary) and we suppose $G$ is a torus acting by isometries on $M$. Given $X$ in the Lie algebra and corresponding vector field $X_M$ on $M$, one defines Witten's inhomogeneous coboundary operator $d_{X_M} = d+ι_{X_M}: Ω_G^\pm \toΩ_G^\mp$ (even/odd invariant forms on $M$) and its adjoint $δ_{X_M}$. In the 1980s Witten showed that the resulting cohomology classes have $X_M$-harmonic representatives (forms in the null space of $Δ_{X_M} = (d_{X_M}+δ_{X_M})^2$), and the cohomology groups are isomorphic to the ordinar…
We compute the Chow-Witt rings of the classifying spaces for the symplectic and special linear groups. In the structural description we give, contributions from real and complex realization are clearly visible. In particular, the computation of cohomology with $\mathbf{I}^j$-coefficients is done closely along the lines of Brown's computation of integral cohomology for special orthogonal groups. The computations for the symplectic groups show that Chow-Witt groups are a symplectically oriented ring cohomology theory. Using our computations for special linear groups, we also discuss the question…
Fix an odd prime $p$. The results in this paper are modeled after work of Hesselholt and Hesselholt-Madsen on the $p$-typical absolute de Rham-Witt complex in mixed characteristic. We have two primary results. The first is an exact sequence which describes the kernel of the restriction map on the de Rham-Witt complex over $A$, where $A$ is the ring of integers in an algebraic extension of $\mathbb{Q}_p$, or where $A$ is a $p$-torsion-free perfectoid ring. The second result is a description of the $p$-power torsion (and related objects) in the de Rham-Witt complex over $A$, where $A$ is a $p$-t…
For a not-necessarily commutative ring R we define an abelian group W(R;M) of Witt vectors with coefficients in an R-bimodule M. These groups generalize the usual big Witt vectors of commutative rings and we prove that they have analogous formal properties and structure. One main result is that W(R) := W(R;R) is Morita invariant in R. For an R-linear endomorphism f of a finitely generated projective R-module we define a characteristic element $χ_f \in W(R)$. This element is a non-commutative analogue of the classical characteristic polynomial and we show that it has similar properties. The ass…
