[논문 리뷰] Kobayashi geodesics in A_g

Martin Moeller, Eckart Viehweg|ArXiv.org|2008. 09. 05.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 7

한 줄 요약

이 논문은 모듈리 공간 $\mathcal{A}_g$ 내의 Kobayashi 지오데식을, 로그 탄젠트 번들의 특정한 분해 방식을 갖는 곡선으로 특성화한다. 이는 Shimura 곡선과 Teichmüller 곡선을 일반화한 것이다. 핵심 결과는 $\varphi_0: Y_0 \to \mathcal{A}_g$가 Kobayashi 지오데식일 조건은 관련된 Hodge 구조의 적어도 하나의 기약 직접 인자가 최대 Higgs이어야 한다는 것이다. 즉, 그 Higgs 필드가 동형사상임을 의미한다.

ABSTRACT

We consider Kobayashi geodesics in the moduli space of abelian varieties A_g that is, algebraic curves that are totally geodesic submanifolds for the Kobayashi metric. We show that Kobayashi geodesics can be characterized as those curves whose logarithmic tangent bundle splits as a subbundle of the logarithmic tangent bundle of A_g. Both Shimura curves and Teichmueller curves are examples of Kobayashi geodesics, but there are other examples. We show moreover that non-compact Kobayashi geodesics always map to the locus of real multiplication and that the Q-irreducibility of the induced variation of Hodge structures implies that they are defined over a number field.

연구 동기 및 목표

• 모듈리 공간 $\mathcal{A}_g$ 내의 아벨 다양체에서 Kobayashi 거리계에 대한 완전 지오데식 부분다양체를 특성화하는 것.
• 기존의 지오데식 클래스인 Shimura 곡선과 Teichmüller 곡선을 하나의 내재된 기준 아래 통합하는 것.
• 비콤팩트 Kobayashi 지오데식의 산술적 및 기하학적 성질을 조사하며, 특히 실 곱셈과 수체와의 관계를 밝혀내는 것.
• Teichmüller 및 Shimura 사례를 초월하여, 비산술 삼각형 군에 의한 균형화된 예를 포함한 새로운 예를 포함하는 지오데식의 특성화를 확장하는 것.

제안 방법

• 저자들은 곡선 $Y_0 \subset \mathcal{A}_g$ 위에서의 체중 1의 극화된 $\mathbb{Z}$-Hodge 구조의 변화에 관련된 로그 Higgs 번들을 사용한다.
• 곡선 $\varphi_0: Y_0 \to \mathcal{A}_g$가 Kobayashi 지오데식임을 정의하는 것은, $Y_0$의 로그 탄젠트 번들이 $\mathcal{A}_g$의 로그 탄젠트 번들의 부분번들로 분해될 때 성립하며, 이는 Hodge 구조 내에 최대 Higgs 인자가 존재하는 것과 동치이다.
• 특성화는 $\bar{\mathbb{Q}}$-정의된 기약 인자들로 Hodge 구조를 분해하는 데 기반하며, 최대 Higgs 조건은 기본 체환과 유한 피복에 대해 불변이다.
• 증명은 로그 Higgs 번들 이론과 기저 $U$ 위에서의 보편 가족의 구조를 사용하여, 아핀 Kobayashi 지오데식이 로그 코탄젠트 번들의 분해를 갖는 곡선 위의 가족에서 유래함을 보여준다.
• 저자들은 강성 결과와 기본 체환 논리를 적용하여 이러한 지오데식이 그 일반 섹션에 의해 결정되며, $\bar{\mathbb{Q}}$-다양체 위의 가족으로 올라갈 수 있음을 보였다.
• 분류된 균형화 군(예: 삼각형 군)과 기본군의 추적체 $K$를 사용하여, 비-Shimura 및 비-Teichmüller 예를 포함한 다양한 유형의 지오데식을 구분한다.

실험 결과

연구 질문

• RQ1 모르프리즘 $\varphi_0: Y_0 \to \mathcal{A}_g$가 Kobayashi 지오데식이 되는 조건은 무엇인가? 즉, Kobayashi 거리계에 대한 완전 지오데식 부분다양체인가?
• RQ2 Shimura 곡선과 Teichmüller 곡선의 알려진 사례를 초월하여, 이러한 지오데식을 특성화하는 정확한 Hodge 이론적 조건은 무엇인가?
• RQ3 비콤팩트 Kobayashi 지오데식은 항상 실 곱셈의 위치로 매핑되며, 어떤 조건에서 수체 위에서 Hodge 변화를 정의하는가?
• RQ4 $\mathcal{A}_g$ 내에 Shimura 곡선이 아니며 비산술 삼각형 군에 의해 균형화되지 않은 콤팩트 Kobayashi 지오데식이 존재하는가?
• RQ5 고정된 판별식에 대해, Hilbert 모듈러 표면에서 유도된 모든 비-Shimura Kobayashi 지오데식을 분류할 수 있는가?

주요 결과

• $\varphi_0: Y_0 \to \mathcal{A}_g$가 Kobayashi 지오데식일 조건은 관련된 $\mathbb{C}$-Hodge 구조 $\mathbb{W} = \mathbb{W}_\mathbb{Z} \otimes \mathbb{C}$의 적어도 하나의 기약 직접 인자가 최대 Higgs여야 한다는 것이다. 즉, 그 Higgs 필드 $\theta: E^{1,0} \to E^{0,1} \otimes \Omega^1_Y(\log S)$ 가 동형사상이어야 한다.
• 비콤팩트 Kobayashi 지오데식은 항상 $\mathcal{A}_g$ 내 실 곱셈의 위치로 매핑되며, Teichmüller 곡선의 성질을 일반화한다.
• 만약 Hodge 변화가 $\mathbb{Q}$-기약이라면, 지오데식은 수체 위에서 정의되며, Shimura 곡선의 성질을 확장한다.
• 아핀 Kobayashi 지오데식은 로그 코탄젠트 번들의 분해를 갖는 곡선 $U$ 위의 가족의 영상으로서 나타나며, 기존의 Teichmüller 곡선이 Hilbert 모듈러 표면 위의 가족에서 유도된다는 사실을 일반화한다.
• Shimura 곡선이 아니며 비산술 삼각형 군 $\Delta(l,m,n)$에 의해 균형화되지 않은 콤팩트 Kobayashi 지오데식이 존재한다. 여기서 $l,m,n < \infty$이며 Takeuchi의 유한 목록 외부에 있다.
• Prym 구성은 $\mathcal{A}_2$ 내에서 비-Teichmüller, 비-Shimura Kobayashi 지오데식의 예를 제공하며, 이러한 지오데식의 집합이 Shimura 곡선과 Teichmüller 곡선의 합집합보다 엄밀히 더 크다는 것을 보여준다.