ブレイド群は任意の群の直積へHurwitz作用という自然な作用を与える。ブレイド群の直積をHurwitz作用で軌道分解することにより,ブレイド状曲面という4次元球体内の曲面を完全に分類できることが知られている。ブレイド群から準同型をもつ群を考えるとき,その像の直積におけるHurwitz同値不変量はブレイド状曲面の不変量をもたらす。当該年度の前年,久野氏との共同研究により,ブレイド群からの第1Johnson準同型を,ブレイドのダイアグラムを用いて記述する方法を得た。その結果,ブレイド状曲面の自由化群に値をとる不変量がもたらされた。当該年度はブレイド群からの第2 Johnson準同型についても,ブレイドのダイアグラムを用いて記述する方法を得た。この結果をブレイド状曲面の不変量の構成へ応用することは今後の課題である。 また,穴あき円板内において2つの穴を結ぶ自己交差をもたない曲線の自然な同値類をコードとよぶ。コードの分類は,単純なブレイド状曲面の不変量の構成へ応用できることが知られている。当該年度は,コードの「ダイアグラム」を定義した。これは,コードを,多角形内の何本かの互いに交わらない線分で表したものである。これによって,コード全体の集合を,円板内の穴の数だけ分の非負整数の組(それぞれの穴の上側を何回通るかを表した組)を基準に,効率よく求めることができると期待できる。実際,ダイアグラムを用いることによって,3点の穴があいた円板におけるコードは,3つの非負整数の組により高々1つに決まることを示し,さらにコードを表すための3つの非負整数の間に成り立つ必要十分条件も求めることができた。また,4つの非負整数を任意に固定したとき,それにより決まるコードは高々2つであることも示すことができた。
|