Source author record

Andrew Baker

Andrew Baker appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

17works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2021arXiv

On the dual of a $P$-algebra and its comodules, with applications to comparison of some Bousfield classes

In his seminal work on localisation of spectra, Ravenel initiated the study of Bousfield classes of spectra related to the chromatic perspective. In particular he showed that there were infinitely many distinct Bousfield classes between $\langle MU\rangle$ and $\langle S^0\rangle$. The main topological goal of this paper is investigate how these Bousfield classes are related to that of another classical Thom spectrum $MSp$, and in particular how $\langle MSp\rangle$ is related to $\langle MU\rangle$. We follow the approach of Ravenel, but adapt it using the theory of $P$-algebras to give vanishing results for cohomology. Our work involves dualising and considering comodules over duals of $P$-algebras; these ideas are then applied to the mod~$2$ Steenrod algebra and certain subHopf algebras.

preprint2019arXiv

The realizability of some finite-length modules over the Steenrod algebra by spaces

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 condition of modules over the Steenrod algebra permits. This continues and concludes prior work by the first author and yields a complete characterization of which versions of Jokers are realizable by spaces or spectra and which are not. The constructions involve sporadic phenomena in homotopy theory ($2$-compact groups, topological modular forms) and may be of independent interest.

preprint2014arXiv

$MSp$ localized away from $2$ and odd formal group laws

We investigate the relationship between complex and symplectic cobordism localized away from the prime~$2$ and show that these theories are related much as a real Lie group is related to its complexification. This suggests that ideas from the theory of symmetric spaces might be used to illuminate these subjects. In particular, we give an explicit equivalence of ring spectra \[ MSp[1/2]\wedge Sp/U_+\simeq MU[1/2] \] and deduce that $MU[1/2]$ is a wedge of copies of $MSp[1/2]$. We discuss the implications for the structure of the stable operation algebra $MSp[1/2]^*MSp[1/2]$ and the dual cooperation algebra $MSp[1/2]_*MSp[1/2]$. Finally we describe some related Witt vector algebra and apply our results to the study of formal involutions on the category of formal group laws over a $\mathbb{Z}[1/2]$-algebra.

preprint2014arXiv

Power operations and coactions in highly commutative homology theories

Power operations in the homology of infinite loop spaces, and $H_\infty$ or $E_\infty$ ring spectra have a long history in Algebraic Topology. In the case of ordinary mod p homology for a prime p, the power operations of Kudo, Araki, Dyer and Lashof interact with Steenrod operations via the Nishida relations, but for many purposes this leads to complicated calculations once iterated applications of these functions are required.On the other hand, the homology coaction turns out to provide tractable formulae better suited to exploiting multiplicative structure. We show how to derive suitable formulae for the interaction between power operations and homology coactions in a wide class of examples; our approach makes crucial use of modern frameworks for spectra with well behaved smash products. In the case of mod $p$ homology, our formulae extend those of Bisson and Joyal to odd primes. We also show how to exploit our results in sample calculations, and produce some apparently new formulae for the Dyer-Lashof action on the dual Steenrod algebra.

preprint2013arXiv

$BP$: Close encounters of the $E_\infty$ kind

Inspired by Stewart Priddy's cellular model for the $p$-local Brown-Peterson spectrum $BP$, we give a construction of a $p$-local $E_\infty$ ring spectrum $R$ which is a close approximation to $BP$. Indeed we can show that if $BP$ admits an $E_\infty$ structure then these are weakly equivalent as $E_\infty$ ring spectra. Our inductive cellular construction makes use of power operations on homotopy groups to define homotopy classes which are then killed by attaching $E_\infty$ cells.

preprint2013arXiv

Some properties of the Thom spectrum over loop suspension of complex projective space

This note provides a reference for some properties of the Thom spectrum $Mξ$ over $ΩΣ\CPi$. Some of this material is used in recent work of Kitchloo and Morava. We determine the $Mξ$-cohomology of $\CPi$ and show that $Mξ^*(\CPi)$ injects into power series over the algebra of non-symmetric functions. We show that $Mξ$ gives rise to a commutative formal group law over the non-commutative ring $π_*Mξ$. We also discuss how $Mξ$ and some real and quaternionic analogues behave with respect to spectra that are related to these Thom spectra by splittings and by maps.

preprint2012arXiv

Brauer groups for commutative $S$-algebras

We investigate a notion of Azumaya algebras in the context of structured ring spectra and give a definition of Brauer groups. We investigate their Galois theoretic properties, and discuss examples of Azumaya algebras arising from Galois descent and cyclic algebras. We construct examples that are related to topological Hochschild cohomology of group ring spectra and we present a K(n)-local variant of the notion of Brauer groups.

preprint2012arXiv

On the cohomology of loop spaces for some Thom spaces

In this paper we identify conditions under which the cohomology $H^*(ΩMξ;\k)$ for the loop space $ΩMξ$ of the Thom space $Mξ$ of a spherical fibration $ξ\downarrow B$ can be a polynomial ring. We use the Eilenberg-Moore spectral sequence which has a particularly simple form when the Euler class $e(ξ)\in H^n(B;\k)$ vanishes, or equivalently when an orientation class for the Thom space has trivial square. As a consequence of our homological calculations we are able to show that the suspension spectrum $Σ^\inftyΩMξ$ has a local splitting replacing the James splitting of $ΣΩMξ$ when $Mξ$ is a suspension.

preprint2011arXiv

Some properties of Lubin-Tate cohomology for classifying spaces of finite groups

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 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) \to F({EC_{p^r}}_+,E_n)$ is not a Galois extensions 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.

preprint2010arXiv

Intense Star Formation within Resolved Compact Regions in a Galaxy at z=2.3

Massive galaxies in the early Universe have been shown to be forming stars at surprisingly high rates. Prominent examples are dust-obscured galaxies which are luminous when observed at sub-millimeter (sub-mm) wavelengths and which may be forming stars at rates upto 1,000Mo/yr. These intense bursts of star formation are believed to be driven by mergers between gas rich galaxies. However, probing the properties of individual star-forming regions within these galaxies is beyond the spatial resolution and sensitivity of even the largest telescopes at present. Here, we report observations of the sub-mm galaxy SMMJ2135-0102 at redshift z=2.3259 which has been gravitationally magnified by a factor of 32 by a massive foreground galaxy cluster lens. This cosmic magnification, when combined with high-resolution sub-mm imaging, resolves the star-forming regions at a linear scale of just ~100 parsecs. We find that the luminosity densities of these star-forming regions are comparable to the dense cores of giant molecular clouds in the local Universe, but they are ~100x larger and 10^7 times more luminous. Although vigorously star-forming, the underlying physics of the star formation processes at z~2 appears to be similar to that seen in local galaxies even though the energetics are unlike anything found in the present-day Universe.

preprint2010arXiv

The Herschel-SPIRE Legacy Survey (HSLS): the scientific goals of a shallow and wide submillimeter imaging survey with SPIRE

A large sub-mm survey with Herschel will enable many exciting science opportunities, especially in an era of wide-field optical and radio surveys and high resolution cosmic microwave background experiments. The Herschel-SPIRE Legacy Survey (HSLS), will lead to imaging data over 4000 sq. degrees at 250, 350, and 500 micron. Major Goals of HSLS are: (a) produce a catalog of 2.5 to 3 million galaxies down to 26, 27 and 33 mJy (50% completeness; 5 sigma confusion noise) at 250, 350 and 500 micron, respectively, in the southern hemisphere (3000 sq. degrees) and in an equatorial strip (1000 sq. degrees), areas which have extensive multi-wavelength coverage and are easily accessible from ALMA. Two thirds of the of the sources are expected to be at z > 1, one third at z > 2 and about a 1000 at z > 5. (b) Remove point source confusion in secondary anisotropy studies with Planck and ground-based CMB data. (c) Find at least 1200 strongly lensed bright sub-mm sources leading to a 2% test of general relativity. (d) Identify 200 proto-cluster regions at z of 2 and perform an unbiased study of the environmental dependence of star formation. (e) Perform an unbiased survey for star formation and dust at high Galactic latitude and make a census of debris disks and dust around AGB stars and white dwarfs.

preprint2007arXiv

Quasisymmetric functions from a topological point of view

It is well-known that the homology of the classifying space of the unitary group is isomorphic to the ring of symmetric functions, Symm. We offer the cohomology of the loop space of the suspension of the infinite complex projective space as a topological model for the ring of quasisymmetric functions, QSymm. We exploit standard results from topology to shed light on some of the algebraic properties of QSymm. In particular, we reprove the Ditters conjecture. We investigate a product on the loop space that gives rise to an algebraic structure which generalizes the Witt vector structure in the cohomology of BU. The canonical Thom spectrum over the loops on the suspension of BU(1) is highly non-commutative and we study some of its features, including the homology of its topological Hochschild homology spectrum.

preprint2004arXiv

Topological Hochschild cohomology and generalized Morita equivalence

We explore two constructions in homotopy category with algebraic precursors in the theory of noncommutative rings and homological algebra, namely the Hochschild cohomology of ring spectra and Morita theory. The present paper provides an extension of the algebraic theory to include the case when $M$ is not necessarily a progenerator. Our approach is complementary to recent work of Dwyer and Greenlees and of Schwede and Shipley. A central notion of noncommutative ring theory related to Morita equivalence is that of central separable or Azumaya algebras. For such an Azumaya algebra A, its Hochschild cohomology HH^*(A,A) is concentrated in degree 0 and is equal to the center of A. We introduce a notion of topological Azumaya algebra and show that in the case when the ground S-algebra R is an Eilenberg-Mac Lane spectrum of a commutative ring this notion specializes to classical Azumaya algebras. A canonical example of a topological Azumaya R-algebra is the endomorphism R-algebra F_R(M,M) of a finite cell R-module. We show that the spectrum of mod 2 topological K-theory KU/2 is a nontrivial topological Azumaya algebra over the 2-adic completion of the K-theory spectrum widehat{KU}_2. This leads to the determination of THH(KU/2,KU/2), the topological Hochschild cohomology of KU/2. As far as we know this is the first calculation of THH(A,A) for a noncommutative S-algebra A.

preprint2001arXiv

On the Adams Spectral Sequence for R-modules

We discuss the Adams Spectral Sequence for R-modules based on commutative localized regular quotient ring spectra over a commutative S-algebra R in the sense of Elmendorf, Kriz, Mandell, May and Strickland. The formulation of this spectral sequence is similar to the classical case and the calculation of its E_2-term involves the cohomology of certain `brave new Hopf algebroids' E^R_*E. In working out the details we resurrect Adams' original approach to Universal Coefficient Spectral Sequences for modules over an R ring spectrum. We show that the Adams Spectral Sequence for S_R based on a commutative localized regular quotient R ring spectrum E=R/I[X^{-1}] converges to the homotopy of the E-nilpotent completion pi_*hat{L}^R_ES_R=R_*[X^{-1}]^hat_{I_*}. We also show that when the generating regular sequence of I_* is finite, hatL^R_ES_R is equivalent to L^R_ES_R, the Bousfield localization of S_R with respect to E-theory. The spectral sequence here collapses at its E_2-term but it does not have a vanishing line because of the presence of polynomial generators of positive cohomological degree. Thus only one of Bousfield's two standard convergence criteria applies here even though we have this equivalence. The details involve the construction of an I-adic tower R/I <-- R/I^2 <-- ... <-- R/I^s <-- R/I^{s+1} <-- ... whose homotopy limit is hatL^R_ES_R. We describe some examples for the motivating case R=MU.