[논문 리뷰] Stability of Hodge bundles and a numerical characterization of Shimura varieties

Martin Moeller, Eckart Viehweg외 1명|ArXiv.org|2007. 06. 23.

Algebraic Geometry and Number Theory참고 문헌 4인용 수 10

한 줄 요약

이 논문은 허수형 쇼우라 다양체와 쿠가 피브리케이션을 변형 구조의 불변량을 이용해 수치적으로 특성화한다. 일련의 아벨 다양체가 준사영 기반 위에 있는 경우, 이는 쿠가 피브리케이션이다. 각 기약 하드 스타일 하위변형이 유니터리이거나 아라켈로프 등식을 만족할 때, 그리고 유니버설 커버의 각 인자에 대해 복소 공형 기하학을 갖는 접선(bundle)을 가진 방향에서 반복 코다이라-스피encer 사상의 길이가 최소일 때이다. 강성 조건이 성립할 경우, 이 가속은 $\mathcal{A}_g$의 허수형 쇼우라 부분다양체이다.

ABSTRACT

Consider a family f:A --> U of g-dimensional abelian varieties over a quasiprojective manifold U. Suppose that the induced map from U to the moduli scheme of polarized abelian varieties is generically finite and that there is a projective manifold Y, containing U as the complement of a normal crossing divisor S, such that the sheaf of logarithmic one forms is nef and that its determinant is ample with respect to U. We characterize whether $U$ is a Shimura variety by numerical data attached to the variation of Hodge structures, rather than by properties of the map from U to the moduli scheme or by the existence of CM points. More precisely, we show that U is a Shimura variety, if and only if two conditions hold. First, each irreducible local subsystem V of the complex weight one variation of Hodge structures is either unitary or satisfies the Arakelov equality. Secondly, for each factor M in the universal cover of U whose tangent bundle behaves like the one of a complex ball, an iterated Kodaira-Spencer map associated with V has minimal possible length in the direction of M.

연구 동기 및 목표

• 모듈리 공간이나 CM 점에 의존하지 않고, 변형 구조의 수치적 불변량만을 사용하여 허수형 쇼우라 다양체와 쿠가 피브리케이션을 특성화하는 것.
• 이전의 곡선과 강성 가속 결과를 고차원 기반과 비강성 가속으로 확장하는 것.
• 쿠가 피브리케이션을 식별하는 기준을 아라켈로프 등식과 반복 히그스 필드의 최소 길이에 기반하여 설정하는 것.
• 수치 조건을 만족하는 강성 가속이 $\mathcal{A}_g$의 허수형 쇼우라 부분다양체임을 증명하는 것.
• 이전 연구에서 배제된 표준 표현 문제를 해결하기 위해, 판별 조건을 히그스 필드 길이에 대한 더 일반적인 조건으로 대체하는 것.

제안 방법

• 준사영 기반 $U$ 위에서 복소수의 하드 스타일 구조의 무게 1을 갖는 변형 구조에 대응하는 히그스 번들의 사용. 이는 정규 교차 분할 $S$ 에서 로그 특이성을 갖는다.
• 하위변형에 대해 아라켈로프 등식을 적용: 각 기약 하위변형은 유니터리이거나 아라켈로프 부등식에서 등식을 만족해야 한다.
• 반복 코다이라-스피encer 사상 $\theta^{(m)}$ 분석 및, 복소 공형 기하학을 갖는 유니버설 커버의 각 인자에 대응하는 방향에서 가능한 최소 길이를 요구한다.
• 히그스 번들의 안정성 이론과 $\mu$-안정성의 개념을 활용하여 비자명한 부분다발을 배제하고 고차원 경우에 모순를 유도한다.
• 스큐어 연산자와 호로노미 군의 호환성을 이용하여, 유일하게 낮은 차원의 경우($n=1,2$)만이 수치 제약을 만족할 수 있음을 보여주며, 고차원 공형 인자들을 배제한다.
• 접선 번들의 대칭 거듭제곱의 안정성과 기울기 비교를 통해 특정 표현을 배제하고, 이는 $n \leq 2$ 인 경우에만 가능함을 유도한다.

실험 결과

연구 질문

• RQ1 준사영 기반 위의 아벨 다양체 가속이 쿠가 피브리케이션일 조건은 허수형 다각형과 히그스 필드에 대해 어떤 수치적 조건을 만족해야 하는가?
• RQ2 모듈리 공간 $\mathcal{A}_g$ 에의 사상에 대한 참조 없이도, 변형 구조의 수치적 불변량만으로 쇼우라 다양체를 특성화할 수 있는가?
• RQ3 반복 코다이라-스피encer 사상의 길이는 비강성 가속에서 쇼우라 다양체 식별에 어떤 역할을 하는가?
• RQ4 이전 연구에서 사용된 판별 조건은 어떻게 더 일반적이고 포괄적인 히그스 필드 길이 조건으로 대체될 수 있는가?
• RQ5 왜 증명에서 $n \geq 3$ 인 경우는 모순를 유도하고, 이는 기저의 기하학에 대해 어떤 의미를 갖는가?

주요 결과

• 가속 $f: A \to U$ 는 각 기약 하드 스타일 하위변형이 유니터리이거나 아라켈로프 등식을 만족할 때, 그리고 유니버설 커버의 각 인자 $M$ 에 대해 접선 번들이 복소 공형과 유사한 기하학을 갖는 경우, 반복 코다이라-스피encer 사상이 가능한 최소 길이를 갖는 방향에서만 쿠가 피브리케이션이다.
• 강성 조건이 성립할 경우, 기저 $U$ 는 $\mathcal{A}_g$ 의 허수형 쇼우라 부분다양체이다.
• $n \geq 3$ 인 경우는 호로노미 군의 호환성 불일치로 인해 모순을 유도하며, 이는 $n=1$ 및 $n=2$ 만 가능한 것으로 증명된다.
• $n=2$ 이고 $\ell' \neq 5$ 이면 $\varsigma(\mathbb{V}) = 3$ 이 성립하며, 핵심 부등식 (8.1) 에서 등식이 확인된다.
• $\ell' = 4, 6$ 또는 $5, 15$ 인 모든 경우는 대칭 거듭제곱의 기울기 부등식 위반이 증명되어 배제된다.