[논문 리뷰] Topological correspondence of multiple ergodic averages of nilpotent group actions

Wen Huang, Song Shao외 1명|arXiv (Cornell University)|2016. 04. 25.

Mathematical Dynamics and Fractals참고 문헌 15인용 수 3

한 줄 요약

이 논문은 비아벨 니르포텐트 군 작용에 대한 다중 에르고딕 평균의 위상적 대응을 수립하며, 약한 혼합성과 최소성 조건 하에서 다항군 작용에 의한 임의의 점의 궤도가 곱공간에 밀도가 있음을 증명한다. 주요 결과는 유리수 계수 다항식을 사용하는 다항열을 통해 글라스너의 정리를 비아벨 니르포텐트 군으로 확장한다.

ABSTRACT

Let $(X,Γ)$ be a topological system, where $Γ$ is a nilpotent group generated by $T_1,\ldots, T_d$ such that for each $T\in Γ$, $T eq e_Γ$, $(X,T)$ is weakly mixing and minimal. For $d,k\in \mathbb{N}$, let $p_{i,j}(n), 1\le i\le k, 1\le j\le d$ be polynomials with rational coefficients taking integer values on the integers and $p_{i,j}(0)=0$. We show that if the expressions $g_i(n)=T_1^{p_{i,1}(n)}\cdots T_d^{p_{i,d}(n)}$ depends nontrivially on $n$ for $i=1,2,\cdots,k$, and for all $i eq j\in \{1,2,\ldots,k\}$ the expressions $g_i(n)g_j(n)^{-1}$ depend nontrivially on $n$, then there is a residual set $X_0$ of $X$ such that for all $x\in X_0$ \begin{equation*} \{(g_1(n)x, g_2(n)x,\ldots, g_k(n)x)\in X^k:n\in \mathbb{Z}\} \end{equation*} is dense in $X^k$.

연구 동기 및 목표

• 단일 변환에서의 글라스너의 위상적 다중 재발 결과를 니르포텐트 군 작용으로 확장하기 위해.
• 니르포텐트 군 작용 하에서 약한 혼합성과 최소성 조건을 만족하는 시스템의 맥락에서 다중 에르고딕 평균의 위상적 동반을 수립하기 위해.
• 니르포텐트 군 내 다항열이 곱공간에서 궤도를 밀도 있게 만드는 조건을 규명하기 위해.
• 밀도 궤도를 가진 점들의 집합이 잔여집합(Gδ)임을 증명하여 아벨 군에서 비아벨 니르포텐트 군으로 결과를 일반화하기 위해.
• 궤도 밀도 결과를 위해 다항열의 비퇴화 조건이 필수적인지 확인하기 위해.

제안 방법

• 니르포텐트 군의 구조와 그들의 말체프 기저를 이용하여, 영에서 값이 0이 되는 유리수 계수 다항식을 갖는 다항군 원소 $ g_i(n) = T_1^{p_{i,1}(n)} \cdots T_d^{p_{i,d}(n)} $ 를 정의한다.
• 비퇴화 조건을 도입: 각 $ g_i(n) $ 은 비상수이며, $ i \neq j $ 일 때 $ g_i(n)g_j(n)^{-1} $ 도 비상수여야 하며, 이는 서로 다른 역학적 행동을 보장한다.
• 위상역학 도구를 적용: 잔여집합, 시нд티크 집합, 조각별 시ンド티크성으로 궤도 분포를 분석한다.
• Γ-다항식의 무게에 대한 귀납적 추론을 사용하고, 궤도 재발을 제어하기 위해 $ \mathbf{P}\Gamma_0^* $ 의 구조를 활용한다.
• 최소성과 약한 혼합성 조건 하에서 열린 집합으로의 복귀 시간이 시нд티크 임을 이용하여, 밀도 궤도 집합을 구성한다.
• 모든 $ x \in X_0 $ 에 대해 $ \{(g_1(n)x, \dots, g_k(n)x)\}_{n \in \mathbb{Z}} $ 가 $ X^k $ 에서 밀도가 되는 잔여집합 $ X_0 \subset X $ 을 구성한다.

실험 결과

연구 질문

• RQ1 니르포텐트 군의 다항군 작용이 최소성과 약한 혼합성 조건을 만족하는 시스템에 대해 곱공간에서 궤도가 밀도가 되기 위한 조건은 무엇인가?
• RQ2 아벨 군에서 비아벨 니르포텐트 군으로의 위상적 다중 재발 결과는 어떻게 일반화되는가?
• RQ3 다항열의 비퇴화 조건이 궤도 밀도 확보에 어떤 역할을 하는가?
• RQ4 니르포텐트 군 작용에 대해 다중 에르고딕 평균의 위상적 대응을 수립할 수 있는가?
• RQ5 이러한 작용 하에서 밀도 궤도를 가진 점들의 집합의 구조는 어떠한가?

주요 결과

• 니르포텐트 군 $ \Gamma $ 가 $ X $ 에 최소성과 약한 혼합성 조건을 만족하며 작용할 때, 비퇴화 조건을 만족하는 다항열 $ g_i(n) $ 이 존재하면, $ X^k $ 에서 $ \{(g_1(n)x, \dots, g_k(n)x)\}_{n \in \mathbb{Z}} $ 가 모든 $ x \in X_0 $ 에 대해 밀도가 되는 잔여집합 $ X_0 \subset X $ 이 존재한다.
• 비퇴화 조건—즉, $ i \neq j $ 일 때 $ g_i(n) $ 과 $ g_i(n)g_j(n)^{-1} $ 가 비상수여야 함—은 궤도 밀도 결과를 위해 필수적이다.
• 이 결과는 글라스너의 정리를 단일 변환에서 다항군 작용이 있는 니르포텐트 군 설정으로 일반화한다.
• 밀도 궤도를 가진 점들의 집합은 잔여집합이므로, 코메이저이므로 위상적으로 일반적인 점임을 나타낸다.
• 증명은 복귀 시간의 시ンド티크성과 조각별 시ンド티크성을 활용하며, 궤도 재발이 충분히 풍부하여 밀도를 보장함을 보여준다.
• 구성은 Γ-다항식의 무게에 대한 귀납적 추론과 $ \mathbf{P}\Gamma_0^* $, 즉 비상수 Γ-다항식의 집합의 성질을 이용한다.