https://arxiv.org/api/X/6qCQMlHbmfz9TWztnZ51fE6Bo 2026-03-20T09:04:56Z 6512 0 15 http://arxiv.org/abs/2603.18932v1 2026-03-19T14:10:17Z

Based on the work of Dundas, Lindenstrauss and Richter we compute the topological André-Quillen homology with reduced coefficients for Eilenberg-MacLane spectra such as $H\mathbb{Z}$ and $H\mathbb{Z}/p^n$. The case of $H\mathbb{F}_p$ was settled in an unpublished work of Basterra and Mandell, which was refined later by Brantner and Mathew in the context of spectral partition Lie algebras. Our approach is similar to Cartan's calculation of the Steenrod algebra, and eventually shorter. We also present some computations relative to the $H\mathbb{Z}$ base.

2026-03-19T14:10:17Z 15 pages, latex Cyril Barlasov http://arxiv.org/abs/2603.18456v1 2026-03-19T03:36:15Z

We establish Kirchberg's Local Lifting Property and Lubotzky-Shalom's Property FD for classes of finitely generated groups of central importance in geometric and combinatorial group theory: $3$-manifold groups, limit groups, and certain one-relator groups and right-angled Artin groups. We deduce that such groups are very flexibly stable, with respect to normalized unitarily invariant norms. The exposition is made accessible to operator algebraists and group theorists alike.

2026-03-19T03:36:15Z 75 pages Francesco Fournier-Facio Rufus Willett http://arxiv.org/abs/2512.02373v2 2026-03-19T02:58:12Z

Let $A$ denote an affine algebra over an algebraically closed field $k$, with $\dim A=d\geq 3$. In the light of availability of cancellation theorems for stably free modules $P$ with $rank(P)=d-1$ (corank one), we try to implement the methods of complete intersections theory in corank zero, to the corank one case. Our conclusion is that cancellation theorems need to clean up some of the lack of minor generalities, for such an approach to work. However, we hypothesize and derive some of the consequences to complete intersections, of such hypotheses.

2025-12-02T03:29:16Z Nothing new! Only did some editing Satya Mandal http://arxiv.org/abs/2603.18288v1 2026-03-18T21:22:29Z

The aim of this work is to explicitly compute the K-theory of the category of matroids with respect to the covering family of Tutte coverings. In particular, we show that this is equivalent to the K-theory spectrum of the category of graphic matroids on looped forests, with the covering family generated by isomorphisms. Further, we show that this yields an equivalence of $C_2$-spectra.

2026-03-18T21:22:29Z 12 pages Luigi Caputi Sabino Di Trani http://arxiv.org/abs/2603.17853v1 2026-03-18T15:43:00Z

We introduce generalizations of global equivariant spectra which encode globally equivariant cohomology theories equipped with additional transfers, such as the deflation maps present in equivariant topological $K$-theory. We call these $\mathcal{Q}$-ambidextrous global spectra, where $\mathcal{Q}$ is a parameter encoding which additional transfers one allows. As our main example, we prove that the tempered cohomology theory associated with an oriented $\mathbf{P}$-divisible group, constructed by Lurie, is represented by a $π$-ambidextrous global $\mathbf{E}_\infty$ ring spectrum, encoding transfers along all relatively $π$-finite maps of global spaces. This is established by means of a general parametrized decategorification process, perhaps of independent interest, that produces $\mathcal{Q}$-ambidextrous global spectra from suitable global families of stable $\infty$-categories. By allowing $\mathcal{Q}$ to vary, we are able to coherently encode the fact that non-invertible morphisms of oriented $\mathbf{P}$-divisible groups induce maps of tempered theories that only commute with certain transfers. With these $π$-ambidextrous enhancements in hand, we explore the fundamental properties of tempered theories as equivariant stable homotopy types. We construct a well-behaved $F$-global homology theory for any $π$-finite space $F$, with good base change properties. Taking $F = \mathbf{B} H$ for a finite group $H$, this establishes general base change results for the geometric fixed points of tempered theories. We use this to compute the $H$-geometric fixed points of tempered theories, showing that they vanish for $H$ nonabelian and admit a simple algebro-geometric model when $H$ is abelian, with identifiable blueshift properties.

2026-03-18T15:43:00Z 96 pages, comments welcome! William Balderrama Jack Morgan Davies Sil Linskens http://arxiv.org/abs/2502.14985v2 2026-03-18T12:31:47Z

We compute the K-theory of the C*-category generated by order zero, equivariant, properly supported, classical pseudodifferential operators acting on sections of homogeneous bundles over the symmetric space of a real reductive Lie group G. Our result uses the Connes-Kasparov isomorphism for G, and in fact is equivalent to the Connes-Kasparov isomorphism. We relate our computation to David Vogan's well-known parametrization of the tempered irreducible representations of G with real infinitesimal character. When the reductive group G has real rank one, we formulate and prove a Fourier isomorphism theorem for equivariant order zero pseudodifferential operators on the symmetric space, and use it to prove a K-theoretic version of Vogan's theorem.

2025-02-20T19:21:38Z Revised version. Accepted for publication in the Journal of the Institute of Mathematics of Jussieu Peter DeBello Nigel Higson http://arxiv.org/abs/2603.16799v1 2026-03-17T17:05:05Z

We present implementations of the topological K-theory spectra $KU$ and $KO$ in terms of time evolution operators of irreducible free fermion systems with symmetries, with explicit formulas for the structural suspension maps. We also introduce a geometric definition of weakly interacting time evolution operators, and show how associated spectra $KU^{wi}$ and $KO^{wi}$ deformation retract to $KU$ and $KO$. We thus have a stable homotopy theoretical proof that the tenfold way is stable to weak interactions.

2026-03-17T17:05:05Z 29 pages, 2 Tables Lucas C. P. A. M. Müssnich Renato Vasconcellos Vieira http://arxiv.org/abs/2405.13223v3 2026-03-17T16:08:17Z

The famous Bloch--Kato conjecture implies that for a field $F$ containing a primitive $p$th root of unity, the cohomology ring of the absolute Galois group $G_F$ of $F$ with $\mathbb{F}_p$ coefficients is generated by degree one elements. We investigate other groups with this property and characterize all such groups that are finite. Restricting to the case of $p$-groups, our work answers a question of Quadrelli, Snopce and Vanacci posed in 2022. As a further step in this program, we study implications of the Bloch--Kato conjecture to cohomological invariants of finite field extensions. Conversely, these cohomological invariants have implications for refining the Bloch--Kato conjecture. In service of such a refinement, we define the notion of a decomposing field for a cohomology class of a finite field extension and study minimal decomposing fields of degree two cohomology classes arising from degree $p$ extensions. We illustrate this refinement by explicitly computing the cohomology rings of superpythagorean fields and $p$-rigid fields. Finally, we construct nontrivial examples of cohomology classes and their decomposing fields, which rely on computations by David Benson in the appendix.

2024-05-21T22:14:54Z 28 pages, to appear in the Journal of Number Theory Sunil K. Chebolu with an appendix by David Benson Ján Mináč with an appendix by David Benson Cihan Okay with an appendix by David Benson Andrew Schultz with an appendix by David Benson Charlotte Ure with an appendix by David Benson http://arxiv.org/abs/2603.15873v1 2026-03-16T20:05:07Z

We construct multiplicative norms on equivariant nonconnective algebraic $K$-theory for finite groups $G$. We also construct a genuine equivariant version of THH equipped with a Dennis trace map from K-theory compatible with the multiplicative norms. To do so, we follow the general strategy of Blumberg-Gepner-Tabuada in the nonequivariant case by generalizing their category of localizing motives to the genuine equivariant context, building upon the theory of perfect $G$-stable categories of the first-named author. Crucially, we proceed using the recent perspective on noncommutative motives by the second-named author with Sosnilo and Winges which allows us to deal with non-exact functors on this category of motives. Together with an isotropy separation argument for equivariant cubes, we prove our main theorem that norms of stable categories preserve equivariant motivic equivalences. As an immediate consequence, we obtain a unique equivariant multiplicative refinement of nonconnective algebraic $K$-theory. From these constructions and results, we draw several applications, namely: (1) that the endofunctor of (equivariant) tensor powers on ordinary perfect stable categories preserve motivic equivalences; (2) that the multiplicative norms also preserve the additive motivic equivalences, thus yielding a motivic refinement of a result of Elmanto-Haugseng and Cnossen-Haugseng-Lenz-Linskens that connective algebraic K-theory admits multiplicative norms; (3) we construct a genuine equivariant version of topological Hochschild homology equipped with a Dennis trace map that is compatible with multiplicative norms; and (4) we prove that every genuine $G$-spectrum is the K-theory of a perfect $G$-stable category.

2026-03-16T20:05:07Z 50 pages. Comments very welcome! Kaif Hilman Maxime Ramzi http://arxiv.org/abs/2202.02591v3 2026-03-16T20:05:00Z

For an atomic orbital base category in the sense of Barwick-Dotto-Glasman-Nardin-Shah, we introduce the category of parametrised perfect-stable categories and use it to construct the parametrised version of noncommutative motives in which algebraic K-theory is corepresented. Furthermore, we initiate a rudimentary theory of parametrised cubes which could be of independent interest, generalising some of the elements in Dotto's theory of equivariant Goodwillie calculus beyond the equivariant case. Using this cubical theory, we show that in the equivariant case for finite 2-groups G, the parametrised noncommutative motives canonically refine to G-symmetric monoidal categories. Consequently, this endows the equivariant algebraic K-theory spectra for these groups with the structure of E-infinity-ring spectra equipped with multiplicative norms in the sense of Hill-Hopkins-Ravenel. Along the way, we will also provide a machine to manufacture G-symmetric monoidal categories from symmetric monoidal categories equipped with G-actions and elucidate how the aforementioned parametrised perfect-stable categories relate to Mackey functors valued in perfect-stable categories.

2022-02-05T16:17:14Z 58 pages; v3 minor corrections and changes in exposition, addition of Hypotheses 2.2.17 and 4.2.1 Kaif Hilman http://arxiv.org/abs/2603.15464v1 2026-03-16T16:01:28Z

We construct two families of examples of pro-p groups, with rather elementary presentations, that do not complete into 1-cyclotomic oriented pro-p groups. These provide brand new examples of pro-p groups that do not occur as maximal pro-p Galois groups of fields containing a root of unity of order p - and thus, as absolute Galois groups. Moreover, we show that these pro-p groups may not be ruled out as maximal pro-p Galois groups employing other cohomological properties that are known to hold for all maximal pro-p Galois groups, such as the triple Massey vanishing property, or the quadraticity of Fp-cohomology.

2026-03-16T16:01:28Z Simone Blumer Claudio Quadrelli http://arxiv.org/abs/2603.08653v2 2026-03-16T14:23:50Z

In this paper we prove the theorem of the heart for Weibel's homotopy $K$-theory $KH.$ Namely, if $\mathcal{C}$ is a small stable $\infty$-category with a bounded $t$-structure, then the realization functor $D^b(\mathcal{C}^{\heartsuit})\to \mathcal{C}$ induces an equivalence of spectra $KH(\mathcal{C}^{\heartsuit})\xrightarrow{\sim}KH(\mathcal{C}).$ In a certain sense this result is dual to the Dundas-Goodwillie-McCarthy theorem. We deduce the dévissage theorem for $KH$ of abelian categories, also on the level of spectra (in all degrees). More generally, we prove these results for dualizable categories with nice $t$-structures and for the so-called coherently assembled abelian categories. The proof is heavily based on another new result, which is a much stronger version of Barwick's theorem of the heart. Its special case states the following: if $\mathcal{C}$ is a small stable category with a bounded $t$-structure, such that for some $n\geq 1$ the realization functor induces isomorphisms on $\operatorname{Ext}^{\leq n}$ between the objects of $\mathcal{C}^{\heartsuit},$ then the map $K_j(\mathcal{C}^{\heartsuit})\to K_j(\mathcal{C})$ is an isomorphism for $j\geq -n-1,$ and a monomorphism for $j = -n-2.$ Moreover, we prove that these estimates are sharp, even for dg categories over a field. In particular the naive $K$-theoretic theorem of the heart fails for $K_{-3}.$

2026-03-09T17:31:36Z 93 pages; v2: minor changes, typos fixed, references added Alexander I. Efimov http://arxiv.org/abs/1910.14007v5 2026-03-15T14:02:30Z

Noncommutative Kähler structures were recently introduced as an algebraic framework for studying noncommutative complex geometry on quantum homogeneous spaces. In this paper, we introduce the notion of a \emph{compact quantum homogeneous Kähler space} which gives a natural set of compatibility conditions between covariant Kähler structures and Woronowicz's theory of compact quantum groups. Each such object admits a Hilbert space completion possessing a remarkably rich yet tractable structure. The analytic behaviour of the associated Dolbeault-Dirac operators is moulded by the complex geometry of the underlying calculus. In particular, twisting the Dolbeault-Dirac operator by a negative Hermitian holomorphic module is shown to give a Fredholm operator if and only if the top anti-holomorphic cohomology group is finite-dimensional. In this case, the operator's index coincides with the twisted holomorphic Euler characteristic of the underlying noncommutative complex structure. The irreducible quantum flag manifolds, endowed with their Heckenberger-Kolb calculi, are presented as motivating examples.

2019-10-30T17:43:58Z This is an rewritten version of the paper, which has been divided into two separate papers. The second half will appear as a separate ArXiv entry Biswarup Das Réamonn Ó Buachalla Petr Somberg http://arxiv.org/abs/2510.04625v3 2026-03-14T15:15:47Z

These notes are intended to be an introduction to shifted symplectic geometry, targeted to Poisson geometers with a serious background in homological algebra. They are extracted from a mini-course given by the first author at the Poisson 2024 summer school that took place at the Accademia Pontaniana in Napoli.

2025-10-06T09:32:44Z v3: fixed a small inaccuracy in Example 2.34. Final version. v2: 47 pages. Minor changes, following referee's comments. To appear in the Springer INdAM volume "Poisson Geometry and Mathematical Physics". v1: 45 pages. Lecture notes from a mini-course Damien Calaque Stefano Ronchi http://arxiv.org/abs/2603.13692v1 2026-03-14T01:52:46Z

This paper investigates the Mayer-Vietoris sequence for the Milnor square. While such sequences often involve elusive intermediate terms, we provide an explicit characterization of the key group $X$ in a new, more general variant of the sequence. By identifying $X$ as a categorical pullback, we provide a full, constructive proof of the modified Mayer-Vietoris sequence. Furthermore, we show that $X$ fits into a structural exact sequence involving the relative $K$-groups $K_{*}(A, B, I)$. Finally, we provide a homotopy-theoretic description of $X$ as the homotopy group of a suitable fiber, clarifying its structure, kernel , and image.

2026-03-14T01:52:46Z algebraic $K$-theory, Mayer-Vietoris sequence, pullback, pushout. 8 pages Yakun Zhang