Related papers: Homotopy groups of homotopy fixed point spectra as…
We compute the dual Steenrod algebra for Bredon homology with constant coefficients $\underline{\mathbb Z}$ and $\underline{\mathbb Z}/2$ in the category of modules over $MU^{((G))}$, the norm to $G=C_{2^n}$ of $MU_{\mathbb R}$. Using this…
We introduce a notion of characteristic for connective $p$-local $E_\infty$ ring spectra and study some basic properties. Apart from examples already pointed out by Markus Szymik, we investigate some examples built from Hopf invariant $1$…
We use geometric fixed points to describe the homotopy theory of genuine equivariant commutative ring spectra after inverting the group order. The main innovation is the use of the extra structure provided by the Hill-Hopkins-Ravenel norms…
We construct a spectral sequence converging to the Morava $E$-theory of unordered configuration spaces and identify its E$^2$-page as the homology of a Chevalley-Eilenberg-like complex for Hecke Lie algebras. Based on this, we compute the…
Let V(0) be the mod 2 Moore spectrum and let C be the supersingular elliptic curve over F_4 defined by the Weierstrass equation y^2+y=x^3. Let F_C be its formal group law and E_C be the spectrum classifying the deformations of F_C. The…
The chromatic spectral sequence is introduced in \cite{mrw} to compute the $E_2$-term of the \ANSS\ for computing the stable homotopy groups of spheres. The $E_1$-term $E_1^{s,t}(k)$ of the spectral sequence is an Ext group of…
We provide a topological duality resolution for the spectrum $E_2^{h\mathbb{S}_2^1}$, which itself can be used to build the $K(2)$-local sphere. The resolution is built from spectra of the form $E_2^{hF}$ where $E_2$ is the Morava spectrum…
We present a development of the theory of higher groups, including infinity groups and connective spectra, in homotopy type theory. An infinity group is simply the loops in a pointed, connected type, where the group structure comes from the…
There are at least two ways to approach the homotopy theory of spaces `at chromatic height $n$': one may localize with respect to $T(n)$-homology or with respect to $v_n$-periodic homotopy groups. It was already observed by Bousfield that…
The Bousfield-Kan (or unstable Adams) spectral sequence can be constructed for various homology theories such as Brown-Peterson homology theory BP, Johnson-Wilson theory $E(n)$, or Morava $E$-theory $E_n$. For nice spaces the $E_2$-term is…
Denote by E(Y) the group of homotopy classes of self-homotopy equivalences of a finite-dimensional complex Y. We give a selection of results about certain subgroups of E(Y). We establish a connection between the Gottlieb groups of Y and the…
For a finite abelian group $A$, we determine the Balmer spectrum of $\mathrm{Sp}_A^{\omega}$, the compact objects in genuine $A$-spectra. This generalizes the case $A=\mathbb{Z}/p\mathbb{Z}$ due to Balmer and Sanders \cite{Balmer-Sanders},…
We construct a new spectrum of units for a commutative symmetric ring spectrum that detects the difference between a periodic ring spectrum and its connective cover. It is augmented over the sphere spectrum. The homotopy cofiber of its…
In this paper, we bound the descent filtration of the exotic Picard group $\kappa_n$, for a prime number p>3 and n=p-1. Our method involves a detailed comparison of the Picard spectral sequence, the homotopy fixed point spectral sequence,…
The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…
We show that at the prime 2, for any height $h$ and any finite subgroup $G \subset \mathbb{G}_h$ of the Morava stabilizer group, the $RO(G)$-graded homotopy fixed point spectral sequence for the Lubin--Tate spectrum $E_h$ has a strong…
This paper is a continuation of the version I of the same title, which intends to clarify and expand the results in the last chapter of `the green book' by the second author. In particular, we give the stable homotopy groups of $p$-local…
This paper begins with an exposition of the author's research on the category of BP_*BP-comodules, much of which is joint with Neil Strickland. The main result of that work is that the category of E(n)_*E(n)-comodules is equivalent to a…
We extend the theory of equivariant orthogonal spectra from finite groups to profinite groups, and more generally from compact Lie groups to compact Hausdorff groups. The G-homotopy theory is "pieced together" from the G/U-homotopy theories…
We extend the duality theory for topological groups from the classical theory for compact Lie groups, via the topological study by J. R. Klein [Kl01] and the p-complete study for p-compact groups by T. Bauer [Ba04], to a general duality…