[论文解读] Asymptotic behaviour of ergodic integrals of `renormalizable' parabolic flows

Giovanni Forni|ArXiv.org|Apr 28, 2003

Mathematical Dynamics and Fractals参考文献 4被引用 4

一句话总结

本文通过在模空间上引入重整化动力系统，建立了一个分析可重整化抛物流中遍历积分渐近行为的一般框架，推广了Kontsevich-Zorich框架。证明了遍历积分表现出由重整化cocycle的Oseledec分解导出的幂律增长，将Zorich现象扩展至齐性3-流形上的 horocycle 流与幂零流。

ABSTRACT

Ten years ago A. Zorich discovered, by computer experiments on interval exchange transformations, some striking new power laws for the ergodic integrals of generic non-exact Hamiltonian flows on higher genus surfaces. In Zorich's later work and in a joint paper authored by M. Kontsevich, Zorich and Kontsevich were able to explain conjecturally most of Zorich's discoveries by relating them to the ergodic theory of Teichmüller flows on moduli spaces of Abelian differentials. In this article, we outline a generalization of the Kontsevich-Zorich framework to a class of `renormalizable' flows on `pseudo-homogeneous' spaces. We construct for such flows a `renormalization dynamics' on an appropriate `moduli space', which generalizes the Teichmüller flow. If a flow is renormalizable and the space of smooth functions is `stable', in the sense that the Lie derivative operator on smooth functions has closed range, the behaviour of ergodic integrals can be analyzed, at least in principle, in terms of an Oseledec's decomposition for a `renormalization cocycle' over the bundle of `basic currents' for the orbit foliation of the flow. This approach was suggested by the author's proof of the Kontsevich-Zorich conjectures and it has since been applied, in collaboration with L. Flaminio, to prove that the Zorich phenomenon generalizes to several classical examples of volume preserving, uniquely ergodic, parabolic flows such as horocycle flows and nilpotent flows on homogeneous 3-manifolds.

研究动机与目标

• 将Kontsevich-Zorich框架推广至‘伪齐性’空间上的一类‘可重整化’流。
• 分析在双曲与椭圆方法失效时，抛物流中遍历积分的渐近行为。
• 建立重整化cocycle的Lyapunov指数与遍历平均偏差谱之间的联系。
• 证明Zorich现象——遍历积分的幂律增长——不仅存在于区间交换变换中，也扩展至经典抛物流（如horocycle流与幂零流）中。

提出的方法

• 在流的轨道叶层的‘基本电流’模空间上构造一种‘重整化动力系统’。
• 定义作用于基本电流丛上的‘重整化cocycle’，推广Teichmüller流。
• 对重整化cocycle应用Oseledec定理，获得具有偏差指数的谱分解。
• 利用光滑函数在李导数算子作用下的稳定性（闭值域条件）以保证分解的存在性。
• 通过公式 $1 - \nu_k / \mu_X \geq 0$ 将cocycle的Lyapunov指数与不变分布的Sobolev正则性联系起来。
• 证明在齐性情形（如horocycle流）中，Oseledec分解对应于表示理论中的锥形分布。

实验结果

研究问题

• RQ1 Zorich现象——遍历积分的幂律增长——是否可超越区间交换变换，推广至其他抛物流？
• RQ2 重整化cocycle在决定非双曲流中遍历积分渐近行为方面起什么作用？
• RQ3 重整化cocycle的Lyapunov指数如何与不变分布的Sobolev正则性相关？
• RQ4 Oseledec分解在何种意义上控制了遍历平均的偏差谱？
• RQ5 上同调上的Kontsevich-Zorich cocycle与电流上全重整化cocycle之间有何关系？

主要发现

• 遍历积分的渐近展开式为 $\int_0^T f(\Phi^X(t,p)) dt = \sum_{i,j} c_{ij}(p,T) \mathcal{D}_{ij}(f) T^{\lambda_i} + R(p,T)(f)$，其中系数与余项关于 $T$ 为次多项式。
• 偏差指数 $\lambda_i$ 由重整化cocycle的Lyapunov谱导出，满足 $\lambda_1 > \cdots > \lambda_k > \cdots > 0$。
• 在horocycle流情形，Oseledec分解对应于锥形分布，将遍历理论与表示理论联系起来。
• 在高亏格曲面上非精确哈密顿流的情形，重整化cocycle的正Lyapunov指数与Kontsevich-Zorich指数一致，即 $\lambda_1 = 1 > \lambda_2 \geq \cdots \geq \lambda_g > 0$。
• 基本电流的Sobolev阶为 $1 - \nu_k / \mu_X$，将正则性与Lyapunov指数联系起来。
• 当 $s >> 1$ 时，上同调映射 $j_\kappa$ 是满射，且重整化cocycle在 $H^1_{\kappa}(S\setminus Z, \mathbb{R})$ 上投影为Kontsevich-Zorich cocycle，其指数满足 $\lambda_1 = 1 > \lambda_2 \geq \cdots \geq \lambda_g \geq 0 \geq \cdots \geq -\lambda_2 > -1$。