https://arxiv.org/api/fV+qAQ01d6bpaIjXQbSX88NkmEo 2026-04-07T09:39:58Z 6532 510 15 http://arxiv.org/abs/2305.04150v3 2025-06-02T07:41:43Z

We define real topological Hochschild homology of separated log schemes with involutions. We show that real topological Hochschild homology is $(\mathbb{P}^n,\mathbb{P}^{n-1})$-invariant, which leads to the definition of the motivic real topological Hochschild spectrum living in a certain $\mathbb{Z}/2$-equivariant logarithmic motivic category. We explore properties of real topological Hochschild homology that can be deduced from the logarithmic motivic homotopy theory. We also define the motivic real topological cyclic spectrum.

2023-05-07T00:00:51Z 36 pages, accepted version, to appear in Algebraic & Geometric Topology Doosung Park http://arxiv.org/abs/2505.24135v1 2025-05-30T02:11:23Z

We study index pairings for crossed-product $C^*$-algebras arising from minimal actions on the Cantor set. We utilize Putnam's orbit-breaking AF-subalgebras and embeddings to show we can compute any index pairing for Cantor minimal system crossed products using Connes' trace formulas. In the case of odometers, we show that the associated algebras have uniformly finitely summable $K$-homology.

2025-05-30T02:11:23Z Levi Lorenzo http://arxiv.org/abs/2412.05071v2 2025-05-29T08:02:33Z

We develop a motivic cohomology theory, representable in the Voevodsky's triangulated category of motives, for smooth separated Deligne-Mumford stacks and show that the resulting higher Chow groups are canonically isomorphic to the higher $K$-theory of such stacks. This generalises the Grothendieck-Riemann-Roch theorem to the category of smooth Deligne-Mumford stacks.

2024-12-06T14:28:13Z New section added on some computations. 13 pages. Comments welcome Utsav Choudhury Neeraj Deshmukh Amit Hogadi http://arxiv.org/abs/2505.13260v2 2025-05-28T19:03:20Z

In this paper we give a different proof of Quillen's Dévissage theorem using Barwick's theorem of the heart. The key ingredient is a certain short exact sequence of dg categories, which is closely related with the Auslander-type construction for nilpotent extensions which was used in the papers of Kuznetsov-Lunts \cite{KL15}, Land-Tamme \cite{LT19} and the author \cite{E20}.

2025-05-19T15:42:40Z 14 pages; v2: minor corrections, typos fixed Alexander I. Efimov http://arxiv.org/abs/2505.22640v1 2025-05-28T17:54:34Z

We categorify the concept of homology theories, which we term categorical homology theories. More precisely, we extend the notion of homology theory from homotopy theory to the realm of $(\infty,\infty)$-categories and show that several desirable features remain: we prove that categorical homology theories are homological in a precise categorified sense, satisfy a categorified Whitehead theorem and are classified by a higher categorical analogue of spectra. To study categorical homology theories we categorify stable homotopy theory and the concept of stable $(\infty,1)$-category. As guiding example of a categorical homology theory we study the categorification of homology, the categorical homology theory whose coefficients are the commutative monoid of natural numbers, which we term categorical homology. We prove that categorical homology admits a description analogous to singular homology that replaces the singular complex of a space by the nerve of an $(\infty,\infty)$-category. We show a categorified version of the Dold-Thom theorem and Hurewicz theorem, compute categorical homology of the globes, the walking higher cells, and prove that categorical $R$-homology with coeffients in a rig $R$ multiplicatively lifts to the higher category of $(R,R)$-bimodules.

2025-05-28T17:54:34Z Hadrian Heine http://arxiv.org/abs/2412.15112v4 2025-05-28T14:43:39Z

We study homological invariants of the Steinberg algebra $\mathcal{A}_k(\mathcal{G})$ of an ample groupoid $\mathcal{G}$ over a commutative ring $k$. For $\mathcal{G}$ principal or Hausdorff with ${\mathcal{G}}^{\rm{Iso}}\setminus{\mathcal{G}}^{(0)}$ discrete, we compute Hochschild and cyclic homology of $\mathcal{A}_k(\mathcal{G})$ in terms of groupoid homology. For any ample Hausdorff groupoid $\mathcal{G}$, we find that $H_*(\mathcal{G})$ is a direct summand of $HH_*(\mathcal{A}_k(\mathcal{G}))$; using this and the Dennis trace we obtain a map $\overline{D}_*:K_*(\mathcal{A}_k(\mathcal{G}))\to H_n(\mathcal{G},k)$. We study this map when $\mathcal{G}$ is the (twisted) Exel-Pardo groupoid associated to a self-similar action of a group $G$ on a graph, and compute $HH_*(\mathcal{A}_k(\mathcal{G}))$ and $H_*(\mathcal{G},k)$ in terms of the homology of $G$, and the $K$-theory of $\mathcal{A}_k(\mathcal{G})$ in terms of that of $k[G]$.

2024-12-19T17:54:53Z 53 pages. References added in second version and minor corrections in the third. Fourth version fixes a mistake in Theorem 1.1, and adds some minor structural changes in the preliminary sections Guido Arnone Guillermo Cortiñas Devarshi Mukherjee http://arxiv.org/abs/2505.21803v1 2025-05-27T22:18:01Z

Using Lück's Chern character isomorphism we obtain a general formula in terms of centralisers for the $p$-adic Farrell--Tate $K$-theory of any discrete group $G$ with a finite classifying space for proper actions. We apply this formula to $\text{Out}(F_n)$. The case $n=p+1$ turns out to be especially interesting for the following reason: Up to conjugacy there is exactly one order $p$ element in $\text{Out}(F_{p+1})$ which does not lift to an order $p$ element in $\text{Aut}(F_{p+1})$. We compute the rational cohomology of the centraliser of this element and as a consequence obtain a full calculation of the $p$-adic Farrell--Tate $K$-theory of $\text{Out}(F_{p+1})$ for any prime $p \geq 5$. Our arguments provide an infinite family of $\mathbb{Q}_p$ summands in $K^1(B \text{Out}(F_n)) \otimes_\mathbb{Z} \mathbb{Q}$, with no need for computer calculations: the first such summand is in $K^1(B \text{Out}(F_{12})) \otimes_\mathbb{Z} \mathbb{Q}$.

2025-05-27T22:18:01Z 32 pages, 4 figures, 5 tables Naomi Andrew Irakli Patchkoria http://arxiv.org/abs/1805.11536v3 2025-05-26T22:44:38Z

For a model category, we prove that taking the category of coalgebras over a comonad commutes with left Bousfield localization in a suitable sense. Then we prove a general existence result for the left-induced model structure on the category of coalgebras over a comonad in a left Bousfield localization. Next we provide several equivalent characterizations of when a left Bousfield localization preserves coalgebras over a comonad. These results are illustrated with many applications in chain complexes, (localized) spectra, the stable module category, and simplicial settings.

2018-05-29T15:15:13Z Version 3 contains updates in response to a referee report David White Donald Yau http://arxiv.org/abs/2404.06697v2 2025-05-26T22:15:37Z

Over the real numbers with $\Z/2-$coefficients, we compute the $C_2$-equivariant Borel motivic cohomology ring, the Bredon motivic cohomology groups and prove that the Bredon motivic cohomology ring of the real numbers is a proper subring in the $RO(C_2\times C_2)$-graded Bredon cohomology ring of a point. This generalizes Voevodsky's computation of the motivic cohomology ring of the real numbers to the $C_2$-equivariant setting. These computations are extended afterwards to any real closed field.

2024-04-10T03:04:07Z 37 pages, to appear JPAA Bill Deng Mircea Voineagu http://arxiv.org/abs/2505.20224v1 2025-05-26T17:06:22Z

The existence of triangular and unitriangular factorizations has been extensively studied for untwisted Chevalley groups, as well as for twisted Chevalley groups of types other than ${}^2A_{2n} \ (n \geq 1)$. However, the case of twisted Chevalley groups of type ${}^2A_{2n} \ (n \geq 1)$, has remained unresolved in the general setting of commutative rings. Prior work by A. Smolensky addressed this case only over certain fields, including finite fields and the field of complex numbers. These results indicate that, even over fields, the ${}^2A_{2n}$ case demands more refined techniques, reflecting the difficulty of extending such factorizations to the broader class of commutative rings. In this paper, we introduce two new classes of commutative rings: those satisfying the \emph{special stable range one condition} and those that are \emph{$θ$-complete}. We discuss their basic properties and provide illustrative examples. Our main result establishes the existence of triangular and unitriangular factorizations for twisted Chevalley groups of type ${}^2A_{2n}$ over a certain class of commutative rings, which includes all fields, all local rings (with mild restrictions), and several other important classes of rings.

2025-05-26T17:06:22Z 21 pages Shripad M. Garge Deep H. Makadiya http://arxiv.org/abs/2411.15070v2 2025-05-26T14:32:26Z

We prove an $\ell^p$-version of the coarse Baum-Connes conjecture for spaces that coarsely embedds into $\ell^q$-spaces for any $p$ and $q$ in $[1,\infty)$.

2024-11-22T16:56:51Z 34 pages. Minor revision; comments welcome Jinmin Wang Zhizhang Xie Guoliang Yu Bo Zhu http://arxiv.org/abs/2505.19324v1 2025-05-25T21:21:40Z

A cohomology class u of a topological space X is atoroidal if its pullback to the torus vanishes for every map from a torus to X. Furthermore, X is atoroidally symplectic if there is an atoroidal cohomology class $u\in H^2(X;F)$ such that $u^n$ is non-zero. We prove that every atoroidally symplectic CW-complex X of dimension 2n has topological complexity 4n. This generalizes a result of Grant and Mescher who prove the corresponding statement in the case where X is an atoroidally c-symplectic manifold and u is a de Rham cohomology class. Using this generalisation, we obtain new calculations of topological complexity, including for many products of 3-manifolds and of group presentation complexes.

2025-05-25T21:21:40Z 12 pages Luca Sandrock Universität Göttingen Thomas Schick Universität Göttingen http://arxiv.org/abs/2409.14714v2 2025-05-24T07:39:46Z

We consider Mahler measures of two well-studied families of bivariate polynomials, namely $P_t=x+x^{-1}+y+y^{-1}+\sqrt{t}$ and $Q_t=x^3+y^3+1-\sqrt[3]{t}xy$, where $t$ is a complex parameter. In the cases when the zero loci of these polynomials define CM elliptic curves over number fields, we derive general formulas for their Mahler measures in terms of $L$-values of cusp forms. For each family, we also classify all possible values of $t$ in number fields of degree not exceeding $4$ for which the corresponding elliptic curves have complex multiplication. Finally, for all such values of $t$ in totally real number fields of degree $n=2$ and $n=4$, corresponding to elliptic curves $\mathcal{F}_t$ (resp. $\mathcal{C}_t$), we prove that determinants of $n\times n$ matrices whose entries are Mahler measures corresponding to their Galois conjugates are non-zero rational multiples of $L^{(n)}(\mathcal{F}_t,0)$ (resp. $L^{(n)}(\mathcal{C}_t,0)$).

2024-09-23T05:22:26Z 38 pages, 6 tables, 2 figures: Minor errors fixed. Conjectural identities for non-CM curves have also been incorporated in Section 7 and the appendix Detchat Samart Zhengyu Tao http://arxiv.org/abs/2409.16556v2 2025-05-24T02:49:37Z

In this paper, we introduce a notion of twisted Roe algebra and a twisted coarse Baum-Connes conjecture with coefficients. We will study the basic properties of twisted Roe algebras, including a coarse analogue of the imprimitivity theorem for metric spaces with a structure of coarse fibrations. We show that the twisted coarse Baum-Connes conjecture with coefficients holds for a metric space with a coarse fibration structure when the base space and the fiber satisfy the twisted coarse Baum-Connes conjecture with coefficients. As an application, the coarse Baum-Connes conjecture holds for a finitely generated group which is an extension of coarsely embeddable groups.

2024-09-25T02:08:58Z Jintao Deng Liang Guo http://arxiv.org/abs/2501.03460v3 2025-05-23T00:50:19Z

We extend the result of Blumberg and Mandell on K-theoretic Tate-Poitou duality at odd primes which serves as a spectral refinement of the classical arithmetic Tate-Poitou duality. The duality is formulated for the $K(1)$-localized algebraic K-theory of the ring of $p$-integers in a number field and its completion using the $\mathbb{Z}_p$-Anderson duality. This paper completes the picture by addressing the prime 2, where the real embeddings of number fields introduce extra complexities. As an application, we identify the homotopy type at prime 2 of the homotopy fiber of the cyclotomic trace for the sphere spectrum in terms of the algebraic K-theory of the integers.

2025-01-07T01:26:52Z 23 pages, final version, to appear in Adv. Math Myungsin Cho