Showing 1–36 of 36 results for author: Strickland, N

The spectrum of global representations for families of bounded rank and VI-modules

Authors: Miguel Barrero, Tobias Barthel, Luca Pol, Neil Strickland, Jordan Williamson

Abstract: A global representation is a compatible collection of representations of the outer automorphism groups of the finite groups belonging to a family $\mathscr{U}$. These arise in classical representation theory, in the study of representation stability, as well as in global homotopy theory. In this paper we begin a systematic study of the derived category $\mathsf{D}(\mathscr{U};k)$ of global represe… ▽ More A global representation is a compatible collection of representations of the outer automorphism groups of the finite groups belonging to a family $\mathscr{U}$. These arise in classical representation theory, in the study of representation stability, as well as in global homotopy theory. In this paper we begin a systematic study of the derived category $\mathsf{D}(\mathscr{U};k)$ of global representations over fields $k$ of characteristic zero, from the point-of-view of tensor-triangular geometry. We calculate its Balmer spectrum for various infinite families of finite groups including elementary abelian $p$-groups, cyclic groups, and finite abelian $p$-groups of bounded rank. We then deduce that the Balmer spectrum associated to the family of finite abelian $p$-groups has infinite Krull dimension and infinite Cantor--Bendixson rank, illustrating the complex phenomena we encounter. As a concrete application, we provide a complete tt-theoretic classification of finitely generated derived VI-modules. Our proofs rely on subtle information about the growth behaviour of global representations studied in a companion paper, as well as novel methods from non-rigid tt-geometry. △ Less

Submitted 26 June, 2025; originally announced June 2025.

Comments: 72 pages; all comments welcome

Report number: MPIM-Bonn-2025

Global representation theory: Homological foundations

Authors: Miguel Barrero, Tobias Barthel, Luca Pol, Neil Strickland, Jordan Williamson

Abstract: A global representation is a compatible collection of representations of the outer automorphism groups of the groups belonging to some collection of finite groups $\mathscr{U}$. Global representations assemble into an abelian category $\mathsf{A}(\mathscr{U})$, simultaneously generalising classical representation theory and the category of VI-modules appearing in the representation theory of the g… ▽ More A global representation is a compatible collection of representations of the outer automorphism groups of the groups belonging to some collection of finite groups $\mathscr{U}$. Global representations assemble into an abelian category $\mathsf{A}(\mathscr{U})$, simultaneously generalising classical representation theory and the category of VI-modules appearing in the representation theory of the general linear groups. In this paper we establish homological foundations of its derived category $\mathsf{D}(\mathscr{U})$. We prove that any complex of projective global representations is DG-projective, and hence conclude that the derived category admits an explicit model as the homotopy category of projective global representations. We show that from a tensor-triangular perspective it exhibits some unusual features: for example, there are very few dualizable objects and in general many more compact objects. Under more restrictive conditions on the family $\mathscr{U}$, we then construct torsion-free classes for global representations which encode certain growth properties in $\mathscr{U}$. This lays the foundations for a detailed study of the tensor-triangular geometry of derived global representations which we pursue in forthcoming work. △ Less

Submitted 30 June, 2025; v1 submitted 27 May, 2025; originally announced May 2025.

Comments: 38 pages; all comments welcome!

Report number: MPIM-Bonn-2025

Arithmetic localisation and completion of spectra

Authors: Neil Strickland

Abstract: This is an exposition of facts about p-local spectra, p-complete spectra and modules over the p-complete sphere spectrum, including homological criteria for finiteness. Most things are well-known to the experts, with a couple of potential exceptions: every dualisable p-complete spectrum is the p-completion of a finite spectrum, and the category of modules over the p-complete sphere has homological… ▽ More This is an exposition of facts about p-local spectra, p-complete spectra and modules over the p-complete sphere spectrum, including homological criteria for finiteness. Most things are well-known to the experts, with a couple of potential exceptions: every dualisable p-complete spectrum is the p-completion of a finite spectrum, and the category of modules over the p-complete sphere has homological Brown representability. △ Less

Submitted 12 December, 2024; originally announced December 2024.

MSC Class: 55P60

Representation stability and outer automorphism groups

Authors: Luca Pol, Neil P. Strickland

Abstract: In this paper we study families of representations of the outer automorphism groups indexed on a collection of finite groups $\mathcal{U}$. We encode this large amount of data into a convenient abelian category $\mathcal{A}\mathcal{U}$ which generalizes the category of VI-modules appearing in the representation theory of the finite general linear groups. Inspired by work of Church--Ellenberg--Farb… ▽ More In this paper we study families of representations of the outer automorphism groups indexed on a collection of finite groups $\mathcal{U}$. We encode this large amount of data into a convenient abelian category $\mathcal{A}\mathcal{U}$ which generalizes the category of VI-modules appearing in the representation theory of the finite general linear groups. Inspired by work of Church--Ellenberg--Farb, we investigate for which choices of $\mathcal{U}$ the abelian category is locally noetherian and deduce analogues of central stability and representation stability results in this setting. Finally, we show that some invariants coming from rational global homotopy theory exhibit representation stability. △ Less

Submitted 13 May, 2021; v1 submitted 12 February, 2021; originally announced February 2021.

Comments: minor changes in the introduction

MSC Class: 05E10; 20J05; 55P91

Journal ref: Documenta Mathematica (2022)

Algebraic theory of abelian groups

Authors: Neil Strickland

Abstract: This document aims to give a self-contained account of the parts of abelian group theory that are most relevant for algebraic topology. It is almost purely expository, although there are some slightly unusual features in the treatment of tensor products, torsion products and $\text{Ext}$ groups. This document aims to give a self-contained account of the parts of abelian group theory that are most relevant for algebraic topology. It is almost purely expository, although there are some slightly unusual features in the treatment of tensor products, torsion products and $\text{Ext}$ groups. △ Less

Submitted 28 January, 2020; originally announced January 2020.

MSC Class: 20Kxx

The model structure for chain complexes

Authors: Neil Strickland

Abstract: Let $\text{Ch}$ be the category of (possibly unbounded) chain complexes of abelian groups. In this note we construct the standard Quillen model structure on $\text{Ch}$, by a method that is somewhat different from the standard one. Essentially, we use a functorial two-stage projective resolution for abelian groups, and build everything directly from that. This has the advantage of being very concr… ▽ More Let $\text{Ch}$ be the category of (possibly unbounded) chain complexes of abelian groups. In this note we construct the standard Quillen model structure on $\text{Ch}$, by a method that is somewhat different from the standard one. Essentially, we use a functorial two-stage projective resolution for abelian groups, and build everything directly from that. This has the advantage of being very concrete, explicit and functorial. It does not rely on the small object argument, or make any explicit use of transfinite induction. On the other hand, it is not so conceptual, and it does use the fact that subgroups of free abelian groups are free, so it does not generalise to many rings other than $\mathbb{Z}$. We do not claim any great technical benefit for this approach, but it seems like an interesting alternative, and may be pedagogically useful. △ Less

Submitted 24 January, 2020; originally announced January 2020.

MSC Class: 55U15

An introduction to the category of spectra

Authors: Neil Strickland

Abstract: These notes give a brief introduction to the category of spectra as defined in stable homotopy theory. In particular, Section 5 discusses an extensive list of examples of spectra whose properties have been found to be interesting. These notes give a brief introduction to the category of spectra as defined in stable homotopy theory. In particular, Section 5 discusses an extensive list of examples of spectra whose properties have been found to be interesting. △ Less

Submitted 28 January, 2020; v1 submitted 22 January, 2020; originally announced January 2020.

Comments: Minor corrections and additions; thanks to those who sent comments

MSC Class: 55P42

Is $D$ symmetric monoidal?

Authors: Neil Strickland

Abstract: We verify that a certain functor $D\colon\text{Sp}^Σ(\text{Ch}^+)\to\text{Ch}$ is symmetric monoidal. This functor is used elsewhere in developing the model category theory of symmetric spectra and of chain complexes graded over $\mathbb{N}$ or $\mathbb{Z}$. We verify that a certain functor $D\colon\text{Sp}^Σ(\text{Ch}^+)\to\text{Ch}$ is symmetric monoidal. This functor is used elsewhere in developing the model category theory of symmetric spectra and of chain complexes graded over $\mathbb{N}$ or $\mathbb{Z}$. △ Less

Submitted 21 January, 2020; originally announced January 2020.

Comments: This is a very old note, which has been circulating privately. I have been asked to upload it so that people can refer to it

MSC Class: 18G35; 18D10; 55U35

Iterated chromatic localisation

Authors: Neil Strickland, Nicola Bellumat

Abstract: We study a certain monoid of endofunctors of the stable homotopy category that includes localizations with respect to finite unions of Morava $K$-theories. We work in an axiomatic framework that can also be applied to analogous questions in equivariant stable homotopy theory. Our results should be helpful for the study of transchromatic phenomena, including the Chromatic Splitting Conjecture. The… ▽ More We study a certain monoid of endofunctors of the stable homotopy category that includes localizations with respect to finite unions of Morava $K$-theories. We work in an axiomatic framework that can also be applied to analogous questions in equivariant stable homotopy theory. Our results should be helpful for the study of transchromatic phenomena, including the Chromatic Splitting Conjecture. The combinatorial parts of this work have been formalised in the Lean proof assistant. △ Less

Submitted 17 July, 2019; originally announced July 2019.

Comments: Lean code has been uploaded as a set of ancillary files

MSC Class: 55P60

Chromatic (co)homology of finite general linear groups

Authors: Samuel Hutchinson, Samuel Marsh, Neil Strickland

Abstract: We study the Morava $E$-theory (at a prime $p$) of $BGL_d(F)$, where $F$ is a finite field with $|F|=1\pmod{p}$. Taking all $d$ together, we obtain a structure with two products $\times$ and $\bullet$. We prove that it is a polynomial ring under $\times$, and that the module of $\times$-indecomposables inherits a $\bullet$-product, and we describe the structure of the resulting ring. In the proces… ▽ More We study the Morava $E$-theory (at a prime $p$) of $BGL_d(F)$, where $F$ is a finite field with $|F|=1\pmod{p}$. Taking all $d$ together, we obtain a structure with two products $\times$ and $\bullet$. We prove that it is a polynomial ring under $\times$, and that the module of $\times$-indecomposables inherits a $\bullet$-product, and we describe the structure of the resulting ring. In the process, we prove many auxiliary structural results. △ Less

Submitted 16 February, 2021; v1 submitted 10 July, 2019; originally announced July 2019.

Comments: Revised in response to referee's comments: added outline, additional context and references, and index of notation; various other minor changes

MSC Class: 55N20

Journal ref: Algebr. Geom. Topol. 22 (2022) 1511-1614

Level three structures

Authors: Neil Strickland

Abstract: We give a detailed discussion of the universal example of an elliptic curve equipped with a level three structure over a base on which three is invertible. This is intended as a convenient reference for applications in elliptic cohomology and stable homotopy theory. We give a detailed discussion of the universal example of an elliptic curve equipped with a level three structure over a base on which three is invertible. This is intended as a convenient reference for applications in elliptic cohomology and stable homotopy theory. △ Less

Submitted 27 March, 2018; originally announced March 2018.

Comments: This note has been available from the author's home page for many years, but for various reasons it is convenient to put it on the arxiv now

MSC Class: 14H52; 55P42

A combinatorial model for the known Bousfield classes

Authors: Neil Strickland

Abstract: We give a combinatorial construction of an ordered semiring A, and show that it can be identified with a certain subquotient of the semiring of p-local Bousfield classes, containing almost all of the classes that have previously been named and studied. This is a convenient way to encapsulate most of the known results about Bousfield classes. We give a combinatorial construction of an ordered semiring A, and show that it can be identified with a certain subquotient of the semiring of p-local Bousfield classes, containing almost all of the classes that have previously been named and studied. This is a convenient way to encapsulate most of the known results about Bousfield classes. △ Less

Submitted 8 July, 2018; v1 submitted 30 August, 2016; originally announced August 2016.

Comments: Minor typos fixed, style files changed

MSC Class: 55P42

Journal ref: Algebr. Geom. Topol. 19 (2019) 2677-2713

Uniformization of embedded surfaces

Authors: Neil Strickland

Abstract: Let X be a closed surface of genus two embedded in the 3-sphere. Then X inherits a metric and an orientation, which give an almost complex structure, which automatically integrates to a genuine complex structure, making X a Riemann surface. It follows that X is conformally isomorphic to a branched cover of the Riemann sphere, or to the quotient of the unit disc by the action of a Fuchsian group. T… ▽ More Let X be a closed surface of genus two embedded in the 3-sphere. Then X inherits a metric and an orientation, which give an almost complex structure, which automatically integrates to a genuine complex structure, making X a Riemann surface. It follows that X is conformally isomorphic to a branched cover of the Riemann sphere, or to the quotient of the unit disc by the action of a Fuchsian group. The theorems behind these statements are important, well-known, and a century old. Nonetheless, we believe that the literature contains no examples where a significant fraction of the structure can be made explicit. This monograph is a partially successful attempt to provide such an example, starting with a particular surface X that has interesting geometry. The required theory is surprisingly rich, and is supported by a large body of Maple code, which is used for semi-formal verification of many proofs, as well as for numerical calculation. △ Less

Submitted 21 July, 2016; originally announced July 2016.

Comments: Maple code has been uploaded as a set of ancillary files, but it can be accessed more conveniently from https://neilstrickland.github.io/genus2/

MSC Class: 30F10 (Primary) 53A05; 30F20; 32G15; 53C21; 30C30; 30F45 (Secondary)

Large self-injective rings and the generating hypothesis

Authors: Leigh Shepperson, Neil Strickland

Abstract: We construct a number of different examples of non-Noetherian graded rings that are injective as modules over themselves (or have some related but weaker properties). We discuss how these are related to the theory of triangulated categories, and to Freyd's Generating Hypothesis in stable homotopy theory. We construct a number of different examples of non-Noetherian graded rings that are injective as modules over themselves (or have some related but weaker properties). We discuss how these are related to the theory of triangulated categories, and to Freyd's Generating Hypothesis in stable homotopy theory. △ Less

Submitted 15 October, 2013; v1 submitted 1 June, 2012; originally announced June 2012.

MSC Class: 13C11; 18E30; 55P42

Journal ref: Algebra Number Theory 8 (2014) 257-301

Tambara functors

Authors: Neil Strickland

Abstract: We survey and extend the theory of Tambara functors. These are algebraic structures similar to Mackey functors, but with multiplicative norm maps as well as additive transfer maps, and a rule governing their interaction that is most easily formulated in an abstract categorical framework. Examples include Burnside rings, representation rings, and homotopy groups of equivariant E-infinity ring spect… ▽ More We survey and extend the theory of Tambara functors. These are algebraic structures similar to Mackey functors, but with multiplicative norm maps as well as additive transfer maps, and a rule governing their interaction that is most easily formulated in an abstract categorical framework. Examples include Burnside rings, representation rings, and homotopy groups of equivariant E-infinity ring spectra in stable homotopy theory. Some other examples are related to Witt rings in the sense of Dress and Siebeneicher. △ Less

Submitted 11 May, 2012; originally announced May 2012.

MSC Class: 19A22

An abelian embedding for Moore spectra

Authors: Neil Strickland

Abstract: We embed the category of Moore spectra as a full subcategory of an abelian category, and make some remarks about abelian embeddings of various other categories of spectra. We embed the category of Moore spectra as a full subcategory of an abelian category, and make some remarks about abelian embeddings of various other categories of spectra. △ Less

Submitted 27 February, 2013; v1 submitted 10 May, 2012; originally announced May 2012.

Comments: Minor changes

MSC Class: 55P42

Geometry and cohomology of Khovanov-Springer varieties

Authors: Philip Eve, Neil Strickland

Abstract: The Khovanov-Springer variety X(n) is a certain subvariety of the variety of flags of length 2n, which has been studied from various different points of view. We give a new proof of the ring structure of the cohomology of X(n) and relate it to some interesting geometric, combinatorial and algebraic phenomena. The Khovanov-Springer variety X(n) is a certain subvariety of the variety of flags of length 2n, which has been studied from various different points of view. We give a new proof of the ring structure of the cohomology of X(n) and relate it to some interesting geometric, combinatorial and algebraic phenomena. △ Less

Submitted 10 May, 2012; originally announced May 2012.

MSC Class: 14M15

Chains on suspension spectra

Authors: Neil Strickland

Abstract: We define and study a homological version of Sullivan's rational de Rham complex for simplicial sets. This new functor can be generalised to simplicial symmetric spectra and in that context it has excellent categorical properties which promise to make a number of interesting applications much more straightforward. We define and study a homological version of Sullivan's rational de Rham complex for simplicial sets. This new functor can be generalised to simplicial symmetric spectra and in that context it has excellent categorical properties which promise to make a number of interesting applications much more straightforward. △ Less

Submitted 9 October, 2008; originally announced October 2008.

Comments: 27 pages

MSC Class: 55P62

Triangulated categories without models

Authors: Fernando Muro, Stefan Schwede, Neil Strickland

Abstract: We exhibit examples of triangulated categories which are neither the stable category of a Frobenius category nor a full triangulated subcategory of the homotopy category of a stable model category. Even more drastically, our examples do not admit any non-trivial exact functors to or from these algebraic respectively topological triangulated categories. We exhibit examples of triangulated categories which are neither the stable category of a Frobenius category nor a full triangulated subcategory of the homotopy category of a stable model category. Even more drastically, our examples do not admit any non-trivial exact functors to or from these algebraic respectively topological triangulated categories. △ Less

Submitted 9 May, 2007; v1 submitted 11 April, 2007; originally announced April 2007.

Comments: 10 pages

MSC Class: 18E30; 55P42

Journal ref: Inventiones Mathematicae, Vol. 170 (2007), No. 2, pp. 231-241

Axiomatic stable homotopy - a survey

Authors: N. P. Strickland

Abstract: We survey various approaches to axiomatic stable homotopy theory, with examples including derived categories, categories of (possibly equivariant or localized) spectra, and stable categories of modular representations of finite groups. We focus mainly on representability theorems, localisation, Bousfield classes, and nilpotence. We survey various approaches to axiomatic stable homotopy theory, with examples including derived categories, categories of (possibly equivariant or localized) spectra, and stable categories of modular representations of finite groups. We focus mainly on representability theorems, localisation, Bousfield classes, and nilpotence. △ Less

Submitted 10 July, 2003; originally announced July 2003.

MSC Class: 55U35

Comodules and Landweber exact homology theories

Authors: Mark Hovey, Neil Strickland

Abstract: We show that, if E is a Landweber exact ring spectrum, then the category of E_*E-comodules is equivalent to the localization of the category of BP_*BP-comodules with respect to the hereditary torsion theory of v_n-torsion comodules, where n is the height of E. In particular, the category of E(n)_*E(n)-comodules is equivalent to the category of (v_n^{-1}BP)_*(v_n^{-1}BP)-comodules. We also prove… ▽ More We show that, if E is a Landweber exact ring spectrum, then the category of E_*E-comodules is equivalent to the localization of the category of BP_*BP-comodules with respect to the hereditary torsion theory of v_n-torsion comodules, where n is the height of E. In particular, the category of E(n)_*E(n)-comodules is equivalent to the category of (v_n^{-1}BP)_*(v_n^{-1}BP)-comodules. We also prove structure theorems for E_*E-comodules; we show every E_*E-comodule has a primitive, we classify the invariant radical ideals, and we prove a version of the Landweber filtration theorem. △ Less

Submitted 21 January, 2003; originally announced January 2003.

Comments: 24 pages

MSC Class: 55N22

Local cohomology of BP_*BP-comodules

Authors: Mark Hovey, Neil Strickland

Abstract: In a previous paper, the authors showed that the category of E(n)_*E(n)-comodules is a localization of the category of BP_*BP-comodules. In this paper, we study the resulting localization functor L_n on the category of BP_*BP-comodules. It is an algebraic analogue of the usual topological localization L_n. It is left exact, so has right derived functors L_n^i. We show that these derived functors… ▽ More In a previous paper, the authors showed that the category of E(n)_*E(n)-comodules is a localization of the category of BP_*BP-comodules. In this paper, we study the resulting localization functor L_n on the category of BP_*BP-comodules. It is an algebraic analogue of the usual topological localization L_n. It is left exact, so has right derived functors L_n^i. We show that these derived functors are closely related to the local cohomology groups of BP_*-modules studied by Greenlees and May; in fact, they coincide with Cech cohomology with respect to I_{n+1}. We also construct a spectral sequence of comodules analogous to the Greenlees-May spectral sequence (of modules) converging to BP_*(L_n X) whose E_2-term involves L_n^i(BP_*X). The proofs require getting a partial understanding of injective objects in the category of BP_*BP-comodules. △ Less

Submitted 21 January, 2003; originally announced January 2003.

Comments: 22 pages

MSC Class: 55P60; 55N22; 13D45

Realising formal groups

Authors: N. P. Strickland

Abstract: We show that a large class of formal groups can be realised functorially by even periodic ring spectra. The main advance is in the construction of morphisms, not of objects. We show that a large class of formal groups can be realised functorially by even periodic ring spectra. The main advance is in the construction of morphisms, not of objects. △ Less

Submitted 5 March, 2003; v1 submitted 5 November, 2002; originally announced November 2002.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol3/agt-3-8.abs.html

MSC Class: 55N20; 55N22

Journal ref: Algebr. Geom. Topol. 3 (2003) 187-205

Multicurves and equivariant cobordism

Authors: Neil P. Strickland

Abstract: Let A be a finite abelian group. We set up an algebraic framework for studying A-equivariant complex-orientable cohomology theories in terms of a suitable kind of equivariant formal groups. We compute the equivariant cohomology of many spaces in these terms, including projective bundles (and associated Gysin maps), Thom spaces, and infinite Grassmannians. Let A be a finite abelian group. We set up an algebraic framework for studying A-equivariant complex-orientable cohomology theories in terms of a suitable kind of equivariant formal groups. We compute the equivariant cohomology of many spaces in these terms, including projective bundles (and associated Gysin maps), Thom spaces, and infinite Grassmannians. △ Less

Submitted 14 November, 2008; v1 submitted 4 November, 2002; originally announced November 2002.

Comments: 73 pages. This version is generally reorganised with numerous expository improvements, and a new section about transfers and the Burnside ring

MSC Class: 55N20

The sigma orientation is an H-infinity map

Authors: Matthew Ando, Michael J. Hopkins, Neil P. Strickland

Abstract: In "Elliptic spectra, the Witten genus, and the Theorem of the cube" (Invent. Math. 146 (2001)), the authors constructed a natural map from the Thom spectrum MU<6> to any elliptic spectrum, called the "sigma orientation". MU<6> is an H-infinity ring spectrum, and in this paper we show that if E is a K(2)-local H-infinity elliptic spectrum, then the sigma orientation is a map of H-infinity spectr… ▽ More In "Elliptic spectra, the Witten genus, and the Theorem of the cube" (Invent. Math. 146 (2001)), the authors constructed a natural map from the Thom spectrum MU<6> to any elliptic spectrum, called the "sigma orientation". MU<6> is an H-infinity ring spectrum, and in this paper we show that if E is a K(2)-local H-infinity elliptic spectrum, then the sigma orientation is a map of H-infinity spectra. △ Less

Submitted 30 January, 2004; v1 submitted 3 April, 2002; originally announced April 2002.

MSC Class: 55N34; 55N22

Complex cobordism of involutions

Authors: N P Strickland

Abstract: We give a simple and explicit presentation of the Z/2-equivariant complex cobordism ring. We give a simple and explicit presentation of the Z/2-equivariant complex cobordism ring. △ Less

Submitted 3 May, 2001; originally announced May 2001.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol5/paper11.abs.html

MSC Class: 55N22; 55N91

Journal ref: Geom. Topol. 5 (2001) 335-345

The Hopf Rings for KO and KU

Authors: Dena S. Cowen Morton, Neil P. Strickland

Abstract: We compute the mod two homology Hopf rings of the spectra KO and KU. The spaces in these spectra are the infinite classical groups and their coset spaces, and their homology was first calculated in the Cartan seminars, but the Hopf ring structure was first determined in the second author's unpublished PhD thesis. The presentation given here serves as an introduction to the first author's much mo… ▽ More We compute the mod two homology Hopf rings of the spectra KO and KU. The spaces in these spectra are the infinite classical groups and their coset spaces, and their homology was first calculated in the Cartan seminars, but the Hopf ring structure was first determined in the second author's unpublished PhD thesis. The presentation given here serves as an introduction to the first author's much more intricate work on the connective spectrum bo. The Hopf ring viewpoint turns out to be very convenient for understanding the homological effect of various maps between classical groups and fibrations of their connective covers. △ Less

Submitted 17 November, 2000; originally announced November 2000.

Comments: 20 pages; to appear in JPAA

MSC Class: 55N15; 55P43

Common subbundles and intersections of divisors

Authors: N. P. Strickland

Abstract: Let V_0 and V_1 be complex vector bundles over a space X. We use the theory of divisors on formal groups to give obstructions in generalised cohomology that vanish when V_0 and V_1 can be embedded in a bundle U in such a way that V_0\cap V_1 has dimension at least k everywhere. We study various algebraic universal examples related to this question, and show that they arise from the generalised c… ▽ More Let V_0 and V_1 be complex vector bundles over a space X. We use the theory of divisors on formal groups to give obstructions in generalised cohomology that vanish when V_0 and V_1 can be embedded in a bundle U in such a way that V_0\cap V_1 has dimension at least k everywhere. We study various algebraic universal examples related to this question, and show that they arise from the generalised cohomology of corresponding topological universal examples. This extends and reinterprets earlier work on degeneracy classes in ordinary cohomology or intersection theory. △ Less

Submitted 14 December, 2002; v1 submitted 17 November, 2000; originally announced November 2000.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol2/agt-2-42.abs.html

MSC Class: 55N20; 14L05; 14M15

Journal ref: Algebr. Geom. Topol. 2 (2002) 1061-1118

Products on MU-modules

Authors: Neil P. Strickland

Abstract: We use the new categories of spectra and MU-modules constructed by Elmendorf, Kriz, Mandell and May to get improved results about multiplicative structures on spectra such as P(n) and E(n), particularly in the case p=2. We use the new categories of spectra and MU-modules constructed by Elmendorf, Kriz, Mandell and May to get improved results about multiplicative structures on spectra such as P(n) and E(n), particularly in the case p=2. △ Less

Submitted 17 November, 2000; originally announced November 2000.

Comments: 31 pages; one included postscript figure

MSC Class: 55T25

Journal ref: Trans Amer Math Soc 351 (1999) 2569-2606

Formal schemes and formal groups

Authors: Neil P. Strickland

Abstract: We set up a framework for using algebraic geometry to study the generalised cohomology rings that occur in algebraic topology. This idea was probably first introduced by Quillen and it underlies much of our understanding of complex oriented cohomology theories, exemplified by the work of Morava. Most of the results have close and well-known analogues in the algebro-geometric literature, but with… ▽ More We set up a framework for using algebraic geometry to study the generalised cohomology rings that occur in algebraic topology. This idea was probably first introduced by Quillen and it underlies much of our understanding of complex oriented cohomology theories, exemplified by the work of Morava. Most of the results have close and well-known analogues in the algebro-geometric literature, but with different definitions or technical assumptions that are often inconvenient for topological applications. We merely put everything together in a systematic and convenient way. △ Less

Submitted 17 November, 2000; originally announced November 2000.

Comments: 90 pages

MSC Class: 14L05; 55N22

The BP<n> cohomology of elementary abelian groups

Authors: Neil P. Strickland

Abstract: In this paper we study E^*BV_k, where E=BP<m,n> is a cohomology theory with coefficient ring F_p[v_m,...,v_n] (if m>0) or Z_(p)[v_1,...,v_n] (if m=0). We use ideas from the theory of multiple level structures, developed in earlier work of the author with John Greenlees. Our results apply when k is less than or equal to w=n+1-m. If k<w we find that E^*BV_k has no v_m-torsion. When k=w, we show th… ▽ More In this paper we study E^*BV_k, where E=BP<m,n> is a cohomology theory with coefficient ring F_p[v_m,...,v_n] (if m>0) or Z_(p)[v_1,...,v_n] (if m=0). We use ideas from the theory of multiple level structures, developed in earlier work of the author with John Greenlees. Our results apply when k is less than or equal to w=n+1-m. If k<w we find that E^*BV_k has no v_m-torsion. When k=w, we show that the v_m-torsion is annihilated by the ideal I_{n+1}=(v_m,...,v_n), and that it is a free module on one generator over the ring F_p[[x_0,...,x_{w-1}]]. We give three very different formulae for this generator; it is not at all obvious that these give the same element, and we only have a rather indirect proof of this. △ Less

Submitted 17 November, 2000; originally announced November 2000.

Comments: 14 pages

MSC Class: 20J06; 55N20; 14L05

Journal ref: J. London Math. Soc. 61 (2000) 93-109

K(n)-local duality for finite groups and groupoids

Authors: Neil P. Strickland

Abstract: We define an inner product (suitably interpreted) on the K(n)-local spectrum LG := L_{K(n)}BG_+, where G is a finite group or groupoid. This gives an inner product on E^*BG_+ for suitable K(n)-local ring spectra E. We relate this to the usual inner product on the representation ring when n=1, and to the Hopkins-Kuhn-Ravenel generalised character theory. We show that LG is a Frobenius algebra obj… ▽ More We define an inner product (suitably interpreted) on the K(n)-local spectrum LG := L_{K(n)}BG_+, where G is a finite group or groupoid. This gives an inner product on E^*BG_+ for suitable K(n)-local ring spectra E. We relate this to the usual inner product on the representation ring when n=1, and to the Hopkins-Kuhn-Ravenel generalised character theory. We show that LG is a Frobenius algebra object in the K(n)-local stable category, and we recall the connection between Frobenius algebras and topological quantum field theories to help analyse this structure. In many places we find it convenient to use groupoids rather than groups, and to assist with this we include a detailed treatment of the homotopy theory of groupoids. We also explain some striking formal similarities between our duality and Atiyah-Poincare duality for manifolds. △ Less

Submitted 16 November, 2000; originally announced November 2000.

Comments: 37 pages; one included postscript figure

MSC Class: 55P42; 55P60; 55R40

Journal ref: Topology 39 no 4 (2000) 733-772

Gross-Hopkins duality

Authors: Neil P. Strickland

Abstract: We give a new and simpler proof of a result of Hopkins and Gross relating Brown-Comenetz duality to Spanier-Whitehead duality in the K(n)-local stable homotopy category. We give a new and simpler proof of a result of Hopkins and Gross relating Brown-Comenetz duality to Spanier-Whitehead duality in the K(n)-local stable homotopy category. △ Less

Submitted 16 November, 2000; originally announced November 2000.

MSC Class: 55N20; 55P42; 20E18

Journal ref: Topology 39 no 5 (2000) 1021-1033

Chern approximations for generalised group cohomology

Authors: Neil P. Strickland

Abstract: Let G be a finite group, and let E be a generalised cohomology theory, subject to certain technical conditions. We study a certain ring C(E,G) that is the best possible approximation to E^0BG that can be built using only knowledge of the complex representations of G. There is a natural map C(E,G) -> E^0BG, whose image is the subring of E^0BG generated over E^0 by all Chern classes of such repres… ▽ More Let G be a finite group, and let E be a generalised cohomology theory, subject to certain technical conditions. We study a certain ring C(E,G) that is the best possible approximation to E^0BG that can be built using only knowledge of the complex representations of G. There is a natural map C(E,G) -> E^0BG, whose image is the subring of E^0BG generated over E^0 by all Chern classes of such representations. There is ample precedent for considering this subring in the parallel case of ordinary cohomology. However, although the generators of this subring come from representation theory, the same cannot be said for the relations; one purpose of our construction is to remedy this. We also also develop a kind of generalised character theory which gives good information about the rationalisation of C(E,G). In the few cases that we have been able to analyse completely, either C(E,G) is rationally different from E^0BG for easy character-theoretic reasons, or we have C(E,G)=E^0BG. Rather than working directly with rings, we will study the formal schemes X(G)=spf(E^0BG) and XCh(G)=spf(C(E,G)). Suitably interpreted, our main definition is that XCh(G) is the scheme of homomorphisms from the Lambda-semiring R^+(G) of complex representations of G to the Lambda-semiring scheme of divisors on the formal group associated to E. △ Less

Submitted 16 June, 1999; originally announced June 1999.

MSC Class: 55R40; 55N20

Phantom Maps and Homology Theories

Authors: J. Daniel Christensen, Neil P. Strickland

Abstract: We study phantom maps and homology theories in a stable homotopy category S via a certain Abelian category A. We express the group P(X,Y) of phantom maps X -> Y as an Ext group in A, and give conditions on X or Y which guarantee that it vanishes. We also determine P(X,HB). We show that any composite of two phantom maps is zero, and use this to reduce Margolis's axiomatisation conjecture to an ex… ▽ More We study phantom maps and homology theories in a stable homotopy category S via a certain Abelian category A. We express the group P(X,Y) of phantom maps X -> Y as an Ext group in A, and give conditions on X or Y which guarantee that it vanishes. We also determine P(X,HB). We show that any composite of two phantom maps is zero, and use this to reduce Margolis's axiomatisation conjecture to an extension problem. We show that a certain functor S -> A is the universal example of a homology theory with values in an AB 5 category and compare this with some results of Freyd. △ Less

Submitted 2 February, 1998; originally announced February 1998.

Comments: 25 pages, AMSLaTeX, to appear in Topology

MSC Class: 55P42 (Primary) 55N20; 55U35; 55U99; 18E30 (Secondary)

Journal ref: Topology 37 (1998), 339-364

Morava E-theory of symmetric groups

Authors: Neil P. Strickland

Abstract: We compute the completed E(n) cohomology of the classifying spaces of the symmetric groups, and relate the answer to the theory of finite subgroups of formal groups. We compute the completed E(n) cohomology of the classifying spaces of the symmetric groups, and relate the answer to the theory of finite subgroups of formal groups. △ Less

Submitted 28 January, 1998; originally announced January 1998.

Comments: To appear in Topology

MSC Class: 55N22