[论文解读] On a Relation between Spectral Theory of Lens Spaces and Ehrhart Theory

Hossein Mohades, B. Honari|arXiv (Cornell University)|Jan 17, 2016

Advanced Combinatorial Mathematics参考文献 18被引用 3

一句话总结

本文通过为每个透镜空间关联一个有理单纯形，建立了透镜空间的谱理论与Ehrhart理论之间的联系，证明了同谱性意味着在缩放多面体中的格点数量以及在相关环面代数簇上的全纯截面数量相等。关键贡献是利用SO(n)的调和多项式表示，对Lauret、Miatello和Rossetti关于同谱透镜空间的定理给出了直接证明。

ABSTRACT

In this article Ehrhart quasi-polynomials of simplices are employed to determine isospectral lens spaces in terms of a finite set of numbers. Using the natural lattice associated with a lens space the associated toric variety of a lens space is introduced. It is proved that if two lens spaces are isospectral then the dimension of global sections of powers of a natural line bundle on these two toric varieties are equal and they have the same general intersection number. Also, harmonic polynomial representation of the group SO(n) is used to provide a direct proof for a theorem of Lauret, Miatello and Rossetti on isospectrality of lens spaces.

研究动机与目标

• 建立透镜空间中同谱性与有理多面体Ehrhart理论之间的几何与代数桥梁。
• 利用其底层格点结构，为每个透镜空间定义一个自然的环面代数簇。
• 证明同谱透镜空间在相关环面代数簇上其自然线丛的k次幂的全纯截面空间维数相等。
• 利用SO(n)的调和多项式表示，直接证明透镜空间的同谱性准则。
• 通过将其与组合几何和代数几何联系，将同谱性的理解从表示论方法推广至更广泛领域。

提出的方法

• 利用透镜空间的自然格点结构，为其关联一个有理单纯形。
• 定义该单纯形的Ehrhart准多项式，以计数缩放副本中的格点数量。
• 通过关联的扇形和线丛，构造与单纯形相关的环面代数簇。
• 利用R^n上的调和齐次多项式实现SO(n)的不可约表示，并计算谱重数。
• 应用Bernstein-Kouchnirenko定理，将环面代数簇的次数与多面体的体积相关联。
• 利用同谱性意味着缩放多面体中格点数量相等的事实，从而推出线丛全纯截面数量相等。

实验结果

研究问题

• RQ1 能否通过关联的有理单纯形的Ehrhart理论来表征透镜空间的同谱性？
• RQ2 是否存在一个与透镜空间自然关联的环面代数簇，使得同谱性等价于其自然线丛幂的全纯截面维数相等？
• RQ3 能否利用SO(n)的调和多项式表示，直接证明透镜空间的同谱性准则？
• RQ4 关联环面代数簇上线丛的全纯截面如何反映透镜空间的谱不变量？
• RQ5 关联环面代数簇的交数和次数能否用于表征同谱透镜空间？

主要发现

• 若两个透镜空间同谱，则它们在相关环面代数簇上其自然线丛k次幂的全纯截面空间维数对所有k ∈ ℕ均相等。
• 相关环面代数簇的次数相等，因为其由Hilbert多项式的首项系数决定，而该系数对应于有理单纯形的体积。
• 与透镜空间关联的单纯形的Ehrhart准多项式计数缩放副本中的格点数量，这直接对应于谱中特征值的重数。
• 通过SO(n)的调和多项式表示，重新推导了Lauret、Miatello和Rossetti关于同谱性准则的证明，提供了直接的代数几何论证。
• 与透镜空间关联的环面代数簇上的自然线丛，其全纯截面维数由该Ehrhart准多项式在k处的取值给出。
• 环面代数簇的一般交数在同谱性下保持不变，反映出在谱等价下高维交数的不变性。