https://arxiv.org/api/y2Hlbp1qpjxHYTM/68eHnaZTI+Q 2026-03-24T11:22:26Z 6516 60 15 http://arxiv.org/abs/2512.12810v2 2026-02-23T17:57:21Z

Given an open-closed decomposition of the stratifying poset, we construct a new semi-orthogonal decomposition of the $\infty$-category of constructible sheaves on a stratified space admitting an exit-path $\infty$-category. From this we obtain a direct sum decomposition of the localizing invariants of the $\infty$-category of constructible sheaves. Since the $\ast$-pullback to the open stratum in the usual (recollement) semi-orthogonal decomposition is not strongly left adjoint, this splitting does not follow from pure sheaf theory considerations. Instead, the splitting crucially relies on the exodromy equivalence: it implies that on the level of constructible sheaves, the $\ast$-pullback to a closed stratum and the $!$-pushforward from an open stratum admit left adjoints. These new functors provide an additional semi-orthogonal decomposition (with the roles of open and closed reversed) in which the relevant functors are strongly left adjoint.

2025-12-14T19:18:30Z Comments very welcome. v2. 20 pages. Corrected a typo in a formula in Proposition 2.6 Qingyuan Bai Peter J. Haine http://arxiv.org/abs/2507.12458v2 2026-02-23T16:55:58Z

We study the algebraic $K$-theory of smooth schemes over $W_n(\Bbbk)$, where $\Bbbk$ is a perfect field of characteristic $p>0$. For a $p$-adic smooth scheme $X_{\centerdot}$ over $W_{\centerdot}(k)$, we introduce complexes $p^{r,m}_{r,n}Ω^{\bullet}_{X_{\centerdot}}$ and infinitesimal motivic complexes $\mathbb{Z}_{X_n}(r)$, and for $0 \leq i \leq p-4$, we establish a Chern character isomorphism between the sheaf $\mathcal{K}_{X_n,X_{m},i}$ and the direct sum of certain cohomology sheaves of $p^{r,m}_{r,n}Ω^{\bullet}_{X_{\centerdot}}$ with $1\leq r\leq i$. This leads to a criterion for $K$-theoretic infinitesimal deformations, which is related to Emerton's $p$-adic variational Hodge conjecture. By taking the limit $n \rightarrow \infty$ with $m=1$, we recover a theorem of Bloch, Esnault, and Kerz on continuous relative algebraic $K$-theory. The proof combines Brun's isomorphism relating $K$-theory to derived cyclic homology, computations of relative cyclic homology over $W(\Bbbk)$, and an analysis of multiplicative structures of the mod $p$ relative $K$-theory.

2025-07-16T17:57:36Z Typos corrected. Section 10.4 is detailed. The abstract and introduction are improved. Comments are welcome! Xiaowen Hu http://arxiv.org/abs/2412.17220v3 2026-02-23T14:59:16Z

We extend unbounded Kasparov theory to encompass conformal group and quantum group equivariance. This new framework allows us to treat conformal actions on both manifolds and noncommutative spaces. As examples, we present unbounded representatives of Kasparov's $γ$-element for the real and complex Lorentz groups and display the conformal $SL_q(2)$-equivariance of the standard spectral triple of the Podleś sphere. In pursuing descent for conformally equivariant cycles, we are led to a new framework for representing Kasparov classes. Our new representatives are unbounded, possess a dynamical quality, and also include known twisted spectral triples. We define an equivalence relation on these new representatives whose classes form an abelian group surjecting onto KK. The technical innovation which underpins these results is a novel multiplicative perturbation theory. By these means, we obtain Kasparov classes from the bounded transform with minimal side conditions.

2024-12-23T02:21:41Z 89 pages Ada Masters Adam Rennie http://arxiv.org/abs/2602.19787v1 2026-02-23T12:43:13Z

We study a going-down principle for {é}tale groupoids and its applications, extending the earlier results for locally compact groups by Chabert, Echterhoff and Oyono-Oyono, and for ample groupoids by B{ö}nicke and by B{ö}nicke-Dell'Aiera. The proof in the general {é}tale groupoid setting is based on a more detailed study of groupoid simplicial complexes. We also study a bicategorical functoriality involving the induction functors from {é}tale groupoid correspondences, which was introduced by Miller. This yields a bicategorical interpretation of the induction-restriction adjunction. As an application of the going-down principle, we provide a proof of the split injectivity of Baum-Connes assembly map for {é}tale groupoids that are strongly amenable at infinity, recovering a result obtained by B{ö}nicke and Proietti via a categorical approach. The going-down principle is also applied on the proof of continuity of topological K-theory of {é}tale groupoids and the study of scope of validity of K{ü}nneth formulas.

2026-02-23T12:43:13Z Kai Mao IECL http://arxiv.org/abs/2407.02294v3 2026-02-23T11:09:44Z

Let $K$ be a number field, let $A$ be a finite-dimensional semisimple $K$-algebra, and let $Λ$ be an $\mathcal{O}_{K}$-order in $A$. We give practical algorithms that determine whether $Λ$ has stably free cancellation (SFC). As an application, we determine all finite groups $G$ of order at most $383$ such that the integral group ring $\mathbb{Z}[G]$ has SFC.

2024-07-02T14:27:44Z To appear in Transactions of the American Mathematical Society; 44 pages; v3 includes many revisions following referee report; v2 includes many revisions, including corrections to results on which integral group rings Z[G] have SFC or not Werner Bley Tommy Hofmann Henri Johnston 10.1090/tran/9723 http://arxiv.org/abs/2506.20321v2 2026-02-21T12:19:31Z

Given a unital action $θ$ of an inverse monoid $S$ on an algebra $A$ over a filed $K$ we produce (co)homology spectral sequences which converge to the Hochschild (co)homology of the crossed product $A\rtimes_θS$ with values in a bimodule over $A\rtimes_θS$. The spectral sequences involve a new kind of (co)homology of the inverse monoid $S,$ which is based on $KS$-modules. The spectral sequences take especially nice form, when $(A\rtimes_θS)^e $ is flat as a left (homology case) or right (cohomology case) $A^e$-module, involving also the Hochschild (co)homology of $A.$ Same nice spectral sequences are also obtained if $K$ is a commutative ring, over which $A$ is projective, and $S$ is $E$-unitary. We apply our results to the Steinberg algebra $A_K(\mathscr{G})$ over a field $K$ of an ample groupoid $\mathscr{G},$ whose unit space $\mathscr{G} ^{(0)}$ is compact. In the homology case our spectral sequence collapses on the $p$-axis, resulting in an isomorphism between the Hochschild homology of $A_K(\mathscr{G})$ with values in an $A_K(\mathscr{G})$-bimodule $M$ and the homology of the inverse semigroup of the compact open bisections of $\mathscr{G}$ with values in the invariant submodule of $M.$

2025-06-25T11:02:33Z Mikhailo Dokuchaev Mykola Khrypchenko Juan Jacobo Simón http://arxiv.org/abs/2602.18245v1 2026-02-20T14:29:00Z

We compute the value of finitary localizing invariants, including algebraic $K$-theory, on categories of sheaves over stably locally compact spaces $X$. Our formula simultaneously generalizes the cases of locally compact Hausdorff and coherent (spectral) spaces and recovers several smaller $K$-theory calculations as special instances.

2026-02-20T14:29:00Z Georg Lehner http://arxiv.org/abs/2602.14380v2 2026-02-19T18:16:35Z

We compute the $\mathrm{MU}$-based syntomic cohomologies, mod $(p,v_1,\cdots,v_{n})$, of all $\mathbb{E}_1$ $\mathrm{MU}$-algebra forms of the truncated Brown--Peterson spectrum $\mathrm{BP}\langle n\rangle$. As qualitative consequences, we resolve the Lichtenbaum--Quillen, telescope, and redshift questions for the algebraic K-theories of all $\mathbb{E}_{1}$ $\mathrm{MU}$-algebra forms of $\mathrm{BP} \langle n\rangle$. This extends work of the Hahn and Wilson. We also explicitly compute the algebraic K-theory of arbitrary $\mathbb{E}_{1}$ $\mathrm{MU}$-algebra forms of $\mathrm{BP}\langle 2\rangle$ at all primes $p\ge 5$ extending previous work of the author, Ausoni, Culver, Höning, and Rognes.

2026-02-16T01:12:50Z 19 pages, 1 figure, comments welcome! V2: Fixed some howlers. Comments still welcome! Gabriel Angelini-Knoll http://arxiv.org/abs/2602.17451v1 2026-02-19T15:15:58Z

We determine all restrictions on the dimension of the fixed locus of a diagonalizable group acting on a smooth projective variety that arise from the Chern numbers of the ambient variety. We reduce the problem to finding lower bounds for actions of p-groups, which we achieve by analyzing the equivariant cobordism ring with the help of the concentration theorem. To do so, we construct enough explicit examples of actions that realize the expected lower bound. We then prove that this family is maximal in the equivariant cobordism ring, in an appropriate sense.

2026-02-19T15:15:58Z 53 pages Olivier Haution http://arxiv.org/abs/2408.01922v2 2026-02-19T12:34:22Z

Given two (hereditary) complete cotorsion pairs $(\mathcal{X}_1,\mathcal{Y}_1)$ and $(\mathcal{X}_2,\mathcal{Y}_2)$ in an exact category with $\mathcal{X}_1\subseteq \mathcal{Y}_2$, we prove that $\left({\rm Smd}\langle \mathcal{X}_1,\mathcal{X}_2 \rangle,\mathcal{Y}_1\cap \mathcal{Y}_2\right)$ is also a (hereditary) complete cotorsion pair, where ${\rm Smd}\langle \mathcal{X}_1,\mathcal{X}_2 \rangle$ is the class of direct summands of extension of $\mathcal{X}_1$ and $\mathcal{X}_2$. As an application, we construct complete cotorsion pairs, such as $(^\perp\mathcal{GI}^{\leqslant n},\mathcal{GI}^{\leqslant n})$, where $\mathcal{GI}^{\leqslant n}$ is the class of modules of Gorenstein injective dimension at most $n$. And we also characterize the left orthogonal class of exact complexes of injective modules and the classes of modules with finite Gorenstein projective, Gorenstein flat, and PGF dimensions.

2024-08-04T04:29:30Z Qikai Wang Haiyan Zhu 10.1007/s41980-024-00967-9 http://arxiv.org/abs/2506.06503v2 2026-02-19T07:15:39Z

We define and study bivariant equivariant periodic cyclic homology for actions of ample groupoids. In analogy to the group case, we show that the theory satisfies homotopy invariance, stability, and excision in both variables. We also prove an analogue of the Green-Julg theorem for actions of proper groupoids.

2025-06-06T19:56:20Z 44 pages. Two errors (in the proof of Theorem 5.8 and Theorem 6.1) fixed, typos corrected Francesco Pagliuca Christian Voigt http://arxiv.org/abs/2505.02202v2 2026-02-18T19:37:53Z

We establish a connection between multiple polylogarithms on a torus and the Steinberg module of $\mathbb{Q}$, and show that multiple polylogarithms of depth $d$ and weight $n$ can be expressed via a single function $\mathrm{Li}_{n-d+1,1,\dots,1}(x_1,x_2,\dots,x_d)$. Using this connection, we give a simple proof of the Bykovskiĭ theorem, explain the duality between multiple polylogarithms and iterated integrals, and provide a polylogarithmic interpretation of the conjectures of Rognes and Church-Farb-Putman.

2025-05-04T17:49:08Z 67 pages Steven Charlton Danylo Radchenko Daniil Rudenko http://arxiv.org/abs/2601.13921v3 2026-02-18T17:07:41Z

In this paper, we suggest a sufficient condition on the properadic envelope of a quadratic dioperad to be Koszul in terms of twisted associative algebras. As a particular new example, we show that the properad of quadratic Poisson structures is Koszul.

2026-01-20T12:50:28Z Comments are welcome, v2: minor corrections, v3: grading corrections Anton Khoroshkin http://arxiv.org/abs/2509.12984v3 2026-02-18T11:37:09Z

We compute the full Tamarkin-Tsygan calculus of a Koszul algebra whose global dimension exceeds the number of generators. Our results show that even for algebras possessing an economic presentation and agreeable homological properties, the Hochschild (co)homology, as well as the structure of the Tamarkin--Tsygan calculus may exhibit a rather intricate behavior.

2025-09-16T11:45:27Z Jun Chen Xiabing Ruan Jia Yang http://arxiv.org/abs/2601.23029v2 2026-02-17T14:37:55Z

Answering a question of Carrión et al in their recent landmark paper on C*-algebra classification, we prove a general uniqueness theorem for $KK$-theory. Given arbitrary separable C*-algebras $A$ and $B$ and a Cuntz pair consisting of two absorbing representations $\varphi,ψ: A\to\mathcal{M}(B\otimes\mathcal{K})$, the induced element of $KK(A,B)$ vanishes if and only if $\varphi$ and $ψ$ are strongly asymptotically unitarily equivalent. This improves upon the Lin-Dadarlat-Eilers stable uniqueness theorem. The conclusion is deduced by first showing the $K_1$-injectivity of an auxiliary C*-algebra associated to the C*-pair $(A,B)$, which is sometimes called the Paschke dual algebra in the literature. Most of the article is concerned with the treatment of an umbrella theorem, which yields such a uniqueness theorem for other variants of $KK$-theory. This encompasses nuclear $KK$-theory, ideal-related $KK$-theory, equivariant $KK$-theory, or any combinations thereof.

2026-01-30T14:39:00Z v2 33 pages; rewritten intro, extra corollaries, improved notation and minor corrections Gábor Szabó