https://arxiv.org/api/0miDk2hLSG2veX6+yYaHM+KZ9pQ 2026-04-07T17:51:36Z 6532 585 15 http://arxiv.org/abs/2307.03424v4 2025-04-03T03:29:45Z

Smooth projective $\mathbb{G}_m$-varieties with isolated rational fixed points admit Tate Milnor-Witt motives. Over Euclidean fields, we give a splitting formula of such motives, which reduces the computation of their Chow-Witt groups to that of their Chow groups and cohomologies of Witt sheaf.

2023-07-07T07:10:39Z 27 pages, to appear in Annals of K-Theory Annals of K-Theory, Vol. 10, no. 2 2025 Jean Fasel Nanjun Yang http://arxiv.org/abs/2504.02223v1 2025-04-03T02:37:57Z

The aim of this paper is to connect two important and apparently unrelated theories: motivic homotopy theory and ramification theory. We construct motivic homotopy categories over a qcqs base scheme $S$, in which cohomology theories with ramification filtrations are representable. Every such cohomology theory enjoys basic properties such as the Nisnevich descent, the cube-invariance, the blow-up invariance, the smooth blow-up excision, the Gysin sequence, the projective bundle formula and the Thom isomorphism. In case $S$ is the spectrum of a perfect field, the cohomology of every reciprocity sheaf is upgraded to a cohomology theory with a ramification filtration represented in our categories. We also address relations of our theory with other non-$\mathbb{A}^1$-invariant motivic homotopy theories such as the logarithmic motivic homotopy theory of Binda, Park, and Østvær and the theory of motivic spectra of Annala-Iwasa.

2025-04-03T02:37:57Z 62 pages, comments welcome! Junnosuke Koizumi Hiroyasu Miyazaki Shuji Saito http://arxiv.org/abs/2404.16681v3 2025-04-02T17:47:18Z

This is the first in a sequence of articles exploring the relationship between commutative algebras and $E_\infty$-algebras in characteristic $p$ and mixed characteristic. In this paper we lay the groundwork by defining a new class of cohomology operations over $\mathbb F_p$ called cotriple products, generalising Massey products. We compute the secondary cohomology operations for a strictly commutative dg-algebra and the obstruction theories these induce, constructing several counterexamples to characteristic 0 behaviour, one of which answers a question of Campos, Petersen, Robert-Nicoud and Wierstra. We construct some families of higher cotriple products and comment on their behaviour. Finally, we distingush a subclass of cotriple products that we call higher Steenrod operations and conclude with our main theorem, which says that $E_\infty$-algebras can be rectified if and only if the higher Steenrod operations vanish coherently.

2024-04-25T15:32:15Z To appear in Algebraic and Geometric Topology; 24 pages; minor revision Algebr. Geom. Topol. 26 (2026) 761-790 Oisín Flynn-Connolly 10.2140/agt.2026.26.761 http://arxiv.org/abs/2406.02182v2 2025-04-01T12:58:18Z

We use motivic methods to give a quick proof of Berthelot's conjecture stating that the push-forward map in rigid cohomology of the structural sheaf along a smooth and proper map has a canonical structure of overconvergent F-isocrystal on the base.

2024-06-04T10:26:35Z 34 pages. The comparison to Berthelot's rigid cohomology has been expanded. To appear in Duke Veronika Ertl Alberto Vezzani http://arxiv.org/abs/2504.00596v1 2025-04-01T09:55:00Z

We develop a new approach on free wreath products, generalizing the constructions of Bichon and of Fima-Pittau. We show stability properties for certain approximation properties such as exactness, Haagerup property, hyperlinearity and K-amenability. We study qualitative properties of the associated von Neumann algebra: factoriality, primeness and absence of Cartan subalgebra and we give a formula for Connes' T-invariant. Finally, we give some explicit computations of K-theory groups for C*-algebras of generalized free wreath products.

2025-04-01T09:55:00Z 65 pages Pierre Fima Arthur Troupel http://arxiv.org/abs/2412.19936v3 2025-03-31T20:56:41Z

Algebraic $kk$-theory, introduced by Cortiñas and Thom, is a bivariant $K$-theory defined on the category $\mathrm{Alg}$ of algebras over a commutative unital ring $\ell$. It consists of a triangulated category $kk$ endowed with a functor from $\mathrm{Alg}$ to $kk$ that is the universal excisive, homotopy invariant and matrix-stable homology theory. Moreover, one can recover Weibel's homotopy $K$-theory $\mathrm{KH}$ from $kk$ since we have $kk(\ell,A)=\mathrm{KH}(A)$ for any algebra $A$. We prove that $\mathrm{Alg}$ with the split surjections as fibrations and the $kk$-equivalences as weak equivalences is a stable category of fibrant objects, whose homotopy category is $kk$. As a consecuence of this, we prove that the Dwyer-Kan localization $kk_\infty$ of the $\infty$-category of algebras at the set of $kk$-equivalences is a stable infinity category whose homotopy category is $kk$.

2024-12-27T21:51:06Z Some typos were corrected and Appendix B was dropped. Version to appear in Orbita Mathematicae. 40 pages Orbita Math. 2 (2025) 149-189 Eugenia Ellis Emanuel Rodríguez Cirone 10.2140/om.2025.2.149 http://arxiv.org/abs/2504.00164v1 2025-03-31T19:20:17Z

It is proved that the Minkowski question-mark function comes from the K-theory of Cuntz-Pimsner algebras. We apply this result to calculate the action of Frobenius endomorphism at the infinite prime. Such a problem was raised by Serre and Deninger in the theory of local factors of zeta functions of projective varieties.

2025-03-31T19:20:17Z 10 pages, 2 figures Igor V. Nikolaev http://arxiv.org/abs/1610.10043v4 2025-03-31T15:57:43Z

We show that any preadditive infinity category with duality gives rise to a direct sum hermitian K-theory spectrum. This assignment is lax symmetric monoidal, thereby producing E-infinity ring spectra from preadditive symmetric monoidal infinity categories with duality. To have examples of preadditive symmetric monoidal infinity categories with duality we show that any preadditive symmetric monoidal infinity category, in which every object admits a dual, carries a canonical duality. Moreover we classify and twist the dualities in various ways and apply our definitions for example to finitely generated projective modules over E-infinity ring spectra.

2016-10-31T18:10:14Z 26 pages Hadrian Heine Alejo Lopez-Avila Markus Spitzweck http://arxiv.org/abs/2112.11535v2 2025-03-31T08:51:42Z

We describe a symmetry breaking construction in coarse geometry which allows to obtain information about equivariant coarse homology classes by restriction to smaller groups and spaces. In the case of equivariant coarse $K$-homology theory we give an analytic interpretation of this construction. As a consequence we obtain applications to the spectral theory of invariant differential operators.

2021-12-21T21:34:09Z 24 pages; published in J. Geom. Phys Ulrich Bunke Matthias Ludewig http://arxiv.org/abs/2310.19506v6 2025-03-30T06:07:15Z

We encode the real homotopy type of an $n$-dimensional $(r-1)$-connected compact manifold $M$, $ r\ge 2$ into a minimal unital $C_\infty$-structure on $H^* (M,\mathbb R)$, obtained via homotopy transfer of the unital DGCA structure of the small quotient algebra associated with a Hodge decomposition of the de Rham algebra $\mathcal A^*(M)$, which has been proposed by Fiorenza-Kawai-Lê-Schwachhöfer in [Ann. Sc. Norm. Super Pisa (5), vol. XXII (2021), 79-107]. We prove that if $n \le \ell (r-1) +2$, with $\ell \geq 4$, the multiplication $μ_k$ on the minimal unital $C_\infty$-algebra $H^*(M,\mathbb R)$ vanishes for all $k \ge \ell-1$. This extends the results from [loc. cit.], extending the bound on the dimension from $5r-3$ to the general bound $\ell(r-1) +2$. We also prove a variant of this result, conjectured by Zhou, stating that if $n \le \ell(r-1)+4$ and $b_r (M) =1$ then the multiplication $μ_k$ for all $k \ge \ell-1$ vanishes. This implies two formality results by Cavalcanti [Math. Proc. Cambridge Philos. Soc. 141 (2006), 101-112]. We show that in any dimension $n$ the Harrison cohomology class $[μ_3]\in \mathrm {HHarr}^{3,-1}(H^* (M, \mathbb R), H^*(M, \mathbb R)) $ is a homotopy invariant of $M$ and the first obstruction to formality, and provide a detailed proof that if $n\leq 4r-1$ this is the only obstruction. Furthermore, we show that in any dimension $n$ the class $[μ_3]$ and the Bianchi-Massey tensor invented by Crowley-Nordström in [J. Topol. 13(2020), 539-575] define each other uniquely.

2023-10-30T13:04:06Z v6, 32 p.; affiliation added, a reference added, few typos corrected. Final version. To appear in Ann. Sc. Norm. Super. Pisa Domenico Fiorenza Hông Vân Lê 10.2422/2036-2145.202401_003 http://arxiv.org/abs/2402.18228v3 2025-03-28T07:10:11Z

We show that the equivariant $E$-theory category $\mathrm{E}_{\mathrm{sep}}^{G}$ for separable $C^{*}$-algebras is a compactly assembled stable $\infty$-category. We derive this result as a consequence of the shape theory for $C^{*}$-algebras developed by Blackadar and Dardarlat and a new construction of $\mathrm{E}_{\mathrm{sep}}^{G}$. As an application we investigate a topological enrichment of the homotopy category of a compactly assembled $\infty$-category in general and argue that the results of Carrión and Schafhauser on the enrichment of the classical $E$-theory category can be derived by specialization.

2024-02-28T10:49:53Z 117 pages, revised version Ulrich Bunke Benjamin Duenzinger http://arxiv.org/abs/2206.14645v3 2025-03-27T13:16:16Z

We prove that the mod 2-cohomology algebras of real projective groups are formal. As a consequence we derive the Hopkins-Wickelgren formality and the strong Massey vanishing conjecture for a large class of fields.

2022-06-29T13:39:37Z v3: 38 pages, minor revision; final version to appear in Math. Ann Ambrus Pál Gereon Quick http://arxiv.org/abs/2503.16074v2 2025-03-27T10:47:38Z

Kashuba and Mathieu proposed a conjecture on vanishing of some components of the homology of certain Lie algebras, implying a description of the $GL_d$-module structure of the free $d$-generated Jordan algebra. Their conjecture relies on a functorial version of the Tits-Kantor-Koecher construction that builds Lie algebras out of Jordan algebras. Recently, Shang used a functorial construction of Allison, Benkart and Gao that builds Lie algebras out of alternative algebras to propose another conjecture on vanishing of some components of the homology of certain Lie algebras, implying a description of the $GL_d$-module structure of the free $d$-generated alternative algebra. In this note, we explain why the conjecture of Shang is not true.

2025-03-20T12:10:23Z 21 pages, includes SageMath code in the Appendix. Version 2 implements several major changes: the main result is stronger (in particular, the conjecture is disproved already for two generators), and the argument is restructured to make all the main computations verifiable by a human Vladimir Dotsenko http://arxiv.org/abs/2308.05651v4 2025-03-26T17:43:30Z

We establish a purely geometric form of the concentration theorem (also called localization theorem) for actions of a linearly reductive group $G$ on an affine scheme $X$ over an affine base scheme $S$. It asserts the existence of a $G$-representation without trivial summand over $S$, which acquires over $X$ an equivariant section vanishing precisely at the fixed locus of $X$. As a consequence, we show that the equivariant stable motivic homotopy theory of a scheme with an action of a linearly reductive group is equivalent to that of the fixed locus, upon inverting appropriate maps, namely the Euler classes of representations without trivial summands. We also discuss consequences for equivariant cohomology theories obtained using Borel's construction. This recovers most known forms of the concentration theorem in algebraic geometry, and yields generalizations valid beyond the setting of actions of diagonalizable groups on one hand, and that of oriented cohomology theories on the other hand. Finally, we derive a version of Smith theory for motivic cohomology, following the approach of Dwyer--Wilkerson in topology.

2023-08-10T15:48:53Z final version Olivier Haution http://arxiv.org/abs/2503.20004v1 2025-03-25T18:44:12Z

We study the injectivity property of certain actions of higher Chow groups on refined unramified cohomology. As an application for every $p\geq1$ and for each $d\geq p+4$ and $n\geq2,$ we establish the first examples of smooth complex projective $d$-folds $X$ such that for all $p+3\leq c\leq d-1,$ the higher Chow group $\text{CH}^{c}(X,p)$ contains infinitely many torsion cycles of order $n$ that remain linearly independent modulo $n$. Our bounds for $c$ and $d$ are also optimal. A crucial tool for the proof is morphic cohomology.

2025-03-25T18:44:12Z 36 pages Theodosis Alexandrou Lin Zhou