[논문 리뷰] Mapping class group invariant unitarity of the Hitchin connection over Teichmüller space

Jørgen Ellegaard Andersen|arXiv (Cornell University)|2012. 06. 11.

Geometric and Algebraic Topology참고 문헌 68인용 수 6

한 줄 요약

이 논문은 테이히뮐러 공간 위의 히친 접속에 대해 매핑 클래스 군에 대한 불변 헤르미트 구조를 구축하며, 모든 수준 $k$ 에서 표준 $L^2$ 내적과 균일하게 등가임을 증명한다. 이 구축은 쌍-파츠 분해에 대응하는 경계점에서의 점근적 행동을 사용하며, 기하학적으로 정의된 내적을 통해 프로젝티브 유니타리성을 확립한다. 이 내적은 균일한 상수들에 의해 $L^2$ 노름과 일치한다.

ABSTRACT

We provide a geometric construction of the unitary structure which is projectively preserved by the Hitchin connection. We analyze the asymptotic behavior of it and we establish that it is uniformly in the level equivalent to the Hermitian structure induced by the L2 inner product on smooth sections.

연구 동기 및 목표

• 테이히뮐러 공간 위의 히친 접속의 양자 bundle에 대해 매핑 클래스 군 작용에 관하여 불변인 헤르미트 구조를 구축하는 것.
• 이 구조가 히친 접속에 의해 프로젝티브로 보존됨을 확립하여, 평행 이동 하에서 일관성을 보장하는 것.
• 테이히뮐러 공간의 경계점, 즉 쌍-파츠 분해에 대응하는 점근적 행동을 분석하는 것.
• 기하학적으로 구축된 헤르미트 구조와 표준 $L^2$ 내적 사이의 균일한 등가성을 모든 수준 $k$ 에서 증명하는 것.
• 구축된 내적이 실 투영과 보어-좀머펠드 섬유에 대한 기하학적 양자화로부터 자연스럽게 유도됨을 보여주는 것.

제안 방법

• 쌍-파츠 경계에서의 점근적 극한으로부터 유도된 가중 함수 $G^{(k)}_\sigma$ 를 사용하여 양자 공간 $H^{(k)}_\sigma$ 위에 헤르미트 구조 $[\cdot,\cdot]^{(k)}_P$ 를 정의하는 것.
• 히친 접속 沿해 보어-좀머펠드 섬유 위의 공변 불변 섹션의 평행 이동에 따른 극한으로서 가중 함수 $G^{(k)}_\sigma$ 를 구성하는 것.
• 제피리-위츠만 실 투영과 관련된 분포적 섹션을 사용하여 추적 사상 $h_P: M \to [-2,2]^{3g-3}$ 의 섬유 위에서 공변 불변 섹션의 기저를 정의하는 것.
• 섬유별 체적 형식 $\Omega_{P,b}$ 를 통한 적분을 통해 내적을 정의하고, 함수 $G^{(k)}_\sigma$ 를 사용하여 이를 전역적으로 확장하는 것.
• 해당 헤르미트 구조가 히친 접속에 의해 프로젝티브로 보존됨을 증명하기 위해, 프로젝티브 보존 조건를 만족하는 1형식 $\alpha$ 가 존재함을 보이는 것.
• 가중 함수 $G^{(k)}_\sigma$ 의 제어와 $1/k$ 에 대한 점근 전개를 통해 $[\cdot,\cdot]^{(k)}_P$ 와 $L^2$ 내적 사이의 균일한 등가성을 확립하는 것.

실험 결과

연구 질문

• RQ1 테이히뮐러 공간 위의 양자 bundle $H^{(k)}$ 에 대해, 매핑 클래스 군에 대해 불변이면서 동시에 히친 접속에 의해 프로젝티브로 보존되는 헤르미트 구조가 존재하는가?
• RQ2 테이히뮐러 공간의 경계에서, 쌍-파츠 분해에 대응하는 점근적 행동이 이 헤르미트 구조의 전역적 성질에 미치는 영향은 무엇인가?
• RQ3 기하학적으로 구축된 헤르미트 구조가 모든 수준 $k$ 와 테이히뮐러 공간의 모든 점에서 표준 $L^2$ 내적과 균일하게 등가인가?
• RQ4 실 투영에 대한 기하학적 양자화를 사용하여 히친 접속의 유니타리 구조를 자연스럽게 정의할 수 있는가?
• RQ5 구축된 내적이 전역적으로 잘 정의된 함수 $G^{(k)}_\sigma$ 로부터 유도되며, 이 함수가 양자화 사상의 핵에 수직이고 공변 불변인가?

주요 결과

• 쌍-파츠 분해에 대응하는 경계에서의 점근적 자료를 사용하여 매핑 클래스 군에 대한 불변 헤르미트 구조 $[\cdot,\cdot]^{(k)}_P$ 가 $H^{(k)}$ 위에 구축된다.
• 구축된 헤르미트 구조는 히친 접속에 의해 프로젝티브로 보존되며, 어떤 1형식 $\alpha$ 가 존재하여 $V[(s_1,s_2)] - (\nabla_V s_1, s_2) - (s_1, \nabla_V s_2) = \alpha(V)(s_1,s_2)$ 를 만족한다.
• 헤르미트 구조 $[\cdot,\cdot]^{(k)}_P$ 는 $L^2$ 내적과 균일하게 등가이다: 모든 $s \in H^{(k)}_{\sigma_0}$ 에 대해 $c^{-1}_{P,\sigma_0}\|s\|_{L^2} \leq \|s\|_{P,\sigma_0} \leq c_{P,\sigma_0}\|s\|_{L^2}$ 를 만족하는 상수 $c_{P,\sigma_0}$ 가 존재한다.
• 내적은 가중 함수 $G^{(k)}_\sigma$ 를 통한 적분을 통해 정의되며, 이 가중 함수는 보어-좀머펠드 섬유 위의 평행 이동된 공변 불변 섹션의 극한으로 구성된다.
• 가중 함수 $G^{(k)}_\sigma$ 는 $1/k$ 에 대한 점근 전개를 가지며, 이 전개는 등가 상수들에 대한 균일한 제어를 보장한다.
• 최종 내적 공식은 $[s_1,s_2]_{P,\sigma}^{(k)} = \int_M \langle s_1,s_2 \rangle G^{(k)}_\sigma \frac{\omega^m}{m!}$ 로, $\mathcal{T}$ 의 모든 $\sigma$ 에 대해 균일하게 성립한다.