[논문 리뷰] Singular systems of linear forms and non-escape of mass in the space of lattices

Shirali Kadyrov, Dmitry Kleinbock외 2명|arXiv (Cornell University)|2014. 07. 20.

Mathematical Dynamics and Fractals참고 문헌 8인용 수 4

한 줄 요약

이 논문은 비특이 선형 형식과 비특이 격자에 대해, 비특이 궤적 또는 평균적으로 '도망치는' 궤적을 가지는 유모듈라 격자 공간에서의 하우스도르프 차원에 대해 추측적으로 날카로운 상한을 설정한다. 에스킨-마르길리스-모즈의 적분 부등식과 수평집합에 대한 새로운 귀납적 커버링 추론을 사용하여, 이러한 집합의 차원이 $\dim(X_{m+n}) - \frac{mn}{m+n}$ 이하임을 증명하며, 디오판틴 대수근사와 질량의 도망 방지 성질에 관한 이전 결과를 확장한다.

ABSTRACT

Singular systems of linear forms were introduced by Khintchine in the 1920s, and it was shown by Dani in the 1980s that they are in one-to-one correspondence with certain divergent orbits of one- parameter diagonal groups on the space of lattices. We give a (conjecturally sharp) upper bound on the Hausdorff dimension of singular systems of linear forms (equivalently the set of points with divergent trajectories) as well as the dimension of the set of points with trajectories 'escaping on average' (a notion weaker than divergence). This extends work by Cheung, as well as by Chevallier and Cheung, on the vector case. Our method differs considerably from that of Cheung and Chevallier, and is based on the method of integral inequalities developed by Eskin, Margulis and Mozes.

연구 동기 및 목표

• 다양한 $m \times n$ 행렬에서 비특이 선형 형식의 집합의 하우스도르프 차원을 결정하는 것, 이는 격자 공간에서 대각선 흐름에 대한 발산 궤적에 대응한다.
• 비특이 궤적의 개념을 더 약한 '평균적으로 도망치는' 궤적의 개념으로 일반화하여, 동차 동역학에서 질량의 도망 방지 성질에 대한 이해를 확장하는 것.
• 이전 접근법과는 다름없는 새로운 방법을 사용하여 이러한 집합의 차원에 대해 추측적으로 날카로운 상한을 제공하는 것.
• 체완과 셰발리에의 비특이 선형 형식에 관한 결과를 고계수 설정으로 통합 및 일반화하는 것.

제안 방법

• 저자들은 다니의 대응을 사용하여, 비특이 선형 형식의 집합을 유모듈라 격자 공간 $X_{m+n}$에서의 대각선 일파라미터 군 $g_t$의 발산 궤적과 연결한다.
• ‘평균적으로 도망친다’는 것은 어떤 컴acts 집합에서도 점점 더 적은 비율의 시간을 보내는 궤적을 정의하며, 이는 완전한 발산보다 더 약한 조건이다.
• 핵심 기술 도구는 에스킨, 마르길리스, 모즈가 개발한 적분 부등식으로, 수평부분군 위의 측도 성장률을 제어하는 데 사용된다.
• 증명은 이산 시간 간격 $\{1, \dots, N\}$의 부분집합에 대한 귀납적 커버링 추론을 통해 진행되며, 궤적이 도망치는 최대 간격 $J_i$와 도망치지 않는 간격 $I_j$로 분해된다.
• 각 간격 유형에 대해, $g_t^L u x$ 가 제어된 영역에 머무르는 점 $u \in U$ 를 커버하기 위해 필요한 반지름 $e^{-(m+n)tL}$ 의 공의 수를, 전개를 제어하는 데 사용되는 $\tilde{\alpha}$-노름을 통해 유계로 제한한다.
• 귀납 단계에서는 도망치지 않는 간격에선 부피 성장률을, 도망치는 간격에선 수정된 코로나리 5.2를 사용하여, 큰 $\tilde{\alpha}$-값을 피하는 $u$-궤적의 수를 제어한다.

실험 결과

연구 질문

• RQ1 다양한 $m \times n$ 실수 행렬 중에서 비특이 선형 형식의 집합의 하우스도르프 차원은 무엇인가? 즉, 격자 공간에서 대각선 흐름에 의한 궤적이 발산하는가?
• RQ2 ‘평균적으로 도망치는’ 궤적을 가지는 격자의 집합의 차원은 발산 궤적의 집합과 비교해 어떻게 되며, 그 상한은 무엇인가?
• RQ3 에스킨-마르길리스-모즈의 적분 부등식 기법을 고계수 설정에서 질량의 도망 방지 집합의 차원을 제한하는 데 적용할 수 있는가?
• RQ4 집합의 상한 $\dim(X_{m+n}) - \frac{mn}{m+n}$ 이 비특이 선형 형식 집합에 대해 날카로운가? 이는 $m=n=1$ 및 $m+n=3$ 인 경우의 이전 결과를 일반화하는가?
• RQ5 대각선 흐름의 역학이 $\max(m,n) > 1$ 인 경우와 $\mathrm{SL}(2,\mathbb{R})$ 경우와 비교해 어떻게 다를까? 특히 비퇴화된 발산 궤적 측면에서.

주요 결과

• 논문은 평균적으로 도망치는 궤적을 가지는 격자의 집합에 대해 추측적으로 날카로운 상한 $\dim(X_{m+n}) - \frac{mn}{m+n}$ 을 하우스도르프 차원에 설정한다.
• 이 상한은 평균적으로 비특이인 $m \times n$ 행렬의 집합이 하우스도르프 차원 최대 $mn - \frac{mn}{m+n}$ 이라는 것을 의미하며, 체완과 셰발리에의 결과를 확장한다.
• 이 방법은 체완과 셰발리에의 방법과는 다름없는 새로운 접근법을 제공하며, 동역학적 또는 기하적 분해가 아닌 귀납적 커버링 추론과 적분 부등식에 의존한다.
• 저자들은 임의의 $x \in X_{m+n}$ 에 대해 $\{u \in U : ux \text{ 는 평균적으로 도망친다}\}$ 의 하우스도르프 차원이 최대 $mn - \frac{mn}{m+n}$ 이라는 것을 증명하며, 이것이 주요 기술적 결과이다.
• 결과는 발산 또는 도망하는 궤적의 집합의 여부가 $\frac{mn}{m+n}$ 이라는 것을 확인하며, 고계수 디오판틴 대수근사에서 추측된 값과 일치한다.
• 증명은 시간 간격을 도망치는 블록과 도망치지 않는 블록으로 분할하는 새로운 귀납적 커버링 체계에 의존하며, 각각에 대해 별도의 유계를 적용하고, 외적 곱에서의 전개를 제어하기 위해 $\tilde{\alpha}$-노름을 사용한다.