Quantitative Oppenheim in signature $(2,2)$ via determinant values

기술 요약: 행렬식 값을 통한 시그니처 (2, 2)에서의 정량적 오펜하임 문제

문제 정의
본 논문은 시그니처 $(2, 2)$인 부정 부호 이차 형식에 대한 정량적 오펜하임 문제를 다룬다. 마굴리스(Margulis)에 의해 증명된 고전적인 오펜하임 추측은 부정 부호 무리 이차 형식의 정수 벡터 상의 값들이 $\mathbb{R}$에서 조밀하다는 것을 단언한다. 정량적 정교화는 다음과 같이 점근적 거동을 묻는다:
$$N_Q(a, b; T) := \#\{v \in \mathbb{Z}^n : \|v\| < T, a < Q(v) < b\}$$
$T \to \infty$일 때. 이는 고차 시그니처에 대해서는 다니-마굴리스(Dani–Margulis)와 에스킨-마굴리스-모제스(Eskin–Margulis–Mozos, EMM)에 의해 확립되었으나, 저차 시그니처 $(2, 1)$ 및 $(2, 2)$의 경우 유리 형식에 의해 너무 잘 근사되는 격자를 배제하기 위해 추가적인 디오판토스 가설이 필요하다. $(2, 2)$ 케이스는 이전에 EMM에 의해 증명되었다. 본 논문은 이 문제를 $M_2(\mathbb{R})$ 상의 격자에서의 행렬식 값 문제로 재구성함으로써 $(2, 2)$ 케이스에 대한 새로운 증명을 제공한다.

방법론
저자들은 $\mathbb{R}^4$를 $M_2(\mathbb{R})$와 동일시하여 문제를 재정식화한다. 여기서 이차 형식은 다음과 같은 행렬식이다:
$$Q_0 \begin{pmatrix} x & y \\ z & w \end{pmatrix} = xw - yz.$$
따라서 문제는 특정 구간 내의 행렬식 값을 갖는 격자점 $\Lambda < M_2(\mathbb{R})$를 세는 문제로 변환된다. 증명은 저자들의 $(2, 1)$ 케이스 연구에서 개발된 **수정된 높이 및 회피 전략(modified-height and avoidance strategy)**을 사용하는 동역학적 접근법을 채택한다.

주요 방법론적 구성 요소는 다음과 같다:

1. 동역학적 설정: 문제는 단위 부피 격자 공간 $X = SL_4(\mathbb{R})/SL_4(\mathbb{Z})$ 상에서 분석된다. 그룹 $H = SL_2(\mathbb{R}) \otimes SL_2(\mathbb{R})$의 작용은 $M_2(\mathbb{R})$ 상의 자연스러운 작용에 대응한다.
2. 수정된 높이 함수: 외적 거듭제곱(exterior power) 내의 최소 비영 벡터의 크기를 측정하는 표준 높이 함수 $\alpha(\Delta)$는 "준-영(quasi-null)" 유리 평면의 존재로 인해 임계 외적 차수 2에서 요구되는 균등 모멘트 유계성을 만족하지 못한다. 저자들은 준-영(즉, 예외적 부분 모듈 $M_c$ 또는 $M_r$에 매우 가깝게 위치하는) 플뤼커 벡터를 제외하는 수정된 높이 $\tilde{\alpha}_{\eta, M}$를 도입한다.
3. 보조 높이 및 수축: 수정된 높이에 대한 모멘트 유계를 증명하기 위해 보조 높이 $\hat{\alpha}_{\eta, M, \theta}$가 도입된다. 이 높이는 예외적 부분 모듈에 대한 근접성을 처벌하는 가중 함수 $\phi_\theta$를 포함하며, 이를 통해 예외적 부분 공간 근처에서 발생하는 수축 추정치의 퇴화를 보상한다.
4. 예외 집합의 회피: 증명은 다음을 결합한 정지 시간 반복(stopping-time iteration)을 활용한다:
   • 예외 집합으로부터의 수축 추정치(보조 높이가 확장 호로스페릭 부분군(expanding horospherical subgroups)의 작용 하에서 수축함).
   • 흐름이 예외 집합(비-준-영 유리 평면이 예외적 합산(exceptional summand)에 극도로 가깝게 운반되는 곳)을 피한다는 것을 보여주는 정량적 비발산성(quantitative non-divergence) 및 디오판토스 조건.
5. 특이 기여의 분리: 저자들은 정확한 유리 등방 평면(행렬식이 항등적으로 0이 되는 곳)과 준-영 평면을 구분한다. 행렬식-무리 격자의 경우, 정확한 유리 등방 평면은 유한하다는 것을 증명한다. 준-영이지만 등방은 아닌 평면의 기여는 극한에서 소멸함을 보이며, 정확한 등방 평면은 점근 공식에 특이 항(singular term)을 기여한다.

주요 기여 및 결과
본 논문은 다음과 같은 주요 정리(Theorem 1.1)를 확립한다:

$\Lambda < M_2(\mathbb{R})$가 행렬식-유리 격자가 아닌 디오판토스 격자라고 하자. 임의의 노름 $\|\cdot\|$와 $a < b$에 대하여, 비영 행렬식을 갖는 격자점의 수는 다음과 같다:
$$N^\times_\Lambda(a, b; T) \sim \frac{C_{\|\cdot\|}}{\text{covol}(\Lambda)} (b-a)T^2.$$
또한, 0의 행렬식을 갖는 점들에 대한 극한은 존재한다:
$$c^{\text{sing}}_\Lambda := \lim_{T \to \infty} T^{-2} \#\{v \in \Lambda : \|v\| < T, \det v = 0\}.$$
전체 계수 함수는 다음과 같다:
$$N_\Lambda(a, b; T) \sim \left( \frac{C_{\|\cdot\|}}{\text{covol}(\Lambda)}(b-a) + c^{\text{sing}}_\Lambda \mathbf{1}_{\{0 \in (a, b)\}} \right) T^2.$$

구체적 기술적 발견:

• 등방 평면의 유한성: 비-행렬식-유리 격리에 대해, 행렬식이 항등적으로 0이 되는 유리 2-평면은 최대 4개(최대 2개의 열-등방 및 2개의 행-등방) 존재한다. 이는 $2 \times 2$ 케이스의 특수한 특징이다.
• 특이 상수: $c^{\text{sing}}_\Lambda$는 $\Lambda$가 행렬식이 0이 되는 계수-2 $\mathbb{Z}$-부분 모듈을 포함할 때만 양수이다. 이는 유한한 유리 등방 평면에 대한 합으로 명시적으로 계산된다.
• 디오판토스 조건: 이 결과는 행렬식 형식이 유리 분할 이차 형식에 의해 너무 가깝게 근사되는 것을 방지하는 "분할-디오판토스(split-Diophantine)" 조건 하에서 성립한다. 이는 EMM이 사용한 non-EWAS 조건과 동치이다.
• 대수적 계수: 결과적으로, 이 정리는 대수적 성분을 가진 모든 격리에 적용되며, 이들은 리우빌 유형의 부등식을 통해 자동으로 디오판토스 조건을 만족한다.

의의 및 주장
본 논문은 정리의 내용 자체보다 증명 기법의 참신함에 주안점을 둔다고 주장한다.

• 간소화된 모델: $2 \times 2$ 행렬식 설정에서 작업함으로써, 저자들은 수정된 높이 및 회피 방법의 "간소화된 모델 케이스"를 제공한다. 이 차원에서는 표현론과 하위 레벨 추정이 고차원 케이스에 비해 기초적이지만, 주요 동역학적 메커니즘은 여전히 관찰 가능하다.
• EMM의 새로운 증명: 본 연구는 에스킨-마굴리스-모제스의 $(2, 2)$ 정량적 오펜하임 정리를 회복한다. 저자들은 자신들의 접근 방식이 $K$-평균을 직접 사용하고 나쁜 집합(bad sets)에 대한 수축/중첩 논법을 사용했던 기존 EMM의 증명과 다르다는 점을 언급한다. 대신, 이 논문은 요구되는 마굴리스 유형의 부등식을 만족시키기 위해 두 번째 보조 수정 높이를 도입하여, 나쁜 집합을 직사각형으로 직접 근사하는 과정을 피한다.
• 고차원을 위한 토대: 행렬식 공식화는 저자들의 동반 논문 [7]에서 연구된 고차원 행렬식 값 문제의 가장 단순한 구성원으로 제시되며, 여기서 얻은 통찰이 더 복잡한 시그니처를 다루기 위한 기초가 될 것임을 시사한다.

본 논문은 수학적 동역학 및 이차 형식의 정량적 이론의 맥락을 넘어선 새로운 실험적 응용이나 미래의 함의를 제안하지 않는다. 본 논문은 오직 정교한 동역학적 방법을 통해 점근적 계수 공식을 확립하는 데 엄격히 집중한다.