https://arxiv.org/api/tG35MlWSPpP23KoFqfWSqsg8T7A 2026-04-04T13:44:32Z 6529 360 15 http://arxiv.org/abs/2509.02195v1 2025-09-02T11:08:51Z

We describe the lower algebraic $K$-theory of the integral group ring of both the pure and full braid groups of the real projective plane $\mathbb{R}P^2$ with $3$ strings, as well as that of the integral group ring of the mapping class group of $\mathbb{R}P^2$ with $3$ marked points. In addition, we give a general formula for the algebraic $K$-theory groups of the group ring of the mapping class group of non-orientable surfaces with k marked points, where $k \geq 3$.

2025-09-02T11:08:51Z John Guaschi LMNO, UNICAEN, CNRS, NU Daniel Juan-Pineda CCM http://arxiv.org/abs/2507.05792v2 2025-09-01T15:32:27Z

This article generalizes the result of Burns et al (2022), to find an algorithm to find some elements generating a full-rank subgroup of the torsion-free part of Bloch group of a certain CM number field, and compute the rank of it.

2025-07-08T08:52:21Z Wenhuan Huang http://arxiv.org/abs/2509.01507v1 2025-09-01T14:27:14Z

We prove that the natural map from the derived Brauer group of a qcqs scheme $X$ to the Picard group of $X$-linear motives is injective, extending results of Tabuada and Tabuada-Van den Bergh.

2025-09-01T14:27:14Z 13 pages, comments welcome! Maxime Ramzi http://arxiv.org/abs/2406.13212v3 2025-09-01T09:34:04Z

We prove a comparison result between two duality statements - Takai duality, which is implemented by the crossed product functor $- \rtimes G: KK^{G} \to KK^{\hat G}$ on equivariant Kasparov categories; and Treumann duality, which asserts the existence of an exotic equivalence of stable $\infty$-categories $\text{Mod}(KU_p[G])^{ft} \simeq \text{Mod}(KU_p[\hat G])^{ft}$ given by tensoring with a particular $(G,\hat G)$-bimodule $\textbf{M}$.

2024-06-19T04:50:28Z 34 pages; accepted version, to appear in the Annals of K-Theory Ann. K-Th. 10 (2025) 563-596 Vikram Nadig 10.2140/akt.2025.10.563 http://arxiv.org/abs/2509.00592v1 2025-08-30T19:07:52Z

In this article, we prove that the 2-isotropy of any projective variety is controlled by a pure symbol in the Milnor's K-theory (mod 2) of the flexible closure of the base field. We also show that such pure symbols control the 2-equivalence of field extensions as well as the numerical equivalence of algebraic cycles (with mod 2 coefficients).

2025-08-30T19:07:52Z 8 pages Alexander Vishik http://arxiv.org/abs/2509.00584v1 2025-08-30T18:35:48Z

In this article we introduce invariants of points of the Balmer spectrum of the Voevodsky motivic category whose values are "light Rost cycle submodules" of the module of pure symbols in Milnor's K-theory (mod 2). As an application, we show that isotropic points of the Balmer spectrum are closed. We also introduce the notion of points of a boundary type and show that this class contains isotropic points, but not the etale one.

2025-08-30T18:35:48Z 20 pages Alexander Vishik http://arxiv.org/abs/2009.07614v3 2025-08-29T18:23:38Z

We construct elements in the $K_4$ group of modular curves using the polylogarithmic complexes of weight 3 defined by Goncharov and De Jeu. The construction is uniform in the level and relies on new modular units arising as cross-ratios of division values of the Weierstrass $\wp$ function. These units provide explicit triangulations of the $3$-term relations in $K_2$, which in turn give rise to elements in $K_4$. Based on numerical computations and on results of Wang, we conjecture that these elements are proportional to the Beilinson elements defined via Eisenstein symbols.

2020-09-16T11:46:18Z 40 pages. Significant revision. I rewrote the introduction and restructured the paper, with some mathematical improvements. I also included a running example with the modular curve X_1(15) François Brunault http://arxiv.org/abs/2508.21716v1 2025-08-29T15:35:06Z

Spectral sequences are a common tool to compute cohomology spaces, but higher structure is often lost on the way. In this article we exhibit a strategy to retain the higher structure on the cohomology, which works in case the chain complex with higher structure is presented as the twisting of a simpler chain complex by a Maurer-Cartan element. This works particularly well in case of the Hochschild complex of a minimal $ A_\infty $-category, where the Hochschild complex can be seen as the twisting of the Hochschild complex of the underlying associative algebra or category. As an application, we recover the existing formality result for Hochschild cohomology of wrapped Fukaya categories of punctured surfaces, and provide an $ L_\infty $-quasi-isomorphism between the Hochschild complex and its cohomology.

2025-08-29T15:35:06Z 21 pages, 3 figures Jasper van de Kreeke http://arxiv.org/abs/2508.05726v2 2025-08-29T12:48:58Z

This note provides a counterexample showing that the assumptions that Chabert and Echterhoff have imposed in their permanence property of the Baum-Connes conjecture for group extensions cannot be simplified.

2025-08-07T17:05:52Z 2 pages Münster J. Math 18 (2025), p. 245-7 Ralf Meyer 10.17879/11958511263 http://arxiv.org/abs/2305.20064v2 2025-08-25T18:26:12Z

For a profinite group $G$ we describe an abelian group $W_G(R; M)$ of $G$-typical Witt vectors with coefficients in an $R$-module $M$ (where $R$ is a commutative ring). This simultaneously generalises the ring $W_G(R)$ of Dress and Siebeneicher and the Witt vectors with coefficients $W(R; M)$ of Dotto, Krause, Nikolaus and Patchkoria, both of which extend the usual Witt vectors of a ring. We use this new variant of Witt vectors to give a purely algebraic description of the zeroth equivariant stable homotopy groups of the Hill-Hopkins-Ravenel norm $N_{\{e\}}^G(X)$ of a connective spectrum $X$, for any finite group $G$. Our construction is reasonably analogous to the constructions of previous variants of Witt vectors, and as such is amenable to fairly explicit concrete computations.

2023-05-31T17:40:15Z Accepted for publication by the Journal of Topology, minor corrections and improved explanations compared to the original preprint. 85 pages Journal of Topology 18.3 (2025), e70038 Thomas Read 10.1112/topo.70038 http://arxiv.org/abs/2411.03882v3 2025-08-25T05:25:49Z

Every closed connected Riemannian spin manifold of non-zero $\hat{A}$-genus or non-zero Hitchin invariant with non-negative scalar curvature admits a parallel spinor, in particular is Ricci-flat. In this note, we generalize this result to closed connected spin manifolds of non-vanishing Rosenberg index. This provides a criterion for the existence of a parallel spinor on a finite covering and yields that every closed connected Ricci-flat spin manifold of dimension $\geq 2$ with non-vanishing Rosenberg index has special holonomy.

2024-11-06T12:56:19Z SIGMA 21 (2025), 072, 7 pages Thomas Tony 10.3842/SIGMA.2025.072 http://arxiv.org/abs/2508.17603v1 2025-08-25T02:06:46Z

We study the derived category of pseudo-coherent complexes over a noetherian commutative ring, building on prior work by Matsui-Takahashi. Our main theorem is a computation of the Balmer spectrum of this category in the case of a discrete valuation ring. We prove that it coincides with the spectral space associated to a bounded distributive lattice of asymptotic equivalence classes of monotonic sequences of natural numbers. The proof of this theorem involves an extensive study of generation behaviour in the derived category of pseudo-coherent complexes. We find that different types of generation are related to different asymptotic boundedness conditions on the growth of torsion in homology. Consequently, we introduce certain distributive lattices of (equivalence classes of) monotonic sequences where the partial orders are defined by different notions of asymptotic boundedness. These lattices, and the spectral spaces corresponding to them via Stone duality, may be of independent interest. The complexity of these spectral spaces shows that, even in the simplest nontrivial case, the spectrum of pseudo-coherent complexes is vastly more complicated than the spectrum of perfect complexes. From a broader perspective, these results demonstrate that the spectrum of a rigid tensor-triangulated category can expand tremendously when we pass to a (non-rigid) tensor-triangulated category which contains it.

2025-08-25T02:06:46Z 51 pages Beren Sanders Yufei Zhang http://arxiv.org/abs/2506.18446v2 2025-08-23T15:14:48Z

For an extension $1\rightarrow N \rightarrow Γ\xrightarrow{q} Γ/ N \rightarrow 1$ of discrete countable groups, it is known that the Baum-Connes conjecture with coefficients holds for $Γ$ if it holds for $Γ/ N$ and $q^{-1}(F)$ for any finite subgroup $F$ of $Γ/ N$. In this paper, we employ a localization algebra approach to prove this result.

2025-06-23T09:32:32Z We changed the paper's title, since we just used a localization algebra approach to prove a known result for the Baum-Connes conjecturte in this version. In the first version of the paper, there exists an essential mistake in Theorem 3.13 (thanks to Prof. Ralf Meyer and Prof. Shintaro Nishikawa), thus we strengthened the conditions in that theorem Jianguo Zhang http://arxiv.org/abs/2508.16869v1 2025-08-23T02:01:46Z

We construct a number of new spectral sequences for calculating the cyclic cohomology $HC^*_{dg}(A)$ of a differential graded algebra (dga). With these spectral sequences we prove some results about the low dimensional cyclic cohomology and demonstrate the existence of various maps between $HC^*_{dg}(A)$ and $HH^*_{dg}(A)$. We also briefly introduce variations on Hochschild and cyclic cohomology of a dga, namely the $n$-th partial Hochschild cohomology and $n$-partial cyclic cohomology. Finally, we show how these results can be extended naturally to the dg-category setting. In particular we define the Hochschild and cyclic cohomolgy of dg-categories and show that the spectral sequences we have constructed can be used in this setting as well.

2025-08-23T02:01:46Z This preprint is a modified version of chapters of the author's PhD thesis Andrew Phimister http://arxiv.org/abs/2009.00313v10 2025-08-22T23:25:16Z

This paper describes an approach to computer aided calculations in the cohomology of arithmetic groups. It complements existing literature on the topic by emphasizing homotopies and perturbation techniques, rather than cellular subdivision, as the tools for implementing on a computer topological constructions that fail to preserve cellular structures Furthermore, it focuses on calculating integral cohomology rather than just rational cohomology or cohomology at large primes. In particular, the paper describes and fully implements algorithms for computing Hecke operators on the integral cuspidal cohomology of congruence subgroups $Γ$ of $SL_2(\mathbb Z)$, and then partially implements versions of the algorithms for the special linear group $SL_2({\cal O}_d)$ over various rings of quadratic integers ${\cal O}_d$. The approach is also relevant for computations on congruence subgroups of $SL_m({\cal O}_d)$, $m\ge 2$.

2020-09-01T09:36:12Z Graham Ellis