arXiv subjects
Publications and source records attributed to Charles Rezk.
We prove a congruence criterion for the algebraic theory of power operations in Morava E-theory, analogous to Wilkerson's congruence criterion for torsion free lambda-rings. In addition, we provide a geometric description of this congruence criterion, in terms of sheaves on the moduli problem of deformations of formal groups and Frobenius isogenies.
We review and extend the theory of Thom spectra and the associated obstruction theory for orientations. We recall (from May, Quinn, and Ray) that a commutative ring spectrum A has a spectrum of units gl(A). To a map of spectra f: b -> bgl(A), we associate a commutative A-algebra Thom spectrum Mf, which admits a commutative A-algebra map to R if and only if b -> bgl(A) -> bgl(R) is null. If A is an associative ring spectrum, then to a map of spaces f: B -> BGL(A) we associate an A-module Thom spectrum Mf, which admits an R-orientation if and only if B -> BGL(A) -> BGL(R) is null. We also note that BGL(A) classifies the twists of A-theory. We develop and compare two approaches to the theory of Thom spectra. The first involves a rigidified model of A-infinity and E-infinity spaces. Our second approach is via infinity categories. In order to compare these approaches to one another and to the classical theory, we characterize the Thom spectrum functor from the perspective of Morita theory.
We describe and compute the homotopy of spectra of topological modular forms of level 3. We give some computations related to the "building complex" associated to level 3 structures at the prime 2. Finally, we note the existence of a number of connective models of the spectrum TMF(Gamma_0(3)).
Explicit calculations of the algebraic theory of power operations for a specific Morava E-theory spectrum are given, without detailed proofs.
We construct a ``logarithmic'' cohomology operation on Morava E-theory, which is a homomorphism defined on the multiplicative group of invertible elements in the ring E^0(K) of a space K. We obtain a formula for this map in terms of the action of Hecke operators on Morava E-theory. Our formula is closely related to that for an Euler factor of the Hecke L-function of an automorphic form.
We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categories satisfying a certain axiom are Quillen equivalent to simplicial model categories. A simplicial model category provides higher order structure such as composable mapping spaces and homotopy colimits. We also show that certain homotopy invariant functors can be replaced by weakly equivalent simplicial, or `continuous', functors. This is used to show that if a simplicial model category structure exists on a model category then it is unique up to simplicial Quillen equivalence.
We show that any closed model category of simplicial algebras over an algebraic theory is Quillen equivalent to a proper closed model category. By ``simplicial algebra'' we mean any category of algebras over a simplicial algebraic theory, which is allowed to be multi-sorted. The results have applications to the construction of localization model category structures.
We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, ``functors between two homotopy theories form a homotopy theory'', or more precisely that the category of such models has a well-behaved internal hom-object.
We show that homotopy pullbacks of sheaves of simplicial sets over a Grothendieck topology distribute over homotopy colimits; this generalizes a result of Puppe about topological spaces. In addition, we show that inverse image functors between categories of simplicial sheaves preserve homotopy pullback squares. The method we use introduces the notion of a sharp map, which is analogous to the notion of a quasi-fibration of spaces, and seems to be of independent interest.