https://arxiv.org/api//MBmWB37mPqCeYhf0S54KQu7Qxs 2026-04-13T05:30:26Z 6536 990 15 http://arxiv.org/abs/2307.14261v3 2024-05-15T15:29:36Z

We prove that the dévissage property holds for periodic cyclic homology for a local complete intersection embedding into a smooth scheme. As a consequence, we show that the complexified topological Chern character maps for the bounded derived category and singularity category of a local complete intersection are isomorphisms, proving new cases of the Lattice Conjecture in noncommutative Hodge theory.

2023-07-26T15:46:14Z 14 pages. To appear in Annals of K-theory Ann. K-Th. 9 (2024) 341-367 Michael K. Brown Mark E. Walker 10.2140/akt.2024.9.341 http://arxiv.org/abs/2402.06183v2 2024-05-14T17:57:22Z

Consider a closed monotone symplectic manifold $(M,ω)$. \cite{Gan2} constructed a cyclic open-closed map, which goes from the cyclic homology of the Fukaya category of $M$ to the $S^1$-equivariant quantum cohomology of $M$. In this paper, we show that with mod $p$ coefficients, Ganatra's cyclic open-closed map is compatible with a certain $\mathbb{Z}/p$-equivariant open-closed map under the natural $\mathbb{Z}/p$-Gysin type comparison map for Hochschild homology. Along with the proof, this paper gives a new homotopy theoretic framework for studying open-closed maps in symplectic topology. These will be used in an upcoming work \cite{Che} to study mod $p$ equivariant enumerative invariants such as the Quantum Steenrod operations. The main insights of this paper are: 1) a $\mathbb{Z}/p$-Gysin comparison result for ($\mathcal{A}_{\infty}$-) cyclic objects, 2) a new construction of the open-closed map using operadic Floer theory of \cite{AGV}, which gives rise to a new interpretation of its `$S^1$-equivariant' property, and 3) comparison of the new construction with its classical counterpart.

2024-02-09T04:39:10Z 65 pages, 6 figures. Fixed typos, updated references, changed notation for finite p-cyclic category (to avoid confusion with a different category due to Kaledin) Zihong Chen http://arxiv.org/abs/2405.07566v1 2024-05-13T09:05:09Z

We prove a new kind of homological stability theorem for automorphism groups of finitely-generated projective modules over Dedekind domains, which takes into account all possible stabilisation maps between these, rather than only stabilisation by the free module of rank 1. We show the same kind of stability holds for Clausen and Jansen's reductive Borel--Serre spaces.

2024-05-13T09:05:09Z 18 pages Oscar Randal-Williams http://arxiv.org/abs/2110.06112v4 2024-05-11T02:47:04Z

We consider the Grothendieck polynomials appearing in the K-theory of Grassmannians, which are analogs of Schur polynomials. This paper aims to establish a version of the Murnaghan-Nakayama rule for Grothendieck polynomials of the Grassmannian type. This rule allows us to express the product of a Grothendieck polynomial with a power sum symmetric polynomial into a linear combination of other Grothendieck polynomials.

2021-10-12T15:58:24Z 12 pages, 8 figures Annals of Combinatorics, Vol. 28 (2024), 155-168 Khanh Nguyen Duc Dang Tuan Hiep Tran Ha Son Do Le Hai Thuy 10.1007/s00026-023-00659-x http://arxiv.org/abs/2307.15148v2 2024-05-10T19:23:25Z

In this paper we prove the conjecture claiming that, over a flexible field, isotropic Chow groups coincide with numerical Chow groups (with ${\Bbb{F}}_p$-coefficients). This shows that Isotropic Chow motives coincide with Numerical Chow motives. In particular, homs between such objects are finite groups and $\otimes$ has no zero-divisors. It provides a large supply of new points for the Balmer spectrum of the Voevodsky motivic category. We also prove the Morava K-theory version of the above result, which permits to construct plenty of new points for the Balmer spectrum of the Morel-Voevodsky ${\Bbb{A}}^1$-stable homotopic category. This substantially improves our understanding of the mentioned spectra whose description is a major open problem.

2023-07-27T18:50:04Z to appear in Inventiones Mathematicae Inventiones Math. 237 (2024), 779-808 Alexander Vishik 10.1007/s00222-024-01267-z http://arxiv.org/abs/2405.05609v1 2024-05-09T08:05:24Z

We show that for a gradable finite dimensional algebra the perfect complexes and bounded derived category cannot be distinguished by homotopy invariants.

2024-05-09T08:05:24Z 6 pages Sira Gratz Theo Raedschelders Špela Špenko Greg Stevenson http://arxiv.org/abs/2312.12517v3 2024-05-08T15:11:00Z

While it has become widely appreciated that (higher) gauge theories need, besides their variational phase space data, to be equipped with "flux quantization laws" in generalized differential cohomology, there used to be no general prescription for how to define and construct the resulting flux-quantized phase space stacks. In this short note we observe that all higher Maxwell-type equations have solution spaces given by flux densities on a Cauchy surface subject to a higher Gauss law and no further constraint: The metric duality-constraint is all absorbed into the evolution equation away from the Cauchy surface. Moreover, we observe that the higher Gauss law characterizes the Cauchy data as flat differential forms valued in a characteristic L-infinity-algebra. Using the recent construction of the non-abelian Chern-Dold character map, this implies that compatible flux quantization laws on phase space have classifying spaces whose rational Whitehead L-infinity algebra is this characteristic one. The flux-quantized higher phase space stack of the theory is then simply the corresponding (generally non-abelian) differential cohomology moduli stack on the Cauchy surface. We show how this systematic prescription subsumes existing proposals for flux-quantized phase spaces of vacuum Maxwell theory and of the chiral boson. Moreover, for the case of NS/RR-fields in type II supergravity, the traditional "Hypothesis K" of flux quantization in topological K-theory is naturally implied, without the need, on phase space, for the notorious further duality constraint. Finally, as a genuinely non-abelian example, we consider flux-quantization of the C-field in 11d supergravity/M-theory given by unstable differential 4-Cohomotopy ("Hypothesis H") and emphasize again that, implemented on Cauchy data, this qualifies as the full phase space without the need for a further duality constraint.

2023-12-19T19:00:04Z 23 pages; v3: published version, with a little more background added to section 3.1; v2: more references added & typos fixed Annales Henri Poincaré (2024) Hisham Sati Urs Schreiber 10.1007/s00023-024-01438-x http://arxiv.org/abs/2303.02397v2 2024-05-08T09:04:42Z

We construct a periodic motivic spectrum over $Spec(\mathbb{Z})$ which when pulled back to any scheme $S$ with $\frac{1}{2}\inΓ(S,\mathcal{O}_S)$ is the $HP^1-$spectrum constructed by Panin and Walter. This spectrum $\mathbf{KO}^{geo}$ is constructed using closed subschemes of the Grassmannians $Gr(r,n)$. Using this we show that $\mathbf{KO}^{geo}$ is cellular.

2023-03-04T12:15:48Z Adapted from the author's PhD thesis. Version accepted for publication New York J. Math. 30 (2024), 323--350 K. Arun Kumar http://arxiv.org/abs/2405.04329v1 2024-05-07T13:57:23Z

We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes the rings $\mathbf{Z}/p^n$ where $p$ is a prime. The algebraic description allows us to describe a practical algorithm to compute individual K-groups as well as to obtain several theoretical results: the vanishing of the even K-groups in high degrees, the determination of the orders of the odd K-groups in high degrees, and the degree of nilpotence of $v_1$ acting on the mod $p$ syntomic cohomology of $\mathbf{Z}/p^n$.

2024-05-07T13:57:23Z Benjamin Antieau Achim Krause Thomas Nikolaus http://arxiv.org/abs/2405.03837v1 2024-05-06T20:40:24Z

We provide an explicit description of the K-classes of higher Kazhdan projections in degrees greater than 0 for specific free product groups and Cartesian product groups. Employing this description, we obtain new calculations of Lott's delocalised $\ell^2$-Betti numbers. Notably, we establish the first non-vanishing results for infinite groups.

2024-05-06T20:40:24Z 19 pages Sanaz Pooya Hang Wang http://arxiv.org/abs/2405.03578v1 2024-05-06T15:52:17Z

In this paper, we generalize the Quillen-Lichtenbaum Conjecture relating special values of Dedekind zeta functions to algebraic $\mathrm{K}$-groups. The former has been settled by Rost-Voevodsky up to the Iwasawa Main Conjecture. Our generalization extends the scope of this conjecture to Artin $L$-functions of Galois representations of finite, function, and totally real number fields. The statement of this conjecture relates norms of the special values of these $L$-functions to sizes of equivariant algebraic $\mathrm{K}$-groups with coefficients in an equivariant Moore spectrum attached to a Galois representation. We prove this conjecture in many cases, integrally, except up to a possible factor of powers of $2$ in the non-abelian and totally real number field case. In the finite field case, we further determine the group structures of their equivariant algebraic $\mathrm{K}$-groups with coefficients in Galois representations. At heart, our method lifts the Möbius inversion formula for factorizations of zeta functions as a product of $L$-functions, to the $E_1$-page of an equivariant spectral sequence converging to equivariant algebraic $\mathrm{K}$-groups. Additionally, the spectral Mackey functor structure on equivariant $\mathrm{K}$-theory allows us to incorporate certain ramified extensions that appear in these $L$-functions.

2024-05-06T15:52:17Z 34 pages. Comments welcome! Elden Elmanto Ningchuan Zhang http://arxiv.org/abs/2405.03498v1 2024-05-06T14:09:14Z

In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application demonstrates that cofinal full inclusion functors of (\infty)-categories are weak homotopy equivalences. For our second application, we provide an alternative proof of Barwick's cofinality theorem of algebraic (K)-theory.

2024-05-06T14:09:14Z Hisato Matsukawa http://arxiv.org/abs/2405.03319v1 2024-05-06T09:53:52Z

We give a characterization of locally standard, $\mathbb{Z}$-equivariantly formal manifolds in general position. In particular, we show that for dimension $2n$ at least $10$, to every such manifold with labeled GKM graph $Γ$ there is an equivariantly formal torus manifold such that the restriction of the $T^n$-action to a certain $T^{n-1}$-action yields the same labeled graph $Γ$, thus showing that the (equivariant) cohomology with $\mathbb{Z}$-coefficients of those manifolds has the same description as that of equivariantly formal torus manifolds.

2024-05-06T09:53:52Z 57 pages, 2 figures Nikolas Wardenski http://arxiv.org/abs/2405.03258v1 2024-05-06T08:27:50Z

We give a specific cylinder functor for semifree dg categories. This allows us to construct a homotopy colimit functor explicitly. These two functors are "computable", specifically, the constructed cylinder functor sends a dg category of finite type, i.e., a semifree dg category having finitely many generating morphisms, to a dg category of finite type. The homotopy colimit functor has a similar property. Moreover, using the cylinder functor, we give a cofibration category of semifree dg categories and that of dg categories of finite type, independently from the work of Tabuada. All the results similarly work for semifree dg algebras. We also describe an application to symplectic topology and provide a toy example.

2024-05-06T08:27:50Z Comments are welcomed and appreciated Dogancan Karabas Sangjin Lee http://arxiv.org/abs/2405.03175v1 2024-05-06T05:52:25Z

In this paper, we study operations on functors in the category of abelian groups simplar to the derivation in the sense of Dold-Puppe. They are defined as derived limits of a functor applied to the relation subgroup over a category of free presentations of the group. The integral homology of the Eilenberg-Maclane space $K(\mathbb Z,3)$ appears as a part of description of these operations applied to symmetric powers.

2024-05-06T05:52:25Z Sergei O. Ivanov Roman Mikhailov Fedor Pavutnitskiy