[論文レビュー] The action dimension of Artin groups

Giang Le|arXiv (Cornell University)|Aug 29, 2016

Geometric and Algebraic Topology参考文献 12被引用数 3

ひとこと要約

本稿は、$K(/pi,1)$-予想と自明な上部コホモロジー $H^n(L,\mathbb{Z})=0$ の下で、$n$ 次元単体複体である神経 $L$ を持つアーティン群の作用次元に対する上界 $2n+1$ を確立する。この結果は、poset of groups と厚化された双対錐を用いた新しい構成法により、右側アーティン群および球面型アーティン群の既知の結果を一般化した、次元 $2n+1$ のアスpherical多様体の構成によって得られる。

ABSTRACT

The \emph{action dimension} of a discrete group $G$ is the minimum dimension of a contractible manifold, which admits a proper $G$-action. In this paper, we study the action dimension of general Artin groups. The main result is that the action dimension of an Artin group with the nerve $L$ of dimension $n$ for $n e 2$ is less than or equal to $(2n + 1)$ if the Artin group satisfies the $K(π, 1)$-Conjecture and the top cohomology group of $L$ with $\mathbb{Z}$-coefficients is trivial. For $n = 2$, we need one more condition on $L$ to get the same inequality; that is the fundamental group of $L$ is generated by $r$ elements where $r$ is the rank of $H_1(L, \mathbb{Z})$.

研究の動機と目的

• 一般アーティン群の作用次元を特定すること、特に $K(\pi,1)$-予想を満たす群に対して。
• ブraid群および右側アーティン群の作用次元に関する既知の結果を、より広いクラスのアーティン群へと拡張すること。
• 幾何学的・位相的構成法を用いて、作用次元に対する鋭い上界を確立すること。
• 球面的部分群を含むアーティン群の作用次元を、多様体実現法とposet群技術を組み合わせることで解明すること。

提案手法

• 神経 $L$ のバリセントリック分割上の群のposetを用いて、次元 $2n+1$ のアスpherical多様体を構成する。
• $L$ の各単体に対応するアスpherical多様体を、$i$ 次元単体に対して次元 $2i+1$ となるように実現する。
• 境界に跨る局所多様体 $M_\sigma$ の貼り合わせに、厚化された双対錐 $\text{Th}D_\sigma$ を用い、多様体構造を保つ。
• 貼り合わせがposet構造を尊重し、不交な部分多様体埋め込みとcodimension-0部分多様体の整合性により、グローバルな多様体が得られることを保証する。
• $K(\pi,1)$-予想を用いて、構成された多様体の普遍被覆が収縮可能であることを保証する。
• ハーフリガーの結果を応用し、結果として得られる多様体がアスphericalであり、適切な群作用を許容することを確認する。

実験結果

リサーチクエスチョン

• RQ1 神経 $L$ が次元 $n \neq 2$ で、$K(\pi,1)$-予想を満たし、上部コホモロジー $H^n(L,\mathbb{Z}) = 0$ であるようなアーティン群の作用次元は何か？
• RQ2 $n=2$ のとき、作用次元はどのように変化し、同じ上界を維持するために $\pi_1(L)$ にどのような追加条件が必要か？
• RQ3 アスpherical多様体の幾何的構成法を用いて、アーティン群の作用次元を $2n+1$ で上から抑えることができるか？
• RQ4 どのような条件下で、アーティン群の作用次元が $2n+1$ に等しくなるか、特に同じ次元の球面的部分群を含む場合に注目する。
• RQ5 最小の可能な次元を達成する、アーティン群を実現する一様なアスpherical多様体の構成法は存在するか？

主な発見

• 神経 $L$ が次元 $n \neq 2$ で、$A_L$ が $K(\pi,1)$-予想を満たし、$H^n(L,\mathbb{Z}) = 0$ である場合、アーティン群の作用次元は $2n+1$ 以下である。
• $n=2$ の場合、$\pi_1(L)$ が $r$ 個の生成元で生成され、$r = \text{rk}(H_1(L,\mathbb{Z}))$ である限り、同じ上界が成り立つ。
• この構成により、次元 $2n+1$ のグローバルなアスpherical多様体が得られ、アーティン群 $A_L$ の適切な作用を許容する。これにより上界が証明される。
• 次元 $n$ の神経をもつ非可約球面的アーティン群の作用次元は正確に $2n+1$ であり、このような部分群を含む任意のアーティン群にもこの値が引き継がれる。
• この方法は、右側アーティン群やブraid群に関する既存の結果を一般化し、より広いクラスのアーティン群への多様体構成を拡張する。
• 主な技術的革新は、局所的パーツ間の一貫性のある貼り合わせと多様体構造の維持を保証するため、poset of groups における厚化された双対錐の使用にある。