Arithmetic Groups, Their Applications and Generalizations

该项目涉及算术群理论和相关领域的广泛问题。部分建议建立在PI与Gopal Prasad最近的工作基础上，其中引入，分析了半简单代数群的zariski密集子群的弱可通约性概念，然后将其应用于处理长度可通约性和等谱局部对称空间的微分几何问题。该领域的目标之一是完成绝对几乎单群的弱可通约算术子群的研究，并将结果推广到一些非算术群。进一步的目标包括研究一般半简单群的子群和正特征域上的群的弱可通约性。该提案提出了这些结果在微分几何中的潜在应用。该建议的另一个重要组成部分是同余子群问题，这是与非交换除法代数相关的各向异性群尚未解决的问题。讨论了同余核中心性的新准则，以期在新情况下解决同余子群问题。此外，PI和G. Prasad计划写一本关于同余子群问题的书。与同余子群问题密切相关的是代数群的有理点群的正规子群结构的研究；这里的目标之一是获得有限维除法代数的乘法群的同余子群定理的最终形式，这将完成PI与Y. Segev和G.M. Seitz共同进行的一长串研究。该建议还包含了一些涉及算术群的各种推广的问题，范围从任意Zariski-dense子群到自由群的自同构群。算术群是一种特殊的群，它的元素是具有整项的矩阵。这个概念，可以追溯到高斯对积分二次型的研究，在数学的许多领域起着至关重要的作用，包括代数和数论的各个部分（例如，自同构形式理论）。近年来，算术群理论在代数几何、微分几何、李群和组合学中出现了新的应用。该提案着重于算术群理论的几个重要方面以及潜在的应用。

The project addresses a broad range of problems in the theory of arithmetic groups and related areas. Part of the proposal builds on recent work of the PI with Gopal Prasad in which the notion of weak commensurability of Zariski-dense subgroups of semi-simple algebraic groups was introduced, analyzed and then applied to problems in differential geometry dealing with length-commensurable and isospectral locally symmetric spaces. One of the goals in this area is to complete the investigation of weakly commensurable arithmetic subgroups of absolutely almost simple groups and to extend the results to some nonarithmetic groups. Further goals include investigating weak commensurability for subgroups of general semi-simple groups and for groups over fields of positive characteristic. The proposal addresses potential applications of these results to differential geometry. Another important component of the proposal is the congruence subgroup problem, which remains unresolved for anisotropic groups associated with noncommutative division algebras. The proposal discusses new criteria for the centrality of the congruence kernel that are expected to lead to the resolution of the congruence subgroup problem in new cases. In addition, the PI and G. Prasad plan to write a book on the congruence subgroup problem. Closely related to the congruence subgroup problem is the investigation of the normal subgroup structure of the groups of rational points of algebraic groups; one of the objectives here is to obtain an ultimate form of the congruence subgroup theorem for the multiplicative group of a finite-dimensional division algebra, which would complete a long line of research conducted by the PI jointly with Y. Segev and G.M. Seitz. The proposal also contains a number of problems that involve various generalizations of arithmetic groups, ranging from arbitrary Zariski-dense subgroups to the automorphism groups of free groups. Arithmetic groups are special groups whose elements are matrices with integral entries. This notion, which can be traced back to the work of Gauss on integral quadratic forms, plays a crucial role in many areas of mathematics including algebra and various parts of number theory (e.g., the theory of automorphic forms). In recent years, new applications of the theory of arithmetic groups have emerged in algebraic and differential geometry, Lie groups and combinatorics. The proposal focuses on several important aspects of the theory of arithmetic groups as well as on potential applications.