[논문 리뷰] Andreotti-Mayer loci and the Schottky problem

Ciro Ciliberto, Gerard van der Geer|ArXiv.org|2007. 01. 12.

Crystal structures of chemical compounds참고 문헌 29인용 수 23

한 줄 요약

이 논문은 주로 극단적으로 양극화된 아벨 다양체의 모듈리 공간 $\mathcal{A}_g$ 내에서 Andreotti-Mayer 다양체 $N_{g,1}$ 의 코디멘션에 하한을 설정하며, 이 하한이 종수 4에서의 초타원곡선 다양체와 종수 5에서의 아벨-야코비안 다양체에서 정확히 달성됨을 증명한다. 저자들은 이 다양체들이 컴actified 모듈리 공간의 경계와 어떻게 만날지를 분석하며, $\Xi$ 와 그 이동체 $\Xi_b$ 가 $k$ 차원 부분다양체를 따라 탄성적으로 기울어진다(즉, 접선적 기울어짐)는 조건을 만족하는 점들을 파arameterizing하는 새로운 다양체 $N_k(B,\Xi)$ 를 도입한다. 이는 보다 정교한 슈타크 문제에 대한 특성화에 대한 증거를 제공한다.

ABSTRACT

We prove a lower bound for the codimension of the Andreotti-Mayer locus N_{g,1} and show that the lower bound is reached only for the hyperelliptic locus in genus 4 and the Jacobian locus in genus 5. In relation with the boundary of the Andreotti-Mayer loci we study subvarieties of principally polarized abelian varieties (B,Theta) parametrizing points b such that Theta and the translate Theta_b are tangentially degenerate along a variety of a given dimension.

연구 동기 및 목표

• 주로 극단적으로 양극화된 아벨 다양체의 모듈리 공간 $\mathcal{A}_g$ 내에서 Andreotti-Mayer 다양체 $N_{g,1}$ 의 코디멘션에 하한을 설정하는 것.
• 컴actified 모듈리 공간 $\tilde{\mathcal{A}}_g$ 의 경계와 Andreotti-Mayer 다양체의 교차를 연구하는 것. 특히 $(g-1)$ 차원 아벨 다양체와 $\mathbb{G}_m$ 의 확장으로서 나타나는 준아벨 다양체에 초점을 맞춘다.
• 주로 극단적으로 양극화된 아벨 다양체 $(B,\Xi)$ 에 대해 $N_k(B,\Xi) \subset B$ 를 정의하고, 이는 $\Xi$ 와 그 이동체 $\Xi_b$ 가 $k$ 차원 부분다양체를 따라 탄성적으로 기울어진다(즉, 접선적 기울어짐)는 조건을 만족하는 점 $b$ 의 집합임을 정의하는 것.
• 이러한 새로운 다양체 $N_k(B,\Xi)$ 의 코디멘션을 통해 야코비안과 초타원곡선 야코비안을 특성화하는 데 대한 추측을 뒷받침하는 것. 이는 슈타크 문제에 대한 경계 기반 접근법을 제공한다.

제안 방법

• 저자들은 $\mathcal{A}_g$ 의 특수한 컴actified 형태인 $\tilde{\mathcal{A}}_g$ 를 사용하며, 여기서 경계점들은 차원 $g$ 의 컴actified 준아벨 다양체에 대응한다.
• 그들은 Andreotti-Mayer 다양체 $N_{g,k}$ 가 경계에서 어떻게 행동하는지 분석하기 위해, $(g-1)$ 차원 주로 극단적으로 양극화된 아벨 다양체인 $B$ 와의 교차를 고려한다.
• 각각의 $B$ 에 대해, $\Xi$ 와 그 이동체 $\Xi_b$ 가 $k$ 차원 부분다양체를 따라 탄성적으로 기울어진다(즉, 접선적 기울어짐)는 조건을 만족하는 점 $b$ 의 집합으로서 $N_k(B,\Xi) \subset B$ 를 정의한다.
• 이 연구는 유니버설 아벨 다양체 $\mathcal{X}_g \to \mathcal{A}_g$ 위에서의 유니버설 테타다양체 $\Theta$ 의 기하학에 기반하며, 리만-테타 함수와 그 영점의 집합을 사용하여 주로 극단적으로 양극화된 구조를 정의한다.
• 그들은 선형 시스템의 이차형식 이론에서의 결과, 특히 기저 위치와 펜슬 내의 특이 멤버의 특성에 초점을 맞춰, 탄성 기울어짐 조건을 분석하고, 다중도를 계산한다.
• 핵심 기술 도구는 선형 시스템 $\mathcal{L}$ 내의 이차형식의 정점들을 매개변수화하는 다양체 $V_{\mathcal{L}}$ 의 사용이며, 이는 특정 조건 하에서 유리 정규 곡선임을 보여주며, 코디멘션 추정에 기여한다.

실험 결과

연구 질문

• RQ1 Andreotti-Mayer 다양체 $N_{g,1}$ 이 $\mathcal{A}_g$ 내에서 가능한 최소 코디멘션은 무엇이며, 어떤 기약 성분들이 이 하한을 정확히 달성하는가?
• RQ2 Andreotti-Mayer 다양체 $N_{g,k}$ 는 컴actified 모듈리 공간 $\tilde{\mathcal{A}}_g$ 의 경계와 어떻게 교차하는가?
• RQ3 $(B,\Xi)$ 가 주로 극단적으로 양극화된 아벨 다양체일 때, $\Xi$ 와 $\Xi_b$ 가 $k$ 차원 부분다양체를 따라 탄성적으로 기울어진다(즉, 접선적 기울어짐)는 조건을 만족하는 다양체 $N_k(B,\Xi) \subset B$ 의 기하학적 의미는 무엇인가?
• RQ4 Schottky 문제는 $N_k(B,\Xi)$ 의 코디멘션에 대해 재구성될 수 있는가? 특히 단순한 아벨 다양체에 대해 말이다.
• RQ5 $N_k(B,\Xi)$ 가 $B$ 내에서 코디멘션 $k+1$ 을 갖는 조건은 무엇이며, 이는 $B$ 의 성격에 대해 어떤 함의를 갖는가?

주요 결과

• Andreotti-Mayer 다양체 $N_{g,1}$ 이 $\mathcal{A}_g$ 내에서 코디멘션에 하한이 존재하며, 이 하한은 종수 4에서의 초타원곡선 다양체와 종수 5에서의 야코비안 다양체에서 정확히 달성된다.
• $N_k(B,\Xi) \subset B$ 는 $\Xi$ 와 그 이동체 $\Xi_b$ 가 $k$ 차원 부분다양체를 따라 탄성적으로 기울어진다(즉, 접선적 기울어짐)는 조건을 만족하는 점 $b \in B$ 의 집합으로 정의되며, 이 다양체는 $B$ 의 기하학에 내재되어 있다.
• 일반적인 $(g-1)$ 차원 아벨 다양체 $(B,\Xi)$ 에 대해, $N_k(B,\Xi)$ 가 $B$ 내에서 코디멘션 $k+1$ 을 갖는 것은 $B$ 가 야코비안일 때($k = g-3$ 일 때) 또는 초타원곡선 야코비안일 때($k = g-2$ 일 때)에만 성립한다.
• $N_{g,k}$ 가 $\tilde{\mathcal{A}}_g$ 의 경계와 교차하는 연구는, $N_k(B,\Xi)$ 의 코디멘션을 통해 야코비안과 초타원곡선 야코비안을 특성화하는 새로운 추측적 특성화로 이어진다.
• $\mathcal{L}$ 내의 이차형식의 정점들을 매개변수화하는 다양체 $V_{\mathcal{L}}$ 는 일반 위치 조건 하에서 유리 정규 곡선임을 보였으며, 이는 펜슬 내의 특이 이차형식의 수를 세는 데 있어 중요한 역할을 한다.
• 일반 부분공간에 제한된 펜슬 내의 특이 이차형식의 다중도는 정점이 부분공간과 만날 경우 정확히 2이며, 랭크가 낮은 이차형식의 경우 $h - r$ 이다. 이는 특이 멤버의 정확한 수를 계산하는 데 기여한다.