[논문 리뷰] Finite quotients of powers of an elliptic curve

Alexandru Chirvăsitu, Ryo Kanda외 1명|arXiv (Cornell University)|2019. 05. 16.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 4

한 줄 요약

이 논문은 타원곡선 $E$ 의 $g$-중 곱 $E^g$ 에 대해 대칭군 $\Sigma_{g+1}$ 의 단순 전치로 생성되는 부분군 $\Sigma$ 에 의한 몫 다양체 $E^g / \Sigma$ 가 타원곡선과 사영 공간의 곱으로서의 에탈 코버를 가지며, 아벨 군을 갈로아 군으로 갖는다는 것을 증명한다. 핵심 결과는 $\Sigma$ 의 고정점과 궤도 구조에 기반한 이 코버의 정확한 기술이며, 이는 대칭 거듭제곱에 대한 기존 결과를 일반화하고 타원 대수에서의 특성 다양체를 이해하기 위한 기하적 프레임워크를 제공한다.

ABSTRACT

Let $E$ be an elliptic curve. When the symmetric group $Σ_{g+1}$ of order $(g+1)!$ acts on $E^{g+1}$ in the natural way, the subgroup $E_0^{g+1}$, consisting of those $(g+1)$-tuples whose coordinates sum to zero, is stable under the action of $Σ_{g+1}$. It is isomorphic to $E^g$. This paper concerns the structure of the quotient variety $E^g/Σ$ when $Σ$ is a subgroup of $Σ_{g+1}$ generated by simple transpositions. In an earlier paper we observed that $E^g/Σ$ is a bundle over a suitable power, $E^N$, with fibers that are products of projective spaces. This paper shows that $E^g/Σ$ has an étale cover by a product of copies of $E$ and projective spaces with an abelian Galois group.

연구 동기 및 목표

• 몫 다양체 $E^g / \Sigma$ 의 기하적 구조를 규명하는 것. 여기서 $\Sigma$ 는 $\Sigma_{g+1}$ 의 부분군이며, 인접 전치로 생성되며 $E^{g+1}_0$ 에 자연스러운 작용을 한다.
• 특성의 수가 궤도 크기의 곱을 나누지 않는 바탕체의 특성이 0이 아닌 경우, $E^g / \Sigma$ 에 대해 명시적인 에탈 코버를 구성하고, 이의 아벨 갈로아 군을 기술하는 것.
• $\Sigma$ 와 가환하는 $E^g$ 의 이동 변환 자동형사를 그 에탈 코버로 올리는 것. 이는 타원 대수의 표현 이론에서 나타나는 대칭의 기하적 실현을 제공한다.
• 피아진-오데스키 타원 대수 $Q_{n,k}(E,\tau)$ 의 특성 다양체 연구에서 비롯된 기하적 질문을 해결하는 것. 이 다양체들이 이러한 몫들과 동형임을 보이는 것.

제안 방법

• 저자들은 표준 임bedding $\varepsilon$ 를 사용하여 $E^g$ 를 $E^{g+1}$ 의 합이 0이 되는 부분군 $E_0^{g+1} \subset E^{g+1}$ 와 동일시하고, $\Sigma_{g+1}$ 의 인접 전치로 생성되는 $\Sigma \subset \Sigma_{g+1}$ 의 작용을 분석한다.
• 인덱스 집합 $\{1,\dots,g+1\}$ 을 고정점 집합 $J$ 와 크기가 $i_1,\dots,i_s$ 인 $\Sigma$-궤도 $I_1,\dots,I_s$ 로 분해하고, $d = \gcd(i_1,\dots,i_s)$ 를 정의한다.
• 에탈 코버는 $E^{|J|+s-1}$ (또는 $J=\varnothing$ 이면 $E^{s-1}$) 와 사영 공간들의 곱 $\mathbb{P}^{i_1-1} \times \cdots \times \mathbb{P}^{i_s-1}$ 에 대한 피보트 곱으로 구성되며, 갈로아 군으로서 $E[i_1] \mathbin{\scalebox{1.5}{\scalebox{0.8}{$\ast$}}} \cdots \mathbin{\scalebox{1.5}{\scalebox{0.8}{$\ast$}}} E[i_s]$ 를 사용한다.
• 이 구성은 대칭 거듭제곱 $S^{i_\alpha}E$ 에 대한 에탈 코버 $E \times \mathbb{P}^{i_\alpha-1} \to S^{i_\alpha}E$ 를 통해 작용을 올리는 데 기반하며, 갈로아 군은 $E[i_\alpha]$ 이고, 이를 전체 몫으로 확장하기 위해 합 맵의 핵을 사용한다.
• $J=\varnothing$ 인 경우, 갈로아 군은 $E[i_1] \times \cdots \times E[i_s]$ 에서 $E[d]$ 로 향하는 맵 $\sum \frac{i_\alpha}{d} z_\alpha$ 의 핵으로 정의되며, 이는 0합 조건과 호환된다.
• 자기 동치의 올림은 고정점과 궤도 부분공간에 대한 이동 벡터의 분해를 사용하여 $E^g$ 의 이동 작용을 코버로 명시적으로 올리며, 군 작용과의 호환성을 검증한다.

실험 결과

연구 질문

• RQ1 인접 전치로 생성되는 $\Sigma \subset \Sigma_{g+1}$ 가 $E^g \cong E_0^{g+1}$ 에 작용할 때, 몫 다양체 $E^g / \Sigma$ 의 구조는 어떠한가?
• RQ2 에탈 코버를 $E^g / \Sigma$ 에 대해 아벨 갈로아 군을 갖도록 구성할 수 있는가? 만약 그렇다면, 그 기하학적 및 군론적 기술은 무엇인가?
• RQ3 $\Sigma$ 와 가환하는 $E^g$ 의 이동 변환 자동형사가 에탈 코버로 어떻게 올라가는가?
• RQ4 $d = \gcd(i_1,\dots,i_s)$ 는 에탈 코버의 갈로아 군을 정의하는 데 어떤 역할을 하는가?
• RQ5 이 몫의 구조는 피아진-오데스키 타원 대수 $Q_{n,k}(E,\tau)$ 의 특성 다양체와 어떻게 관련이 있는가?

주요 결과

• 고정점 집합 $J \neq \varnothing $ 이면, 몫 $E^g / \Sigma$ 는 갈로아 군 $E[i_1] \times \cdots \times E[i_s]$ 를 갖는 에탈 코버 $\Psi: E^{|J|+s-1} \times \mathbb{P}^{i_1-1} \times \cdots \times \mathbb{P}^{i_s-1} \to E^g / \Sigma$ 를 가진다.
• 고정점 집합 $J = \varnothing $ 이면, 에탈 코버는 갈로아 군이 $E[i_1] \mathbin{\scalebox{1.5}{\scalebox{0.8}{$\ast$}}} \cdots \mathbin{\scalebox{1.5}{\scalebox{0.8}{$\ast$}}} E[i_s]$ 인 $\Psi: E^{s-1} \times \mathbb{P}^{i_1-1} \times \cdots \times \mathbb{P}^{i_s-1} \to E^g / \Sigma$ 로 주어지며, 이는 합 맵 $\sum \frac{i_\alpha}{d} z_\alpha$ 에 대한 핵으로 정의된다.
• 에탈 코버는 이전 연구에서 확립된 바와 같이, $E^{|J|+s-1}$ 위에 올리는 $\mathbb{P}^{i_1-1} \times \cdots \times \mathbb{P}^{i_s-1}$ 의 번들構조와 호환된다.
• $\Sigma$-불변 점 $\mathbf{t} \in E^{g+1}$ 에 의해 유도되는 $E^g / \Sigma$ 의 이동 자동형사는 코버로 올라가며, 갈로아 군 작용을 유지한다.
• 이 구성은 피아진-오데스키 대수 $Q_{n,k}(E,\tau)$ 의 특성 다양체를 $E^g / \Sigma$ 로 기하학적으로 실현하며, 오랫동안 남아있던 그 기하학적 구조에 대한 질문을 해결한다.
• 결과는 $i_1 \cdots i_s$ 를 나누지 않는 특성이 0이 아닌 대수적으로 닫힌 체 $\Bbbk$ 에서도 성립하며, 이는 코버의 에탈성과 관련 맵들의 가역성을 보장한다.