최대 함수체의 자기동형군과 그 대수기하 부호: 제2대 종수 경우

기본 정보

• 논문 ID: 2511.21292
• 제목: The automorphism groups of a maximal function field with the second largest genus and its algebraic geometry codes
• 저자: Xubin Hu, Liming Ma
• 소속: 중국과학기술대학교 수학과학학원
• 분류: math.NT (정수론)
• 제출일: 2025년 11월 26일
• 논문 링크: https://arxiv.org/abs/2511.21292v1

초록

본 논문은 짝수 특성 유한체 위의 제2대 종수를 갖는 최대 함수체(Abdón-Torres 함수체라 칭함)의 자기동형군을 연구한다. 응용으로서, 저자들은 이 최대 함수체로부터 구성된 단점 대수기하 부호의 자기동형군을 결정한다. 연구 결과에 따르면, 자명하지 않은 경우를 제외하고, 단점 대수기하 부호의 자기동형군은 Abdón-Torres 함수체의 자기동형군과 일치한다. 더욱이, Abdón-Torres 함수체 자기동형군의 특정 부분군의 고정체를 고려함으로써, 저자들은 명시적 정의 방정식을 갖는 최대 함수체의 한 족을 제공한다.

연구 배경 및 동기

1. 연구 문제

본 논문이 해결하고자 하는 핵심 문제는:

• Abdón-Torres 함수체 Y₂의 완전한 자기동형군 Aut(Y₂/F_{q²}) 결정
• 이 함수체로부터 구성된 단점 대수기하 부호의 자기동형군 계산
• 자기동형군의 고정체를 통한 새로운 최대 함수체 족 구성

2. 문제의 중요성

• 이론적 의의: 최대 함수체는 대수기하와 정수론의 중요한 연구 대상이며, 그 자기동형군의 구조는 함수체의 기하학적 성질과 직접 관련된다
• 부호 이론 응용: 대수기하 부호의 자기동형군은 부호의 구조 이해 및 복호화 알고리즘 설계에 중요한 역할을 한다
• 구성론적 의의: Galois 부분체를 통해 새로운 최대 함수체를 체계적으로 구성할 수 있다

3. 기존 연구의 한계

문헌 검토에 따르면:

• Hermitian 함수체(최대 종수 g₁ = (q-1)q/2)의 자기동형군은 완전히 결정되었으며, 사영 유니터리군 PGU₃(F_{q²})와 동형이다
• 제3대 종수의 최대 함수체 X₃, Y₃, Z₃의 자기동형군은 최근 연구에서 결정되었다
• 제2대 종수의 경우:
  • 홀수 특성 경우(X₂)의 자기동형군은 알려져 있다
  • 짝수 특성 경우(Y₂, 즉 Abdón-Torres 함수체)의 자기동형군은 기존 문헌에서 명확히 결정되지 않았다

4. 연구 동기

• Abdón-Torres 함수체 자기동형군 연구의 공백 메우기
• 긴 부호 길이와 좋은 매개변수를 갖는 대수기하 부호 구성의 이론적 기초 제공
• 최대 함수체의 계층 구조에 대한 체계적 연구

핵심 기여

본 논문의 주요 기여는 다음과 같다:

1. Abdón-Torres 함수체 Y₂의 자기동형군 구조 완전 결정(정리 3.7, 명제 3.8):
   • Aut(Y₂/F_{q²}) = G(P∞)(무한원점의 안정화군)임을 증명
   • 자기동형군의 명시적 기술: 반직곱 구조 C ⋉ N, 여기서 |Aut(Y₂/F_{q²})| = (q+1)q³/2
   • 자기동형은 {σ(x) = ax+b, σ(y) = y+(abᵍ)²x²+abᵍx+c}로 매개변수화되며, aᵍ⁺¹=1, bᵍ⁺¹=h(c)
2. 모든 유리점의 Weierstrass 반군 계산(명제 3.5):
   • H(P∞) = ⟨q/2, q+1⟩
   • H(P_{a,b}) = ⟨q-1, q, q+1⟩(다른 유리점)
3. 단점 대수기하 부호 C_m = C(D, mP∞)의 자기동형군 완전 결정(정리 5.2, 5.8):
   • q+1 ≤ m ≤ (q³+q²-4q-2)/2에 대해: Aut(C_m) ≅ Aut(Y₂/F_{q²})
   • 다른 m 값에 대해: 완전한 분류 제공(대칭군 및 아핀군 경우 포함)
4. 명시적 정의 방정식을 갖는 최대 함수체 족 구성(정리 4.6, 추론 4.7-4.8):
   • 자기동형군 부분군의 고정체를 통한 체계적 구성
   • 종수의 명시적 공식 제공
5. 분지 거동 및 도함수 계산(명제 4.1-4.2):
   • Y₂/Y₂^A 확대의 완전한 분지 구조 결정
   • 도함수 Cond(Y₂/F_{q²}(x)) = (q+2)·∞ 계산

방법론 상세 설명

작업 정의

주요 작업: 짝수 특성 유한체 F_{q²}(q=2ⁿ≥4) 위의 Abdón-Torres 함수체의 자기동형군 결정. 이 함수체는 다음과 같이 정의된다: $Y_2 = \mathbb{F}_{q^2}(x,y), \quad h(y) = x^{q+1}$ 여기서 $h(y) = y^{q/2} + y^{q/4} + \cdots + y^2 + y$

핵심 성질:

• 종수: g(Y₂) = q(q-2)/4(제2대 가능 종수)
• 유리점 개수: N(Y₂) = 1 + q³/2
• Y₂는 Hermitian 함수체의 Galois 부분체

핵심 방법론 구조

1. Weierstrass 반군 분석(제3.1-3.2절)

전략: 주 제수를 계산하여 극점 개수 결정

핵심 계산:

• P∞에 대해:
  • (x) = -q/2·P∞ + Σ_{b∈Ω} P_{0,b}
  • (y) = (q+1)(P_{0,0} - P∞)
  • 따라서 H(P∞) = ⟨q/2, q+1⟩
• 다른 유리점 P_{a,b}에 대해(보조정리 3.3-3.4):
  • 접선 함수 t_{a,b} = (y-b) - aᵍ(x-a) 구성
  • ν_{P_{a,b}}(t_{a,b}) = 2 증명
  • abelian variety 이론을 이용하여 (f_{a,b}) = (q+1)(P_{a,b} - P∞)를 만족하는 함수 f_{a,b} 존재 증명
  • H(P_{a,b}) = ⟨q-1, q, q+1⟩ 도출

2. 안정화군 결정(제3.1절, 명제 3.1)

방법: Riemann-Roch 공간의 작용 분석

σ ∈ G(P∞)에 대해, σ(L(nP∞)) = L(nP∞)이며, 특히:

• L(q/2·P∞) = F_{q²} ⊕ F_{q²}x
• L((q+1)P∞) = F_{q²} ⊕ F_{q²}x ⊕ F_{q²}x² ⊕ F_{q²}y

σ(x) = ax+b, σ(y) = Ey+Ax²+Bx+c로 설정

핵심 도출(엄격한 삼각 부등식 이용): (σ(x))^{q+1} = h(σ(y))를 전개하고 이산 부가를 비교하면:

• aᵍ⁺¹ = Eᵍ/² = 1, 따라서 E = 1
• A = (abᵍ)²
• B = abᵍ
• bᵍ⁺¹ = h(c)

3. 궤도 분석(제3.3절, 명제 3.6)

핵심 보조정리: O(P∞) = {P∞} 증명

증명 개요:

• σ(P∞) = P_{a,b}인 σ가 존재한다고 가정
• (x-a)의 주 제수로부터 q/2 ∈ H(P_{a,b})
• 이는 명제 3.5와 모순(H(P_{a,b}) = ⟨q-1, q, q+1⟩는 q/2를 포함하지 않음)

결론(정리 3.7): 궤도-안정화군 정리에 의해, $|Aut(Y_2/\mathbb{F}_{q^2})| = |G(P_\infty)| \cdot |O(P_\infty)| = |G(P_\infty)|$

4. 대수기하 부호 자기동형군(제5절)

전략 조합:

1. 작은 m 값: 생성 행렬 직접 분석
2. 중간 m 값: Wesemeyer 보조정리 적용(보조정리 5.1)
3. 큰 m 값: 자기동형의 구성적 상승

핵심 기술(정리 5.8의 증명):

(a) x 좌표 자기동형으로의 상승:

• 유리 AG 부호 구성: C(R, ⌊2m/q⌋(x)∞^{F_{q²}(x)}) = C(R', ⌊2m/q⌋(x)∞^{F_{q²}(x)})
• 보조정리 5.6 적용하여 아핀 변환 σ(x) = ax+b 획득

(b) y 좌표로의 상승:

• 함수 z = y·∏_{i∈I}(x-x_i) ∈ L(mP∞) 고려
• w = Σ_^{q/2-1} w_k(x)y^k로 작성
• 영점 분석을 통해 w_k(x)의 형태 결정
• 보조정리 5.7을 이용하여 계수 관계 결정

(c) 함수체 방정식 검증:

• h(y'_{j,ℓ}) = (x'_j)^{q+1}로부터 매개변수 관계 도출
• 보조정리 5.7(2) 적용하여 최종 형태 결정

기술적 혁신점

1. Weierstrass 반군의 정확한 계산:
   • P_{a,b}(a≠0) 경우에 대해, 접선 함수와 abelian variety 이론을 창의적으로 사용
   • 모든 극점 개수를 직접 구성하는 복잡한 계산 회피
2. 궤도 유일성의 간결한 증명:
   • Weierstrass 반군의 차이를 통해 다른 가능성 직접 배제
   • 전통적인 분지 분석보다 더 직접적
3. 대수기하 부호 자기동형의 구성적 상승:
   • 단계적 상승 전략(먼저 x, 그 다음 y)
   • 지표 집합의 포함-배제 원리를 교묘하게 이용하여 매개변수 일관성 보장
4. 고정체의 체계적 구성:
   • F₂T 모듈 구조를 이용하여 Artin-Schreier 확대 통일적 처리
   • 단순 존재성이 아닌 명시적 정의 방정식 제공

실험 설정

주: 본 논문은 순수 수학 이론 연구이므로 수치 실험을 포함하지 않는다. 모든 결과는 엄격한 수학적 증명이다.

이론적 검증 프레임워크

1. 매개변수 범위: q = 2ⁿ ≥ 4(짝수 특성 유한체)
2. 검증 대상:
   • 함수체 Y₂ 및 그 유리점(1+q³/2개)
   • 모든 m ∈ ℕ에 대한 대수기하 부호 C_m
   • 고정체 족
3. 검증 방법:
   • 주 제수 계산
   • Riemann-Roch 정리 응용
   • Hurwitz 종수 공식 검증
   • 궤도-안정화군 정리

실험 결과

주요 정리 결과

정리 3.7(자기동형군 구조)

결과: Aut(Y₂/F_{q²}) = G(P∞)이며, 다음 자기동형으로 매개변수화된다: