[논문 리뷰] Complex multiplication, Griffiths-Yukawa couplings, and rigidity for families of hypersurfaces

Kang Zuo, Eckart Viehweg|ArXiv.org|2003. 07. 31.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 6

한 줄 요약

이 논문은 반복 순환 피복을 통해 초곡면의 가 Families에서의 강성과 그리피스-요카와 상호작용 길이를 연구하며, $d < 2n$일 때 비퇴도적인 요카와 상호작용가 있음에도 불구하고 첫 번째 수준의 가 $\mathcal{M}^{(1)}_{d,n}$가 강성 있음을 증명한다. 반면 고차 피복으로 생성된 $\mathcal{M}^{( u)}_{d,n}$는 변형 가능하다. 또한 $\mathbb{P}^4$ 내 5차 3차원 초곡면의 4차원 가를 구성하여, 복소 곱셈 점들이 조밀하게 분포되어 있음을 보이며, 그리피스-요카와 상호작용 길이는 $\ell \geq n - \lfloor d/2 \rfloor + 1$이면 $n - \ell$이며, 그 외의 경우 $n - \ell - 1$임을 밝힌다.

ABSTRACT

Let M(d,n) be the moduli stack of hypersurfaces of degree d &gt; n in the complex projective n-space, and let M(d,n;1) be the sub-stack, parameterizing hypersurfaces obtained as a d fold cyclic covering of the projective n-1 space, ramified over a hypersurface of degree d. Iterating this construction, one obtains M(d,n;r). We show that M(d,n;1) is rigid in M(d,n), although the Griffiths-Yukawa coupling degenerates for d&lt;2n. On the other hand, for all d&gt;n the sub-stack M(d,n;2) deforms. We calculate the exact length of the Griffiths-Yukawa coupling over M(d,n;r), and we construct a 4-dimensional family of quintic hypersurfaces, and a dense set of points in the base, where the fibres have complex multiplication.

연구 동기 및 목표

• 초곡면의 모듈리 스택에서 반복 순환 피복을 통해 강성과 그리피스-요카와 상호작용 행동을 조사하는 것.
• 특히 $d$와 $n$에 대한 의존성과 관련하여, 부분 스택 $\mathcal{M}^{(\nu)}_{d,n}$에 대한 그릭피스-요카와 상호작용 길이의 정확한 길이를 규명하는 것.
• 복소 곱셈 섬유가 조밀하게 분포된 $\mathbb{P}^4$ 내 5차 3차원 초곡면의 4차원 가를 구성하는 것.
• 특히 허지-이론적 구조와 그 분해 및 교환 법칙 성질을 분석하는 것.

제안 방법

• 프로젝티브 번들의 $d$-순환 피복을 반복하여 $\nu$-중으로 $\mathcal{M}^{(\nu)}_{d,n}$를 구성하며, $\mathcal{M}_{d,n-\nu}$에 속한 가에서 출발한다.
• 변형 허지-구조 $R^{n-1}f_*\mathbb{Q}_\mathcal{X}$와 그에 대응하는 허지-_bundle $\bigoplus E^{p,q}$ 및 허지-장치 $\theta_{p,q}$를 분석한다.
• 코다이라-스펜서 사상의 반복 쿠퍼 곱 $\theta^i$를 계산하여 그릭피스-요카와 상호작용 길이 $\varsigma(f) = \min\{i \geq 1 : \theta^i = 0\} - 1$를 정의한다.
• 허지-분해와 허지-구조의 교환 법칙을 이용하여, 특정 갈루아 표현이 교환 가능하다는 것을 유도함으로써 강성을 도출한다.
• 델리뉴의 극성 $\mathbb{Q}$-허지-구조의 반단순성 결과를 적용하여 코homology를 기약 인자들의 직합으로 분해한다.
• 가 $S \times S \to M_{5,4}$를 통해 피복하여, $\mathbb{P}^4$ 내 5차 3차원 초곡면의 4차원 가 $g: \mathcal{Z} \to T$를 구성하고, 반복 허지-구조 포함을 통해 복소 곱셈 점들이 조밀하다는 것을 보인다.

실험 결과

연구 질문

• RQ1 모든 $d \geq n+1$에 대해, $d < 2n$일 때 그릭피스-요카와 상호작용이 퇴도적이더라도 $\mathcal{M}^{(1)}_{d,n}$가 $\mathcal{M}_{d,n}$ 내에서 강성인지 여쭤보는 것.
• RQ2 $\mathcal{M}^{(\nu)}_{d,n}$의 반복 가에 대해 그릭피스-요카와 상호작용 길이의 정확한 길이는 무엇이며, 이는 $d$, $n$, $\nu$에 어떻게 의존하는가?
• RQ3 $\mathbb{P}^4$ 내 5차 3차원 초곡면의 4차원 가를 구성할 수 있으며, 그 안에 복소 곱셈 섬유가 조밀하게 분포되어 있는가?
• RQ4 반복 피복의 허지-구조는 어떻게 분해되며, 이는 모듈리 공간 기하학과 균일화에 어떤 영향을 미치는가?

주요 결과

• 모든 $n \geq 3$ 및 $d \geq n+1$에 대해, $\ell \geq n - \lfloor d/2 \rfloor + 1$이면 $\varsigma(\mathcal{M}^{(\ell)}_{d,n}) = n - \ell$이며, 그 외의 경우 $\varsigma(\mathcal{M}^{(\ell)}_{d,n}) = n - \ell - 1$이다.
• $\mathcal{M}^{(1)}_{d,n}$는 모든 $d \geq n+1$에 대해 $\mathcal{M}_{d,n}$ 내에서 강성이다. $d < 2n$일 때 요카와 상호작용이 퇴도적이지만, 이는 최대 상호작용이 강성임을 암시하는 기대와 모순된다.
• $\mathbb{P}^4$ 내 5차 초곡면의 4차원 가 $g: \mathcal{Z} \to T$를 구성하였으며, $T$의 점들 중 대부분의 $t$에 대해 $g^{-1}(t)$가 복소 곱셈을 가짐을 보였다.
• $\mathrm{Hg}(H^1(F_1,\mathbb{Q}) \otimes H^1(\Sigma_5,\mathbb{Q}))$ 및 $\mathrm{Hg}(H^1(F_1,\mathbb{Q}) \otimes H^1(\Sigma_5,\mathbb{Q})^{igotimes 2} \oplus \cdots)$의 허지-구조가 교환 가능하다는 것이 밝혀졌으며, 이는 그 갈루아 표현이 교환 가능하다는 것을 의미한다.
• $g': \mathcal{Z}' \to S \times S$는 강성이다. 비강성 변형이 존재한다면, $\dim T \geq 1$인 일반적으로 유한한 사상 $S \times S \times T \to M_{5,4}$가 존재하게 되며, 이는 명제 3.1과 모순된다.
• $\mathbb{V}_3$의 허지-변형 구조는 $\mathbb{V}_1 \otimes H^1(\Sigma_5,\mathbb{Q})^{igotimes 2} \oplus \cdots$의 직접 요소이며, 각 비단위 기약 요소는 $M_{5,1}$의 부분 컴acts화를 2차원 볼 쿠션으로 균일화한다.