EPSRC Reference: 
EP/N006542/1 
Title: 
CohenLenstra heuristics, and ordinary representations of finite groups 
Principal Investigator: 
Bartel, Professor A 
Other Investigators: 

Researcher CoInvestigators: 

Project Partners: 

Department: 
Mathematics 
Organisation: 
University of Warwick 
Scheme: 
First Grant  Revised 2009 
Starts: 
01 September 2015 
Ends: 
31 August 2017 
Value (£): 
99,020

EPSRC Research Topic Classifications: 

EPSRC Industrial Sector Classifications: 
No relevance to Underpinning Sectors 


Related Grants: 

Panel History: 
Panel Date  Panel Name  Outcome 
16 Jun 2015

EPSRC Mathematics Prioritisation Panel June 2015

Announced


Summary on Grant Application Form 
One of the fundamental problems in Pure Mathematics is to understand and measure symmetries. Classically, the word "symmetry" was applied to geometric shapes, e.g. referring to rotations and reflections of regular polygons or solids. However, after the ground breaking contributions of Évariste Galois in the 19th century, we have learned to understand symmetries in a much wider sense, and the notion of symmetry has been put on a powerful rigorous footing by group theory, and later by representation theory. These days, we express the idea of symmetry through the language of group actions. Two of the most fundamental group actions in pure mathematics are actions on sets ("Gsets"), and actions on vector spaces ("linear representations"). It is an old problem with many applications in and outside of algebra, and with a rich literature, to understand the natural procedure that turns a set with a group action into a vector space with the induced group action. In previous joint work with Tim Dokchitser, we have completely understood one side of this procedure, namely when distinct Gsets give rise to the same representation, thereby settling an over 60 year old problem. We have also made considerable progress on the dual question of which representations can be obtained from Gsets. In this project, I propose to settle instances of this latter problem for several further important infinite families of finite groups.
The oldest branch of mathematics is the area called number theory, the biggest open problems today going back to the ancient Greeks. The second part of the proposed project, to be carried out jointly with Hendrik Lenstra, lives at the intersection of representation theory and number theory. The aim is to study symmetry groups of several classical number theoretic invariants, such as class groups. Gauss was the first to ask statistical questions about the structure of class groups, e.g. how often are they trivial, and how fast does their size grow in families.Many of these questions are open to this day. But our conceptual understanding in this area was revolutionised by a paper of Cohen and Lenstra from the early 80s, who proposed that the main factor that accounts for the frequency of algebraic objects in nature is the number of symmetries of this object (in highbrowese the size of its automorphism group). Their heuristic works "out of the box" and agrees very well with numerical experiments in the easiest and moststudied family of ideal class groups (those of imaginary quadratic fields), but its generalisations to arbitrary families seem to deviate from the basic idea and to modify the postulated probability weights in adhoc ways. Until now, a conceptual explanation of these modifications has remained elusive. In this project, I will develop a framework that allows to compare sizes of automorphism groups, even when those groups are infinite. This will allow to recast the original CohenLenstra heuristic for general families of class groups in a much more conceptual way, but it will also make it applicable in many more general situations. I plan to use this framework to investigate other statistical properties of many important number theoretic invariants, such as class groups, socalled Kgroups, and also Selmer groups of elliptic curves. Those are some of the most fascinating and mysterious objects in number theory. The algebraic machine that I will develop to this end will also be of intrinsic interest, and will have applications to distribution questions in other areas, e.g. in geometry (to homology of hyperbolic manifolds) and combinatorics (to Jacobians of graphs).

Key Findings 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk

Potential use in nonacademic 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 