Search

For a motivic spectrum $E\in \mathcal{SH}(k)$, let $\Gamma(E)$ denote the global sections spectrum, where $E$ is viewed as a sheaf of spectra on $\mathrm{Sm}_k$. Voevodsky's slice filtration determines a spectral sequence converging to the homotopy groups of $\Gamma(E)$. In this paper, we introduce a spectral sequence converging instead to the mod 2 homology of $\Gamma(E)$ and study the case $E=BPGL\langle m\rangle$ for $k=\mathbb R$ in detail. We show that this spectral sequence contains the $\mathcal{A}_*$-comodule algebra $(\mathcal{A}//\mathcal{A}(m))^*$ as permanent cycles, and we determine a family of differentials interpolating between $(\mathcal{A}//\mathcal{A}(0))^*$ and $(\mathcal{A}//\mathcal{A}(m))^*$. Using this, we compute the spectral sequence completely for $m\le 3$. In the height 2 case, the Betti realization of $BPGL\langle 2\rangle$ is the $C_2$-spectrum $BP_{\mathbb R}\langle 2\rangle$, a form of which was shown by Hill and Meier to be an equivariant model for $\mathrm{tmf}_1(3)$. Our spectral sequence therefore gives a computation of the comodule algebra $H_*\mathrm{tmf}_0(3)$. As a consequence, we deduce a new ($2$-local) Wood-type splitting \[\mathrm{tmf}\wedge X\simeq \mathrm{tmf}_0(3)\] of $\mathrm{tmf}$-modules predicted by Davis and Mahowald, for $X$ a certain 10-cell complex., Comment: Comments welcome

We propose a construction of an analogue of the Hill-Hopkins-Ravenel relative norm $N_{H}^{G}$ in the context of a positive dimensional compact Lie group $G$ and closed subgroup $H$. We explore expected properties of the construction. We show that in the case when $G$ is the circle group (the unit complex numbers), the proposed construction here agrees with the relative norm constructed by Angeltveit, Gerhardt, Lawson, and the authors using the cyclic bar construction. Our construction is based on a new perspective on equivariant factorization homology, using framings to convert from actions of one group to another.

We count the number of compatible pairs of indexing systems for the cyclic group $C_{p^n}$. Building on work of Balchin--Barnes--Roitzheim, we show that this sequence of natural numbers is another family of Fuss--Catalan numbers. We count this two different ways: showing how the conditions of compatibility give natural recursive formulas for the number of admissible sets and using an enumeration of ways to extend indexing systems by conceptually simpler pieces., Comment: 19 pages. Comments welcome!

In this paper, we investigate equivariant quotients of the Real bordism spectrum's multiplicative norm $MU^{((C_{2^n}))}$ by permutation summands. These quotients are of interest because of their close relationship with higher real $K$-theories. We introduce new techniques for computing the equivariant homotopy groups of such quotients. As a new example, we examine the theories $BP^{((C_{2^n}))}\langle m,m\rangle$. These spectra serve as natural equivariant generalizations of connective integral Morava $K$-theories. We provide a complete computation of the $a_{\sigma}$-localized slice spectral sequence of $i^*_{C_{2^{n-1}}}BP^{((C_{2^n}))}\langle m,m\rangle$, where $\sigma$ is the real sign representation of $C_{2^{n-1}}$. To achieve this computation, we establish a correspondence between this localized slice spectral sequence and the $H\mathbb{F}_2$-based Adams spectral sequence in the category of $H\mathbb{F}_2 \wedge H\mathbb{F}_2$-modules. Furthermore, we provide a full computation of the $a_{\lambda}$-localized slice spectral sequence of the height-4 theory $BP^{((C_{4}))}\langle 2,2\rangle$. The $C_4$-slice spectral sequence can be entirely recovered from this computation., Comment: Improved exposition. 56 pages, 15 figures

We perform Hochschild homology calculations in the algebro-geometric setting of motives. The motivic Hochschild homology coefficient ring contains torsion classes which arise from the mod-$p$ motivic Steenrod algebra and from generating functions on the natural numbers with finite non-empty support. Under the Betti realization, we recover B\"okstedt's calculation of the topological Hochschild homology of finite prime fields., Comment: 27 pages, 2 figures; comments welcome!

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., Comment: 52 pages including references. Comments welcome

We prove a general result that relates certain pushouts of $E_k$-algebras to relative tensors over $E_{k+1}$-algebras. Specializations include a number of established results on classifying spaces, resolutions of modules, and (co)homology theories for ring spectra. The main results apply when the category in question has centralizers. Among our applications, we show that certain quotients of the dual Steenrod algebra are realized as associative algebras over $HF_p \wedge HF_p$ by attaching single $E_1$-algebra relation, generalizing previous work at the prime $2$. We also construct a filtered $E_2$-algebra structure on the sphere spectrum, and the resulting spectral sequence for the stable homotopy groups of spheres has $E_1$-term isomorphic to a regrading of the $E_1$-term of the May spectral sequence., Comment: 26 pages, comments welcome

Free algebras are always free as modules over the base ring in classical algebra. In equivariant algebra, free incomplete Tambara functors play the role of free algebras and Mackey functors play the role of modules. Surprisingly, free incomplete Tambara functors often fail to be free as Mackey functors. In this paper, we determine for all finite groups conditions under which a free incomplete Tambara functor is free as a Mackey functor. For solvable groups, we show that a free incomplete Tambara functor is flat as a Mackey functor precisely when these conditions hold. Our results imply that free incomplete Tambara functors are almost never flat as Mackey functors. However, we show that after suitable localizations, free incomplete Tambara functors are always free as Mackey functors., Comment: V2: added section 6.1 on the restriction functor V3: Updated according to referee report. Accepted version, to appear in IMRN

For an equivariant commutative ring spectrum $R$, $\pi_0 R$ has algebraic structure reflecting the presence of both additive transfers and multiplicative norms. The additive structure gives rise to a Mackey functor and the multiplicative structure yields the additional structure of a Tambara functor. If $R$ is an $N_\infty$ ring spectrum in the category of genuine $G$-spectra, then all possible additive transfers are present and $\pi_0 R$ has the structure of an incomplete Tambara functor. However, if $R$ is an $N_\infty$ ring spectrum in a category of incomplete $G$-spectra, the situation is more subtle. In this paper, we study the algebraic theory of Tambara structures on incomplete Mackey functors, which we call bi-incomplete Tambara functors. Just as incomplete Tambara functors have compatibility conditions that control which systems of norms are possible, bi-incomplete Tambara functors have algebraic constraints arising from the possible interactions of transfers and norms. We give a complete description of the possible interactions between the additive and multiplicative structures.

We study modules over the commutative ring spectrum $H\mathbb F_2\wedge H\mathbb F_2$, whose coefficient groups are quotients of the dual Steenrod algebra by collections of the Milnor generators. We show that very few of these quotients admit algebra structures, but those that do can be constructed simply: killing a generator $\xi_k$ in the category of associative algebras freely kills the higher generators $\xi_{k+n}$. Using new information about the conjugation operation in the dual Steenrod algebra, we also consider quotients by families of Milnor generators and their conjugates. This allows us to produce a family of associative $H\mathbb F_2\wedge H\mathbb F_2$-algebras whose coefficient rings are finite-dimensional and exhibit unexpected duality features. We then use these algebras to give detailed computations of the homotopy groups of several modules over this ring spectrum.

We show a number of Toda brackets in the homotopy of the motivic bordism spectrum $MGL$ and of the Real bordism spectrum $MU_{\mathbb R}$. These brackets are "red-shifting" in the sense that while the terms in the bracket will be of some chromatic height $n$, the bracket itself will be of chromatic height $(n+1)$. Using these, we deduce a family of exotic multiplications in the $\pi_{(\ast,\ast)}MGL$-module structure of the motivic Morava $K$-theories, including non-trivial multiplications by $2$. These in turn imply the analogous family of exotic multiplications in the $\pi_{\star}MU_\mathbb R$-module structure on the Real Morava $K$-theories.

We study certain formal group laws equipped with an action of the cyclic group of order a power of $2$. We construct $C_{2^n}$-equivariant Real oriented models of Lubin-Tate spectra $E_h$ at heights $h=2^{n-1}m$ and give explicit formulas of the $C_{2^n}$-action on their coefficient rings. Our construction utilizes equivariant formal group laws associated with the norms of the Real bordism theory $MU_{\mathbb{R}}$, and our work examines the height of the formal group laws of the Hill-Hopkins-Ravenel norms of $MU_{\mathbb{R}}$., Comment: Minor changes. Accepted version

We introduce a notion of freeness for $RO$-graded equivariant generalized homology theories, considering spaces or spectra $E$ such that the $R$-homology of $E$ splits as a wedge of the $R$-homology of induced virtual representation spheres. The full subcategory of these spectra is closed under all of the basic equivariant operations, and this greatly simplifies computation. Many examples of spectra and homology theories are included along the way. We refine this to a collection of spectra analogous to the pure and isotropic spectra considered by Hill--Hopkins--Ravenel. For these spectra, the $RO$-graded Bredon homology is extremely easy to compute, and if these spaces have additional structure, then this can also be easily determined. In particular, the homology of a space with this property naturally has the structure of a co-Tambara functor (and compatibly with any additional product structure). We work this out in the example of $BU_{\mathbb R}$ and coinduced versions of this. We finish by describing a readily computable bar and twisted bar spectra sequence, giving Bredon homology for various $E_{\infty}$ pushouts, and we apply this to describe the homology of $BBU_{\mathbb R}$., Comment: Version 2. Expanded introduction and exposition in many sections. Added several additional computations. Accepted for publication by the Journal of Topology

In this paper, we construct incomplete versions of the equivariant stable category; i.e., equivariant stabilization of the category of $G$-spaces with respect to incomplete systems of transfers encoded by an $N_\infty$ operad $\mathcal{O}$. These categories are built from the categories of $\mathcal{O}$-algebras in $G$-spaces. Using this operadic formulation, we establish incomplete versions of the usual structural properties of the equivariant stable category, notably the tom Dieck splitting. Our work is motivated in part by the examples arising from the equivariant units and Picard space functors.

We compute the Picard group of the category of $K(2)$-local module spectra over the ring spectrum $E^{hC_4}$, where $E$ is a height 2 Morava $E$-theory and $C_4$ is a subgroup of the associated Morava stabilizer group. This group can be identified with the Picard group of $K(2)$-local $E$-modules in genuine $C_4$-spectra. We show that in addition to a cyclic subgroup of order 32 generated by $ E\wedge S^1$ the Picard group contains a subgroup of order 2 generated by $E\wedge S^{7+\sigma}$, where $\sigma$ is the sign representation of the group $C_4$. In the process, we completely compute the $RO(C_4)$-graded Mackey functor homotopy fixed point spectral sequence for the $C_4$-spectrum $E$.

We completely compute the slice spectral sequence of the $C_4$-spectrum $BP^{((C_4))}\langle 2 \rangle$. After periodization and $K(4)$-localization, this spectrum is equivalent to a height-4 Lubin-Tate theory $E_4$ with $C_4$-action induced from the Goerss-Hopkins-Miller theorem. In particular, our computation shows that $E_4^{hC_{12}}$ is 384-periodic., Comment: 111 pages, 45 figures. To appear in Memoirs of the American Mathematical Society

We introduce a computationally tractable way to describe the $\mathbb Z$-homotopy fixed points of a $C_{n}$-spectrum $E$, producing a genuine $C_{n}$ spectrum $E^{hn\mathbb Z}$ whose fixed and homotopy fixed points agree and are the $\mathbb Z$-homotopy fixed points of $E$. These form a piece of a contravariant functor from the divisor poset of $n$ to genuine $C_{n}$-spectra, and when $E$ is an $N_{\infty}$-ring spectrum, this functor lifts to a functor of $N_{\infty}$-ring spectra. For spectra like the Real Johnson--Wilson theories or the norms of Real bordism, the slice spectral sequence provides a way to easily compute the $RO(G)$-graded homotopy groups of the spectrum $E^{hn\mathbb Z}$, giving the homotopy groups of the $\mathbb Z$-homotopy fixed points. For the more general spectra in the contravariant functor, the slice spectral sequences interpolate between the one for the norm of Real bordism and the especially simple $\mathbb Z$-homotopy fixed point case, giving us a family of new tools to simplify slice computations., Comment: 19 pages, 1 figure, comments welcome!

This is the first part in a series of papers establishing an equivariant analogue of Steve Wilson's theory of even spaces, including the fact that the spaces in the loop spectrum for complex cobordism are even., Comment: 41 pages, 2 figures

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\"unneth 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., Comment: Minor revisions. Published version

For $N_\infty$ operads $\mathcal O$ and $\mathcal O'$ such that there is an inclusion of the associated indexing systems, there is a forgetful functor from incomplete Tambara functors over $\mathcal O'$ to incomplete Tambara functors over $\mathcal O$. Roughly speaking, this functor forgets the norms in $\mathcal O'$ that are not present in $\mathcal O$. The forgetful functor has both a left and a right adjoint; the left adjoint is an operadic tensor product, but the right adjoint is more mysterious. We explicitly compute the right adjoint for finite cyclic groups of prime order., Comment: Updated the exposition based on the helpful comments of a referee

We describe the structure present in algebras over the little disks operads for various representations of a finite group $G$, including those that are not necessarily universe or that do not contain trivial summands. We then spell out in more detail what happens for $G=C_{2}$, describing the structure on algebras over the little disks operad for the sign representation. Here we can also describe the resulting structure in Bredon homology. Finally, we produce a stable splitting of coinduced spaces analogous to the stable splitting of the product, and we use this to determine the homology of the signed James construction.

We compute the cohomology of the subalgebra $A^{C_2}(1)$ of the $C_2$-equivariant Steenrod algebra $A^{C_2}$. This serves as the input to the $C_2$-equivariant Adams spectral sequence converging to the $RO(C_2)$-graded homotopy groups of an equivariant spectrum $ko_{C_2}$. Our approach is to use simpler $\mathbb{C}$-motivic and $\mathbb{R}$-motivic calculations as stepping stones., Comment: 57 pages. Final version. To appear in the Tunisian Journal of Mathematics

Building off of the work of Kervaire and Milnor, and Hill, Hopkins, and Ravenel, Xu and Wang showed that the only odd dimensions n for which S^n has a unique differentiable structure are 1, 3, 5, and 61. We show that the only even dimensions below 140 for which S^n has a unique differentiable structure are 2, 6, 12, 56, and perhaps 4., Comment: 52 pages. Revised version includes some additional recommendations of referee

In this paper, we study the extent to which Bousfield and finite localizations relative to a thick subcategory of equivariant finite spectra preserve various kinds of highly structured multiplications. Along the way, we describe some basic, useful results for analyzing categories of acyclics in equivariant spectra, and we show that Bousfield localization with respect to an ordinary spectrum (viewed as an equivariant spectrum with trivial action) always preserves equivariant commutative ring spectra.

This paper provides a new way to understand the equivariant slice filtration. We give a new, readily checked condition for determining when a $G$-spectrum is slice $n$-connective. In particular, we show that a $G$-spectrum is slice greater than or equal to $n$ if and only if for all subgroups $H$, the $H$-geometric fixed points are $(n/|H|-1)$-connected. We use this to determine when smashing with a virtual representation sphere $S^V$ induces an equivalence between various slice categories. Using this, we give an explicit formula for the slices for an arbitrary $C_p$-spectrum and show how a very small number of functors determine all of the slices for $C_{p^n}$-spectra., Comment: Final version, to appear in Proceedings of the AMS

We lift to equivariant algebra three closely related classical algebraic concepts: abelian group objects in augmented commutative algebras, derivations, and K\"ahler differentials. We define Mackey functor objects in the category of Tambara functors augmented to a fixed Tambara functor $\underline{R}$, and we show that the usual square-zero extension gives an equivalence of categories between these Mackey functor objects and ordinary modules over $\underline{R}$. We then describe the natural generalization to Tambara functors of a derivation, building on the intuition that a Tambara functor has products twisted by arbitrary finite $G$-sets, and we connect this to square-zero extensions in the expected way. Finally, we show that there is an appropriate form of K\"ahler differentials which satisfy the classical relation that derivations out of $\underline{R}$ are the same as maps out of the K\"ahler differentials.

Building on structure observed in equivariant homotopy theory, we define an equivariant generalization of a symmetric monoidal category: a $G$-symmetric monoidal category. These record not only the symmetric monoidal products but also symmetric monoidal powers indexed by arbitrary finite $G$-sets. We then define $G$-commutative monoids to be the natural extension of ordinary commutative monoids to this new context. Using this machinery, we then describe when Bousfield localization in equivariant spectra preserves certain operadic algebra structures, and we explore the consequences of our definitions for categories of modules over a $G$-commutative monoid., Comment: 23 pages

For a "genuine" equivariant commutative ring spectrum $R$, $\pi_0(R)$ admits a rich algebraic structure known as a Tambara functor. This algebraic structure mirrors the structure on $R$ arising from the existence of multiplicative norm maps. Motivated by the surprising fact that Bousfield localization can destroy some of the norm maps, in previous work we studied equivariant commutative ring structures parametrized by $N_\infty$ operads. In a precise sense, these interpolate between "naive" and "genuine" equivariant ring structures. In this paper, we describe the algebraic analogue of $N_\infty$ ring structures. We introduce and study categories of incomplete Tambara functors, described in terms of certain categories of bispans. Incomplete Tambara functors arise as $\pi_0$ of $N_\infty$ algebras, and interpolate between Green functors and Tambara functors. We classify all incomplete Tambara functors in terms of a basic structural result about polynomial functors. This classification gives a conceptual justification for our prior description of $N_\infty$ operads and also allows us to easily describe the properties of the category of incomplete Tambara functors.

We describe the multiplicative structures that arise on categories of equivariant modules over certain equivariant commutative ring spectra. Building on our previous work on N-infinity ring spectra, we construct categories of equivariant operadic modules over N-infinity rings that are structured by equivariant linear isometries operads. These categories of modules are endowed with equivariant symmetric monoidal structures, which amounts to the structure of an "incomplete Mackey functor in homotopical categories". In particular, we construct internal norms which satisfy the double coset formula. We regard the work of this paper as a first step towards equivariant derived algebraic geometry., Comment: Revised to include appendix on compact Lie groups, reflect referee comments

We study the slice filtration and associated spectral sequence for a family of $RO(C_{p^{n}})$-graded suspensions of the Eilenberg-MacLane spectrum for the constant Mackey functor $\underline{\mathbb Z}$. Since $H\underline{\mathbb Z}$ is the zero slice of the sphere spectrum, this begins an analysis of how one can describe the slices of a suspension in terms of the original slices., Comment: 25 pages, 3 figures, comments welcome!

For all subgroups $H$ of a cyclic $p$-group $G$ we define norm functors that build a $G$-Mackey functor from an $H$-Mackey functor. We give an explicit construction of these functors in terms of generators and relations based solely on the intrinsic, algebraic properties of Mackey functors and Tambara functors. We use these norm functors to define a monoidal structure on the category of Mackey functors where Tambara functors are the commutative ring objects.

We explore the $C_2$-equivariant spectra $Tmf_1(3)$ and $TMF_1(3)$. In particular, we compute their $C_2$-equivariant Picard groups and the $C_2$-equivariant Anderson dual of $Tmf_1(3)$. This implies corresponding results for the fixed point spectra $TMF_0(3)$ and $Tmf_0(3)$. Furthermore, we prove a Real Landweber exact functor theorem., Comment: Final version to appear in AGT. 51 pages

We show that the cube of the Hopf map $\eta$ maps to zero under the Hurewicz map for all fixed points of all norms to cyclic $2$-groups of the Landweber-Araki Real bordism spectrum. Using that the slice spectral sequence is a spectral sequence of Mackey functors, we compute the relevant portion of the homotopy groups of these fixed points, showing that multiplication by $4$ annihilates $\pi_{3}$.

We describe the slice spectral sequence of a 32-periodic $C_{4}$-spectrum $K_{[2]}$ related to the $C_{4}$ norm ${N_{C_{2}}^{C_{4}}MU_{\bf R}}$ of the real cobordism spectrum $MU_{\bf R}$. We will give it as a spectral sequence of Mackey functors converging to the graded Mackey functor $\underline{\pi }_{*}K_{[2]}$, complete with differentials and exotic extensions in the Mackey functor structure. The slice spectral sequence for the 8-periodic real $K$-theory spectrum $K_{\bf R}$ was first analyzed by Dugger. The $C_{8}$ analog of $K_{[2]}$ is 256-periodic and detects the Kervaire invariant classes $\theta_{j}$ in the stable homotopy groups of spheres. A partial analysis of its slice spectral sequence led to the solution to the Kervaire invariant problem, namely the theorem that $\theta_{j}$ does not exist for $j\geq 7$., Comment: 82 pages, 4 tables and 17 figures, some using color

The cohomology theory known as Tmf, for "topological modular forms," is a universal object mapping out to elliptic cohomology theories, and its coefficient ring is closely connected to the classical ring of modular forms. We extend this to a functorial family of objects corresponding to elliptic curves with level structure and modular forms on them. Along the way, we produce a natural way to restrict to the cusps, providing multiplicative maps from Tmf with level structure to forms of K-theory. In particular, this allows us to construct a connective spectrum tmf_0(3) consistent with properties suggested by Mahowald and Rezk. This is accomplished using the machinery of logarithmic structures. We construct a sheaf of locally even-periodic elliptic cohomology theories, equipped with highly structured multiplication, on the log-\'etale site of the moduli of elliptic curves. Evaluating this sheaf on modular curves produces Tmf with level structure., Comment: 53 pages. Heavily revised, including the addition of a new section on background tools from homotopy theory

We study homotopy-coherent commutative multiplicative structures on equivariant spaces and spectra. We define N-infinity operads, equivariant generalizations of E-infinity operads. Algebras in equivariant spectra over an N-infinity operad model homotopically commutative equivariant ring spectra that only admit certain collections of Hill-Hopkins-Ravenel norms, determined by the operad. Analogously, algebras in equivariant spaces over an N-infinity operad provide explicit constructions of certain transfers. This characterization yields a conceptual explanation of the structure of equivariant infinite loop spaces. To explain the relationship between norms, transfers, and N-infinity operads, we discuss the general features of these operads, linking their properties to families of finite sets with group actions and analyzing their behavior under norms and geometric fixed points. A surprising consequence of our study is that in stark contract to the classical setting, equivariantly the little disks and linear isometries operads for a general universe $U$ need not determine the same algebras. Our work is motivated by the need to provide a framework to describe the flavors of commutativity seen in recent work of the second author and Hopkins on localization of equivariant commutative ring spectra., Comment: Revised in response to referee's comments

This paper describes an issue that arises when inverting elements of the homotopy groups of an equivariant commutative ring. Equivariant commutative rings possess an enhanced multiplicative structure arising from the presence of "indexed products" (products indexed by a set with a non-trivial action of the group). The formation of the "multiplicative closure" of a set must be altered in order to accomodate this structure, and the result of localizing an equivariant commutative ring can have an unexpected homotopy type., Comment: 16 pages, 2 figures

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., Comment: Submission version

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., Comment: 17 pages

We present an introduction to the equivariant slice filtration. After reviewing the definitions and basic properties, we determine the slice dimension of various families of naturally arising spectra. This leads to an analysis of pullbacks of slices defined on quotient groups, producing new collections of slices. Building on this, we determine the slice tower for the Eilenberg-Mac Lane spectrum associated to a Mackey functor for a cyclic $p$-group. We then relate the Postnikov tower to the slice tower for various spectra. Finally, we pose a few conjectures about the nature of slices and pullbacks., Comment: 21 pages; strengthened the main theorems in the paper and updated references

We show that Kervaire invariant one elements in the homotopy groups of spheres exist only in dimensions at most 126. By Browder's Theorem, this means that smooth framed manifolds of Kervaire invariant one exist only in dimensions 2, 6, 14, 30, 62, and possibly 126. With the exception of dimension 126 this resolves a longstanding problem in algebraic topology., Comment: Revised with some typos corrected, references and clarifying minro comments added.. 221 pages

We present a descent style, Bockstein spectral sequence computing Ext over the motivic Steenrod algebra over $\R$ and related sub-Hopf algebras. We demonstrate the workings of this spectral sequence in several examples, providing motivic analogues to the classical computations related to BP and ko., Comment: 14 pages, 4 figures

We compute the homotopy groups of spectra associated by a theorem of Lurie to the Shimura curves of discriminants 6, 10, and 14, beginning with a computation of integral rings of automorphic forms on these curves. As an application, we find that a generalized truncated Brown-Peterson spectrum BP<2> is an E_\infty ring spectrum at the prime 3., Comment: 46 pages, 3 figures. Updated version

We apply an announced result of Blumberg-Cohen-Schlichtkrull to reprove (under restricted hypotheses) a theorem of Mahowald: the connective real and complex K-theory spectra are not Thom spectra., Comment: 9 pages, 7 figures

We observe that the Poincare duality isomorphism for a string manifold is an isomorphism of modules over the subalgebra A(2) of the modulo 2 Steenrod algebra. In particular, the pattern of the operations Sq^1, Sq^2, and Sq^4 on the cohomology of a string manifold has a symmetry around the middle dimension. We characterize this kind of cohomology operation duality in term of the annihilator of the Thom class of the negative tangent bundle, and in terms of the vanishing of top-degree cohomology operations. We also indicate how the existence of such an operation-preserving duality implies the integrality of certain polynomials in the Pontryagin classes of the manifold.

We compute the 5-local cohomology of a 5-local analogue of the Weierstrass Hopf algebroid used to compute $tmf$ homology. We compute the Adams-Novikov differentials in the cohomology, giving the homotopy, V(0)-homology, and V(1)-homology of the putative spectrum $eo_4$. We also link this computation to the homotopy of the higher real $K$-theory spectrum $EO_4$., Comment: 15 pages, 7 figures

We compute the low dimensional String bordism groups of $BE_8$ and $BE_8\times BE_8$ using a combination of Adams spectral sequences together with comparisons to the Spin bordism cases., Comment: 16 pages, 7 figures

Let M(1) be the mod 2 Moore spectrum. J.F. Adams proved that M(1) admits a minimal v_1-self map v_1^4: Sigma^8 M(1) -> M(1). Let M(1,4) be the cofiber of this self-map. The purpose of this paper is to prove that M(1,4) admits a minimal v_2-self map of the form v_2^32: Sigma^192 M(1,4) -> M(1,4). The existence of this map implies the existence of many 192-periodic families of elements in the stable homotopy groups of spheres., Comment: 31 pages, 16 figures. Revised version: includes new section (section 9)explaining centrality of d_2(v_2^8) and d_3(v_2^16), and fixes an error in section 7

We calculate the integral homotopy groups of THH(l) at any prime and of THH(ko) at p=2, where l is the Adams summand of the connective complex p-local K-theory spectrum and ko is the connective real K-theory spectrum., Comment: 31 pages, 8 figures. v2: Changes made following referee suggestions. Section 7 is completely rewritten with simpler and cleaner arguments

In this paper, we introduce a Hopf algebra, developed by the author and Andre Henriques, which is usable in the computation of the tmf homology of a space. As an application, we compute the tmf homology of BSigma_3 in a manner analogous to Mahowald's computation of the ko homology RP^infty., Comment: 15 pages, 6 figures