# Orientability and complete intersections for rings and ring spectra

Lead Research Organisation:
University of Sheffield

Department Name: Pure Mathematics

### Abstract

Formulating properties and proofs in a robust form has double benefits. Firstly it establishes that they are stable under minor perturbations, and thus record something significant. Secondly, it allows them to be applied more generally.For example, properties of commutative rings are often very rigid and depend on elementwise manipulations. Formulating this in homological terms is a step forward, and then one may hope to state things in the derived category in structural terms. Finally, if this formulation is of an appropriate form, it may also apply to ring spectra. For instance if the property was regularity of a local ring, it is classically formulated in terms of a regular sequence of elements, but characterized by Serre in terms of finite projective dimension, and reformulated in the derived category as being able to build the residue field from the ring in finitely many steps. This then applies to ring spectra, and includes the classifying spaces of p-compact groups in the sense of Dwyer-Wilkerson. Similarly, the notion of Gorenstein commutative rings extends to ring spectra, where it includes Poincar\'e duality for manifolds and Benson-Carlson duality for group cohomology.The project aims to investigate this process further, and in particular for the notion of complete intersection. In fact the properties of rings are often (for example in the above cases) motivated by algebraic geometry. Thus the process described above gives one of the ingredients in a homotopy invariant form of algebraic geometry, now under investigation from various different directions.

## People |
## ORCID iD |

John Greenlees (Principal Investigator) |

### Publications

Ando M
(2014)

*Units of ring spectra, orientations, and Thom spectra via rigid infinite loop space theory*in Journal of Topology
Ando M
(2014)

*An 8-categorical approach to R -line bundles, R -module Thom spectra, and twisted R -homology*in Journal of Topology
Benson D
(2008)

*Localization and duality in topology and modular representation theory*in Journal of Pure and Applied Algebra
Benson D
(2013)

*Complete intersections and mod p cochains*in Algebraic & Geometric Topology
Casas J
(2011)

*Homology and central extensions of Leibniz and Lie $n$-algebras*in Homology, Homotopy and Applications
Dwyer W
(2013)

*DG algebras with exterior homology*in Bulletin of the London Mathematical Society
Dwyer W
(2010)

*Gross-Hopkins duality and the Gorenstein condition*in Journal of K-Theory
Greenlees J
(2016)

*Ausoni-Bökstedt duality for topological Hochschild homology*in Journal of Pure and Applied Algebra
Greenlees J
(2010)

*An algebraic model for free rational G-spectra for connected compact Lie groups G*in Mathematische Zeitschrift
Greenlees J
(2013)

*Complete intersections in rational homotopy theory*in Journal of Pure and Applied AlgebraDescription | Gorenstein ring spectra are ubiquitous. Complete intersection ring spectra come in a number of varieties, and in many ways are better behaved over finite fields. |

Exploitation Route | Connect Gorenstein ring spectra to derived algebraic geometry and equivariant derived algebraic geometry. Connect to string theory. Stratification results for ci ring spectra. Further examples. |

Sectors | Other |