arXiv subjects

Birgit Richter

Publications and source records attributed to Birgit Richter.

At least 19 recordsLinked to original sources

arXiv2026

Galois and separable extensions of Tambara functors

For a map of Tambara functors $R \rightarrow T$ we define when $T$ is separable over $R$ and if $T$ carries an action by some finite group $H$ that fixes $R$ we also define when $T$ is an $H$-Galois extension of Tambara functors. We show that flat and separable extensions are (formally) \'etale in the sense of Hill and we prove that Galois extensions are separable. We express Nullstellensatzian Tambara functors in the context of Galois theory.

math.AT↗

arXiv2026

Real Hochschild homology as an equivariant Loday construction

Equivariant Loday constructions are a means for providing geometric interpretations of equivariant homology theories. They are usually constructed for a simplicial $G$-set and a $G$-Tambara functor. We study situations where -- depending on the isotropy subgroups occurring in the simplicial $G$-set -- one can work with $H$-Tambara functors for a suitable subgroup $H$ of $G$. We apply this to give an interpretation of Real Hochschild homology of discrete $E_\sigma$-rings as equivariant Loday constructions where we consider $2m$-gons with a geometrically defined action of the dihedral groups $D_{2m}$ for all $m \geq 1$. The action of symmetric groups on $1$-skeleta of permutohedra also gives examples with isotropy groups $C_2$.

math.AT↗

arXiv2024

Reflexive homology and involutive Hochschild homology as equivariant Loday constructions

For associative rings with anti-involution several homology theories exists, for instance reflexive homology as studied by Graves and involutive Hochschild homology defined by Fern\`andez-Val\`encia and Giansiracusa. We prove that the corresponding homology groups can be identified with the homotopy groups of an equivariant Loday construction of the one-point compactification of the sign-representation evaluated at the trivial orbit, if we assume that $2$ is invertible and if the underlying abelian group of the ring is flat. We also show a relative version where we consider an associative $k$-algebra with an anti-involution where $k$ is an arbitrary ground ring.

math.AT↗

arXiv2024

Loday constructions of Tambara functors

Building on work of Hill, Hoyer and Mazur we propose an equivariant version of a Loday construction for $G$-Tambara functors where $G$ is an arbitrary finite group. For any finite simplicial $G$-set and any $G$-Tambara functor, our Loday construction is a simplicial $G$-Tambara functor. We study its properties and examples. For a circle with rotation action by a finite cyclic group our construction agrees with the twisted cyclic nerve of Blumberg, Gerhardt, Hill, and Lawson. We also show how the Loday construction for genuine commutative $G$-ring spectra relates to our algebraic one via the $\underline{\pi}_0$-functor. We describe Real topological Hochschild homology as such a Loday construction.

math.AT↗

arXiv2023

Examples of \'etale extensions of Green functors

We provide new examples of \'etale extensions of Green functors by transferring classical examples of \'etale extensions to the equivariant setting. Our examples are Tambara functors, and we prove Green \'etaleness for them, which implies Tambara \'etaleness. We show that every $C_2$-Galois extensions of fields gives rise to an \'etale extension of $C_2$-Green functors. Here we associate the constant Tambara functor to the base field and the fix-Tambara functor to the extension. We also prove that all $C_n$-Kummer extensions give rise to \'etale extensions for arbitrary finite $n$. \'Etale extensions of fields induce \'etale extension of $G$-Green functors for any finite group $G$ by passing to the corresponding constant $G$-Tambara functors.

math.AT↗

arXiv2021

Detecting and describing ramification for structured ring spectra

Ramification for commutative ring spectra can be detected by relative topological Hochschild homology and by topological Andr\'e-Quillen homology. In the classical algebraic context it is important to distinguish between tame and wild ramification. Noether's theorem characterizes tame ramification in terms of a normal basis and tame ramification can also be detected via the surjectivity of the trace map. We transfer the latter fact to ring spectra and use the Tate cohomology spectrum to detect wild ramification in the context of commutative ring spectra. We study ramification in examples in the context of topological K-theory and topological modular forms.

math.AT↗

arXiv2020

Loday constructions on twisted products and on tori

We develop a spectral sequence for the homotopy groups of Loday constructions with respect to twisted products in the case where the group involved is a constant simplicial group. We show that for commutative Hopf algebra spectra Loday constructions are stable, generalizing a result by Berest, Ramadoss and Yeung. We prove that several truncated polynomial rings are not multiplicatively stable by investigating their torus homology.

math.AT↗

arXiv2019

Stability of Loday constructions

We study the question for which commutative ring spectra $A$ the tensor of a simplicial set $X$ with $A$, $X \otimes A$, is a stable invariant in the sense that it depends only on the homotopy type of $\Sigma X$. We prove several structural properties about different notions of stability, corresponding to different levels of invariance required of $X\otimes A$, and establish stability in important cases, such as complex and real periodic topological K-theory, $KU$ and $KO$.

math.AT↗

arXiv2018

Splittings and calculational techniques for higher THH

Tensoring finite pointed simplicial sets with commutative ring spectra yields important homology theories such as (higher) topological Hochschild homology and torus homology. We prove several structural properties of these constructions relating $X \otimes (-)$ to $\Sigma X \otimes (-)$ and we establish splitting results. This allows us, among other important examples, to determine $THH^{[n]}_*(\mathbb{Z}/p^m; \mathbb{Z}/p)$ for all $n \geq 1$ and for all $m \geq 2$.

math.AT↗

arXiv2018

Towards topological Hochschild homology of Johnson-Wilson spectra

We offer a complete description of $THH(E(2))$ under the assumption that the Johnson-Wilson spectrum $E(2)$ at a chosen odd prime carries an $E_\infty$-structure. We also place $THH(E(2))$ in a cofiber sequence $E(2) \rightarrow THH(E(2))\rightarrow \overline{THH}(E(2))$ and describe $\overline{THH}(E(2))$ under the assumption that $E(2)$ is an $E_3$-ring spectrum. We state general results about the $K(i)$-local behaviour of $THH(E(n))$ for all $n$ and $0 \leq i \leq n$. In particular, we compute $K(i)_*THH(E(n))$.

math.AT↗

arXiv2018

A strictly commutative model for the cochain algebra of a space

The commutative differential graded algebra $A_{\mathrm{PL}}(X)$ of polynomial forms on a simplicial set $X$ is a crucial tool in rational homotopy theory. In this note, we construct an integral version $A^{\mathcal{I}}(X)$ of $A_{\mathrm{PL}}(X)$. Our approach uses diagrams of chain complexes indexed by the category of finite sets and injections $\mathcal{I}$ to model $E_{\infty}$ differential graded algebras by strictly commutative objects, called commutative $\mathcal{I}$-dgas. We define a functor $A^{\mathcal{I}}$ from simplicial sets to commutative $\mathcal{I}$-dgas and show that it is a commutative lift of the usual cochain algebra functor. In particular, it gives rise to a new construction of the $E_{\infty}$ dga of cochains. The functor $A^{\mathcal{I}}$ shares many properties of $A_{\mathrm{PL}}$, and can be viewed as a generalization of $A_{\mathrm{PL}}$ that works over arbitrary commutative ground rings. Working over the integers, a theorem by Mandell implies that $A^{\mathcal{I}}(X)$ determines the homotopy type of $X$ when $X$ is a nilpotent space of finite type.

math.AT↗

arXiv2017

Commutative ring spectra

In this survey paper on commutative ring spectra we present some basic features of commutative ring spectra and discuss model category structures. As a first interesting class of examples of such ring spectra we focus on (commutative) algebra spectra over commutative Eilenberg-MacLane ring spectra. We present two constructions that yield commutative ring spectra: Thom spectra associated to infinite loop maps and Segal's construction starting with bipermutative categories. We define topological Hochschild homology, some of its variants, and topological Andre-Quillen homology. Obstruction theory for commutative structures on ring spectra is described in two versions. The notion of etale extensions in the spectral world is tricky and we explain why. We define Picard groups and Brauer groups of commutative ring spectra and present examples.

math.AT↗

arXiv2017

Inhabitants of interesting subsets of the Bousfield lattice

The set of Bousfield classes has some important subsets such as the distributive lattice $\mathbf{DL}$ of all classes $\langle E\rangle$ which are smash idempotent and the complete Boolean algebra $\mathbf{cBA}$ of closed classes. We provide examples of spectra that are in $\mathbf{DL}$, but not in $\mathbf{cBA}$; in particular, for every prime $p$, the Bousfield class of the Eilenberg-MacLane spectrum $\langle H\mathbb{F}_p\rangle\in\mathbf{DL}{\setminus}\mathbf{cBA}$.

math.AT↗

arXiv2016

Relative Loday constructions and applications to higher THH-calculations

We define a relative version of the Loday construction for a sequence of commutative S-algebras $A \rightarrow B \rightarrow C$ and a pointed simplicial subset $Y \subset X$. We use this to construct several spectral sequences for the calculation of higher topological Hochschild homology and apply those for calculations in some examples that could not be treated before.

math.AT↗

arXiv2016

Towards an understanding of ramified extensions of structured ring spectra

We propose topological Hochschild homology as a tool for measuring ramification of maps of structured ring spectra. We determine second order topological Hochschild homology of the $p$-local integers. For the tamely ramified extension of the map from the connective Adams summand to $p$-local complex topological K-theory we determine the relative topological Hochschild homology and show that it detects the tame ramification of this extension. We also determine relative topological Hochschild homology for the complexification map from connective real to complex topological K-theory and for some quotient maps with commutative quotients.

math.AT↗

arXiv2015

On higher topological Hochschild homology of rings of integers

We determine higher topological Hochschild homology of rings of integers in number fields with coefficients in suitable residue fields. We use the iterative description of higher THH for this and Postnikov arguments that allow us to reduce the necessary computations to calculations in homological algebra, starting from the results of B\"okstedt and Lindenstrauss-Madsen on (ordinary) topological Hochschild homology.

math.AT↗

arXiv2014

An algebraic model for commutative HZ-algebras

We show that the homotopy category of commutative algebra spectra over the Eilenberg-Mac Lane spectrum of the integers is equivalent to the homotopy category of E-infinity-monoids in unbounded chain complexes. We do this by establishing a chain of Quillen equivalences between the corresponding model categories. We also provide a Quillen equivalence to commutative monoids in the category of functors from the category of finite sets and injections to unbounded chain complexes.

math.AT↗

arXiv2013

On the higher topological Hochschild homology of $\mathbb{F}_p$ and commutative $\mathbb{F}_p$-group algebras

We extend Torleif Veen's calculation of higher topological Hochschild homology ${\sf THH}^{[n]}_*(\mathbb{F}_p)$ from $n\leq 2p$ to $n\leq 2p+2$ for $p$ odd, and from $n=2$ to $n\leq 3$ for $p=2$. We calculate higher Hochschild homology ${\sf HH}_*^{[n]}(k[x])$ over $k$ for any integral domain $k$, and ${\sf HH}_*^{[n]}(\mathbb{F}_p[x]/x^{p^\ell})$ for all $n>0$. We use this and \'etale descent to calculate ${\sf HH}_*^{[n]}(\mathbb{F}_p[G])$ for all $n>0$ for any cyclic group $G$, and therefore also for any finitely generated abelian group $G$. We show a splitting result for higher ${\sf THH}$ of commutative $\mathbb{F}_p$-group algebras and use this technique to calculate higher topological Hochschild homology of such group algebras for as large an $n$ as ${\sf THH}^{[n]}_*(\mathbb{F}_p) $ is known for.

math.AT↗