[논문 리뷰] Filling inequalities for nilpotent groups

Robert M. Young|arXiv (Cornell University)|2006. 08. 07.

Finite Group Theory Research참고 문헌 21인용 수 21

한 줄 요약

이 논문은 기하 측도 이론의 근사 기법을 사용하여, 특히 제트 군과 고차원 헤이센베르크 군을 포함한 노름군의 고차수 딜란 함수(채움 불변량)에 대한 날카운 경계를 확립한다. 페더러-플레밍 변형 정리, 스케일링 자기동형사상, 수평 다각형의 삼등분을 조합함으로써, 저차원에서는 유클리드 채움 행동을 보이고 고차원에서는 초유클리드 성장률을 보이는 것으로 증명한다. 이는 헤이센베르크 군에 대한 그로모프의 추측을 해결하고, 임의의 노름군 계수를 가진 군을 이차 딜란 함수를 가짐으로써 구성한다.

ABSTRACT

We bound the higher-order Dehn functions and other filling invariants of certain Carnot groups using approximation techniques. These groups include the higher-dimensional Heisenberg groups, jet groups, and central products of two-step nilpotent groups. Some consequences of this work are a construction of groups with arbitrarily large nilpotency class that have euclidean n-dimensional filling volume functions, and a proof of part of a conjecture of Gromov on the higher-order filling functions of the higher-dimensional Heisenberg groups.

연구 동기 및 목표

• 카르노 군, 특히 제트 군과 고차원 헤이센베르크 군에 대해 고차수 채움 불변량(딜란 함수)에 대한 날카운 상한과 하한을 확립하는 것.
• 헤이센베르크 군에 대한 그로모프의 채움 함수에 대한 추측을 해결하는 것.
• 높은 노름군 계수임에도 불구하고 이차 딜란 함수를 가진 노름군을 임의의 노름군 계수로 구성함으로써, 높은 노름군 계수는 큰 딜란 함수를 암시한다는 기대를 뒤집는 것.
• 삼등분과 단체의 스케일링을 이용한 채움 불변량의 경계를 위한 일반적인 방법을 개발하는 것.

제안 방법

• 다중 척도에서 노름군의 특이 사이클을 단체 사이클로 근사하기 위해 페더러-플레밍 변형 정리를 적용하는 것.
• 스케일링 자기동형사상 $ s_t $ 를 사용하여 삼등분을 재스케일링하고 채움 구성에서 부피 성장을 통제하는 것.
• 제트 공간에서의 호몰로지 맵을 통해 삼등분을 구성함으로써 제트 군의 제어된 부피를 가진 채움을 생성하는 것.
• homogeneity $ s_t^*\omega = t^d \omega $ 를 가진 불변 미분형식 $ \omega $ 를 사용하여 채움 부피의 하한을 유도하는 것.
• 다양한 척도 간의 근사치를 연결하여 유한한 수의 단체 조각의 스케일링 복사본으로 $ k $-구를 채우는 것.
• 삼등분 $ f $ 에 가까운 $ k $-수평 맵 $ \phi $ 가 존재하면 채움의 질량을 제어할 수 있음을 증명하는 것.

실험 결과

연구 질문

• RQ1 그로모프가 추측한 바와 같이, 고차원 헤이센베르크 군 $ H^{2k+1} $ 는 차원 $ i \leq k $ 에서 유클리드 채움 함수를 가지는가?
• RQ2 기대와는 달리 알려진 왜곡 현상에도 불구하고, 임의의 큰 노름군 계수를 가진 노름군을 이차 딜란 함수를 가짐으로써 구성할 수 있는가?
• RQ3 제트 군 $ J^m(\mathbb{R}^k) $ 에 대해 $ k $-번째 차수의 딜란 함수 $ \operatorname{FV}^k(V) $ 의 정확한 渐近 성장률은 무엇인가?
• RQ4 불변 미분형식의 스케일링 성질이 노름군에서 채움 부피의 하한에 어떻게 영향을 미치는가?
• RQ5 노름군의 중심적 곱의 채움 불변량은 그 구성 요소 군의 구조에 얼마나 의존하는가?

주요 결과

• 제트 군 $ J^m(\mathbb{R}^k) $ 에 대해, $ i $-번째 차수의 채움 부피 함수는 $ i \leq k $ 에서 $ \operatorname{FV}^i(V) \sim V^{i/(i-1)} $ 를 만족하며, 이는 유클리드 성장률과 일치한다.
• 차원 $ i = k+1 $ 에서는 $ \operatorname{FV}^{k+1}(V) \sim V^{(k+m+1)/k} $ 를 만족하며, 제트 차수 $ m $ 에 따라 초유클리드 성장률을 보인다.
• 헤이센베르크 군 $ H^{2k+1} $ 에 대한 그로모프의 추측이 확인된다: $ i \leq k $ 에서 $ \operatorname{FV}^i(V) \sim V^{i/(i-1)} $ 이고, $ \operatorname{FV}^{k+1}(V) \sim V^{(k+2)/k} $ 이다.
• 논문은 임의의 노름군 계수를 가진 군을 이차 딜란 함수를 가짐으로써 구성하였으며, 이는 높은 노름군 계수가 큰 딜란 함수를 암시한다는 직관을 뒤집는다.
• 닫힌 불변 형식 $ \omega $ 를 통해 하한이 확립되었으며, $ s_t^*\omega = t^d \omega $ 를 만족하고, 적절한 기하 조건 하에서 $ \operatorname{FV}^k(V) \succ V^{d/k} $ 를 유도한다.
• 제트 군 $ J^m(\mathbb{R}^k) $ 에 대해 상한과 하한이 일치한다: $ i \leq k $ 에서 $ \operatorname{FV}^i(V) \asymp V^{i/(i-1)} $ 이고, $ \operatorname{FV}^{k+1}(V) \asymp V^{(k+m)/k} $ 이며, 이는 추정의 날카로움을 증명한다.