タングルのソースを表示

[[数学]]の分野において、'''タングル''' (''tangle'') は[[結び目理論|結び目]]の一部分を切り取って得られるような幾何的対象のことである。通常次の二種類のいずれかを指す。
* ある 2次元球面で切り取って得られるもの。以下の[[タングル#タングル(1)|タングル(1)]]。
* 平行な二つの平面で切り取って得られるもの。以下の[[タングル#タングル(2)|タングル(2)]]。
これらは共に「境界付き 3次元多様体に埋め込まれた、 1次元の(境界付き)多様体」とみなせるが、これら二種類のタングル(もしくはその一般化)が統一的に扱われることはないようである。

== タングル(1) ==
''n''-'''タングル''' (''n-tangle'')とは、交わらない ''n'' 本の(両端のある)曲線の 3次元球への適切な埋め込みのことである。各曲線の各端点は 3次元球の境界にあらかじめ指定された ''2n'' 個の点のいずれかに写されなければならない。二つの ''n'' -タングルは、片方のタングルを他方に移す、境界を固定する全同位が存在するときに同値であるとする。タングルの理論は[[結び目理論]]の類似としてとらえられるが、閉曲線の代わりに端点が固定された紐を扱うというところが異なっている。

タングルは[[ジョン・ホートン・コンウェイ]]によって導入された。

=== タングルの表示 ===
[[一般性を失わない|一般性を失うことなしに]]、(タングルの端点が写る)3次元球の境界上の指定された点はある大円上にあると仮定してよい。タングルは、この大円を境界とする平らな円盤への射影が一般的な位置となるように変形することができ、射影図に交差の上下の情報を加えたものを([[結び目理論#結び目の表示|結び目の正則表示]]のように) '''(正則)表示'''と呼ぶ。

タングル(の表示)は結び目や絡み目の表示の中にしばしば現れ、絡み目を構成するブロックとして使われることもある。(例：モンテシーノス絡み目)

=== 有理タングルと代数的タングル ===
'''有理タングル'''(''rational tangle'')とは 2-タングルであって、自明な 2-タングル(交差を持たないタングル)と同相なもののことを言う。通常、その四つの端点は[[方位#概説|方位]]からの類推で NE(北東)、NW(北西)、SW(南西)、SE(南東) と呼ばれる。

有理タングルの任意の表示をとると、それはとても複雑に見えるが、実は単純な表示がある。まず水平[resp. 垂直]な二本の曲線を持つタングルの表示を考え、それに「ひねり」を追加する。即ち NE と SE [resp. SW と SE] の端点を入れ替えることによって交差を一つ追加する。これらの操作を繰り返すことによって有理タングルの表示が得られる。ちなみに上記の操作の際、ひねりを加えた端点に近いところだけが変化し、それ以外の部分は変化しないとしてよい。

[[画像:RationalTangle_2_1_3.svg|300px|right]]
有理タングルのこのような表示を、端点同士を連続してひねった数の組として記述することができる。例えば (-2,1,3) という数の組は、水平な二本の曲線からなるタングル表示から始めて、まず NE/SE の端点を 2回ひねり、次に SW/SE の端点を 1回ひねり、そして NE/SE の端点を 3回、前回とは逆方向にひねってできる表示を表している。数の組が 0 から始まっている場合、二本の垂直な曲線からなるタングルから始めることにする。すると水平な二本の曲線からなるタングル表示は (0) と表せるが、垂直な二本の曲線からなるタングル表示は (0,0) となる。この約束は「正」「負」のひねりを記述するのに必要だ。<!-- 原文は A convention is needed to describe a "positive" or "negative" twist. --> しばしばここまで説明してきたような数の組を指して、「有理タングル」と呼ぶこともある。


有理タングル <math>(a_0, a_1, a_2, \dots )</math> に対する'''分数'''とは <math>[a_0, a_1, a_2, \dots ]</math> によって与えられる[[連分数]]である。(0,0) に対応する分数は <math>\infty</math> とする。コンウェイは、有理タングルに対する分数は矛盾なく定義され、有理タングルを(タングルの同値による差を除いて)完全に決定することを証明した。また、彼は[[アレクサンダー多項式]]を用いて任意のタングルに対して分数を定義した。

タングルの間には和、積、逆数をとる「数論的な」操作がある。

有理タングルの '''分子閉包''' とはタングルの「北側の」端点どうしと「南側の」端点どうしを結んで得られる絡み目のことである。また '''分母閉包''' とは同様に「東側の」端点と「西側の」端点を結んで得られる。[[有理絡み目]] はこれらのような閉包として表すことのできる絡み目として定義される。

=== コンウェイ表示 ===
コンウェイがタングルを研究した一つの動機は、結び目を記述するのに、(従来の表による羅列ではなく)系統的な手法を与えるということだった。

=== 応用 ===
タングルは[[DNAトポロジー]]の研究に役立つことが示されている。与えられた[[酵素]]の作用はタングル理論を使って解析されている。

== タングル(2) ==
[[コンパクト空間|コンパクト]]で向き付けられた 1次元[[多様体]](閉じた成分があってもよいし、空集合であってもよい)の <math>\mathbb R^2\times I</math> への適切な埋め込みを'''タングル'''(''tangle'')と呼ぶ。境界を固定する全同位で移りあうタングルは同値であるとする。

''T'' をタングル <math>\phi:X\to \mathbb R^2\times I</math> とする。''T'' の下側の境界 <math>\phi(X)\cap(\mathbb R^2\times \{0\})</math>、上側の境界 <math>\phi(X)\cap(\mathbb R^2\times \{1\})</math> はそれぞれ一つの直線上に等間隔で並んでいると仮定し、特にこの項では ''y'' 軸に平行な直線 <math>\{(0,t,0)|t\ge 0\}</math> と <math>\{(0,t,1)|t\ge 0\}</math> の上にあるとする。また、上下の境界がそれぞれ ''m'' 個、''n'' 個の点からなるとき、特に ''T'' を ''(m,n)'' タングルと呼ぶ。
例えば[[結び目理論|結び目]]や絡み目は ''(0,0)'' タングルであり、''n''-[[組み紐 (数学)|ブレイド]]は ''(n,n)'' タングルである。

=== タングル圏 ===
''(l,m)'' タングル <math>S</math> と ''(n,l)'' タングル <math>T</math> について、<math>S</math> の上側の境界と <math>T</math> の下側の境界が(向きもこめて)同じであるとき、<math>T</math> を <math>S</math> の上に積むことによって合成 <math>TS</math> を定義する。また、''(m,n)'' タングル <math>P</math> と ''(k,l)'' タングル <math>Q</math> について、<math>P</math> と <math>Q</math> を横に並べておくことでテンソル積 <math>P\otimes Q</math>を定義する。 <math>P\otimes Q</math> は ''(m+k,n+l)'' タングルとなる。

これらの二種類の積はタングルの集合にモノイダル[[圏 (数学)|圏]]の構造を定める('''タングル圏'''と呼ぶ)。タングル圏の対象は <math>\{\uparrow, \downarrow\}</math> を文字集合とする語であり、対象 ''v'' から ''w'' への射は下側 [resp. 上側] の境界の向きの並びが ''v'' [resp. ''w''] と一致するタングルである。合成とテンソル積は上記のように定める。

タングル圏は主に[[多項式不変量]]を定義する際に現れる。典型的な多項式不変量は、タングルに対して量子群などの代数系のテンソル表現のインタートワイナーを対応させて得られるが、これはタングル圏から使用した代数系の表現の圏への関手となっている。

=== 表示 ===
''(スタブ)''
* 正則表示
* 生成元と関係式
* 高さ関数を意識しなければならない

== 2重性並行表示（4種類のタングルによる結び目または絡み目の特殊な正則表示） ==
4種類の異なるタングルのみをそれぞれ有限個用いて，
すべての結び目および絡み目の正則表示を記述する方法が2001年以降の研究で報告されている<ref name="knot-2005">長島 隆廣［結び目と絡み目の正則表示に関する規則的な描画法］日本数学協会論文集・別冊数学文化，2005年12月発行，日本数学協会，pp.60-70.【researchmap】で公開, 全編PDF: https://researchmap.jp/T_Nagashima または, https://researchmap.jp/multidatabases/multidatabase_contents/detail/263160/c1f5868cc1bf2c390ea0a94a9cd44476?frame_id=539358</ref> <ref name="NDLknot-2005nsk">学術論文誌「日本数学協会論文集」別冊数学文化，2005年，日本数学協会編／全国書誌番号：01014271， 書誌ID：000008409476， 請求記号：Z74-F232， NDLC：ZM31， 言語：日本語， 国立国会図書館蔵．</ref>。

この方法による正則表示を'''2重性並行表示'''（にじゅうせいへいこうひょうじ）と呼ぶ<ref name="knot-2005"/><ref name="NDLknot-2005nsk"/>。
この'''2重性並行表示'''は，'''3-正則平面グラフ'''と対応が取れるため，
すべての結び目および絡み目が，'''重み付き3-正則平面グラフ'''で表現できることになる。

以下に4種類の基本的なタングルとして，
<math>\alpha</math>-タングル<ref name="NDLknot-2005nsk"/>，
<math>\beta</math>-タングル<ref name="NDLknot-2005nsk"/>，
<math>\gamma</math>-タングル<ref name="NDLknot-2005nsk"/>，
<math>\delta</math>-タングル<ref name="NDLknot-2005nsk"/>
を図示する。

{| class="wikitable" style="margin:0 auto"
|-
|[[画像:Alpha-tangle.gif|α-タングル|center|80px]]
|[[画像:Beta-tangle.gif|β-タングル|center|80px]]
|[[画像:Gamma-tangle.gif|γ-タングル|center|80px]]
|[[画像:Delta-tangle.gif|δ-タングル|center|80px]]
|[[画像:GammaPrime-tangle.gif|γ'-タングル|center|60px]]
|-
|<math>\alpha</math>-タングル(<small>アルファ-タングル</small>)
|<math>\beta</math>-タングル(<small>ベータ-タングル</small>)
|<math>\gamma</math>-タングル(<small>ガンマ-タングル</small>)
|<math>\delta</math>-タングル(<small>デルタ-タングル)</small>)
|<math>\gamma'</math>-タングル
|}
 <!--  OK!!  (コメント) --> 

なお，上の図で右端の，<math>\gamma'</math>-タングルは，<math>\gamma</math>-タングルを変形したタングルである。

次に，一例として'''2重性並行表示'''と'''3-正則平面グラフ'''の対応を図解する。
2重性並行表示には'''結び目8<sub>4</sub>'''と'''結び目8<sub>20</sub>'''を用いる<ref name="knot-2005"/>。

{| class="wikitable" style="margin:0 auto"
|-
|[[画像:Knot-804.gif|結び目8<sub>4</sub>の2重性並行表示|center|60px]]
|[[画像:G-Knot-804.gif|結び目8<sub>4</sub>の重み付き3-正則平面グラフ|center|80px]]
|[[画像:Knot-820.gif|結び目8<sub>20</sub>の2重性並行表示|center|100px]]
|[[画像:G-Knot-820.gif|結び目8<sub>20</sub>の重み付き3-正則平面グラフ|center|80px]]
|-
|<small>結び目'''8<sub>4</sub>'''の2重性並行表示</small>
|<small>結び目'''8<sub>4</sub>'''の重み付き3-正則平面グラフ</small>
|<small>結び目'''8<sub>20</sub>'''の2重性並行表示</small>
|<small>結び目'''8<sub>20</sub>'''の重み付き3-正則平面グラフ</small>
|}

なお，重み付き3-正則平面グラフとしての<math>\alpha</math>-タングル，<math>\beta</math>-タングル，<math>\gamma</math>-タングル，
<math>\delta</math>-タングルを以下に図解する。
{| class="wikitable" style="margin:0 auto"
|-
| [[画像:alpha-G.gif|αタングルのグラフ|center|80px]]
| [[画像:beta-G.gif|βタングルのグラフ|center|80px]]
| [[画像:gamma-G.gif|γタングルのグラフ|center|80px]]||
[[画像:delta-G.gif|δタングルのグラフ|center|80px]]
|-
|<math>\alpha</math>-タングルのグラフ(辺)||<math>\beta</math>-タングルのグラフ(辺)||<math>\gamma</math>-タングルのグラフ(辺)||<math>\delta</math>-タングルのグラフ(頂点)
|}

3交点から11交点までの結び目および絡み目の'''2重性並行表示'''と'''重み付き3-正則平面グラフ'''が，
[http://katlas.math.toronto.edu/wiki/3_1 The Knot Atlas]に掲載されている。
また，別の報告で，'''3-正則平面グラフ'''の'''全域木'''を用いて結び目を構成する方法の記述もある<ref name="knot-20062">長島 隆廣『3-正則平面グラフを用いた結び目の構成に関する定理』日本数学協会論文集・第2号 (別冊数学文化)，2006年12月発行，日本数学協会，pp.52-79.【researchmap】で公開，論文の全編PDF: https://researchmap.jp/T_Nagashima または, https://researchmap.jp/multidatabases/multidatabase_contents/detail/263160/b962b603f071c834290b5e34bfdd70cd?frame_id=539358</ref>。

== 脚注 ==
<references />

== 参考文献 ==
* C. C. アダムス著 金信泰造訳 『結び目の数学』 培風館 [[1998年]] ISBN 4-563-00254-2 (Colin C. Adams, ''The Knot Book'', American Mathematical Society, ISBN 0-8050-7380-9).
* L. H. カウフマン著 鈴木 晋一、河内 明夫監訳 『結び目の数学と物理』 培風舘 [[1995年]] ISBN 4-563-00237-2 C3041 P4429E (L. H. Kauffman, ''Knots and Physics'', World Scientific, ISBN 978-9810241124).
* 鎌田聖一 『曲面結び目理論』"シュプリンガー現代数学シリーズ・第16巻" [[丸善出版]]、[[2012年]] (ISBN 978-4-621-08509-7).

== 関連項目 ==
* [[結び目理論]]
{{DEFAULTSORT:たんくる}}
[[Category:結び目理論]]
[[Category:数学に関する記事]]