Searcharxiv⌕ Search

arXiv subjects

J. P. C. Greenlees

Publications and source records attributed to J. P. C. Greenlees.

At least 55 records · Page 3Linked to original sources
arXiv2015

Algebraic models of change of groups in rational stable equivariant homotopy theory

Shipley and the author have given an algebraic model for free rational G-spectra for a compact Lie group G. In the present note we describe, at the level of homotopy categories, the algebraic models for induction, restriction and coinduction relating free rational G-spectra and free rational H-spectra for a subgroup H of G. The justification for giving this short and elementary account is (1) the author found it difficult to guess the correct answer, (2) the answer depends on which Quillen equivalence is used between topology and algebra and (3) this has provided useful insight in several other projects (including arXiv:1501.03425).

math.AT↗
arXiv2013

Fixed point adjunctions for equivariant module spectra

We consider the Quillen adjunction between fixed points and inflation in the context of equivariant module spectra over equivariant ring spectra, and give numerous examples including some based on geometric fixed points and some on the Eilenberg-Moore spectral sequence. These results were originally presented as part of our equivalence between rational torus-equivariant spectra and an algebraic model in arXiv:1101.2511. However, the present results apply in many other interesting cases explored here, which are not rational and where the ambient group is not a torus. The material in arXiv:1101.2511v3 will be revised to refer to this paper.

math.AT↗
arXiv2013

Homotopy theory of modules over diagrams of rings

Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we consider the category of diagrams where the object X(s) at s comes from M(s). We develop model structures on such categories of diagrams, and Quillen adjunctions that relate categories based on different diagram shapes. Under certain conditions, cellularizations (or right Bousfield localizations) of these adjunctions induce Quillen equivalences. As an application we show that a cellularization of a category of modules over a diagram of ring spectra (or differential graded rings) is Quillen equivalent to modules over the associated inverse limit of the rings. Another application of the general machinery here is given in work by the authors on algebraic models of rational equivariant spectra. Some of this material originally appeared in the preprint "An algebraic model for rational torus-equivariant stable homotopy theory", arXiv:1101.2511, but has been generalized here.

math.AT↗
arXiv2013

An algebraic model for free rational G-spectra

We show that for any compact Lie group $G$ with identity component $N$ and component group $W=G/N$, the category of free rational $G$-spectra is equivalent to the category of torsion modules over the twisted group ring $H^*(BN)[W]$. This gives an algebraic classification of rational $G$-equivariant cohomology theories on free $G$-spaces and a practical method for calculating the groups of natural transformations between them. This uses the methods of arXiv:1101.2511, and some readers may find the simpler context of the present paper highlights the main thread of the argument.

math.AT↗
arXiv2013

The cellularization principle for Quillen adjunctions

The Cellularization Principle states that under rather weak conditions a Quillen adjunction of stable model categories induces a Quillen equivalence on cellularizations provided there is a derived equivalence on cells. We give a proof together with a range of examples. The main result here was originally presented as an appendix of arXiv:1101.2511. However, the Cellularization Principle has many other applications which are explored here. The material in arXiv:1101.2511v3 will be revised to refer to this paper.

math.AT↗
arXiv2012

Complete intersections and mod p cochains

We give homotopy invariant definitions corresponding to three well known properties of complete intersections, for the ring, the module theory and the endomorphisms of the residue field, and we investigate them for the mod p cochains on a space, showing that suitable versions of the second and third are equivalent and that the first is stronger. We are particularly interested in classifying spaces of groups, and we give a number of examples. This paper follows on from arXiv:0906.4025 which considered the classical case of a commutative ring and arXiv:0906.3247 which considered the case of rational homotopy theory.

math.AT↗
arXiv2012

DG algebras with exterior homology

We study differential graded algebras whose homology is an exterior algebra over a commutative ring R on a generator of degree n, and also certain types of differential modules over these DGAs. We obtain a complete classification when R is the integers, or the prime field of characteristic p>0, and n is greater than or equal to -1. The examples are unexpectedly interesting.

math.AT↗
arXiv2011

Rational torus-equivariant stable homotopy theory II: the algebra of the standard model

In previous work it is shown that there is an abelian category A(G) constructed to model rational G-equivariant cohomology theories, where G is a torus of rank r together with a homology functor \piA_* : Gspectra ---> A(G), and an Adams spectral sequence Ext_{A (G)} (\piA_*(X), \piA_*(Y)) ===> [X,Y]^G_* In joint work with Shipley (arxiv:1101.2511), it is shown that the Adams spectral sequence can be lifted to a Quillen equivalence Rational-Gspectra = DG-A (G). The purpose of the present paper is to prove that A(G) has injective dimension precisely r, and to construct certain torsion functors allowing us to make certain right adjoint constructions (such as products) in A(G). Along the way, we have an opportunity to prove a flatness result, and describe algebraic counterparts of some basic change of groups adjunctions.

math.AT↗
arXiv2010

Gross-Hopkins duality and the Gorenstein condition

Gross and Hopkins have proved that in chromatic stable homotopy, Spanier-Whitehead duality nearly coincides with Brown-Comenetz duality. Our goal is to give a conceptual interpretation for this phenomenon in terms of the Gorenstein condition for maps of ring spectra in the sense of [Duality in algebra and topology, Adv. Math. 200 (2006), 357--402. arXiv: math.AT/0510247 ]. We describe a general notion of Brown-Comenetz dualizing module for a map of ring spectra and show that in this context such dualizing modules correspond bijectively to invertible K(n)-local spectra.

math.AT↗
arXiv2010

Circle-equivariant classifying spaces and the rational equivariant sigma genus

The circle-equivariant spectrum MString_C is the equivariant analogue of the cobordism spectrum MU<6> of stably almost complex manifolds with c_1=c_2=0. Given a rational elliptic curve C, the second author has defined a ring T-spectrum EC representing the associated T-equivariant elliptic cohomology. The core of the present paper is the construction, when C is a complex elliptic curve, of a map of ring T-spectra MString_C --> EC which is the rational equivariant analogue of the sigma orientation of Ando-Hopkins-Strickland. We support this by a theory of characteristic classes for calculation, and a conceptual description in terms of algebraic geometry. In particular, we prove a conjecture of the first author.

math.AT↗
arXiv2010

Complete intersections and rational homotopy theory

We investigate various homotopy invariant formulations of commutative algebra in the context of rational homotopy theory. The main subject is the complete intersection condition, where we show that a growth condition implies a structure theorem and that modules have multiply periodic resolutions.

math.AT↗
arXiv2009

Complete intersections and derived categories

We propose a definition of when a triangulated category should be considered a complete intersection. We show (using work of Avramov and Gulliksen) that for the derived category of a complete local Noetherian commutative ring R, the condition on the derived category D(R) holds precisely when R is a complete intersection in the classical sense.

math.AC↗
arXiv2007

Rational torus-equivariant homotopy I: calculating groups of stable maps

We construct an abelian category A(G) of sheaves over a category of closed subgroups of the r-torus G and show it is of finite injective dimension. It can be used as a model for rational $G$-spectra in the sense that there is a homology theory \piA_*: G-spectra/Q --> A(G) on rational G-spectra with values in A(G), and the associated Adams spectral sequence converges for all rational $G$-spectra and collapses at a finite stage.

math.AT↗
arXiv2006

Spectra for commutative algebraists

The article is designed to explain to commutative algebraists what spectra (in the sense of algebraic topology) are, why they were originally defined, and how they can be useful for commutative algebra.

math.AT↗
arXiv2006

First steps in brave new commutative algebra

This is an expository account of completion and local cohomology in brave new commutative algebra, especially as it applies to completion theorems and their duals in equivariant topology. The first part is fairly direct, but the second considers Morita theory and Gorenstein ring spectra. This draws on work of the author with Benson, Dwyer, Iyengar and May, amongst others.

math.AT↗
arXiv2005

Duality in algebra and topology

In this paper we take some classical ideas from commutative algebra, mostly ideas involving duality, and apply them in algebraic topology. To accomplish this we interpret properties of ordinary commutative rings in such a way that they can be extended to the more general rings that come up in homotopy theory. Amongst the rings we work with are the differential graded ring of cochains on a space, the differential graded ring of chains on the loop space, and various ring spectra, e.g., the Spanier-Whitehead duals of finite spectra or chromatic localizations of the sphere spectrum. Maybe the most important contribution of this paper is the conceptual framework, which allows us to view all of the following dualities: Poincare duality for manifolds, Gorenstein duality for commutative rings, Benson-Carlson duality for cohomology rings of finite groups, Poincare duality for groups, Gross-Hopkins duality in chromatic stable homotopy theory, as examples of a single phenomenon. Beyond setting up this framework, though, we prove some new results, both in algebra and topology, and give new proofs of a number of old results.

math.AT↗
arXiv2005

Finiteness in derived categories of local rings

New homotopy invariant finiteness conditions on modules over commutative rings are introduced, and their properties are studied systematically. A number of finiteness results for classical homological invariants like flat dimension, injective dimension, and Gorenstein dimension, are established. It is proved that these specialize to give results concerning modules over complete intersection local rings. A noteworthy feature is the use of techniques based on thick subcategories of derived categories.

math.AC↗