Classification of Rational Functions of Degree Three over Finite Fields

논문 개요

이 논문은 유한체 $F_q$ 위에서 정의된 3 차 유리함수 (rational functions) 를 PGL-동치 (PGL-equivalence) 관계에 따라 완전히 분류하는 것을 목표로 합니다. 저자 Xiang-Dong Hou, Siyu Peng, Yongyu Qiang, Shujun Zhao 는 Mattarei 와 Pizzato 가 짝수 특성 (even characteristic) 에서 수행한 선행 연구를 이어받아, **홀수 특성 (odd characteristic)**을 가진 유한체에서의 3 차 유리함수 분류를 완결했습니다.

1. 연구 문제 (Problem)

• 배경: 유한체 위의 유리함수는 암호학, 조합론, 그리고 고차 기약 다항식 구성 등 다양한 분야에서 중요한 역할을 합니다. 특히, 유리함수 $f, g$가 $g = \psi \circ f \circ \phi$ ($\psi, \phi \in PGL(2, F_q)$) 형태일 때 두 함수는 동치 (equivalent) 로 간주됩니다. 이 동치 관계는 함수체의 확장 $F_q(X)/F_q(f)$의 성질 (예: 분기점, 갈루아 군 등) 을 보존합니다.
• 과거 연구: 1 차와 2 차 유리함수의 분류는 이미 알려져 있습니다. Mattarei 와 Pizzato [13] 는 짝수 특성 ($q$이 짝수) 인 경우 3 차 유리함수를 분류했습니다.
• 미해결 과제: 홀수 특성 ($q$이 홀수) 인 경우, 3 차 유리함수의 동치 클래스 수 $N(q, 3)$에 대한 공식은 알려져 있었으나 (Hou [9]), 구체적인 대표 원소 (representatives) 와 그 분류 체계는 명확하지 않았습니다. 본 논문은 이 공식을 기반으로 구체적인 분류를 수행하고, 각 동치 클래스를 구별하는 불변량 (invariants) 을 제시합니다.

2. 방법론 (Methodology)

저자들은 3 차 유리함수 $f$를 $F_q \cup \{\infty\}$에서의 원상 (preimage) 크기 분포에 따라 세 가지 주요 클래스로 나눕니다.

1. Class I: 모든 $\alpha$에 대해 $|f^{-1}(\alpha)| = 1$인 경우 (전단사 함수).
2. Class II: 어떤 $\alpha$에 대해 $|f^{-1}(\alpha)| = 2$인 경우.
3. Class III: 어떤 $\alpha$에 대해 $|f^{-1}(\alpha)| = 3$이지만, 어떤 $\beta$에 대해서도 $|f^{-1}(\beta)| = 2$가 아닌 경우.

핵심 접근법:

• 분기점 (Ramification Points) 분석: 함수의 분기점의 개수와 유형 (지수/차수) 을 분석하여 함수의 구조를 파악합니다. 홀수 특성 ($p \ge 5$) 에서 3 차 유리함수는 최대 4 개의 분기점을 가질 수 있어 짝수 특성보다 복잡합니다.
• 교차비 (Cross Ratio) 활용: 4 개의 분기점이 존재하는 경우, 이들의 교차비를 계산하여 동치 관계를 판별합니다.
• 불변량 (Invariants) 구성: 각 클래스 내에서 동치 클래스를 구별하기 위해 대수적 불변량을 도입합니다.
  • $\theta$ 불변량: $f_{s,t} = \frac{X^3+sX+t}{X(X-1)}$ 형태의 함수에 대해 $\theta(s,t) = \frac{s^3}{t(1+s+t)}$를 정의합니다.
  • $\lambda$ 및 $\mu^2$ 불변량: Class III-b 의 경우 $\theta$만으로는 부족하여 교차비 기반의 $\lambda$와 더 강력한 불변량 $\mu^2$를 도입합니다.
• Hasse-Weil 경계 (Hasse-Weil Bound): 대수 곡선 위의 유리점 개수를 추정하여, 특정 불변량 값을 갖는 함수가 실제로 존재함을 증명합니다.
• 컴퓨터 보조 증명: 복잡한 다항식 분해와 계산 (예: Resultant, Discriminant, Mathematica 코드) 을 통해 이론적 증명을 검증했습니다.

3. 주요 결과 (Key Results)

Class I 및 Class II

• Class I: 이미 Ferraguti 와 Micheli [4] 에 의해 분류되어 있으며, $q \pmod 6$에 따라 1 개 또는 2 개의 동치 클래스가 존재합니다.
• Class II: 저자들은 이 클래스를 표준형 (canonical forms) 으로 변환하여 분류했습니다.
  • $X^3 + t/X$ ($t \in C$, $C$는 $F_q^*$의 3 제곱 잉여의 대표계)
  • $X^3 + X^2 + t/X$ ($t \in F_q^*$)
  • 이 두 형태는 서로 동치가 아니며, 총 $N_{II}(q, 3)$개의 동치 클래스를 가집니다.

Class III (본 논문의 핵심)

Class III 은 분기점의 구조에 따라 III-a, III-b, III-c, III-d 로 세분화됩니다 ($p \ge 5$ 가정).

• Class III-a (Gs,t 가 기약 4 차 다항식):
  • 불변량: $\theta(s, t)$가 동치 클래스를 완전히 결정합니다.
  • 결과: $\theta$의 값은 $27 + a$ ($a$는 $F_q$의 비제곱수) 형태를 띠며, 총 $(q-1)/2$개의 동치 클래스가 존재합니다.
• Class III-b (Gs,t 가 서로 다른 두 기약 2 차 다항식의 곱):
  • 문제: $\theta$만으로는 모든 클래스를 구별할 수 없습니다 (특히 $q \equiv \pm 1 \pmod{12}$인 경우).
  • 해결: $\theta$와 교차비 기반의 $\lambda$, 그리고 더 강력한 불변량 $\mu^2$를 도입하여 분류를 완성했습니다.
  • 결과: $\mu^2$는 Class III-b 의 모든 동치 클래스를 완전히 결정합니다. 총 $(q-5)/2$개의 동치 클래스가 존재합니다.
• Class III-c (Gs,t 가 기약 2 차 다항식의 제곱):
  • $q \equiv 1 \pmod 6$인 경우 비어 있음.
  • $q \not\equiv 1 \pmod 6$인 경우, $f_{-3, 1}$로 대표되는 1 개의 동치 클래스가 존재합니다.
• Class III-d (Gs,t 가 $F_q$에서 적어도 하나의 근을 가짐):
  • $p \ge 5$인 경우, 분기점 유형에 따라 1 개 또는 2 개의 동치 클래스가 존재합니다.

종합 분류:
위 분류들을 합치면, Class III 의 총 동치 클래스 수는 $N_{III}(q, 3) = q - 1$임을 보이며, 이는 기존에 알려진 총 개수 공식과 일치합니다. 따라서 저자들이 제시한 불변량과 대표 원소 집합은 완전한 분류를 이룹니다.

특수 경우 ($p=3$ 및 짝수 특성)

• $p=3$: 위 방법론을 수정하여 적용하였으며, Class III-c 는 공집합이 되고 Class III-d 의 구조가 달라짐을 보였습니다.
• 짝수 특성: Appendix A 에서 저자들의 접근법이 짝수 특성에서도 유효함을 보였으며, 기존 Mattarei-Pizzato 분류와의 비교를 제시했습니다.

4. 의의 및 기여 (Significance)

1. 완전한 분류 체계 확립: 홀수 특성 유한체에서 3 차 유리함수의 PGL-동치 분류를 처음으로 완전히 수행했습니다. 이는 수 10 년간 미해결되었던 중요한 문제의 해결입니다.
2. 구체적인 불변량 제시: 단순히 동치 클래스의 수만 알려주는 것이 아니라, 각 클래스를 구별하는 명시적인 대수적 불변량 ($\theta, \lambda, \mu^2$) 을 제시하여 실제 계산과 응용에 활용 가능하게 했습니다.
3. 이론적 통찰: 분기점의 유형과 교차비 (Cross Ratio) 를 결합하여 유리함수의 동치성을 분석하는 새로운 방법론을 제시했습니다. 특히 Class III-b 에서 $\mu^2$가 왜 필요한지, 그리고 그것이 어떻게 $\theta$와 $\lambda$의 한계를 극복하는지를 명확히 보였습니다.
4. 응용 가능성: 분류된 유리함수들은 유한체 위의 전단사 함수 (permutation rational functions) 구성, 고차 기약 다항식 생성, 그리고 암호학적 프로토콜 설계 등에 직접적으로 활용될 수 있습니다.

5. 결론

이 논문은 유한체 상의 3 차 유리함수 분류 문제를 해결하여, $q$의 값과 특성 ($p$) 에 따라 모든 동치 클래스를 대표하는 명시적인 함수 집합과 이를 구별하는 불변량을 제공했습니다. 이는 유한체 이론과 대수기하학의 중요한 진전이며, 향후 관련 분야 연구의 기초를 마련했습니다.