On the Whitehead spectrum of the circle

The seminal work of Waldhausen, Farrell and Jones, Igusa, and Weiss and Williams shows that the homotopy groups in low degrees of the space of homeomorphisms of a closed Riemannian manifold of negative sectional curvature can be expressed as a functor of the fundamental group of the manifold. To determine this functor, however, it remains to determine the homotopy groups of the topological Whitehead spectrum of the circle. The cyclotomic trace of B okstedt, Hsiang, and Madsen and a theorem of Dundas, in turn, lead to an expression for these homotopy groups in terms of the equivariant homotopy groups of the homotopy fiber of the map from the topological Hochschild T-spectrum of the sphere spectrum to that of the ring of integers induced by the Hurewicz map. We evaluate the latter homotopy groups, and hence, the homotopy groups of the topological Whitehead spectrum of the circle in low degrees. The result extends earlier work by Anderson and Hsiang and by Igusa and complements recent work by Grunewald, Klein, and Macko.Comment: 52 page

Parameter robust preconditioning by congruence for multiple-network poroelasticity

The mechanical behaviour of a poroelastic medium permeated by multiple interacting fluid networks can be described by a system of time-dependent partial differential equations known as the multiple-network poroelasticity (MPET) equations or multi-porosity/multi-permeability systems. These equations generalize Biot's equations, which describe the mechanics of the one-network case. The efficient numerical solution of the MPET equations is challenging, in part due to the complexity of the system and in part due to the presence of interacting parameter regimes. In this paper, we present a new strategy for efficiently and robustly solving the MPET equations numerically. In particular, we introduce a new approach to formulating finite element methods and associated preconditioners for the MPET equations. The approach is based on designing transformations of variables that simultaneously diagonalize (by congruence) the equations' key operators and subsequently constructing parameter-robust block-diagonal preconditioners for the transformed system. Our methodology is supported by theoretical considerations as well as by numerical results

Galois theory and Lubin-Tate cochains on classifying spaces

We consider brave new cochain extensions F(BG +,R) → 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 some good cases such an extension is a G-Galois extension in the sense of John Rognes, but not always faithful. We prove that for E n and K n these extensions are always faithful in the K n local category. However, for a cyclic p-group C p r, the cochain extension F(BC p r +,E n ) → F(EC p r +, E n ) is not a Galois extension because it ramifies. As a consequence, it follows that the E n -theory Eilenberg-Moore spectral sequence for G and BG does not always converge to its expected target

On the algebraic K-theory of the complex K-theory spectrum

Let p>3 be a prime, let ku be the connective complex K-theory spectrum, and let K(ku) be the algebraic K-theory spectrum of ku. We study the p-primary homotopy type of the spectrum K(ku) by computing its mod (p,v_1) homotopy groups. We show that up to a finite summand, these groups form a finitely generated free module over a polynomial algebra F_p[b], where b is a class of degree 2p+2 defined as a higher Bott element.Comment: Revised and expanded version, 42 pages

Topological Andr\'e-Quillen homology for cellular commutative SS-algebras

Topological Andr\'e-Quillen homology for commutative $S$-algebras was introduced by Basterra following work of Kriz, and has been intensively studied by several authors. In this paper we discuss it as a homology theory on CW $S$-algebras and apply it to obtain results on minimal atomic $p$-local $S$-algebras which generalise those of Baker and May for $p$-local spectra and simply connected spaces. We exhibit some new examples of minimal atomic $S$-algebras.Comment: Final revision, a version will appear in Abhandlungen aus dem Mathematischen Seminar der Universitaet Hambur