분해형 부등식 해의 유한성 기준

초록

본 논문은 반정수 형태로 인수분해되는 반‑q‑분해형 형태의 연속적인 방정식·부등식에 대해, 이동 초평면들의 분배 상수와 차수 조건을 이용해 해가 무한히 존재하지 않음을 보이는 유한성 기준을 제시한다.

상세 분석

논문은 먼저 수체 k와 그 장소 집합 M_k, 그리고 유한 부분집합 S(모든 아키메데안 장소 포함)를 설정하고, S‑정수와 S‑단위 개념을 도입한다. 기존 연구인 Győry‑Ru의 정리(A)와 Ji‑Yan‑Yu의 일반화 결과를 검토한 뒤, 저자는 “분배 상수”(distributive constant)라는 새로운 정량적 개념을 도입한다. 이는 q개의 이동 초평면 Q₁,…,Q_q가 어떤 고정 차원 m의 사영 다양체 V와의 교차 차원을 통해 정의되며, ∆≥1인 최소값으로 정의된다.

핵심 가정은 각 n에 대해 반‑q‑분해형 형태 F_n이 k′ 위에서 q개의 동차 다항식 Q_{1,n},…,Q_{q,n}의 곱으로 표현되고, 이들 다항식의 차수 d_j와 최대 차수 d를 두고, 차수 ℓ가 ℓ > d·∆·(m²+1)/2 를 만족한다는 것이다. 또한 {Q_{1,n},…,Q_{q,n}}_{n∈ℕ}가 동일한 분배 상수 ∆ 이하를 갖는 이동 초평면 군을 이룬다.

이러한 설정 하에 저자는 Schmidt‑subspace 정리의 이동 초평면 버전을 증명한다. 구체적으로, 임의의 ε>0에 대해 무한 부분집합 A⊂ℕ가 존재하여
∑{v∈S}∑{j=1}^q λ_{Q_{j,n},v}(x_n)·deg Q_{j,n} ≤ (∆·(m²+1)/2 + ε)·h(x_n)
가 모든 n∈A에 대해 성립함을 보인다. 여기서 λ_{Q,v}는 Weil 함수이며 h는 로그 높이이다.

이 부등식을 이용해, λ < ℓ - d·∆·(m²+1)/2 라는 조건 하에
0 < ∏_{v∈S}‖F_n(x_n)‖_v ≤ c·H_S(x_n)^λ
을 만족하는 O_S‑정수 해 (x_n) 가 무한히 존재할 수 없음을 귀류법으로 증명한다. 즉, 해는 O_S^*‑비비례 관계를 제외하고는 유한개만 존재한다.

정리 1.1은 기존 결과를 ℓ > d·∆·(m²+1)/2 로 일반화하고, 분배 상수 개념을 도입함으로써 초평면들의 일반 위치(general position) 가정 없이도 동일한 유한성 결론을 얻는다. 또한 Corvaja‑Zannier 필터와 이동 초평면 교체 기법을 결합해 복잡한 이동 목표들을 m+1개의 새로운 초평면으로 대체하는 단계적 증명을 제시한다.

결과적으로, 반‑q‑분해형 형태의 차수와 분배 상수 사이의 정량적 관계가 해의 무한성 여부를 결정하는 핵심 인자임을 밝히며, Diophantine 근사와 Schmidt‑subspace 정리 분야에 새로운 도구와 시각을 제공한다.