Rational equivariant cohomology theories

Lead Research Organisation: University of Sheffield
Department Name: Pure Mathematics

Abstract

Cohomology theories convert geometric problems to algebraic problems, often allowing solutions. Perhaps more significantly, they often embody the geometry of the situation and algebraic structures often expose important organizational principles. For instance the additive and multiplicative groups give rise to ordinary cohomology and K-theory, and elliptic curves give rise to elliptic cohomology. These theories each focus on aspects of the geometry of manifolds, embodied by the signature, A-hat genus and elliptic genus. Much of this geometry remains, even after rationalization.Non-equivariantly, rational cohomology theories themselves are very simple: the category of representing objects are equivalent to the category of graded rational vector spaces, and all cohomology theories are ordinary. The PI has conjectured that for each compact Lie group G, there is an abelian category A(G) so that the homotopy category of rational G-spectra is equivalent to the derived category of A (G): the conjecture describes various properties of A(G), and in particular asserts that its injective dimension is equal to the rank of G. In practical terms, this allowsone to make complete calculations, and one can classify all such cohomology theories. More important though, one can construct a cohomology theoryby writing down an object in A (G): this is how circle-equivariant elliptic cohomology was constructed, and the equivariant sigma genus can be constructed. This proposal is to extend the class of groups for which the conjecture is known and to exploit the result in various ways: (1) by classifying cohomology theories(2) by studying the universal de Rham model they embody(3) by studying G-equivariant elliptic cohomology for general G(4) by showing how curves of higher genus give rise to cohomology theories, and exploiting the genera associated to theta functions.(5) by calculating the cohomology theories in geometric terms for a range of toric varieties.

Planned Impact

The most immediate impacts will be to academic beneficiaries (detailed above) and through training both an RA and a PhD student. The impact of the trained RA will be through the academic community, but aspects of the training of the PhD student will have an impact through whatever subsequent employment he or she takes. A secondary impact will be through the training of other PhD students in Sheffield, who will benefit both directly and indirectly from seeing, hearing and participating in the research activity. The lecture series from the VFs will have impacts on mathematicians and physicists in a slightly wider area than the publications and conference talks of those engaged on the project. Economic impacts of the work will either be indirect (eg via training) or be on a timescale beyond that normally assessed. There is some potential for an impact (presumably on security and the digital economy) through the activities of the Heilbronn Institute, which has used the services of topologists recently.

Publications

10 25 50

publication icon
Barnes D (2017) Rational SO(2)-equivariant spectra in Algebraic & Geometric Topology

publication icon
Benson D (2014) Stratifying the derived category of cochains on for a compact Lie group in Journal of Pure and Applied Algebra

publication icon
Benson D (2013) Complete intersections and mod p cochains in Algebraic & Geometric Topology

publication icon
Cheung P (2011) Chiral differential operators on supermanifolds in Mathematische Zeitschrift

publication icon
Dwyer W (2010) Gross-Hopkins duality and the Gorenstein condition in Journal of K-Theory

publication icon
Dwyer W (2013) DG algebras with exterior homology in Bulletin of the London Mathematical Society

publication icon
Greenlees J (2012) Rational torus-equivariant stable homotopy II: Algebra of the standard model in Journal of Pure and Applied Algebra

publication icon
Greenlees J (2016) Rational equivariant cohomology theories with toral support in Algebraic & Geometric Topology

 
Description There are complete algebraic models for collections of equivariant cohomology theories. They are based on Borel cohomology and the localization theorem. They lead to calculations and constructions of interesting cohomology theories.
Exploitation Route Calculations, constructions and applications.
Sectors Other