[논문 리뷰] Quantitative Density under Higher Rank Abelian Algebraic Toral Actions

Zhiren Wang|arXiv (Cornell University)|2010. 04. 01.

Mathematical Dynamics and Fractals참고 문헌 9인용 수 5

한 줄 요약

이 논문은 Bourgain-Lindenstrauss-Michel-Venkatesh의 1차원 토럴 작용에 대한 정량적 밀도 결과를 고차원 토르스 위의 고계수 아벨 대수적 작용으로 확장한다. 비-CM 수체 K의 단위군이 K⊗QR의 컴acts quotient X 위에서 작용할 때, 궤도의 효과적 다항식 유형의 밀도 상한을 확립하며, 일반 궤도가 단위의 로그 마라르 측도와 수체의 판별식에 의해 제어되는 속도로 조밀해짐을 보인다. 핵심 기여는 이러한 작용에 대해 Katok-Spatzier의 강성 정리의 정량적이고 측도론적으로 효과적인 판본을 확립하는 것이다.

ABSTRACT

We generalize Bourgain-Lindenstrauss-Michel-Venkatesh's recent one-dimensional quantitative density result to abelian algebraic actions on higher dimensional tori. Up to finite index, the group actions that we study are conjugate to the action of $U_K$, the group of units of some non-CM number field $K$, on a compact quotient of $K\otimes_{\mathbb Q}\mathbb R$. In such a setting, we investigate how fast the orbit of a generic point can become dense in the torus. This effectivizes a special case of a theorem of Berend; and is deduced from a parallel measure-theoretical statement which effectivizes a special case of a result by Katok-Spatzier. In addition, we specify two numerical invariants of the group action that determine the quantitative behavior, which have number-theoretical significance.

연구 동기 및 목표

• Bourgain-Lindenstrauss-Michel-Venkatesh의 1차원 정량적 밀도 결과를 고차원 토르스 위의 아벨 대수적 작용으로 일반화한다.
• 고계수 아벨 작용에 대한 Berend의 최소성 정리의 특수 케이스를 효과적으로 다룬다.
• 기초 수체의 수론적 불변량을 사용하여 궤도 균등분포 속도에 대한 효과적 상한을 확립한다.
• 단위군 작용에 대한 twisted torus 위에서 Katok-Spatzier 강성 정리의 측도론적으로 효과적인 판본을 유도한다.

제안 방법

• 비-CM 수체 K의 단위군 UK가 컴팩트 몫 X = (K⊗QR)/I 위에서 작용하는 고계수 아벨 작용을 구성한다.
• Minkowski의 연속 최소 및 볼록체에 관한 정리들을 사용하여, 유계된 연산자 노름을 갖는 동형사상 ψ: Rd → Rd를 구성한다.
• 토르스 위의 푸리에 분석을 적용하여 궤도 측도의 푸리에 계수의 감쇠를 제어한다.
• 엔트로피와 L2-노름 추정을 사용하여 측도론적 결과에서 위상적 밀도 결과로 전환한다.
• 디오판틴 근사 기법과 로그 마라르 측도에 대한 추정을 활용하여 안정자 및 궤도의 크기를 제어한다.
• 판별식 D(K), 조정자 FUK, 그리고 이상의 노름 N(I) 사이의 관계를 연결하는 매개변수 조작 논증을 통해 효과적 밀도 상한을 도출한다.

실험 결과

연구 질문

• RQ1 고차원 토르스 위에서 고계수 아벨 대수적 작용 하에서 일반 점의 궤도가 얼마나 빠르게 조밀해지는가?
• RQ2 이러한 작용에서 균등분포의 정량적 속도를 결정하는 수론적 불변량은 무엇인가?
• RQ3 Katok-Spatzier의 측도론적 강성 결과가 수체 토르스 위의 단위군 작용 맥락에서 효과적으로 가능할 수 있는가?
• RQ4 궤도의 조밀함이 단위의 로그 마라르 측도와 수체의 판별식에 얼마나 의존하는가?
• RQ5 균일 분포가 아니지만 여전히 조밀한 궤도에 대해 효과적 밀도 상한을 확립할 수 있는가?

주요 결과

• 단위군 작용에 의한 twisted torus X 위의 일반 점의 궤도는 효과적 상수 ι1(d), ι2(d), c23(d)를 갖는 (log log log N(I))^{-ι1 F^2_{UK}}-조밀해지며, 이는 조밀함의 정도를 제어한다.
• 밀도 속도는 단위군의 로그 마라르 측도 F_{UK}와 판별식 D(K)에 의해 제어되며, D(K)가 클 경우 D(K)^{d/2}가 로그 인자에 흡수되어 상한에 포함된다.
• 정수환 O_K/I의 곱셈적 군 (O_K / I)^*에 속하는 유리 점 β에 대해 궤도 UK.β는 ρ₀-조밀하며, ρ₀ ≤ ||ψ|| (log log log N(I))^{-ι1 F^2_{UK}}를 만족한다. 여기서 ||ψ|| ≲_d D(K)^{(d-1)/(2d)}이다.
• 궤도 크기 |G.x|는 F_{UK}^{-r} (log(2^{-d} N(I)))^r 이하로 하한이 주어지며, 여기서 r = rank(U_K)이다. 이는 효과적 밀도를 위해 큰 궤도가 필수적임을 보여준다.
• 충분히 큰 판별식 D(K)에 대해, N(I)가 크면 모든 점 β ∈ (O_K / I)^*에 대해 효과적 밀도 상한이 일관되게 적용된다.
• 주요 결과 (8.4)는 D(K)가 충분히 크면 이상 I(β)의 노름이 NI(β) ≤ N(I) (log log log N(I))^{-c21 F^2_{UK}}를 만족하며, c21는 d에만 의존한다.