http://arxiv.org/api/7fvZ7YPCCT8mlK6eq7tB1kIkRrA 2025-04-22T00:00:00-04:00 6181 75 15 http://arxiv.org/abs/2503.09928v1 2025-03-13T01:00:16Z 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.

Elden Elmanto Dmitry Kubrak Vladimir Sosnilo 75 pages, comments welcome http://arxiv.org/abs/2301.11346v3 2025-03-12T22:21:42Z 2023-01-26T19:00:04Z

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.

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

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.

Julian Kranz Shintaro Nishikawa 29 pages. Updated license. To appear in AGT http://arxiv.org/abs/2207.09112v2 2025-03-12T15:51:22Z 2022-07-19T07:54:45Z

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.

Clément Cren LAMA 10.1016/j.jfa.2024.110618 J. Funct. Anal. 287(11) (2024) Paper No. 110618, 31 http://arxiv.org/abs/2503.09264v1 2025-03-12T11:03:36Z 2025-03-12T11:03:36Z

Let $p$ be a prime, we say that a Kummerian oriented pro-$p$ group $(G,\theta)$ has the Bogomolov-Positselski property if $I_\theta(G)$ is a free pro-$p$ group. We give a new criterion for an oriented pro-$p$ group to have the Bogomolov-Positselski property based on previous work by Positselski (arXiv:1405.0965) and Quadrelli and Weigel (arXiv:2103.12438) linking their seemingly unrelated approaches and thereby answering a question posed by Quadrelli and Weigel. Under further assumptions, we derive two additional criteria. The first of which strongly resembles an analogue of the Merkujev-Suslin theorem. The second allows to relax the conditions given by Positselski in Theorem 2 of arXiv:1405.0965. In addition, we show how to make those weaker assumptions computationally effective in some special cases.

Julian Feuerpfeil http://arxiv.org/abs/1604.03216v8 2025-03-12T00:57:40Z 2016-04-12T02:46:23Z

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.

Masaki Hanamura Kenichiro Kimura Tomohide Terasoma 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 http://arxiv.org/abs/2309.17062v4 2025-03-11T23:17:15Z 2023-09-29T08:49:21Z

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.

Tatsuki Kuwagaki Vivek Shende v4, minor revision, to appear in Comptes Rendus Math\'ematique http://arxiv.org/abs/2209.04925v2 2025-03-11T07:46:13Z 2022-09-11T19:43:42Z

Using a canonical topology on differential K-theory induced from the Frech\'et 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}.

Jiahao Hu 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 http://arxiv.org/abs/1810.13023v3 2025-03-10T19:39:46Z 2018-10-30T22:28:43Z

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.

Marco Armenta Samuel Leblanc 13 pages http://arxiv.org/abs/2412.04603v2 2025-03-08T13:52:31Z 2024-12-05T20:34:45Z

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

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

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.

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

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.

Marina Prokhorova 10.1142/S1793525325500116 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 http://arxiv.org/abs/2503.04897v1 2025-03-06T19:00:06Z 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.

Teena Gerhardt Maximilien Péroux W. Hermann B. Soré 21 pages http://arxiv.org/abs/2503.04494v1 2025-03-06T14:42:39Z 2025-03-06T14:42:39Z

The interplay between equivariant stable homotopy theory and spectral algebraic geometry is used to construct a derived Tate curve over $\mathrm{KU}((q))$, a lift of the classical elliptic curve of Tate over $\mathbf{Z}((q))$. Applications of both an algebro-geometric and a topological flavour follow. First, we construct a spectral algebro-geometric model for the compactification of the moduli stack of oriented elliptic curves, giving a canonical choice of holomorphic topological $q$-expansion map. Then we define globally equivariant forms of Tate $K$-theory $\mathbf{KO}((q))$ and $\mathbf{KU}((q))$, and equip them with globally equivariant meromorphic topological $q$-expansion maps from global topological modular forms. Finally, we explore $C_2$-equivariant versions of global Tate $K$-theory and connect them with $C_2$-equivariant global topological modular forms with level structures.

Jack Morgan Davies Sil Linskens 41 pages, comments welcome! http://arxiv.org/abs/2503.04438v1 2025-03-06T13:54:44Z 2025-03-06T13:54:44Z

We compute endomorphisms of topological Hochschild homology ($\mathrm{THH}$) as a functor on stable $\infty$-categories, as well as variants thereof: we also compute endomorphisms of the $k$-linear Hochschild homology functor $\mathrm{HH}_k$ over some base $k$; and endomorphisms of $\mathrm{THH}$ as a functor on stably symmetric monoidal $\infty$-categories.

Maxime Ramzi 35 pages, comments welcome!