[論文レビュー] Faithfulness of the Lawrence representation of braid groups

Hao Zheng|ArXiv.org|Sep 4, 2005

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

ひとこと要約

この論文は、すべての $m \geq 2$ に対して、ブレード群 $B_n$ の Lawrence 表現 $L_{n,m}$ の忠実性を証明する。これは Lawrence-Krammer 表現の忠実性を一般化するものであり、反射的表現と、ヌードルとマルチフォークの間のペアリングを用いて、$L_{n,m}$ の核に属する任意のブレードが自明でなければならないことを示している。これにより、穴あき円板における位相的最小性とねじれ数の議論によって忠実性が確立される。

ABSTRACT

The Lawrence representation $L_{n,m}$ is a family of homological representation of the braid group $B_n$, which specializes to the reduced Burau and the Lawrence-Krammer representation when $m$ is 1 and 2. In this article we show that the Lawrence representation is faithful for $m \geq 2$.

研究の動機と目的

• すべての $m \geq 2$ に対して Lawrence 表現 $L_{n,m}$ の忠実性を確立すること。これは、$m=2$ のときの Lawrence-Krammer 表現の忠実性および $m=1$ のときの簡約 Burau 表現の忠実性を拡張する。
• すべての $m \geq 2$ に対して $L_{n,m}$ の忠実性が成り立つことを証明することで、$L_{n,m}$ の忠実性に関する未解決のケースを解消する。残りの唯一の不確実性は $L_{4,1}$ である。
• Bigelow による Lawrence-Krammer 表現の忠実性証明を、反射的モジュール構造と位相的ペアリングを用いて、Lawrence 表現の全系列に一般化すること。

提案手法

• 反射的表現 $\xi_{n,m}$ を持つ自由 $\mathbb{Z}B_{n,m}$-加群 $M_{n,m}$ 上で定義される Lawrence 表現 $L_{n,m}$ を、$\rho_{n,m} \circ \xi_{n,m}$ の合成として定義する。ここで $\rho_{n,m}$ は、特定の生成元に $1$、$q$、$t$ を割り当てる環準同型である。
• ヌードル $N$ とマルチフォーク $\phi^{(m)}$ の間のペアリング $\langle N, \phi^{(m)} \rangle_\rho$ を導入し、このペアリングは表現の作用を線形汎関数として符号化する。
• 最小交差性の議論を用いる：あるブレード $\beta$ がすべてのこのようなペアリングに対して自明に作用すると仮定し、そのような $\beta$ が互いに素なマルチフォークの歯の辺を保存する必要があることを示す。これにより $\beta$ は全ねじれ $\Delta^2$ のべき乗でなければならない。
• ねじれ数の議論を適用して、$\beta$ がペアリングを保存し、交差数を最小化しているならば、$\beta$ は歯の辺上で自明に作用する必要があり、その結果 $\beta = 1$ であることを示す。
• $L_{n,m}$ における全ねじれ $\Delta^2$ の作用を計算し、$L_{n,m}(\Delta^2) = q^{mn}t^{m(m-1)}\text{id}$ であることを示す。したがって、$\beta$ が恒等写像として作用するならば、$\beta$ は自明でなければならない。
• Jordan の曲線定理と無限周期被覆への lifts を用いて、非自明な交差が存在すれば、それは二角形を意味し、交差の最小性に反することを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての $m \geq 2$ に対して Lawrence 表現 $L_{n,m}$ は忠実か？
• RQ2 Bigelow による Lawrence-Krammer 表現（$m=2$）の忠実性証明は、Lawrence 表現の全系列へと拡張可能か？
• RQ3 $L_{n,m}$ の忠実性状態は $m=1$ のときどうか？（$n \geq 5$ のとき非忠実であることが知られており、$n=4$ のとき未解決。）
• RQ4 ヌードルとマルチフォークの間のペアリングは、Lawrence 表現の線形構造とどのように関係するか？
• RQ5 歯の辺とヌードルの間の交差の最小性を用いて、核の自明性を導くことは可能か？

主な発見

• すべての $m \geq 2$ に対して Lawrence 表現 $L_{n,m}$ は忠実である。これは、核に属する任意のブレードが自明でなければならないことを示すことによって証明された。
• Lawrence-Krammer 表現（$m=2$）の忠実性が、$m \geq 2$ の全系列 $L_{n,m}$ へと一般化され、ブレード群の線形性に関する重要な未解決問題が解決された。
• まだ解決されていない $L_{n,m}$ の忠実性のケースは $L_{4,1}$ のみであり、$n \geq 5$ のとき簡約 Burau 表現は非忠実であることが知られており、$n=4$ のときの状況は未解決である。
• $L_{n,m}$ の核は自明である：$L_{n,m}(\beta) = \text{id}$ を満たす任意のブレード $\beta$ は、最小交差性とねじれ数の議論により、恒等写像でなければならない。
• 全ねじれ $\Delta^2$ は $L_{n,m}$ において、$q^{mn}t^{m(m-1)}$ 倍のスカラー乗法として作用する。したがって、その作用は $q=t=1$ でない限り非自明であり、代数的独立性によりその場合が除外される。
• ペアリング $\langle N, \phi^{(m)} \rangle_\rho$ は、ブレードが最小交差パターンを保存する場合にのみ $B_n$ の作用に関して不変である。この条件は、ブレードが自明でなければならないことを強制する。