arXiv subjects

Neil P. Strickland

Publications and source records attributed to Neil P. Strickland.

12 recordsLinked to original sources

arXiv2021

Representation stability and outer automorphism groups

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.

math.RT↗

arXiv2008

Multicurves and equivariant cobordism

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.

math.AT↗

arXiv2004

The sigma orientation is an H-infinity map

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.

math.AT↗

arXiv2000

The BP cohomology of elementary abelian groups

In this paper we study E^*BV_k, where E=BP 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.

math.AT↗

arXiv2000

Formal schemes and formal groups

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.

math.AT↗

arXiv2000

Products on MU-modules

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.

math.AT↗

arXiv2000

The Hopf Rings for KO and KU

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.

math.AT↗

arXiv2000

Gross-Hopkins duality

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.

math.AT↗

arXiv2000

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

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.

math.AT↗

arXiv1999

Chern approximations for generalised group cohomology

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.

math.AT↗

arXiv1998

Phantom Maps and Homology Theories

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.

math.AT↗

arXiv1998

Morava E-theory of symmetric 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.

math.AT↗