A Pila--Wilkie theorem for Hensel minimal curves

기술 요약: 헨젤 최소 곡선(Hensel Minimal Curves)에 대한 필라-윌키 정리(Pila–Wilkie Theorem)

문제 정의
본 논문은 비아르키메데스 기하학의 맥락, 특히 헨젤 최소(h-minimal) 구조 내에서 유계된 높이(bounded height)를 가진 유리적 점(rational points)의 개수를 세는 문제를 다룬다. $\mathbb{R}$ 상의 o-minimal 구조에서 확립된 고전적인 필라-윌키 정리는 정의 가능한 집합의 초월적 부분(transcendental part) 위에 존재하는 유계된 높이의 유리적 점의 개수에 대해 균등한 상한을 제공한다. $\mathbb{Q}_p$ 및 $\mathbb{F}_p((t))$의 부분 아날리틱 집합(subanalytic sets)에 대해서는 이와 유사한 필라-윌키 정리의 아날로그들이 증명되었으나, 무한한 잔여체(infinite residue field)를 갖는 등질적 성질 제로(equicharacteristic zero)의 h-minimal 구조를 위한 일반적인 프레임워크는 개발되지 않은 상태였다.

주요 기술적 장애물은 무한한 잔여체를 갖는 체(예: 무한한 $k$를 갖는 $k((t))$)에서, "유계된 높이의 점"(차수가 $s$ 미만인 다항식의 계수를 갖는 점으로 정의됨)의 집합은 일반적으로 무한하다는 것이다. 결과적으로 표준적인 계산 함수 $N(X; B)$는 이 설정에서 정의될 수 없다. 저자들은 이 설정에서 의미 있는 경계값을 도출하기 위해 새로운 크기 척도인 *계수 차원(counting dimension)*을 도입함으로써 필라-윌키 유형의 정리를 개발하고자 한다.

방법론
저자들은 h-minimality에 특화된 모델 이론적 도구와 결정 방법(determinant method)에서 적응된 해석적 기법을 결합하여 사용한다.

1. 계수 차원(Counting Dimension): 무한한 점의 집합을 다루기 위해, 저자들은 $X_s$ (높이 $s$인 점들)의 계수 차원을 정의한다. 집합 $X$가 계수 차원 $(N(s), d, e(s))$에 의해 유계된다는 것은, 환원 사상(reduction map)과의 합성의 파이버(fiber) 크기가 최대 $N(s)$이고 그 이미지가 잔여체 위의 $d$차원 공간에 놓이는, 밸류에이션 환(valuation ring)의 거듭제곱으로의 정의 가능한 사상이 존재함을 의미한다. 이는 잔여체에 대한 집합의 성장을 효과적으로 측정한다.
2. $T_r$-매개변수화($T_r$-Parametrizations): 핵심 기술 엔진은 정의 가능한 곡선들을 위한 $T_r$-매개변수화의 구축이다. o-minimal 설정의 $C^r$-매개변수화와 유사하게, 이들은 특정 테일러 근사 성질($T_r$-approximation)을 만족하는 정의 가능한 사상들이다. 저자들은 h-minimal 구조(assuming $acl = dcl$및 잔여체 내$b$승의 유한 지수 가정 하에)에서의 곡선들에 대해, 곡선을$T_r$-근사를 만족하는 사상들의 유한한 합집합으로 분해할 수 있음을 증명한다. 이는 h-minimality에 내재된 셀 분해(cell decomposition)와 자코비안 성질(Jacobian property)에 의존한다.
3. 결정 방법(Determinant Method): $T_r$-매개변수화를 사용하여, 저자들은 봄비에리-필라(Bombieri–Pila) 결정 방법을 적응시킨다. 이들은 작은 볼(ball) 위의 유계된 높이를 가진 유리적 점들이 제어된 차수를 가진 단일 대수적 초곡면(algebraic hypersurface)에 의해 포착될 수 있음을 보여준다.
4. 초월성 논증(Transcendence Argument): 곡선이 초월적(임의의 대수적 곡선과 유한한 교점을 가짐)이라는 사실을 활용하여, 저자들은 정의 가능한 가족 내의 균등 유한성 결과(uniform finiteness results)를 사용하여 이러한 점들의 개수를 제한한다.

주요 기여 및 결과

• 주요 정리 (정리 2.2.1): 등질적 성질 제로의 h-minimal 체 $K$ (조건 $acl=dcl$및 잔여체의 유한 지수 조건을 만족하는)에 대하여, 임의의 초월적 정의 가능 곡선$C \subseteq K^n$에 대해, 높이$s$인 점들의 집합$C_s$의 계수 차원은 임의의$\varepsilon > 0$에 대하여 다음을 만족한다:
  $$\#-\dim(C_s) \leq (N_\varepsilon, 1, \lceil \varepsilon \cdot s \rceil)$$
  이는 고전적인 필라-윌키 정리의 $B^\varepsilon$ 상한을 반영하며, 여기서 "높이" 매개 매개변수 $s$는 높이의 로그 역할을 한다.
• 최적성 (정리 2.2.2): 저자들은 세 번째 성분인 선형 성장 항 $\lceil \varepsilon \cdot s \rceil$이 최적임을 증명한다. 저자들은 특정 h-minimal 구조에서 정의 가능한 명시적인 초월 곡선을 구성하여, $N(s)$의 선택과 관계없이 계수 차원이 $(N(s), 1, e(s))$에 의해 유계될 수 없는 경우를 보여준다.
• 대수적 곡선 (정리 2.2.3): 차수 $d$인 기약 대수적 곡선에 대해, 저자들은 고전적인 봄비에리-필라 정리와 유사한 경계값을 설정한다:
  $$\#-\dim(C_s) \leq (c_d s, 1, \lceil s/d \rceil)$$
  그들은 $\lceil s/d \rceil$ 항이 개선될 수 없음을 입증한다.
• 균등 유계 사례 (섹션 5): 저자들은 모든 초월적 정의 가능 곡선의 계수 차원이 $(N_C, 1, 1)$로 유계되는 특정 해석적 구조( $\mathbb{Z}_p$를 계수로 갖는 엄격하게 수렴하는 멱급수를 포함하는 $\mathbb{Q}_p((t))$ 상의 구조)를 식별한다. 이는 더 제한된 해석적 설정에서는 유리적 점의 성장이 훨씬 느릴 수 있음을 나타낸다.

의의
본 논문은 무한한 잔여체를 갖는 등질적 성질 제로 체에서의 일반적인 h-minimal 프레임워크 내에서 초월적 곡선에 대한 최초의 필라-윌키 유형의 정리를 확립한다. 계수 차원을 도입함으로써, 저자들은 비아르키데스 설정에서 발생하는 무한한 점 집합 문제를 해결하였으며, 이는 다이오판티스 응용을 위한 견고한 도구를 제공한다. 본 연구는 $\mathbb{Q}_p$ 및 $\mathbb{F}_p((t))$에 대한 이전 연구들을 일반화하며, h-minimality에 의해 기하학이 제어되는 한, 유리적 점의 "온순한(tame)" 행동이 광범위한 비아르키데스 구조로 확장됨을 보여준다. 또한 본 논문은 이러한 경계값의 한계를 명확히 하여, 높이 매개변수에 대한 선형 의존성이 일반적인 h-minimal 설정에 내재되어 있음을 보여준다.