arXiv Science⌕ 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

Uniform Lefschetz fixed-point theory

We develop a Lefschetz fixed-point theory for uniformly continuous self-maps of noncompact manifolds of bounded geometry. For a uniform, simply-connected, complete Riemannian manifold $M$ of bounded geometry and a uniformly continuous map $f\colon M\to M$ satisfying $d(f,1)<\infty$, we define a uniform Lefschetz class $\mathscr{L}(f)$ and show that $\mathscr{L}(f)=0$ if and only if $f$ is uniformly homotopic to a map having neither fixed points nor fixed points at infinity; an analogous obstruction class characterizes the existence of a nonvanishing bounded uniformly continuous vector field on $M$. Both classes take values in the $0$-th uniformly finite homology of Block and Weinberger, and hence vanish automatically when $M$ is nonamenable. When $M$ is a Galois covering of a closed manifold, we further establish a Lefschetz-Hopf-type formula for $\mathscr{L}(f)$ and an extension of the Poincaré-Hopf theorem for vector fields. The key new tool is \emph{uniform bounded cohomology}, a variant of Gromov's bounded cohomology for metric spaces satisfying uniform homotopy invariance, excision and Poincaré duality. As a further application, we show that uniform and Lipschitz homotopy theory coincide for uniform simplicial complexes; combined with our obstruction theory, this allows us to obtain Lipschitz analogues of the above results.

math.AT↗

Embedding, compression, and the relative Hopf invariant

We establish Poincaré embedding results in the relative setting, generalizing previously known results in the absolute case. Our primary motivation comes from applications to non-simply connected Poincaré surgery, which will be developed in a forthcoming paper. Along the way, we introduce a new tool: the relative Hopf invariant in the equivariant setting.

math.AT↗

Equivariant Poincaré polynomial of type B Wonderful Models

We study the actions of hyperoctahedral groups on the cohomology of the minimal De Concini-Procesi wonderful models associated with reflection arrangements of type $B$. We express the generating series of their equivariant Poincaré polynomials in terms of the corresponding type $A$ series and the equivariant reduced characteristic series of type $B$. The key ingredient is a general inversion formula in equivariant incidence algebras relating equivariant Chow functions and super-reduced characteristic functions. Applying this formula to partition and signed partition lattices, we recover Getzler's compositional identity in type $A$ and establish its type $B$ analogue. We also obtain explicit plethystic and infinite-product formulas for the equivariant characteristic series of type $B$.

math.AT↗