https://arxiv.org/api/88mJrEpAF2z1fT+1CuwC6OJFvXc 2026-03-31T13:26:54Z 6525 285 15 http://arxiv.org/abs/2506.16612v2 2025-10-15T17:13:26Z

This is a thorough investigation on the real $K$-theory of the sphere $S^d$ associated with the antipodal involution. We calculate the algebraic structure of real $K$-theory and united $K$-theory for all $d$, we write down explicit unitaries representing the generators of all the non-trivial $K$-theory groups for $d \leq 4$, and we describe a recipe for generating such unitaries for all $d$.

2025-06-19T21:20:50Z Jeffrey L Boersema http://arxiv.org/abs/2507.00221v2 2025-10-15T10:14:46Z

We give a description of the value of a finitary localizing invariant, such as algebraic $K$-theory, on the category of sheaves on a locally coherent space $X$. This in particular includes all spaces that arise as spectra of commutative rings. As applications we discuss the connection between scissors congruence $K$-theory and Topological Hochschild Homology of certain locally coherent spaces, as well as the algebraic $K$-theory of a measure space.

2025-06-30T19:47:42Z Georg Lehner http://arxiv.org/abs/2404.14650v2 2025-10-15T02:38:43Z

We study how the partial group (co)homology of a group $G$ with coefficient in a partial representation $M$ can be described using the usual group (co)homology. To address this, we introduce the concept of the \textit{universal globalization} $Λ(M)$ of a partial group representation $M$ of $G$. Our main result shows that the partial group homology $H^{\text{par}}_{\bullet}(G, M)$ is naturally isomorphic to the classical group homology $H_{\bullet}(G, Λ(M))$. We extend this result to the cohomological framework, obtaining a spectral sequence involving the classical group cohomology that converges to the partial group cohomology. Notably, when $G$ is countable, the spectral sequence collapses, resulting in a natural isomorphism $H^{\bullet}_{\text{par}}(G, M) \cong H^{\bullet}(G, \operatorname{Hom}_{K_{\text{par}} G}(Λ(K_{par}G), M))$, where $K_{par}G$ stands for the partial group algebra of $G$.

2024-04-23T01:14:42Z This version is a more compact version of the previous one, focusing primarily on partial representations of groups and omitting sections on the homology of partial actions. This change aims to make the structure of the paper more concise and centered on addressing the main problem. The title has been updated accordingly. Minor typographical errors were also corrected Emmanuel Jerez http://arxiv.org/abs/2409.18925v3 2025-10-14T00:34:53Z

We study torus-equivariant algebraic $K$-theory of affine Schubert varieties in the perfect affine Grassmannians over $\mathbb{F}_p$. We further compare it to the torus-equivariant Hochschild homology of perfect complexes, which has a geometric description in terms of global functions on certain fixed-point schemes. We prove that $\mathbb{F}_p$-linearly, this comparison is an isomorphism. Our approach is quite constructive, resulting in new computations of these $K$-theory rings. We establish various structural results for equivariant perfect algebraic $K$-theory on the way; we believe these are of independent interest.

2024-09-27T17:19:39Z 42 pages, revised version, corrected discussion of KH, several sections expanded, to appear in Documenta Mathematica Jakub Löwit http://arxiv.org/abs/2302.11389v2 2025-10-12T20:33:08Z

We describe the obstruction to decomposing in degrees $\leq p$ the de Rham complex of a smooth variety over a perfect field $k$ of characteristic $p$ that lifts over $W_2(k)$, and show that there exist liftable smooth projective varieties of dimension $p+1$ whose Hodge-to-de Rham spectral sequence does not degenerate at the first page. We also describe the action of the Sen operator on the de Rham complex in degrees $\leq p$ and give examples of varieties with a non-semisimple Sen operator. Our methods rely on the commutative algebra structure on de Rham and Hodge-Tate cohomology, and are inspired by the properties of Steenrod operations on cohomology of cosimplicial commutative algebras. The example of a non-degenerate Hodge-to-de Rham spectral sequence relies on a non-vanishing result on cohomology of groups of Lie type. We give applications to other situations such as describing extensions in the canonical filtration on de Rham, Hodge, and étale cohomology of an abelian variety equipped with a group action. We also show that the de Rham complex of a smooth variety over $k$ is formal as an $E_{\infty}$-algebra if and only if the variety lifts to $W_2(k)$ together with its Frobenius endomorphism.

2023-02-22T14:06:38Z Simplified proof of Proposition 12.1, many other small edits. Comments are welcome Alexander Petrov http://arxiv.org/abs/2002.11415v2 2025-10-11T13:59:38Z

In this paper, we consider associative algebras equipped with derivations. A pair consisting of an associative algebra and a distinguished derivation is called an AssDer pair. We study central extensions and formal one-parameter deformations of AssDer pairs in terms of cohomology. Finally, we define $2$-derivations on associative $2$-algebras and show that the category of associative $2$-algebras with $2$-derivations is equivalent to the category of $2$-term $A_\infty$-algebras with homotopy derivations.

2020-02-26T11:38:27Z Revised version Apurba Das Ashis Mandal http://arxiv.org/abs/2510.08708v1 2025-10-09T18:12:45Z

We prove the motivic classes in the motivic cohomology groups of Picard modular surfaces with non-trivial coefficients constructed in a paper of Loeffler\textendash Skinner\textendash Zerbes are in the motivic cohomology groups of the interior motives. Then we establish a relation between the motivic classes and non-critical values of the motivic $L$-functions associated to cuspidal automorphic representations of $\mathrm{GU}(2,1)$, thus deducing non-triviality of the motivic classes and providing evidence for Beilinson's conjectures.

2025-10-09T18:12:45Z Based on the author's Ph.D. thesis at the University of Connecticut (2025); 100 pages. Comments welcome Linli Shi http://arxiv.org/abs/2407.09741v3 2025-10-09T09:00:08Z

We show that various methods for explicitly building resolutions of unbounded complexes in fact fail when applied to a rather simple and explicit complex. We show that one way to rescue these methods is to assume Roos (Ab.4$^*$)-$k$ axiom, which we adapt to encompass also resolutions in the framework of relative homological algebra. In the end we discuss the existence of model structures for relative homological algebra for unbounded complex under the relative (Ab.4$^*$)-$k$ condition, and present a variety of examples where our results apply.

2024-07-13T01:43:30Z 36 pages Dolors Herbera Wolfgang Pitsch Manuel Saorín Simone Virili http://arxiv.org/abs/2406.14942v2 2025-10-09T06:43:48Z

This article investigates the torsion homology behaviour in towers of Oeljeklaus-Toma (OT) manifolds. This adapts an idea of Silver and Williams from knot theory to OT-manifolds and extends it to higher degree homology groups. In the case of surfaces, i.e. Inoue surfaces of type $S^0$, the torsion grows exponentially in both $H_1$ (as was established by Braunling) and $H_2$ (our result) according to a parameter which already plays a role in Inoue's classical paper, and we obtain that the torsion vanishes in all higher degrees. This motivates our presented machine calculations for OT-manifolds of higher dimension.

2024-06-21T07:56:05Z Dung Phuong Phan GAATI, UPF Tuan Anh Bui HCMUS Alexander D. Rahm GAATI, UPF http://arxiv.org/abs/2509.14620v2 2025-10-09T05:00:40Z

Unlike the Hochschild chain complex of an algebra, the Hochschild cochain complex of an algebra is not functorial. Nonetheless, we show that the Hochschild cochain complex of an algebra even a dg category is of lax functoriality, i.e., there exists a lax functor from bicategory of dg categories to bicategory of $B_\infty$-algebras which sends every dg category to its Hochschild cochain complex. This result is a homotopy version of the lax functoriality of center of an algebra obtained by Davydov, Kong, Runkel, Grady, Oren, et al, in the more general context of dg categories, and extends the restricted functoriality of Hochschild cochain complex of a dg category obtained by Keller to global lax functoriality.

2025-09-18T04:57:06Z 86 pages, Add some new (bi)categories and (lax) functors and correct some typos Yang Han Xukun Wang 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