https://arxiv.org/api/G7fikb25t/7/nwm2cTRSzmK+q+o 2026-04-04T12:29:56Z 6529 345 15 http://arxiv.org/abs/2308.00903v3 2025-09-09T14:49:31Z

In this article, we prove several transfer principles for the cohomological dimension of fields. Given a fixed field $K$ with finite cohomological dimension $δ$, the two main ones allow to: - construct totally ramified extensions of $K$ with cohomological dimension $\leq δ- 1$ when $K$ is a complete discrete valuation field; - construct algebraic extensions of $K$ with cohomological dimension $\leq δ-1$ and satisfying a norm condition. We then apply these results to Serre's conjecture II and to some variants for fields of any cohomological dimension that are inspired by conjectures of Kato and Kuzumaki. In particular, we prove that Serre's conjecture II for characteristic $0$ fields implies Serre's conjecture II for positive characteristic fields.

2023-08-02T01:41:31Z 32 pages, final accepted version Diego Izquierdo Giancarlo Lucchini Arteche http://arxiv.org/abs/2509.07663v1 2025-09-09T12:31:27Z

For an ample groupoid with torsion-free stabilizers, we construct a Chern character map going from the domain of the Baum-Connes assembly map of G to the groupoid homology groups of G with rational coefficients. As a main application, assuming the (rational) Baum-Connes conjecture, we prove the rational form of Matui's HK conjecture, i.e., we show that the operator K-groups of the groupoid C*-algebra are rationally isomorphic to the periodicized groupoid homology groups. Our construction hinges on the recent $\infty$-categorical viewpoint on bivariant K-theory, and does not rely on typical noncommutative geometry tools such as the Chern-Connes character and the periodic cyclic homology of smooth algebras. We also present applications to the homology of hyperbolic dynamical systems, the homology of topological full groups, the homotopy type of the algebraic K-theory spectrum of ample groupoids, and the Elliott invariant of classifiable C*-algebras.

2025-09-09T12:31:27Z 36 pages Valerio Proietti Makoto Yamashita http://arxiv.org/abs/2508.16493v2 2025-09-08T17:34:50Z

This paper gives computations of all the $G$-theory groups of several classes of simplicial toric varieties, including all affine toric surfaces when the base field is algebraically closed and has characteristic zero, all weighted projective spaces over any field and resolution of singularities of all affine toric surfaces $\operatorname{Spec}(k[x,xy,xy^2,...,xy^d])$ over any field $k$. The $G$-theory groups $G_0,G_1,G_2$ are computed for the product of any two weighted projective spaces over any field. The dimension of the rational vector space $G_0(X)\otimes\mathbb{Q}$ for any complete, simplicial toric variety $X$ over an algebraically closed field of characteristic zero is shown to be equal to the sum of the Betti numbers of even degrees. We also prove that the Chow group $A^2(X)$ of codimension 2 cycles vanishes for any affine, smooth toric variety, thereby proving a special case of my conjecture that the order of this Chow group $A^2(X)$ divides the determinant of the matrix whose columns are the minimal generators of the fan for any affine, simplicial toric variety $X$.

2025-08-22T16:17:23Z rearranged presentation of results Zeyu Shen http://arxiv.org/abs/2509.06876v1 2025-09-08T16:51:39Z

In this paper, we introduce a notion of stable coarse algebras for metric spaces with bounded geometry, and formulate the twisted coarse Baum--Connes conjecture with respect to stable coarse algebras. We prove permanence properties of this conjecture under coarse equivalences, unions and subspaces. As an application, we study higher index theory for a group $G$ that is hyperbolic relative to a finite family of subgroups $\{H_1, H_2, \dots, H_N\}$. We prove that $G$ satisfies the twisted coarse Baum--Connes conjecture with respect to any stable coarse algebra if and only if each subgroup $H_i$ does.

2025-09-08T16:51:39Z Jintao Deng Ryo Toyota http://arxiv.org/abs/2508.17813v2 2025-09-07T15:38:49Z

We develop a general mathematical framework to study mixtures of different physical systems brought together on a discrete interface. Adapting work by Măntoiu et al., we use an operator algebraic framework such that the bulk systems at infinity of the mixture are recovered via the spatial asymptotics of the operators on the interface. Fixing an asymptotics and interface algebra, we show how the essential spectrum and topological properties can be inferred from the bulk systems at infinity. By working with Hilbert $C^*$-modules, we can further refine these results with respect to an ambient algebra of observables.

2025-08-25T09:09:40Z v2 - 31 pages, exposition and connection to physics improved Chris Bourne http://arxiv.org/abs/2509.06013v1 2025-09-07T11:05:34Z

In this paper, we prove that a very general cubic threefold does not admit a universal codimension-two cycle and hence is stably irrational.

2025-09-07T11:05:34Z 12 pages, comments are very welcome Kalyan Banerjee http://arxiv.org/abs/2410.13534v8 2025-09-06T11:37:37Z

We construct a fundamental theory of the derived category of non-finite bi-filtered complexes.

2024-10-17T13:24:31Z We would like to merge the paper "Derived categories of bifiltered complexes'' on the arXiv into the paper "The $l$-adic El Zein-Steenbrink-Zucker bifiltered complex of a projective SNCL scheme with an SNCD and an l-adic relative monodromy filtration" (arXiv:2504.00201) Yukiyoshi Nakkajima http://arxiv.org/abs/2403.02413v3 2025-09-05T16:24:35Z

We show that the algebraic K-theory of semi-valuation rings with stably coherent regular semi-fraction ring satisfies homotopy invariance. Moreover, we show that these rings are regular if their valuation is non-trivial. Thus they yield examples of regular rings which are not homotopy invariant for algebraic K-theory. On the other hand, they are not necessarily coherent, so that they provide a class of possibly non-coherent examples for homotopy invariance of algebraic K-theory. As an application, we show that Temkin's relative Riemann-Zariski spaces also satisfy homotopy invariance for K-theory under some finiteness assumption.

2024-03-04T19:09:46Z 12 pages. Final version accepted at Comptes Rendus. Mathématique Comptes Rendus. Mathématique, Volume 363 (2025), pp. 989-1001 Christian Dahlhausen 10.5802/crmath.786 http://arxiv.org/abs/2509.05135v1 2025-09-05T14:24:23Z

We introduce the $τ$-Hochschild (co)homology of a finite dimensional associative algebra $Λ$ by means of the higher Auslander-Reiten translate of O. Iyama. We show that the global dimension of $Λ$, Happel's question and Han's conjecture are related to the $τ$-Hochschild (co)homology.

2025-09-05T14:24:23Z 27 pages Claude Cibils Marcelo Lanzilotta Eduardo N. Marcos Andrea Solotar http://arxiv.org/abs/2506.20507v2 2025-09-05T12:32:15Z

We discover a host of infinite periodic families in the 2-primary stable homotopy groups of spheres. We also confirm the existence of many families predicted by Hopkins--Mahowald. These families appear in nineteen different congruence classes of degrees modulo 192, seven of them consist of simple 4-torsion elements, and another four of simple 8-torsion. They all vanish in the homotopy groups of the spectrum TMF of topological modular forms, but we show that they are detected in the fixed-points of TMF with respect to an Atkin--Lehner involution. As a consequence, we confirm the existence of exotic spheres in all dimensions congruent to 72, 144, and 168 modulo 192.

2025-06-25T14:53:17Z 30 pages, 3 tables, comments welcome! v2 simplifies a proof, adds new families, fixes typos, and reformulates introduction Christian Carrick Jack Morgan Davies http://arxiv.org/abs/2011.00643v2 2025-09-05T02:30:19Z

We reframe Paradan-Vergne's approach to quantization commutes with reduction in KK-theory through a recent formalism introduced by Kasparov, focusing more especially the index theoretic parts that lead to their "Witten non-abelian localization formula". While our method uses the same ingredients as their's in spirit, interesting conceptual simplifications occur, and the relationship to the Ma-Tian-Zhang analytic approach becomes quite transparent.

2020-11-01T23:18:46Z 14 pages, minor changes Rudy Rodsphon http://arxiv.org/abs/2509.04172v1 2025-09-04T12:45:44Z

Welschinger invariants are signed counts of real rational curves satisfying contraints. Quadratic Gromov--Witten invariants give such counts over general fields of characteristic different from 2 and 3. For rational del Pezzo surfaces over a field, we propose a conjectural relationship between Welschinger and quadratic Gromov--Witten invariants. We construct multivariable unramified Witt invariants, in the sense of Serre, from Welschinger invariants and call them Welschinger--Witt invariants. We show that quadratic Gromov--Witten invariants are also Witt invariants and control their ramification. We then conjecture an equality between these Witt invariants, in particular giving a conjectural computation of all the quadratic Gromov--Witten invariants of $k$-rational surfaces. We prove this conjecture for $k$-rational del Pezzo surfaces of degree at least 6.

2025-09-04T12:45:44Z 49 pages, 1 figure Erwan Brugallé Johannes Rau Kirsten Wickelgren http://arxiv.org/abs/2509.03759v1 2025-09-03T22:58:31Z

For an étale groupoid, we define a pairing between the Crainic-Moerdijk groupoid homology and the simplex of invariant Borel probability measures on the base space. The main novelty here is that the groupoid need not have totally disconnected base space, and thus the pairing can give more refined information than the measures of clopen subsets of the base space. Our principal motivation is $C^*$-algebra theory. The Elliott invariant of a $C^*$-algebra is defined in terms of $K$-theory and traces; it is fundamental in the long-running program to classify simple $C^*$-algebras (satisfying additional necessary conditions). We use our pairing to define a groupoid Elliott invariant, and show that for many interesting groupoids it agrees with the $C^*$-algebraic Elliott invariant of the groupoid $C^*$-algebra: this includes irrational rotation algebras and the $C^*$-algebras arising from orbit breaking constructions studied by the first listed author, Putnam, and Strung. These results can be thought of as establishing a refinement of Matui's HK conjecture for the relevant groupoids.

2025-09-03T22:58:31Z Robin Deeley Rufus Willett http://arxiv.org/abs/2409.03877v4 2025-09-03T22:25:27Z

We give a universal property of the construction of the ring of $p$-typical Witt vectors of a commutative ring, endowed with Witt vectors Frobenius and Verschiebung, and generalize this construction to the derived setting. We define an $\infty$-category of $p$-typical derived $δ$-Cartier rings and show that the derived ring of $p$-typical Witt vectors of a derived ring is naturally an object in this $\infty$-category. Moreover, we show that for any prime $p$, the formation of the derived ring of $p$-typical Witt vectors gives an equivalence between the $\infty$-category of all derived rings and the full subcategory of all derived $p$-typical $δ$-Cartier rings consisting of $V$-complete objects.

2024-09-05T19:25:43Z Submitted to journal Kirill Magidson http://arxiv.org/abs/2509.02786v1 2025-09-02T19:41:17Z

We compute the ring of cooperations $π_{**}^{\mathbb{F}_q}(\text{kq} \otimes \text{kq})$ for the very effective Hermitian K-theory over all finite fields $\mathbb{F}_q$ where $\text{char}(\mathbb{F}_q) \neq 2.$ To do this, we use the motivic Adams spectral sequence and show that all differentials are determined by the integral motivic cohomology of $\mathbb{F}_q$. As an application, we compute the $E_1$-page of the kq-resolution.

2025-09-02T19:41:17Z 30 pages, 14 figures. Comments welcome! Jackson Morris