Dual $p$-adic Diophantine approximation on manifolds

기술적 요약: $p$-adic 수 위의 다양체에 대한 이중 $p$-adic 디오판투스 근사

문제 제기
본 논문은 $p$-adic 수 $\mathbb{Q}_p$ 위의 다양체에 대한 이중 디오판투스 근사의 맥락에서 일반화된 베이커 - 슈미트 문제 (GBSP) 를 다룬다. GBSP 는 비퇴화 다양체 위의 $\psi$-근사 가능 점들의 집합에 대한 하우스도르프 측도를 결정하는 것을 목표로 한다. 이 문제의 발산 부분 (특정 급수가 발산할 때 측도가 무한대임을 입증하는 것) 은 실수 및 $p$-adic 설정 모두에서 (Beresnevich-Dickinson-Velani, Badziahin-Beresnevich-Velani, Datta-Ghosh 에 의해) 해결되었으나, 이에 상응하는 수렴 부분 (급수가 수렴할 때 측도가 0 임을 입증하는 것) 은 특히 $p$-adic 설정에서 여전히 어려운 미해결 과제로 남아 있다.

저자들은 이중 근사에 대한 동차 경우 ($\theta = 0$) 와 비동차 경우 ($\theta \neq 0$) 에 초점을 맞춘다. 구체적으로, 그들은 무한히 많은 정수 벡터 $a = (a_0, \dots, a_n)$에 대해 $|a_1 x_1 + \dots + a_n x_n + a_0 + \theta|_p < \Psi(a)$를 만족하는 점 $x \in \mathbb{Q}_p^n$의 집합 $D_n^{\theta}(\Psi)$를 조사한다. 목표는 특정 클래스의 다양체에 대해, 근사 함수 항들의 합이 수렴한다면 이 집합과 다양체의 교집합에 대한 $f$-차원 하우스도르프 측도가 0 임을 증명하는 것이다.

방법론
본 논문은 $p$-adic 분석, 기하학적 측도 이론, 그리고 초거리 공간에 맞게 적응된 질량 전이 원리 프레임워크를 결합하여 사용한다.

1. 해석적 다양체와 강한 미분가능성: 실수 설정에서는 $C^2$ 정칙성이 종종 충분하지만, 저자들은 다양체가 해석적 매핑에 의해 정의되어야 한다고 요구한다. 이는 국소 동형 성질을 보장하기 위해 일반 $p$-adic 공간의 미분가능성보다 더 강한 조건인 강한 미분가능성에 의존하는 $p$-adic 역함수 정리에 기인한다.
2. 국소 추정으로의 축소: 다양체 $M$은 해석적 매핑 $g: U \subset \mathbb{Q}_p^d \to \mathbb{Q}_p^{n-d}$에 의해 매개변수화된다. 문제는 좌표와 다양체 함수 $g$의 선형 결합인 $h_a$에 대해 $S(a) = \{x \in U : |h_a(x)|_p < \Psi(a)\}$ 집합의 하우스도르프 측도를 추정하는 문제로 축소된다.
3. 핵심 보조정리 (보조정리 2.3): 핵심 기술적 기여는 $S(a)$의 하우스도르프 내용을 경계 짓는 덮기 보조정리 (보조정리 2.3) 의 증명이다. 이 증명은 기울기 $\nabla h_a(x)$에 기반한 경우별 분석을 포함한다:
   • 경우 (a): $a_2 = 0$ (선형 부분만 존재).
   • 경우 (b): 기울기가 선형 항에 의해 지배됨.
   • 경우 (c): 기울기가 한 점에서 소멸 (임계점).
   • 경우 (d): 기울기가 소멸하지 않고 0 에서 멀리 떨어짐.
     각 경우에 대해 저자들은 $p$-adic 평균값 정리와 조건 II$_p$ 하에서 헤세 행렬의 비영행렬식 (non-vanishing determinant) 을 활용하여 $S(a)$가 특정 반지름을 가진 특정 개수의 공들로 덮일 수 있음을 보인다.
4. 차원 함수 조건: 증명은 $f(r)$에 대한 특정 조건인 (I$_p$) 와 (II$_p$) 에 의존한다. 조건 (I$_p$) 은 일부 $s < 2(d-1)$에 대해 성장 제약 ($f(xy) \ll x^s f(y)$) 을 부과한다. 조건 (II$_p$) 은 다양체 매개변수화의 헤세 행렬이 하우스도르프 측도 $H_f$에 대해 거의 모든 곳에서 비특이적이어야 함을 요구한다.
5. 총합과 수렴: 하우스도르프 - 칸텔리 보조정리를 사용하여 저자들은 정수 벡터에 대한 덮기 집합들의 측도를 총합한다. 그들은 정수 벡터의 서로 다른 부분집합 ($Z^{(1)}$ 및 $Z^{(2)}$) 에 대한 총합을 신중하게 처리하며 급수의 수렴을 보장하기 위해 $\Psi(a) < \|a\|^{-1}$ 조건을 활용한다.

주요 기여 및 결과
주요 결과는 정리 1.4로, 특정 정칙성 및 곡률 조건 하에서 다양체 위의 이중 $p$-adic 근사에 대한 GBSP 의 수렴 부분을 확립한다.

• 정리 1.4(i): $p$가 최대 하나의 성분을 나누는 정수 벡터의 집합 (집합 $Z^{(1)}$) 에 대해, $\sum \Psi(a)^{-(d-1)} f(\Psi(a)) < \infty$이면 하우스도르프 측도 $H_f(D_n^{\theta}(\Psi, Z^{(1)}) \cap M)$은 0 이다. 이는 임의의 차원 $d$에 대해 성립하며 GBSP 의 예측을 만족한다.
• 정리 1.4(ii): $p$가 모든 성분을 나누지 않는 정수 벡터의 집합 (집합 $Z^{(2)}$) 에 대해, $|\theta|_p \neq 1$인 경우 동일한 수렴 조건 하에서 측도는 0 이다. 저자들은 $\theta$에 대한 이 제한이 그들의 방법에서 비롯된 산물이라고 지적한다.
• 정리 1.4(iii): 동차 경우 ($\theta=0$) 의 모든 0 이 아닌 정수 벡터 집합에 대해, 급수가 수렴하고 $\Psi$가 스케일링 조건 ($p\Psi(a) \leq \Psi(p^{-1}a)$) 을 만족하면 측도는 0 이다.

귀결 및 특정 사례:

• 정리 1.8: 수렴 결과와 Datta 및 Ghosh 의 발산 결과 (정리 1.5) 를 결합하여 해석적 비퇴화 다양체 위의 $s$-차원 하우스도르프 측도 ($d-1 < s < 2(d-1)$) 에 대한 영 - 전체 이분법을 제공한다.
• 귀결 1.10: $\tau > n$인 멱법칙 근사 함수 $\Psi(a) = \|a\|^{-1-\tau}$에 대해 하우스도르프 차원을 명시적으로 계산한다. 차원은 $d - 1 + \frac{n+1}{1+\tau}$로 주어진다.
• 차원 $d=2$: 이 작업의 주목할 만한 특징은 이전의 실수 설정 결과들이 종종 $d \geq 3$을 요구했던 반면, 엄격한 부등식 $\tau > n$을 가정함으로써 $d=2$ (환경 차원 3) 의 초곡면까지 결과를 확장했다는 점이다. 이는 $s$에 대한 매개변수 범위를 개선한다.

의의 및 주장
본 논문은 중요한 클래스의 다양체 (차원 $d \geq 3$인 초곡면 및 헤세 조건을 만족하는 기타 특정 클래스) 에 대한 이중 $p$-adic 근사의 GBSP 수렴 대응 문제를 해결했다고 주장한다.

• 이론의 확장: 충분히 곡률이 큰 $p$-adic 공간 내의 초곡면에서 동차 이중 근사에 대한 알려진 발산 결과 (Datta-Ghosh) 를 완전한 영 - 전체 이분법으로 확장한다.
• 정칙성 요구사항: 저자들은 $p$-adic 설정에서 초거리 공간 내 역함수 정리의 본질로 인해 (단순한 $C^2$가 아닌) 해석성 요구사항이 기술적 필연성임을 강조한다.
• 한계점: 저자들은 겸손하게 비동차 결과 (정리 1.4(ii)) 가 $|\theta|_p \neq 1$ 조건을 요구하며 이에 대한 만족스러운 설명이 없다고 지적한다. 또한, 초곡면이 아닌 경우 (코차원 $>1$) 에 대한 결과는 (n, d) 차원 쌍에 대한 경직된 제약을 부과하는 조건 (II$_p$) 에 의존하지만, 해석적 경우에는 이러한 제약이 단순화될 수 있음을 시사한다.
• 범위: 결과는 다변수 근사 함수 $\Psi$에 대해 제시되지만, 귀결들은 종종 단변수 형태로 전문화된다. 본 논문은 모든 다양체나 모든 근사 함수에 대한 GBSP 를 해결한다고 주장하지 않으며, 대신 제시된 특정 해석적 및 곡률 조건을 만족하는 경우에 대해 해결한다고 주장한다.