Cohen-Lenstra heuristics, Brauer relations, and low-dimensional manifolds

数学中一个重要的概念是对称性。人们过去常常认为对称性是几何形状的一种性质，但在19世纪世纪，Evariste Galois将对称性的概念扩展到代数对象，今天他的见解完全是纯数学的基础。该计划的基本目标是研究算术和几何对象的对称性，它位于代数学、数论和拓扑学之间，也依赖于概率论和加法组合学的技术。数论是一门古老的数学学科，拥有2000多年的丰富历史，但近年来也有惊人的发展。最近一些最令人印象深刻的进展发生在数论领域，称为算术统计：Manjul Bhargava的开创性贡献在2014年获得了菲尔兹奖。算术统计学的目的是了解算术对象的行为，如（射线）类组，在家庭中。这个领域的诞生可以追溯到高斯，他制定了一些关于二次域类群行为的具体理论。在20世纪80年代，它得到了巨大的推动，当时科恩和伦斯特拉提出了一个通用模型，其中包含了高斯的所有假设，甚至更多。粗略地说，他们假设虚二次域的类群服从一个概率分布，该概率分布赋予有限阿贝尔群X一个概率，该概率与X的对称数成反比。事实上，这是随机代数对象的一个非常自然的模型。这后来被推广到其他领域的科恩和马丁内，但在更一般的情况下，概率分布看起来更神秘。从那时起，科恩-伦斯特拉-马丁内启发式就被用作算术统计学的指导原则，并在许多其他领域得到了应用，如椭圆曲线理论、组合数学和微分几何。这个项目将包括定理、图解和计算的混合。我将：-显示，原来的aesthetures是假的，如前所述，-找到正确的配方，-把它们放在一个更概念的基础上，通过解释神秘的期待概率权重的科恩-马丁内使用理论的可扩展性的代数对象，我一直在发展与亨德里克Lenstra，-扩大范围的aesthetics，例如射线类群。其他两种非常基本的对象，其对称性的研究是有限集和有限维向量空间。表示论中的一个老问题，应用于数论和微分几何，是比较集合的对称性与向量空间的对称性，特别是确定当集合变成向量空间时，集合的哪些对称性变得同构（本质上相同）。这个问题有两种表现形式：一种是向量空间在特征为0的域上，例如在真实的数上，另一种是向量空间在正特征的域上。在以前与Tim Dokchitser的合作中，我们已经解决了特征0的情况，从而解决了一个60多年的老问题。利用我们发展的技巧，以及新的技巧，本计画将解决正特征的情形。最后，我也将研究低维流形的对称性。这些都是现代几何学和拓扑学研究的基本对象，从已知流形的对称性出发，确定人们对流形的拓扑能说些什么，这是一个古老而富有成果的研究方向。在最近与Aurel Page的联合工作中，我将一种新的表示理论工具引入了该领域，我曾在数论背景下工作过。使用这些新技术，我计划阐明更多的对称性和流形拓扑之间的联系。

A concept of central importance in mathematics is that of symmetry. One used to think of symmetry as a property of geometric shapes, but in the 19th century Evariste Galois extended the concept of symmetry to algebraic objects, and today his insights are completely fundamental to pure mathematics. The underlying goal of this proposal, which is situated between Algebra, Number Theory, and Topology, relying also on techniques from Probability Theory and Additive Combinatorics, is to study symmetries of arithmetic and geometric objects.Number Theory is an ancient mathematical discipline with a rich history of over 2000 years, but also with spectacular developments in recent years. Some of the most impressive recent advances have happened in the area of Number Theory called Arithmetic Statistics: the groundbreaking contributions of Manjul Bhargava have been rewarded with a Fields Medal in 2014. The aim of Arithmetic Statistics is to understand the behaviour of arithmetic objects, such as (ray) class groups, in families. The birth of this area goes back to Gauss, who formulated some concrete conjectures concerning the behaviour of class groups of quadratic fields. It was given a huge boost in the 1980s, when Cohen and Lenstra proposed a general model that implied all the conjectures of Gauss, and more. Roughly speaking, they postulated that class groups of imaginary quadratic fields obey a probability distribution that assigns to a finite abelian group X a probability that is inverse proportional to the number of symmetries of X. This is, in fact, a very natural model for random algebraic objects. This was later generalised to other number fields by Cohen and Martinet, but in more general cases the probability distributions looked more mysterious. The Cohen-Lenstra-Martinet Heuristics have been used as a guiding principle in Arithmetic Statistics since then, and have found applications in many other areas, such as the theory of Elliptic Curves, in Combinatorics, and in Differential Geometry. This project will consist of a blend of theorems, conjectures, and computations. I will:- show that the original conjectures are false, as stated,- find the correct formulations,- put them on a more conceptual footing, by explaining the mysterious looking probability weights of Cohen-Martinet using a theory of commensurability of algebraic objects that I have been developing together with Hendrik Lenstra,- extend the scope of the heuristics, e.g. to ray class groups.Two other kinds of very basic objects whose symmetries one studies are finite sets and finite dimensional vector spaces. An old problem in Representation Theory, with applications to Number Theory and Differential Geometry, is to compare symmetries of sets with symmetries of vector spaces, and in particular to determine which symmetries of sets become isomorphic (essentially the same) when the sets are turned into vector spaces. There are two incarnations of this problem: one where the vector spaces are over a field of characteristic 0, e.g. over the real numbers, and one where they are vector spaces over a field of positive characteristic. In previous joint work with Tim Dokchitser we have solved the case of characteristic 0, thereby settling an over 60 year old problem. Using the techniques that we developed, and new ones, this project will settle the case of positive characteristic.Finally, I will also investigate symmetries of low-dimensional manifolds. These are the basic objects studied by modern geometry and topology, and it is an old and fruitful line of investigation to determine what one can say about the topology of the manifold from knowing its symmetries. In recent joint work with Aurel Page, I have introduced a new representation theoretic tool into the area, which I had worked on in number theoretic contexts. Using these new techniques, I am planning to shed more light on the connection between symmetries and the topology of the manifold.