[논문 리뷰] Special points and Poincaré bi-extensions, with an Appendix by Bas Edixhoven

Daniel Bertrand|arXiv (Cornell University)|2011. 04. 27.

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

한 줄 요약

이 논문은 곡선 위의 준아벨 스킴에서 섬유의 토피어스 점들을 총공간의 토피어스 점들로 올리는 단면을 구성하여 준아벨 설정에서 상대 맨킨-무프라드 추측에 대한 반례를 제시한다. 그러나 혼합 쇼이마 다양체의 맥락에서 재해석할 경우, 이 구성은 핀크의 특수 부분다양체에 대한 일반 추측을 지지한다.

ABSTRACT

The paper gives a counter-example to the relative version of the Manin-Mumford conjecture.

연구 동기 및 목표

• 준아벨 스킴의 맥락에서 상대 맨킨-무프라드 추측을 조사하며, 특히 준상수 확장이 존재할 경우를 고려한다.
• 마서-잔니에의 핀크 추측 접근법에서 발생할 수 있는 장애 요소를 제거하기 위해 리비트 단면을 포함하는 반례를 구성한다.
• 이 반례를 혼합 쇼이마 다양체의 프레임워크에서 재해석할 경우, 실제로 핀크의 일반 추측을 지지함을 보여준다.
• 비대칭 동형사상과 파이오카레 이중확장의 명시적 사용을 통해 구성에서 토피어스 점의 차수를 제어한다.
• 리비트 단면과 파이오카레 이중확장을 통해 새롭게 구성된 단면 간의 관계, 특히 토피어스 행동과 히크 궤도 측면에서의 관계를 명확히 한다.

제안 방법

• 비등형이 아닌 단면 $ q \in \hat{E}(X) $ 를 이용해, 상수 타원 스킴 $ E_0 \times X $ 에 대한 $ \mathbb{G}_m $ 으로의 1-확장으로서, 비등형이 아닌 준아벨 스킴 $ B/X $ 를 구성한다.
• 확장의 당김과 쌍대성에 기반한 리비트 구성법을 통해 단면 $ \beta $ 를 정의하며, $ \pi \circ \beta = 2\varphi \circ q $ 를 만족시킨다.
• 만약 $ p(\xi) = 2\varphi(q(\xi)) $ 가 $ E_\xi \simeq E_0 $ 에서 토피어스일 경우, $ \beta(\xi) $ 가 $ B_\xi $ 에서 토피어스임을 보장하는 '올림 성질'을 확립한다.
• 파이오카레 이중확장과 위르의 상호법칙을 사용하여 $ \beta(\xi) $ 의 차수를 계산하며, $ n $ 이 홀수이고 특정 차수와 서로소일 경우 $ n^2 \beta(\xi) = 0 $ 임을 보인다.
• 자기사상 $ a $ 를 $ \hat{E}_0 $ 에서 사용하는 다른 구성법을 통해 두 번째 단면 $ \beta_J $ 를 도입하고, 이가 리비트 단면과 루트 오브 유니티의 차이로 다를 뿐임을 보인다.
• 혼합 쇼이마 다양체의 언어로 이 구성법을 재해석하여, $ \beta_J(X) $ 가 특수 부분다양체의 히크 궤도에 속해 있음을 보여, 핀크의 추측을 지지한다.

실험 결과

연구 질문

• RQ1 준아벨 스킴의 단면이 유한하게 많은 횟수만큼 섬유의 토피어스 점들을 만나면서도, 진정한 닫힌 부분군 스킴으로 인해 분해되지 않을 수 있는가?
• RQ2 이러한 단면의 존재가 준아벨 설정에서 상대 맨킨-무프라드 추측을 위반하는가?
• RQ3 만약 $ p(\xi) \in E_\xi $ 가 차수 $ n $ 의 토피어스 점일 경우, $ \beta(\xi) \in B_\xi $ 의 정확한 차수는 무엇인가?
• RQ4 리비트 단면 $ \beta_R $ 와 새로운 단면 $ \beta_J $ 는 토피어스 행동과 히크 궤도 측면에서 어떻게 관련되어 있는가?
• RQ5 이 구성은 기하학적으로 재해석되었을 때, 혼합 쇼이마 다양체에서 특수 부분다양체에 대한 핀크의 일반 추측을 지지하는가?

주요 결과

• 리비트 방법으로 구성된 단면 $ \beta $ 는 $ B/X $ 의 어떤 진정한 닫힌 부분군 스킴으로도 분해되지 않으며, $ q $ 와 $ \varphi \circ q $ 가 모두 무한 차수를 가지기 때문이다.
• 이미지 $ Y = \beta(X) $ 는 $ B_\xi $ 의 토피어스 점들과 제로지-밀도로 만남을 이룬다. 왜냐하면 $ p(\xi) $ 가 $ X(\mathbb{C}) $ 의 무한히 많은 $ \xi $ 에서 토피어스이기 때문이다.
• 만약 $ n > 1 $ 이며 홀수이자 $ \deg((a^2 - 1)(\bar{a} - a)) $ 와 서로소일 경우, $ \beta_J(\xi) $ 가 $ B_\xi $ 에서 정확히 차수 $ n^2 $ 을 가지는 $ \xi \in X $ 가 존재한다.
• 단면 $ \beta_J $ 는 $ B_\xi $ 에서 $ n^2 \beta_J(\xi) = 0 $ 를 만족하며, 위르의 상호법칙 계산을 통해 $ \left( \frac{g_a(q)}{g_a(-q)} \right)^n = 1 $ 이 되어 토피어스임이 확인된다.
• 단면 $ \beta_J $ 는 혼합 쇼이마 다양체 $ S(\varphi) $ 에서 특수 점들의 제로지-밀도 집합을 지난다. 이는 핀크의 추측을 지지한다.
• 추측에 따르면, 차이 $ \beta_R - \beta_J $ 는 단위근이므로, $ \beta_J $ 는 $ \beta_R(X) $ 가 정의하는 특수 부분다양체의 히크 궤도에 속해 있다.