https://arxiv.org/api/XKplKfFZBPLwOKNQaKTNFqJ5LeI 2026-04-04T08:13:12Z 6529 300 15 http://arxiv.org/abs/2510.07689v1 2025-10-09T02:26:46Z

Let $G$ be a connected simply-connected simple algebraic group over $\mathbb{C}$ and let $T$ be a maximal torus, $B\supset T$ a Borel subgroup and $K$ a maximal compact subgroup. Then, the product in the (algebraic) based loop group $Ω(K)$ gives rise to a comultiplication in the topological $T$-equivariant $K$-ring $K_T^{top}(Ω(K))$. Recall that $Ω(K)$ is identified with the affine Grassmannian $\mathcal{X}$ (of $G$) and hence we get a comultiplication in $ K_T^{top}(\mathcal{X})$. Dualizing, one gets the Pontryagin product in the $T$-equivariant $K$-homology $K^T_0(\mathcal{X})$, which in-turn gets identified with the convolution product (due to S. Kato). Now, $ K_T^{top}(\mathcal{X})$ has a basis $\{ξ^w\}$ over the representation ring $R(T)$ given by the ideal sheaves corresponding to the finite codimension Schubert varieties $X^w$ in $\mathcal{X}$. We make a positivity conjecture on the comultiplication structure constants in the above basis. Using some results of Kato, this conjecture gives rise to an equivalent conjecture on the positivity of the multiplicative structure constants in $T$-equivariant quantum $K$-theory $QK_T(G/B)$ in the Schubert basis.

2025-10-09T02:26:46Z 33 pages Shrawan Kumar http://arxiv.org/abs/2510.07170v1 2025-10-08T16:10:48Z

We prove a localisation theorem for the K-theory of filtering subcategories of exact $\infty$-categories which subsumes the localisation theorem for stable $\infty$-categories, Quillen's localisation theorem for abelian categories, and Schlichting's localisation theorem for s-filtering subcategories.

2025-10-08T16:10:48Z 42 pages Christoph Winges http://arxiv.org/abs/2509.15070v2 2025-10-08T13:25:13Z

We establish a connection between Cohen-Lyndon triples and equivariant homology theory, with a focus on the Baum-Connes conjecture. In the first part of this work, we establish an excision sequence for the classifying spaces for proper actions in equivariant homology theories. This provides a direct link between Cohen-Lyndon triples and the left-hand side of the Baum-Connes conjecture. Independently of these, we prove that the Baum-Connes conjecture with coefficients (BCC) with finite wreath products holds for all discrete hyperbolic groups, building on the monumental work of Lafforgue. Combining this with permanence properties and the work of Dahmani-Guirardel-Osin on relatively hyperbolic groups, we identify a broad class of groups, including all lattices in simple Lie groups of real rank one that satisfy the BCC with finite wreath products. This significantly broadens the scope of our first result, as Cohen-Lyndon triples arise naturally in the context of relatively hyperbolic groups, thereby connecting both sides of the Baum-Connes conjecture.

2025-09-18T15:32:02Z Minor edits: added a corollary on Anderson-type Einstein manifolds; expanded corollaries on mapping class groups. 51 pages, 1 figure Shintaro Nishikawa Nansen Petrosyan http://arxiv.org/abs/2509.23380v2 2025-10-08T04:19:17Z

In this paper, we employ quotients of Roe algebras as index containers for elliptic differential operators to study the existence problem of Riemannian metrics with positive scalar curvature on non-compact complete Riemannian manifolds. The non-vanishing of such an index locates the precise direction at infinity of the obstructions to positive scalar curvature, and may be viewed as a refinement of the positive scalar curvature problem. To achieve this, we formulate the relative coarse Baum-Connes conjecture and the relative coarse Novikov conjecture, together with their maximal versions, for general metric spaces as a program to compute the $K$-theory of the quotients of the Roe algebras relative to specific ideals. We show that if the metric space admits a relative fibred coarse embedding into Hilbert space or an $\ell^p$-space, certain cases of these conjectures can be verified, which yield obstructions to the existence of uniformly positive scalar curvature metrics in specified directions at infinity. As an application, we prove that the maximal coarse Baum-Connes conjecture holds for finite products of certain expander graphs that fail to admit fibred coarse embeddings into Hilbert space.

2025-09-27T16:02:18Z Liang Guo Qin Wang Chen Zhang http://arxiv.org/abs/2409.02359v3 2025-10-07T16:52:56Z

Nekrashevych associated to each self-similar group action an ample groupoid and a $\mathrm{C}^\ast$-algebra. We perform complete computations of the homology of the groupoid and the K-theory of the $\mathrm{C}^\ast$-algebra for a myriad of examples, including the Grigorchuk group, the Grigorchuk--Erschler group, Gupta--Sidki groups, and self-similar actions of free abelian groups and lamplighter groups. The key development is the construction, for arbitrary self-similar group actions, of long exact sequences which compute the homology and K-theory in terms of the homology of the group and K-theory of the group $\mathrm{C}^\ast$-algebra via the transfer map and the virtual endomorphism. Results are proved more generally for self-similar groupoids. As a consequence of our results and recent results of X.~Li, we are able to show that Röver's simple group containing the Grigorchuk group and Thompson's group $V$ is rationally acyclic but has nontrivial Schur multiplier. We prove many more Röver--Nekrashevych groups of self-similar groups are rationally acyclic.

2024-09-04T01:08:27Z v3: Added Definition 2.11 and corrected a minor flaw in the original (in-line) definition. Fixed a minor error in Theorem 2.18, and improved Proposition 2.17 to compensate. 78 pages. v2: minor changes, including reorganised introduction Alistair Miller Benjamin Steinberg http://arxiv.org/abs/1805.09050v3 2025-10-06T21:16:57Z

We study non-additive operations from algebraic Morava K-theories to oriented cohomology theories in algebraic geometry. For oriented cohomology theory $A$ that has a {$p^n$}-typical formal group law over a $\mathbb{Z}_{(p)}$-algebra we construct `Chern classes' from the algebraic $n$-th Morava K-theory with $p$-local coefficients to $A$. If the coefficient ring of $A$ is a free $\mathbb{Z}_{(p)}$-module we also prove that these Chern classes freely generate all operations from $\mathrm{K}(n)$ to $A$. Examples of such theories are algebraic Morava K-theories $\mathrm{K}(nm)^*$ for all $m\in\mathbb{N}$ and Chow groups with $p$-local coefficients. The universal $p^n$-typical oriented theory is $BP\{n\}^*$ whose coefficient ring is also a free $\mathbb{Z}_{(p)}$-module. Chern classes from the $n$-th algebraic Morava K-theory $\mathrm{K}(n)$ to itself allow us to introduce the gamma filtration on $\mathrm{K}(n)$. This is the best approximation to the topological filtration obtained by values of operations and it satisfies properties similar to that of the classical gamma filtration on $\mathrm{K}_0$. The major difference from the classical case is that Chern classes from the graded factors $gr^i_γ\mathrm{K}(n)^*$ to Chow groups with p-local coefficients are surjective for $i\le p^n$, which allows to estimate $p$-torsion in Chow groups of codimension up to $p^n$ of some varieties.

2018-05-23T10:53:57Z appendix A added, minor changes Pavel Sechin http://arxiv.org/abs/2409.07026v2 2025-10-05T10:54:18Z

In this article, we prove that if (A, B, C) is a recollement of abelian categories, then Wakamatsu tilting (resp. weak support tau-tilting) subcategories in A and C can induce Wakamatsu tilting (resp. weak support tau-tilting) subcategories in B, and the converses hold under natural assumptions. As an application, we mainly consider the relationship of tau-cotorsion torsion triples in (A, B, C).

2024-09-11T05:42:21Z Added Section 6: Examples, to appeaer in Comm. Algebra Yongduo Wang Hongyang Luo Yu-Zhe Liu Jian He Dejun Wu http://arxiv.org/abs/2510.03946v1 2025-10-04T21:21:53Z

In this article, we investigate the Schur multiplier of the special linear group $\mathrm{SL}_2(A)$ over finite commutative local rings $A$. We prove that the Schur multiplier of these groups is isomorphic to the $K$-group $K_2(A)$ whenever the residue field $A/\mathfrak{m}_A$ has odd characteristic and satisfies $|A/\mathfrak{m}_A| \neq 3,5,9$. As an application, we show that if $A$ is either the Galois ring $\mathrm{GR}(p^l,m)$ or the quasi-Galois ring $A(p^m,n)$ with residue field of odd characteristic and $|A/\mathfrak{m}_A| \neq 3,5,9$, then the Schur multiplier of $\mathrm{SL}_2(A)$ is trivial.

2025-10-04T21:21:53Z 40 pages Behrooz Mirzaii Abraham Rojas Vega http://arxiv.org/abs/2505.15750v3 2025-10-03T16:52:12Z

We study several categories of analytic stacks relative to the category of bornological modules over a Banach ring. When the underlying Banach ring is a non-Archimedean valued field, this category contains derived rigid analytic spaces as a full subcategory. When the underlying field is the complex numbers, it contains the category of derived complex analytic spaces. In the second part of the paper, we consider localising invariants of rigid categories associated to bornological algebras. The main results in this part include Nisnevich descent for derived analytic spaces and a version of the Grothendieck-Riemann-Roch Theorem for derived dagger analytic spaces over an arbitrary Banach ring.

2025-05-21T16:57:37Z v1 - 96 pages, comments and feedback very welcome!; v2- Some corrections; references added, new material on passable morphisms of stacks (including detail about certain categories of sheaves being rigid); v3- Some minor corrections, new material on schemes and Berkovich locales Jack Kelly Devarshi Mukherjee http://arxiv.org/abs/2509.23521v2 2025-10-03T15:45:25Z

We introduce and study a new class of topological $G$-spaces generalizing the classical flag manifolds $G/T$ of compact connected Lie groups. These spaces, which we call the $m$-quasi-flag manifolds $ F_m = F_m(G,T) $, are topological realizations of the algebras $ Q_k(W) $ of $k$-quasi-invariant polynomials of the Weyl group $ W $ in the sense that their (even-dimensional) $G$-equivariant cohomology $ H_G(F_m, {\mathbb C}) $ is naturally isomorphic to $ Q_k(W) $, where $ m $ is a $W$-invariant integer-valued multiplicity function on the system of roots of $W$ and $ k = \frac{m}{2}$ or $ \frac{m+1}{2}$ depending on whether $m$ is even or odd. Many topological properties and algebraic structures related to the flag manifolds can be extended to quasi-flag manifolds. We compute the cohomology of quasi-flag manifolds by constructing their rational algebraic models in terms of coaffine stacks -- a certain kind of derived stacks introduced by B.Toën and J. Lurie to provide an algebro-geometric framework for rational homotopy theory. Besides cohomology, we also compute the equivariant K-theory of quasi-flag manifolds and extend some of our cohomological results to the multiplicative setting. On the topological side, our approach is strongly influenced by the classical work on homotopy decompositions of classifying spaces of compact Lie groups; however, the diagrams that we use in our decompositions do not arise from collections of subgroups of $G$ but rather from moment graphs -- combinatorial objects introduced in a different area of topology called the GKM theory.

2025-09-27T22:45:34Z 124 pages; 6 figures Yuri Berest Yun Liu Ajay C. Ramadoss http://arxiv.org/abs/2110.10212v3 2025-10-03T10:48:48Z

In this paper we show that the six functor formalism for sheaves on locally compact Hausdorff topological spaces, as developed for example in Kashiwara and Schapira's book Sheaves on Manifolds, can be extended to sheaves with values in any closed symmetric monoidal $\infty$-category which is stable and bicomplete. Notice that, since we do not assume that our coefficients are presentable or restrict to hypercomplete sheaves, our arguments are not obvious and are substantially different from the ones explained by Kashiwara and Schapira. Along the way we also study locally contractible geometric morphisms and prove that, if $f:X\rightarrow Y$ is a continuous map which induces a locally contractible geometric morphism, then the exceptional pullback functor $f^!$ preserves colimits and can be related to the pullback $f^*$. At the end of our paper we also show how one can express Atiyah duality by means of the six functor formalism.

2021-10-19T19:20:23Z 62 pages Marco Volpe http://arxiv.org/abs/2502.19626v3 2025-10-02T16:52:36Z

We show that $\kgl$-linear cohomology theories over an affine Dedekind scheme $S$ admit a canonical weight filtration on resolvable motives without inverting residual characteristics. Combined with upcoming work of Annala--Hoyois--Iwasa, this endows essentially all known logarithmic cohomology theories with weight filtrations when evaluated on projective sncd pairs $(X,D)$ over $S$. Furthermore, the weight-filtered cohomology is an invariant of the open part $U = X-D$. On variants of de Rham cohomology, we show that our weight filtration recovers the décalaged pole-order filtration defined by Deligne. One interpretation of this is that the spectral sequence associated to the pole-order filtration is an invariant of $U$ from the $E_2$-page onwards, which generalizes a result of Deligne from characteristic 0 to positive and mixed characteristic, and suggests that ``mixed Hodge theory'' is a useful invariant of $S$-schemes. Finally, we compute explicit examples of weight filtered pieces of cohomology theories. One of the computations reproves a slight weakening of a result of Thuillier stating that the singular cohomology of the dual complex associated to the boundary divisor of a good projective compactification does not depend on the chosen compactification. In the appendix, we prove the folklore results that the Whitehead tower functor is fully faithful and that perfect bivariant pairings with respect to the twisted arrow category correspond to duality.

2025-02-26T23:41:53Z Fixed broken cross references Toni Annala Piotr Pstrągowski http://arxiv.org/abs/2510.01390v1 2025-10-01T19:23:24Z

We construct a perfect version of Morel--Voevodsky's motivic homotopy category over a perfect base scheme in positive characteristic. By checking the axioms of a coefficient system, we establish a six-functor formalism. We show that multiplication by $p$ is already invertible in the perfect motivic homotopy catgory. By work of Elmanto--Khan the functor sending an $\mathbb{F}_p$-scheme $S$ to the category $\mathrm{S}\mathcal{H}(S)[1/p]$ is invariant under universal homeomorphisms, hence under perfections. Our result gives an explicit model for the localization of $\mathrm{S}\mathcal{H}$ at the universal homeomorphisms, which we conclude is the same as $\mathrm{S}\mathcal{H}[1/p]$.

2025-10-01T19:23:24Z 37 pages. Comments welcome Christian Dahlhausen Jeroen Hekking Storm Wolters http://arxiv.org/abs/2510.01368v1 2025-10-01T18:51:12Z

We investigate the role of self-adjoint extensions in the bulk-edge correspondence for topological insulators. While the correspondence is well understood in discrete models with spectral gaps, complications arise in the presence of unbounded Hamiltonians and varying boundary conditions, leading to anomalous behavior that has recently been dubbed violations of bulk-edge correspondence. In this work we use a K-theoretic framework to identify precise conditions needed for unbounded Hamiltonians to be affiliated to the respective observable algebras and define K-theory classes. In special cases we can then exclude anomalous behaviour and obtain the standard bulk-edge correspondence, or, under weaker conditions, obtain a relative bulk-edge correspondence theorem, which compares pairs of Hamiltonians. Applying that relative approach in the bulk we recover among other things the so-called bulk-difference-interface correspondence for Hamiltonians that fail to define a bulk K-theory class in the conventional way. The second main result is that one can define K-theory classes in terms of von Neumann unitaries, which under changes in boundary conditions directly contribute to the number of protected edge states. This approach clarifies apparent violations of the classical bulk-edge paradigm and provides a systematic account of boundary-induced topological corrections.

2025-10-01T18:51:12Z Johannes Kellendonk Tom Stoiber http://arxiv.org/abs/2510.00775v1 2025-10-01T11:14:24Z

In this article we revisit the partial Selmer groups introduced by Ding in cohomological degree one. On the subcategory of partially de Rham positive $B$-pairs we extend them to higher cohomological degree and show that the resulting groups form a cohomological delta functor satisfying a variant of the Euler--Poincaré characteristic formula and Tate duality.

2025-10-01T11:14:24Z Comments welcome Rustam Steingart