Collaborative Research: Rank and Duality in Representation Theory

这个项目涉及表象理论。对称性是初等几何中熟悉的概念--许多最重要的图形(直线、圆、正方形)都是对称的。人们不那么广泛地认识到，对称性被发现是理解世界的基础。相对论和量子力学是20世纪物理学的两大发展，它们都在很大程度上依赖于对称思想。线性代数是19世纪末和20世纪末的另一个数学发展，现在在整个科学中得到了广泛的应用。表示论是研究对称如何与线性代数相结合的学科。这个项目处理不同物体的对称系统之间的对应，称为ETA对应。这个项目的第一阶段是证明一些最重要的对称有限系统存在ETA对应，以及如何描述这些对应。这个项目的后续阶段将把ETA对应扩展到更多的案例，改进用于描述它们的概念，并使用它们来将表示理论应用于纯数学和应用数学中的广泛问题。更详细地，本项目引入了一种创新的方法来研究有限域和局部域上的经典群的表示，这种方法似乎有利于调和分析。将发展一种有效的表示法“大小”理论，包括精确的定义和分析给定大小的表示法。有限环境中的动机来自于这样一个事实，即许多关于有限群的问题(例如，随机游走、词映射、Cayley图等)。可以用调和分析来逼近。更准确地说，介入这些问题的是相关群G的不可约表示(RRAP)的字符比率(字符除以维度)。一般而言，精确地计算字符比率是不可行的，但对于应用来说，通常足以表明对于大多数表示而言，字符比率是小的。由于在许多情况下，表示的维度使得字符比率较小，因此第一阶段是理解RUNP的维度，尤其是那些维度远小于平均值的那些，因为它们最有可能对任何字符比率的总和做出主要贡献。研究人员有一个适用于所有经典群的理论，甚至可能适用于有限域和局部域上的所有约化群。他们提出了几种不同的表示等级的概念，他们怀疑，尽管本质上不同，但这些概念是等价的。有了这些概念，就提供了关于G的不可解的维度的大量信息。此外，研究人员发现了一种系统的结构，称为ETA对应，它是在给定排名的G的不可解的大族与(全部或大部分)较小群H的不可解之间的系统结构。有理由相信这种结构是穷尽的，该项目试图证明这一猜想。ETA通信提供了对其构建的表示的字符比例的强大控制，这种关系的正式处理将形成项目的第二阶段。到目前为止，一个重要的发现是，尽管给定等级的unp的大小差别很大，但这些unp的字符比例几乎相等。因此，为了调和分析的目的，固定秩次的表示形成一个自然族来研究。最后，在项目的第三阶段，研究人员将对群论及其应用中的几个公开问题应用特征比率和维度的界限。这个奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

This project concerns representation theory. Symmetry is a familiar concept in elementary geometry -- many of the most important figures (lines, circles, squares) are symmetrical. It is less widely appreciated that symmetry has been found to be fundamental for understanding the world. Both the theory of relativity and quantum mechanics, two major developments in physics during the 20th century, rely heavily on ideas of symmetry. Linear algebra is another mathematical development of the late 19th and 20th centuries that is now heavily used throughout science. Representation theory is the study of how symmetry can be combined with linear algebra. This project deals with correspondences, called eta correspondences, between systems of symmetries of different objects. The first phase of this project is to show that there are eta correspondences for some of the most important finite systems of symmetries, and how to describe these correspondences. Subsequent phases of the project will extend eta correspondences to more cases, refine the concepts used to describe them, and use them to apply representation theory to a broad range of questions in pure and applied mathematics.In more detail, this project introduces an innovative approach to the study of representations of classical groups over finite and local fields, an approach that seems beneficial for harmonic analysis. An effective theory of "size" for representations will be developed, including a precise definition and a method to analyze representations of a given size. The motivation in the finite setting comes from the fact that many questions about finite groups (e.g., random walks, word maps, Cayley graphs, etc.) can be approached using harmonic analysis. More precisely, what intervenes in such problems are the character ratios (character divided by dimension) of the irreducible representations (irreps) of the relevant group G. In general, it is not feasible to compute the character ratios exactly, but for applications it often suffices to show that the character ratios are small for most representations. Since in many cases the dimension of the representation is what makes the character ratio small, the first phase is to understand the dimensions of irreps and, especially, those with dimensions that are much smaller than average, since they most likely to make the dominant contributions to any sum of character ratios. The investigators have a theory that is applicable to all classical groups and, perhaps, even to all reductive groups over finite and local fields. They propose several different notions of rank of a representation, and they suspect that, although different in nature, these notions are equivalent. Having these notions in hand gives a lot of information on the dimensions of the irreps of G. In addition, the investigators discovered a systematic construction, called the eta correspondence, between large naturally defined families of irreps of G of a given rank, and (all, or most of) the irreps of a smaller group H. There is reason to believe that this construction is exhaustive, and the project pursues a proof of this conjecture. The eta correspondence gives strong control over character ratios for the representations it constructs, and a formal treatment of this relation will form the second phase of the project. A significant discovery so far is that although the dimensions of irreps of a given rank vary considerably, the character ratios of these irreps are nearly equal. Thus, for purposes of harmonic analysis, representations of a fixed rank form a natural family to study. Finally, in the third phase of the project, the investigators will apply bounds on character ratios and dimensions to several open problems in group theory and its applications.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.