https://arxiv.org/api/alYoAVPAwpcRBPfwjG94U/38H+0 2026-04-04T18:13:52Z 6529 390 15 http://arxiv.org/abs/2202.07272v2 2025-08-15T14:49:17Z

We show that Hausmann's model of global stable homotopy theory in terms of symmetric spectra is equivalent to the $\infty$-category of spectral Mackey functors in the sense of Barwick on a certain global effective Burnside category. We moreover provide an analogous description of Schwede's ultra-commutative monoids as space-valued global Mackey functors.

2022-02-15T09:33:04Z Removed comparison of global algebraic K-theory constructions (a generalization of which will appear in a separate paper) and updated title accordingly. Various improvements to exposition. 28 pages Tobias Lenz http://arxiv.org/abs/2501.06928v2 2025-08-14T19:36:36Z

We introduce a scissors congruence $K$-theory spectrum which lifts the equivariant scissors congruence groups for compact $G$-manifolds with boundary, and we show that on $π_0$ this is the source of a spectrum level lift of the Burnside ring valued equivariant Euler characteristic of a compact $G$-manifold. We also show that the equivariant scissors congruence groups for varying subgroups assemble into a Mackey functor, which is a shadow of a conjectural higher genuine equivariant structure.

2025-01-12T20:44:46Z Final version to appear in BLMS. We thank a very careful referee for many useful suggestions Mona Merling Ming Ng Julia Semikina Alba Sendón Blanco Lucas Williams http://arxiv.org/abs/2304.02544v2 2025-08-14T16:15:04Z

We prove that for the action of a finite constant group scheme, equivariant algebraic $K$-theory is represented by a colimit of Grassmannians in the equivariant motivic homotopy category. Using this result we show that the set of endomorphisms of the equivariant motivic space defined by $K_0(G,-)$ coincides with the set of endomorphisms of infinite Grassmannians in the equivariant motivic homotopy category by explicitly computing the equivariant $K$-theory of Grassmannians.

2023-04-05T16:06:30Z 20 pages; substantially revised, version accepted for publication K. Arun Kumar Girja S Tripathi http://arxiv.org/abs/2508.10668v1 2025-08-14T14:07:19Z

We show for a coring which is finitely generated projective as a left module that the Cartier cohomology is isomorphic to the relative Hochschild cohomology of the right algebra. Furthermore, we show that this isomorphism lifts to the level of $B_{\infty}$-algebras of the chain complexes, by showing that the opposite $B_{\infty}$-algebra of the relative Hochschild cochains of the right algebra is isomorphic to the $B_{\infty}$-algebra of Cartier cochains. Lastly, we apply this to entwining structures where the coalgebra is finite-dimensional, to get a description of the equivariant cohomology of the entwining structure as the relative Hochschild cohomology of the twisted convolution algebra.

2025-08-14T14:07:19Z Jonathan Lindell http://arxiv.org/abs/2508.09915v1 2025-08-13T16:10:55Z

Voevodsky outlined a conjectural programme that his slice filtration in motivic homotopy theory should give rise to a good theory of $\mathbb{A}^1$-invariant motivic cohomology. This paper achieves his vision in the generality of arbitrary quasicompact, quasiseparated schemes, by introducing a theory of $\mathbb{A}^1$-invariant motivic cohomology which is related to Weibel's homotopy $K$-theory via an Atiyah--Hirzebruch spectral sequence, and which we compare to étale and syntomic cohomology in the style of the original conjectures of Beilinson and Lichtenbaum. In addition, it is represented by an absolute motivic spectrum and therefore satisfies cdh descent, and modules over it offer a candidate for the derived category of $\mathbb{A}^1$-invariant motives. We establish some of Voevodsky's open conjectures on slices, in particular relating the zeroth slice of the motivic sphere to homotopy $K$-theory. In the final section we prove analogous results for the Hermitian $K$-theory of qcqs schemes on which $2$ is invertible. As an auxiliary tool we introduce cdh-motivic cohomology, defined as the cdh sheafification of the left Kan extension of the motivic cohomology of smooth $\mathbb{Z}$-schemes. We offer a new approach to control the latter, independent of previous work on $\mathbb{A}^1$-invariant motivic cohomology of smooth schemes over mixed characteristic Dedekind domains: our approach is based on recent developments in $p$-adic cohomology, in particular syntomic and prismatic cohomology. The cdh-motivic cohomology is also a necessary ingredient in the last two authors' and Bouis' construction of non-$\mathbb{A}^1$-invariant motivic cohomology of qcqs schemes.

2025-08-13T16:10:55Z Tom Bachmann Elden Elmanto Matthew Morrow http://arxiv.org/abs/2405.00963v2 2025-08-13T14:13:09Z

We construct a commutative orthogonal $C_2$-ring spectrum, $\mathrm{MSpin}^c_{\mathbb{R}}$, along with a $C_2$-$E_{\infty}$-orientation $\mathrm{MSpin}^c_{\mathbb{R}} \to \mathrm{KU}_{\mathbb{R}}$ of Atiyah's Real K-theory. Further, we define $E_{\infty}$-maps $\mathrm{MSpin} \to (\mathrm{MSpin}^c_{\mathbb{R}})^{C_2}$ and $\mathrm{MU}_{\mathbb{R}} \to \mathrm{MSpin}^c_{\mathbb{R}}$, which are used to recover the three well-known orientations of topological $\mathrm{K}$-theory, $\mathrm{MSpin}^c \to \mathrm{KU}$, $\mathrm{MSpin} \to \mathrm{KO}$, and $\mathrm{MU}_{\mathbb{R}} \to \mathrm{KU}_{\mathbb{R}}$, from the map $\mathrm{MSpin}^c_{\mathbb{R}} \to \mathrm{KU}_{\mathbb{R}}$. We also show that the integrality of the $\hat{A}$-genus on spin manifolds provides an obstruction for the fixed points $(\mathrm{MSpin}^c_{\mathbb{R}})^{C_2}$ to be equivalent to $\mathrm{MSpin}$, using the Mackey functor structure of $\underlineπ_*\mathrm{MSpin}^c_{\mathbb{R}}$. In particular, the usual map $\mathrm{MSpin} \to \mathrm{MSpin}^c$ does not arise as the inclusion of fixed points for any $C_2$-$E_{\infty}$-ring spectrum.

2024-05-02T03:02:05Z v2: 27 pages, a few minor edits; accepted version, to appear in Transactions of the American Mathematical Society Zachary Halladay Yigal Kamel http://arxiv.org/abs/2505.08066v2 2025-08-12T21:34:42Z

Tambara functors are equivariant analogues of rings arising in representation theory and equivariant homotopy theory. We introduce the notion of a clarified Tambara functor and show that under mild conditions every Tambara functor admits a decomposition as a product of coinductions of clarified Tambara functors; projection onto the non-coinduced part defines a reflective localization we call clarification. Through this perspective we study Morita invariance and $K$-theory of Tambara functors, field-like Tambara functors, and Nullstellensatzian clarified Tambara functors.

2025-05-12T21:07:23Z 32 pages, comments welcome! Changes from previous version: cut out some background and parts of section 5 on ideals and Nakaoka spectra to appear in a different article Noah Wisdom http://arxiv.org/abs/2507.13537v2 2025-08-12T20:37:32Z

We show that the functor sending a locally compact Hausdorff space $X$ to the $\infty$-category of spectral sheaves $\mathrm{Shv}(X; \mathrm{Sp})$ is initial among all continuous six-functor formalisms on the category of locally compact Hausdorff spaces. Here, continuous six-functor formalisms are those valued in dualizable presentable stable $\infty$-categories and satisfying canonical descent, profinite descent, and hyperdescent. As an application, we generalize Efimov's computation of the algebraic $K$-theory of sheaves to all localizing invariants on continuous six-functor formalisms. Our results show that localizing invariants behave analogously to compactly supported sheaf cohomology theories when evaluated on continuous six-functor formalisms on locally compact Hausdorff spaces.

2025-07-17T21:11:05Z 29 pages; v2: fix a mistake in Example 5.8 Qingchong Zhu http://arxiv.org/abs/2508.08905v1 2025-08-12T12:51:35Z

We construct a non-$\mathbb{A}^1$-invariant motivic ring spectrum $\mathrm{KO}$ over $\mathrm{Spec}(\mathbb{Z})$, whose associated cohomology theory on qcqs derived schemes is the Grothendieck-Witt theory of classical symmetric forms (as opposed to homotopy symmetric forms). In particular, we show that this theory satisfies Nisnevich descent, smooth blowup excision, a projective bundle formula, and is locally left Kan extended from smooth $\mathbb{Z}$-schemes up to Bass delooping. More generally, our construction produces $\mathrm{KO}$-modules representing localizing invariants of two different families of Poincaré structures on derived schemes, which we call "classical" and "genuine"; the latter Poincaré structures are defined for spectral schemes with involution, but the former only for derived schemes. We then establish basic properties of these motivic spectra. As in $\mathbb{A}^1$-homotopy theory, the fracture square of $\mathrm{KO}$ with respect to the Hopf element recovers the fundamental cartesian square relating GW-theory, L-theory, and K-theory. A new phenomenon when $2$ is not a unit is that $\mathrm{KO}$ is not Bott-periodic, and the left and right Bott periodizations of $\mathrm{KO}$ represent the Grothendieck-Witt theories of homotopy symmetric and homotopy quadratic forms, respectively. We also construct the expected metalinear $\mathrm{E}_\infty$-orientation of $\mathrm{KO}$. Finally, we show that the $\mathbb{A}^1$-localization of $\mathrm{KO}$ recovers the motivic spectrum recently constructed by Calmès, Harpaz, and Nardin.

2025-08-12T12:51:35Z 34 pages. Comments welcome! Marc Hoyois Markus Land http://arxiv.org/abs/2508.08668v1 2025-08-12T06:29:42Z

We study the index homomorphism of even K-groups arising from a class in even KK-theory via the Kasparov product. Due to the seminal work of Baaj and Julg, under mild conditions on the C^*-algebras in question such a class in KK-theory can always be represented by an unbounded Kasparov module. We then describe the corresponding index homomorphism of even K-groups in terms of spectral localizers. This means that our explicit formula for the index homomorphism does not depend on the full spectrum of the abstract Dirac operator D, but rather on the intersection between this spectrum and a compact interval. The size of this compact interval does however reflect the interplay between the K-theoretic input and the abstract Dirac operator. Since the spectral projections for D are not available in the general context of Hilbert $C^*$-modules we instead rely on certain continuous compactly supported functions applied to D to construct the spectral localizer. In the special case where even KK-theory coincides with even K-homology, our work recovers the pioneering work of Loring and Schulz-Baldes on the index pairing.

2025-08-12T06:29:42Z 41 pages Jens Kaad http://arxiv.org/abs/2210.02951v7 2025-08-11T14:21:47Z

The first main result of this article asserts that if $e$ and $e'$ are idempotents of a commutative ring $A$, then we have the following canonical isomorphism of $A$-modules: $$Ae\oplus Ae'\simeq Ae/Ae(1-e')\oplus Ae'/Ae'(1-e)\oplus A(e+e'-2ee').$$ This result plays an important role in proving several results on the Grothendieck ring $K_{0}(A)$. Especially, for any commutative ring $A$ we obtain the following (split) complex of Abelian groups which is exact at the beginning and end: $$\xymatrix{0\ar[r]&\Pic(A)\ar[r]&K_{0}(A)^{\ast} \ar[r]&\mathscr{B}(A)\ar[r]&0}$$ where by $A^{\ast}$ we mean the group of units of $A$, and by $\mathscr{B}(A)$ we mean the group of idempotents of $A$. As an application, if $A$ is a Dedekind domain or more generally a Noetherian one dimensional ring, then we obtain the following split exact sequence of Abelian groups: $$\xymatrix{0\ar[r]&\Pic(A)\ar[r]&K_{0}(A)^{\ast} \ar[r]&\mathscr{B}(A)\ar[r]&0.}$$ As another main result, for any ring $A$ we obtain the canonical isomorphisms of Abelian groups $\mathscr{B}(A)\simeq\mathscr{B}\big(K_{0}(A)\big)\simeq H_{0}(A)^{\ast}$. Next, we show that a morphism of rings $A\rightarrow B$ lifts idempotents if and only if the induced ring map $K_{0}(A)\rightarrow K_{0}(B)$ lifts idempotents. If moreover, $B$ has finitely many maximal ideals then the map $K_{0}(A)\rightarrow K_{0}(B)$ is surjective. Finally, we show that the support of a finitely generated projective module is the whole prime spectrum if and only if its trace ideal is the whole unit ideal of the ring.

2022-10-06T14:40:28Z 12 pages Abolfazl Tarizadeh http://arxiv.org/abs/2311.14620v2 2025-08-11T03:23:26Z

For each integer $n\geq 1$, we construct a $\operatorname{GL}_n(\mathbb Q)$-invariant modular symbol $\bmξ_n$ with coefficients in a space of distributions that takes values in the Milnor $K_n$-group of the modular function field. The Siegel distribution $\bmμ$ on $\mathbb Q^2$, with values in the modular function field, serves as the building block for $\bmξ_n$; we define $\bmξ_n$ essentially by taking the $n$-Steinberg product of $\bmμ$. The most non-trivial part of this construction is the cocycle property of $\bmξ_n$; we prove it by using an induction on $n$ based on the first two cases $\bmξ_1$ and $\bmξ_2$; the first case is trivial, and the second case essentially follows from the fact that Beilinson-Kato elements in the Milnor $K_2$-group modulo torsion satisfy the Manin relations.

2023-11-24T17:30:08Z Accepted in the Transactions of the American Mathematical Society Cecilia Busuioc Jeehoon Park Owen Patashnick Glenn Stevens http://arxiv.org/abs/2508.07404v1 2025-08-10T16:05:18Z

Let $G$ be a finite group and $k$ a field of prime characteristic $p$. We examine the Lefschetz homomorphism $Λ: \mathcal{E}_k(G) \to O(T(kG))$ from the group of endotrivial complexes, i.e. the Picard group of the bounded homotopy category of $p$-permutation modules $K^b({}_{kG}\mathbf{triv})$, to the orthogonal unit group of the Grothendieck group of $K^b({}_{kG}\mathbf{triv})$, i.e. the trivial source ring. When $p = 2$ and $k = \mathbb{F}_2$, $Λ$ is surjective when $G$ has a Sylow $2$-subgroup with fusion controlled by its normalizer, and when $G$ has dihedral Sylow $2$-subgroups. When $p$ is odd, $Λ$ is surjective if $G$ has a cyclic Sylow $p$-subgroup or is $p$-nilpotent, but we exhibit examples of groups of $p$-rank 2 or greater for which $Λ$ is not surjective. We also examine the kernel of the Lefschetz homomorphism, determining it for all groups when $p = 2$ and for groups with cyclic Sylow $p$-subgroups when $p$ is odd.

2025-08-10T16:05:18Z 26 pages Nadia Mazza Sam K. Miller http://arxiv.org/abs/2508.07166v1 2025-08-10T03:46:02Z

We construct a family of moduli spaces, called generalized Lagrangian flag schemes, that are reducible Gorenstein (hence singular), and that admit well-behaved pushforward and pullback operations in Hermitian $K$-theory. These schemes arise naturally in our computations. Using them, we prove that the Hermitian $K$-theory of a Lagrangian Grassmannian over a regular base splits as a direct sum of copies of the base's (Hermitian) $K$-theory, indexed by certain shifted Young diagrams. The isomorphism is realized via pullback to each generalized Lagrangian flag scheme followed by pushforward to the Lagrangian Grassmannian. This yields an unusual example in which both the base and the target are regular schemes, while the intermediate reducible Gorenstein models remain sufficient to allow explicit computations in Hermitian K-theory of regular schemes.

2025-08-10T03:46:02Z Tao Huang Heng Xie http://arxiv.org/abs/2508.07116v1 2025-08-09T22:53:56Z

This thesis concerns the algebraic consequences of Freyd's Generating Hypothesis, and explores the question of whether there exists a self-injective ring R that can be constructed purely algebraically that exhibits some of the known properties of the stable homotopy ring, including some conjectured properties that follow from Freyd's Generating Hypothesis. As an example, we investigate the infinite root algebra of Hahn series P, firstly by establishing results for the related Hahn ring A. In particular, we prove that the Theta-reflexive A-modules and the multibasic A-modules are the same.

2025-08-09T22:53:56Z 159 pages, PhD thesis, University of Sheffield, 2025 Oliver House