[논문 리뷰] Caractère d'isogénie et critères d'irréductibilité

Ágnes Dávid|arXiv (Cornell University)|2011. 03. 20.

Algebraic Geometry and Number Theory인용 수 7

한 줄 요약

이 논문은 수체 위 타원곡선의 토크션 점에 부착된 갈루아 표현의 기약성에 대해 명시적이고 균일한 기준을 수립한다. 특히 특정로 주어진 반안정 감소 유형을 갖는 무한한 가족에 대해 적용된다. 모모세의 소수 차수 동형사상에 관한 정리에 대한 명시적 경계를 도출하고, 이전의 갈루아 표현의 동형사상에 대한 균일한 경계를 개선하여 수체 위 산술기하학과 갈루아 표현 이론에서 명시적 향상이 이루어진다. 특히 특정 분해와 감소 조건을 갖는 수체를 대상으로 한다.

ABSTRACT

This article deals with the Galois representation attached to elliptic curves with an isogeny of prime degree over a number field. We first determine uniform criteria for the irreducibility of Galois representations attached to elliptic curves in some infinite families, characterised by their reduction type at some fixed places of the base field. Then, we give an explicit form for a bound that appear in a theorem of Momose. Finally, we use these results to precise a previous theorem of the author about the homotheties contained in the image of the Galois representation.

연구 동기 및 목표

• 수체 위 타원곡선의 갈루아 표현에 대해, 고정된 자리에서의 반안정 감소 유형에 따라 매개화된 균일한 기약성 기준을 결정하는 것.
• 수체 위 소수 차수 동형사상에 관한 모모세의 정리에서 비효율적 경계의 명시적 형태를 제공하는 것.
• 갈루아 표현의 이미지 내 동형사상에 대한 이전의 균일한 경계를 개선하는 것, 특히 기약인 경우에 중점을 두는 것.
• 마줄의 균일한 기약성 결과를 Q에서 일반 갈루아 수체로 확장하는 것, 이는 감소 유형에 대한 명시적 조건을 사용하여 수행된다.

제안 방법

• 이 방법은 갈루아 수체 K 위의 타원곡선의 p-토션 점에 대한 갈루아 군의 작용을 분석함으로써, 표현 $\varphi_{E,p}: G_K \to \mathrm{GL}_2(\mathbb{F}_p)$ 를 사용한다.
• 디오판틴 추측과 이상체 이론에서 유도된 효과적 경계를 바탕으로, 수체 K의 차수 $d_K$, 조정자 $R_K$, 아이디얼 수 $h_K$, 판별식 $\Delta_K$ 에 기반한 명시적 경계 $C(K,n)$ 를 도입한다.
• 작은 소수 위의 자리에서 감소 유형(곱셈적, 일반적, 초상수)에 따라 경우를 구분하고, 국소 갈루아 표현과 동역군 작용을 사용한다.
• 체보타레프 밀도 정리와 아이디얼 군 조정자에 대한 경계를 적용하여, 특정 감소 유형을 갖는 자리의 존재를 제어한다.
• 특히 이미지의 대각선 및 순환 문자를 분석함으로써, 동형사상의 존재를 분석하기 위해 $\varphi_{E,p}$ 의 구조를 사용한다.
• 세르, 마줄, 모모세의 결과를 활용하여 $\varphi_{E,p}$ 의 渐近적 전사성과 동형사상 성질을 개선하고, 명시적 균일 경계를 제공한다.

실험 결과

연구 질문

• RQ1 갈루아 수체 $K$ 위의 타원곡선의 무한한 가족 $\mathcal{E}$ 에 대해, $\varphi_{E,p}$ 가 모든 $p > C(K,\mathcal{E})$ 에 대해 기약이 되는 균일한 경계 $C(K,\mathcal{E})$ 를 어떻게 확립할 수 있는가?
• RQ2 타원곡선에 적절한 감소 조건이 있을 경우, 모모세의 소수 차수 동형사상 정리에서 비효율적 경계를 명시적으로 만들 수 있는가?
• RQ3 갈루아 표현이 기약일 경우, $\varphi_{E,p}$ 의 이미지 내 동형사상의 차수에 대한 최적의 균일 경계는 무엇인가?
• RQ4 작은 소수에서의 사전에 정의된 반안정 감소 유형은 전반적인 갈루아 표현과 그 기약성에 어떻게 影響을 미치는가?

주요 결과

• 이 논문은 갈루아 수체 $K$ 위의 타원곡선에 대해, $K$ 에서 완전히 분할되는 두 개의 서로 다른 소수 $q, q'$ 가 존재하고, $E$ 가 $q$ 와 $q'$ 위의 자리에서 서로 다른 반안정 감소 유형을 갖는 경우, $p > C(K,M)$ 이면 $\varphi_{E,p}$ 가 기약이 되는 균일한 기약성 기준을 수립한다.
• 명시적 경계 $C(K,n) = \left(n^{12h_K} C_2(K) + n^{6h_K}\right)^{2d_K}$ 가 유도되었으며, 여기서 $C_2(K) = \exp(12d_K C_1(K) R_K)$ 이고, $C_1(K)$ 는 $K$ 의 차수 $d_K$ 에만 의존한다. 이는 모모세 결과의 구성적 형태를 제공한다.
• 일반적인 경우, $p > C_K$ 이면 $\varphi_{E,p}$ 의 이미지가 모든 동형사상의 12제곱을 포함한다. 이는 이전의 경계를 향상시킨다.
• 초상수적 경우, $p > C_K$ 이면 $\varphi_{E,p}$ 의 이미지가 모든 동형사상의 4제곱을 포함한다. 이 또한 명시적 경계를 제공한다.
• 이전의 저자의 동형사상에 대한 균일한 경계 연구를 개선하여, 이제 $K$ 와 $n$ 에 대한 명시적 의존성을 갖게 되었고, 기약인 경우로 확장되었다.
• 기준은 효과적이며, 오직 수체 $K$ 의 차수, 조정자, 아이디얼 수, 판별식에만 의존하므로, 주어진 $K$ 에 대해 계산 가능하다.