Singular systems of linear forms over global function fields

1. 연구 배경 및 문제 정의

• 특이 행렬 (Singular Matrices) 의 정의:
  $m \times n$ 행렬 $A$가 특이하다는 것은 임의의 $\epsilon > 0$에 대해 충분히 큰 $T_0$ 이후 모든 $T \ge T_0$에 대하여, $Aq + p$의 노름이$\epsilon T^{-n/m}$이하가 되고$q$의 노름이$T$이하가 되는 정수 (또는 함수체에서의 정수) 벡터$p, q$가 존재함을 의미합니다.
• 연구 동향:
  • 1926 년 Khintchine 은 이러한 행렬 집합의 르베그 측도가 0 임을 보였습니다.
  • 하우스도르프 차원 계산은 최근까지 큰 난제였습니다. Das, Fishman, Simmons, Urbański (DFSU24) 의 획기적인 연구를 통해 실수체 위의 $m \times n$ 특이 행렬 집합의 차원이 정확히 $mn - \frac{mn}{m+n}$임이 증명되었습니다.
  • 반면, 함수체 (Function Fields) 에서는 이에 대한 연구가 매우 드물었습니다.
• 본 논문의 목표:
  함수체 환경에서 $m \times n$ 특이 행렬 집합의 하우스도르프 차원 상한을 $mn - \frac{mn}{m+n}$로 증명하는 것입니다.

2. 수학적 설정 (Mathematical Setting)

• 전역 함수체: $K$를 유한체 $\mathbb{F}_q$ 위의 전역 함수체로 설정합니다. 이는 기하학적으로 연결된 매끄러운 사영 곡선 $C$의 함수체입니다.
• 국소화: 특정 이산valuation $\nu$에 대해 $K_\nu$를 완비화하고, 그 정수환 $O_\nu$를 정의합니다.
• 주요 가정: $R_\nu$ (곡선 $C$에서 $\nu$를 뺀 아핀 곡선의 아핀 대수) 가 주 아이디얼 정역 (Principal Ideal Domain, PID) 임을 가정합니다. 이는 공역 (covolume) 함수의 서브모듈러성 (submodularity) 을 사용하기 위한 필수 조건입니다.
• 노름: $K_\nu$ 위의 절대값 $|x| = q_\nu^{-\nu(x)}$를 사용하며, 벡터 공간 $K_\nu^s$에는 supremum 노름을 적용합니다.

3. 방법론 (Methodology)

이 논문은 동역학적 접근 (Homogeneous Dynamics) 과 선형대수적 추정 (Linear Algebra Estimates) 을 결합한 Dani 의 대응 (Dani's correspondence) 을 기반으로 합니다.

3.1. Dani 대응 (Dani's Correspondence)

특이 행렬 $s$는 동역학적 공간 $X = G/\Gamma$ (여기서 $G=SL_{m+n}(K_\nu)$, $\Gamma=SL_{m+n}(R_\nu)$) 에서의 궤적이 발산 (divergent) 하는 것과 동치입니다. 즉, $g_t u_s \Gamma$ 궤적이 $X$의 모든 콤팩트 집합을 벗어납니다.

3.2. Margulis 함수 (Margulis Function) 구성

특이 집합의 차원을 상한으로 추정하기 위해, Margulis 함수 (또는 높이 함수) 를 구성하여 그 수축 (contraction) 성질을 이용합니다.

• Margulis 함수 정의: 격자 $x \in X$에 대해, $i$-차원 $x$-유리 부분공간 $L$의 노름 $\|L\|$을 이용해 $\alpha_i(x) = \max \{ 1/\|L\| \}$로 정의합니다.
• Margulis 함수: $\mathcal{F}(x) = \sum \omega_i \alpha_i(x)^{\beta_i}$ 형태의 함수를 구성합니다.

3.3. 핵심 기술적 기여: 선형대수적 추정

실수체 연구 (KKLM17) 에서 가우스 확률변수를 사용했던 것과 달리, 함수체 환경에서는 제한된 Haar 측도 (Restricted Haar Measure) 를 사용합니다.

• Theorem 3.2 (측도 추정): $O_\nu$ 위의 행렬 공간에서 외적 (wedge product) 의 노름이 특정 값 이하가 되는 집합의 Haar 측도를 정밀하게 추정합니다. 이는 가우스 측도의 성질을 함수체 Haar 측도로 대체하여 증명합니다.
• Proposition 3.1 (선형대수적 수축): 적절한 지수 $\beta_i$에 대해, 행렬 $s$에 대한 적분 $\int \|g_t u_s v\|^{-\beta_i} d\mu(s)$가 $tq_\nu^{-mnt}$에 비례하여 감소함을 보입니다.
  • Hodge 쌍대성 (Hodge Duality): 실수체에서는 직교군 하에서 Hodge 쌍대성이 등변 (equivariant) 이지만, 함수체의 비아르키메데스 직교군 $SL_d(O_\nu)$에서는 성립하지 않습니다. 저자들은 이를 우회하기 위해 horospherical 부분군에 쌍대성을 적용하는 기법을 개발했습니다 (Section 4).

3.4. Margulis 함수의 수축 성질

구성된 Margulis 함수 $\mathcal{F}$가 다음 수축 조건을 만족함을 보입니다 (Corollary 5.2):
$$\int \mathcal{F}(g_t u_s x) d\mu(s) \le C t q_\nu^{-mnt} \mathcal{F}(x)$$
이 부등식은 궤적이 발산하는 속도를 제어하여 하우스도르프 차원 상한을 유도하는 핵심 도구입니다.

4. 주요 결과 (Key Results)

• 주요 정리 (Theorem 1.1):
  $R_\nu$가 주 아이디얼 정역이라고 가정할 때, $m \times n$ 특이 행렬 집합 $Sing(m, n)$의 하우스도르프 차원은 다음을 만족합니다:
  $$\dim_H Sing(m, n) \le mn - \frac{mn}{m+n}$$
• 강화된 명제 (Proposition 6.5):
  단순히 특이 행렬뿐만 아니라, 평균적으로 발산하는 (escaping on average) 점들의 집합에 대해서도 동일한 차원 상한을 증명했습니다. 이는 더 일반적인 동역학적 성질을 다룹니다.

5. 의의 및 결론 (Significance)

1. 함수체 환경에서의 확장: 실수체와 p-진수체에서 성립하던 특이 행렬의 차원 결과 ($mn - \frac{mn}{m+n}$) 가 전역 함수체에서도 성립함을 처음으로 보였습니다.
2. 측도론적 기법의 혁신: 실수체 연구에서 필수적이었던 가우스 확률변수를 함수체의 Haar 측도로 대체하여 적분 추정을 수행했습니다. 이는 비아르키메데스 공간에서의 디오판토스 근사 연구에 새로운 도구를 제공합니다.
3. Hodge 쌍대성의 재해석: 비아르키메데스 환경에서 Hodge 쌍대자가 직교군 하에서 등변하지 않는 문제를 해결하기 위해, 부분군 구조를 활용한 새로운 증명 기법을 제시했습니다.
4. 차원 최적성: 기존 연구 [KKLM17] 에서 얻은 상한이 함수체에서도 최적 (sharp) 임을 시사하며, 최근의 [DFSU24] 결과와 일관성을 이룹니다.

결론적으로, 이 논문은 동역학적 방법론과 정밀한 선형대수적 측도 추정을 결합하여, 함수체 위의 디오판토스 근사 이론에서 특이 집합의 기하학적 크기를 규명하는 중요한 진전을 이루었습니다.