[论文解读] Properties of Eigenvalues on Riemann Surfaces with Large Symmetry Groups

Joseph A. Cook|arXiv (Cornell University)|Aug 26, 2021

Spectral Theory in Mathematical Physics参考文献 55被引用 10

一句话总结

本博士论文研究了具有大对称性群的紧致黎曼曲面上特征值的谱性质，重点关注双曲曲面（亏格2）和克莱因四次曲面（亏格3）。通过结合群表示论与分析方法，作者证明了博尔察曲面上第一个正特征值的重数为3，确定了相应的不可约表示，并表明第二个不同的正特征值重数为4，其结论基于一个由数值证据支持的猜想。

ABSTRACT

On compact Riemann surfaces, the Laplacian has a discrete, non-negative spectrum of eigenvalues of finite multiplicity. The spectrum is intrinsically linked to the geometry of the surface. In this work, we consider surfaces of constant negative curvature with a large symmetry group. It is not possible to calculate explicitly the eigenvalues for surfaces in this class, so we combine group theoretic and analytical methods to derive results about the spectrum. In particular, we focus on the Bolza surface and the Klein quartic. These have the highest order symmetry groups among compact Riemann surfaces of genera 2 and 3 respectively. We analyse the irreducible representations of the full isomorphism group of the Bolza surface and prove that the multiplicity of the first positive eigenvalue is 3, building on the work of Jenni, and identify the irreducible representation that corresponds to this eigenspace. This proof relies on a certain conjecture, for which we give substantial numerical evidence and a hopeful method for proving. We go on to show that the second distinct positive eigenvalue has multiplicity 4.

研究动机与目标

• 理解具有大等距群的紧致黎曼曲面上拉普拉斯算子的谱性质，特别是其在给定亏格下具有最大对称性的曲面。
• 在詹尼先前工作的基础上，确定博尔察曲面上第一个正特征值的重数。
• 识别与博尔察曲面上第一个正特征值对应的特征空间相对应的等距群的不可约表示。
• 计算博尔察曲面上第二个不同正特征值的重数。
• 提出一个谱分解的猜想，该猜想得到大量数值证据的支持。

提出的方法

• 应用表示论，根据博尔察曲面完整等距群的不可约表示，分解拉普拉斯算子的特征空间。
• 利用群特征标与特征标正交性，分析不变子空间中特征值的重数。
• 通过数值计算与谱数据验证，支持关于特征空间分解结构的关键猜想。
• 采用解析延拓与对称性约化技术，简化高度对称曲面上的谱问题。
• 与克莱因四次曲面上的已知结果进行比较，以验证方法并指导博尔察曲面的分析。
• 将谱理论与自守形式中的方法加以改编，以处理常负曲率的曲面。

实验结果

研究问题

• RQ1 博尔察曲面上第一个正特征值的重数是多少？其对应的等距群的不可约表示是什么？
• RQ2 当显式计算特征值不可行时，如何分析具有大对称性群的黎曼曲面上拉普拉斯算子的谱分解？
• RQ3 博尔察曲面上第二个不同正特征值的重数是多少？
• RQ4 一个特定猜想在建立谱重数结果中起什么作用？其数值证据是什么？
• RQ5 鉴于博尔察曲面与克莱因四次曲面在其各自亏格下均具有最大对称性，它们的谱性质有何异同？

主要发现

• 博尔察曲面上第一个正特征值的重数恰好为3，证实并扩展了詹尼先前的结果。
• 与第一个正特征值对应的特征空间在等距群的一个特定不可约表示下变换，该表示已被明确识别。
• 博尔察曲面上第二个不同的正特征值具有重数4。
• 证明第一个特征值重数所需的关键猜想，得到了谱计算中大量数值证据的支持。
• 所开发的方法为分析其他具有大对称性群的紧致黎曼曲面上的特征值重数提供了一个框架。
• 结果表明，表示论与数值验证相结合，为在高度对称但非显式可解的曲面上进行谱分析提供了可行路径。