https://arxiv.org/api/NNXbUSzCm8kRNojjMg5C9OIkPmA 2026-03-31T11:58:21Z 6525 270 15 http://arxiv.org/abs/2403.01735v4 2025-10-24T05:33:01Z

We extend the definition of the unramified curve-tame cohomology groups to $\mathbb{A}^1$-invariant étale sheaves under some additional hypotheses. We define a pairing of this group with the Suslin homology satisfying desirable properties and using this, we show that the unramified curve-tame cohomology of a smooth geometrically connected variety over a field of positive characteristic agrees with the cohomology of the base field.

2024-03-04T05:23:07Z 21 pages; v4: major revision, title changed, material on reciprocity sheaves removed, Section 5 of v3 expanded by adding results about tame and curve-tame cohomology, comments are welcome Sandeep S Anand Sawant http://arxiv.org/abs/2504.00687v3 2025-10-23T12:55:22Z

Calegari and Venkatesh did construct, modulo small torsion, a surjection from the degree 2 homology of the rank 2 projective general linear group over a ring of algebraic integers (of odd class number, and with enough embeddings) to the 2nd algebraic K-group of that ring. They asked whether this surjection becomes an isomorphism when passing to the quotient modulo the Eisenstein ideal on the left hand side. We provide a new method (together with numerical examples) to lift elements in the opposite direction, enabled by a theorem in a more general setting, where we exploit a connection between the algebraic K-groups and the Steinberg homology groups.

2025-04-01T11:57:12Z Alexander D. Rahm GAATI Torti Emiliano GAATI http://arxiv.org/abs/2510.20433v1 2025-10-23T11:10:49Z

This paper provides a complete presentation of $K_1(Var)$, the $K_1$ group of varieties, resolving and simplifying a problem left open in \cite{ZakhK1}. Our approach adapts Gillet-Grayson's $G$-Construction to define an un-delooped $K$-theory spectrum of varieties. There are two levels on which one can read the present paper. On a technical level, we streamline and extend previous results on the $K$-theory of exact categories to a broader class of categories, including $Var$. On a more conceptual level, our investigations bring into focus an interesting generalisation of automorphisms (``double exact squares'') which generate $K_1$. For varieties, this isolates a subclass of birational equivalences which we call stratified, but the construction extends to a wide range of non-additive contexts (e.g. $o$-minimal structures, definable sets etc.). This raises a challenging question: what kind of information do these generalised automorphisms calibrate?

2025-10-23T11:10:49Z 46 pages + 22 pages appendix Ming Ng http://arxiv.org/abs/2312.13696v2 2025-10-23T08:23:04Z

In this article we prove various results about transferring or lifting $\mathrm{A}_\infty$-algebra structures along quasi-isomorphisms over a commutative ring.

2023-12-21T09:49:55Z 21 pages; comments are welcome; v2: added references and small corrections; to appear in Communications in Algebra Janina C. Letz http://arxiv.org/abs/2303.13492v3 2025-10-21T16:56:20Z

In this paper, we prove a dihedral extremality and rigidity theorem for a large class of codimension zero submanifolds with polyhedral boundary in warped product manifolds. We remark that the spaces considered in this paper are not necessarily warped product manifolds themselves. In particular, the results of this paper are applicable to submanifolds (of warped product manifolds) with faces that are neither orthogonal nor parallel to the radial direction of the warped product metric. Generally speaking, the dihedral rigidity results require the leaf of the underlying warped space to have positive Ricci curvature and the warping function to be strictly log-concave. Nevertheless, we prove a dihedral rigidity theorem for a large class of hyperbolic polyhedra, where the leaf of the underlying warped product space is flat and the warping function is not strictly log-concave.

2023-03-23T17:54:09Z 33 pages, minor revision, the condition for a domain to be "radially convex" has been weaken to allow more classes of submanifolds of warped product spaces Jinmin Wang Zhizhang Xie http://arxiv.org/abs/2305.18609v2 2025-10-20T13:06:49Z

These notes develop the foundations of Milnor-Witt K-theory for fields of arbitrary characteristic, without any perfectness assumptions. Extending the work of Morel and Feld, we establish all functorial properties of Milnor-Witt K-theory with careful attention to twists. A main new contribution is the computation of transfers in the general, in particular inseparable, case using Grothendieck (differential) trace maps. The results provide a complete framework for the functoriality axioms of Milnor-Witt modules and form the basis for an upcoming work on Chow-Witt groups with Niels Feld and Fangzhou Jin.

2023-05-29T21:07:56Z Revised and expanded version, 88 pages. Includes complete proofs of functoriality properties, including (R3b), and a new finer version (R3b+) involving "defects" of DVR. Comments welcome Frédéric Déglise http://arxiv.org/abs/2510.17260v1 2025-10-20T07:47:28Z

This is a survey paper about representation theory and noncommutative geometry of reductive p-adic groups G. The main focus points are: 1. The structure of the Hecke algebra H(G), the Harish-Chandra-Schwartz algebra S(G) and the reduced C*-algebra $C_r^* (G)$. 2. The classification of irreducible G-representations in terms of supercuspidal representations. 3. The Hochschild homology and topological K-theory of these algebras. In the final part we prove one new result, namely we compute $K_* (C_r^* (G))$ including torsion elements, in terms of equivariant K-theory of compact tori.

2025-10-20T07:47:28Z Maarten Solleveld http://arxiv.org/abs/2510.17010v1 2025-10-19T21:19:30Z

In this paper we study the category of localizing motives $\operatorname{Mot}^{\operatorname{loc}}$ -- the target of the universal finitary localizing invariant of idempotent-complete stable categories as defined by Blumberg-Gepner-Tabuada. We prove that this (presentable stable) category is rigid symmetric monoidal in the sense of Gaitsgory and Rozenblyum. In particular, it is dualizable. More precisely, we prove a more general version of this result for the category $\operatorname{Mot}^{\operatorname{loc}}_{\mathcal{E}}$ -- the target of the universal finitary localizing invariant of dualizable modules over a rigid symmetric monoidal category $\mathcal{E}.$ We obtain general results on morphisms and internal $\operatorname{Hom}$ in the categories $\operatorname{Mot}^{\operatorname{loc}}_{\mathcal{E}}$ of localizing motives. As an application we compute the morphisms in multiple non-trivial examples. In particular, we prove the corepresentability statements for $\operatorname{TR}$ (topological restriction) and $\operatorname{TC}$ (topological cyclic homology) when restricted to connective $\mathbb{E}_1$-rings. As a corollary, for a connective $\mathbb{E}_{\infty}$-ring $R$ we obtain a $\operatorname{TR}(R)$-module structure on the nil $K$-theory spectrum $NK(R).$ We also apply the rigidity theorem to define refined versions of negative cyclic homology and periodic cyclic homology. This was announced previously in \cite{E24b}, and certain very interesting examples were computed by Meyer and Wagner in \cite{MW24}. Here we do several computations in characteristic $0,$ in particular showing that in seemingly innocuous situations the answer can be given by an interesting algebra of overconvergent functions.

2025-10-19T21:19:30Z 133 pages Alexander I. Efimov http://arxiv.org/abs/2206.11208v3 2025-10-19T18:37:22Z

For a prime number $p$ and a $p$-quasisyntomic commutative ring $R$, Bhatt--Morrow--Scholze defined motivic filtrations on the $p$-completions of $\mathrm{THH}(R), \mathrm{TC}^{-}(R), \mathrm{TP}(R),$ and $\mathrm{TC}(R)$, with the associated graded objects for $\mathrm{TP}(R)$ and $\mathrm{TC}(R)$ recovering the prismatic and syntomic cohomology of $R$, respectively. We give an alternate construction of these filtrations that applies also when $R$ is a well-behaved commutative ring spectrum; for example, we can take $R$ to be $\mathbb{S}$, $\mathrm{MU}$, $\mathrm{ku}$, $\mathrm{ko}$, or $\mathrm{tmf}$. We compute the mod $(p,v_1)$ syntomic cohomology of the Adams summand $\ell$ and observe that, when $p \ge 3$, the motivic spectral sequence for $V(1)_*\mathrm{TC}(\ell)$ collapses at the $\mathrm{E}_2$-page.

2022-06-22T16:53:30Z to appear in Annals of Mathematics Jeremy Hahn Arpon Raksit Dylan Wilson http://arxiv.org/abs/2505.02941v2 2025-10-19T13:04:39Z

We investigate the phenomenon known as ``quantum equals affine'' in the setting of $T$-equivariant quantum $K$-theory of the flag variety $G/B$, as established by Kato for any semisimple algebraic group $G$. In particular, we focus on the $K$-Peterson isomorphism between the $T$-equivariant quantum $K$-ring $QK_T(SL_n(\mathbb{C})/B)$ and the $T$-equivariant $K$-homology ring $K_*^T(\mathrm{Gr}_{SL_n})$ of the affine Grassmannian, after suitable localizations on both sides. Building on an earlier work by Ikeda, Iwao, and Maeno, we present an explicit algebraic realization of the $K$-Peterson map via a rational substitution that sends the generators of the quantum $K$-theory ring to explicit rational expressions in the fundamental generators of $K_*^T(\mathrm{Gr}_{SL_n})$, thereby matching the Schubert bases on both sides. Our approach builds on recent developments in the theory of $QK_T(SL_n(\mathbb{C})/B)$ by Maeno, Naito, and Sagaki, as well as the theory of $K$-theoretic double $k$-Schur functions introduced by Ikeda, Shimozono, and Yamaguchi. This concrete formulation provides new insight into the combinatorial structure of the $K$-Peterson isomorphism in the equivariant setting. As an application, we establish a factorization formula for the $K$-theoretic double $k$-Schur function associated with the maximal $k$-irreducible $k$-bounded partition.

2025-05-05T18:18:34Z 42 pages Takeshi Ikeda Shinsuke Iwao Satoshi Naito Kohei Yamaguchi http://arxiv.org/abs/2309.15072v2 2025-10-19T06:55:17Z

We provide a description of Voevodsky's $\infty$-category of motivic spectra in terms of the subcategory of motives of smooth proper varieties. As applications, we construct weight filtrations on the Betti and étale cohomologies of algebraic varieties with coefficients in any complex oriented ring spectrum. We show that these filtrations satisfy $\ell\mathrm{dh}$-descent, giving an effective way of calculating them in positive characteristic. In the complex motivic case, we further refine the weight filtration to one defined at the level of stable homotopy types.

2023-09-26T17:08:53Z Comments very welcome. 54 pages Peter J. Haine Piotr Pstrągowski http://arxiv.org/abs/2404.06271v2 2025-10-17T17:53:09Z

Let $\mathbb K$ be a field of characteristic zero. We prove that its motivic cohomology in degree $m-1$ and weight $m$ is rationally isomorphic to the cohomology of the polylogarithmic complex. This gives a partial extension of A. Suslin theorem describing the indecomposable $K_3$ of a field.

2024-04-09T12:47:31Z Vasily Bolbachan http://arxiv.org/abs/2110.01413v5 2025-10-16T21:49:51Z

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.

2021-10-04T12:44:39Z 47 pages, work done as half of the authors thesis Georg Lehner http://arxiv.org/abs/2502.07681v3 2025-10-16T13:25:08Z

We give several equivalent characterisations of the maximal pro-2 quotients of real projective groups. In particular, for pro-2 real projective groups we provide a presentation in terms of generators and relations, and a purely cohomological characterisation. As a consequence we explicitly reconstruct such groups from their mod 2 cohomology rings.

2025-02-11T16:30:14Z v3: 37 pages, minor corrections and additions, final version accepted for publication in Advances in Mathematics Ambrus Pál Gereon Quick http://arxiv.org/abs/2510.03603v2 2025-10-16T10:02:35Z

Given a $(0,p)$-mixed characteristic complete discrete valued field $\mathcal{K}$ we define a class of finite field extensions called \emph{pseudo-perfect} extensions such that the natural restriction map on the mod-$p$ Milnor $K$-groups is trivial for all $p\neq 2$. This implies that pseudo-perfect extensions split every element in $H^i(\mathcal{K},μ_p^{\otimes i-1})$ yielding period-index bounds for Brauer classes as well as higher cohomology classes of $\mathcal{K}$. As a corollary, we prove a conjecture of Bhaskhar-Haase that the Brauer $p$-dimension of $\mathcal{K}$ is upper bounded by $n+1$ where $n$ is the $p$-rank of the residue field. When $\mathcal{K}$ is the fraction field of a complete regular ring, we show that any $p$-torsion element in $Br(\mathcal{K})$ that is nicely ramified is split by a pseudo-perfect extension yielding a bound on its index. We then use patching techniques of Harbater, Hartmann and Krashen to show that the Brauer $p$-dimension of semi-global fields of residual characteristic $p$ is at most $n+2$ and also give uniform $p$-bounds for higher cohomologies. These bounds are sharper than previously known in the work of Parimala-Suresh

2025-10-04T01:36:41Z added new results on uniform bounds over semi-global fields Srinivasan Srimathy