On the periodic topological cyclic homology of DG categories in characteristic p

Alexander Petrov,Vadim Vologodsky

2023-10-09

Abstract:We prove that the $p$-adically completed periodic topological cyclic homology of a DG category over a perfect field $k$ of characteristic $p>2$ is isomorphic to the ($p$-adically completed) periodic cyclic homology of a lifting of the DG category over the Witt vectors $W(k)$.

Algebraic Geometry,K-Theory and Homology

What problem does this paper attempt to address?

The Topological Cartier--Raynaud Ring

Konrad Bals

2024-04-17

Abstract:We prove that the $\infty$-category of $p$-typical topological Cartier modules, recently introduced by Antieau--Nikolaus, over some base $A$ is equivalent to the $\infty$-category of modules over a ring spectrum $\mathcal R_A$, which we call the topological Cartier--Raynaud ring. Our main result is an identification of the homotopy groups of $\mathcal R_A$. In particular, for $A=W(k)$, the Witt vectors over $k$, the homotopy groups $\pi_*\mathcal R_{W(k)}$ recover the classical Cartier--Raynaud ring constructed by Illusie--Raynaud. Moreover, along the way we will describe the compact generator of $p$-typical topological Cartier modules and classifies all natural operations on homotopy groups of $p$-typical topological Cartier modules.

Algebraic Topology
Topological cyclic homology of local fields

Ruochuan Liu,Guozhen Wang

DOI: https://doi.org/10.1007/s00222-022-01134-9

IF: 3.128

2022-01-01

Inventiones mathematicae

Abstract:We introduce a new approach to determining the structure of topological cyclic homology by means of a descent spectral sequence. We carry out the computation for a p -adic local field with 𝔽_p -coefficients, including the case p=2 which was only covered by motivic methods except in the totally unramified case.
On the $K$-theory of the $p$-adic unit disk

Elden Elmanto,Noah Riggenbach

2024-10-10

Abstract:In this note, we study the $p$-complete topological cyclic homology of the affine line relative to a ring $A$ which is smooth over a perfectoid ring $R$. Denoting by $NTC(A; \mathbb{Z}_p)$ the spectrum which measures the failure of $\mathbb{A}^1$-invariance on $A$, we observe a kind of Quillen-Lichtenbaum phenomena for $NTC(A; \mathbb{Z}_p)$ -- that it is isomorphic to its own $K(1)$-localization in a specified range of degrees which depends on the relative dimension of $A$. Somewhat surprisingly, this range is better than considerations following from a theorem of Bhatt-Mathew and étale-to-syntomic comparisons. Via the Dundas-Goodwillie-McCarthy theorem, we obtain a description of the algebraic $K$-theory of $p$-completed affine line over such rings.

K-Theory and Homology,Algebraic Geometry,Algebraic Topology
Equivariant aspects of de-completing cyclic homology

Zhouhang Mao

2024-10-08

Abstract:Derived de Rham cohomology turns out to be important in p-adic geometry, following Bhatt's discovery [Bha12] of conjugate filtration in char p, de-Hodge-completing results in [Bei12]. In [Kal18], Kaledin introduced an analogous de-completion of the periodic cyclic homology, called the polynomial periodic cyclic homology, equipped with a conjugate filtration in char p, and expected to be related to derived de Rham cohomology. In this article, using genuine equivariant homotopy structure on Hochschild homology as in [ABG+18, BHM22], we give an equivariant description of Kaledin's polynomial periodic cyclic homology. This leads to Morita invariance without any Noetherianness assumption as in [Kal18], and the comparison to derived de Rham cohomology becomes transparent. Moreover, this description adapts directly to "topological" analogues, which gives rise to a de-Nygaard-completion of the topological periodic cyclic homology over a perfectoid base. We compare it to topological Hochschild homology over $\mathbb F_p$, and produce a conjugate filtration in char p from our description.

Algebraic Geometry,Algebraic Topology,K-Theory and Homology
On topological cyclic homology

Thomas Nikolaus,Peter Scholze

DOI: https://doi.org/10.48550/arXiv.1707.01799

2018-09-07

Abstract:Topological cyclic homology is a refinement of Connes--Tsygan's cyclic homology which was introduced by Bökstedt--Hsiang--Madsen in 1993 as an approximation to algebraic $K$-theory. There is a trace map from algebraic $K$-theory to topological cyclic homology, and a theorem of Dundas--Goodwillie--McCarthy asserts that this induces an equivalence of relative theories for nilpotent immersions, which gives a way for computing $K$-theory in various situations. The construction of topological cyclic homology is based on genuine equivariant homotopy theory, the use of explicit point-set models, and the elaborate notion of a cyclotomic spectrum. The goal of this paper is to revisit this theory using only homotopy-invariant notions. In particular, we give a new construction of topological cyclic homology. This is based on a new definition of the $\infty$-category of cyclotomic spectra: We define a cyclotomic spectrum to be a spectrum $X$ with $S^1$-action (in the most naive sense) together with $S^1$-equivariant maps $\varphi_p: X\to X^{tC_p}$ for all primes $p$. Here $X^{tC_p}=\mathrm{cofib}(\mathrm{Nm}: X_{hC_p}\to X^{hC_p})$ is the Tate construction. On bounded below spectra, we prove that this agrees with previous definitions. As a consequence, we obtain a new and simple formula for topological cyclic homology. In order to construct the maps $\varphi_p: X\to X^{tC_p}$ in the example of topological Hochschild homology we introduce and study Tate diagonals for spectra and Frobenius homomorphisms of commutative ring spectra. In particular we prove a version of the Segal conjecture for the Tate diagonals and relate these Frobenius homomorphisms to power operations.

Algebraic Topology,K-Theory and Homology
The Derived Unipotent Block of $p$-Adic $\mathrm{GL}_2$ as Perfect Complexes over a dg Schur Algebra

Rose Berry

2024-11-26

Abstract:For a $p$-adic field $F$ of residual cardinality $q$, we provide a triangulated equivalence between the bounded derived category $D^b(\mathcal{B}_{1}(G)_{fg})$ of finitely generated unipotent representations of $G=\mathrm{GL}_2(F)$ and perfect complexes over a dg enriched Schur algebra, in the non-banal case of characteristic $l$ odd dividing $q+1$. The dg Schur algebra is the dg endomorphism algebra of a projective resolution of a direct sum $V$ of the parahoric inductions of the trivial representations of the reductive quotients of $G$, and $V$ is shown to be a classical generator of $D^b(\mathcal{B}_{1}(G)_{fg})$.

Representation Theory,Number Theory
p-DG Cyclotomic nilHecke Algebras

Mikhail Khovanov,You Qi,Joshua Sussan

DOI: https://doi.org/10.1090/memo/1462

2024-01-01

Memoirs of the American Mathematical Society

Abstract:We categorify a tensor product of two Weyl modules for quantum s l 2 \mathfrak {sl}_2 at a prime root of unity.

mathematics
Topological cyclic homology of Cartier smooth rings

Hyungseop Kim

2023-10-16

Abstract:We study algebraic K-theory, syntomic cohomology, and prismatic cohomology of Cartier smooth rings. As an application, we provide an alternative proof of Kelly-Morrow's generalization of the Geisser-Levine theorem computing $p$-adic algebraic K-theory of Cartier smooth local rings; our approach relies on the description of topological cyclic homology through the motivic filtration.

K-Theory and Homology,Algebraic Geometry
Relative p-adic Hodge theory, II: Imperfect period rings

Kiran S. Kedlaya,Ruochuan Liu

2016-01-01

Abstract:In a previous paper, we constructed a category of (phi, Gamma)-modules associated to any adic space over Q_p with the property that the etale (phi, Gamma)-modules correspond to etale Q_p-local systems; these involve sheaves of period rings for Scholzeu0027s pro-etale topology. In this paper, we first extend Kiehlu0027s theory of coherent sheaves on rigid analytic spaces to a theory of pseudocoherent sheaves on adic spaces, then construct a corresponding theory of pseudocoherent (phi, Gamma)-modules. We then relate these objects to a more explicit construction in case the space comes equipped with a suitable infinite etale cover; in this case, one can decomplete the period sheaves and establish an analogue of the theorem of Cherbonnier-Colmez on the overconvergence of p-adic Galois representations. As an application, we show that relative (phi, Gamma)-modules in our sense coincide with the relative (phi, Gamma)-modules constructed by Andreatta and Brinon in the geometric setting where the latter can be constructed. As another application, we establish that the category of pseudocoherent (phi, Gamma)-modules on an arbitrary rigid analytic space over a p-adic field is abelian, satisfies the ascending chain condition, and is stable under various natural derived functors (including Hom, tensor product, and pullback). Applications to the etale cohomology of pro-etale local systems will be given in a subsequent paper.
A power structure over the Grothendieck ring of geometric dg categories

Ádám Gyenge

2024-11-05

Abstract:We prove the existence of a power structure over the Grothendieck ring of geometric dg categories. We show that a conjecture by Galkin and Shinder (proved recently by Bergh, Gorchinskiy, Larsen, and Lunts) relating the motivic and categorical zeta functions of varieties can be reformulated as a compatibility between the motivic and categorical power structures. Using our power structure we show that the categorical zeta function of a geometric dg category can be expressed as a power with exponent the category itself. We give applications of our results for the generating series associated with Hilbert schemes of points, categorical Adams operations, and series with exponent a linear algebraic group.

Algebraic Geometry
Analytic cyclic homology in positive characteristic

Ralf Meyer,Devarshi Mukherjee

2023-07-04

Abstract:Let $V$ be a complete discrete valuation ring with residue field $\mathbb{F}$. We define a cyclic homology theory for algebras over $\mathbb{F}$, by lifting them to free algebras over $V$, which we enlarge to tube algebras and complete suitably. We show that this theory may be computed using any pro-dagger algebra lifting of an $\mathbb{F}$-algebra. We show that our theory is polynomially homotopy invariant, excisive, and matricially stable.

K-Theory and Homology,Algebraic Geometry,Operator Algebras
Dévissage for periodic cyclic homology of complete intersections

Michael K. Brown,Mark E. Walker

2024-05-15

Abstract: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.

K-Theory and Homology,Algebraic Geometry
Witt vectors and $δ$-Cartier rings

Kirill Magidson

2024-09-06

Abstract:We give a universal property of the construction of the ring of $p$-typical Witt vectors of a commutative ring, endowed with Witt vectors Frobenius and Verschiebung, and generalize this construction to the derived setting. We define an $\infty$-category of $p$-typical derived $\delta$-Cartier rings and show that the derived ring of $p$-typical Witt vectors of a derived ring is naturally an object in this $\infty$-category. Moreover, we show that for any prime $p$, the formation of the derived ring of $p$-typical Witt vectors gives an equivalence between the $\infty$-category of all derived rings and the full subcategory of all derived $p$-typical $\delta$-Cartier rings consisting of $V$-complete objects.

K-Theory and Homology
On the geometric fixed points of real topological cyclic homology

Emanuele Dotto,Kristian Moi,Irakli Patchkoria

DOI: https://doi.org/10.1112/jlms.12862

2024-02-09

Journal of the London Mathematical Society

Abstract:Abstract We give a formula for the geometric fixed‐points spectrum of the real topological cyclic homology of a bounded below ring spectrum, as an equaliser of two maps between tensor products of modules over the norm. We then use this formula to carry out computations in the fundamental examples of spherical group rings, perfect ‐algebras and 2‐torsion‐free rings with perfect modulo 2 reduction. Our calculations agree with the normal L‐theory spectrum in the cases where the latter is known, as conjectured by Nikolaus.

mathematics
A formal category theoretic approach to the homotopy theory of dg categories

Yuki Imamura

2024-06-07

Abstract:We introduce a bicategory which refines the localization of the category of dg categories with respect to quasi-equivalences and investigate its properties via formal category theory. Concretely, we first introduce the bicategory of dg categories $\mathsf{DBimod}$ whose Hom categories are the derived categories of dg bimodules and then define the desired bicategory as the sub-bicategory $\mathsf{DBimod}^\text{rqr}$ consisting only of right quasi-representable dg bimodules. The first half of the paper is devoted to the study of adjunctions and equivalences in these bicategories. We then show that the embedding $\mathsf{DBimod}^\text{rqr} \hookrightarrow \mathsf{DBimod}$ is a proarrow equipment in the sense of Richard J. Wood, which is a framework for formal category theory and makes it possible to talk about (weighted) (co)limits in an abstract way. Thus we obtain the notion of homotopical (co)limits in a dg category, including homotopical shifts and cones, by which we obtain a formal characterization of pretriangulated dg categories. As an immediate application we give a conceptual proof of the fact that the pretriangulatedness is preserved under the gluing procedure.

Category Theory,Algebraic Geometry,Representation Theory
Bordered invariants from Khovanov homology

Matthew Hogancamp,David E. V. Rose,Paul Wedrich

2024-04-09

Abstract:To every compact oriented surface that is composed entirely out of 2-dimensional 0- and 1-handles, we construct a dg category using structures arising in Khovanov homology. These dg categories form part of the 2-dimensional layer (a.k.a. modular functor) of a categorified version of the sl(2) Turaev--Viro topological field theory. As a byproduct, we obtain a unified perspective on several hitherto disparate constructions in categorified quantum topology, including the Rozansky--Willis invariants, Asaeda--Przytycki--Sikora homologies for links in thickened surfaces, categorified Jones--Wenzl projectors and associated spin networks, and dg horizontal traces.

Geometric Topology,Quantum Algebra,Representation Theory
Motivic $C\tau$-Modules and $Bp_*bp$-Comodules

Bogdan Gheorghe,Guozhen Wang,Zhouli Xu

2018-01-01

Abstract:For each prime $p$, we define a $t$-structure on the category $\widehat{S^{0,0}}/\tau\text{-}\mathbf{Mod}_{harm}^b$ of harmonic $\mathbb{C}$-motivic left module spectra over $\widehat{S^{0,0}}/\tau$, whose MGL-homology has bounded Chow-Novikov degree, such that its heart is equivalent to the abelian category of $p$-completed $BP_*BP$-comodules that are concentrated in even degrees. We prove that $\widehat{S^{0,0}}/\tau\text{-}\mathbf{Mod}_{harm}^b$ is equivalent to $\mathcal{D}^b({{BP}_*{BP}\text{-}\mathbf{Comod}}^{ev})$ as stable $\infty$-categories equipped with $t$-structures. As an application, for each prime $p$, we prove that the motivic Adams spectral sequence for $\widehat{S^{0,0}}/\tau$, which converges to the motivic homotopy groups of $\widehat{S^{0,0}}/\tau$, is isomorphic to the algebraic Novikov spectral sequence, which converges to the classical Adams-Novikov $E_2$-page for the sphere spectrum $\widehat{S^0}$. This isomorphism of spectral sequences allows Isaksen and the second and third authors to compute the stable homotopy groups of spheres at least to the 90-stem, with ongoing computations into even higher dimensions.
p-DG Cyclotomic nilHecke Algebras II

You Qi,Joshua Sussan

DOI: https://doi.org/10.1090/memo/1463

2024-01-01

Memoirs of the American Mathematical Society

Abstract:We categorify tensor products of the fundamental representation of quantum s l 2 \mathfrak {sl}_2 at prime roots of unity, building upon earlier work where a tensor product of two Weyl modules was categorified.

mathematics
On patched completed homology and a conjecture of Venkatesh

Douglas Molin

2024-07-05

Abstract:Let $F$ be a CM field and $\Pi$ a regular algebraic cuspidal cohomological representation of $\mathbf{G}=\operatorname{PGL}_2/F$. A conjecture of Venkatesh describes the structure of the contribution of $\Pi$ to the homology of the locally symmetric spaces associated to $\mathbf{G}$. We investigate this conjecture in the setting of $p$-adic homology with $p$ a totally split prime. Along the way, we elaborate on the relations between Venkatesh's conjecture and completed homology, the Taylor-Wiles method and the $p$-adic local Langlands correspondence. Our main result is a `big $R=T$' theorem in characteristic 0, from which we deduce a variant of the $p$-adic realisation of Venkatesh's conjecture, conditional on various natural conjectures and technical assumptions.

Number Theory
Deforming motivic theories I: Pure weight perfect Modules on divisorial schemes

Toshiro Hiranouchi,Satoshi Mochizuki

DOI: https://doi.org/10.48550/arXiv.0803.3669

2008-03-26

Abstract:In this paper, we introduce a notion of weight r pseudo-coherent Modules associated to a regular closed immersion i:Y -> X of codimension r, and prove that there is a canonical derived Morita equivalence between the DG-category of perfect complexes on a divisorial scheme X whose cohomological support are in Y and the DG-category of bounded complexes of weight r pseudo-coherent O_X-Modules supported on Y. The theorem implies that there is the canonical isomorphism between the Bass-Thomason-Trobaugh non-connected K-theory [TT90], [Sch06] (resp. the Keller-Weibel cyclic homology [Kel98], [Wei96]) for the immersion and the Schlichting non-connected K-theory [Sch04] associated to (resp. that of) the exact category of weight r pseudo-coherent Modules. For the connected K-theory case, this result is just Exercise 5.7 in [TT90]. As its application, we will decide on a generator of the topological filtration on the non-connected K-theory (resp. cyclic homology theory) for affine Cohen-Macaulay schemes.

K-Theory and Homology

On the periodic topological cyclic homology of DG categories in characteristic p

The Topological Cartier--Raynaud Ring

Topological cyclic homology of local fields

On the $K$-theory of the $p$-adic unit disk

Equivariant aspects of de-completing cyclic homology

On topological cyclic homology

The Derived Unipotent Block of $p$-Adic $\mathrm{GL}_2$ as Perfect Complexes over a dg Schur Algebra

p-DG Cyclotomic nilHecke Algebras

Topological cyclic homology of Cartier smooth rings

Relative p-adic Hodge theory, II: Imperfect period rings

A power structure over the Grothendieck ring of geometric dg categories

Analytic cyclic homology in positive characteristic

Dévissage for periodic cyclic homology of complete intersections

Witt vectors and $δ$-Cartier rings

On the geometric fixed points of real topological cyclic homology

A formal category theoretic approach to the homotopy theory of dg categories

Bordered invariants from Khovanov homology

Motivic $C\tau$-Modules and $Bp_*bp$-Comodules

p-DG Cyclotomic nilHecke Algebras II

On patched completed homology and a conjecture of Venkatesh

Deforming motivic theories I: Pure weight perfect Modules on divisorial schemes