Turning non-smooth points into rational points

기술 요약: 비매끄러운 점을 유리점으로 변환하기

문제 정의
본 논문은 표수 $p > 0$인 불완전 체(imperfect field) 위에서 정규 곡선(regular curve) 상의 비매끄러운 점(non-smooth points)의 거동을 다룬다. 정규성과 매끄러움(smoothness)은 완전 체(perfect field) 위에서는 일치하지만, 불완전한 설정에서는 서로 달라지며, 이는 정규 곡선이 비매끄러운 점을 갖게 하는 원인이 된다(예: 준타원 곡선/quasi-elliptic curves). 핵심 문제는 비매끄러운 순인수 분해 점(purely inseparable point) $x$를 $K$-유리점($K$-rational point)으로 변환하는 데 필요한 반복된 프로베니우스 풀백(Frobenius pullbacks)의 정확한 횟수를 결정하는 것이다.

저자와 Stöhr [HS25a]의 선행 연구에서는 기하학적 특이도(geometric singularity degree) $\delta(x) = \frac{p-1}{2}d$와 관련된 파라미터 $d$에 대해, 필요한 풀백의 횟수의 상한 $\tau_p(d)$를 설정하였다. 그러나 이 상한은 표수 $p=2$인 경우에만 엄밀(sharp)하다는 것이 알려져 있었다. $p > 2$인 경우, 순인수 분해 점에 대해 실제로 발생할 수 있는 특이도의 제약 때문에 해당 상한이 항상 최적은 아니었다.

방법론
본 논문은 정규 곡선과 1차원 분리 가능 함수체(separable function fields) 사이의 쌍대성(duality)을 이용하여 이 문제를 산술적으로 분석한다. 핵심 방법론은 다음과 같다:

1. 적격성 분석(Admissibility Analysis): 저자들은 먼저 어떤 정수 $d$가 "적격(admissible)"한지, 즉 $\delta(x) = \frac{p-1}{2}d$인 쌍 $(C|K, x)$가 존재하는지를 규명한다. 저자들은 $d$가 적격할 필요충분조건이 $d \not\equiv -1 \pmod p$임을 증명한다.
2. 극한 사례 구축(Construction of Extremal Examples): 하한(lower bounds)을 엄밀하게 설정하기 위해, 저자들은 특정 함수체 $F|K$와 주어진 특이도를 가진 순인수 분해 소수 $p$를 명시적으로 구축한다. 이러한 구축에는 Bedoya–Stöhr 알고리즘 [BS87]과 정교하게 선택된 불완전 기저 체(때로는 $p$-degree $\ge 2$가 요구됨)가 사용된다.
3. 재귀적 특이도 계산(Recursive Singularity Calculation): Bedoya–Stöhr 알고리즘과 정리 2.3을 사용하여, 반복된 프로베니우스 풀백에 따른 제한된 소수(restricted primes)의 특이도 수열 $\delta(p_n)$을 계산한다. 저자들은 제한된 소수가 정확히 언제 유리적이 되는지를 결정하기 위해 "차이" $\Delta_n = \delta(p_n) - \delta(p_{n+1})$를 분석한다.
4. 조합 최적화(Combinatorial Optimization): 엄밀한 상한 $\lambda_p(d)$는 모든 적격한 쌍에 대해 $n \ge m$일 때 제한된 소수가 유리적(rational)이 되도록 하는 최소 $m$을 찾는 과정을 통해 도출된다. 이는 구축된 하한을 기존 상한 $\tau_p(d)$와 비교하는 과정을 포함한다.

주요 기여 및 결과

• 엄밀한 상한 $\lambda_p(d)$: 본 논문의 주요 결과인 정리 1.2(및 정리 3.5)는 비매끄러운 순인수 분해 점을 유리점으로 변환하는 데 필요한 프로베니우스 풀백의 횟수에 대한 새로운 엄밀한 상한 $\lambda_p(d)$를 설정한다. 이 상한은 모든 표수 $p > 0$와 모든 적격한 정수 $d$에 대해 최적이다.

  • 상한 $\lambda_p(d)$는 이전의 상한 $\tau_p(d)$와 같거나 $\tau_p(d) - 1$이다.
  • 구체적인 값은 $d$의 $p$-진 전개(p-adic expansion)와 $d$가 특정 구성에서 연속적인 $p$-거듭제곱들의 합으로 표현될 수 있는지 여부에 따라 달라진다.
  • 따름정리 3.6은 표수 $p=2$인 경우, 이전의 상한 $\tau_p(d)$가 항상 엄밀함을 확인한다.

• 임의의 비매끄러운 점으로의 일반화: 정리 1.6은 이 결과를 임의의 비매끄러운 점(순인수 분해가 아닌 경우 포함)으로 확장한다. 만약 점 $x$가 특이도 $\delta(x) = \frac{p-1}{2} [\kappa(x):K]_s \cdot d$를 갖는다면, 그 이미지는 $n \ge \lambda_p(d)$인 모든 $n$에 대해 분리 가능한 점($C_n(K^{sep})$에 속함)이 됨을 입증한다. 이는 순인수 분해 차수(separable degree)가 1인 순인수 분해 경우를 일반화한 것이다.

• 적격성 기준: 명제 3.2는 정수 $d$가 순인수 분해 점의 특이도 파라미터가 되기 위한 필요충분조건을 제공한다: $d \not\equiv -1 \pmod p$.

• 명시적 구축: 섹션 4는 엄밀한 하한을 실현하는 함수체의 명시적 예시들(예시 4.1 및 4.2)을 제공한다. 이러한 예시들은 점이 정확히 $\lambda_p(d) - 1$ 단계까지 유리적(또는 분리 가능)이지 않은 상태로 남아 있을 수 있음을 보여줌으로써, 상한을 더 낮출 수 없음을 입증한다.

의의 및 주장
본 논문은 모든 표수 $p > 0$에 대해 프로베니우스 풀백 상한의 엄밀성에 관한 문제를 해결한다고 주장한다. 이전의 상한 $\tau_p(d)$는 $p=2$일 때 엄밀한 것으로 알려져 있었으나, 본 연구는 $p > 2$인 경우 특이도의 산술적 성질에 따라 상한을 1만큼 개선할 수 있음을 보여준다.

저자들은 구축된 예시들이 기하학적으로 유리(geometrically rational, genus 0)하다는 공통된 성질을 공유하고 있음을 언급한다. 저자들은 일반적인 경우 이러한 곡선들의 전역적 기하학(global geometry)을 사전에 통제할 수는 없지만, 엄밀한 상한 $\lambda_p(d)$는 기하학적 종수(genus)나 기저 체의 $p$-degree를 고정하는 것과 같은 전역적 제약 하에서도 유지될 것으로 기대한다고 밝힌다. 이 결과들은 충분한 프로베니우스 풀백 후에 얻어지는 유리 곡선으로부터 역으로 작업하여 정규 비매끄러운 곡선을 명시적으로 기술하는 방법을 제공하며, 이 기법은 이전에 준타원 곡선 및 평면 4차 곡선(plane quartics)에 적용된 바 있다.

본 논문은 모든 그러한 곡선의 분류를 해결하려는 것이 아니라, 주어진 특이도에 대해 "비매끄러운 점을 유리점으로 만드는" 전략이 효과적으로 작동하기 위해 필요한 정확한 산술적 임계치(arithmetic threshold)를 제공하는 것을 목적으로 한다.