[논문 리뷰] Nondense orbits on homogeneous spaces and applications to geometry and number theory

Jinpeng An, Lifan Guan외 1명|arXiv (Cornell University)|2020. 01. 15.

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

한 줄 요약

이 논문은 초등면 절단(win) 성질(HAW)을 사용하여, 동차 공간에서 특정 부분다양체를 피하는 궤도가 비밀도인 점들의 집합이 전체 하우스도르프 차원을 가짐을 보장하는 조건을 설정한다. 이는 애핀 사상과 동차 공간에서의 일파라미터 작용에 대한 이전 결과들을 통합하며, 이러한 특수 집합들이 HAW임을 증명함으로써, 전체 하우스도르프 차원과 함께 가чёт성과 가산 교차에 대한 강건성을 확보한다. 이는 기하학 및 수론 분야에서 비밀도 궤도와 관련된 응용을 가능하게 한다.

ABSTRACT

Let $G$ be a Lie group, $Γ\subset G$ a discrete subgroup, $X=G/Γ$, and $f$ an affine map from $X$ to itself. We give conditions on a submanifold $Z$ of $X$ guaranteeing that the set of points $x\in X$ with $f$-trajectories avoiding $Z$ is hyperplane absolute winning (a property which implies full Hausdorff dimension and is stable under countable intersections). A similar result is proved for one-parameter actions on $X$. This has applications to constructing exceptional geodesics on locally symmetric spaces, and to non-density of the set of values of certain functions at integer points.

연구 동기 및 목표

• 동차 공간의 부분다양체에 대해 충분한 기하학적 조건을 설정하여, 비밀도 궤도를 가진 점들의 집합이 초등면 절단(win) 성질(HAW)임을 보이기.
• 기존의 비밀도 궤도에 관한 결과들—특히 애핀 사상과 일파라미터 작용에 관한 것들을 통합 및 일반화하기.
• 일부 부분다양체를 피하는 점들의 특수 집합이 두꺼움(thick)일 뿐 아니라, HAW 성질에 의해 가산 교차에 대해서도 강건함을 보여주기.
• HAW 프레임워크를 활용하여 국소 대칭 공간에서의 특수 지오데식을 구성하고, 정수점에서의 특정 함수의 값들이 비밀도임을 연구하기.

제안 방법

• G_f-수직성과 (F, G_{F^+})-수직성의 개념을 도입하여, G가 리군이고 Γ가离산 부분군인 동차 공간 X = G/Γ의 부분다양체에 대해 적용한다.
• 초등면 절단(win) 게임(HAW 게임)을 적용하여, 수직인 부분다양체를 피하는 궤도를 가진 점들의 집합이 HAW임을 보이며, 이는 전체 하우스도르프 차원을 의미한다.
• 투영 공간에서의 HAW 게임을 원래 공간으로 연결하기 위해 레벨업 전략을 사용하며, 보조 플레이어(앨리스의 누나와 보브의 오빠)를 도입하여 중첩된 게임 프레임워크 내에서 승리 전략을 구성한다.
• 사영 P_W, 구, 초평면 이웃 영역을 포함하는 기하학적 구성 방법을 사용하여, 반복 과정에서 목표 집합이 승리 영역 내에 유지되도록 보장한다.
• HAW 성질이 가산 교차에 대해 불변임을 활용하여 특수 집합의 강건성을 강화한다.
• Γ를 유지하는 G의 자동형사상에 의해 유도되는 애핀 사상 f: X → X와 그에 대응하는 리 대수 𝔤 위의 선형화 dσ_f의 구조에 의존한다.

실험 결과

연구 질문

• RQ1 G_f-수직인 C^1 부분다양체 Z ⊂ X = G/Γ에 대해, f-궤도가 비밀도인 점들의 집합이 HAW가 되기 위한 기하학적 조건은 무엇인가?
• RQ2 HAW 성질은 어떻게 애핀 사상과 일파라미터 작용에 대한 비밀도 궤도 결과들을 통합하는 데 기여하는가?
• RQ3 HAW 성질은 국소 대칭 공간에서의 특수 지오데식 존재성에 어떤 함의를 지닌다?
• RQ4 특정 함수의 정수점에서의 값들이 비밀도임을 HAW 프레임워크를 통해 입증할 수 있는가?
• RQ5 G_f와 F-방향을 포함하는 수직 조건은 비밀도 궤도의 풍부함을 어떻게 보장하는가?

주요 결과

• G_f-수직인 C^1 부분다양체 Z ⊂ X인 컴팩트 집합에 대해, f-궤도가 Z를 피하는 점들의 집합 E(f, Z)는 초등면 절단(win) 성질을 가지며, 따라서 전체 하우스도르프 차원을 가진다.
• 일파라미터 부분군 F에 대해, Z가 컴팩트한 (F, G_{F^+})-수직인 C^1 부분다양체이면, 집합 E(F^+, Z)는 HAW이며, 이는 전체 차원과 강건성을 보장한다.
• HAW 성질은 이러한 특수 집합들의 가산 교차가 여전히 두껍다는 것을 의미하며, 강력한 위상적 및 측도론적 내성성을 제공한다.
• 보조 플레이어와 기하학적 레벨업 전략을 사용하여, 높은 차원 공간에서의 중첩된 게임을 시뮬레이션함으로써, 투영 공간에서의 HAW 게임에 대한 승리 전략을 구성하였다.
• 이 결과는 정리 1.2(토랄 엔도모르피즘에 관한 것)와 정리 1.1(동차 동역학에 관한 것)을 일반화하며, 이들을 HAW 프레임워크 아래 통합한다.
• 응용으로는 국소 대칭 공간에서의 특수 지오데식 존재성과 특정 함수의 정수점에서의 값들이 비밀도임을 입증할 수 있으며, 이는 특수 집합의 HAW 구조에서 유도된다.