Search arXiv⌕ Search

arXiv · 2610.03069

The zeroth stable homotopy groups of motivic spheres over the integers

Abstract

The main result determines the zeroth integral Milnor-Witt stem of the motivic sphere spectrum in the Morel-Voevodsky motivic stable homotopy category of the integers. The component in weight zero is the Grothendieck-Witt ring of nondegenerate symmetric bilinear forms over the integers. Along the way, cellularity of various motivic spectra, including the integral motivic Eilenberg-MacLane spectrum, is established over arbitrary fields, as well as an absolute purity result for the η-inverted motivic sphere spectrum over Dedekind domains of mixed characteristic.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Oliver Röndigs. 2026-10-02. The zeroth stable homotopy groups of motivic spheres over the integers. https://arxiv.org/abs/2610.03069

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Characterizing model structures on finite lattices

Transfer systems on finite posets have recently been gaining traction as a key ingredient in equivariant homotopy theory. Additionally, they also naturally occur in the data of a model structure. We give a complete characterization of all model category structures on a finite lattice, using transfer systems as our main tool, resulting in new connections between abstract homotopy theory and equivariant methods.

math.AT↗

Integral string topology of the symplectic group and BV rigidity for compact Lie groups

We compute the integral Batalin-Vilkovisky (BV) algebra $\mathbb{H}_*(L\mathrm{Sp}(n);\mathbb{Z})$ of the free loop space of the symplectic group. We then show that for a connected compact Lie group $G$ whose homology over a commutative ring $R$ is exterior on odd primitive generators, $\mathbb{H}_*(LG;R)$ is the BV algebra of the free loop space of the product of odd spheres with the classical exponents of $G$, tensored with the group ring of the torsion of $π_1(G)$. Conversely, over an integral domain the graded algebra $\mathbb{H}_*(LG;R)$ already determines the exponents and the group ring, hence the BV algebra. If moreover $G$ is simply connected, then $\mathbb{H}_*(LG;R)$, as a BV algebra, is the Hochschild cohomology of $H^*(G;R)$ with the BV operator induced by Poincaré duality.

math.AT↗

Homotopy rigidity for quasitoric manifolds over a product of simplices

We consider a variation of the Cohomological Rigidity Problem: whether two quasitoric manifolds whose cohomology rings are isomorphic are homotopy equivalent. We show that if two quasitoric manifolds have isomorphic cohomology rings and the associated polytope of one of them is a product of simplices, then they are homotopy equivalent after localizing away from an explicit list of primes.

math.AT↗