[论文解读] Algebraic intersection in regular polygons

Boulanger, Julien, Erwan Lanneau+1 more|arXiv (Cornell University)|Oct 27, 2021

Mathematical Dynamics and Fractals参考文献 8被引用 1

一句话总结

该论文首次为由奇数 n ≥ 5 的双正 n 边形生成的非算术 Teichmüller 曲线上的代数交函数 KVol 建立了显式公式。通过双曲几何与双曲平面上的距离函数，作者推导出一个包含余切与双曲余弦项的闭式表达式，证明 KVol 在原始 Veech 曲面处唯一取得最小值，且在 Teichmüller 圆盘中的一条特定测地线上取得最大值。

ABSTRACT

We study the function $$\mbox{KVol} : (X,\omega)\mapsto \mbox{Vol} (X,\omega) \sup_{\alpha,\beta} \frac{\mbox{Int} (\alpha,\beta)}{l_g (\alpha) l_g (\beta)}$$ defined on the moduli spaces of translation surfaces. More precisely, let $\mathcal T_n$ be the Teichm\"uller discs of the original Veech surface $(X_n,\omega_n)$ arising from right-angled triangle with angles $(\pi/2,\pi/n,(n-2)\pi/2n)$ by the unfolding construction for $n\geq 5$. For $n \equiv 1 \mod 2$ and any $(X,\omega)\in \mathcal T_n$, we establish the (sharp) bounds $$ \frac{n}{2} \cot \frac{\pi}{n} \leq \mbox{KVol}(X,\omega) \leq \frac{n}{2} \cot \frac{\pi}{n} \cdot \frac1{\sin \frac{2\pi}{n}}.$$ The lower bound is uniquely realized at $(X_n,\omega_n)$.

研究动机与目标

• 计算非算术 Teichmüller 曲线上的代数交函数 KVol，特别是由奇数 n ≥ 5 的双正 n 边形生成的族 Tn。
• 将此前仅知于算术曲面或平坦环面的 KVol 结果扩展至非算术情形。
• 确定 KVol 在 Teichmüller 圆盘 Tn 上的最小值与最大值的精确位置及其取值。
• 证明 KVol 在非算术 Teichmüller 圆盘上有界，与算术情形下的无界行为形成对比。
• 证明 KVol 的上确界由双正 n 边形边的像所对应的曲线对实现。

提出的方法

• 将 Teichmüller 曲线 Tn 表示为 H²/Γn，其中 Γn 为型 (2,n,∞) 的 Hecke 三角群，并在双曲平面 H² 内工作。
• 定义函数 F(d,d′)(X) = cosh(dhyp(X, γd,d′)) / cosh(dhyp(X, γ₀,∞))，以比较 X 到测地线 γd,d′ 与 γ₀,∞ 的双曲距离。
• 利用双曲几何分析 F(d,d′) 在 Γn 作用的基本域 D+ 上的变化。
• 证明 F(d,d′) 在原始 Veech 曲面 X₀ 处取得最小值，方法为证明 log F(d,d′) 的梯度在 D+ 内不为零，且 F 沿边界递增。
• 应用 F(d,d′) 在 X₀ 处的最小值性质，推导出 K(d,d′) 的界，并将其与全局 KVol 函数关联。
• 利用恒等式 KVol(X,ω) = (n/2) cot(π/n) · 1/sin(π/n) · cosh(dhyp(X, γ₀,∞)) 得到显式公式。

实验结果

研究问题

• RQ1 对于由双正 n 边形生成的非算术 Teichmüller 曲线 Tn，KVol 的显式公式是什么？
• RQ2 KVol 在 Tn 上的最小值与最大值在何处取得，其精确值是多少？
• RQ3 KVol 在非算术 Teichmüller 圆盘上的行为与算术情形相比如何？
• RQ4 KVol 的极值是否由特定的几何曲线（如分歧连接线或多边形的边）实现？
• RQ5 KVol 在非算术 Teichmüller 圆盘上有界吗？若有界，其条件是什么？

主要发现

• 对于奇数 n ≥ 5，Tn 上的函数 KVol 由如下显式公式给出：KVol(X,ω) = (n/2) cot(π/n) · 1/sin(π/n) · cosh(dhyp(X, γ₀,∞))。
• KVol 在 Tn 上的最小值唯一地在原始 Veech 曲面 X₀ 处取得，其值为 KVol(X₀) = (n/2) cot(π/n)。
• KVol 在 Tn 上的最大值精确地沿测地线 γ₀,∞（在 H² 中从 0 到 ∞）取得，其值为 KVol = (n/2) cot(π/n) · 1/sin(π/n)。
• KVol 在 Tn 上是实解析的，除了在测地线 γ₀,∞ 上，该处达到其全局最大值。
• KVol 定义中的上确界由双正 n 边形边的像所对应的曲线对实现。
• KVol 在本原 Veech 曲面（即非算术情形）的 Teichmüller 圆盘上有界，与算术 Veech 曲面上的无界行为形成对比。