[논문 리뷰] Soliton equations and the Riemann-Schottky problem

M Krichever Igor, T Schiota|arXiv (Cornell University)|2013. 01. 01.

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

한 줄 요약

이 논문은 분해 불가능한 주로 극화된 아벨 다양체(ppav)가 그 쿠머 다양체에 삼등분선(trisecant line)이 존재할 때이고 오직 그 때에만 잼비안임을 증명하며, 솔리톤 방정식을 통한 잼비안의 가장 강력한 알려진 특성화를 제공한다. 또한 오랜 기간 동안 미해결이었던 프림 다양체의 특성화 문제를 해결하며, KP 방정식과 같은 통합계열에 기반한 깊이 있는 대수기하학적 구조를 드러낸다.

ABSTRACT

Novikov's conjecture on the Riemann-Schottky problem: {\it the Jacobians of smooth algebraic curves are precisely those indecomposable principally polarized abelian varieties (ppavs) whose theta-functions provide solutions to the Kadomtsev-Petviashvili (KP) equation}, was the first evidence of nowadays well-established fact: connections between the algebraic geometry and the modern theory of integrable systems is beneficial for both sides. The purpose of this paper is twofold. Our first goal is to present a proof of the strongest known characterization of a Jacobian variety in this direction: {\it an indecomposable ppav $X$ is the Jacobian of a curve if and only if its Kummer variety $K(X)$ has a trisecant line} and the solution of the characterization problem of principally polarized Prym varieties. The latter problem is almost as old and famous as the Riemann-Schottky problem but is much harder. In some sense the Prym varieties may be geometrically the easiest-to-understand ppavs beyond Jacobians, and studying them may be a first step towards understanding the geometry of more general abelian varieties as well. Our second and primary objective is to take this opportunity to elaborate on motivations underlining the proposed solution of the Riemann-Schottky problem, to introduce a certain circle of ideas and methods, developed in the theory of soliton equations, and to convince the reader that they are algebro-geometric in nature, simple and universal enough to be included in the Handbook of moduli.

연구 동기 및 목표

• ppav의 쿠머 다양체 기하학과 삼등분선을 이용한 잼비안 다양체의 명확한 특성화를 수립하기.
• 잼비안 이외의 아벨 다양체를 이해하는 데 핵심적인 주로 극화된 프림 다양체를 특성화하는 오랜 기간 동안의 문제를 해결하기.
• 특히 KP 방정식의 해를 포함한 솔리톤 이론의 기법이 본질적으로 대수기하학적 성격을 띤다는 것을 보여주기.
• KP 방정식의 해가 잼비안의 θ-함수와 정확히 대응한다는 것을 보여줌으로써 통합계열 이론과 대수기하학을 통합하기.
• 이러한 방법들이 보편성과 기본적 중요성을 지니므로 핸드북 오브 모듈리(Handbook of Moduli)에 포함되어야 한다고 주장하기.

제안 방법

• ppav의 θ-함수를 통한 KP 방정식의 해를 활용하여 그 기하적 성질을 분석한다.
• ppav 중에서 잼비안을 식별하는 기준으로 쿠머 다양체 K(X) 위의 삼등분선 조건을 적용한다.
• θ-특성과 선형계와 같은 대수기하 기법을 활용하여 삼등분선의 존재를 분석한다.
• 특정 이차형식 관계의 소멸을 중심으로 하여 솔리톤 이론의 기법을 아벨 다양체의 기하학적 분석에 응용한다.
• 삼등분선 조건의 유사성에 기반하여 잼비안에서 프림 다양체로의 분석을 확장한다.
• KP 방정식의 해가 ppav의 θ-함수에서 유도된다는 사실을 활용하여 다양체 위의 기하적 제약 조건을 도출한다.

실험 결과

연구 질문

• RQ1 쿠머 다양체 위의 기하적 조건, 특히 삼등분선의 존재를 통해 잼비안 다양체의 계열을 특성화할 수 있는가?
• RQ2 모든 ppav 중에서 프림 다양체를 구분하는 정확한 대수기하학적 조건은 무엇인가?
• RQ3 KP 방정식의 해는 아벨 다양체의 θ-함수와 어떻게 관련이 있는가?
• RQ4 솔리톤 이론의 기법이 본질적으로 대수기하학적일 정도로 분석적 성격을 띠는 정도는 어느 정도인가?
• RQ5 삼등분선을 통한 잼비안의 특성화가 모듈리 이론에서 보편 기준으로 사용될 수 있는가?

주요 결과

• 분해 불가능한 ppav X는 그 쿠머 다양체 K(X)가 삼등분선을 포함할 때이고 오직 그 때에만 잼비안이다.
• 삼등분선 조건을 통한 리만-쇼타크 문제의 해법은 이 맥락에서 잼비안을 특성화하는 데 있어 가장 강력한 알려진 특성화이다.
• 프림 다양체의 특성화는 유사한 기하학적 및 분석적 조건을 통해 달성되었으며, 원래 리만-쇼타크 문제와 비슷하게 오랜 기간 동안 어려운 문제로 남아 있던 문제를 해결하였다.
• KP 방정식의 해는 정확히 잼비안의 θ-함수에서 유도되며, 이는 통합계열과 대수기하학 사이에 깊은 연결 고리를 확립한다.
• 사용된 방법들은 솔리톤 이론에 뿌리를 두고 있으나 본질적으로 대수기하학적임이 입증되었으며, 보편적이고 핸드북 오브 모듈리에 포함될 만한 자격이 있다.
• 본 논문은 KP 방정식의 해가 삼등분선 조건을 통해 아벨 다양체의 기하학적 자료를 암묵적으로 포함하고 있음을 입증하였다.