http://arxiv.org/api/y2Hlbp1qpjxHYTM/68eHnaZTI+Q 2025-04-22T00:00:00-04:00 6181 60 15 http://arxiv.org/abs/2503.01043v2 2025-03-18T09:25:06Z 2025-03-02T22:25:07Z

We propose a method for constructing cohomology theories of logarithmic schemes with strict normal crossing boundaries by employing techniques from logarithmic motivic homotopy theory over $\mathbb{F}_1$. This method recovers the K-theory of the open complement of a strict normal crossing divisor from the K-theory of schemes as well as logarithmic topological Hochschild homology from the topological Hochschild homology of schemes. In our applications, we establish that the K-theory of non-regular schemes is representable in the logarithmic motivic homotopy category, and we introduce the logarithmic cyclotomic trace for the regular log regular case.

Doosung Park 80 pages, Section 1.7 was updated http://arxiv.org/abs/2110.01413v4 2025-03-18T08:35:36Z 2021-10-04T12:44:39Z

An open question is whether the map $\widetilde{K_0 }\mathbb{Z} G \rightarrow \widetilde{K_0 }\mathbb{Q} G$ in reduced $K$-theory from the integral to the rational group ring is trivial for any group $G$. We will show that this is false, with a counterexample given by the group $QD_{32} *_{Q_{16}} QD_{32}$. We will also show how to compute the image of the map $\widetilde{K_0 }\mathbb{Z} G \rightarrow \widetilde{K_0 }\mathbb{Q} G$ using representation theoretic means, assuming $G$ satisfies the Farrell-Jones conjecture.

Georg Lehner 47 pages, work done as half of the authors thesis http://arxiv.org/abs/2305.07255v2 2025-03-18T06:17:07Z 2023-05-12T05:16:26Z

In this paper, we introduce Kasparov's bivariant K-theory that is equivariant under symmetries of a C*-tensor category. It is motivated by some dualities in quantum group equivariant KK-theory, and the classification theory of inclusions of C*-algebras. The fundamental properties of the KK-theory, i.e., the existence of the Kasparov product, Cuntz's picture, universality, and triangulated category structure, hold true in this generalization as well. Moreover, we further prove a new property specific to this theory; the invariance of KK-theory under weak Morita equivalence of the tensor categories. As an example, we study the Baum-Connes type property for $3$-cocycle twists of discrete groups.

Yuki Arano Kan Kitamura Yosuke Kubota 10.1016/j.aim.2024.109848 53 pages. Published version Adv. Math. 453 (2024), 109848 http://arxiv.org/abs/2401.04341v2 2025-03-18T03:13:05Z 2024-01-09T03:52:38Z

In this paper we investigate the third homology of the projective special linear group ${\rm PSL}_2(A)$. As a result of our investigation we prove a projective refined Bloch-Wigner exact sequence over certain class of rings. The projective Bloch-Wigner exact sequence over an algebraically closed field of characteristic zero is a classical result and has many application in algebra, number theory and geometry.

Behrooz Mirzaii Elvis Torres Pérez 31 pages http://arxiv.org/abs/2503.13700v1 2025-03-17T20:17:13Z 2025-03-17T20:17:13Z

We define a notion of categorical first order deformations for (enhanced) triangulated categories. For a category $\mathcal{T}$, we show that there is a bijection between $\operatorname{HH}^2(\mathcal{T})$ and the set of categorical deformations of $\mathcal{T}$. We show that in the case of curved deformations of dg algebras considered in arXiv:2406.04945, the $1$-derived category of the deformation (introduced in arXiv:24020.8660) is a categorical deformation of the derived category of the base; the Hochschild class identified by this deformation is shown to restrict to the class defining the deformation of the algebra. As an application, we give a conceptual proof of the fact that (for a smooth base) the filtered derived category of a dg deformation yields a categorical resolution of the classical derived category.

Alessandro Lehmann Wendy Lowen 33 pages, no figures http://arxiv.org/abs/2503.12961v1 2025-03-17T09:15:21Z 2025-03-17T09:15:21Z

The purpose of this second part of the series is to show a technical result on Chow groups of toric varieties. This is a crucial ingredient for the first part.

Doosung Park 38 pages http://arxiv.org/abs/2503.12938v1 2025-03-17T08:53:50Z 2025-03-17T08:53:50Z

We introduce to spectral noncommutative geometry the notion of tangled spectral triple, which encompasses the anisotropies arising in parabolic geometry as well as the parabolic commutator bounds arising in so-called ``bad Kasparov products''. Tangled spectral triples incorporate anisotropy by replacing the unbounded operator in a spectral triple that mimics a Dirac operator with several unbounded operators mimicking directional Dirac operators. We allow for varying and dependent orders in different directions, controlled by using the tools of tropical combinatorics. We study the conformal equivariance of tangled spectral triples as well as how they fit into $K$-homology by means of producing higher order spectral triples. Our main examples are hypoelliptic spectral triples constructed from Rockland complexes on parabolic geometries; we also build spectral triples on nilpotent group $C^*$-algebras from the dual Dirac element and crossed product spectral triples for parabolic dynamical systems.

Magnus Fries Magnus Goffeng Ada Masters http://arxiv.org/abs/1905.11861v6 2025-03-16T21:22:23Z 2019-05-28T14:46:16Z

Let $\Gamma$ be a f.g. discrete group and let $\tilde M$ be a Galois $\Gamma$-covering of a smooth closed manifold $M$. Let $S_*^\Gamma(\tilde{M})$ be the analytic structure group, appearing in the Higson-Roe analytic surgery sequence $\to S_*^\Gamma(\tilde M)\to K_*(M)\to K_*(C_r^*\Gamma)\to$. We prove that for an arbitrary discrete group $\Gamma$ it is possible to map the whole Higson-Roe sequence to the long exact sequence of even/odd-graded noncommutative de Rham homology $\to H_{[*-1]}(\mathcal{A}\Gamma)\to H^{del}_{[*-1]}(\mathcal{A}\Gamma)\to H^{e}_{[*]}(\mathcal{A}\Gamma)\to$, with $\mathcal{A}\Gamma$ a dense homomorphically closed subalgebra of $C^*_r\Gamma$. Here, $ H_{*}^{del}(\mathcal{A}\Gamma)$ is the delocalized homology and $H_{*}^{e}(\mathcal{A}\Gamma)$ is the homology localized at the identity element. Then, under additional assumptions on $\Gamma$, we prove the existence of a pairing between $HC^*_{del}(\mathbb{C}\Gamma)$, the delocalized part of the cyclic cohomology of $\mathbb{C}\Gamma$, and $H^{del}_{*-1}(\mathcal{A}\Gamma)$. This, in particular, gives a pairing between $S^\Gamma_*(\tilde M)$ and $HC^{*-1}_{del}(\mathbb{C}\Gamma)$. We also prove the existence of a pairing between $S^\Gamma_*(\tilde M)$ and the relative cohomology $H^{[*-1]}(M\to B\Gamma)$. Both these parings are compatible with known pairings associated with the other terms in the Higson-Roe sequence. In particular, we define higher rho numbers associated to the rho class $\rho(\tilde D)\in S_*^\Gamma(\tilde M)$ of an invertible $\Gamma$-equivariant Dirac type operator on $\tilde M$. Finally, we provide a precise study for the behavior of all previous K-theoretic and homological objects and of the higher rho numbers under the action of the diffeomorphism group of $M$. Then, we establish new results on the moduli space of metrics of positive scalar curvature when $M$ is spin.

Paolo Piazza Sapienza Università di Roma Thomas Schick Universität Göttingen Vito Felice Zenobi INdAM 144 pages. Changes from the first version: the title has been modified; imprecisions have been corrected; more details are given; several new sections with many geometric applications have been added. v6: correction of typos and minor mistakes, typesetting changed. Close to final version to be published in Memoir AMS http://arxiv.org/abs/2503.12190v1 2025-03-15T16:18:37Z 2025-03-15T16:18:37Z

In this article, we explore the second integral homology, or Schur multiplier, of the special linear group ${\rm SL}_2(\mathbb{Z}[1/n])$ for a positive integer $n$. We definitively calculate the group structure of $H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})$ when $n$ is divisible by one of the primes $2$, $3$, $5$, $7$ or $13$. For a general $n > 1$, we offer a partial description by placing the homology group within an exact sequence, and we investigate its rank. Finally, we propose a conjectural structure for $H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})$ when $n$ is not divisible by any of those specific primes.

Behrooz Mirzaii Bruno Reis Ramos Thiago Verissimo 30 pages http://arxiv.org/abs/2503.12060v1 2025-03-15T09:16:51Z 2025-03-15T09:16:51Z

We reconstruct (appropriately completed) categories of cellular motivic spectra over fields of small cohomological dimension in terms of only their absolute Galois groups. As our main application, we determine the motivic stable stems (away from the characteristic) of almost all fields.

Tom Bachmann Robert Burklund Zhouli Xu 59 pages. Comments welcome! http://arxiv.org/abs/2407.09606v2 2025-03-14T12:54:47Z 2024-07-12T18:00:03Z

To any rigid analytic space (in the sense of Fujiwara-Kato) we assign an $\mathbb{A}^1$-invariant rigid analytic homotopy category with coefficients in any presentable category. We show some functorial properties of this assignment as a functor on the category of rigid analytic spaces. Moreover, we show that there exists a full six functor formalism for the precomposition with the analytification functor by evoking Ayoub's thesis. As an application, we identify connective analytic K-theory in the unstable homotopy category with both $\mathbb{Z}\times\mathrm{BGL}$ and the analytification of connective algebraic K-theory. As a consequence, we get a representability statement for coefficients in light condensed spectra.

Christian Dahlhausen Can Yaylali 49 pages; Corrections in gluing (3.29), and Appendix (A.15) - Changed beginning of Section 4.1; comments are welcome! http://arxiv.org/abs/2503.11338v1 2025-03-14T12:06:27Z 2025-03-14T12:06:27Z

We define a class of motivic equivalences of small stable $\infty$-categories $W_{\mathrm{mot}}$ and show that the Dwyer--Kan localization functor $\mathrm{Cat}^{\mathrm{perf}}_\infty \to \mathrm{Cat}^{\mathrm{perf}}_\infty[W_{\mathrm{mot}}^{-1}]$ is the universal localizing invariant in the sense of Blumberg--Gepner--Tabuada. In particular, we show that every object in its target $\mathcal{M}_{\mathrm{loc}}$ can be represented as $\mathcal{U}_{\mathrm{loc}}(\mathcal{C})$ for some small stable $\infty$-category $\mathcal{C}$. As another consequence, and using work of Efimov, we improve the universal property of $\mathcal{M}_{\mathrm{loc}}$ and show that any $\aleph_1$-finitary localizing invariant factors uniquely through it.

Maxime Ramzi Vladimir Sosnilo Christoph Winges 31 pages, comments welcome! http://arxiv.org/abs/2503.11719v1 2025-03-13T20:20:23Z 2025-03-13T20:20:23Z

We explain how the gluing of a closed piece of the tensor-triangular spectrum with its open complement hinges on the support of the Tate ring.

Paul Balmer Beren Sanders 35 pages http://arxiv.org/abs/2406.16652v2 2025-03-13T15:05:04Z 2024-06-24T14:00:55Z

We prove an analog of the Deligne conjecture for prestacks. We show that given a prestack $\mathbb A$, its Gerstenhaber--Schack complex $\mathbf{C}_{\mathsf{GS}}(\mathbb A)$ is naturally an $E_2$-algebra. This structure generalises both the known $\mathsf{L}_\infty$-algebra structure on $\mathbf{C}_{\mathsf{GS}}(\mathbb A)$, as well as the Gerstenhaber algebra structure on its cohomology $\mathbf{H}_{\mathsf{GS}}(\mathbb A)$. The main ingredient is the proof of a conjecture of Hawkins \cite{hawkins}, stating that the dg operad $\mathsf{Quilt}$ has vanishing homology in positive degrees. As a corollary, $\mathsf{Quilt}$ is quasi-isomorphic to the operad $\mathsf{Brace}$ encoding brace algebras. In addition, we improve the $L_\infty$-structure on $\mathsf{Quilt}$ by showing that it originates from a $\mathsf{PreLie}_\infty$-structure lifting the $\mathsf{PreLie}$-structure on $\mathsf{Brace}$ in homology.

Ricardo Campos Lander Hermans To appear in Proceedings of the AMS http://arxiv.org/abs/2502.01497v2 2025-03-13T09:10:46Z 2025-02-03T16:28:53Z

We introduce the concepts of branched coarse coverings and transfers between coarse homology theories along them. We show that various versions of coarse $K$-homology theories admit the additional structure of transfers. We show versions of Atiyah's $L^{2}$-index theorem in coarse homotopy theory and apply them to give a new argument for the corresponding step in Higson's counterexample to the coarse Baum-Connes conjecture.

Ulrich Bunke 95 p, references added