https://arxiv.org/api/AsRMxkKKxQf3RRl0eEz5/AkOJv4 2026-04-10T18:57:02Z 6535 750 15 http://arxiv.org/abs/2412.07994v1 2024-12-11T00:32:57Z

We generalize the notion of rapid decay property for a group $G$ to pairs of groups $(G,H)$ where $H$ is a finitely generated subgroup of $G$, where typically the subgroup $H$ does not have rapid decay. We deduce some isomorphisms in $K$-theory, and investigate relatively spectral injections in the reduced group $C^*$-algebra. Rapid decay property for the pair $(G,H)$ also gives a lower bound for the probability of return to $H$ of symmetric random walks on $G$.

2024-12-11T00:32:57Z 32 pages, 3 figures Indira Chatterji Benjamin Zarka http://arxiv.org/abs/2412.06944v1 2024-12-09T19:43:01Z

In this paper we study the $\mathbb{A}^1$-invariance of the unstable functor $\mathrm{K}_2(Φ, R)$ in the case when $Φ$ is an irreducible root system of type $\mathsf{ADE}$ containing $\mathsf{A}_4$ and not of type $\mathsf{E}_8$. We show that in the geometric case, i. e. when $R$ is a regular ring containing a field $k$ one has $\mathrm{K}_2(Φ, R[t]) = \mathrm{K}_2(Φ, R)$, which allows one to interpret the unstable $\mathrm{K}_2$ groups as $\mathbb{A}^1$-fundamental groups of Chevalley--Demazure group schemes in the $\mathbb{A}^1$-homotopy category. We also prove a variant of "early stability" theorem which allows one to find a generating set of $\mathrm{K}_2(Φ, A[X_1, \ldots X_n])$ in the case when $A$ is a Dedekind domain.

2024-12-09T19:43:01Z European Journal of Mathematics 11, 14 (2025) Sergei Sinchuk 10.1007/s40879-024-00805-6 http://arxiv.org/abs/2406.18706v2 2024-12-08T16:07:31Z

We show that the Tate conjecture for divisors over a finite field $\mathbb F$ is equivalent to an explicit algebraic problem about the third Milnor K-group of the function field $\bar {\mathbb F}(x,y,z)$ in three variables over $\bar {\mathbb F}$.

2024-06-26T19:15:55Z 22 pages; final version; to appear in Commentarii Mathematici Helvetici Stefan Schreieder http://arxiv.org/abs/2412.05250v1 2024-12-06T18:30:30Z

We discuss elements of a social history of the theory of projective modules over commutative rings. We attempt to study the question: how did the theory of projective modules become one of "mainstream" focus in mathematics? To do this, we begin in what one might call the pre-history of projective modules, describing the mathematical culture into which the notion of projective module was released. These recollections involve four pieces: (a) analyzing aspects of the theory of fiber bundles, as it impinges on algebraic geometry, (b) understanding the rise of homological techniques in algebraic topology, (c) describing the influence of category-theoretic ideas in topology and algebra and (d) revisiting the story of the percolation of sheaf-theoretic ideas through algebraic geometry. We will then argue that it was this unique confluence of mathematical events that allowed projective modules to emerge as objects of central mathematical importance. More precisely, we will first argue that, in the context of social currents of the time, projective modules initially were isolated as objects of purely technical convenience reflecting the aesthetic sensibilities of the creators of the fledgling theory of homological algebra. Only later did they transcend this limited role to become objects of "mainstream importance" due to influence from the theory of algebraic fiber bundles and the theory of sheaves. Along the way, we aim to show how strong personal ties emanating from the Bourbaki movement and its connections in mathematical centers including Paris, Princeton and Chicago were essential to the entrance, propagation and mainstream mathematical acceptance of the theory.

2024-12-06T18:30:30Z 138 pages; comments welcome! Aravind Asok http://arxiv.org/abs/2412.05105v1 2024-12-06T15:02:13Z

We extend results for the K-theory of Hecke algebras of reductive $p$-adic groups to completed Kac-Moody groups.

2024-12-06T15:02:13Z 8 pages Arthur Bartels Wolfgang Lueck Stefan Witzel http://arxiv.org/abs/2412.04365v1 2024-12-05T17:30:11Z

We show that if $H$ is a Hopf algebra with bijective antipode and $B \subset A$ is a faithfully flat $H$-Galois extension, then $A$ is homologically smooth if $H$ and $B$ are.

2024-12-05T17:30:11Z Julian Le Clainche http://arxiv.org/abs/2306.00628v3 2024-12-05T13:31:24Z

We construct a group structure on the set of pointed naive homotopy classes of scheme morphisms from the Jouanolou device to the projective line. The group operation is defined via matrix multiplication on generating sections of line bundles and only requires basic algebraic geometry. In particular, it is completely independent of the construction of the motivic homotopy category. We show that a particular scheme morphism, which exhibits the Jouanolou device as an affine torsor bundle over the projective line, induces a monoid morphism from Cazanave's monoid to this group. Moreover, we show that this monoid morphism is a group completion to a subgroup of the group of scheme morphisms from the Jouanolou device to the projective line. This subgroup is generated by a set of morphisms that are simple to describe.

2023-06-01T12:50:38Z v3: improved exposition and notation, final version accepted in Advances in Mathematics Viktor Balch Barth William Hornslien Gereon Quick Glen Matthew Wilson http://arxiv.org/abs/2101.02686v4 2024-12-04T23:38:05Z

We compute the motivic Euler characteristic of Ayoub's nearby cycles spectrum in terms of strata of a semi-stable reduction, for a degeneration to multiple semi-quasi-homogeneous singularities. This allows us to compare the local picture at the singularities with the global conductor formula for hypersurfaces developed by Levine, Pepin Lehalleur and Srinivas, revealing that the formula is local in nature, thus extending it to the more general setting considered in this paper. The result is a quadratic refinement to the Milnor number formula with multiple singularities.

2021-01-07T18:46:57Z 37 pages; to appear in Journal of Algebra; comments welcome Ran Azouri http://arxiv.org/abs/2412.00914v2 2024-12-03T21:31:15Z

Given an animated ring $S$, we define a filtration on its absolute prismatic cohomology $\mathcal{N}_r^{\geq i} \mathbbΔ_S$, which we call the $r$-Nygaard filtration and study some of its main properties using a mixture of algebraic and homotopy theoretic techniques. This filtration is obtained by suitably gluing $r$-copies of the usual Nygaard filtration and corresponds to the $ξ_r$-adic filtration on $\mathbb{A}_{\mathrm{inf}}$, in the case that $S$ is a perfectoid ring. Using this, we study the motivic filtration of topological restriction homology $\mathrm{TR}^r (S;\mathbb{Z}_p)$ and of its $S^1$-homotopy fixed points. We also pursue connections with the theory of topological cyclic homology. Finally we discuss connections with the de Rham--Witt complex, towards a prismatic - de Rham--Witt comparison theorem.

2024-12-01T18:04:24Z 41 pages, comments welcome Faidon Andriopoulos http://arxiv.org/abs/2410.02564v2 2024-12-03T06:13:05Z

Many products amongst $v_2$-periodic families in the stable homotopy groups of spheres are shown not to vanish and some Toda brackets are shown not to contain zero. This is done by carefully studying the action of Adams operations on topological modular forms. A crucial ingredient is Pstragowski's category of synthetic spectra which affords us the necessary freedom to work with (modified) Adams--Novikov spectral sequences.

2024-10-03T15:06:50Z 36 pages and 5 figures. Comments are always welcome. v2 has fixes some minor errors Christian Carrick Jack Morgan Davies http://arxiv.org/abs/2412.01314v1 2024-12-02T09:28:46Z

We define for families of finite metric spaces quantitative assembly map estimates that take into account propagation phenomena for pseudo-differential calculus. We relate these estimates to the Novikov conjecture and we show that they fit nicely under coarse decompositions. As an application, we provide a geometric proof of Novikov conjecture for groups with finite decomposition complexity.

2024-12-02T09:28:46Z Hervé Oyono-Oyono IECL Guoliang Yu http://arxiv.org/abs/2307.11208v4 2024-12-02T01:07:23Z

We present some results from classical homological algebra using the language of cotorsion theories in abelian categories. The results are a couple of foundational facts about homological dimension, the Kunneth formula and the universal coefficients formula. We also present some ''totally acyclic'' cotorsion theories and revisit some results from the literature concerning resolutions of chain complexes in abelian categories.

2023-07-20T19:50:35Z Some sections have been reworked, added more examples Alexandru Stanculescu http://arxiv.org/abs/2412.00929v1 2024-12-01T18:35:47Z

In the article of Hesselholt [Hes05], a set of conjectures is laid out. Given a smooth scheme $X$ over the ring of integers $\mathcal{O}_K$ of a $p$-adic field $K$, these conjectures concern the expected relation between log topological restriction homology $\mathrm{TR}^r (X,M_X)$ and the absolute log de Rham--Witt complex $W_rΩ_{(X,M_X)}$. In this note, which is companion to [And24a], we discuss the case of a $p$-completely smooth $p$-adic formal scheme $X$ over $\mathrm{spf} \mathcal{O}_C$, where $C$ is the field of $p$-adic complex numbers. Along the way, we study the motivic filtration of log $\mathrm{TR}^r$ and its $S^1$-homotopy fixed points, following ideas of [Bin+23].

2024-12-01T18:35:47Z 10 pages, comments welcome Faidon Andriopoulos http://arxiv.org/abs/2405.04748v4 2024-12-01T08:58:38Z

The article is devoted to the magnitude homology of digraphs, with a primary focus on diagonal digraphs, i.e., digraphs whose magnitude homology is concentrated on the diagonal. For any digraph $G$, we provide a complete description of the second magnitude homology ${\rm MH}_{2,k}(G)$. This allows us to define a combinatorial condition, denoted by $(\mathcal{V}_\ell)$, which is equivalent to the vanishing of ${\rm MH}_{2,k}(G, \mathbb{Z})$ for all $k > \ell$. In particular, diagonal digraphs satisfy $(\mathcal{V}_2)$. As a corollary, we obtain that the 2-dimensional CW-complex obtained from a diagonal undirected graph by attaching 2-cells to all squares and triangles of the graph is simply connected. We also give an interpretation of diagonality in terms of Koszul algebras: a digraph $G$ is diagonal if and only if the distance algebra $σG$ is Koszul for any ground field, and if and only if $G$ satisfies $(\mathcal{V}_2)$ and the path cochain algebra $Ω^\bullet(G)$ is Koszul for any ground field. To provide a source of examples of digraphs, we study the extended Hasse diagram $\hat G_K$ of a pure simplicial complex $K$. For a triangulation $K$ of a topological manifold $M$, we express the non-diagonal part of the magnitude homology of $\hat G_K$ in terms of the homology of $M$. As a corollary, we obtain that if $K$ is a triangulation of a closed manifold $M$, then $\hat G_K$ is diagonal if and only if $M$ is a homology sphere.

2024-05-08T01:29:57Z Sergei O. Ivanov Lev Mukoseev http://arxiv.org/abs/2411.19929v1 2024-11-29T18:41:35Z

We define an $\infty$-category $\mathrm{CycSyn}$ of $p$-typical cyclotomic synthetic spectra and prove that the motivic filtration on $\mathrm{THH}(R;\mathbf{Z}_p)$, defined by Bhatt, Morrow, and Scholze when $R$ is quasisyntomic and by Hahn, Raksit, and Wilson in the chromatically quasisyntomic case, naturally admits the structure of a $p$-typical cyclotomic synthetic spectrum. As a consequence, we obtain new bounds on the syntomic cohomology of connective chromatically quasisyntomic $\mathbf{E}_\infty$-ring spectra.

2024-11-29T18:41:35Z 54 pages, comments welcome! Benjamin Antieau Noah Riggenbach