https://arxiv.org/api/LqUaRa4ISGZorBcAsNYsJXr0X3w 2026-04-10T11:17:42Z 6535 675 15 http://arxiv.org/abs/2410.16047v3 2025-02-03T14:24:22Z

A field $K$ is quasi-classical $d$-local if there exist fields $K=k_d,\dots,k_0$ with $k_{i+1}$ Henselian admissible discretely valued with residue field $k_i$, and $k_0$ quasi-finite. We prove a duality theorem for the Galois cohomology of such $K$ with many coefficients, including finite coefficients of any order. Previously, such duality was only known in few cases : as a perfect pairing of finite groups for finite coefficients prime to $\mathrm{char} k_0$ in general, or for any finite coefficients when $k_1$ is $p$-adic ; or as a perfect pairing of locally compact Hausdorff groups for the $\mathrm{fppf}$ cohomology of finite group schemes when $K$ is local. With no obvious reasonable topology available, we abandon perfectness altogether and instead obtain nondegenerate pairings of abstract abelian groups. This is done with new diagram-chasing results for pairings of torsion groups, allowing a dévissage approach which reduces our results to the study of $K^M_r(K)/p\times H^{d+1-r}_p(K)\to\mathbb{Z}/p$ using results of Kato.

2024-10-21T14:23:28Z Lemma 7.4, Proposition 10 and Proposition 17 are false (there are counter-examples found and kindly communicated by Takashi Suzuki). As a consequence, the proofs of all the important results of the paper, which rely on Proposition 17 (the main results, most of part 3, Proposition 57 and Theorem 59) are invalid Antoine Galet http://arxiv.org/abs/2404.14201v5 2025-02-03T13:21:38Z

In this article we describe the $T_{comp}$-equivariant topological $K$-ring of a $T$-{\it cellular} complete toric variety. We further show that $K_{T_{comp}}^0(X)$ is isomorphic as an $R(T_{comp})$-algebra to the ring of piecewise Laurent polynomial functions on the associated fan denoted $PLP(Δ)$. Furthermore, we compute a basis for $K_{T_{comp}}^0(X)$ as a $R(T_{comp})$-module and multiplicative structure constants with respect to this basis.

2024-04-22T14:11:33Z 31 pages, 2 figures, to appear in Fundamenta Mathematicae V. Uma http://arxiv.org/abs/2403.00575v3 2025-02-03T12:51:10Z

In the setting of a proper, cocompact action by a locally compact, unimodular group $G$ on a Riemannian manifold, we construct equivariant spectral flow of paths of Dirac-type operators. This takes values in the $K$-theory of the group $C^*$-algebra of $G$. In the case where $G$ is the fundamental group of a compact manifold, the summation map maps equivariant spectral flow on the universal cover to classical spectral flow on the base manifold. We obtain "index equals spectral flow" results. In the setting of a smooth path of $G$-invariant Riemannian metrics on a $G$-spin manifold, we show that the equivariant spectral flow of the corresponding path of spin Dirac operators relates delocalised $η$-invariants and $ρ$-invariants for different positive scalar curvature metrics to each other.

2024-03-01T14:56:09Z minor corrections after referee reports Peter Hochs Aquerman Yanes http://arxiv.org/abs/2409.05719v3 2025-02-03T09:55:44Z

In this article we describe the equivariant and ordinary topological $K$-ring of a toric bundle with fiber a $T$-{\it cellular} toric variety. This generalizes the results in \cite{su} on $K$-theory of smooth projective toric bundles. We apply our results to describe the equivariant topological $K$-ring of a toroidal horospherical embedding.

2024-09-09T15:31:44Z 23 pages. arXiv admin note: text overlap with arXiv:2404.14201 V. Uma http://arxiv.org/abs/2502.00956v1 2025-02-02T23:20:56Z

We describe the main properties of the $RO(C_2\times Σ_2)$-graded cohomology ring of a point and apply the results to compute the subring of motivic classes given by the Bredon motivic cohomology of real numbers and to compute $RO(C_2\times Σ_2)$-graded cohomology ring of $E_{Σ_2}C_2$. This generalizes Voevodsky's identification of motivic cohomology of real numbers with the positive cone of $RO(C_2)$ graded cohomology of a point.

2025-02-02T23:20:56Z 49 pages Bill Deng Mircea Voineagu http://arxiv.org/abs/2401.14127v3 2025-02-01T10:33:38Z

We construct a new Weil cohomology for smooth projective varieties over a field, universal among Weil cohomologies with values in rigid additive tensor categories. A similar universal problem for Weil cohomologies with values in rigid abelian tensor categories also has a solution. We give a variant for Weil cohomologies satisfying more axioms, like Weak and Hard Lefschetz. As a consequence, we get a different construction of André's category of motives for motivated correspondences and show that it has a universal property. This theory extends over suitable bases.

2024-01-25T12:15:52Z Exposition improved L. Barbieri-Viale B. Kahn http://arxiv.org/abs/2412.20548v2 2025-01-30T18:48:35Z

This article is the last of the series of articles where we reprove the foundational ideas of abstract six-functor formalisms developed by Liu-Zheng. We prove the theorem of partial adjoints, which is a simplicial technique of encoding various functors altogether by taking adjoints along specific directions. Combined with the $\infty$-categorical compactification theorem from the previous article, we can construct abstract six-functor formalisms in reasonable geometric setups of our interest. We also reprove the simplified versions of the DESCENT program due to Liu-Zheng, which allows us to extend such formalisms from smaller to larger geometric setups.

2024-12-29T18:38:16Z arXiv admin note: text overlap with arXiv:2409.20382 , Minor changes in the introduction Chirantan Chowdhury http://arxiv.org/abs/2403.17825v2 2025-01-30T09:55:40Z

Making a survey of recent constructions of universal cohomologies we suggest a new framework for a theory of motives in algebraic geometry.

2024-03-26T16:06:10Z Published on the special issue dedicated to the memory of Jacob Murre L. Barbieri-Viale 10.1016/j.indag.2024.09.008 http://arxiv.org/abs/2501.18021v1 2025-01-29T22:18:44Z

Let $M$ be a closed spin manifold and $N$ be a codimension 1 submanifold of it. Given certain homotopy conditions, Zeidler shows that the Rosenberg index of $N$ is an obstruction to the existence of positive scalar curvature on $M$. He further gives a transfer map between the K groups of the group $C^*$ algebras of the foundemental group. The transfer map maps the Rosenberg index of $M$ to the one of $N$. In this note, we present an alternative formulation of the transfer map using maps between $C^*$ algebras, and give an analogus result for the codimension 1 transfer of higher K theoretic signatures.

2025-01-29T22:18:44Z Comments welcome! Yuetong Luo http://arxiv.org/abs/2502.10416v1 2025-01-29T19:04:59Z

The book is devoted to investigation of arithmetic of the matrix rings over certain classes of commutative finitely generated principal ideals domains. We mainly concentrate on constructing of the matrix factorization theory. We reveal a close relationship between the matrix factorization and specific properties of subgroups of the complete linear group and the special normal form of matrices with respect to unilateral equivalence. The properties of matrices over rings of stable range 1.5 are thoroughly studied. The book is intended for experts in the ring theory and linear algebra, senior and post-graduate students.

2025-01-29T19:04:59Z Book, 278 pages Kyiv, Akademperiodyka, 2021 Volodymyr Shchedryk 10.15407/akademperiodika.430.278 http://arxiv.org/abs/2501.16259v2 2025-01-28T16:08:20Z

We extend McCarthy's stabilization construction to exact $\infty$-categories. This is achieved by constructing, for any functor from exact $\infty$-categories to a fixed stable $\infty$-category $\mathcal{A}$, a coherent chain complex in $\mathcal{A}$ that is an immediate generalization of Mac Lane's cubical $Q$-complex computing the stable homology of abelian groups.

2025-01-27T17:59:05Z Updated one reference, fixed processing that led to missing references Ettore Aldrovandi Arash Karimi http://arxiv.org/abs/2408.00091v2 2025-01-28T11:16:35Z

In this paper we study the following question: do sub-Laplacian type operators have non-trivial index theory on Carnot manifolds in higher degree of nilpotency? The problem relates to characterizing the structure of the space of hypoelliptic sub-Laplacian type operators, and results going back to Rothschild-Stein and Helffer-Nourrigat. In two degrees of nilpotency, there is a rich index theory by work of van Erp-Baum on contact manifolds, that was later extended to polycontact manifolds by Goffeng-Kuzmin. We provide a plethora of examples in higher degree of nilpotency where the index theory is trivial.

2024-07-31T18:10:24Z 19 pages Magnus Goffeng Bernard Helffer http://arxiv.org/abs/2501.02873v2 2025-01-28T04:36:21Z

We revisit the lattice index theorem in the perspective of $K$-theory. The standard definition given by the overlap Dirac operator equals to the $η$ invariant of the Wilson Dirac operator with a negative mass. This equality is not coincidental but reflects a mathematically profound significance known as the suspension isomorphism of $K$-groups. Specifically, we identify the Wilson Dirac operator as an element of the $K^1$ group, which is characterized by the $η$-invariant. Furthermore, we prove that, at sufficiently small but finite lattice spacings, this $η$-invariant equals to the index of the continuum Dirac operator. Our results indicate that the Ginsparg-Wilson relation and the associated exact chiral symmetry are not essential for understanding gauge field topology in lattice gauge theory.

2025-01-06T09:30:14Z 10 pages, 2 figures, Contribution to the 41st International Symposium on Lattice Field Theory (LATTICE2024), 28 July - 3 August 2024, Liverpool, UK, minor corrections Shoto Aoki Hidenori Fukaya Mikio Furuta Shinichiroh Matsuo Tetsuya Onogi Satoshi Yamaguchi http://arxiv.org/abs/2501.15651v1 2025-01-26T19:24:44Z

We prove that for any base scheme $S$, real étale motivic (unstable) homotopy theory over $S$ coincides with unstable semialgebraic topology over $S$ (that is, sheaves of spaces on the real spectrum of $S$). Moreover we show that for pointed connected motivic spaces over $S$, the real étale motivic localization is given by smashing with the telescope of the map $ρ: S^0 \to {\mathbb G}_m$.

2025-01-26T19:24:44Z 34 pages, comments welcome Aravind Asok Tom Bachmann Elden Elmanto Michael J. Hopkins http://arxiv.org/abs/2302.11702v2 2025-01-24T17:13:12Z

We produce refinements of the known multiplicative structures on the Brown--Peterson spectrum $BP$, its truncated variants $BP\langle n \rangle$, Ravenel's spectra $X(n)$, and evenly graded polynomial rings over the sphere spectrum. Consequently, topological Hochschild homology relative to these rings inherits a circle action.

2023-02-22T23:39:39Z v2: Fixed erroneous sentence in the introduction. 8 pages. Comments always welcome Sanath Devalapurkar Jeremy Hahn Tyler Lawson Andrew Senger Dylan Wilson