[논문 리뷰] On vanishing of Abelian integrals and contraction of curves

Hossein Movasati, Evelina Viada|arXiv (Cornell University)|2005. 05. 17.

advanced mathematical theories인용 수 1

한 줄 요약

이 논문은 복소수 체 위의 종수 ≥2 곡선 C 위의 헬름홀로픽 1-form ω가 위상적 사이클 γ를 따라 적분하여 0이 되면, C는 종수가 더 낮은 곡선 D로 비자명한 수축을 가져야 한다고 규명한다. 여기서 ω는 D로부터 올려받은 것이다. 핵심 결과는 유한 차수의 수축을 보장하며, 이에 대한 명시적 상한이 존재한다. 이는 C의 아벨 양기의 아벨 부분다양체 정리에 의해 증명된다.

ABSTRACT

In this article we consider a smooth curve C of genus at least two. We prove that if the integral of a differential 1-form of the first kind ω on a topological cycle γ of C is zero and both C and ω are defined over a number field, then there must be a non-trivial contraction of C to another curve D of smaller positive genus such that the topological cycle γ is mapped to zero under this contraction and ω is the pull-back of some differential form on D. We give an upper bound for the degree of the contraction and for the degree of the field of definition of D in terms of some numerical invariants. The basic tool of the proof is the abelian Subvariety Theorem. This ensures the existence of an abelian subvariety B of a given abelian variety A and of bounded degree, under the condition that there exists a proper subspace of the tangent space of A at zero which contains a period of A. The fact that a curve can be embedded in its Jacobian, provides the link between the two situations. 1

연구 동기 및 목표

• 종수 ≥2 인 곡선 위의 헬름홀로픽 1-form이 위상적 사이클을 따라 적분되어 0이 되는 기하학적 및 산술적 조건을 이해하는 것.
• 그러한 적분의 0이 성립할 경우, 해당 곡선이 종수가 더 낮은 곡선으로의 비자명한 사상이 존재하는지 판단하는 것.
• 수축 사상의 차수와 목표 곡선의 정의 체의 차수에 대한 효과적 상한을 설정하는 것.
• 아벨 적분의 위상적 0이 성립하는 것과 주기 조건을 통해 아벨 양기 내의 아벨 부분다양체 존재성 간의 연결 고리 설정.
• 아벨 부분다양체 정리를 활용하여, 아벨 적분이 0이 되는 곡선의 수론적 및 기하학적 특성화를 제공하는 것.

제안 방법

• 곡선 C를 그 아벨 양기 J(C)에 임베딩하여, C에서 J(C)로 가는 표준 사상의 성질을 활용해 위상적 및 미분 조건을 산술기하 조건으로 변환하는 것.
• 아벨 양기의 부분다양체 정리에 따라, J(C)의 영점에서의 접공간 내에 적절한 부분공간이 존재하면, 유한 차수의 진부분 아벨 부분다양체 B ⊂ J(C)의 존재를 보장하는 것.
• γ를 따라 ω의 적분이 0이 되는 조건을, 주기 값이 접공간의 진부분공간에 포함되어 있음을 의미함으로써, 아벨 부분다양체 정리의 적용 조건을 유도하는 것.
• J(C)/B로 구성된 몫 아벨 양기 A를 정의하며, 토렐리 정리에 의해 이는 더 낮은 양의 종수를 가진 곡선 D에 대응한다.
• 원래 곡선 C 위의 1-form ω가 C → D 사상에 의한 D 위의 헬름홀로픽 1-form의 역상임을 보이는 것.
• C와 ω의 수치적 불변량을 이용해 수축 사상의 차수와 D의 정의 체의 차수에 대한 명시적 상한을 유도하는 것.

실험 결과

연구 질문

• RQ1 헬름홀로픽 1-form의 아벨 적분이 곡선에서 0이 되는 조건이 종수가 더 낮은 곡선으로의 비자명한 사상 존재를 암시하는가?
• RQ2 아벨 양기의 주기 값이 0이 되면, 유한 차수의 아벨 부분다양체를 구성할 수 있는가?
• RQ3 그러한 0이 성립할 경우, 수축 사상의 차수와 목표 곡선의 정의 체의 차수에 대한 효과적 상한은 무엇인가?
• RQ4 아벨 부분다양체 정리는 위상적 적분의 0이 성립함과 기하학적 곡선의 수축 간에 어떻게 연결되는가?
• RQ5 헬름홀로픽 1-form이 사이클을 따라 0이 되면, 아벨 양기의 구조는 이러한 수축의 존재를 어느 정도 반영하는가?

주요 결과

• 만약 헬름홀로픽 1-form ω가 위상적 사이클 γ를 따라 적분하여 0이 되고, C와 ω가 모두 수체 위에서 정의되어 있다면, C는 종수가 더 낮은 양의 종수를 가진 곡선 D로 비자명한 수축을 갖는다.
• C 위의 미분형식 ω는 수축 사상 C → D에 의하여 D 위의 헬름홀로픽 1-form의 역상이다.
• 수축 사상 C → D의 차수는 C와 ω의 수치적 불변량에 의해 유한하게 상한이 존재한다.
• 목표 곡선 D는 C와 ω의 기하학적 성질로부터 유도된 명시적 불변량에 의해 유한 차수의 수체 위에서 정의된다.
• 그러한 수축의 존재는 C의 아벨 양기에 아벨 부분다양체 정리를 적용함으로써 보장된다.
• 증명 과정은 아벨 적분의 0이 성립함과, 제어된 차수를 가진 아벨 양기 내의 아벨 부분다양체 존재성 간의 정밀한 연결 고리를 확립한다.