[논문 리뷰] SL(2,R)-invariant probability measures on the moduli spaces of translation surfaces are regular

Artur Avila, Carlos Matheus외 1명|arXiv (Cornell University)|2013. 02. 17.

Mathematical Dynamics and Fractals참고 문헌 13인용 수 4

한 줄 요약

이 논문은 $SL(2,\mathbb{R})$-불변 확률측도가 임의의 $g \geq 1$인 노멀라이즈된 전이 표면의 모듈리 공간 위에서 정규성을 증명한다. 이를 위해 길이 $\leq \rho$인 두 개의 평행하지 않은 사다리꼴 연결선을 가진 표면들의 집합이 $\rho \to 0$일 때 $o(\rho^2)$의 측도를 가짐을 보이며, 이는 에스킨-콘체비치-조리치의 리아풀로프 지수 공식에 대한 핵심 기술적 가정을 해결한다.

ABSTRACT

In the moduli space $H_g$ of normalized translation surfaces of genus $g$, consider, for a small parameter $ρ>0$, those translation surfaces which have two non-parallel saddle-connections of length $\leq ρ$. We prove that this subset of $H_g$ has measure $o(ρ^2)$ w.r.t. any probability measure on $H_g$ which is invariant under the natural action of $SL(2,R)$. This implies that any such probability measure is regular, a property which is important in relation with the recent fundamental work of Eskin-Kontsevich-Zorich on the Lyapunov exponents of the KZ-cocycle.

연구 동기 및 목표

• 임의의 $g \geq 1$인 노멀라이즈된 전이 표면의 모듈리 공간 $\mathcal{H}_g$ 위에서 $SL(2,\mathbb{R})$-불변 확률측도의 정규성을 확립한다.
• 에스킨-콘체비치-조리치의 리아풀로프 지수 합에 대한 공식에서 발생하는 기술적 간극을 해결한다. 이는 측도가 정규여야 한다는 조건을 필요로 한다.
• 임의의 그러한 불변 측도 하에서 두 개의 평행하지 않은 사다리꼴 연결선을 길이 $\leq \rho$로 가진 전이 표면들의 집합이 $o(\rho^2)$의 측도를 가짐을 보인다.
• 에스킨-콘체비치-조리치 공식에서 사용된 적분 by parts의 기하학적 및 역학적 정당성을 제공한다.

제안 방법

• 대각 부분군 $g_t = \mathrm{diag}(e^t, e^{-t})$의 궤도를 따라 측도의 행동을 연구하기 위해 조건부 측도 기법을 적용한다.
• 분해 $g_t R_\theta n_u$를 이용해 사다리꼴 연결선의 역학을 $SL(2,\mathbb{R})$ 작용을 통해 분석한다.
• 유클리드 노름과 삼각함수 항등식을 사용해 $SL(2,\mathbb{R})$ 변환 하에서 벡터의 노름을 추정한다.
• 기본 영역 $X_0^*$ 위에 기준 측도 $m_0$를 구성하고, 스케일링과 적분을 통해 전체 불변 측도 $m$과 연결한다.
• 사다리꼴 연결선 간의 각도 분리와 최소 각도 추정을 사용해 특이 구성의 기여를 통제한다.
• 기하량과 시겔-비치 상수를 연결하기 위해 적분 by parts와 곡률 기반 추론을 적용하며, 이는 정규성 조건에 의존한다.

실험 결과

연구 질문

• RQ1 모듈리 공간 $\mathcal{H}_g$ 위에서 $SL(2,\mathbb{R})$-불변 확률측도가 모두 에스킨-콘체비치-조리치 공식에 요구하는 정규성 조건을 만족하는가?
• RQ2 두 개의 평행하지 않은 사다리꼴 연결선을 길이 $\leq \rho$로 가진 전이 표면들의 집합의 점 游적 측도는 무엇인가?
• RQ3 $SL(2,\mathbb{R})$ 작용의 역학이 짧은 사다리꼴 연결선의 기하학을 어떻게 통제하는가?
• RQ4 에스킨-콘체비치-조리치 공식의 적분 by parts 추론은 추가 가정 없이도 정당화될 수 있는가?
• RQ5 짧은 사다리꼴 연결선들 간의 각도 분리는 불변 측도의 정규성에서 어떤 역할을 하는가?

주요 결과

• 임의의 $SL(2,\mathbb{R})$-불변 확률측도 하에서 두 개의 평행하지 않은 사다리꼴 연결선을 길이 $\leq \rho$로 가진 전이 표면들의 집합은 $o(\rho^2)$의 측도를 가진다.
• 이것은 그러한 모든 불변 측도가 에스킨-콘체비치-조리치의 작업에서 정의된 바와 같이 정규임을 의미한다.
• 정규성 조건은 짧고 평행하지 않은 사다리꼴 연결선을 가진 표면들의 측도가 $\rho^2$보다 더 빠르게 감소하기 때문에 만족된다.
• 증명은 $g_t R_\theta$ 작용 하에서 벡터의 노름을 통제하고, 각도 분리를 사용해 문제적 구성의 배제에 의존한다.
• 결과적으로 에스킨-콘체비치-조리치 공식에서의 적분 by parts 추론이 $SL(2,\mathbb{R})$-불변성 조건만으로도 타당함을 확인한다.
• 핵심 추정은 $m(Y(T,\frac{\pi}{2},X_0^*)) < \frac{1}{4}\eta \rho^2$ 및 유사한 경계이며, 이들이 함께 $o(\rho^2)$ 감쇠를 이끌어낸다.