https://arxiv.org/api/trOK7xvkee/EYveHL+LmriVzs/U 2026-04-07T08:30:19Z 6532 495 15 http://arxiv.org/abs/2412.15780v2 2025-06-12T13:05:44Z

We present an alternative formulation of Scholze's notions of cohomologically proper and cohomologically étale with respect to an abstract six-functor formalism. These conditions guarantee canonical isomorphisms between the direct and exceptional direct images for certain "proper" morphisms, and between the inverse and exceptional inverse images for certain "étale" morphisms. Using this framework, we prove Scholze's conjecture, showing that a six-functor formalism with sufficiently many cohomologically proper and étale morphisms is uniquely determined by the tensor product and inverse image functors, and can be obtained by a construction of Liu-Zheng and Mann. Additionally, we show that a generalisation of the conjecture fails, and propose a measure of this failure in terms of K-theory.

2024-12-20T10:47:47Z v2: added section 3.1 and 3.2 to elaborate on remarks in previous version Adam Dauser Josefien Kuijper http://arxiv.org/abs/2506.10360v1 2025-06-12T05:35:55Z

We prove Horrocks' theorem for the odd elementary orthogonal group, which gives a decomposition of an orthogonal matrix with entries from a polynomial ring $R[X]$, over a commutative ring $R$ in which 2 is invertible, as a product of an orthogonal matrix with entries in $R$ and an elementary orthogonal matrix with entries from $R[X]$.

2025-06-12T05:35:55Z Ambily A A Sugilesh H http://arxiv.org/abs/2506.09910v1 2025-06-11T16:25:19Z

The goal of this paper is to study non-$\mathbb{A}^1$-invariant motivic cohomology, recently defined by Elmanto, Morrow, and the first-named author, for smooth schemes over possibly non-discrete valuation rings. We establish that the cycle class map from $p$-adic motivic cohomology to a suitable truncation of Bhatt--Lurie's syntomic cohomology is an isomorphism, thereby verifying the Beilinson--Lichtenbaum conjecture in this generality. As a consequence, we prove that this motivic cohomology integrally recovers the classical definition of motivic cohomology in terms of Bloch's cycle complexes, whenever the latter is defined. Over perfectoid rings, we show that this cohomology theory is actually $\mathbb{A}^1$-invariant, thus partially answering a question of Antieau--Mathew--Morrow. The key ingredient in our approach is a version of Gabber's presentation lemma applicable in mixed characteristic, non-noetherian settings.

2025-06-11T16:25:19Z 29 pages. Comments welcome! Tess Bouis Arnab Kundu http://arxiv.org/abs/2506.09905v1 2025-06-11T16:17:35Z

In a preprint released in 2016, Daniel Grayson introduces a conjectural presentation of the (higher) relative algebraic $K$-groups using purely combinatorial means. In this paper, we will show that this presentation is isomorphic to the classically defined higher relative algebraic $K$-groups, and provide some reasons to believe the conjecture posed in this 2016 preprint to be true.

2025-06-11T16:17:35Z Jane Turner http://arxiv.org/abs/2506.07867v2 2025-06-10T14:26:03Z

In this article we describe the $G_{comp}\times G_{comp}$-equivariant topological $K$-ring of a {\em cellular} toroidal embedding $\mathbb{X}$ of a complex connected reductive algebraic group $G$. In particular, our results extend the results in \cite{u1} and \cite{u2} on the regular embeddings of $G$, to the equivariant topological $K$-ring of a larger class of (possibly singular) cellular toroidal embeddings. They are also a topological analogue of the results in \cite{gon} on the operational equivariant algebraic $K$-ring, for cellular toroidal embeddings.

2025-06-09T15:34:30Z 53 pages Alexis Tchoudjem V. Uma http://arxiv.org/abs/2207.00369v2 2025-06-10T12:03:59Z

We give a proof of the $p$-adic weight monodromy conjecture for scheme-theoretic complete intersections in projective smooth toric varieties. The strategy is based on Scholze's proof in the $\ell$-adic setting, which we adapt using homotopical results developed in the context of rigid analytic motives.

2022-07-01T12:11:20Z 36 pages. Minor edits. To appear in Invent. Math Federico Binda Hiroki Kato Alberto Vezzani http://arxiv.org/abs/2506.06795v1 2025-06-07T13:33:59Z

Suppose that $F$ is an $\mathbb{A}^{1}$-invariant quasi-stable $\mathbb{Z}F_{\ast}$-presheaf. Then its Zariski sheafification $F_{Zar}$ coincides with its Nisnevich sheafification $F_{Nis}$. Moreover, if $X\in Sm/k$ is $k$-smooth, then for any $n$ there is equality $H^{n}_{Zar}(X, F_{Zar})=H^{n}_{Nis}(X,F_{Nis})$.

2025-06-07T13:33:59Z in Russian language Ivan Panin Dimitrii Tyurin http://arxiv.org/abs/2401.16508v2 2025-06-07T10:31:10Z

We provide a simple proof that the unit map from the sphere spectrum to the connective image-of-$J$ spectrum $\mathrm{j}$ is surjective on homotopy groups. This is achieved using a novel $t$-structure on the category of $E$-synthetic spectra and a specific construction of $\mathbf{F}_p$- and BP-synthetic lifts of $\mathrm{j}$. These synthetic lifts then easily produce modified Adams and Adams--Novikov spectral sequences for $\mathrm{j}$ which we use the prove the above detection statement, all without ever calculating $\mathbf{F}_p$- or BP-homology nor the associated Ext groups.

2024-01-29T19:25:56Z 53 pages and 16 spectral sequence diagrams. Comments are always welcome. v2 adds a proof of Wood's theorem and refines assumptions. Accepted version Trans. Amer. Math. Soc. 379 (2026), 1985-2031 Christian Carrick Jack Morgan Davies 10.1090/tran/9526 http://arxiv.org/abs/2506.06110v1 2025-06-06T14:20:51Z

Motivated by the strong nearby Lagrangian conjecture, we constrain the parametrised Whitehead torsion of a family of closed exact Lagrangian submanifolds in a cotangent bundle. We prove the parametrised Whitehead torsion admits a factorisation through simpler maps, in particular implying it is trivial on $π_0$, $π_1$, and that its image is divisible by the Euler characteristic. We provide concrete implications for the Lagrangian monodromy question in the case of a high dimensional torus. This generalises earlier work of Abouzaid and Kragh \cite{AbKr} on the $π_0$ version, using different methods. Our main tool is the theory of twisted generating functions, building on \cite{ACGK}.

2025-06-06T14:20:51Z Comments welcome! 39 pages, 11 figures Sylvain Courte Noah Porcelli http://arxiv.org/abs/2003.03510v3 2025-06-06T11:44:33Z

This paper provides conditions for Morava $K$-theory to commute with certain homotopy limits. These conditions extend previous work on this question by allowing for homotopy limits of sequences of spectra that are not uniformly bounded below. As an application, we prove the $K(n)$-local triviality (for sufficiently large $n$) of the algebraic $K$-theory of algebras over truncated Brown--Peterson spectra, building on work of Bruner--Rognes and extending a classical theorem of Mitchell on $K(n)$-local triviality of the algebraic K-theory spectrum of the integers for large enough $n$.

2020-03-07T03:52:58Z 36 pages, V3: Streamlined proof of the main theorem and responded to referee feedback Gabriel Angelini-Knoll Andrew Salch http://arxiv.org/abs/2506.05267v1 2025-06-05T17:26:39Z

We use deformation sequences of (Hopf) algebras, extending the results of Negron and Pevtsova, to show that bosonizations of some suitable braided Hopf algebras by some suitable finite-dimensional Hopf algebras have finitely generated cohomology. In fact, our results are shown in more generality for smash products. As applications, we prove the bosonizations of some Nichols algebras (such as Nichols algebras of diagonal type, the restricted Jordan plane, Nichols algebras of direct sums of Jordan blocks plus points labeled with 1), by some suitable finite-dimensional Hopf algebras, have finitely generated cohomology, recovering some known results as well as providing new examples.

2025-06-05T17:26:39Z 33 pages, comments are welcome Nicolás Andruskiewitsch David Jaklitsch Van C. Nguyen Amrei Oswald Julia Plavnik Anne V. Shepler Xingting Wang http://arxiv.org/abs/2506.03952v1 2025-06-04T13:42:54Z

In this paper, we investigate pre-Calabi-Yau algebras and homotopy double Poisson algebras arising from homotopy Rota-Baxter structures. We introduce the notion of cyclic homotopy Rota-Baxter algebras, a class of homotopy Rota-Baxter algebras endowed with additional cyclic symmetry, and present a construction of such structures via a process called cyclic completion. We further introduce the concept of interactive pairs, consisting of two differential graded algebras-designated as the acting algebra and the base algebra-interacting through compatible module structures. We prove that if the acting algebra carries a suitable cyclic homotopy Rota-Baxter structure, then the base algebra inherits a natural pre-Calabi-Yau structure. Using the correspondence established by Fernandez and Herscovich between pre-Calabi-Yau algebras and homotopy double Poisson algebras, we describe the resulting homotopy Poisson structure on the base algebra in terms of homotopy Rota-Baxter algebra structure. In particular, we show that a module over an ultracyclic (resp. cyclic) homotopy Rota-Baxter algebra admits a (resp. cyclic) homotopy double Lie algebra structure.

2025-06-04T13:42:54Z Yufei Qin Kai Wang http://arxiv.org/abs/1908.09164v3 2025-06-03T14:15:36Z

The family of Thom spectra $y(n)$ interpolates between the sphere spectrum and the mod two Eilenberg--MacLane spectrum. Computations of Mahowald, Ravenel, Shick, and the authors show that the associative ring spectrum $y(n)$ has type $n$. Using trace methods, we give evidence that algebraic K-theory preserves this chromatic complexity. Our approach sheds light on the chromatic complexity of topological negative cyclic homology and topological periodic cyclic homology, which approximate algebraic K-theory and are of independent interest. Our main contribution is a homological approach that can be applied in great generality, such as to associative ring spectra $R$ without additional structure whose coefficient rings are not completely understood.

2019-08-24T16:34:10Z 36 pages. Significantly revised after referee feedback. Accepted for publication at JPAA Gabriel Angelini-Knoll J. D. Quigley http://arxiv.org/abs/2506.02437v1 2025-06-03T04:45:10Z

We lay out the theory of a multiplicity in the setting of a triangulated category having a central ring action from a graded-commutative ring $R$, in other words, an $R$-linear triangulated category. The invariant we consider is modelled on those for graded modules over a commutative graded ring. We show that this invariant is determined by the leading coefficients of the Hilbert polynomials expressing the lengths of certain Hom sets. Our theory is a natural analogue of Hochster's theta invariant for homology and Buchweitz's Herbrand difference for cohomology. Moreover, we give applications to vanishing of cohomology and modules over local complete intersection rings, group algebras of a finite group, and certain finite dimensional algebras.

2025-06-03T04:45:10Z 24 pages; comments welcome! Petter Andreas Bergh David A. Jorgensen Peder Thompson http://arxiv.org/abs/2407.17708v2 2025-06-02T07:58:53Z

We mathematically show an equality between the index of a Dirac operator on a flat continuum torus and the $η$ invariant of a lattice Dirac operator known as the Wilson Dirac operator with a negative mass when the lattice spacing is sufficiently small. Unlike the standard approach, our formulation using $K$-theory does not require modified chiral symmetry on the lattice. We prove that a one-parameter family of continuum massive Dirac operators and the corresponding Wilson Dirac operators belong to the same equivalence class of the $K^1$ group at a finite lattice spacing. Their indices, which are evaluated by the spectral flow or equivalently by the $η$ invariant at a finite mass, are proved to be equal.

2024-07-25T02:03:51Z 52 pages, 3 figures, some refinement in introduction, minor corrections about mathematical subtleties in sec.2 and sec.3 with additional references Shoto Aoki Hidenori Fukaya Mikio Furuta Shinichiroh Matsuo Tetsuya Onogi Satoshi Yamaguchi