https://doi.org/10.5281/zenodo.21352063
Abstract:
This paper extends the theory introduced in a 2026 article that appears in the Journal of the American Mathematical Society by Peter Scholze. His theory attaches to every analytic base — archimedean or nonarchimedean, uniformly — a category of motives with spectrum coefficients, and it satisfies Tate cancellation over every base, a property which classically holds only over fields.
We enrich the coefficients of this theory from ordinary spectra to genuine C_2-equivariant spectra: objects carrying a symmetry of order two together with genuine fixed-point data. Such coefficients are the natural home of real algebraic K-theory, which binds together algebraic K-theory, Grothendieck-Witt theory, and L-theory.
Two general results drive the paper. The first is a fracture theorem: for every presentable stable coefficient category, genuine C_2-objects are equivalent to triples consisting of an object with C_2-action, an object with no action, and a gluing map through the Tate construction. The second is an orientation criterion: writing R for the Tate construction of the unit, the sought-after normalized Tate line — an equivariant refinement of the Tate twist whose geometric fixed points are trivial — exists exactly when the Tate twist becomes trivial as a module over R, and the space of choices is then a torsor under the units of R.
A canonical equivariant refinement of the Tate twist exists over every base and satisfies integral cancellation. The normalized refinement, by contrast, does not: over the real numbers, a theorem of Lin (the C_2 case of the Segal conjecture) identifies R with the 2-completed sphere, and the sign action of complex conjugation then yields a 2-adic obstruction — an orientation would force a 2-adic unit to equal its own negative. Consequently no normalized line exists over any base admitting a real point, including the integers with their archimedean norm; the obstruction is arithmetic and archimedean in nature. It vanishes over the complex numbers, after inverting 2, and at nonarchimedean geometric points of residue characteristic 2.
The failed universal statement is thereby replaced by a concrete program: compute the locus of bases over which the Tate twist is orientable, and determine there when a stable orientation descends to an effective one.
Keywords:
Berkovich motives, genuine equivariant spectra, Tate construction, cancellation, Picard obstruction