Lifting all elements in $\mathrm{SL}_n(\mathbb{Z}/q\mathbb{Z})$

이 논문은 정수 행렬 군 $SL_n(\mathbb{Z})$에서 모듈로 $q$ 정수 행렬 군 $SL_n(\mathbb{Z}/q\mathbb{Z})$의 모든 원소로 '리프팅 (lifting)'할 때, 리프팅된 원소의 노름 (norm) 크기에 대한 최적의 상한과 하한을 규명하는 것을 목표로 합니다. 저자들은 Amitay Kamber 와 P´eter P. Varj´u 입니다.

다음은 논문의 기술적 요약입니다.

1. 문제의 정의 및 배경

• 강한 근사 (Strong Approximation): $SL_n(\mathbb{Z})$에서 $SL_n(\mathbb{Z}/q\mathbb{Z})$로 가는 자연스러운 사영 $\pi_q$는 전사 (onto) 입니다. 즉, $SL_n(\mathbb{Z}/q\mathbb{Z})$의 모든 원소는 $SL_n(\mathbb{Z})$의 원소로 리프팅 가능합니다.
• 주요 질문: 주어진 $x \in SL_n(\mathbb{Z}/q\mathbb{Z})$에 대해 $\pi_q(\gamma) = x$를 만족하는 $\gamma \in SL_n(\mathbb{Z})$ 중 노름 $\|\gamma\|$가 가장 작은 값은 얼마나 작을 수 있는가?
• 노름의 정의: $\|\cdot\|$는 연산자 노름 (operator norm) 을 의미합니다.
• 기존 연구:
  • 평균 사례 (Almost-diameter): 비둘기집 원리와 Duke-Rudnick-Sarnak 의 결과에 따르면, $SL_n(\mathbb{Z}/q\mathbb{Z})$의 '거의 모든' 원소는 노름이 $q^{1+1/n+o(1)}$ 이하인 리프팅을 가집니다. 최근 연구 (square-free $q$에 대해) 에서는 이 경계가 충분함이 증명되었습니다.
  • 최악의 사례 (Diameter): 모든 원소를 리프팅할 때 필요한 노름의 상한은 더 큽니다. 기존에는 $q^{2+2/n+o(1)}$ 정도가 알려져 있었습니다.

2. 주요 결과 (Main Results)

이 논문은 두 가지 핵심 정리를 통해 문제를 해결합니다.

정리 1.2 (최악의 경우 하한 - Lower Bound)

• 내용: 임의의 $\epsilon > 0$에 대해, 충분히 큰 $q$에 대하여 $\|\gamma\| \ge C_{n,\epsilon} q^{2-\epsilon}$인 원소 $x \in SL_n(\mathbb{Z}/q\mathbb{Z})$가 존재합니다.
• 의미: 평균적인 경우 ($q^{1+1/n}$) 와 최악의 경우 ($q^2$) 사이의 간극이 매우 큽니다. 특히 $n=2$일 때 지수 비율은 $4/3$이며, $n$이 커질수록 2 에 수렴합니다. 이는 Sarnak 이 'Big Holes'라고 부른 현상을 확인시켜 줍니다.

정리 1.3 (모든 원소에 대한 상한 - Upper Bound)

• 내용: $n$에 의존하는 상수 $C_n$이 존재하여, 임의의 $q$와 임의의 $x \in SL_n(\mathbb{Z}/q\mathbb{Z})$에 대해 $\|\gamma\| \le C_n q^2 \log q$를 만족하는 리프팅 $\gamma \in SL_n(\mathbb{Z})$가 존재합니다.
• 의미: 이는 $q^2$オーダー의 리프팅이 항상 존재함을 보이며, 기존 결과 ($q^{2+2/n}$) 를 크게 개선한 것입니다. 로그 항 ($\log q$) 은 거의 최적에 가깝습니다.

3. 증명 방법론 (Methodology)

정리 1.2 증명 (최악의 경우 구성)

1. 선형 방정식 유도: $x \in SL_n(\mathbb{Z}/q\mathbb{Z})$를 $SL_n(\mathbb{Z}/q^2\mathbb{Z})$로 리프팅할 때, 대각 행렬을 선택하면 리프팅된 행렬의 대각 성분들이 만족해야 하는 비동차 선형 방정식 (inhomogeneous linear equation) 을 유도합니다.
2. 큰 $n$제곱근의 존재 (Theorem 1.5):
   • 핵심은 $(\mathbb{Z}/q\mathbb{Z})^\times$ 내에서 크기는 작지만 $n$제곱근이 매우 큰 원소 $\beta$를 찾는 것입니다.
   • 구체적으로, $|\beta^n| < C$이면서 $|n\beta| > C^{-1}q^{1-1/k}$를 만족하는 $\beta$의 존재를 증명합니다.
   • 도구: Bohr Sets과 **가산적 조합론 (Additive Combinatorics)**을 사용합니다.
   • 논리: 만약 그러한 $\beta$가 없다면, Bohr Set 이 비자명 (non-trivial) 해를 가지게 되며, 이를 일반화 산술 진행 (Generalized Arithmetic Progression) 으로 근사할 수 있습니다. 이 progression 위에서 $\beta$들이 행렬로 작용하며, 이는 모순을 이끌어냅니다.

정리 1.3 증명 (모든 원소에 대한 리프팅)

1. Sarnak 의 전략 일반화: $n=2$인 경우 Sarnak 의 증명을 확장합니다.
2. 2 단계 리프팅:
   • 1 단계: 행렬의 앞 $n-1$행 (first $n-1$ rows) 을 $SL_n(\mathbb{Z})$로 리프팅합니다. 이때 좌표는 $Cq \log q$로 제한됩니다. 이는 첫 $n-1$행이 서로 선형 독립이 되도록 하는 정수 해를 찾는 문제로 귀결됩니다.
   • 2 단계: 마지막 행을 채워 행렬식을 1 로 만듭니다. 이 과정에서는 좌표 크기가 $Cq^2 \log q$까지 커질 수 있음을 보입니다.
3. 선형 대수적 보정: 마지막 행의 모듈로 $q$ 조건을 맞추기 위해 $SL_n(\mathbb{Z}/q\mathbb{Z})$에서의 선형 대수적 성질 (행렬식 0 인 벡터는 다른 행들의 선형 결합) 을 활용하여 보정합니다.

4. 추가적인 관찰 및 확장 (Section 5)

• 아핀 공간 ($A_q$) 및 사영 공간 ($P_q$) 에 대한 작용:
  • $SL_n(\mathbb{Z})$이 $A_q$와 $P_q$에 작용할 때의 거리 (노름의 로그) 와 지름 (diameter) 을 연구합니다.
  • 사영 공간 $P_q$의 지름: $n=2$일 때, $P_q$의 지름은 거의 모든 점 사이의 거리 (almost-diameter) 의 2 배에 달할 수 있음을 보입니다. 이는 $n=2$일 때의 'Big Holes' 현상이 사영 공간에서도 발생함을 의미합니다.
  • 추측: $P_q$의 지름이 $q$에 대해 로그 스케일일 때의 지수 (exponent) 가 $1$임을 증명하거나 추측합니다.

5. 의의 및 기여 (Significance)

1. 최적 리프팅 성질 (Optimal Lifting Property) 의 명확화: 평균적인 경우와 최악의 경우 사이의 간극을 정량화하여, $SL_n(\mathbb{Z}/q\mathbb{Z})$의 구조적 특성을 더 깊이 이해하게 했습니다.
2. 수론적 도구의 활용: Bohr Set 과 가산적 조합론을 사용하여 정수 행렬 군의 리프팅 문제에 적용한 것은 새로운 접근법입니다. 특히 $n$제곱근의 분포에 대한 새로운 결과 (Theorem 1.5) 는 독립적으로도 가치가 있습니다.
3. 확장성: 이 결과는 $n \ge 3$인 경우에도 적용되며, Sarnak 이 $n=2$에 대해 제기했던 문제를 해결하고 일반화했습니다.
4. 연관성: 이 문제는 확장자 그래프 (expander graphs), Ramanujan 그래프, 그리고 디오판토스 근사 (Diophantine approximation) 문제와 밀접하게 연결되어 있어, 수론과 기하학, 조합론의 교차점을 보여주는 중요한 사례입니다.

요약하자면, 이 논문은 $SL_n(\mathbb{Z}/q\mathbb{Z})$의 모든 원소가 $O(q^2 \log q)$ 크기의 정수 행렬로 리프팅될 수 있음을 증명하고, 동시에 일부 원소는 $q^2$보다 훨씬 작게 리프팅될 수 없음을 보여줌으로써, 이 리프팅 문제의 정확한 복잡도 한계를 규명했습니다.