Quadratic Twists of Heronian Elliptic Curves with Arbitrarily Large 2-Selmer Rank

기술적 요약: 임의로 큰 2-셀머 랭크를 갖는 헤로니언 타원 곡선의 이차 트위스트

문제 정의
본 논문은 헤로니언 삼각형(유리수 변의 길이와 유리수 넓이를 갖는 삼각형)에서 기인하는 헤로니언 타원 곡선의 산술을 다룬다. 여기서 삼각형의 넓이는 $2mn$이다. 직각 삼각형(congruent number problem)과 관련된 2-셀mer 랭크의 분포는 이미 잘 연구되어 있으나, 자연스러운 매개변수 $m$(넓이에 포함된 2의 지수)을 갖는 헤로니언 타원 곡선의 맥락에서는 명시적으로 분석된 바 없다. 저자들은 $m$의 거듭제곱에 의한 이차 트위스트(quadratic twisting)에 따라 $E_{m,n}$ 곡족의 2-셀머 군(2-Selmer group)이 어떻게 변하는지 조사하며, 이를 통해 정해진 크기 및 임의로 큰 2-셀머 랭크를 갖는 명시적인 가족을 구성하는 것을 목표로 한다.

방법론
저자들은 다음과 같이 정의된 타원 곡족 $E_{m,n}$에 대해 완전한 2-데센트(complete 2-descent)를 수행한다:
$$E_{m,n}: y^2 = x(x - 2mn^2)(x + 2m)$$
여기서 $n$은 $n^2 + 1 = 2q$를 만족하는 어떤 소수 $q$에 대하여 $n$이 제곱수가 없는 홀수이다. 방법론은 다음과 같이 진행된다:

1. 토션 분석 (Torsion Analysis): 저자들은 모든 $m$에 대하여 유리수 토션 부분군 $E_{m,n}(\mathbb{Q})_{\text{tors}}$가 $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$와 동형임을 확립하여, 2-가분성 기준(2-divisibility criteria)을 통해 4차 점(point of order 4)의 존재를 배제한다.
2. 데센트 맵 설정 (Descent Map Setup): 이들은 $S$를 $n$의 소인수, $q$, 그리고 2를 포함하는 집합이라 할 때, $Q(S, 2) \times Q(S, 2)$로의 2-데센트 맵 $\beta$를 정의한다. 2-셀머 군은 모든 국소 체(local fields) $\mathbb{Q}_l$에서 비자명한 해를 갖는 동차 공간(homogeneous spaces)의 쌍 $(b_1, b_2)$의 집합으로 식별된다.
3. 국소 가해성 분석 (Local Solvability Analysis): 증명의 핵심은 $l=2$, $l=p$ (단, $p|n$), 그리고 $l=q$에서의 국소적 장애(local obstructions)에 대한 상세한 분석이다.
   • $m$의 기우성 (Parity of $m$): 분석은 $m$이 홀수인 경우와 짝수인 경우로 나뉜다.
   • $n$의 소인수 분해: 정수 $n$은 $n = n_1 n_2$로 분해되는데, 여기서 $n_1$은 $p \equiv \pm 1 \pmod 8$인 소인수를 포함하고, $n_2$는 $p \equiv \pm 3 \pmod 8$인 소인수를 포함한다.
   • 합동 조건 (Congruence Conditions): 저자들은 $q = (n^2+1)/2 \pmod 8$의 합동류와 $n$의 소인수의 잔여류(residue classes)를 바탕으로, 쌍 $(b, b)$, $(2b, b)$ 등이 셀머 군에 속하기 위한 필요충분조건을 도출한다.
4. 명시적 구성 (Explicit Construction): 국소 가해성에 실패하는 쌍들을 제거함으로써(예: $p \equiv \pm 3 \pmod 8$이 $b$를 나누고 $m$이 홀수이면 해당 쌍은 셀머 군에 속하지 않음을 보임으로써), 2-셀머 군의 정확한 생성원(generators)을 격리한다.

주요 결과
논문은 $m$의 기우성과 $n$의 인수 분해에 따른 2-셀머 랭크 $s_2(E_{m,n})$의 명시적 공식과 2-셀머 군의 구조를 제공한다:

• 경우 1: $m$이 홀수일 때

  • $n_1 = 1$인 경우 (모든 $n$의 소인수가 $\equiv \pm 3 \pmod 8$인 경우):
    • $q \equiv 1 \pmod 8$이면, $s_2 = 1$.
    • $q \equiv 5 \pmod 8$이면, $s_2 = 0$.
  • $n_1 > 1$인 경우:
    • $q \equiv 1 \pmod 8$이면, $s_2 = r + s + 1$.
    • $q \equiv 5 \pmod 8$이면, $s_2 = r + s$.
  • 여기서 $r$과 $s$는 각각 $1 \pmod 8$ 및 $7 \pmod 8$인 $n_1$의 소인수 개수이다.

• 경우 2: $m$이 짝수일 때

  • $n_2 = 1$인 경우 (모든 $n$의 소인수가 $\equiv \pm 1 \pmod 8$인 경우):
    • $s_2 = r + s + 1$.
  • $n_2 > 1$인 경우:
    • $s_2 = r + s + t - 1$, 여기서 $t$는 $n_2$의 소인수 개수이다.

의의 및 주장
저자들은 이 연구가 특히 헤로니언 타원 곡맥락 내에서 2-셀머 군이 이차 트위스트에 의해 어떻게 변환되는지를 결정한 첫 번째 명시적 결정이라고 주장한다.

• 임의로 큰 랭크: $n$을 $1 \pmod 8$에 합동인 소인수(구체적으로 $n_1$ 내의 소인수)를 충분히 많이 갖도록 선택함으로써, 임의로 큰 2-셀머 랭크를 갖는 명시적인 헤로니언 타원 곡족을 구성할 수 있음을 결과는 보여준다.
• 일반화: 이 연구는 특정 $n$에 대한 조건으로 제한되었던 이전 연구 [1]의 가족을 임의의 $m$으로 일반화하여, 트위스트 동작에 대한 완전한 산술적 기술을 제공한다.
• 상한 (Upper Bounds): 2-셀머 랭크는 모델-바일 랭크(Mordell-Weil rank)의 상한($rank E(\mathbb{Q}) \le s_2(E)$)을 제공하므로, 이 공식들은 이 곡들의 랭크에 대한 명시적인 상한을 제공한다.

본 논문은 SageMath와 MAGMA를 이용한 계산적 검증을 통해 이러한 이론적 발견을 뒷받침하며, $n$의 소인수 개수가 증가함에 따라 2-셀머 랭크와 생성원의 변화를 나타내는 표를 제시하여 랭크가 $1 \pmod 8$에 합동인 소인수의 개수에 따라 선형적으로 성장함을 확인한다.