Equivariant algebraic $K$-theory of symmetric monoidal Mackey functors

2025-05-11T10:01:57Z

We provide a unifying approach to different constructions of the algebraic $K$-theory of equivariant symmetric monoidal categories. A consequence of our work is that every connective genuine $G$-spectrum is equivalent to the equivariant algebraic $K$-theory of categorical Mackey functors of Bohmann-Osorno.

Upper Bounds on the Torsion Index of Half-Spin Groups

2025-05-10T17:01:05Z

The torsion index of split simple groups has been extensively studied, notably by Totaro, who calculated the torsion indexes of the spin groups and $E_{8}$ in [5] and [6], respectively. The aim of this paper is to provide upper bounds for the torsion index of half-spin groups, the only remaining case in the calculation of torsion indexes for split simple groups. We present general upper bounds for the torsion index of half-spin groups, showing that, except for certain exceptional cases, it is at most twice that of the corresponding spin groups. For these exceptional cases, the torsion index is bounded above by at most $2^3$ times that of the spin groups. Our results also reveal that in many cases, the torsion index of half-spin groups coincides with that of the spin groups.

Algebraically Closed Fields in Equivariant Algebra

2025-05-08T16:47:07Z

Using the Burklund-Schlank-Yuan abstraction of ``algebraically closed" to ``Nullstellensatzian", we show that a $G$-Tambara functor is Nullstellensatzian if and only if it is the coinduction of an algebraically closed field (for any finite group $G$). As a consequence we deduce an equivalence between the $K$-theory spectrum of any Nullstellensatzian $G$-Tambara functor with the $K$ theory of some algebraically closed field.

Magnetic Equivariant K-theory

2025-05-08T14:44:20Z

We present the fundamental properties of the K-theory groups of complex vector bundles endowed with actions of magnetic groups. In this work we show that the magnetic equivariant K-theory groups define an equivariant cohomology theory, we determine its coefficients, we show Bott's, Thom's and the degree shift isomorphism, we present the Atiyah-Hirzeburh spectral sequence, and we explicitly calculate two magnetic equivariant K-theory groups in order to showcase its applicability. These magnetic equivariant K-theory groups are relevant in condensed matter physics since they provide topological invariants of gapped Hamiltonians in magnetic crystals.

The motivic Adams conjecture

2025-05-08T09:11:03Z

We solve a motivic version of the Adams conjecture with the exponential characteristic of the base field inverted. In the way of the proof we obtain a motivic version of mod k Dold theorem and give a motivic version of Brown's trick studying the homogeneous variety of maximal tori in a general linear group, which turns out to be not stably A1-connected. We also show that the higher motivic stable stems are of bounded torsion.

The Deligne-Mumford operad as a trivialization of the circle action

2025-05-06T20:08:48Z

We prove that the tree-like Deligne-Mumford operad is a homotopical model for the trivialization of the circle in the higher-genus framed little discs operad. Our proof is based on a geometric argument involving nodal annuli. We use as a model for the higher-genus framed little discs an operad of Riemann surfaces with analytically parametrized boundary. We develop the formalism of topological moduli problems as a framework to accommodate the orbifold nature of the Deligne-Mumford operad.

A higher index and rapidly decaying kernels

2025-05-05T09:28:26Z

We construct an index of first-order, self-adjoint, elliptic differential operators in the $K$-theory of a Fréchet algebra of smooth kernels with faster than exponential off-diagonal decay. We show that this index can be represented by an idempotent involving heat operators. The rapid decay of the kernels in the algebra used is helpful in proving convergence of pairings with cyclic cocycles. Representing the index in terms of heat operators allows one to use heat kernel asymptotics to compute such pairings. We give a link to von Neumann algebras and $L^2$-index theorems as an immediate application, and work out further applications in other papers.

A higher index on finite-volume locally symmetric spaces

2025-05-05T09:20:46Z

Let $G$ be a connected, real semisimple Lie group. Let $K \operatorname{rank}(K)$, or the real rank of $G$ is larger than $1$.

THH(Z) and the image of J

2025-05-04T19:01:32Z

Let $p$ be an odd prime number and $\mathrm{j}_p$ the $p$-complete connective image of J spectrum. We establish an equivalence of cyclotomic $\mathbb{E}_\infty$-rings $\mathrm{THH}(\mathbb{Z})^{\wedge}_p \simeq \mathrm{sh}(\mathrm{j}_p^{\mathrm{triv}})$ and an equivalence of $\mathbb{E}_\infty$-rings $\mathrm{TP}(\mathbb{Z})^{\wedge}_p \simeq \mathrm{j}_p^{\mathrm{t}\mathrm{S}^1}$. We also record a few applications of this: a new perspective, with some new information, on the description of $\mathrm{TC}(\mathbb{Z})^{\wedge}_p$ as a spectrum; height $1$ analogues of the fiber squares of Antieau-Mathew-Morrow-Nikolaus, resulting in new calculations in $\mathrm{K}(1)$-localized algebraic K-theory; and a proof of a slight refinement of the noncommutative crystalline-de Rham comparison result of Petrov-Vologodsky.

The Whitehead group and stably trivial $G$-smoothings

2025-05-01T16:36:49Z

A closed manifold $M$ of dimension at least $5$ has only finitely many smooth structures. Moreover, smooth structures of $M$ are in bijection with smooth structures of $M\times\mathbb{R}$. Both of these statements are false equivariantly. In this paper, we use controlled $h$-cobordisms to construct infinitely many $G$-smoothings of a $G$-manifold $X$. Moreover, these $G$-smoothings are isotopic after taking a product with $\mathbb{R}$.

Structure theorem for log de Rham-Witt sheaves with vanishing

2025-05-01T13:38:22Z

We prove an elegant structure theorem for log de Rham-Witt sheaves with vanishing along an effective Cartier divisor $D$ defined in arXiv:2403.18763, answering a question of Shuji Saito during the Mainz conference and a question of Yigeng Zhao during a short visit of the author last summer. Our structural result for the log forms also lays the foundation for the study of Milnor $K$-theory with vanishing along $D$ in the paper to come.

Homological Lie brackets on moduli spaces and pushforward operations in twisted K-theory

2025-05-01T08:52:10Z

We develop a general theory of pushforward operations for principal $G$-bundles equipped with a certain type of orientation. In the case $G=BU(1)$ and orientations in twisted K-theory we construct two pushforward operations, the projective Euler operation, whose existence was conjectured by Joyce, and the projective rank operation. We classify all stable pushforward operations in this context and show that they are all generated by the projective Euler and rank operation. As an application, we construct a graded Lie algebra structure on the homology of a commutative H-space with a compatible $BU(1)$-action and orientation. These play an important role in the context of wall-crossing formulas in enumerative geometry.

Effective Redshift

2025-05-01T06:42:18Z

The "higher chromatic" Quillen-Lichtenbaum conjecture, as proposed by Ausoni and Rognes, posits that the finite localization map $K(R) \to L_{n + 1}^f K(R)$ is a $p$-local equivalence in large degrees for suitable ring spectra $R$. We give a simple criterion in terms of syntomic cohomology for an effective version of Quillen-Lichtenbaum, i.e. for identifying the degrees in which the localization map is an isomorphism. Combining our result with recent computations implies that the finite localization map is $(-1)$-truncated in the cases $R = \mathrm{BP} \langle n \rangle$, $R = k(n)$, and $R = \mathrm{ko}$.

Fourier--Mukai equivalences for formal groups and elliptic Hochschild homology

2025-04-30T20:39:34Z

This paper establishes a unifying framework for various forms of twisted Hochschild homology by comparing two definitions of elliptic Hochschild homology: one introduced by Moulinos--Robalo--Toën and the other by Sibilla--Tomasini. Central to our approach is a new Fourier--Mukai duality for formal groups. We prove that when $\widehat{E}$ is the formal group associated to an elliptic curve $E$, the resulting $\widehat{E}$-Hochschild homology coincides with the mapping stack construction of Sibilla--Tomasini. This identification also recovers ordinary and Hodge Hochschild homology as degenerate limits corresponding to nodal and cuspidal cubics, respectively. Building on this, we introduce global versions of elliptic Hochschild homology over the moduli stacks of elliptic and cubic curves, which interpolate between these theories and suggest a universal form of TMF-Hochschild homology.

Deconstructing Auslander's formulas, I. Fundamental sequences associated with additive functors

2025-04-29T16:11:13Z

For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the functor. For half-exact functors, the obtained sequences are exact. For general functors, nontrivial homology may only appear at the derived functors. Specializing to the familiar Hom and tensor product functors on finitely presented modules, we recover the classical formulas of Auslander. Unlike those formulas, our results hold for arbitrary rings and arbitrary modules, finite or infinite. The same formalism leads to universal coefficient theorems for homology and cohomology of arbitrary complexes. The new results are even more explicit for the cohomology of projective complexes and the homology of flat complexes.