arXiv subjects

Ayelet Lindenstrauss

Publications and source records attributed to Ayelet Lindenstrauss.

18 recordsLinked to original sources

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_σ$-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↗

arXiv2025

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àndez-València 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↗

arXiv2025

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π_0$-functor. We describe Real topological Hochschild homology as such a Loday construction.

math.AT↗

arXiv2024

Examples of étale extensions of Green functors

We provide new examples of étale extensions of Green functors by transferring classical examples of étale extensions to the equivariant setting. Our examples are Tambara functors, and we prove Green étaleness for them, which implies Tambara étaleness. We show that every $C_2$-Galois extensions of fields gives rise to an étale 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 étale extensions for arbitrary finite $n$. Étale extensions of fields induce étale extension of $G$-Green functors for any finite group $G$ by passing to the corresponding constant $G$-Tambara functors.

math.AT↗

arXiv2021

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ökstedt and Lindenstrauss-Madsen on (ordinary) topological Hochschild homology.

math.AT↗

arXiv2020

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↗

arXiv2020

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 $Σ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↗

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

On the K-theory of division algebras over local fields

Let $K$ be a complete discrete valuation field with finite residue field of characteristic $p$, and let $D$ be a central division algebra over $K$ of finite index $d$. Thirty years ago, Suslin and Yufryakov showed that for all prime numbers $\ell$ different from $p$ and integers $j \geq 1$ , there exists a "reduced norm" isomorphism of $\ell$-adic $K$-groups $\operatorname{Nrd}_{D/K} \colon K_j(D,\mathbb{Z}_{\ell}) \to K_j(K,\mathbb{Z}_{\ell})$ such that $d \cdot \operatorname{Nrd}_{D/K}$ is equal to the norm homomorphism $N_{D/K}$. The purpose of this paper is to prove the analogous result for the $p$-adic $K$-groups. To do so, we employ the cyclotomic trace map to topological cyclic homology and show that there exists a "reduced trace" equivalence $\operatorname{Trd}_{A/S} \colon \operatorname{THH}(A\,|\,D,\mathbb{Z}_p) \to \operatorname{THH}(S\,|\,K,\mathbb{Z}_p)$ between two $p$-complete cyclotomic spectra associated with $D$ and $K$, respectively. Interestingly, we show that if $p$ divides $d$, then it is not possible to choose said equivalence such that, as maps of cyclotomic spectra, $d \cdot \operatorname{Trd}_{A/S}$ agrees with the trace $\operatorname{Tr}_{A/S}$, although this is possible as maps of spectra with $\mathbb{T}$-action.

math.KT↗

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 $Σ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↗

arXiv2017

Topological Hochschild homology of maximal orders in simple Q-algebras

We calculate the topological Hochschild homology groups of a maximal order in a central algebra over the rationals. Since the positive-dimensional THH groups consist only of torsion, we do this one prime ideal at a time for all the nonzero prime ideals in the center of the maximal order. This allows us to reduce the problem to studying the THH groups of maximal orders A in simple algebras over Q_p. We show that the topological Hochschild homology of A/(p) splits as the tensor product of its Hochschild homology and the topological Hochschild homology of F_p. We use this result in Brun's spectral sequence to calculate THH(A; A/(p)), and then we analyze the torsion to get the homotopy groups of the completion at p of THH(A).

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↗

arXiv2014

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 étale 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↗

arXiv2013

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

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.

math.AT↗

arXiv2012

Coxeter Cochain Complexes

We define the Coxeter cochain complex of a Coxeter group (G,S) with coefficients in a Z[G]-module A. This is closely related to the complex of simplicial cochains on the abstract simplicial complex I(S) of the commuting subsets of S. We give some representative computations of Coxeter cohomology and explain the connection between the Coxeter cohomology for groups of type A, the (singular) homology of certain configuration spaces, and the (Tor) homology of certain local Artin rings.

math.AT↗

arXiv2010

On the algebraic K-theory of formal power series

Let R be a discrete unital ring, and let M be an R-bimodule. We extend Waldhausen's equivalence from the suspension of the Nil K-theory of R with coefficients in M to the K theory of the tensor algebra T_R(M), and get a map from the suspension of the K-theory of parametrized endomorphism of R with coefficients in M to the K-theory of the ring of formal power series in M over R. This map induces an equivalence on the finite stages in the Goodwillie Taylor tower of the functors. When M is connected, this map is an equivalence. For general M, we use the map to show that the suspension of the the invariant W(R;M), which is what the Goodwillie Taylor tower of the K-theory of paramatrized endomorphisms converges to, is the inverse limit of the K-theory of finite truncations of T_R(M), quotiented out by increasing powers of the augmentation ideal. This map also gives us the values that the Goodwillie Taylor tower of K-theory, as a functor of augmented R-algebras, takes on augmented R-algebras which are tensor algebras on a connected R-bimodule.

math.KT↗

arXiv2009

On the Taylor Tower of Relative K-theory

For a functor with smash product F and an F-bimodule P, we construct an invariant W(F;P) which is an analog of TR(F) with coefficients. We study the structure of this invariant and its finite-stage approximations W_n(F;P), and conclude that for F the FSP associated to a ring R and P the FSP associated to the simplicial R-bimodule M[X] (with M a simplicial R-bimodule, X a simplicial set), the functor sending X to W_n(R;M[X]) is the nth stage of the Goodwillie calculus Taylor tower of the functor which sends X to the reduced K-theory spectrum of R with coefficients in M[X]. Thus the functor sending X to W(R;M[X]) is the full Taylor tower, which converges to the reduced K-theory of R with coefficients in M[X] for connected X. We show the equivalence between relative K-theory of R with coefficients in M[-] and W(R;M[-]) using Goodwillie calculus: we construct a natural transformation between the two functors, both of which are 0-analytic, and show that this natural transformation induces an equivalence on the derivatives at any connected X.

math.AT↗

arXiv2005

The Higher Connectivity of Intersections of Real Quadrics

A linear system of real quadratic forms defines a real projective variety. The real non-singular locus of this variety (more precisely of the underlying scheme) has a highly connected double cover as long as each non-zero form in the system has sufficiently high Witt index.

math.AT↗