As an extension of previous ungraded work, we define a graded $p$-polar ring to be an analog of a graded commutative ring where multiplication is only allowed on $p$-tuples (instead of pairs) of elements of equal degree. We show that the free affine
$p$-adic group scheme functor, as well as the free formal group functor, defined on $k$-algebras for a perfect field $k$ of characteristic $p$, factors through $p$-polar $k$-algebras. It follows that the same is true for any affine $p$-adic or formal group functor, in particular for the functor of $p$-typical Witt vectors. As an application, we show that the latter is free on the $p$-polar affine line.
We show that the functor of $p$-typical co-Witt vectors on commutative algebras over a perfect field $k$ of characteristic $p$ is defined on, and in fact only depends on, a weaker structure than that of a $k$-algebra. We call this structure a $p$-pol
ar $k$-algebra. By extension, the functors of points for any $p$-adic affine commutative group scheme and for any formal group are defined on, and only depend on, $p$-polar structures. In terms of abelian Hopf algebras, we show that a cofree cocommutative Hopf algebra can be defined on any $p$-polar $k$-algebra $P$, and it agrees with the cofree commutative Hopf algebra on a commutative $k$-algebra $A$ if $P$ is the $p$-polar algebra underlying $A$; a dual result holds for free commutative Hopf algebras on finite $k$-coalgebras.
The Joker is an important finite cyclic module over the mod-$2$ Steenrod algebra $mathcal A$. We show that the Joker, its first two iterated Steenrod doubles, and their linear duals are realizable by spaces of as low a dimension as the instability co
ndition of modules over the Steenrod algebra permits. This continues and concludes prior work by the first author and yields a complete characterization of whi
Unstable operations in a generalized cohomology theory E give rise to a functor from the category of algebras over E to itself which is a colimit of representable functors and a comonoid with respect to composition of such functors. In this paper I s
et up a framework to study the algebra of such functors, which I call formal plethories, in the case where $E_*$ is a Prufer ring. I show that the logarithmic functors of primitives and indecomposables give linear approximations of formal plethories by bimonoids in the 2-monoidal category of bimodules over a ring.
Given an operad A of topological spaces, we consider A-monads in a topological category C . When A is an A-infinity-operad, any A-monad K : C -> C can be thought of as a monad up to coherent homotopies. We define the completion functor with respect t
o an A-infinity-monad and prove that it is an A-infinity-monad itself.
We construct a combinatorial model of an A-infinity-operad which acts simplicially on the cobar resolution (not just its total space) of a simplicial set with respect to a ring R.
We prove that the Morava-$K$-theory-based Eilenberg-Moore spectral sequence has good convergence properties whenever the base space is a $p$-local finite Postnikov system with vanishing $(n+1)$st homotopy group.
For a compact Lie group $G$ with maximal torus $T$, Pittie and Smith showed that the flag variety $G/T$ is always a stably framed boundary. We generalize this to the category of $p$-compact groups, where the geometric argument is replaced by a homoto
py theoretic argument showing that the class in the stable homotopy groups of spheres represented by $G/T$ is trivial, even $G$-equivariantly. As an application, we consider an unstable construction of a $G$-space mimicking the adjoint representation sphere of $G$ inspired by work of the second author and Kitchloo. This construction stably and $G$-equivariantly splits off its top cell, which is then shown to be a dualizing spectrum for $G$.
This paper contains a complete computation of the homotopy ring of the spectrum of topological modular forms constructed by Hopkins and Miller. The computation is done away from 6, and at the (interesting) primes 2 and 3 separately, and in each of th
e latter two cases, a sequence of algebraic Bockstein spectral sequences is used to compute the E_2 term of the elliptic Adams-Novikov spectral sequence from the elliptic curve Hopf algebroid. In a further step, all the differentials in the latter spectral sequence are determined. The result of this computation is originally due to Hopkins and Mahowald (unpublished).
