https://arxiv.org/api/r3aJJpK0BdbMfrR23HgyTcLyPbc 2026-04-04T11:06:54Z 6529 330 15 http://arxiv.org/abs/2509.18280v1 2025-09-22T18:07:05Z

We prove an integral version of the derived Springer correspondence for reduced motives. To achieve this result, we extend some results on reduced motives from schemes to quotient stacks with a finite number of orbits. More generally, we work in the context of the Springer setup, as defined by Eberhardt and Stroppel, which has also applications for quiver Hecke algebras.

2025-09-22T18:07:05Z 24 pages, comments are welcome! Thiago Landim http://arxiv.org/abs/2509.18009v1 2025-09-22T16:48:50Z

In the study of the generalization of Hilbert's Third Problem to spherical geometry, Sah constructed a Hopf algebra of spherical polytopes with product given by join and coproduct given by a generalized Dehn invariant. Using Zakharevich's reinterpretation of scissors congruence via algebraic K-theory, we lift the Sah algebra to an $(E_\infty, E_1)$-Hopf algebra spectrum whose $π_0$ is the classical Sah algebra. As an application, we show that the reduced spherical scissors congruence $K$-theory groups $\widetilde K_{2n}\big(\mathcal{P}^{S^{2k+1}}_{O(2k+2)}\big)$ are nonzero for all nonnegative integers $n$ and $k$.

2025-09-22T16:48:50Z v1: Comments welcome! Inbar Klang Josefien Kuijper Cary Malkiewich David Mehrle Thor Wittich http://arxiv.org/abs/2509.10812v2 2025-09-22T12:39:22Z

We show that isomorphism classes $[\mathcal{A}]$ of flat $q\times q$ matrix bundles $\mathcal{A}$ (or projectively flat rank-$q$ complex vector bundles $\mathcal{E}$) on a pro-torus $\mathbb{T}$ are in bijective correspondence with the Čech cohomology group $H^2(\mathbb{T},μ_q:=\text{$q^{th}$ roots of unity})$ (respectively $H^2(\mathbb{T},\mathbb{Z})$) via the image of $[A]\in H^1(\mathbb{T},PGL(q,\mathcal{C}_{\mathbb{T}}))$ through $H^1(\mathbb{T},PGL(q,\mathcal{C}_{\mathbb{T}}))\xrightarrow{\quad}H^2(\mathbb{T},μ(q,\mathcal{C}_{\mathbb{T}}))$ (respectively the first Chern class $c_1(\mathcal{E})$). This is in the spirit of Auslander-Szczarba's result identifying real flat bundles on the torus with their first two Stiefel-Whitney classes, and contrasts with classifying spaces $BΓ$ of compact Lie groups $Γ$ (as opposed to $\mathbb{T}^n\cong B\mathbb{Z}^n$), on which flat non-trivial vector bundles abound. The discussion both recovers the Disney-Elliott-Kumjian-Raeburn classification of rational non-commutative tori $\mathbb{T}^n_θ$ with a different, bundle-theoretic proof, and sheds some light on the connection between topological invariants associated to $\mathbb{T}^2_θ$, $θ\in\mathbb{Q}$ by Rieffel and respectively Høegh-Krohn-Skjelbred.

2025-09-13T14:22:37Z v2 amends erroneous text in Remark 1.17 and fixes typos; 16 pages + references Alexandru Chirvasitu http://arxiv.org/abs/2509.00390v2 2025-09-20T09:41:18Z

We take the following approach to analyze homotopy equivalence in periodic adelic functions. First, we introduce the concept of pre-periodic functions and define their homotopy invariant through the construction of a generalized winding number. Subsequently, we establish a fundamental correspondence between periodic adelic functions and pre-periodic functions. By extending the generalized winding number to periodic adelic functions, we demonstrate that this invariant completely characterizes homotopy equivalence classes within the space of periodic adelic functions. Building on this classification, we obtain an explicit description of the $K_{1}$-group of the rational group $C^\ast$-algebra, $K_{1}(C^{*}(\mathbb{Q}))$. Finally, we employ a similar strategy to determine the structure of $K_1(C^{\ast}(\mathbb{A}))$.

2025-08-30T07:02:07Z Wenqing Wu Hang Wang http://arxiv.org/abs/2509.16404v1 2025-09-19T20:27:06Z

The theme of this paper is to compute hermitian $K$-groups in terms of the recently developed theory of Milnor-Witt motivic cohomology. Our approach makes use of the very effective slice spectral sequence within the motivic stable homotopy category, which we analyze in detail for base schemes of arithmetic interest. We show a Grothendieck-Riemann-Roch theorem, determine the map between Milnor-Witt and hermitian $K$-theory up to degree five for all fields, and compute the hermitian $K$-groups and the higher Witt-groups of the ring of integers.

2025-09-19T20:27:06Z 53 pages, comments welcome Håkon Kolderup Oliver Röndigs Paul Arne Østvær http://arxiv.org/abs/2506.05238v2 2025-09-19T12:17:49Z

We study oplax colimits of stable categories, of hermitian categories and of Poincaré categories in nice cases. This allows us to produce a categorical model of the assembly map of a bordism-invariant functor of Poincaré categories which is also a Verdier projection, whose kernel we explicitly describe. As a direct application, we generalize the Shaneson splitting for bordism-invariant functors of Poincaré categories proved by Calmès-Dotto-Harpaz-Hebestreit-Land-Moi-Nardin-Nikolaus-Steimle to allow for twists. We also show our methods can tackle their general twisted Shaneson splitting of Poincaré-Verdier localizing invariants which specifies to a twisted Bass-Heller-Swan decomposition for the underlying stable categories, generalizing part of recent work of Kirstein-Kremer.

2025-06-05T16:57:49Z 42 pages; comments welcome! v2: fixed Corollary 4.3 Jordan Levin Guglielmo Nocera Victor Saunier http://arxiv.org/abs/2510.00016v1 2025-09-19T06:20:41Z

In this paper, we show that the infinitesimal dilogarithm and Kontsevich's one-and-a-half logarithm function satisfies the identities which result from periods in cluster patterns. We also prove that these cluster identities are a consequence of the pentagon relation in the infinitesimal case.

2025-09-19T06:20:41Z Sinan Unver http://arxiv.org/abs/2509.14774v1 2025-09-18T09:24:01Z

We introduce the notion of a $c$-category, which is a kind of category whose behaviour is controlled by connective ring spectra. More precisely, any $c$-category admits a finite step resolution by categories of compact modules over connective ring spectra. We introduce nilpotent extensions of $c$-categories, and show that they induce isomorphisms on truncating invariants, such as the fiber of the cyclotomic trace map. We show that for many stacks, the category of perfect complexes is naturally a $c$-category and deduce a generalization of the Dundas--Goodwillie--McCarthy theorem to such stacks.

2025-09-18T09:24:01Z Ishan Levy Vladimir Sosnilo http://arxiv.org/abs/2509.14015v1 2025-09-17T14:22:20Z

We study the classification of $\mathbb{Z}$-DGAs with polynomial homology $\mathbb{F}_p[x]$ with $\lvert x \rvert >0$, motivated by computations in algebraic $K$-theory. This classification problem was left open in work of Dwyer, Greenlees, and Iyengar. We prove that there are infinitely many such DGAs for even $\lvert x \rvert$ and that for $\lvert x \rvert \geq 2p-2$ any such DGA is formal as a ring spectrum. Through this, we obtain examples of triangulated categories with infinitely many DG-enhancements and a classification of prime DG-division rings. Combining our results with earlier work of the second author and Tamme, we obtain new (relative) algebraic $K$-theory computations for rings such as the mixed characteristic coordinate axes $\mathbb{Z}[x]/px$ and the group ring $\mathbb{Z}[C_{p^n}]$.

2025-09-17T14:22:20Z Haldun Özgür Bayındır Markus Land http://arxiv.org/abs/2407.02993v3 2025-09-16T10:59:05Z

In this article we study generalised Dirac-Schrödinger operators in arbitrary signatures (with or without gradings), providing a general KK-theoretic framework for the study of index pairings and spectral flow. We provide a general Callias Theorem, which shows that the index (or the spectral flow, or abstractly the K-theory class) of Dirac-Schrödinger operators can be computed on a suitable compact hypersurface. Furthermore, if the zero eigenvalue is isolated in the spectrum of the Dirac operator, we relate the index (or spectral flow) of Dirac--Schrödinger operators to the index (or spectral flow) of corresponding Toeplitz operators. Combining both results, we obtain an index (or spectral flow) equality relating Toeplitz operators on the noncompact manifold to Toeplitz operators on the compact hypersurface. Our results generalise various known results from the literature, while presenting these results in a common unified framework.

2024-07-03T10:48:31Z Final version as accepted by the Journal of the London Mathematical Society, 42 pages J. London Math. Soc. 112 (2025), e70301 Koen van den Dungen 10.1112/jlms.70301 http://arxiv.org/abs/2004.05710v15 2025-09-14T13:57:50Z

In the present paper we propose some generalization of the topological Brauer group that includes higher homotopical information and contains the classical one as a direct summand. Our approach is based on some kind of bundle-like objects called ``lax algebra bundles'' that occupy an intermediate position between ``Morita bundle gerbes'' and matrix algebra bundles. The main results of the paper include the descripion of the homotopy type of their classifying space. The obtained results can be applied to the twisted $K$-theory because the lax algebra bundles are geometric representatives of the ``higher'' twists of topological $K$-theory that have finite order. v.2: major changes, especially in the second half of the paper v.3: to clarify the presentation the significant part of the text has been rewritten v.4: major changes, completely different methods comparing with previous versions v.5: major changes and corrections v.6: section 3 added v.7: the definition of equivalence of LABs fixed v.8: section 3 has been rewritten v.9: remark 3.2 and some explanation in subsection 3.3 have been added v.10 in this version we omit the UHF algebra approach; otherwise, correction and clarifications have been made, in subsection 4.3 an outline of the theory of modules over LABs has been added v.11: some corrections and clarifications v.12: theorem 6.2 added, minor corrections v.13: some additions (the most important are section 7 and remark 3.5) v.14: subsections 6.2-6.4 added v.15: subsection 6.5 added

2020-04-12T22:51:37Z 25 pages Andrei V. Ershov http://arxiv.org/abs/2405.18429v4 2025-09-12T08:19:23Z

We characterize the simplicity of Pimsner algebras for non-proper C*-correspondences. With the aid of this criterion, we give a systematic strategy to produce outer actions of unitary tensor categories on Kirchberg algebras. In particular, every countable unitary tensor category admits an outer action on the Cuntz algebra $\mathcal{O}_2$. We also study the realizability of modules over fusion rings as K-groups of Kirchberg algebras acted on by unitary tensor categories, which turns out to be generically true for every unitary fusion category. Several new examples are provided, among which actions on Cuntz algebras of 3-cocycle twists of cyclic groups are constructed for all possible 3-cohomological classes, thereby answering a question asked by Izumi.

2024-05-28T17:59:34Z 39 pages, improved exposition and fixed typos Kan Kitamura http://arxiv.org/abs/2509.09240v1 2025-09-11T08:24:11Z

We provide an index-theoretic proof of the bulk-boundary correspondence for two- and three-dimensional second-order topological insulators that preserve inversion symmetry, which are modeled as rectangles and rectangular prism-shaped systems. Our method uses extensions of the symbols of some Toeplitz operators on discrete quarter planes and computations of topological equivariant K-theory groups.

2025-09-11T08:24:11Z 31 pages, 1 figure Shin Hayashi http://arxiv.org/abs/2509.07263v2 2025-09-10T17:01:30Z

Let $V_r(\mathbb{A}^n)$ denote the Stiefel variety ${\rm GL}_n/{\rm GL}_{n-r}$ over a field. There is a natural projection $p: V_{r+\ell}(\mathbb{A}^n) \to V_r(\mathbb{A}^n)$. The question of whether this projection admits a section was asked by M. Raynaud in 1968. We focus on the case of $r \ge 2$ and provide examples of triples $(r,n,\ell)$ for which a section does not exist. Our results produce examples of stably free modules that do not have free summands of a given rank. To this end, we also construct a splitting of $V_2(\mathbb{A}^n)$ in the motivic stable homotopy category over a field, analogous to the classical stable splitting of the Stiefel manifolds due to I. M. James.

2025-09-08T22:43:58Z 30 pages Sebastian Gant http://arxiv.org/abs/2505.01899v3 2025-09-09T18:49:34Z

Two pertinent questions for any support theory of a monoidal triangulated category are whether it is functorial and if the tensor product property holds. To this end, we consider the complete prime spectrum of an essentially small monoidal triangulated category, which we show is universal among support data satisfying the tensor product property, even if it is empty. The complete prime spectrum is functorial and parametrizes radical thick tensor-ideals, a noncommutative analogue of Balmer's reconstruction theorem. We give criteria for when induced maps on complete prime spectra are injective or surjective, and determine the complete prime spectrum for crossed product categories. Finally, we determine the universal functorial support theory for monoidal triangulated categories coinciding with the Balmer spectrum on braided monoidal triangulated categories.

2025-05-03T19:12:30Z v3: strengthened results of section 6 - complete primes parametrize radical thick tensor ideals. v2: new section on partial functoriality of noncommutative Balmer spectrum added, minor edits. 35 pages Sam K. Miller