https://arxiv.org/api/gf3V7teCjxJsqtA/4Z7WsJlFdm8 2026-04-05T10:35:48Z 6529 435 15 http://arxiv.org/abs/2507.12954v1 2025-07-17T09:49:27Z

Given an algebraic torus $T$ over a field $F$, its lattice of characters $Λ$ gives rise to a topological torus $\mathfrak{T}(T)=Λ_{\mathbb R}/Λ$ with a continuous action of the absolute Galois group $G$. We construct a natural equivalence between the algebraic $K$-theory $K_{\ast}(T)$ and the equivariant homology $H^{G}_{\ast}(\mathfrak{T}(T);K_G(F))$ of the topological torus $\mathfrak{T}(T)$ with coefficients in the $G$-equivariant $K$-theory of $F$. This generalizes a computation of $K_0(T)$ due to Merkurjev and Panin. We obtain this equivalence by analyzing the motive $\mathbb{K}_{F}^{T}$ in the stable motivic category $\mathrm{SH}(F)$ of Voevodsky and Morel, where $\mathbb{K}_{F}$ is the motivic spectrum representing homotopy $K$-theory. We construct a natural comparison map $\mathfrak{F}\colon \mathbb{K}_{F}[BΛ] \to \mathbb{K}_{F}^{T}$ from the $\mathbb{K}_{F}$-homology of the étale delooping of $Λ$ to $\mathbb{K}_{F}^{T}$ as a special case of a motivic Fourier transform and prove that it is an equivalence by using a motivic Eilenberg--Moore formula for classifying spaces of tori.

2025-07-17T09:49:27Z 45 pages, comments are welcome Qingyuan Bai Shachar Carmeli Branko Juran Florian Riedel http://arxiv.org/abs/2507.11337v1 2025-07-15T14:09:24Z

This is a survey on the Farrell-Jones Conjecture about the algebraic K- and L-theory of groups rings and its applications to algebra, geometry, group theory, and topology.

2025-07-15T14:09:24Z 36 pages, to appear in the Bulletin of the AMS Wolfgang Lueck http://arxiv.org/abs/2411.14857v2 2025-07-15T11:42:49Z

In the Morel-Voevodsky motivic stable homotopy category of a quasi-compact quasi-separated scheme S, several candidates exist for a motivic spectrum representing hermitian K-theory. This note shows that the cellular absolute motivic spectrum constructed in the thesis of the first author via the geometry of orthogonal and hyperbolic Grassmannians over any scheme coincides with the motivic ring spectrum constructed recently by Calmès, Harpaz, and Nardin.

2024-11-22T11:15:12Z 9 pages K. Arun Kumar Oliver Röndigs http://arxiv.org/abs/2507.10816v1 2025-07-14T21:30:29Z

We pursue an old conjecture of John Roe about the algebraic K-theory of the algebra of finite propagation, locally trace-class operators, namely that transgressing the algebraic coarse character map on this algebra to a Higson dominated corona coincides with the usual Chern character on the corona.

2025-07-14T21:30:29Z Contribution to the final volume of the SPP 2026 "Geometry at Infinity" funded by the DFG Alexander Engel Matthias Ludewig http://arxiv.org/abs/2410.05708v2 2025-07-14T15:19:18Z

There is a general phenomenon in algebra that numerous functors of homological significance admit characterization as derived limits of elementary functors defined over categories of free extensions. We demonstrate that upon restriction to appropriate subcategories of the category of groups, one may express analogously more interesting functors, including homology groups with cyclic coefficients. Moreover, we are laying the foundations of the so-called $\mathbf{fr}_\infty$-language, extending the $\mathbf{fr}$-language of Roman Mikhailov and Sergei O. Ivanov. This language is constructed by augmenting the $\mathbf{fr}$-language through the introduction of an infinite family of letters $\mathbf{fr}$ corresponding to the lower central series $γ_m(R)$ of the group of relations and leads to some neat computations.

2024-10-08T06:01:59Z Nikita Golub Vasily Ionin Lev Mukoseev http://arxiv.org/abs/2507.09392v1 2025-07-12T20:21:57Z

We define a certain class of simple varieties over a field $k$ by a constructive recipe and show how to control their (equivariant) truncating invariants. Consequently, we prove that on simple varieties: (i) if $k=\overline{k}$ and $\mathrm{char} \ k = p$, the $p$-adic cyclotomic trace is an equivalence; (ii) if $k = \mathbb{Q}$, the Goodwillie-Jones trace is an isomorphism in degree zero; (iii) we can control homotopy invariant $K$-theory $KH$, which is equivariantly formal and determined by its topological counterparts. Simple varieties are quite special, but encompass important singular examples appearing in geometric representation theory. We in particular show that both finite and affine Schubert varieties for $GL_n$ lie in this class, so all the above results hold for them.

2025-07-12T20:21:57Z 27 pages, comments welcome Jakub Löwit http://arxiv.org/abs/2507.08694v1 2025-07-11T15:47:44Z

We provide a mathematically rigorous classification of symmetry-protected topological (SPT) phases of neutral free fermions. Our approach utilizes Karoubi triples with negative squares, thought of as polarizations. We prove that neutral free fermion SPT phases protected by a symmetry algebra $A$ are classified by the real $K$-theory group $K_2(A^{op})$, and demonstrate how our classification reproduces known results in the presence of charge. Our formalism also allows for symmetries described by groups, potentially with time-reversal, using the formalism of fermionic groups and their fermionic group $C^*$-algebras. Our classification extends to positive spatial dimensions and includes weak phases using the crystalline equivalence principle. Our approach clarifies and unifies various existing tenfold way classifications by establishing their equivalence through Morita equivalences of symmetry algebras. We expect our classification to be the natural domain for the free-to-interacting map proposed by Freed and Hopkins.

2025-07-11T15:47:44Z 56+20 pages Luuk Stehouwer http://arxiv.org/abs/2507.08417v1 2025-07-11T09:04:20Z

We give a more conceptual construction of a comparison algebra morphism from the K-theoretical Hall algebra to a twist of the cohomological Hall algebra associated to a symmetric quiver, and extend the result to quivers with potential.

2025-07-11T09:04:20Z 12 pages Felix Küng Špela Špenko http://arxiv.org/abs/2504.16935v2 2025-07-11T08:10:39Z

We study $\mathbb{E}_n$-Koszul duality for pairs of algebras of the form $\mathrm{C}_{\bullet}(Ω^{n}_*X;\Bbbk) \leftrightarrow \mathrm{C}^{\bullet}(X;\Bbbk)$, and the closely related question of $n$-affineness for Betti stacks. It was expected, but not known, that $\mathbb{E}_n$-Koszul duality should induce a kind of Morita equivalence between categories of iterated modules. We establish this rigorously by proving that the $(\infty,n)$-category of iterated modules over $\mathrm{C}_{\bullet}(Ω_*^{n+1}X;\Bbbk)$ is equivalent to the $(\infty,n)$-category of quasi-coherent sheaves of $(\infty,n-1)$-categories on $\mathrm{cSpec}(\mathrm{C}^{\bullet}(X;\Bbbk))$, where $\mathrm{cSpec}(\mathrm{C}^{\bullet}(X;\Bbbk))$ is the cospectrum of $\mathrm{C}^{\bullet}(X;\Bbbk)$. By the monodromy equivalence, these categories are also equivalent to the category of higher local systems on $X$, $n\mathbf{LocSysCat}^{n-1}(X;\Bbbk)$. Our result is new already in the classical case $n=1$, although it can be seen to recover well known formulations of $\mathbb{E}_1$-Koszul duality as a Morita equivalence of module categories (up to appropriate completions of the $t$-structures). We also investigate (higher) affineness properties of Betti stacks. We give a complete characterization of $n$-affine Betti stacks, in terms of the $0$-affineness of their iterated loop space. As a consequence, we prove that $n$-truncated Betti stacks are $n$-affine; and that $π_{n+1}(X)$ is an obstruction to $n$-affineness.

2025-03-25T11:00:45Z Originally appeared as the second part in a larger paper containing also arXiv:2501.10241 ; now split in two parts. Minor formatting/typos changes James Pascaleff Emanuele Pavia Nicolò Sibilla http://arxiv.org/abs/2506.10957v3 2025-07-10T14:33:32Z

Inspired by parallel developments in coarse geometry in mathematics and exact macroscopic quantization in physics, we present a family of general trace formulae which are universally quantized and depend only on large-scale geometric features of the input data. They generalize, to arbitrary dimensions, formulae found by Roe in his partitioned manifold index theorem, as well as the Kubo and Kitaev formulae for 2D Hall conductance used in physics.

2025-06-12T17:56:02Z 60 pages, 3 figures. Subsection 2.6 replaced by Remark 5.15 Matthias Ludewig Guo Chuan Thiang http://arxiv.org/abs/2506.17143v2 2025-07-10T11:48:48Z

We describe the index pairing between an odd K-theory class and an odd unbounded Kasparov module by a pair of quasi-projections, supported on a submodule obtained from a finite spectral truncation. We achieve this by pairing the K-theory class with an asymptotic morphism determined by the unbounded Kasparov module. We interpret the spectral localiser of Loring and Schulz-Baldes as an instance of such an index pairing.

2025-06-20T16:45:07Z References and acknowledgement updated. A few typos fixed. 42 pages, 1 figure Ann. K-Th. 11 (2026) 213-260 Yuezhao Li Bram Mesland 10.2140/akt.2026.11.213 http://arxiv.org/abs/2507.07051v1 2025-07-09T17:14:55Z

We study higher chromatic height analogues $eo_h$ of the connective real $K$-theory spectrum $ko$. We show that $eo_h$ is an fp spectrum of type $h$ in the sense of Mahowald--Rezk. We use these to study an Euler characteristic for fp spectra introduced by Ishan Levy, and give a partial answer to a question of Levy regarding the algebraic $K$-theory of the category of finite type $h$ spectra. As a corollary, we prove that if the generalized Moore spectrum $\mathbb{S}/(2^{i_0},v_1^{i_1},\ldots,v_h^{i_h})$ exists, then the $2$-adic valuation of $\prod i_j$ must exceed that of the height $h$.

2025-07-09T17:14:55Z 29 pages, comments welcome Christian Carrick Michael A. Hill http://arxiv.org/abs/2507.06816v1 2025-07-09T13:06:54Z

We establish new general etale versions of theorems of Barth and Sommese. Respectively, we compute the lower etale cohomology of closed subvarieties of $P^N$ of small codimensions and of their preimages with respect to proper morphisms (that are not necessarily finite; this statement is completely new), and also of the zero loci of sections of ample vector bundles; all these statements are valid over fields of arbitrary characteristics. To obtain these results, we use a new 'fat hyperplane section' Weak Lefschetz-type theorem for etale cohomology of non-projective varieties that is related to a result of Goresky and MacPherson (over complex numbers).

2025-07-09T13:06:54Z This is a major update of arXiv:1203.2595. Lots of new results (including a Sommese-type theorem, several statements related to singularities, l-adic and singular cohomology formulations) and remarks (in particular, on the relation to the literature) were added. Exposition was modified drastically, and notation was changed Sergei I. Arkhipov Mikhail V. Bondarko http://arxiv.org/abs/2311.05333v3 2025-07-09T13:01:33Z

In this paper, we investigate the $L^{p}$ coarse Baum-Connes conjecture for $p\in [1,\infty)$ via $C_{0}$ coarse structure, which is a refinement of the bounded coarse structure on a metric space. We prove that the $C_{0}$ version of the $L^{p}$ coarse Baum-Connes conjecture holds for a finite-dimensional simplicial complex equipped with a uniform spherical metric. Using this result, we construct an obstruction group for the $L^{p}$ coarse Baum-Connes conjecture. As an application, we show that the obstruction group vanishes under the assumption of finite asymptotic dimension, thereby providing a new proof of the $L^{p}$ coarse Baum-Connes conjecture in this case.

2023-11-09T13:00:47Z 31 pages, to appear in Topology and its Applications Hang Wang Yanru Wang Jianguo Zhang Dapeng Zhou http://arxiv.org/abs/2507.06754v1 2025-07-09T11:26:01Z

We determine the precise number of isomorphism classes of elliptic curves over $\mathbb{F}_q(t)$ with $\text{char}(\mathbb{F}_q) = 3,2$. The key idea is to obtain the exact unweighted number of rational points on the classifying stacks $\mathcal{B} Q_{12}$, $\mathcal{B} Q_{24}$ and $\mathcal{B} Z$, where $Q_{12}$ and $Q_{24}$ denote the dicyclic groups of orders 12 and 24, respectively, and $Z$ denotes the non-reduced group scheme of order 2. This computation, inspired by the classical work of [de Jong] and performed via motivic height zeta functions of height moduli spaces constructed in [Bejleri-Park-Satriano], establishes a complete determination of the total number of isomorphism classes of rational points on $\overline{\mathcal{M}}_{1,1}$ over any rational function field $k(t)$ with perfect residue field $\text{char}(k) \ge 0$.

2025-07-09T11:26:01Z 13 pages; Comments very welcome! Jun-Yong Park