[논문 리뷰] Effective density for inhomogeneous quadratic forms II: fixed forms and generic shifts

Anish Ghosh, Dubi Kelmer외 1명|arXiv (Cornell University)|2020. 01. 29.

Advanced Algebra and Geometry참고 문헌 17인용 수 4

한 줄 요약

이 논문은 고정된 유리수 불정부호 이차형식과 거의 모든 이동항 $ \alpha \in \mathbb{R}^n $에 대해, $ n \geq 3 $개의 변수를 가진 고정된 유리수 불정부호 이차형식에 대해, $ \|v\| \leq t $인 범위에서 $ Q_\alpha(v) $가 임의의 실수 $ \xi $를 $ t^{-\kappa} $ 이내로 근사할 수 있음을 보여주며, 이에 대한 명시적인 지수 $ \kappa_0 $ 의 경계를 제시한다. 이 경계는 $ Q $의 부호수에 따라 달라진다. 본 방법은 카즈한의 성질 (T)가 없는 정수군의 표현에 대한 효과적 평균 에르고딕 정리와 스펙트럼 간격 추정에 기반한다.

ABSTRACT

We establish effective versions of Oppenheim's conjecture for generic inhomogeneous quadratic forms. We prove such results for fixed quadratic forms and generic shifts. Our results complement our companion paper where we considered generic forms and fixed shifts. In this paper, we use ergodic theorems and in particular we establish a strong spectral gap with effective bounds for some representations of orthogonal groups which do not possess Kazhdan's property (T).

연구 동기 및 목표

• 고정된 불정부호 유리수 이차형식과 일반적인 이동항에 대해 오펜하이머 추측의 효과적 판정을 확립하기.
• 동차 동역학에서의 효과성 문제를 해결하기 위해, 비동차 이차형식의 값이 실수를 얼마나 정확히 근사할 수 있는지 양적 분석하기.
• 이차형식의 부호수에 따라 근사 지수 $ \kappa_0 $ 에 대한 명시적 경계를 도출하기.
• 군 작용이 균일 공간 위에서 작용하는 축소 대상 문제의 이해를 확장하기.
• 카즈한의 성질 (T)가 없는 정수군의 표현에 대해 효과적 스펙트럼 간격 추정을 개발하여 효과적 에르고딕 정리를 가능하게 하기.

제안 방법

• 문제를 군 $ G = \mathrm{SO}^+_Q(\mathbb{R}) $ 가 균일 공간 위에서 작용하는 축소 대상 문제로 환원한다.
• 오빗 위의 평균의 감쇠 속도를 제어하기 위해 효과적 평균 에르고딕 정리를 적용하며, 이를 단위 표현의 스펙트럼 성질과 연결한다.
• 차원 $ n $ 에 대한 귀납법을 사용하여 문제를 더 낮은 랭크 부분군 $ G^{(j)} \cong \mathrm{SO}^+(n-j,1) $ 로 환원하고, 재귀적 스펙트럼 간격 경계를 얻는다.
• 행렬 계수 감쇠를 특성화하기 위해 매개변수 $ \alpha(\pi) = \frac{n-2}{p(\pi)} $ 를 사용하여 스펙트럼 간격의 재귀적 제어를 가능하게 한다.
• 반직접곱 $ \tilde{G} = G \ltimes \mathbb{R}^n $ 의 표현 $ \tilde{\pi} = \mathrm{Ind}_{\tilde{G}^\lambda}^{\tilde{G}} \sigma $ 의 단위 표현을 분석하며, $ \mathbb{R}^n $-불변 벡터를 가지지 않는 경우에 집중한다.
• 버거와 사르낙의 감소 추론을 적용하여 $ \pi|_{G^{(j)}} $ 의 스펙트럼 간격을 전체 표현의 것과 연결함으로써 $ p(\pi) \leq \kappa(n-2) $ 를 재귀적으로 제어한다.

실험 결과

연구 질문

• RQ1 고정된 유리수 불정부호 이차형식 $ Q $ 에 대해, 거의 모든 이동항 $ \alpha $ 에 대해 $ |Q_\alpha(v) - \xi| < t^{-\kappa} $ 가 모든 큰 $ t $ 에 대해 정수해를 가지는 최적의 지수 $ \kappa_0 $ 는 무엇인가?
• RQ2 근사율은 이차형식의 부호수 $ (p,q) $ 에 따라 어떻게 달라지는가?
• RQ3 카즈한의 성질 (T)를 갖지 않는 $ \mathrm{SO}^+(p,q) $ 의 표현에 대해 효과적 스펙트럼 간격 추정을 확립할 수 있는가?
• RQ4 스펙트럼 간격이 성질 (T)에서 유래되지 않는 상황에서 효과적 평균 에르고딕 정리를 축소 대상 문제에 얼마나 널리 적용할 수 있는가?
• RQ5 표현의 스펙트럼 간격과 카르탕 부분군에 제한된 행렬 계수의 감쇠 속도 사이의 관계는 무엇인가?

주요 결과

• 모든 $ n \geq 3 $ 개의 변수를 가진 유리수 불정부호 이차형식 $ Q $ 와 거의 모든 이동항 $ \alpha \in \mathbb{R}^n $ 에 대해, $ \|v\| \leq t $ 인 범위에서 $ |Q_\alpha(v) - \xi| < t^{-\kappa} $ 는 충분히 큰 $ t $ 에 대해 정수해를 가진다. 이때 $ \kappa < \kappa_0 $ 이면 성립한다.
• 지수 $ \kappa_0 $ 는 부호수 $ (p,q) $ 에 따라 명시적으로 계산된다: 예를 들어 $ (p,q) = (2,1) $ 일 때 $ \kappa_0 = 1 $, $ (n-1,1) $ 일 때 $ \kappa_0 = 2 $, $ (4,2) $ 또는 $ (3,3) $ 일 때 $ \kappa_0 = 3/2 $.
• 일반적인 부호수 $ p \geq q > 1 $ 에 대해 $ \kappa_0 = 2\kappa_1 q(p-1) $ 이며, 여기서 $ \kappa_1 $ 은 $ n \mod 4 $ 에 따라 달라지며, $ p \approx q $ 일 때는 $ \kappa_0 \approx n/2 $ 가 된다.
• 이 방법은 $ n = 3,4 $ 에서는 최적의 경계 $ \kappa_0 = n-2 $ 를 도출하지만, $ n \geq 5 $ 에서는 기대되는 $ n-2 $ 보다 약한 경계를 얻으며, 특히 $ (n-1,1) $ 의 경우 $ \kappa_0 = 2 $ 로 나타난다.
• 증명은 카즈한의 성질 (T)가 없는 $ \mathrm{SO}^+(p,q) $ 의 표현에 대해 강력한 효과적 스펙트럼 간격을 확립하며, 귀납법과 행렬 계수 감쇠의 재귀적 제어를 통해 이를 달성한다.
• 결과는 효과적 평균 에르고딕 정리를 성질 (T)가 없는 군에 적용할 수 있음을 확인하며, [ GGN20 ] 및 [ GK17 ] 의 기법을 확장한다.