The cyclotomic trace for symmetric ring spectra

Christian Schlichtkrull

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

2009-03-20

Abstract:The purpose of this paper is to present a simple and explicit construction of the Bokstedt-Hsiang-Madsen cyclotomic trace relating algebraic K-theory and topological cyclic homology. Our construction also incorporates Goodwillie's idea of a global cyclotomic trace.

Algebraic Topology,K-Theory and Homology

What problem does this paper attempt to address?

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
Detecting K-theory by cyclic homology

Wolfgang Lueck,Holger Reich

DOI: https://doi.org/10.48550/arXiv.math/0509002

2005-09-01

Abstract:We discuss which part of the rationalized algebraic K-theory of a group ring is detected via trace maps to Hochschild homology, cyclic homology, periodic cyclic or negative cyclic homology.

K-Theory and Homology
The canonical trace of Cohen-Macaulay algebras of codimension 2

Antonino Ficarra

2024-06-12

Abstract:In the present paper, we investigate a conjecture of Jürgen Herzog. Let $S$ be a local regular ring with residue field $K$ or a positively graded $K$-algebra, $I\subset S$ be a perfect ideal of grade two, and let $R=S/I$ with canonical module $\omega_R$. Herzog conjectured that the canonical trace $\text{tr}(\omega_R)$ is obtained by specialization from the generic case of maximal minors. We prove this conjecture in several cases, and present a criterion that guarantees that the canonical trace specializes under some additional assumptions. As the final conclusion of all of our results, we classify the nearly Gorenstein monomial ideals of height two.

Commutative Algebra,Combinatorics
Relative cyclotomic structures and equivariant complex cobordism

Andrew J. Blumberg,Michael A. Mandell,Allen Yuan

2023-10-04

Abstract:We describe a structure on a commutative ring (pre)cyclotomic spectrum $R$ that gives rise to a (pre)cyclotomic structure on topological Hochschild homology ($THH$) relative to its underlying commutative ring spectrum. This lets us construct $TC$ relative to $R$, denoted $TC^{R}$, and we prove some descent results relating $TC^{R}$ and $TC$. We explore several examples of this structure on familiar $\mathbb{T}$-equivariant commutative ring spectra including the periodic $\mathbb{T}$-equivariant complex cobordism spectrum $MUP_{\mathbb{T}}$ and a new (connective) equivariant version of the complex cobordism spectrum $MU$.

Algebraic Topology,K-Theory and Homology
Bicategorical Traces and Cotraces

Justin Barhite

2024-06-28

Abstract:The familiar trace of a square matrix generalizes to a trace of an endomorphism of a dualizable object in a symmetric monoidal category. To extend these ideas to other settings, such as modules over non-commutative rings, the trace can be generalized to a bicategory equipped with additional structure called a shadow. We propose a notion of bicategorical cotrace of certain maps involving dualizable objects in a closed bicategory equipped with a coshadow, and we use this framework to draw connections to work of Lipman on residues and traces with Hochschild (co)homology, and to work of Ganter and Kapranov on 2-representations and 2-characters.

Category Theory
Shadows and traces in bicategories

Kate Ponto,Michael Shulman

DOI: https://doi.org/10.1007/s40062-012-0017-0

2012-11-07

Abstract:Traces in symmetric monoidal categories are well-known and have many applications; for instance, their functoriality directly implies the Lefschetz fixed point theorem. However, for some applications, such as generalizations of the Lefschetz theorem, one needs "noncommutative" traces, such as the Hattori-Stallings trace for modules over noncommutative rings. In this paper we study a generalization of the symmetric monoidal trace which applies to noncommutative situations; its context is a bicategory equipped with an extra structure called a "shadow." In particular, we prove its functoriality and 2-functoriality, which are essential to its applications in fixed-point theory. Throughout we make use of an appropriate "cylindrical" type of string diagram, which we justify formally in an appendix.

Category Theory
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
Trace methods for stable categories I: The linear approximation of algebraic K-theory

Yonatan Harpaz,Thomas Nikolaus,Victor Saunier

2024-11-07

Abstract:We study algebraic K-theory and topological Hochschild homology in the setting of bimodules over a stable category, a datum we refer to as a laced category. We show that in this setting both K-theory and THH carry universal properties, the former defined in terms of additivity and the latter via trace invariance. We then use these universal properties in order to construct a trace map from laced K-theory to THH, and show that it exhibits THH as the first Goodwillie derivative of laced K-theory in the bimodule direction, generalizing the celebrated identification of stable K-theory by Dundas-McCarthy, a result which is the entryway to trace methods.

Algebraic Topology,K-Theory and Homology
Cyclotomic Structures in Symplectic Topology

Semon Rezchikov

2024-05-29

Abstract:We extend the Cohen-Jones-Segal construction of stable homotopy types associated to flow categories of Morse-Smale functions $f$ to the setting where $f$ is equivariant under a finite group action and is Morse but no longer Morse-Smale. This setting occurs universally, as equivariant Morse functions can rarely be perturbed to nearby equivariant Morse-Smale functions. The method is very general, and allows one to do equivariant Floer theory while avoiding all the complications typically caused by issues of equivariant transversality. The construction assigns a (genuine) equivariant orthogonal spectrum to an equivariant framed virtually smooth flow category. Using this method, we construct, for a compact symplectic manifold $M$, which is symplectically atoroidal with contact boundary, and is equipped with an equivariant trivialization of its polarization class, a cyclotomic structure on the spectral lift of the symplectic cohomology $SH^*(M)$. This generalizes a variant of the map which sends loops to their $p$-fold covers on free loop spaces to the setting of general Liouville domains, and suggests a systematic connection between Floer homology and $p$-adic Hodge theory.

Symplectic Geometry,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.
$G$-spectra of cyclic defect

Tony Feng,David Treumann,Allen Yuan

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

2023-01-09

Abstract:Broué's Abelian Defect Conjecture predicts interesting derived equivalences between derived categories of modular representations of finite groups. We investigate a generalization of Broué's Conjecture to ring spectrum coefficients and prove this generalization in the cyclic defect case, following an argument of Rouquier.

Representation Theory,Algebraic Topology
Markov traces on degenerate cyclotomic Hecke algebras

Deke Zhao

2024-10-19

Abstract:Let $H_n(\boldsymbol{u})$ be the degenerate cyclotomic Hecke algebra with parameter $\boldsymbol{u}=(u_1, \ldots, u_m)$ over $\mathbb{C}(\boldsymbol{u})$. We define and construct the (non-)normalized Markov traces on the sequence $\{H_n(\boldsymbol{u})\}_{n=1}^{\infty}$. This allows us to provide a canonical symmetrizing form on $H_n(\boldsymbol{u})$ and show that the Brudan--Kleshchev trace on $H_n(\boldsymbol{u})$ is a specialization of the non-normalized Markov traces.

Representation Theory,Rings and Algebras
Trace methods for coHochschild homology

Sarah Klanderman,Maximilien Péroux

2024-04-08

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

K-Theory and Homology,Category Theory
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
Dixmier Trace for Toeplitz Operators on Symmetric Domains

Harald Upmeier,Kai Wang

DOI: https://doi.org/10.1016/j.jfa.2016.04.022

IF: 1.891

2016-01-01

Journal of Functional Analysis

Abstract:For Toeplitz operators on bounded symmetric domains of higher rank, there is no obvious way to define the Dixmier trace within the Toeplitz C⁎-algebra, since commutators are in general not compact. In this paper we solve this problem by constructing a Hilbert quotient module, corresponding to partitions of length 1, which leads to commutators in the Macaev class Ln,∞. We also obtain an explicit formula for the Dixmier trace of such commutators in terms of the underlying boundary geometry, which involves a new type of flag manifold defined in Jordan theoretic terms.
Symmetries of the cyclic nerve

David Ayala,Aaron Mazel-Gee,Nick Rozenblyum

2024-05-07

Abstract:We undertake a systematic study of the Hochschild homology, i.e. (the geometric realization of) the cyclic nerve, of $(\infty,1)$-categories (and more generally of category-objects in an $\infty$-category), as a version of factorization homology. In order to do this, we codify $(\infty,1)$-categories in terms of quiver representations in them. By examining a universal instance of such Hochschild homology, we explicitly identify its natural symmetries, and construct a non-stable version of the cyclotomic trace map. Along the way we give a unified account of the cyclic, paracyclic, and epicyclic categories. We also prove that this gives a combinatorial description of the $n=1$ case of factorization homology as presented in [AFR18], which parametrizes $(\infty,1)$-categories by solidly 1-framed stratified spaces.

Algebraic Topology,Category Theory,K-Theory and Homology
On the K-theory of truncated polynomial algebras, revisited

Martin Speirs

DOI: https://doi.org/10.1016/j.aim.2020.107083

IF: 1.675

2020-06-01

Advances in Mathematics

Abstract:We revisit the computation, due to Hesselholt and Madsen, of the K-theory of truncated polynomial algebras for perfect fields of positive characteristic. The resulting K-groups are expressed in terms of big Witt vectors of the field. The original proof relied on an understanding of cyclic polytopes in order to determine the genuine equivariant homotopy type of the cyclic bar construction for a suitable monoid. Using the Nikolaus-Scholze framework for topological cyclic homology we achieve the same result using only the homology of said cyclic bar construction, as well as the action of Connes' operator.

mathematics
The local cohomology spectral sequence for topological modular forms

Robert Bruner,John Greenlees,John Rognes

DOI: https://doi.org/10.1007/s00209-022-03033-4

2022-08-06

Mathematische Zeitschrift

Abstract:We discuss proofs of local cohomology theorems for topological modular forms, based on Mahowald–Rezk duality and on Gorenstein duality, and then make the associated local cohomology spectral sequences explicit, including their differential patterns and hidden extensions.

mathematics
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
The Cyclic and Modular Microcosm Principle in Quantum Topology

Lukas Woike

2024-08-06

Abstract:Monoidal categories with additional structure such as a braiding or some form of duality abound in quantum topology. They often appear in tandem with Frobenius algebras inside them. Motivations for this range from the theory of module categories to the construction of correlators in conformal field theory. We generalize the Baez-Dolan microcosm principle to consistently describe all these types of algebras by extending it to cyclic and modular algebras in the sense of Getzler-Kapranov. Our main result links the microcosm principle for cyclic algebras to the one for modular algebras via Costello's modular envelope. The result can be understood as a local-to-global construction for various flavors of Frobenius algebras that substantially generalizes and unifies the available, and often intrinsically semisimple methods using for example triangulations, state-sum constructions or skein theory. Several applications of the main result in conformal field theory are presented: We classify consistent systems of correlators for open conformal field theories and show that the genus zero correlators for logarithmic conformal field theories constructed by Fuchs-Schweigert can be uniquely extended to handlebodies. This establishes a very general correspondence between full genus zero conformal field theory in dimension two and skein theory in dimension three.

Quantum Algebra,Mathematical Physics,Category Theory

The cyclotomic trace for symmetric ring spectra

On topological cyclic homology

Detecting K-theory by cyclic homology

The canonical trace of Cohen-Macaulay algebras of codimension 2

Relative cyclotomic structures and equivariant complex cobordism

Bicategorical Traces and Cotraces

Shadows and traces in bicategories

Topological cyclic homology of Cartier smooth rings

Trace methods for stable categories I: The linear approximation of algebraic K-theory

Cyclotomic Structures in Symplectic Topology

Topological cyclic homology of local fields

$G$-spectra of cyclic defect

Markov traces on degenerate cyclotomic Hecke algebras

Trace methods for coHochschild homology

On the geometric fixed points of real topological cyclic homology

Dixmier Trace for Toeplitz Operators on Symmetric Domains

Symmetries of the cyclic nerve

On the K-theory of truncated polynomial algebras, revisited

The local cohomology spectral sequence for topological modular forms

Analytic cyclic homology in positive characteristic

The Cyclic and Modular Microcosm Principle in Quantum Topology