[논문 리뷰] Johnson's homomorphisms and the Arakelov-Green function

Nariya Kawazumi|ArXiv.org|2008. 01. 28.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 36

한 줄 요약

이 논문은 리만 곡면의 모듈리 공간에서 존슨의 호모모르피즘과 아라켈로프-그린 함수 사이의 정확한 연결 고리를 설정한다. 이를 위해 실수 값을 갖는 함수 $ a_g $ 를 $ \mathbb{M}_g $ 위에 도입하여, 아라켈로프-그린 함수로부터 유도된 셰르 형식 $ e^A $ 와 존슨의 평탄한 접속으로부터 유도된 $ e^J $ 사이의 두 번째 미분이 연결됨을 보여준다. 핵심 결과는 $ e^A - e^J = \frac{-2\sqrt{-1}}{2g(2g+1)} \partial\overline{ackslash partial}a_g $ 라는 항등식이며, 이는 모듈리 공간 연구에서 기하학적 및 산술적 불변량을 통합한다.

ABSTRACT

Let $π: {\mathbb C}_g o {\mathbb M}_g$ be the universal family of compact Riemann surfaces of genus $g \geq 1$. We introduce a real-valued function on the moduli space ${\mathbb M}_g$ and compute the first and the second variations of the function. As a consequence we relate the Chern form of the relative tangent bundle $T_{{\mathbb C}_g/{\mathbb M}_g}$ induced by the Arakelov-Green function with differential forms on ${\mathbb C}_g$ induced by a flat connection whose holonomy gives Johnson's homomorphisms on the mapping class group.

연구 동기 및 목표

• 아라켈로프-그린 함수에 의해 유도된 상대 접선(bundle)의 셰르 형식을 존슨의 호모모르피즘에서 유래하는 미분 형식과 연결하기.
• 모듈리 공간 $ \mathbb{M}_g $ 위에 정의된 실수 값 함수 $ a_g $ 를 정의하여, 두 자연스러운 셰르 형식 간의 차이를 캡슐화하기.
• 함수 $ a_g $ 의 첫 번째 및 두 번째 미분을 계산하여, $ e^A $ 와 $ e^J $ 사이의 정확한 미분기하학적 항등식을 확립하기.
• 섬유 적분 $ e^F_1 $ 과 첫 번째 모리타-머머포드 클래스 $ e_1 $ 를 나타내는 표준 형식 $ e^J_1 $ 간의 관계를 명확히 하기.

제안 방법

• 각 리만 곡면 $ C $ 에서 $ a_g(C) = -\sum_{i,j=1}^g \int_C \psi_i \wedge \overline{\psi_j} \widehat{\Phi}(\overline{\psi_i} \wedge \psi_j) $ 라는 함수를 도입하며, 여기서 $ \widehat{\Phi} $ 는 체적 형식 $ B $ 에 대한 그린 연산자이다.
• 복소 1-형식의 정규직교 기저 $ \{\psi_i\} $ 를 사용하여 $ B = \frac{\sqrt{-1}}{2g} \sum_{i=1}^g \psi_i \wedge \overline{\psi_i} $ 를 정의하며, 이는 기저 선택과 무관한 표준 체적 형식이다.
• $ e^A = \frac{1}{2\pi\sqrt{-1}} \partial\overline{\partial} \log G|_{\text{diagonal}} $ 를 정의하여, 아라켈로프-그린 함수 $ G $ 를 통해 상대 접선(bundle)의 셰르 클래스를 나타낸다.
• $ \mathbb{M}_{g,1} $ 상의 평탄한 접속의 곡률 형식으로서 $ e^J $ 를 구성하며, 이 접속의 호환성은 존슨의 호모모르피즘을 제공하고, 각 섬유에서 $ (2-2g)B $ 로 제한된다.
• $ a_g $ 의 두 번째 미분을 계산하고, 이와 $ e^F_1 - e^J_1 $ 간의 관계를 설정한다. 여기서 $ e^F_1 = \int_{\text{fiber}} (e^J)^2 $ 이다.
• 곡률 및 허지-이론적 항등식을 명시적으로 계산하여 항등식 $ \frac{-2\sqrt{-1}}{2g(2g+1)} \partial\overline{\partial}a_g = \frac{1}{(2g-2)^2}(e^F_1 - e^J_1) $ 를 유도한다.

실험 결과

연구 질문

• RQ1 존슨의 호모모르피즘은 어떻게 리만 곡면의 모듈리 공간 $ \mathbb{M}_g $ 상에서 아라켈로프-그린 함수와 기하학적으로 연결될 수 있는가?
• RQ2 아라켈로프-그린 함수로부터 유도된 셰르 형식 $ e^A $ 와 존슨의 호모모르피즘과 관련된 평탄한 접속의 형식 $ e^J $ 간의 정확한 미분기하학적 관계는 무엇인가?
• RQ3 $ e^A - e^J $ 는 $ \mathbb{M}_g $ 상의 실수 값 함수의 $ \partial\overline{\partial} $-정확 형식으로 표현될 수 있는가?
• RQ4 섬유 적분 형식 $ e^F_1 $ 과 $ e_1 $ 를 나타내는 표준 형식 $ e^J_1 $ 은 어떻게 비교되며, 그 차이는 무엇인가?
• RQ5 $ e^F_1 - e^J_1 $ 은 코homologically 영일까? 만약 그렇다면, 그것은 어떻게 $ \partial\overline{\partial} $-정확 형식으로 표현되는가?

주요 결과

• $ a_g(C) = -\sum_{i,j=1}^g \int_C \psi_i \wedge \overline{\psi_j} \widehat{\Phi}(\overline{\psi_i} \wedge \psi_j) $ 는 $ g \geq 2 $ 에서 $ \mathbb{M}_g $ 상에서 잘 정의되고, 양수인 실수 값 함수이며, 복소 1-형식의 정규직교 기저 선택과 무관하다.
• 항등식 $ e^A - e^J = \frac{-2\sqrt{-1}}{2g(2g+1)} \partial\overline{\partial}a_g $ 가 성립하며, 이는 아라켈로프와 존슨의 셰르 형식 간의 차이가 $ a_g $ 를 통해 $ \partial\overline{\partial} $-정확하다는 것을 보여준다.
• 섬유 적분 형식 $ e^F_1 = \int_{\text{fiber}} (e^J)^2 $ 는 첫 번째 모리타-머머포드 클래스 $ e_1 $ 을 나타내며, $ \frac{-2\sqrt{-1}}{2g(2g+1)} \partial\overline{\partial}a_g = \frac{1}{(2g-2)^2}(e^F_1 - e^J_1) $ 를 만족한다.
• $ e^F_1 - e^J_1 $ 는 코homologically 영이지만, 미분 형식으로서는 영이 아니며, 이는 $ e_1 $ 의 두 자연스러운 대표자 간의 미묘한 기하학적 차이를 나타낸다.
• $ \partial\overline{\partial}a_g $ 의 계산은 $ a_g $ 의 두 번째 미분에 기반하며, 이는 그린 연산자 $ \widehat{\Phi} $, 조화 프로젝션 $ \mathcal{H} $ 및 곡률 항목을 포함하는 허지-이론적 항등식을 통해 표현된다.
• 최종 항등식은 $ e^A - e^J $ 와 $ \frac{1}{(2g-2)^2}(e^F_1 - e^J_1) $ 가 서로 같음을 확인하며, 아라켈로프와 존슨 접근법이 첫 번째 모리타-머머포드 클래스에서 통합됨을 확인한다.