Related papers: There aren't that many Morava E-theories

Let $G$ be a split connected reductive group over the ring of integers of a finite unramified extension $K$ of $\mathbf{Q}_p$. Under a standard assumption on the Coxeter number of $G$, we compute the cohomology algebra of $G(\mathcal{O}_K)$…

We study higher chromatic height analogues $eo_h$ of the connective real $K$-theory spectrum $ko$. We show that $eo_h$ is an fp spectrum of type $h$ in the sense of Mahowald--Rezk. We use these to study an Euler characteristic for fp…

We study the structure of the formal groups associated to the Morava $K$-theories of integral Eilenberg-Mac Lane spaces. The main result is that every formal group in the collection $\{K(n)^*K({\mathbb Z}, q), q=2,3,...\}$ for a fixed $n$…

We consider brave new cochain extensions $F(BG_+,R)\to F(EG_+,R)$, where $R$ is either a Lubin-Tate spectrum $E_n$ or the related 2-periodic Morava K-theory $K_n$, and $G$ is a finite group. When $R$ is an Eilenberg-Mac Lane spectrum, in…

Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…

We describe some periodic structure in the cohomology of the moduli stack of 1-dimensional formal group laws, also known as the $E_2$-page of the classical Adams--Novikov spectral sequence. This structure is distinct from the familiar…

This monograph introduces a framework for genuine proper equivariant stable homotopy theory for Lie groups. The adjective `proper' alludes to the feature that equivalences are tested on compact subgroups, and that the objects are built from…

Greenlees and Sadofsky showed that the classifying spaces of finite groups are self-dual with respect to Morava K-theory K(n). Their duality map was constructed using a transfer map. We generalize their duality map and prove a K(n)-version…

For any type of fundamental groupoid scheme, we construct an algebraic cohomology theory for varieties with coefficients in the base field. This is a minor variant of \'etale cohomology, involving neither de Rham complexes nor…

We show that the $\infty$-category of synthetic spectra based on Morava E-theory is generated by the bigraded spheres and identify it with the $\infty$-category of modules over a filtered ring spectrum. The latter we show using a general…

We consider Voevodsky's slice tower for a finite spectrum E in the motivic stable homotopy category over a perfect field k. In case k has finite cohomological dimension (in characteristic two, we also require that k is infinite), we show…

This article shows several new methods for proofs on Kan complexes while using them to give a compact introduction to the homotopy groups of these complexes. Then more advanced objects are studied starting with homology and the Hurewicz…

We develop the deformation theory of cohomological field theories (CohFTs), which is done as a special case of a general deformation theory of morphisms of modular operads. This leads us to introduce two new natural extensions of the notion…

Let k be an infinite perfect field. We provide a general criterion for a spectrum in the stable homotopy category over k to be effective, i.e. to be in the localizing subcategory generated by the suspension spectra of smooth schemes. As a…

In the rational cohomology of a 1-connected space a structure of $C_{\infty}$-algebra is constructed and it is shown that this object determines the rational homotopy type

Given a good homology theory E and a topological space X, the E-homology of X is not just an E_{*}-module but also a comodule over the Hopf algebroid (E_{*}, E_{*}E). We establish a framework for studying the homological algebra of…

We investigate Gamma-cohomology of some commutative cooperation algebras E_*E associated with certain periodic cohomology theories. For KU and E(1), the Adams summand at a prime p, and for KO we show that Gamma-cohomology vanishes above…

If G is a (connected) complex Lie Group and Z is a generalized flag manifold for G, the the open orbits D of a (connected) real form G_0 of G form an interesting class of complex homogeneous spaces, which play an important role in the…

We define a symmetric monoidal structure on the parametrised stable homotopy category over a base space with an action of an $E_\infty$ operad. We discuss products, orientations and push-forwards in parametrised cohomology theories…

In this paper we compute the total power operation for the Morava $E$-theory of any finite group up to torsion. Our formula is stated in terms of the $GL_n(Q_p)$-action on the Drinfeld ring of full level structures on the formal group…