[논문 리뷰] Rational growth in the Heisenberg group

Moon Duchin, Michael Shapiro|arXiv (Cornell University)|2014. 11. 16.

Geometric and Algebraic Topology참고 문헌 16인용 수 6

한 줄 요약

이 논문은 모든 유한 생성집합에 대해 정수 히젠베르크 군의 성장이 유리수 성장임을 증명하며, 오랫동안 미해결이었던 열린 문제를 해결한다. 저자들은 이 성장을 입증하기 위해 이산 군 내의 단어 거리와 연속 히젠베르크 리군 위의 카르노-카라테오도리 편미분계량 간의 관계를 분석하며, 지오데식선의 기하학적 및 조합적 제어를 통해 성장열이 유리함을 보이고, 어떤 단어 거리에 대해서도 군이 거의 볼록임을 증명한다.

ABSTRACT

A group presentation is said to have rational growth if the generating series associated to its growth function represents a rational function. A long-standing open question asks whether the Heisenberg group has rational growth for all finite generating sets, and we settle this question affirmatively. We also establish almost-convexity for all finite generating sets. Previously, both of these properties were known to hold for hyperbolic groups and virtually abelian groups, and there were no further examples in either case. Our main method is a close description of the relationship between word metrics and associated Carnot-Caratheodory Finsler metrics on the ambient Lie group. We provide (non-regular) languages in any word metric that suffice to represent all group elements.

연구 동기 및 목표

• 모든 유한 생성집합에 대해 정수 히젠베르크 군의 성장이 유리수 성장인지 여부라는 열린 문제를 해결하기 위해.
• 어떤 단어 거리에 대해서든 히젠베르크 군의 거의 볼록성을 확립하기 위해.
• 이산 단어 거리와 리군 위의 연속 카르노-카라테오도리 편미분계량 간의 기하학적 프레임워크를 제공하기 위해.
• 평면 투영과 형태 분류를 활용하여 히젠베르크 군 내 지오데식선의 조합적 구조를 특성화하기 위해.
• 기하학적 성장 함수의 이해를 초기 알려진 사례들(예: 하이퍼볼릭 군 및 거의 아벨 군)을 넘어서, 비아벨 군에 대해 확장하기 위해.

제안 방법

• Pansu의 정리를 활용하여 H(Z) 위의 단어 거리와 H(R) 위의 좌변불변 카르노-카라테오도리 편미분계량 간의 관계를 설정하기 위해.
• R²로의 투영을 기반으로 지오데식선의 '형태'에 따라 분류함으로써 평면 기하학적 분석을 가능하게 하기 위해.
• 경로의 기하학적 제어를 바탕으로 모든 군 원소를 나타내는 비정규 언어를 단어 거리에서 구성하기 위해.
• 단어 거리와 cc 거리 간의 차이를 유계 상수 K로 유계화하기 위해 메트릭 비교 기법을 적용하기 위해.
• cc 거리에서의 연속적인 거의 볼록성을 활용하여 이산 설정에서 근접한 군 원소들 사이의 유한 길이의 단어 경로를 구성하기 위해.
• 기본 도메인의 유계 직경을 활용하여 연속 경로를 정수 격점으로 반올림하면서 오차를 통제하기 위해.

실험 결과

연구 질문

• RQ1 모든 유한 생성집합에 대해 히젠베르크 군이 유리수 성장을 갖는가?
• RQ2 어떤 단어 거리에 대해서든 히젠베르크 군이 거의 볼록한가?
• RQ3 생성집합의 선택이 쿼asi다항식 성장의 주기와 계수에 어떻게 영향을 주는가?
• RQ4 유리수 성장 성질은 히젠베르크 군 H(Z) × Z^d 와 거의 동형인 다른 비아벨 군으로 확장될 수 있는가?
• RQ5 어떤 조건에서 생성집합이 초월 성장을 유도하며, 이는 성장 함수의 체적 상수와 어떻게 관련되는가?

주요 결과

• 모든 유한 생성집합에 대해 히젠베르크 군의 성장이 유리수 성장임을 증명하여 오랫동안 미해결이었던 문제를 해결하였다.
• 어떤 단어 거리에 대해서든 군이 거의 볼록함을 증명하였으며, 이는 유계된 단어 거리 내의 원소들이 동일한 공 안에서 유계된 길이의 경로로 연결됨을 의미한다.
• 성장 함수는 최종적으로 쿼اسي다항식이며, 주기와 진동하는 계수는 생성집합의 기본 다각형 기하학과 Z² 내에서 생성하는 부분격자와 관련이 있다.
• 표준 생성집합에 대해 구형 성장 함수 σ(n)는 주기가 12인 쿼اسي다항식이며, 오직 상수항만 진동하며, 공 성장 함수 β(n) 역시 동일한 주기의 쿼اسي다항식이다.
• 공 성장 함수 β(n)의 최고차항 계수는 H(R) 내 해당 카르노-카라테오도리 공의 체적과 일치하며, 두 번째 계수는 '표면적' 항과 관련될 수 있다.
• 성장 함수 β(n)는 진정한 다항식으로부터 유계 거리 내에 있으며, 이는 군의 성장이 점근적으로 다항식이며 소규모 진동을 포함함을 나타낸다.