Showing 1–17 of 17 results for author: Gerhardt, T

Trace methods for equivariant algebraic K-theory

Authors: David Chan, Teena Gerhardt, Inbar Klang

Abstract: In the past decades, one of the most fruitful approaches to the study of algebraic $K$-theory has been trace methods, which construct and study trace maps from algebraic $K$-theory to topological Hochschild homology and related invariants. In recent years, theories of equivariant algebraic $K$-theory have emerged, but thus far few tools are available for the study and computation of these theories… ▽ More In the past decades, one of the most fruitful approaches to the study of algebraic $K$-theory has been trace methods, which construct and study trace maps from algebraic $K$-theory to topological Hochschild homology and related invariants. In recent years, theories of equivariant algebraic $K$-theory have emerged, but thus far few tools are available for the study and computation of these theories. In this paper, we lay the foundations for a trace methods approach to equivariant algebraic $K$-theory. For $G$ a finite group, we construct a Dennis trace map from equivariant algebraic $K$-theory to a $G$-equivariant version of topological Hochschild homology; for $G$ the trivial group this recovers the ordinary Dennis trace map. We show that upon taking fixed points, this recovers the trace map of Adamyk--Gerhardt--Hess--Klang--Kong, and gives a trace map from the fixed points of coarse equivariant $A$-theory to the free loop space. We also establish important properties of equivariant topological Hochschild homology, such as Morita invariance, and explain why it can be considered as a multiplicative norm. △ Less

Submitted 16 May, 2025; originally announced May 2025.

Comments: 48 pages, comments welcome!

MSC Class: 55P91; 19D55; 16E40

Coalgebraic $K$-theory

Authors: Teena Gerhardt, Maximilien Péroux, W. Hermann B. Soré

Abstract: 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 s… ▽ More 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. △ Less

Submitted 6 March, 2025; originally announced March 2025.

Comments: 21 pages

MSC Class: Primary: 16T15; 19D50. Secondary: 18M05; 55U30

Equivariant Witt Complexes and Twisted Topological Hochschild Homology

Authors: Anna Marie Bohmann, Teena Gerhardt, Cameron Krulewski, Sarah Petersen, Lucy Yang

Abstract: 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 c… ▽ More 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. △ Less

Submitted 7 March, 2025; v1 submitted 9 September, 2024; originally announced September 2024.

Comments: v2: 37 pages. Updated the definition of equivariant Witt complexes to reflect that the cyclotomic structure on twisted THH should have a twist

Report number: MPIM-Bonn-2022 MSC Class: 55P91 and 19D55 (Primary) 13F35 (Secondary)

A trace map on higher scissors congruence groups

Authors: Anna Marie Bohmann, Teena Gerhardt, Cary Malkiewich, Mona Merling, Inna Zakharevich

Abstract: Cut-and-paste $K$-theory has recently emerged as an important variant of higher algebraic $K$-theory. However, many of the powerful tools used to study classical higher algebraic $K$-theory do not yet have analogues in the cut-and-paste setting. In particular, there does not yet exist a sensible notion of the Dennis trace for cut-and-paste $K$-theory. In this paper we address the particular case… ▽ More Cut-and-paste $K$-theory has recently emerged as an important variant of higher algebraic $K$-theory. However, many of the powerful tools used to study classical higher algebraic $K$-theory do not yet have analogues in the cut-and-paste setting. In particular, there does not yet exist a sensible notion of the Dennis trace for cut-and-paste $K$-theory. In this paper we address the particular case of the $K$-theory of polyhedra, also called scissors congruence $K$-theory. We introduce an explicit, computable trace map from the higher scissors congruence groups to group homology, and use this trace to prove the existence of some nonzero classes in the higher scissors congruence groups. We also show that the $K$-theory of polyhedra is a homotopy orbit spectrum. This fits into Thomason's general framework of $K$-theory commuting with homotopy colimits, but we give a self-contained proof. We then use this result to re-interpret the trace map as a partial inverse to the map that commutes homotopy orbits with algebraic $K$-theory. △ Less

Submitted 13 September, 2023; v1 submitted 14 March, 2023; originally announced March 2023.

Comments: 32 pages, 3 figures. Revision of the paper previously entitled "A Farrell--Jones isomorphism for $K$-theory of polyhedra."

Real topological Hochschild homology via the norm and Real Witt vectors

Authors: Gabriel Angelini-Knoll, Teena Gerhardt, Michael Hill

Abstract: We prove that Real topological Hochschild homology can be characterized as the norm from the cyclic group of order $2$ to the orthogonal group $O(2)$. From this perspective, we then prove a multiplicative double coset formula for the restriction of this norm to dihedral groups of order $2m$. This informs our new definition of Real Hochschild homology of rings with anti-involution, which we show is… ▽ More We prove that Real topological Hochschild homology can be characterized as the norm from the cyclic group of order $2$ to the orthogonal group $O(2)$. From this perspective, we then prove a multiplicative double coset formula for the restriction of this norm to dihedral groups of order $2m$. This informs our new definition of Real Hochschild homology of rings with anti-involution, which we show is the algebraic analogue of Real topological Hochschild homology. Using extra structure on Real Hochschild homology, we define a new theory of $p$-typical Witt vectors of rings with anti-involution. We end with an explicit computation of the degree zero $D_{2m}$-Mackey functor homotopy groups of $\operatorname{THR}(\underline{\mathbb{Z}})$ for $m$ odd. This uses a Tambara reciprocity formula for sums for general finite groups, which may be of independent interest. △ Less

Submitted 12 November, 2021; originally announced November 2021.

Comments: 52 pages including references. Comments welcome

MSC Class: 55P91; 19D55 (Primary) 13F35; 16E40; 16W10 (Secondary)

A shadow perspective on equivariant Hochschild homologies

Authors: Katharine Adamyk, Teena Gerhardt, Kathryn Hess, Inbar Klang, Hana Jia Kong

Abstract: Shadows for bicategories, defined by Ponto, provide a useful framework that generalizes classical and topological Hochschild homology. In this paper, we define Hochschild-type invariants for monoids in a symmetric monoidal, simplicial model category $\mathsf V$, as well as for small $\mathsf V$-categories. We show that each of these constructions extends to a shadow on an appropriate bicategory, w… ▽ More Shadows for bicategories, defined by Ponto, provide a useful framework that generalizes classical and topological Hochschild homology. In this paper, we define Hochschild-type invariants for monoids in a symmetric monoidal, simplicial model category $\mathsf V$, as well as for small $\mathsf V$-categories. We show that each of these constructions extends to a shadow on an appropriate bicategory, which implies in particular that they are Morita invariant. We also define a generalized theory of Hochschild homology twisted by an automorphism and show that it is Morita invariant. Hochschild homology of Green functors and $C_n$-twisted topological Hochschild homology fit into this framework, which allows us to conclude that these theories are Morita invariant. We also study linearization maps relating the topological and algebraic theories, proving that the linearization map for topological Hochschild homology arises as a lax shadow functor, and constructing a new linearization map relating topological restriction homology and algebraic restriction homology. Finally, we construct a twisted Dennis trace map from the fixed points of equivariant algebraic $K$-theory to twisted topological Hochschild homology. △ Less

Submitted 28 July, 2022; v1 submitted 7 November, 2021; originally announced November 2021.

Comments: Revised following referee report

Topological coHochschild Homology and the Homology of Free Loop Spaces

Authors: Anna Marie Bohmann, Teena Gerhardt, Brooke Shipley

Abstract: We study the homology of free loop spaces via techniques arising from the theory of topological coHochschild homology (coTHH). Topological coHochschild homology is a topological analogue of the classical theory of coHochschild homology for coalgebras. We produce new spectrum-level structure on coTHH of suspension spectra as well as new algebraic structure in the coBökstedt spectral sequence for co… ▽ More We study the homology of free loop spaces via techniques arising from the theory of topological coHochschild homology (coTHH). Topological coHochschild homology is a topological analogue of the classical theory of coHochschild homology for coalgebras. We produce new spectrum-level structure on coTHH of suspension spectra as well as new algebraic structure in the coBökstedt spectral sequence for computing coTHH. These new techniques allow us to compute the homology of free loop spaces in several new cases, extending known calculations. △ Less

Submitted 13 December, 2021; v1 submitted 5 May, 2021; originally announced May 2021.

Comments: 43 pages. Accepted for publication in Math Z. Added remarks on geometric interpretation of algebraic structure. Corrected typos

MSC Class: 55P35; 16T15 (Primary); 55P43; 13D03; 16T05; 55T99 (Secondary)

Computational tools for twisted topological Hochschild homology of equivariant spectra

Authors: Katharine Adamyk, Teena Gerhardt, Kathryn Hess, Inbar Klang, Hana Jia Kong

Abstract: Twisted topological Hochschild homology of $C_n$-equivariant spectra was introduced by Angeltveit, Blumberg, Gerhardt, Hill, Lawson, and Mandell, building on the work of Hill, Hopkins, and Ravenel on norms in equivariant homotopy theory. In this paper we introduce tools for computing twisted THH, which we apply to computations for Thom spectra, Eilenberg-MacLane spectra, and the real bordism spect… ▽ More Twisted topological Hochschild homology of $C_n$-equivariant spectra was introduced by Angeltveit, Blumberg, Gerhardt, Hill, Lawson, and Mandell, building on the work of Hill, Hopkins, and Ravenel on norms in equivariant homotopy theory. In this paper we introduce tools for computing twisted THH, which we apply to computations for Thom spectra, Eilenberg-MacLane spectra, and the real bordism spectrum $MU_{\mathbb{R}}$. In particular, we construct an equivariant version of the Bökstedt spectral sequence, the formulation of which requires further development of the Hochschild homology of Green functors, first introduced by Blumberg, Gerhardt, Hill, and Lawson. △ Less

Submitted 18 November, 2021; v1 submitted 18 January, 2020; originally announced January 2020.

Comments: Minor revision. Accepted version

MSC Class: 55P91; 19D55

The Witt vectors for Green functors

Authors: Andrew J. Blumberg, Teena Gerhardt, Michael A. Hill, Tyler Lawson

Abstract: We define twisted Hochschild homology for Green functors. This construction is the algebraic analogue of the relative topological Hochschild homology $THH_{C_n}(-)$, and it describes the $E_2$ term of the Künneth spectral sequence for relative $THH$. Applied to ordinary rings, we obtain new algebraic invariants. Extending Hesselholt's construction of the Witt vectors of noncommutative rings, we in… ▽ More We define twisted Hochschild homology for Green functors. This construction is the algebraic analogue of the relative topological Hochschild homology $THH_{C_n}(-)$, and it describes the $E_2$ term of the Künneth spectral sequence for relative $THH$. Applied to ordinary rings, we obtain new algebraic invariants. Extending Hesselholt's construction of the Witt vectors of noncommutative rings, we interpret our construction as providing Witt vectors for Green functors. △ Less

Submitted 29 December, 2019; v1 submitted 14 March, 2018; originally announced March 2018.

Comments: Minor revisions. Published version

Journal ref: J. Algebra 537 (2019), 197-244

Computational Tools for Topological CoHochschild Homology

Authors: Anna Marie Bohmann, Teena Gerhardt, Amalie Høgenhaven, Brooke Shipley, Stephanie Ziegenhagen

Abstract: In recent work, Hess and Shipley defined a theory of topological coHochschild homology (coTHH) for coalgebras. In this paper we develop computational tools to study this new theory. In particular, we prove a Hochschild-Kostant-Rosenberg type theorem in the cofree case for differential graded coalgebras. We also develop a coBökstedt spectral sequence to compute the homology of coTHH for coalgebra s… ▽ More In recent work, Hess and Shipley defined a theory of topological coHochschild homology (coTHH) for coalgebras. In this paper we develop computational tools to study this new theory. In particular, we prove a Hochschild-Kostant-Rosenberg type theorem in the cofree case for differential graded coalgebras. We also develop a coBökstedt spectral sequence to compute the homology of coTHH for coalgebra spectra. We use a coalgebra structure on this spectral sequence to produce several computations. △ Less

Submitted 6 June, 2017; originally announced June 2017.

MSC Class: Primary: 19D55; 16T15; Secondary: 16E40; 55U35; 55P43

Journal ref: Topology Appl. 235 (2018), 185-213

Topological cyclic homology via the norm

Authors: V. Angeltveit, A. Blumberg, T. Gerhardt, M. Hill, T. Lawson, M. Mandell

Abstract: We describe a construction of the cyclotomic structure on topological Hochschild homology ($THH$) of a ring spectrum using the Hill-Hopkins-Ravenel multiplicative norm. Our analysis takes place entirely in the category of equivariant orthogonal spectra, avoiding use of the Bökstedt coherence machinery. We are able to define versions of topological cyclic homology ($TC$) and TR-theory relative to a… ▽ More We describe a construction of the cyclotomic structure on topological Hochschild homology ($THH$) of a ring spectrum using the Hill-Hopkins-Ravenel multiplicative norm. Our analysis takes place entirely in the category of equivariant orthogonal spectra, avoiding use of the Bökstedt coherence machinery. We are able to define versions of topological cyclic homology ($TC$) and TR-theory relative to a cyclotomic commutative ring spectrum $A$. We describe spectral sequences computing this relative theory $_ATR$ in terms of $TR$ over the sphere spectrum and vice versa. Furthermore, our construction permits a straightforward definition of the Adams operations on $TR$ and $TC$. △ Less

Submitted 2 October, 2016; v1 submitted 20 January, 2014; originally announced January 2014.

Comments: Revised draft. Error about cyclotomic structure on relative THH for general A corrected

Interpreting the Bokstedt smash product as the norm

Authors: Vigleik Angeltveit, Andrew J. Blumberg, Teena Gerhardt, Michael A. Hill, Tyler Lawson

Abstract: This note compares two models of the equivariant homotopy type of the smash powers of a spectrum, namely the "Bokstedt smash product" and the Hill-Hopkins-Ravenel norm. This note compares two models of the equivariant homotopy type of the smash powers of a spectrum, namely the "Bokstedt smash product" and the Hill-Hopkins-Ravenel norm. △ Less

Submitted 1 November, 2013; v1 submitted 19 June, 2012; originally announced June 2012.

Comments: Submission version

On the algebraic K-theory of truncated polynomial algebras in several variables

Authors: Vigleik Angeltveit, Teena Gerhardt, Michael A. Hill, Ayelet Lindenstrauss

Abstract: We consider the algebraic K-theory of a truncated polynomial algebra in several commuting variables, K(k[x_1, ..., x_n]/(x_1^a_1, ..., x_n^a_n)). This naturally leads to a new generalization of the big Witt vectors. If k is a perfect field of positive characteristic we describe the K-theory computation in terms of a cube of these Witt vectors on N^n. If the characteristic of k does not divide any… ▽ More We consider the algebraic K-theory of a truncated polynomial algebra in several commuting variables, K(k[x_1, ..., x_n]/(x_1^a_1, ..., x_n^a_n)). This naturally leads to a new generalization of the big Witt vectors. If k is a perfect field of positive characteristic we describe the K-theory computation in terms of a cube of these Witt vectors on N^n. If the characteristic of k does not divide any of the a_i we compute the K-groups explicitly. We also compute the K-groups modulo torsion for k=Z. To understand this K-theory spectrum we use the cyclotomic trace map to topological cyclic homology, and write TC(k[x_1, ..., x_n]/(x_1^a_1, ..., x_n^a_n)) as the iterated homotopy cofiber of an n-cube of spectra, each of which is easier to understand. Updated: This is a substantial revision. We corrected several errors in the description of the Witt vectors on a truncation set on N^n and modified the key proofs accordingly. We also replaces several topological statement with purely algebraic ones. Most arguments have been reworked and streamlined. △ Less

Submitted 5 October, 2013; v1 submitted 1 June, 2012; originally announced June 2012.

Comments: 17 pages

MSC Class: 19D55; 55Q91

On the algebraic K-theory of the coordinate axes over the integers

Authors: Vigleik Angeltveit, Teena Gerhardt

Abstract: We show that K_{2i}(Z[x,y]/(xy),(x,y)) is free abelian of rank 1 and that K_{2i+1}(Z[x,y]/(xy),(x,y)) is finite of order (i!)^2. We also compute K_{2i+1}(Z[x,y]/(xy),(x,y)) in low degrees. We show that K_{2i}(Z[x,y]/(xy),(x,y)) is free abelian of rank 1 and that K_{2i+1}(Z[x,y]/(xy),(x,y)) is finite of order (i!)^2. We also compute K_{2i+1}(Z[x,y]/(xy),(x,y)) in low degrees. △ Less

Submitted 9 June, 2011; v1 submitted 23 September, 2009; originally announced September 2009.

Comments: Final version, to appear in Homology, Homotopy and Applications

MSC Class: 19D55; 55Q91

RO(S^1)-graded TR-groups of F_p, Z and \ell

Authors: Vigleik Angeltveit, Teena Gerhardt

Abstract: We give an algorithm for calculating the RO(S^1)-graded TR-groups of F_p, completing the calculation started by the second author. We also calculate the RO(S^1)-graded TR-groups of Z with mod p coefficients and of the Adams summand \ell of connective complex K-theory with V(1)-coefficients. Some of these calculations are used elsewhere to compute the algebraic K-theory of certain Z-algebras. We give an algorithm for calculating the RO(S^1)-graded TR-groups of F_p, completing the calculation started by the second author. We also calculate the RO(S^1)-graded TR-groups of Z with mod p coefficients and of the Adams summand \ell of connective complex K-theory with V(1)-coefficients. Some of these calculations are used elsewhere to compute the algebraic K-theory of certain Z-algebras. △ Less

Submitted 7 September, 2010; v1 submitted 9 November, 2008; originally announced November 2008.

Comments: Minor revisions. To appear in the Journal of Pure and Applied Algebra

MSC Class: 55P91

On the K-theory of truncated polynomial algebras over the integers

Authors: Vigleik Angeltveit, Teena Gerhardt, Lars Hesselholt

Abstract: We show that the K_{2i}(Z[x]/(x^m),(x)) is finite of order (mi)!(i!)^{m-2} and that K_{2i+1}(Z[x]/(x^m),(x)) is free abelian of rank m-1. This is accomplished by showing that the equivariant homotopy groups of the topological Hochschild spectrum THH(Z) are finite, in odd degrees, and free abelian, in even degrees, and by evaluating their orders and ranks, respectively. We show that the K_{2i}(Z[x]/(x^m),(x)) is finite of order (mi)!(i!)^{m-2} and that K_{2i+1}(Z[x]/(x^m),(x)) is free abelian of rank m-1. This is accomplished by showing that the equivariant homotopy groups of the topological Hochschild spectrum THH(Z) are finite, in odd degrees, and free abelian, in even degrees, and by evaluating their orders and ranks, respectively. △ Less

Submitted 19 April, 2009; v1 submitted 20 September, 2008; originally announced September 2008.

Comments: Journal of Topology (to appear)

MSC Class: 19D55; 55Q91

Journal ref: J. Topol. 2 (2009), 277-294

The R(S^1)-graded equivariant homotopy of THH(F_p)

Authors: Teena Gerhardt

Abstract: The main result of this paper is the computation of TR^n_α(F_p;p) for αin R(S^1). These R(S^1)-graded TR-groups are the equivariant homotopy groups naturally associated to the S^1-spectrum THH(F_p), the topological Hochschild S^1-spectrum. This computation, which extends a partial result of Hesselholt and Madsen, provides the first example of the R(S^1)-graded TR-groups of a ring. These groups a… ▽ More The main result of this paper is the computation of TR^n_α(F_p;p) for αin R(S^1). These R(S^1)-graded TR-groups are the equivariant homotopy groups naturally associated to the S^1-spectrum THH(F_p), the topological Hochschild S^1-spectrum. This computation, which extends a partial result of Hesselholt and Madsen, provides the first example of the R(S^1)-graded TR-groups of a ring. These groups arise in algebraic K-theory computations, and are particularly important to the understanding of the algebraic K-theory of non-regular schemes. △ Less

Submitted 19 September, 2008; v1 submitted 15 October, 2007; originally announced October 2007.

Comments: 27 Pages. Statement and Proof of main theorem simplified. To appear in Algebraic and Geometric Topology

MSC Class: 19D55; 55P91

Journal ref: Algebr. Geom. Topol. 8 (2008) 1961-1987