[論文レビュー] Delzant's T-invariant, one-relator groups and Kolmogorov complexity

Ilya Kapovich, Paul E. Schupp|arXiv (Cornell University)|May 25, 2003

Geometric and Algebraic Topology参考文献 10被引用数 2

ひとこと要約

本稿では、'ほとんどすべての'1関係関係群に対して、DelzantのT不変量—最小有限提示サイズを測るもの—が、定義関係の長さと漸近的に同等であることを確立している。一般的な1関係関係群の同型型剛性とKolmogorov-Chaitin複雑性を用いて、k生成子の1関係関係群で、巡回的に非縮退な関係の長さがnであるものの同型型クラスの数についての漸近公式が導かれる：$ I_{k,n} \sim \frac{(2k-1)^n}{nk!2^{k+1}} $。

ABSTRACT

We prove that ``almost generically'' for a one-relator group Delzant's $T$-invariant (which measures the smallest size of a finite presentation for a group) is comparable in magnitude with the length of the defining relator. The proof relies on our previous results regarding isomorphism rigidity of generic one-relator groups and on the methods of the theory of Kolmogorov-Chaitin complexity. We also give a precise asymptotic estimate (when $k$ is fixed and $n$ goes to infinity) for the number $I_{k,n}$ of isomorphism classes of $k$-generator one-relator groups with a cyclically reduced defining relator of length $n$: \[ I_{k,n}\sim \frac{(2k-1)^n}{nk!2^{k+1}}. \] Here $f(n)\sim g(n)$ means that $\lim_{n o\infty} f(n)/g(n)=1$.

研究の動機と目的

• k生成子の1関係関係群で、巡回的に非縮退な関係の長さがnであるものの同型型クラスの漸近的成長率を特定すること。
• 一般の1関係関係群におけるDelzantのT不変量の振る舞いを調査すること。
• ほとんどすべての1関係関係群において、T不変量と定義関係の長さとの間の数量的関係を確立すること。
• Kolmogorov-Chaitin複雑性の手法を1関係関係群の群論的問題に応用すること。

提案手法

• 一般の1関係関係群の同型型剛性の結果を活用して、構造的解析を簡略化する。
• Kolmogorov-Chaitin複雑性の技術を用いて、異なる提示の数を上限付ける。
• 漸近的数え上げを用いて、1関係関係群の同型型クラスの数を推定する。
• 組合せ論的および複雑性理論的議論を通じて、漸近公式 $ I_{k,n} \sim \frac{(2k-1)^n}{nk!2^{k+1}} $ を導出する。
• 一般の1関係関係群における最小提示サイズと関連付けて、T不変量を分析する。
• T不変量が一般には定義関係の長さと同程度のオーダーで増大することを確立する。

実験結果

リサーチクエスチョン

• RQ1 k生成子の1関係関係群で、巡回的に非縮退な関係の長さがnであるものの同型型クラスの漸近的数は何か？
• RQ2 一般の1関係関係群において、DelzantのT不変量は定義関係の長さに対してどのようにスケーリングするか？
• RQ3 Kolmogorov-Chaitin複雑性は、1関係関係群における同型型の分析にどの程度応用可能か？
• RQ4 1関係関係群に、そのT不変量が一般の場合に予測可能であるような構造的制約はあるか？
• RQ5 kを固定したままnが無限大に近づく際、$ I_{k,n} $ の正確な漸近的成長率は何か？

主な発見

• k生成子の1関係関係群で、巡回的に非縮退な関係の長さがnであるものの同型型クラスの数は、$ I_{k,n} \sim \frac{(2k-1)^n}{nk!2^{k+1}} $ を満たす。n → ∞ のとき。
• 'ほとんどすべての'1関係関係群において、DelzantのT不変量は定義関係の長さと漸近的に同等である。
• 漸近公式 $ I_{k,n} $ は、同型型剛性とKolmogorov-Chaitin複雑性の手法を用いて導出された。
• 一般の場合、T不変量は関係の長さに比例して増大し、最小提示複雑性が関係の長さと密接に関連していることを示している。
• この結果は、一般の1関係関係群の同型型に強い構造的規則性があることを確認している。
• 解析により、異なる同型型の数はnに関して指数関数的に増大するが、$ nk!2^{k+1} $ の要因によって抑制されていることが示された。