-
Algebraic $K$-theory of the two-periodic first Morava $K$-theory
Authors:
Haldun Özgür Bayındır
Abstract:
Using the root adjunction formalism developed in an earlier work and logarithmic THH, we obtain a simplified computation of $T(2)_*\text{K}(ku)$ for $p>3$. Through this, we also produce a new algebraic $K$-theory computation; namely we obtain $T(2)_*\text{K}(ku/p)$, where $ku/p$ is the $2$-periodic Morava $K$-theory spectrum of height $1$.
Using the root adjunction formalism developed in an earlier work and logarithmic THH, we obtain a simplified computation of $T(2)_*\text{K}(ku)$ for $p>3$. Through this, we also produce a new algebraic $K$-theory computation; namely we obtain $T(2)_*\text{K}(ku/p)$, where $ku/p$ is the $2$-periodic Morava $K$-theory spectrum of height $1$.
△ Less
Submitted 19 March, 2024; v1 submitted 23 May, 2023;
originally announced May 2023.
-
Adjunction of roots, algebraic $K$-theory and chromatic redshift
Authors:
Christian Ausoni,
Haldun Özgür Bayındır,
Tasos Moulinos
Abstract:
Given an $E_1$-ring $A$ and a class $a \in π_{mk}(A)$ satisfying a suitable hypothesis, we define a map of $E_1$-rings $A\to A(\sqrt[m]{a})$ realizing the adjunction of an $m$th root of $a$. We define a form of logarithmic THH for $E_1$-rings, and show that root adjunction is log-THH-étale for suitably tamely ramified extension, which provides a formula for THH$(A(\sqrt[m]{a}))$ in terms of THH an…
▽ More
Given an $E_1$-ring $A$ and a class $a \in π_{mk}(A)$ satisfying a suitable hypothesis, we define a map of $E_1$-rings $A\to A(\sqrt[m]{a})$ realizing the adjunction of an $m$th root of $a$. We define a form of logarithmic THH for $E_1$-rings, and show that root adjunction is log-THH-étale for suitably tamely ramified extension, which provides a formula for THH$(A(\sqrt[m]{a}))$ in terms of THH and log-THH of $A$. If $A$ is connective, we prove that the induced map $K(A) \to K(A(\sqrt[m]{a}))$ in algebraic $K$-theory is the inclusion of a wedge summand. Using this, we obtain $V(1)_*K(ko_p)$ for $p>3$ and also, we deduce that if $K(A)$ exhibits chromatic redshift, so does $K(A(\sqrt[m]{a}))$. We interpret several extensions of ring spectra as examples of root adjunction, and use this to obtain a new proof of the fact that Lubin-Tate spectra satisfy the redshift conjecture.
△ Less
Submitted 22 October, 2023; v1 submitted 30 November, 2022;
originally announced November 2022.
-
Spanier-Whitehead duality for topological coHochschild homology
Authors:
Haldun Özgür Bayındır,
Maximilien Péroux
Abstract:
In this work, we compute the topological coHochschild homology (coTHH) of interesting coalgebras such as the Steenrod algebra spectrum. For this, we start by extending the Hess-Shipley definition of coTHH to $\infty$-categories, following the Nikolaus-Scholze approach to THH. Furthermore, we prove that coTHH of what we call quasi-proper coalgebras can be obtained from THH via Spanier-Whitehead dua…
▽ More
In this work, we compute the topological coHochschild homology (coTHH) of interesting coalgebras such as the Steenrod algebra spectrum. For this, we start by extending the Hess-Shipley definition of coTHH to $\infty$-categories, following the Nikolaus-Scholze approach to THH. Furthermore, we prove that coTHH of what we call quasi-proper coalgebras can be obtained from THH via Spanier-Whitehead duality which provides further insight into coTHH and its relationship to THH.
△ Less
Submitted 14 January, 2023; v1 submitted 7 December, 2020;
originally announced December 2020.
-
Algebraic $K$-theory of $\text{THH}(\mathbb{F}_p)$
Authors:
Haldun Özgür Bayındır,
Tasos Moulinos
Abstract:
In this work we study the $E_{\infty}$-ring $\text{THH}(\mathbb{F}_p)$ as a graded spectrum. Following an identification at the level of $E_2$-algebras with $\mathbb{F}_p[ΩS^3]$, the group ring of the $E_1$-group $ΩS^3$ over $\mathbb{F}_p$, we show that the grading on $\text{THH}(\mathbb{F}_p)$ arises from decomposition on the cyclic bar construction of the pointed monoid $ΩS^3$. This allows us to…
▽ More
In this work we study the $E_{\infty}$-ring $\text{THH}(\mathbb{F}_p)$ as a graded spectrum. Following an identification at the level of $E_2$-algebras with $\mathbb{F}_p[ΩS^3]$, the group ring of the $E_1$-group $ΩS^3$ over $\mathbb{F}_p$, we show that the grading on $\text{THH}(\mathbb{F}_p)$ arises from decomposition on the cyclic bar construction of the pointed monoid $ΩS^3$. This allows us to use trace methods to compute the algebraic $K$-theory of $\text{THH}(\mathbb{F}_p)$. We also show that as an $E_2$ $H\mathbb{F}_p$-ring, $\text{THH}(\mathbb{F}_p)$ is uniquely determined by its homotopy groups. These results hold in fact for $\text{THH}(k)$, where $k$ is any perfect field of characteristic $p$. Along the way we expand on some of the methods used by Hesselholt-Madsen and later by Speirs to develop certain tools to study the THH of graded ring spectra and the algebraic $K$-theory of formal DGAs.
△ Less
Submitted 27 July, 2022; v1 submitted 12 September, 2020;
originally announced September 2020.
-
Admissible replacements for simplicial monoidal model categories
Authors:
Haldun Özgür Bayındır,
Boris Chorny
Abstract:
Using Dugger's construction of universal model categories, we produce replacements for simplicial and combinatorial symmetric monoidal model categories with better operadic properties. Namely, these replacements admit a model structure on algebras over any given colored operad.
As an application, we show that in the stable case, such symmetric monoidal model categories are classified by commutat…
▽ More
Using Dugger's construction of universal model categories, we produce replacements for simplicial and combinatorial symmetric monoidal model categories with better operadic properties. Namely, these replacements admit a model structure on algebras over any given colored operad.
As an application, we show that in the stable case, such symmetric monoidal model categories are classified by commutative ring spectra when the monoidal unit is a compact generator. In other words, they are strong monoidally Quillen equivalent to modules over a uniquely determined commutative ring spectrum.
△ Less
Submitted 15 July, 2021; v1 submitted 2 August, 2020;
originally announced August 2020.
-
Extension DGAs and topological Hochschild homology
Authors:
Haldun Özgür Bayındır
Abstract:
In this work, we study those differential graded algebras (DGAs) that arise from ring spectra through the extension of scalars functor. Namely, we study DGAs whose corresponding Eilenberg-Mac Lane ring spectrum is equivalent to $H\mathbb{Z} \wedge E$ for some ring spectrum $E$. We call these DGAs extension DGAs. We also define and study this notion for $E_\infty$ DGAs.
The topological Hochschild…
▽ More
In this work, we study those differential graded algebras (DGAs) that arise from ring spectra through the extension of scalars functor. Namely, we study DGAs whose corresponding Eilenberg-Mac Lane ring spectrum is equivalent to $H\mathbb{Z} \wedge E$ for some ring spectrum $E$. We call these DGAs extension DGAs. We also define and study this notion for $E_\infty$ DGAs.
The topological Hochschild homology (THH) spectrum of an extension DGA splits in a convenient way. We show that formal DGAs with nice homology rings are extension and therefore their THH groups can be obtained from their Hochschild homology groups in many cases of interest. We also provide interesting examples of DGAs that are not extension.
In the second part, we study properties of extension DGAs. We show that in various cases, topological equivalences and quasi-isomorphisms agree for extension DGAs. From this, we obtain that dg Morita equivalences and Morita equivalences also agree in these cases.
△ Less
Submitted 19 May, 2021; v1 submitted 29 November, 2019;
originally announced November 2019.
-
DGAs with polynomial homology
Authors:
Haldun Özgür Bayındır
Abstract:
In this work, we study the classification of differential graded algebras over $\mathbb{Z}$ (DGAs) whose homology is $\mathbb{F}_p[x]$, i.e. the polynomial algebra over $\mathbb{F}_p$ on a single generator. This classification problem was left open in work of Dwyer, Greenlees and Iyengar.
For $\lvert y_{2p-2} \rvert = 2p-2$, we show that there is a unique non-formal DGA with homology…
▽ More
In this work, we study the classification of differential graded algebras over $\mathbb{Z}$ (DGAs) whose homology is $\mathbb{F}_p[x]$, i.e. the polynomial algebra over $\mathbb{F}_p$ on a single generator. This classification problem was left open in work of Dwyer, Greenlees and Iyengar.
For $\lvert y_{2p-2} \rvert = 2p-2$, we show that there is a unique non-formal DGA with homology $\mathbb{F}_p[y_{2p-2}]$ and a non-formal $2p-2$ Postnikov section. Among a classification result, this provides the first example of a non-formal DGA with homology $\mathbb{F}_p[x]$. By duality, this also shows that there is a non-formal DGA whose homology is an exterior algebra over $\mathbb{F}_p$ with a generator in degree $-(2p-1)$.
Considering the classification of the ring spectra corresponding to these DGAs, we show that every $E_2$ DGA with homology $\mathbb{F}_p[x]$ (with no restrictions on $\lvert x \rvert$) is topologically equivalent to the formal DGA with homology $\mathbb{F}_p[x]$, i.e. they are topologically formal. This follows by a theorem of Hopkins and Mahowald.
△ Less
Submitted 23 September, 2021; v1 submitted 4 November, 2019;
originally announced November 2019.
-
Topological Equivalences of E-infinity Differential Graded Algebras
Authors:
Haldun Ozgur Bayindir
Abstract:
Two DGAs are called topologically equivalent if the corresponding Eilenberg-Mac Lane ring spectra are weakly equivalent as ring spectra. Quasi-isomorphic DGAs are topologically equivalent but the converse is not necessarily true. As a counter-example, Dugger and Shipley showed that there are DGAs that are non-trivially topologically equivalent, i.e. topologically equivalent but not quasi-isomorphi…
▽ More
Two DGAs are called topologically equivalent if the corresponding Eilenberg-Mac Lane ring spectra are weakly equivalent as ring spectra. Quasi-isomorphic DGAs are topologically equivalent but the converse is not necessarily true. As a counter-example, Dugger and Shipley showed that there are DGAs that are non-trivially topologically equivalent, i.e. topologically equivalent but not quasi-isomorphic.
In this work, we define $E_\infty$ topological equivalences and utilize the obstruction theories developed by Goerss, Hopkins and Miller to construct first examples of non-trivially $E_\infty$ topologically equivalent $E_\infty$ DGAs. Also, we show using these obstruction theories that for co-connective $E_\infty$ DGAs, $E_\infty$ topological equivalences and quasi-isomorphisms agree. For $E_\infty$ $\mathbb{F}_p$-DGAs with trivial first homology, we show that an $E_\infty$ topological equivalence induces an isomorphism in homology that preserves the Dyer-Lashof operations and therefore induces an $H_\infty $ $\mathbb{F}_p$-equivalence.
△ Less
Submitted 12 June, 2018; v1 submitted 26 June, 2017;
originally announced June 2017.
