모비우스 무관성 추측을 위한 스큐 곱과 헤이젠베르크 닐리만폴드

초록

본 논문은 원형 위의 스큐 곱과 3차원 헤이젠베르크 닐리만폴드에서 정의되는 동역학계에 대해 사르낙의 모비우스 무관성 추측을 증명한다. 기존 연구에서 요구되던 대칭 조건 φ = η 를 제거하고, φ와 η는 C²⁺²ε, ψ는 C¹⁺ε 정도의 매끄러움만을 가정함으로써 보다 일반적인 상황에서도 PR 강직성 및 측도 복잡도 하위다항식성을 확보한다. 이를 통해 모든 α∈

상세 분석

논문은 먼저 Sarnak의 모비우스 무관성 추측을 동역학적 관점에서 재정의하고, 이를 검증하기 위한 두 가지 주요 도구인 ‘다항식 속도 강직성(PR rigidity)’과 ‘측도 복잡도(sub‑polynomial measure complexity)’를 소개한다. 기존 연구(Huang‑Liu‑Wang 등)는 φ=η 라는 대칭성을 가정함으로써 중심원소가 소거되는 특수한 형태의 스큐 곱을 다루었으며, 이는 Heisenberg 군의 비가환성을 회피하는 데 필수적이었다. 그러나 이 논문은 중심원소의 비대칭성을 직접 다루는 새로운 기술을 도입한다. 핵심은 Heisenberg 군의 중심 Z(G) 를 이용해 군원소를 (x,y,z) 형태로 좌표화하고, 거리함수 d_G 를 ℓ∞‑노름을 통해 왼쪽 불변적으로 정의한 뒤, 이를 Γ\G 위에 내려놓아 bi‑invariant 거리 d_{Γ\G} 를 얻는 과정이다. 이 거리와 원형 T의 거리 ∥·∥ 를 합성해 전체 공간 X=T×Γ\G 에 대한 메트릭 d 를 구성한다.

다음으로 스큐 곱 S_α 의 n‑번째 반복을 명시적으로 전개한다. φ와 η의 누적합 Φ_n, Ξ_n, 그리고 ψ와 φ·η의 교차합을 포함하는 Ψ_n 을 정의함으로써, S_α^n (t,g) = (t+nα, g·H_n(t)·U_n(t)) 형태로 표현한다. 여기서 H_n(t)와 U_n(t) 는 각각 중심원소와 비중심원소에 해당하는 행렬 요소이며, 이들의 크기를 d_{Γ\G} 로 측정한다.

핵심 증명은 (4.1) 식과 같이 \