[논문 리뷰] Canonical 2-forms on the moduli space of Riemann surfaces

Nariya Kawazumi|ArXiv.org|2007. 08. 31.

Homotopy and Cohomology in Algebraic Topology참고 문헌 39인용 수 4

한 줄 요약

이 논문은 리만 곡면의 모듈리 공간 상에서 여러 표준 2형식을 검토한다. 이에는 위엘-피터슨 켈러 형식, 주기 사상에서 유도된 첫 번째 체르누흐 형식, 아라켈로프-그린 함수 및 존슨 준동형사상에서 유도된 형식이 포함된다. 이러한 2형식들은 모두 동일한 코homology 클래스 $e_1$ 를 나타내지만, 정확한 형식의 차이를 보이며, 이로 인해 2차 불변량인 하인-리드 함수와 함수 $a_g$ 와 같은 기하학적 및 산술적 정보를 담고 있는 2차 불변량이 도출된다.

ABSTRACT

As was shown by Harer the second homology of ${\mathbb M}_g$, the moduli space of compact Riemann surfaces of genus $g$, is of rank 1, provided $g \geq 3$. This means a nontrivial second de Rham cohomology class on ${\mathbb M}_g$ is unique up to constant factor. But several canonical 2-forms on the moduli space have been constructed in various geometric contexts, and differ from each other. In this article we review some of constructions in order to provide materials for future research on "secondary geometry" of the moduli space ${\mathbb M}_g$.

연구 동기 및 목표

• 고작 $g \geq 3$ 인 컴acts 리만 곡면의 모듈리 공간 $\mathbb{M}_g$ 상에서 여러 표준 2형식을 체계화하고 비교하는 것.
• 이 2형식들이 모두 동일한 첫 번째 모리타-머프ورد 클래스 $e_1$ 를 나타내지만, 정확한 형식의 차이를 보이며, 더 깊은 기하학적 구조를 드러내는 것을 명확히 하는 것.
• 이 2형식 간의 차이에서 유도되는 2차 대상—예를 들어 하인-리드 함수와 함수 $a_g$—를 식별하고 분석하는 것.
• 기본 코homology를 초월한 $\mathbb{M}_g$ 의 '2차 기하학'에 대한 향후 연구를 위한 기초 자료를 제공하는 것.

제안 방법

• 리만 곡면 상의 쌍곡 기하학을 통해 위엘-피터슨 켈러 형식 $\omega_{\text{WP}}$ 를 구성하고, 이가 $e_1$ 를 나타냄을 보임.
• 주기 사상을 통해 시겔 상반평면 $\mathfrak{H}_g$ 에서의 표준 2형식을 당겨내어 $e_1$ 의 다른 표현을 얻음.
• 아라켈로프-그린 함수 $G(P_0,P_1)$ 를 적용하여 유니버설 패밀리 $\mathbb{C}_g$ 상에서 $(1,1)$-형식 $e^A$ 를 정의하고, 이가 $c_1(T_{\mathbb{C}_g/\mathbb{M}_g})$ 를 나타냄을 보임.
• 꼬임진 모리타-머프ورد 클래스와 존슨 준동형사상을 통해 형식 $e^J$ 를 도입하고, $m(\eta_1^H)^{\otimes 2}$ 와 $e^J$ 의 조합으로 $e^J_1$ 을 구성함.
• 다음 정리에 의해 $d$-정확한 $(1,1)$-형식을 $\frac{\sqrt{-1}}{2\pi}\partial\overline{\partial}f$ 의 형태로 표현함으로써, 하인-리드 함수 $\beta_g$ 를 유도함. 이는 상수항을 제외한 잘 정의된 함수가 됨.
• 차이 $e^A - e^J = \frac{-2\sqrt{-1}}{2g(2g+1)}\partial\overline{\partial}a_g$ 를 유도함. 여기서 $a_g$ 는 $\mathbb{M}_g$ 상의 실수 값 함수임.

실험 결과

연구 질문

• RQ1 다양한 표준 2형식—예를 들어 위엘-피터슨 형식, 주기 사상 형식, 아라켈로프 기반 형식—은 모두 동일한 코homology 클래스 $e_1$ 를 나타내지만, 이들 간의 관계는 무엇인가?
• RQ2 이 2형식 간의 차이, 특히 정확한 형식 분해를 통해 드러나는 기하학적 또는 산술적 정보는 무엇인가?
• RQ3 모듈리 공간 $\mathbb{M}_g$ 상에서 정의된 함수 $a_g$ 는 리만 곡면의 등각 불변량으로 해석될 수 있는가? 그 성질은 무엇인가?
• RQ4 2차 대상인 하인-리드 함수 $\beta_g$ 와 $a_g$ 는 $\mathbb{M}_g$ 상에서 미분형식과 코homology 항등식 간의 상호작용으로 어떻게 유도되는가?
• RQ5 특히 정확성과 코homology 측면에서, 섬유 통합형식 $e_1^F = \int_{\text{fiber}}(e^J)^2$ 와 다른 2형식 간의 정확한 관계는 무엇인가?

주요 결과

• 위엘-피터슨 켈러 형식 $\omega_{\text{WP}}$ 는 첫 번째 모리타-머프ورد 클래스 $e_1$ 를 나타내며, 이는 $\mathbb{M}_g$ 상에서의 표준 2형식으로서의 역할을 확인한다.
• 주기 사상은 시겔 상반평면 $\mathfrak{H}_g$ 에서의 표준 2형식을 당겨내어 $e_1$ 를 나타내며, 동일한 코homology 클래스의 기하학적 기원을 보여준다.
• 아라켈로프-그린 함수 $G$ 는 $\mathbb{C}_g$ 상에서 $(1,1)$-형식 $e^A$ 를 유도하며, 이는 $c_1(T_{\mathbb{C}_g/\mathbb{M}_g})$ 를 나타내며, $e^A = e^J + \frac{-2\sqrt{-1}}{2g(2g+1)}\partial\overline{\partial}a_g$ 를 만족한다.
• 함수 $a_g(C) = \int_C \omega_{(1)} \cdot \widehat{\Phi}(\omega_{(1)} \wedge \omega_{(1)}) \cdot \omega_{(1)}$ 는 $g \geq 2$ 에서 $\mathbb{M}_g$ 상의 양의 실수 값 함수이며, 모듈리 공간 상의 2차 불변량이다.
• 아라켈로프 기반 형식과 존슨 기반 형식 간의 차이는 $e^A - e^J = \frac{1}{(2-2g)^2}(e_1^F - e_1^J)$ 로 표현되며, 이는 섬유 통합형식 $e_1^F$ 를 2차 기하학과 연결한다.
• 하인-리드 함수 $\beta_g$ 는 $\frac{1}{12}e^J_1 - \text{Jac}^*c_1(\nabla)$ 로 구성되며, 상수항을 제외한 잘 정의된 $C^\infty$ 함수이며, 2형식 간의 차이가 $d$-정확한 형태임으로써 유도된다.