[논문 리뷰] Essential dimension of abelian varieties over number fields

Patrick Brosnan, Ramesh Sreekantan|ArXiv.org|2008. 02. 29.

Algebraic Geometry and Number Theory인용 수 3

한 줄 요약

이 논문은 수체 위의 비자명한 아벨 다양체의 필수 차원이 항상 무한하다는 것을 증명하며, 타원곡선에 대한 추측을 해결하고 이를 모든 아벨 다양체로 확장한다. 증명은 테이트 모듈러스 위의 갈루아 표현과 보고몰로프의 정리를 사용하여, 특정 $\varepsilon$-adic 구조가 $\Pi/\ell^n$- torsor의 필수 차원을 통해 무한한 필수 차원을 유도함을 보인다.

ABSTRACT

We affirmatively answer a conjecture in the preprint ``Essential dimension and algebraic stacks,'' proving that the essential dimension of an abelian variety over a number field is infinite.

연구 동기 및 목표

• 논문 [3]의 추측 10.5를 해결하기 위해, 수체 위의 모든 타원곡선의 필수 차원이 무한하다는 것을 증명하는 것.
• 이 결과를 수체 위의 양의 차원을 가진 비자명한 모든 아벨 다양체로 확장하는 것.
• 필드 확장에서 $\Pi/\ell^n$- torsion과 유한하지만 자명하지 않은 $\mu_{\ell^\infty}$- torsion의 존재를 바탕으로 한 무한 필수 차원에 대한 일반 기준을 설정하는 것.
• 카펜코-머크르제프 이론을 사용하는 기존 접근보다 더 짧고 자가 포함된 증명을 제공하면서, 정리 3의 독립적인 관심가치를 부각하는 것.

제안 방법

• 플로렌스가 확립한, 필드 확장에서 군 스킴 $\mathbb{Z}/\ell^n$의 필수 차원을 사용하여 아벨 다양체의 필수 차원을 아래로부터 유계화하는 것.
• 갈루아 표현 $T_\ell A$의 갈루아 이미지의 리 대수에 대한 보고몰로프의 정리를 적용하여 열린 부분군을 탐지하는 것.
• 프로베니우스 토리와 체보타레프 밀도를 사용하여, $\mathbb{Q}_\ell/\mathbb{Z}_\ell \subset A(L)$ 이고 $1 < |\mu_{\ell^\infty}(L)| < \infty$ 를 만족하는 갈루아 확장 $L/k$ 를 구성하는 것.
• 테이트 모듈러스 $T_\ell A$ 가 갈루아 작용을 지닌다는 사실과, 양호한 비초기형 소수에서의 프로베니우스 토리 $T_\mathfrak{p}$ 가 랭크 $\geq 2$ 를 가진다는 점을 활용하여 비자명한 토리 작용을 보장하는 것.
• 분해 가능한 토리의 특성 라티스 위에서 선형대수를 적용하여, 벡터를 고정하고 행렬식에 비자명하게 작용하는 랭크 1 부분토리를 찾는 것.
• 필수 차원 문제를 $\mu_{\ell^\infty}(L)$ 과 $\mathrm{GL}(V_\ell A)$ 에서 갈루아 군의 상의 행동으로 환원하는 것.

실험 결과

연구 질문

• RQ1 모든 비자명한 아벨 다양체가 수체 위에서 무한한 필수 차원을 가지는가?
• RQ2 j-불변량이 정수일 경우, 타이트 커브 방법을 배제할 수 있음에도 불구하고 아벨 다양체의 필수 차원이 여전히 무한한가?
• RQ3 테이트 모듈러스 위의 갈루아 표현에 어떤 구조적 조건이 무한한 필수 차원을 유도하는가?
• RQ4 필드 확장에서 $\mathbb{Q}_\ell/\mathbb{Z}_\ell$- torsion 과 유한한 $\mu_{\ell^\infty}$- torsion 이 존재할 경우, 이를 바탕으로 무한 필수 차원에 대한 통일된 기준이 존재하는가?
• RQ5 만약 아벨 다양체 $A$ 가 이러한 $\mathbb{Z}/\ell^n$- torsion 을 포함한다면, $A$ 의 필수 차원이 $\mathbb{Z}/\ell^n$- torsor 의 필수 차원으로부터 아래로 유계화될 수 있는가?

주요 결과

• 수체 위의 비자명한 아벨 다양체의 필수 차원은 항상 무한하다.
• 모든 비자명한 아벨 다양체 $A$ 는 수체 $k$ 위에서, 소수 $\ell$ 가 홀수이고, 필드 확장 $L/k$ 가 존재하여 $\mathbb{Q}_\ell/\mathbb{Z}_\ell \subset A(L)$ 이며 $1 < |\mu_{\ell^\infty}(L)| < \infty$ 를 만족하며, 이는 무한한 필수 차원을 유도한다.
• 증명은 양호한 균형 소수에서 비초기형이 아닌 곳에서 프로베니우스 토리의 랭크가 최소 2임을 보장하는 존재성에 기반한다.
• 갈루아 표현 $T_\ell A$ 는 양의 밀도를 가진 소수 $\ell$ 에 대해 $\mathbb{Q}_\ell$ 위에서 랭크 $\geq 2$ 인 분해 가능 토리를 포함하며, 이는 필요한 부분토리를 구성하는 데 기여한다.
• 필드 $L$ 에서 $|\mu_{\ell^\infty}(L)| = \ell^r$ 이면, $\mathbb{Z}/\ell^n$ 의 필수 차원은 $\max\{1, \ell^{n-r}\}$ 으로 증가하며, $n \to \infty$ 일 때 이 값은 무한히 커지므로 $\mathrm{ed}(A) = \infty$ 를 유도한다.
• j-불변량이 정수일 경우에도 결과가 성립하므로, 타이트 커브 방법의 범위를 초월하여 추측이 해결됨을 보여준다.