Details of Grant 

EPSRC Reference:	EP/M001113/1
Title:	Higher Grothendieck-Witt groups and A1-homotopy theory
Principal Investigator:	Schlichting, Dr M
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	Mathematics
Organisation:	University of Warwick
Scheme:	Standard Research
Starts:	28 February 2015	Ends:	28 February 2018	Value (£):	288,116
EPSRC Research Topic Classifications:	Algebra & Geometry
EPSRC Industrial Sector Classifications:	No relevance to Underpinning Sectors
Related Grants:
Panel History:	Panel Date Panel Name Outcome 11 Jun 2014 EPSRC Mathematics Prioritisation Meeting June 2014 Announced
Summary on Grant Application Form
An inner product space over a commutative ring R is a finitely generated projective R-module equipped with a non-degenerate symmetric bilinear form. Inner product spaces are important everywhere in mathematics but also for instance in physics (e.g., Minkowski space), chemistry (e.g., crystallography) and computer science (e.g., design of codes for a band limited channel). In general, the classification of inner product spaces is a very difficult problem. As an example, the classification of projective modules over the ring of integers Z is easy (there is, up to isomorphism, precisely one for every given rank) whereas the classification of inner product spaces over Z is unknown: for a given rank there are only finitely many isometry classes but we don't know how many (even positive definite) inner product spaces of rank 32 there are over Z. Though still far from being trivial, the study of inner product spaces simplifies when one introduces stable equivalence: two inner product spaces X and Y are stably equivalent if there is a third such space Z and an isometry between the orthogonal sum of X and Z with the orthogonal sum of Y and Z. For instance, two inner product spaces over the ring of integers are stably equivalent if and only if they have the same rank and signature. The set of stable equivalence classes becomes an abelian monoid under orthogonal sum and embeds into the Grothendieck-Witt group GW(R) of formal differences of stable equivalence classes. For many rings (such as fields and local rings in which 2 is a unit) two inner product spaces are isometric if and only if they have the same class in GW(R). For such rings, the classification of inner product spaces thus amounts to computing the group GW(R). The computation of these groups is greatly aided by the fact that they are part of a cohomology theory which allows us to compute GW(R) from "local data". So far, most tools to compute the groups GW(R) only work when 2 is a unit in R which is a (hopefully unnecessary) restrictive assumption. The main objective of the proposal is to develop tools for computing GW(R) that don't need 2 to be a unit in R. A second objective is the study of GW(R) in the context of an algebraic analogue (A1-homotopy theory) of the continuous world around us which was used by Voevodsky in his work on the Bloch-Kato conjecture which won him the Fields medal.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk Summary Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:
Further Information:
Organisation Website:	http://www.warwick.ac.uk