[論文レビュー] Rational growth in the Heisenberg group

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

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.

研究の動機と目的

• 整数ヘイゼンベルク群がすべての有限生成集合に対して有理的成長を示すかどうかという未解決問題を解明すること。
• 任意の語距離においてヘイゼンベルク群のほぼ凸性を確立すること。
• 離散的語距離とリー群上の連続的カーノン＝カルテートォリー・フィンスラ計量との間に幾何的枠組みを提供すること。
• 平面への射影と形状分類を用いて、ヘイゼンベルク群における測地線の組合せ的構造を同定すること。
• 双曲的および準アーベル群の既知のケースを超えて、べき零群における成長関数の理解を拡張すること。

提案手法

• パンスの定理を用いて、H(Z) 上の語距離を H(R) 上の左不変カーノン＝カルテートォリー・フィンスラ計量と関連づける。
• R² への射影に基づく「形状」による語測地線の分類により、平面幾何学的解析を可能にする。
• 経路の幾何学的制御に基づき、すべての群元を表す非正則言語を語距離で構成する。
• 計量比較技法を応用して、語距離と cc 距離の差を一様定数 K で抑え込む。
• cc 距離における連続的ほぼ凸性を用いて、離散的設定における近接群元の間で有界長さの語パスを構成する。
• 基本領域の有界直径を活用し、連続的経路を整数格子点に誤差を制御して丸める。

実験結果

リサーチクエスチョン

• RQ1 ヘイゼンベルク群はすべての有限生成集合に対して有理的成長を示すか？
• RQ2 ヘイゼンベルク群は任意の語距離に関してほぼ凸か？
• RQ3 生成集合の選択が、準多項式成長の周期および係数にどのように影響するか？
• RQ4 有理的成長性は、H(Z) × Z^d にほぼ同型な他のべき零群へ拡張可能か？
• RQ5 生成集合のどのような条件が超越的成長を引き起こし、これは成長関数における体積定数とどのように関係するか？

主な発見

• すべての有限生成集合に対してヘイゼンベルク群は有理的成長を示し、長年の未解決問題が解決された。
• 任意の語距離において群はほぼ凸であり、これは、有界語距離内にある元が、同じ球内に一様有界長さのパスで接続可能であることを意味する。
• 成長関数は最終的に準多項式的であり、周期と振動する係数は生成集合の基本多角形の幾何構造および Z² 内の部分格子と関係している。
• 標準生成集合の場合、球的成長関数 σ(n) は周期12の準多項式的関数であり、定数項のみが振動し、球成長関数 β(n) は同じ周期の準多項式的関数である。
• 球成長関数 β(n) の最高次係数は、H(R) 内の対応するカーノン＝カルテートォリー球の体積に等しく、2番目の係数は「表面積」項に対応する可能性がある。
• 成長関数 β(n) は真の多項式から有界距離内にあり、群の成長が漸近的に多項式的で、小さな振動を伴うことを示している。