[논문 리뷰] Families over curves with a strictly maximal Higgs field

Eckart Viehweg, Kang Zuo|ArXiv.org|2003. 03. 08.

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

한 줄 요약

이 논문은 허브-호지 구조의 변화 맥락에서 곡선 위의 n-fold 가족이 엄격히 최대 Higgs 필드를 갖는 경우를 조사한다. 기저가 고유일 때 홀수 n에 대해 이러한 가족은 존재할 수 없음을 증명하지만, 아벨 다양체의 商와 보르체아의 구성 방법을 사용하여 짝수 n에 대해 명시적인 예를 제시하며, 모든 차원에서 존재함을 보이고, 칼라비-야우 또는 코다이라 차원이 0인 다양체의 모듈리 공간에서 시무라 곡선과 관련이 있음을 밝힌다.

ABSTRACT

We study certain rigid Shimura curves in the moduli scheme of polarized minimal n-folds of Kodaira dimension zero. Those are characterized by some numerical condition on the Deligne extension of the corresponding variation of Hodge structures, or equivalently by the strict maximality of the induced Higgs field. We show that such Shimura curves can not be proper, for n odd, and we give some examples, showing that they exist in all dimensions.

연구 동기 및 목표

• 엄격히 최대 Higgs 필드를 갖는 곡선 위의 n-fold 가족을 허브-호지 이론과 단일화군의 관점에서 특성화하기.
• 아라켈로프 부등식과 엄격한 최대성의 개념을 고중량 허브-호지 구조의 변화로 확장하기.
• 이러한 가족의 강성, 무드포트-테이트 군의 구조 및 기하적 성질을 조사하기.
• 특히 칼라비-야우 및 코다이라 차원이 0인 다양체에 대해 이러한 가족의 명시적 예를 구성하기.
• 특히 기저 곡선이 고유하거나 표시된 점을 갖는 경우 이러한 가족의 존재 조건을 규명하기.

제안 방법

• 중량 k ≥ 0인 허브-호지 구조의 변화로 아라켈로프 부등식을 일반화하며, Higgs 필드가 엄격히 최대일 때 등호가 성립함을 보인다.
• 심슨의 Higgs 번들의 이론을 적용하여 엄격히 최대 Higgs 번들을 고정된 중량 1의 Higgs 번들과 유니터리 부분들의 텐서 곱과 직합으로 분해한다.
• 유니모턴 단일화군을 사용하여 Higgs 번들의 구조가 ℚ 위에서 정의될 수 있음을 보이며, 이는 타원 곡선의 모듈러 가족에서 기원함을 시사한다.
• 모듈러 타원 곡선 가족의 곱의 몫을 통해 예를 구성하며, 커머 유형의 구성과 보르체아의 방법을 사용한다.
• 몫 가족의 n차 코homology의 허브 분해를 분석하여, 홀수 k에 대해 Hodge 수 h^{k,0}가 0이 되고, 짝수 k에 대해 0이 아님을 보인다.
• 델리뉴 확장 이론과 로그 미분형식 이론을 적용하여, 전체 공간의 타우토로지 수열의 모서리 사상으로 Higgs 필드를 정의한다.

실험 결과

연구 질문

• RQ1 어떤 n에 대해 엄격히 최대 Higgs 필드를 갖는 곡선 위의 n-fold 가족과 코다이라 차원이 0인 가족이 존재하는가?
• RQ2 기저 곡선이 고유할 때 이러한 가족이 홀수 n에 대해 존재할 수 있는가?
• RQ3 엄격히 최대 Higgs 필드를 갖는 허브-호지 구조 변화에 대해 허브 번들의 구조와 무드포트-테이트 군의 구조는 어떠한가?
• RQ4 짝수 n > 2에 대해 엄격히 최대 Higgs 필드를 갖는 칼라비-야우 n-fold 가족이 존재하는가?
• RQ5 이러한 가족은 시무라 곡선과 아벨 다양체의 모듈러 가족과 어떻게 관련이 있는가?

주요 결과

• n이 홀수일 경우, 기저 곡선이 고유일 때 엄격히 최대 Higgs 필드를 갖는 이러한 가족은 존재하지 않으며, 이는 정리 5.2에 의해 입증된다.
• n이 짝수일 경우 이러한 가족은 존재하며, 모듈러 타원 곡선 가족의 곱의 몫을 통해 구성되며, 이는 예제 7.5에 기술되어 있다.
• 몫 가족의 허브 번지는 h^{n,0} = 1 이고, 모든 짝수 k ≤ n에 대해 h^{k,0} ≠ 0 를 만족한다.
• 구성된 가족의 일반 섹션은 코다이라 차원이 0이며, 최소 모델이다.
• n = 3일 경우, 보르체아의 구성은 오일러 특성 96과 h^{2,1} = 3을 갖는 칼라비-야우 3-다양체를 유도한다.
• 허브-호지 구조 변화 R^n f_* ℚ_X 는 S^3(R^1 h_* ℚ_E)와 R^1 h_* ℚ_E 의 2중 합과 동형이며, 이는 Higgs 번들의 분해에서 유도된 것이다.