Galois-invariant Néron--Severi ranks of Fermat surfaces over number fields: a Galois module, closed forms, a threshold, and exact tables

기술 요약: 수체 위 페르마 곡면의 갈로아 불변 네론-세베리 계수

문제 정의
본 논문은 임의의 수체 $K$에 대해 방정식 $x_0^d + x_1^d + x_2^d + x_3^d = 0$으로 정의되는 페르마 곡면 $X_d$의 갈로아 불변 네론-세베리 계수(Galois-invariant Néron–Severi rank), 즉 $\rho_K(X_d)$의 계산 문제를 다룬다. 기하학적 피카르 수 $\rho_{\mathbb{Q}}(X_d)$(대수적 폐체 위에서의 계수)는 Shioda, Aoki 및 기타 연구자들의 작업을 통해 고전적으로 잘 알려져 있으나, 특정 수체 $K$ 위에서의 계수—구체적으로 $\dim((NS(X_{\mathbb{Q}}) \otimes \mathbb{Q})^{\text{Gal}(\overline{\mathbb{Q}}/K)})$—에 대한 통일되고 명시적인 처리는 부족했다. 과제는 어떤 대수적 클래스(특히 레프셰츠 정리에 의해 식별된 $(1,1)$-클래스)가 $K$에 의해 정의되는지를 결정하는 것이며, 이는 코호몰로지의 고유 공간(eigenspaces)에 대한 갈로아 작용과 비자명한 트위스트(Grössencharacter) 및 안정자 코사이클(stabilizer cocycle)의 존재로 인해 복잡해진다.

방법론
저자는 원시 코호몰로지 $H^2_{\text{prim}}(X_d, \mathbb{C})$의 고유 공간 분해에 기초한 캐릭터 이론적 접근 방식을 사용한다. 방법론은 다음과 같은 몇 가지 핵심 단계로 진행된다:

1. 단항식 모듈 형식론 (Monomial Module Formalism): 네론-세베리 군을 단항식 갈로아 모듈로 취급한다. 원시 부분은 대수적 캐릭터 $a = (a_1, \dots, a_4)$로 인덱스된 고유 공간 $V(a)$로 분해된다. 갈로아 작용은 이 선들을 치환하고, 트위스트(Grössencharacter)와 안정자 캐릭터를 통해 스칼라로 작용한다.
2. 정의체의 환원: 본 논문은 $\rho_K(X_d) = \rho_{K \cap L}(X_d)$라는 환원을 확립하며, 여기서 $L$은 기하학적 피카르 군의 정의체(Gvirtz-Chen–Skorobogatov에 의해 결정됨)이다. 이는 문제를 $L$의 부분체 위에서의 불변량 계산 문제로 환원시킨다.
3. 트위스트를 포함한 궤도 계산: 프로베니우스 상반성(Frobenius reciprocity)을 사용하여, 계수는 캐릭터의 궤도에 대한 합으로 표현된다. 궤도가 계수에 1을 기여하기 위한 필요충분조건은 해당 궤도의 수직 트위스트(vertical twist, Grössencharacter)와 안정자 코사이클 캐릭터가 모두 자명한 것이다.
4. 트위스트의 명시적 평가: 수직 트위스트는 가우스 합(Gauss sums)과 하세-다벤포트 곱 관계(Hasse–Davenport product relations)를 사용하여 평가된다. 저자는 다음을 구분한다:
   • 분해 가능한 캐릭터 (Decomposable characters): 영합 쌍(zero-sum pairs)으로 짝지어질 수 있는 캐릭터.
   • 패밀리 캐릭터 (Family characters): 특정 일변수 패밀리(Aoki–Shioda families)에 속하는 캐릭터.
   • 예외적 캐릭터 (Exceptional characters): 위의 범주에 속하지 않으며 특정 "예외적 레벨"에서 발생하는 캐릭터.
5. 안정자 하강 (Stabilizer Descent): 짝수 차수의 경우, 안정자 코사이클을 평가하기 위해 "서브-레벨 환원"이 사용된다. 이는 갈로아 작용을 서브-레벨 캐릭터로 들어 올리고, 쌍-대표 합(pair-representative sums)에 대한 패리티 조건을 확인하는 과정을 포함한다.

주요 기여 및 결과

• 서로소 차수에 대한 폐형식(Closed Formulas): 차수 $d$가 6과 서로소인 경우, 저자는 $\mathbb{Q}$ 위에서의 계수에 대한 폐형식 공식을 유도한다:
  $$\rho_{\mathbb{Q}}(X_d) = 1 + 3(\Psi_2(d) - 3\tau(d) + 2)$$
  여기서 $\Psi_2$는 곱법 함수이고 $\tau$는 약수 개수 함수이다. 구체적으로, $p \geq 5$인 소수 $p$에 대해 $\rho_{\mathbb{Q}}(X_p) = 3p - 5$이다.
• 정의체 임계값 (Field-of-Definition Threshold): 본 논문은 이분법을 증명한다: 만약 $\gcd(d, 6) = 1$이면, 모든 대수적 캐릭터는 분해 가능하며 자명한 트위스트를 갖는다. 즉, 계수는 "궤도 천장(orbit ceiling, 가능한 최대 계수)"과 같다. 만약 $\gcd(d, 6) > 1$이면, 비자명한 트위스트(구체적으로 $2^{1/(d/2)}$ 또는 $3^{1/(d/3)}$와 같은 근호와 관련된 쿰머 캐릭터)가 존재하여, 계수가 천장보다 낮아지게 된다.
• $4 \leq d \leq 30$에 대한 정확한 표: 저자는 30까지의 모든 차수에 대해 $\rho_{\mathbb{Q}}(X_d)$의 정확한 값을 제공한다. 여기에는 자명한 수직 트위스트를 가진 비분해적 궤도가 계수에 기여하는 $d = 14, 24, 28, 30$과 같은 예외적인 경우들이 포함된다. 이러한 기여($E_d$)는 "더블링 텔레스코프(doubling telescopes)", 서브-레벨 환원, 그리고 직접적인 하세-다벤포트 항등식을 통해 엄밀하게 증명되었다.
  • 예시: $\rho_{\mathbb{Q}}(X_4) = 5$, $\rho_{\mathbb{Q}}(X_{14}) = 46$, $\rho_{\mathbb{Q}}(X_{24}) = 98$.
• 일반 수체: 본 논문은 임의의 수체 $K$에 대한 일반적인 환원 공식을 제공하며, 이는 $K \cap L$을 고정하는 갈로아 작용의 캐릭터의 평균으로 $\rho_K$를 표현한다. 이를 통해 원분 부분체 및 근호 확장 위에서의 계수 계산이 가능하다.
• 점근적 평균 차수: 저자는 $\gcd(d,6)=1$인 차수들에 대해 다음과 같은 점근적 거동을 확립한다:
  $$\sum_{d \leq x, \gcd(d,6)=1} \rho_{\mathbb{Q}}(X_d) \sim \frac{3}{5}x^2$$
  이는 평균 계수가 $d$에 따라 선형적으로 성장함($\sim \frac{18}{5}d$)을 나타낸다.

의의 및 주장

본 논문은 페르마 패밀리의 갈로아 불변 네론-세베리 계수에 대한 최초의 폐형식 공식과 종합적인 정확한 표를 제공한다고 주장한다. 기하학적 계수나 특정 작은 차수(예: $d=4$)에만 집중했던 이전 연구들과 달리, 본 연구는 캐릭터 이론적 프레임워크를 통해 임의의 수체 위에서의 계수를 다루는 통일된 접근법을 제시한다.

저자는 모든 결과가 **무조건적(unconditional)**임을 강조하며, 대수적 클래스를 유리(rational) $(1,1)$-클래스와 동일하게 식별하기 위해 레프셰츠 $(1,1)$ 정리에 의존한다. 본 논문은 다음 사항에서 차별화된다:

1. 네론-세베리 군을 단항식 갈로아 모듈로 명시적으로 기술한다.
2. 계수를 캐릭터 평균으로 평가하여, 가능한 경우 폐형식을 제공하고 필요한 경우 정확한 표를 제공한다.
3. "예외적" 사례들($d=14, 24, 28, 30$)을 단순한 계산적 샘플링이 아닌, 엄밀한 내부 항등식(텔레스코프 및 안정자 하강)을 통해 해결한다.
4. 원분체에서의 정확한 산술 및 점 개수 확인을 포함하여, 모든 핵심 계산을 검증하는 기계 판독 가능한 인증서와 독립형 스크립트를 제공한다.

이 작업은 정의체 $L$이 알려진 후 $\rho_K$를 찾는 문제를 형식적인 표현론적 계산으로 환원함으로써, 페르마 패밀리에 대한 이러한 불변량의 결정적인 계산을 수행한 것으로 제시된다.