The size of $2$-Selmer groups for the $\fracπ{3}$-congruent number problem

기술적 요약: $\pi/3$-합동수 문제에 대한 2-Selmer 군의 크기

문제 정의
본 논문은 $\pi/3$-합동수 문제와 연관된 타원 곡선에 대응하는 2-Selmer 군의 평균 랭크를 조사한다. 양의 정수 $n$은 $\theta$ 각을 가진 유리수 삼각형의 넓이를 나타낼 때 $\theta$-합동수라고 한다. 특히, 저자들은 $\theta = \pi/3$인 경우에 집중하며, 이때 연관된 타원 곡선은 다음과 같이 정의된다:
$$E_{n, \pi/3}: y^2 = x(x + 3n)(x - n)$$
연구의 핵심 대상은 2-Selmer 군의 크기 $2^{2+s(n)}$로 표현되는 2-Selmer 랭크 $s(n)$이다. 저자들의 목표는 특정 제곱 자유 정수(square-free integers) 가족에 대해 $2^{s(n)}$의 평균값의 점근적 거동을 결정하는 것이다.

방법론
저자들은 합동 타원 곡선($y^2 = x^3 - n^2x$)을 위해 Heath-Brown [H93]이 개척한 전략을 채택하여, 이를 $E_{n, \pi/3}$의 특정한 산술적 구조에 맞게 변형하였다. 방법론은 다음 단계들을 통해 진행된다:

1. 2-Descent 및 동차 시스템(Homogeneous Systems):
   2-descent 방법을 사용하여, 저자들은 몫(quotient) $E_{n, \pi/3}(\mathbb{Q})/2E_{n, \pi/3}(\mathbb{Q})$를 국소체(local fields)의 곱으로 사상한다. 이들은 2-Selmer 군과 유리수체 $\mathbb{Q}$ 상에서 해를 갖는 동차 방정식 시스템 사이의 전단사 관계를 확립한다. 구체적으로, 네 개의 서로 소인 제곱 자유 정수 $n_1, n_2, n_3, n_4$ (여기서 $n = n_1 n_2 n_3 n_4$)를 포함하는 방정식 시스템을 유도한다:
   $$n_1 X^2 + 3n_4 W^2 = n_2 Y^2$$
   $$n_1 X^2 - n_4 W^2 = n_3 Z^2$$
   2-Selmer 군의 크기 $2^{s(n)}$은 $\mathbb{R}$ 및 모든 $\mathbb{Q}_p$에서 해를 갖는 이러한 시스템의 개수에 대응한다.

2. 국소 조건 및 제약 조건:
   저자들은 $6n$을 나누는 소수들에 대한 국소 가해성(local solvability) 조건을 엄밀하게 분석한다. 핵심적인 기술적 제약이 부과되는데, 연구는 $n \equiv 5, 13 \pmod{24}$이고 $n$의 모든 소 인수가 $p \equiv 1 \pmod 4$를 만족하는 제곱 자유 정수 $n$으로 제한된다. 이러한 조건 하에서 국소 군(local groups)은 통제된 방식으로 작동하며, 이를 통해 전역 Selmer 군의 크기를 야코비 기호(Jacobi symbol)를 포함하는 인수 분해의 합으로 표현할 수 있다.

3. 평균화 및 문자 합(Character Sums):
   평균 크기를 계산하기 위해, 저자들은 $S(X, h) = \{1 \le n \le X : n \equiv h \pmod{24}, n \text{은 제곱 자유수}, p|n \implies p \equiv 1 \pmod 4\}$ 집합에 대해 $2^{s(n)}$의 합을 구한다.

   • 그들은 $n_1, \dots, n_4$의 인수 분해에서 발생하는 16개의 변수 $n_{ij}$에 대한 합을 분해한다.
   • 저자들은 문자 합을 제한하기 위해 Heath-Brown의 "연결된 변수(linked variables)" 기법을 사용한다. 변수들은 야코비 기호 안에 함께 등장할 때 "연결된 것"으로 간의된다.
   • [H93]의 모듈러스 24에 적응된 문자 합의 경계값(특히 Lemma 3.1 및 Lemma 3.3)을 사용하여, 많은 "큰" 변수를 가진 구성들의 기여가 무시할 수 있는 수준임을 보인다.
   • 주 항(main term)은 변수들이 충분히 탈동조화(decouple)되어 명시적 평가가 가능한 특정 지표 구성(Lemma 4.1에서 식별된 9개의 예외적인 경우)으로부터 발생한다.

주요 기여 및 결과

• 주 정리 (Theorem 1.2): $h = 5$와 $h = 13$에 대하여, 저자들은 $2^{s(n)}$의 합에 대한 다음의 점근 공식(asymptotic formula)을 증명한다:
  $$\sum_{n \in S(X,h)} 2^{s(n)} = 9 \# S(X, h) + O\left(X (\log X)^{-5/8} (\log \log X)^8\right)$$
  이 결과는 완화된(relaxed) 2-Selmer 군의 평균 크기가 해당 집합의 정수 개수의 정확히 9배임을 확립한다.

• Selmer 랭크의 밀도:
  Wei-Guo [WG2022]의 패리티 결과와 주 정리를 결래하여, 저자들은 무조건적인 밀도 결과를 도출한다:

  • $n \equiv 5 \pmod{24}$인 경우: $s(n)$이 짝수이므로, $s(n) = 0$ 또는 $s(n) = 2$의 밀도는 최소 $7/16$이다.
  • $n \equiv 13 \pmod{24}$인 경우: $s(n)$이 홀수이므로, $s(n) = 1$ 또는 $s(n) = 3$의 밀도는 최소 $1/3$이다.

• Mordell-Weil 랭크에 대한 함의:
  부등식 $r(n) \le s(n)$을 사용하여, 저자들은 이 가족들에 대해 $s(n)$에서 도출된 경계값과 일치하는 평균 Mordell-Weil 랭크 $r(n)$의 상한을 제공한다.

의의 및 주장
본 논문은 자신의 결과가 $\pi/3$-합동수에 관한 Yoshida의 추측을 뒷받침하는 무조건적인 증거를 제공한다고 주장한다. 도출된 밀도는 해당 가족 내의 정수 중 양의 비율이 낮은 Selmer 랭크를 가짐을 시사하며, 이는 곡선 상의 유리점 존재와 상관관계가 있다.

저자들은 자신의 결과가 Bhargava-Kane-Lenstra-Poonen-Rains(BKLPR)의 일반적인 휴리스틱에서 크게 벗어남을 강조한다. BKLPR은 무작위 행렬 이론(random matrix theory)에 기반한 특정 분포를 예측하지만, 주 정리의 상수 9는 곡선의 2-isogeny와 6을 나누는 소수들에 의한 특정한 국소 조건에서 기인하는 "경직된 구조(rigid structure)"를 반영한다. 이러한 경직성은 이 가족의 2-Selmer 랭크 분포가 일반적인 무작위 행렬 예측과 다르게 만드는 원인이 된다.

저자들은 현재의 기법이 모든 소 인수가 $1 \pmod 4$인 정수들로 제한되어 있음을 명시적으로 언급한다. 이러한 결과를 전체 제곱 자유 정수 집합이나 $2\pi/3$-합동수 문제로 확장하려면 새로운 방법이 필요하며, 이는 해당 사례들에서 기술적 어려움이 상당하기 때문이다. 본 논문은 전체 $\pi/3$-합동수 추측을 해결한다고 주장하는 것이 아니라, 잘 정의된 특정 부분 가족에 대한 기초적인 점근 공식을 제공하는 것이다.