https://arxiv.org/api/flqPAL7p968A6cHVStrblOkQR/g 2026-04-04T09:29:34Z 6529 315 15 http://arxiv.org/abs/2503.04251v2 2025-09-30T08:34:20Z

We prove separation and excision results in functor homology. These results explain how the global Steinberg decomposition of functors proved by Djament, Touz{é} and Vespa behaves in Ext and Tor computations.

2025-03-06T09:35:04Z Aurélien Djament LAGA Antoine Touzé LPP http://arxiv.org/abs/2509.25006v1 2025-09-29T16:29:23Z

We compute the $2$-completed integral motivic homology, effective algebraic K-theory, and very effective hermitian K-theory of the geometric classifying space of the cyclic group of order two over algebraically closed fields, the real numbers, and finite fields.

2025-09-29T16:29:23Z 35 pages, 37 figures. Comments welcome! Prerna Dhankhar Rebecca Field Arjun Nigam J. D. Quigley Albert Jinghui Yang http://arxiv.org/abs/2104.10504v2 2025-09-29T15:34:02Z

In this work, we introduce a variant of the Grothendieck-Teichm{ü}ller group, defined in terms of complements of hyperplane arrangements and pro-$\ell$ two-step nilpotent fundamental groups, and prove that it is isomorphic to the absolute Galois group of $\Qbb$.

2021-04-21T12:48:24Z 21 pages; v2: changed title, expository changes Florian Pop Adam Topaz http://arxiv.org/abs/2404.18367v3 2025-09-29T14:45:36Z

In this paper, motivated by studying special values of zeta functions attached to finite type F_p-schemes, we introduce a category of ``arithmetic C(S^1,R)-modules'' attached to any Dedekind ring R, and compute the 0th K-group of this category. Specializing to the case of R=Z_l for some prime l neq p (resp. R=Z_p), we prove that there is a natural functorial lift of the etale cohomology of perfect etale Z_l sheaves (resp. syntomic cohomology of perfect prismatic F-gauges) on a point to arithmetic C(S^1,Z_l)-modules (resp. arithmetic C(S^1,Z_p)-modules). This allows us to define a notion of the multiplicative Euler characteristic via a map from the K_0-group which makes sense without assuming Tate's semi-simplicity conjecture. In particular, we can remove this hypothesis from a theorem of Milne proving a cohomological formula for zeta values attached to smooth proper F_p-schemes. We also discuss extensions of these zeta value formulae to finite type F_p-schemes, and how recent progress in motivic homotopy theory allows us to prove some results without any assumptions on resolution of singularities or Tate's semi-simplicity conjecture.

2024-04-29T02:13:20Z Completely rewritten to improve previous results and exposition, 37 pages, comments welcome! Logan Hyslop http://arxiv.org/abs/2509.24362v1 2025-09-29T07:00:35Z

The Oka principle is a heuristic in complex geometry which states that, for a wide class of complex-analytic problems concerning Stein spaces, any obstruction to finding a holomorphic solution is purely topological. A classical theorem of H.~Grauert implies that for a reduced Stein space $X$, the natural map $K^{0, \mathcal{O}}(X) \to K^{0, \mathcal{C}}(X)$ from ordinary holomorphic K-theory $K^{0, \mathcal{O}}(X)$ to ordinary topological K-theory $K^{0, \mathcal{C}}(X)$ is an isomorphism: this is the basic manifestation of the Oka principle in K-theory. In this paper, we generalise this theorem to higher twisted K-theory. For a reduced Stein space $X$ and a torsion class $α\in H^3(X,\mathbb{Z})$, we prove that the natural map $K^{-n,\mathcal{O}}_α(X) \to K^{-n,\mathcal{C}}_α(X)$ is an isomorphism for all $n \geq 0$. We introduce the first definition of higher twisted holomorphic K-theory in the literature, defined through a simplicially enriched version of Quillen's $S^{-1}S$ construction. Our parallel construction for topological higher twisted K-theory is a new formulation which is compatible with existing theory. The proof of the main theorem employs Cartan-Grauert cohomological methods and an equivalence, which we prove, between the simplicial symmetric monoidal categories of holomorphic and topological $α$-twisted vector bundles.

2025-09-29T07:00:35Z Haripriya Sridharan http://arxiv.org/abs/2509.24284v1 2025-09-29T04:56:48Z

In complex K-theory, the Fourier-Mukai transform is an isomorphism between K-theory groups of a torus and its dual torus which is defined by pullback, tensoring by the Poincaré line bundle and pushforward. The Fourier-Mukai transform extends to families of dual tori provided one works with twisted K-theory. The Fourier-Mukai transform is then an isomorphism between twisted K-theory groups of $T$-dual torus bundles. In this paper we prove an extension of these results to twisted KR-theory. We introduce a notion of Real $T$-duality for torus bundles with Real structures and prove the existence of Real $T$-duals. We then define a Real Fourier-Mukai transform for Real $T$-dual torus bundles and prove that it is an isomorphism. Lastly, we consider an application of these results to the families index of Real Dirac operators which is relevant to Real Seiberg-Witten theory.

2025-09-29T04:56:48Z 47 pages David Baraglia http://arxiv.org/abs/2509.23998v1 2025-09-28T17:44:41Z

We establish bounds on the local degrees of FI-modules (in the sense of Church-Miller-Nagpal-Reinhold [CMNR18]) through a spectral sequence which only depend on the initial page and is independent from how many pages have been flipped.

2025-09-28T17:44:41Z 9 pages. Applications to be added later Cihan Bahran http://arxiv.org/abs/2509.23950v1 2025-09-28T16:13:14Z

For a discrete group $Γ$, we study vector bundles $E_ρ$ on compact subsets of $BΓ$ associated to almost representations $ρ:Γ\to U(n)$. We compute the first Chern class of $E_ρ$ in terms of $ρ$. When $ρ$ is both projective and almost multiplicative, we determine its Chern character. These invariants yield obstructions to perturbing almost representations to those arising from projective representations. For residually finite amenable groups, the $K$-theory classes of $E_ρ$ classify almost representations up to stable equivalence. Finally, for $\mathbb{Z}^d$, $\mathbb{Z}\times \mathbb{H}_3$, and $\mathbb{H}_3\times \mathbb{H}_3$, we construct explicit almost representations with prescribed Chern classes.

2025-09-28T16:13:14Z Marius Dadarlat Forrest Glebe http://arxiv.org/abs/2209.07801v7 2025-09-25T19:34:13Z

We prove a general form of the statement that the cohomology of a quotient stack can be computed by the Borel construction. It also applies to the lisse extensions of generalized cohomology theories like motivic cohomology and algebraic cobordism. We use this to prove a (higher) equivariant Grothendieck-Riemann-Roch theorem, comparing Borel-equivariant G-theory and equivariant Chow groups. We also give a Bernstein-Lunts-type gluing description of the infinity-category of equivariant sheaves on a scheme X, in terms of nonequivariant sheaves on X and sheaves on its Borel construction.

2022-09-16T09:01:33Z 41 pages Adeel A. Khan Charanya Ravi http://arxiv.org/abs/2509.19542v2 2025-09-25T15:22:21Z

We construct spectrum-level splittings of $BPGL \langle 1 \rangle \wedge BPGL \langle 1 \rangle$ at all primes $p$, where $BPGL \langle 1 \rangle$ is the first truncated motivic Brown--Peterson spectrum. Classically, $BP\langle 1 \rangle \wedge BP\langle 1 \rangle$ was first described by Kane and Mahowald in terms of Brown-Gitler spectra. This splitting was subsequently reinterpreted by Lellman and Davis-Gitler-Mahowald in terms of Adams covers. In this paper, we give motivic lifts of these splittings in terms of Adams covers, over the base fields $\mathbb{C}, \, \mathbb{R},$ and $\mathbb{F}_q$, where $\mathbb{F}_q \neq p$. As an application, we compute the $E_1$-page of the $BPGL\langle 1 \rangle$-based Adams spectral sequence as a module over $BPGL\langle 1 \rangle$, both in homotopy and in terms of motivic spectra. We also record analogous splittings for $BPGL \langle 0 \rangle \wedge BPGL \langle 0 \rangle$.

2025-09-23T20:10:30Z 60 pages, comments welcome! fixed typos in the abstract and introduction Jackson Morris Sarah Petersen Elizabeth Tatum http://arxiv.org/abs/2509.20853v1 2025-09-25T07:41:28Z

Given an exact module category over a finite tensor category with finitely generated cohomology, we show that if there exists an object of complexity at least three, then the category is of wild representation type. In particular, if the Krull dimension of the cohomology ring of the finite tensor category is at least three, then this category is wild.

2025-09-25T07:41:28Z 14 pages Petter Andreas Bergh Karin Erdmann Julia Yael Plavnik Sarah Witherspoon http://arxiv.org/abs/2509.20331v1 2025-09-24T17:22:35Z

We study the operad structure on the homology of moduli spaces of pointed rooted trees of $d$-dimensional projective spaces, introduced by Chen, Gibney and Krashen a couple of decades ago. We describe this operad by generators and relations, show that it is homotopy Koszul, exhibit a Givental-type action on representations of that operad, and prove that this operad represents the homotopy quotient of the operad of chains of $S^1$-framed little $2d$-disks by its natural circle action. Our approach also sheds new light on the $d=1$ case, revealing a new combinatorial way to write the original Givental formulas.

2025-09-24T17:22:35Z 43 pages, comments are welcome Vladimir Dotsenko Eduardo Hoefel Sergey Shadrin Grigory Solomadin http://arxiv.org/abs/2509.19699v1 2025-09-24T02:11:20Z

Let $R$ be a real smooth affine domain of dimension $3$ such that $R$ has either no real maximal ideals or the intersection of all real maximal ideals in $R$ has height at least $1$. Then we prove that all stably free $R$-modules of rank $2$ are free if and only if the Hermitian $K$-theory group $W_{SL}(R)$ is trivial.

2025-09-24T02:11:20Z 8 pages; comments welcome! Tariq Syed http://arxiv.org/abs/2509.18702v1 2025-09-23T06:37:32Z

These notes were originally intended to be complementary material for an introductory course on self-similar graphs and their algebras, presented by the author at the CIMPA School ``K-theory and Operator Algebras'', held in La Plata and Buenos Aires (Argentina) from 28 July to 8 August 2025. In these notes, we introduce the concept of self-similar graph, associated with groups acting on graphs. We define the corresponding $C^*$-algebra using different complementary approaches, to understand its basic properties. We also analyze various generalizations that appear in the literature and, in particular, review the relationship of this construction with Zappa-Szép products. Finally, we present very recent results on homology and $K$-theory for these algebras.

2025-09-23T06:37:32Z Enrique Pardo http://arxiv.org/abs/2509.18281v1 2025-09-22T18:07:12Z

We construct the Chow weight structure on a full subcategory of the category of $\mathrm{K}$-motives over a tame quotient stack in characteristic zero as defined by Hoyois. We also prove that in a quite general case, this full subcategory is exactly the category of geometric $\mathrm{K}$-motives. We apply this to give a partial Springer decomposition in the context of $\mathrm{K}$-motives.

2025-09-22T18:07:12Z 11 pages, comments are welcome! Thiago Landim