Homology growth in families of locally symmetric spaces

局部对称空间族中的同源增长

• 批准号: RGPIN-2018-04784
• 负责人: Lipnowski, Michael
• 金额: $ 1.17万
• 依托单位: McGill University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2020
• 资助国家: 加拿大
• 起止时间: 2020-01-01 至 2021-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=712364
• 关键词: Homology; growth; families; locally; symmetric

Work of Serre, Ash, Calegari-Venkatesh, Bergeron-Venkatesh, and Scholze paints a very compelling picture of the significance of torsion in the homology of arithmetic groups. Systems of eigenvalues for Hecke operators acting on the homology of locally symmetric spaces associated with congruence arithmetic groups are now expected to be the universal source of number fields whose Galois groups are Lie groups of finite type. This expectation has been dubbed the "Langlands program over Z"; it includes Serre's conjecture on the modularity of odd, 2-dimensional mod p Galois representations as a special case. The Langlands Program over Z would be vacuous if not for quantitative (asymptotic) results proving that torsion in the homology of arithmetic groups is (at least sometimes) abundant. A convincing model predicting exactly which arithmetic groups should contain abundant torsion in their homology was laid out in work of Bergeron-Venkatesh; significant supporting evidence was proven ibid and in works of Marshall-Muller, Muller-Pfaff, and others. Current understanding of torsion growth, however, is very limited in "weights" for which both torsion and rational cohomology coexist. Furthermore, - If we expect torsion to be abundant in the homology of an explicit arithmetic group, then surely we should be able to "see it on a computer". - The landscape of reciprocity over Z is "wide open" and full of conjecture. The most germane conjectures therein are falsifiable and it seems very worthwhile to confirm them computationally, insofar as it is possible. State of the art approaches for computing the homology of arithmetic groups, however, are ad hoc and have limited scope due to algorithmic efficiency issues. Devising algorithms to efficiently compute the homology of arithmetic groups (and Hecke actions thereon) is therefore very worthwhile. My research program, over the next five years, will center around the above two themes. Namely, it will study: (A) growth of topological invariants in families of finite volume locally symmetric spaces, especially torsion in homology. (B) how to effectively and efficiently compute these invariants. My most significant progress on these problems: (A*) (from one year ago) Joint with Mark Stern, I show that tiny 1-form Laplacian eigenvalues on hyperbolic 3-manifolds, a known obstruction to growth of torsion in the first homology group, are related to the failure of short loops to be ``efficiently bounded." (B*) (ongoing) Joint with Aurel Page, we devise a general, efficient algorithm to computing the topology of congruence, arithmetic locally symmetric spaces and Hecke actions thereon. Torsion in the homology of arithmetic groups is a "hot topic"; the time is ripe for progress on problems (A) and (B) and such progress would have great utility. Meditation on my works with Stern and Page, alluded in (A*) and (B*), inspired many of specific problems I suggest in the present proposal.

Serre，Ash，Calegari-Venkatesh，Bergeron-Venkatesh和Scholze的作品都非常引人注目 扭转在算术组同源性中的重要性。特征值系统 对于与一致性相关的本地对称空间同源性的Hecke运营商 现在预计算术组是数字字段的通用来源 是有限类型的谎言组。这种期望被称为“ Z上的Langlands计划”；它 包括Serre对奇数，二维mod p galois表示的模块化的猜想 一个特殊情况。 如果不是定量（渐近）结果，则Z上的Langlands计划将是空置的 算术群的同源性的扭转（至少有时）丰富。令人信服的 模型准确预测哪些算术组应包含其同源性大量扭转 被布置在Bergeron-Venkatesh的工作中；证明了大量的支持证据，同上 Marshall-Muller，Muller-Pfaff等的作品。但是，当前对扭转生长的理解 扭转和理性共同体共存的“权重”非常有限。 此外， - 如果我们期望扭转在显式算术群的同源性中很丰富，那么肯定 我们应该能够“在计算机上看到它”。 - Z上互惠的景观是“大开”的，充满了猜想。最隐理的 其中的猜想是可伪造的，似乎很值得在计算上确认它们， 在可能的情况下。 但是 由于算法效率问题的范围有限。设计算法有效计算 因此，算术群体（和Hecke行动）的同源性非常值得。 在接下来的五年中，我的研究计划将围绕上述两个主题。即，它 将研究： （a）有限体积局部对称空间的拓扑不变性的增长，尤其是 同源性扭转。 （b）如何有效，有效地计算这些不变性。 我在这些问题上最重大的进展： （A*）（从一年前）与马克·斯特恩（Mark Stern）的关节，我表明，在双曲线3个manifolds上的微小1形laplacian特征值，这是第一个同源性组中扭转的已知障碍，与短路未能受到``高效界限''的未能失败。 （B*）（正在进行的）与AUREL页面的关节，我们为计算一致性，算术局部对称空间和Hecke Actions的一般，有效的算法设计了一种一般，有效的算法。 算术组的同源性扭转是一个“热门话题”。时间已经成熟了 问题（a）和（b）以及这样的进展将具有很大的实用性。 与斯特恩一起冥想 在（a*）和（b*）中提到的页面，启发了我在 目前的建议。