https://arxiv.org/api/JxmsGaSThEI5AZGehR1AAak4Shc 2026-04-07T21:09:18Z 6532 615 15 http://arxiv.org/abs/2503.11338v1 2025-03-14T12:06:27Z

We define a class of motivic equivalences of small stable $\infty$-categories $W_{\mathrm{mot}}$ and show that the Dwyer--Kan localization functor $\mathrm{Cat}^{\mathrm{perf}}_\infty \to \mathrm{Cat}^{\mathrm{perf}}_\infty[W_{\mathrm{mot}}^{-1}]$ is the universal localizing invariant in the sense of Blumberg--Gepner--Tabuada. In particular, we show that every object in its target $\mathcal{M}_{\mathrm{loc}}$ can be represented as $\mathcal{U}_{\mathrm{loc}}(\mathcal{C})$ for some small stable $\infty$-category $\mathcal{C}$. As another consequence, and using work of Efimov, we improve the universal property of $\mathcal{M}_{\mathrm{loc}}$ and show that any $\aleph_1$-finitary localizing invariant factors uniquely through it.

2025-03-14T12:06:27Z 31 pages, comments welcome! Maxime Ramzi Vladimir Sosnilo Christoph Winges http://arxiv.org/abs/2503.11719v1 2025-03-13T20:20:23Z

We explain how the gluing of a closed piece of the tensor-triangular spectrum with its open complement hinges on the support of the Tate ring.

2025-03-13T20:20:23Z 35 pages Paul Balmer Beren Sanders http://arxiv.org/abs/2406.16652v2 2025-03-13T15:05:04Z

We prove an analog of the Deligne conjecture for prestacks. We show that given a prestack $\mathbb A$, its Gerstenhaber--Schack complex $\mathbf{C}_{\mathsf{GS}}(\mathbb A)$ is naturally an $E_2$-algebra. This structure generalises both the known $\mathsf{L}_\infty$-algebra structure on $\mathbf{C}_{\mathsf{GS}}(\mathbb A)$, as well as the Gerstenhaber algebra structure on its cohomology $\mathbf{H}_{\mathsf{GS}}(\mathbb A)$. The main ingredient is the proof of a conjecture of Hawkins \cite{hawkins}, stating that the dg operad $\mathsf{Quilt}$ has vanishing homology in positive degrees. As a corollary, $\mathsf{Quilt}$ is quasi-isomorphic to the operad $\mathsf{Brace}$ encoding brace algebras. In addition, we improve the $L_\infty$-structure on $\mathsf{Quilt}$ by showing that it originates from a $\mathsf{PreLie}_\infty$-structure lifting the $\mathsf{PreLie}$-structure on $\mathsf{Brace}$ in homology.

2024-06-24T14:00:55Z To appear in Proceedings of the AMS Ricardo Campos Lander Hermans http://arxiv.org/abs/2503.09928v1 2025-03-13T01:00:16Z

Given a compact Lie group $G$ acting on a space $X$, the classical Atiyah-Segal completion theorem identifies topological $K$-theory of the homotopy quotient $X/G$ with an explicit completion of $G$-equivariant topological $K$-theory of $X$. We prove an analog of this result for algebraic $K$-theory over a field of characteristic 0. In our setting $G$ is a reductive group that acts on a derived algebraic space $X$ with the assumption that all stabilizer groups are nice (in the sense of Alper). Our main result identifies the value $R^{\mathrm{dAff}}K([X/G])$ of right Kan extension of the $K$-theory functor from schemes to stacks with the completion of $K$-theory of the category $\mathrm{Perf}([X/G])$ at the augmentation ideal of $K_0(\mathrm{Rep}(G))$. The main novelty of our results is that $X$ is allowed to be singular or even derived. This generality is achieved by employing and improving analogous versions of completion theorem for negative cyclic homology (after Ben-Zvi--Nadler and Chen) and for homotopy $K$-theory (after van den Bergh--Tabuada). We also show that in the singular setting the completion theorem does not necessarily hold without the nice stabilizer assumption. We view our results as a part of the general paradigm of extending the motivic filtration on algebraic $K$-theory of schemes to algebraic $K$-theory of stacks.

2025-03-13T01:00:16Z 75 pages, comments welcome Elden Elmanto Dmitry Kubrak Vladimir Sosnilo http://arxiv.org/abs/2301.11346v3 2025-03-12T22:21:42Z

Hochschild homology is a classical invariant of rings that plays an important role because of its connection to algebraic $K$-theory via the Dennis trace. At level zero, the Dennis trace is induced by the Hattori-Stallings trace. In this paper, we introduce new algebraic $K$-theories of coalgebras and obtain coalgebraic refinements of the Hattori-Stallings trace that connect these algebraic $K$-theories to coHochschild homology (the invariant analogous to Hochschild homology but for coalgebras). We employ bicategorical methods of Ponto to show that coHochschild homology is a shadow. Consequently, we obtain that coHochschild homology is Morita-Takeuchi invariant.

2023-01-26T19:00:04Z 41 pages. Final version: to appear in Mathematische Zeitschrift Sarah Klanderman Maximilien Péroux http://arxiv.org/abs/2401.14806v4 2025-03-12T19:23:01Z

We develop general methods to compute the algebraic $K$-theory of crossed products by Bernoulli shifts on additive categories. From this we obtain a $K$-theory formula for regular group rings associated to wreath products of finite groups by groups satisfying the Farrell--Jones conjecture.

2024-01-26T12:10:29Z 29 pages. Updated license. To appear in AGT Algebr. Geom. Topol. 26 (2026) 321-347 Julian Kranz Shintaro Nishikawa 10.2140/agt.2026.26.321 http://arxiv.org/abs/2207.09112v2 2025-03-12T15:51:22Z

We use filtrations of the tangent bundle of a manifold starting with an integrable subbundle to define transverse symbols to the corresponding foliation, define a condition of transversally Rockland and prove that transversally Rockland operators yield a K-homology class. We construct an equivariant KK-class for transversally Rockland transverse symbols and show a Poincare duality type result linking the class of an operator and its symbol.

2022-07-19T07:54:45Z J. Funct. Anal. 287(11) (2024) Paper No. 110618, 31 Clément Cren LAMA 10.1016/j.jfa.2024.110618 http://arxiv.org/abs/1604.03216v8 2025-03-12T00:57:40Z

This paper is the continuation of the paper arXiv:1509.06950, which is Part I under the same title. In this paper, we prove a generalized Cauchy formula for the integrals of logarithmic forms on products of projective lines, and give an application to the construction of Hodge realization of mixed Tate motives.

2016-04-12T02:46:23Z 2017 Apr. 7 : The coefficients of the complexes are restricted to Q. The exposition is improved. 2020 May 20: "(detailed version)'' is deleted from the title. Subsection 5.6 is added. Introduction is slightly changed. 2025. Mar. 12: subsection 3.4 is added Masaki Hanamura Kenichiro Kimura Tomohide Terasoma http://arxiv.org/abs/2309.17062v4 2025-03-11T23:17:15Z

For a localization of a smooth proper category along a subcategory preserved by the Serre functor, we show that morphisms in Efimov's algebraizable categorical formal punctured neighborhood of infinity can be computed using the natural cone between right and left adjoints of the localization functor. In particular, this recovers the following result of Ganatra--Gao--Venkatesh: morphisms in categorical formal punctured neighborhoods of wrapped Fukaya categories are computed by Rabinowitz wrapping.

2023-09-29T08:49:21Z v4, minor revision, to appear in Comptes Rendus Mathématique Tatsuki Kuwagaki Vivek Shende http://arxiv.org/abs/2209.04925v2 2025-03-11T07:46:13Z

Using a canonical topology on differential K-theory induced from the Frechét space topology on differential forms and the discrete topology on topological K-theory, we prove that differential K-theory is uniquely determined by the character diagram up to a unique natural equivalence, thus giving an affirmative answer to a question asked by Simons and Sullivan in \cite{SS10}. We further deduce rigidity results including that there is a unique way of realizing $\RR/\ZZ$-K-theory as the flat theory, strengthening the results of \cite{BS10}.

2022-09-11T19:43:42Z Second version strengthens our previous results to that differential K-theory is not only unique but unique up to a unique equivalence; we further show that there is a unique way of realizing R/Z-theory as the flat theory Jiahao Hu http://arxiv.org/abs/1810.13023v3 2025-03-10T19:39:46Z

We prove that Hochschild cohomology with coefficients in $A^*=\Hom_k(A,k)$ under conditions on the algebra structure of $A^*$ is a Batalin-Vilkovisky algebra. We also show that for symmetric and Frobenius algebras, this recovers the known BV-structures in Hochschild cohomology with coefficients in $A$ but admits an easy-to-describe BV-operator. Finally, we show that for monomial algebras $A = kQ/\langle T \rangle$, the Hochschild cohomology with coefficients in $A^*$ is always a Batalin-Vilkovisky algebra.

2018-10-30T22:28:43Z 13 pages Marco Armenta Samuel Leblanc http://arxiv.org/abs/2412.04603v2 2025-03-08T13:52:31Z

We introduce the magnetic equivariant K-theory groups as the K-theory groups associated to magnetic groups and their respective magnetic equivariant complex bundles. We restrict the magnetic group to its subgroup of elements that act complex linearly, and we show that this restriction induces a rational isomorphism with the conjugation invariant part of the complex equivariant K-theory of the restricted group. This isomorphism allows to calculate the torsion free part of the magnetic equivariant K-theory groups reducing it to known calculations in complex equivariant K-theory

2024-12-05T20:34:45Z 16 pages. To appear in Revista de la Academia Colombiana de Ciencias Exactas, Fisicas y Naturales. https://raccefyn.co/index.php/raccefyn Higinio Serrano Bernardo Uribe Miguel A. Xicoténcatl http://arxiv.org/abs/2409.05965v2 2025-03-07T15:58:06Z

The topological Hochschild homology of a ring (or ring spectrum) $R$ is an $S^1$-spectrum, and the fixed points of THH($R$) for subgroups $C_n\subset S^1$ have been widely studied due to their use in algebraic K-theory computations. Hesselholt and Madsen proved that the fixed points of topological Hochschild homology are closely related to Witt vectors. Further, they defined the notion of a Witt complex, and showed that it captures the algebraic structure of the homotopy groups of the fixed points of THH. Recent work of Angeltveit, Blumberg, Gerhardt, Hill, Lawson and Mandell defines a theory of twisted topological Hochschild homology for equivariant rings (or ring spectra) that builds upon Hill, Hopkins and Ravenel's work on equivariant norms. In this paper, we study the algebraic structure of the equivariant homotopy groups of twisted THH. In particular, we define an equivariant Witt complex and prove that the equivariant homotopy of twisted THH has this structure. Our definition of equivariant Witt complexes contributes to a growing body of research in the subject of equivariant algebra.

2024-09-09T18:02:39Z v2: 37 pages. Updated the definition of equivariant Witt complexes to reflect that the cyclotomic structure on twisted THH should have a twist Anna Marie Bohmann Teena Gerhardt Cameron Krulewski Sarah Petersen Lucy Yang http://arxiv.org/abs/2110.14359v3 2025-03-07T10:56:25Z

This paper is devoted to the space of unbounded Fredholm operators equipped with the graph topology, the subspace of operators with compact resolvent, and their subspaces consisting of self-adjoint operators. Our main results are the following: (1) Natural maps between these four spaces and classical spaces of bounded operators representing K-theory are homotopy equivalences. This provides an alternative proof of a particular case of results of Joachim. (2) The subspace of unbounded essentially positive Fredholm operators represents odd K-theory. (3) The subspace of invertible operators in each of these spaces of unbounded operators is contractible.

2021-10-27T11:38:22Z v3: 28 pages; proof of Proposition 4.5 is corrected; proofs in Sections 5--7 are written in more details; Propositions 4.1, 6.1 and Lemmas 6.3, 7.1 are added; typos are corrected. To be published in the Journal of Topology and Analysis Marina Prokhorova 10.1142/S1793525325500116 http://arxiv.org/abs/2503.04897v1 2025-03-06T19:00:06Z

We establish comparison maps between the classical algebraic $K$-theory of algebras over a field and its analogue $K^c$, an algebraic $K$-theory for coalgebras over a field. The comparison maps are compatible with the Hattori--Stallings (co)traces. We identify conditions on the algebras or coalgebras under which the comparison maps are equivalences. Notably, the algebraic $K$-theory of the power series ring is equivalent to the $K^c$-theory of the divided power coalgebra. We also establish comparison maps between the $G$-theory of finite dimensional representations of an algebra and its analogue $G^c$ for coalgebras. In particular, we show that the Swan theory of a group is equivalent to the $G^c$-theory of the representative functions coalgebra, reframing the classical character of a group as a trace in coHochschild homology.

2025-03-06T19:00:06Z 21 pages Teena Gerhardt Maximilien Péroux W. Hermann B. Soré