[논문 리뷰] Isolation, equidistribution, and orbit closures for the SL(2,R) action on Moduli space

Alex Eskin, Maryam Mirzakhani외 1명|arXiv (Cornell University)|2013. 05. 14.

Mathematical Dynamics and Fractals인용 수 5

한 줄 요약

이 논문은 전이 표면의 모듈리 공간 위에서 SL(2,R) 작용에 의한 궤도 폐쇄가 애매한 불변 부분다양체임을 증명하며, 비정규 흐름에 대한 Ratner 정리의 완전한 동치를 확립한다. 측도 분류 결과와 불변 부분다양체의 새로운 고립 성질을 활용하여, 닫힌 P-불변 집합이 이러한 부분다양체들의 유한 합임을 보이고, 에르고딕 P-불변 측도의 공간이 약-* 위상에서 컴팩트함을 보인다. 이 공간에서의 약-* 극한은 최소한의 애매한 부분다양체에 대응한다.

ABSTRACT

We prove results about orbit closures and equidistribution for the SL(2,R) action on the moduli space of compact Riemann surfaces, which are analogous to the theory of unipotent flows. The proofs of the main theorems rely on the measure classification theorem of [EMi2] and a certain isolation property of closed SL(2,R) invariant manifolds developed in this paper.

연구 동기 및 목표

• 전이 표면의 모듈리 공간 위에서 SL(2,R) 작용에 대한 Ratner의 측도 분류 정리의 완전한 동치를 확립하기 위해.
• 상삼각 부분군 P의 작용에 의한 궤도 폐쇄가 애매한 불변 부분다양체임을 증명하기 위해.
• 닫힌 P-불변 부분집합이 애매한 불변 부분다양체들의 유한 합임을 보여, 불변 집합의 구조 이론을 확장하기 위해.
• 에르고딕 P-불변 확률 측도의 공간이 약-* 위상에서 컴팩트함을 확립하기 위해.
• 기하적 불변량의 유계성 조건 하에서, 애매한 부분다양체의 수열의 극한이 그 수열을 포함하는 최소한의 애매한 부분다양체에 대응함을 증명하기 위해.

제안 방법

• [EMi2]의 측도 분류 정리 결과를 활용하여 SL(2,R) 작용에 의한 불변 측도를 분석하기 위해.
• 닫힌 SL(2,R)-불변 부분다양체의 새로운 고립 성질을 도입하여 부분다양체의 축적을 제어하기 위해.
• 주기 좌표를 사용하여 불변 부분다양체 위에 애매한 구조를 정의함으로써, 실수 벡터 공간 내 국소 선형성을 확보하기 위해.
• Moore의 에르고디시티 정리와 Birkhoff의 에르고딕 정리를 적용하여 일파라미터 부분군을 따라 시간 평균을 분석하기 위해.
• 부분다양체 M에 대한 거리 측정 함수 f_M(x)를 정의하고, 이를 하향 마틴갈 유사 부등식을 통해 적분을 유계화하는 데 사용하기 위해.
• Hausdorff 거리와 고정된 컴팩트 집합 K' 위에서의 컴팩터스 추론을 활용하여 부분다양체의 수렴을 제어하고, 적분 유계성에 기반한 모순을 유도하기 위해.

실험 결과

연구 질문

• RQ1 전이 표면의 모듈리 공간 위에서 SL(2,R) 작용에 의한 궤도 폐쇄는 항상 애매한 불변 부분다양체인가?
• RQ2 모듈리 공간의 닫힌 P-불변 부분집합은 유한 개의 애매한 불변 부분다양체들의 합으로 분해될 수 있는가?
• RQ3 모듈리 공간 상에서 에르고딕 P-불변 확률 측도의 공간은 약-* 위상에서 컴팩트한가?
• RQ4 애매한 불변 부분다양체의 수열의 극한은 그 수열을 포함하는 최소한의 애매한 부분다양체에 대응하는가?
• RQ5 어떤 기하적 제약 조건이 서로 다른 애매한 불변 부분다양체의 수열이 수렴하지 않도록 보장하는가?

주요 결과

• 단위 면적의 스트라틴 H_1(α) 위에서 SL(2,R) 작용에 의한 궤도 폐쇄는 애매한 불변 부분다양체이며, 이는 정리 2.1을 증명한다.
• H_1(α)의 닫힌 P-불변 부분집합은 애매한 불변 부분다양체들의 유한 합이며, 정리 2.2에 따라 성립한다.
• H_1(α) 상에서 에르고딕 P-불변 확률 측도의 공간은 약-* 위상에서 컴팩트하며, 정리 2.3에서 이를 보여준다.
• H-불변량과 차원의 유계성 조건 하에서, 애매한 부분다양체의 수열의 극한은 그 수열을 포함하는 최소한의 애매한 부분다양체이다.
• 고정된 차원 d를 가진 애매한 불변 부분다양체의 집합은 가산이며, H-불변량과 복잡도가 유계인 경우 유한하다. 이는 컴팩터스와 모순 추론을 통해 증명된다.
• 불변 측도 위에서 거리 함수 f_M의 적분에 대한 균일한 상한이 존재하면, 서로 다른 부분다양체들이 수렴할 수 없으며, 이는 유계인 가족의 유한성을 이끈다.