논문 요약: 타원곡线上的 국소 비원시점 (Locally Imprimitive Points on Elliptic Curves)

논문 정보: arXiv:2304.03964v1 [math.NT]
저자: Nathan Jones, Francesco Pappalardi, Peter Stevenhagen
주제: 수론 (Number Theory), 타원곡선 (Elliptic Curves), 갈루아 표현 (Galois Representation)

1. 연구 배경 및 문제 제기

이 논문은 아르틴의 원근근 (Primitive Root) 추측과 이를 타원곡선으로 확장한 문제들을 다룹니다.

• 배경:

  • 아르틴의 원근근 추측 (Case I): 일반화 리만 가설 (GRH) 하에서, 수체 $K$의 곱셈군 $K^*$에서 전역적으로 원시적인 (전역적으로 거듭제곱이 아닌) 원소 $x$는 $K$의 양의 밀도를 가지는 소수 $p$에 대해 $k_p^*$의 원근근이 됩니다.
  • 순환 축소 (Cyclic Reduction, Case II): 타원곡선 $E/K$가 $p$에서 순환적인 축소 (cyclic reduction) 를 갖는 소수들의 집합에 대한 연구 (Serre).
  • 타원 원근근 (Elliptic Primitive Root, Case III): 타원곡선 $E/K$ 위의 무한차수 점 $P \in E(K)$가 소수 $p$에서 축소된 점군 $E(k_p)$를 생성하는지 여부에 대한 문제 (Lang-Trotter).

• 문제 제기:

  • 전역적으로 원시적인 점 $P$ (즉, $P$가 $E(K)$의 어떤 진부분군의 생성원이 아닌 점) 가 국소적으로 원시적이지 않을 수 있는가? 즉, $P$가 $E(k_p)$를 생성하는 소수 $p$의 집합이 유한할 수 있는가?
  • 기존 연구 (Case I, II) 에서는 국소 비원시성 (local imprimitivity) 이 '자명한' 이유 (예: $K$에 $\ell$차 근이 존재하거나, $E$가 $\ell$-비분해 가능 등) 로만 발생했습니다.
  • 핵심 질문: Case III 에서는 $P$가 전역적으로 원시적이면서도, $K$에 $\ell$-비분해 가능한 점이 없고 $P$가 $\ell E(K)$에 속하지 않음에도 불구하고 국소적으로 $\ell$-비원시적이 되는 '비자명한 (non-trivial)' 현상이 발생할 수 있는가?

2. 방법론

논문은 다음과 같은 수학적 도구를 사용하여 문제를 분석합니다.

1. 갈루아 표현 (Galois Representation):

   • 점 $P$와 관련된 $m$-분할체 (division field) $K_m = K(m^{-1}P)$를 정의합니다.
   • 절대 갈루아 군 $G_K$가 $V_m = \langle m^{-1}P \rangle / \langle P \rangle$ (자유 $\mathbb{Z}/m\mathbb{Z}$-모듈, 계수 3) 에 작용하는 표현 $\rho_{E/K, P}: G_K \to GL_3(\hat{\mathbb{Z}})$를 고려합니다.
   • 이 표현은 2 차원 아핀 군 $Aff_2(\mathbb{Z}/m\mathbb{Z})$에 포함됩니다.

2. 분할 조건 (Splitting Conditions) 및 밀도 계산:

   • 소수 $p$가 $P$를 생성하는지 여부는 $p$가 $K_\ell$에서 완전히 분해되지 않는 조건과 관련이 있습니다.
   • Lemma 2.3 에 따르면, $\ell \nmid [E(k_p):\langle P \rangle]$인 것은 $Frob_{p, \ell}$의 랭크 조건 ($rank(Frob_{p, \ell} - id) \ge 2$) 과 동치입니다.
   • 밀도 $\delta_{E/K, P}$는 포함 - 배제 원리를 사용하여 계산되며, 이 밀도가 0 이 되는지 여부가 국소 비원시성의 핵심입니다.

3. 선형대수적 보조정리 (Lemma 4.1):

   • 3 차원 벡터 공간에서 모든 군 원소가 2 차원 부분공간을 고정할 때, 그 작용이 어떻게 구조화되는지 분석하여 Theorem 1.2 의 세 가지 조건을 유도합니다.

3. 주요 결과 및 기여

3.1. 국소 비원시성의 완전한 분류 (Theorem 1.2)

점 $P \in E(K)$가 국소적으로 $\ell$-비원시적이 (즉, 거의 모든 소수 $p$에서 $P$가 $E(k_p)$를 생성하지 않음) 되기 위한 필요충분조건은 다음 세 가지 중 하나가 성립하는 것입니다:

• 조건 A (자명한 경우 1): $E(K)$에 $\ell$-비분해 점 (torsion point of order $\ell$) 이 존재하고 $P \in \ell E(K)$인 경우.
• 조건 B (자명한 경우 2): $E$가 $K$ 위에서 완전한 $\ell$-비분해 점 (full rational $\ell$-torsion) 을 가지는 경우. (이 경우 $E(k_p)$는 $\ell$-부분군이 순환적이지 않음).
• 조건 C (비자명한 경우): $K$ 위에서 정의된 $\ell$-비분해 사상 (isogeny) $\phi: E' \to E$가 존재하여, 그 핵이 $E'(K)$의 $\ell$-비분해 점에 의해 생성되고, $P \in \phi[E'(K)]$인 경우.
  • 의의: 조건 C 는 $P \notin \ell E(K)$이고 $E[\ell](K)=0$임에도 국소 비원시성이 발생할 수 있음을 의미합니다. 이는 곱셈군이나 순환 축소 경우에는 존재하지 않는 새로운 현상입니다.

3.2. 비자명한 국소 2-비원시점의 존재성 (Theorem 1.3)

• $E/K$가 정확히 하나의 2-비분해 점을 가질 때 ($\#E(K)[2]=2$), $E$의 무한히 많은 2 차 꼬임 (quadratic twists) 들이 조건 C 를 만족하는 비자명한 국소 2-비원시점을 가집니다.
• 구체적인 Weierstrass 모델과 2-비분해 사상을 이용한 구성을 통해 이를 증명했습니다.

3.3. 소수 $\ell=3$에 대한 구성 (Theorem 6.2)

• $\ell > 2$인 경우에도 비자명한 국소 비원시점이 존재함을 보였습니다.
• Deuring 정상형 (normal form) 과 3-비분해 사상을 이용하여, 수체 $K$ 위에서 무한히 많은 매개변수 $t$에 대해 국소 3-비원시점을 갖는 타원곡선 가족을 구성했습니다.
• $\ell=5, 7$에 대한 예시도 제시되었으며, 공식이 복잡해지지만 원칙적으로는 확장 가능합니다.

3.4. 합성 레벨 (Composite Level) 의 얽힘 장애 (Entanglement Obstruction)

• 소수 레벨 $\ell$뿐만 아니라, 서로 다른 소수 (예: 2 와 3) 에 해당하는 분할체들이 서로 얽혀 (entangled) 발생하는 새로운 형태의 장애를 발견했습니다.
• Example 8.1: $K=\mathbb{Q}$ 위에서, 2-비분해와 3-비분해 조건이 결합되어 국소 원근근 밀도가 0 이 되는 예시 (곡선 12100.j1) 를 제시했습니다. 이는 단일 소수 레벨에서는 발생하지 않지만, 합성 레벨 (level 6) 에서 발생하는 '얽힘'에 의한 장애입니다.

4. 의의 및 결론

1. 아르틴 추측의 타원곡선 버전에서의 반례 제시: 전역적으로 원시적인 점 $P$가 국소적으로 원시적인 소수 집합이 유한할 수 있음을 보였습니다. 이는 Lang-Trotter 추측의 맥락에서 중요한 반례를 제공합니다.
2. 새로운 현상의 발견: 조건 C (비자명한 국소 비원시성) 와 합성 레벨의 얽힘 장애는 타원곡선 고유의 현상으로, 기존 곱셈군 이론에서는 볼 수 없던 구조적 복잡성을 보여줍니다.
3. 갈루아 표현을 통한 체계적 분석: $GL_3$ 갈루아 표현의 구조를 분석하여 국소 비원시성을 완전히 분류하고, 이를 통해 구체적인 예시들을 구성하는 방법을 제시했습니다.
4. 향후 연구 방향: 합성 레벨의 장애에 대한 더 깊은 연구와 더 많은 예시들을 찾는 것이 향후 과제로 제시되었습니다.

이 논문은 타원곡선 위의 점의 생성 문제 (generating points) 에 대한 이해를 심화시켰으며, 갈루아 표현 이론과 수체론의 교차점에서 새로운 현상을 규명했다는 점에서 중요한 기여를 했습니다.