[论文解读] Zero Lyapunov exponents of the Hodge bundle

Giovanni Forni, Carlos Matheus+1 more|arXiv (Cornell University)|Jan 29, 2012

Mathematical Dynamics and Fractals参考文献 29被引用 6

一句话总结

该论文构造了首个已知的算术Teichmüller曲线实例，其上实Hodge丛无PSL(2,R)-不变子丛，但仍表现出Lyapunov谱中的零指数。作者识别出一种新机制——在可约Hodge丛分解上非等距的单值群作用，解释了零指数的出现，该机制推广了基于等距单值群作用的先前理解。该机制被猜想是任意PSL(2,R)-不变测度下Lyapunov谱中零指数的唯一来源。

ABSTRACT

By the results of G. Forni and of R. Treviño, the Lyapunov spectrum of the Hodge bundle over the Teichmüller geodesic flow on the strata of Abelian and of quadratic differentials does not contain zeroes even though for certain invariant submanifolds zero exponents are present in the Lyapunov spectrum. In all previously known examples, the zero exponents correspond to those PSL(2,R)-invariant subbundles of the real Hodge bundle for which the monodromy of the Gauss-Manin connection acts by isometries of the Hodge metric. We present an example of an arithmetic Teichmüller curve, for which the real Hodge bundle does not contain any PSL(2,R)-invariant, continuous subbundles, and nevertheless its spectrum of Lyapunov exponents contains zeroes. We describe the mechanism of this phenomenon; it covers the previously known situation as a particular case. Conjecturally, this is the only way zero exponents can appear in the Lyapunov spectrum of the Hodge bundle for any PSL(2,R)-invariant probability measure.

研究动机与目标

• 解决长期存在的问题：零Lyapunov指数是否可能在Hodge丛谱中出现，而无需存在PSL(2,R)-不变子丛。
• 识别并表征Kontsevich–Zorich谱中零Lyapunov指数出现的新型机制，超越等距单值群作用。
• 构造一个具体的算术Teichmüller曲线，使得其实Hodge丛不可约，但仍支持零Lyapunov指数。
• 证明该新机制推广了先前已知的等距单值群情况，并且在猜想中是Lyapunov谱中零指数的唯一可能来源。

提出的方法

• 通过在具有适当对称性的基Riemann曲面上使用循环覆盖构造特定的算术Teichmüller曲线。
• 通过同调基分析Hodge丛分解，并利用显式路径积分和诱导同态计算单值群表示。
• 通过计算单值群的Zariski闭包，确定Hodge丛分解的不可约性与强不可约性。
• 利用伪酉cocycle理论，将Lyapunov谱与Gauss–Manin联络及单值群作用的动力学联系起来。
• 证明单值群在任何子丛上均不以等距方式作用，但因分解中隐藏的对称性，零指数仍会出现。
• 应用Veech群和闭测地线的图论编码，分析Teichmüller圆盘上的动力学并确认谱性质。

实验结果

研究问题

• RQ1 零Lyapunov指数是否可能在Hodge丛谱中出现，即使不存在PSL(2,R)-不变子丛？
• RQ2 除等距单值群外，何种动力学机制可导致Kontsevich–Zorich谱中的零Lyapunov指数？
• RQ3 新机制——在可约分解上非等距的单值群作用——是否在猜想中为谱中零指数的唯一可能来源？
• RQ4 如何在算术Teichmüller曲线的背景下显式构造并验证此类例子？
• RQ5 单值群的Zariski闭包在决定Hodge丛谱性质中起何种作用？

主要发现

• 本文提出一个具体的算术Teichmüller曲线实例，其实Hodge丛不可约（无PSL(2,R)-不变子丛），但其谱中仍包含零Lyapunov指数。
• 零指数并非源于等距单值群作用，而是源于单值群在Hodge丛可约分解上的非等距作用。
• 证明了单值群的Zariski闭包是辛群的真子群，表明该丛在单值群作用下并非完全可约。
• 显式计算了该实例的Lyapunov指数谱，确认在无不变子丛的情况下仍存在零指数。
• 所识别的机制推广了经典的等距单值群情况，且猜想其为任意PSL(2,R)-不变测度下Lyapunov谱中零指数的唯一可能来源。