所員 -葉廣 和夫-

名前 葉廣 和夫 (Habiro, Kazuo)
准教授
E-Mail habiro (emailアドレスには@kurims.kyoto-u.ac.jp をつけてください)
研究内容 位相幾何学の研究
紹 介
 3次元トポロジーにおける代数的および圏論的な構造に興味を持ち研究している。Jones多項式やWitten-Reshetikhin-Turaev不変量などの量子不変量は,タングルの圏やコボルディズムの圏などから,ベクトル空間の圏や加群の圏など代数的に定義される圏への関手として構成される。このような関手を定義するには,量子群と呼ばれるHopf代数が用いられる。
 [1]では,3次元多様体と絡み目のクラスパーに沿った手術により生成される同値関係について研究した。クラスパーはHopf代数的な性質を満たすが,これは,円周を境界に持つ曲面を対象とし,コボルディズムを射とする圏におけるbraided Hopf代数構造(Crane-Yetter,Kerlerによる)と対応している。[3]においては,タングルの圏の部分圏でbraided Hopf代数の「作用」を許容するようなものと,その量子不変量への応用について考察した。また,[6]において,曲面を対象としラグランジアン同境を射とする圏において定義される関手として,Le-Murakami-Ohtsuki型の不変量を構成した。[7]において,この関手を曲面のホモロジーシリンダーのなす半群へ応用した。
 [5]において,すべての1の巾根における整係数ホモロジー3球面の$sl_2$ Witten-Reshetikhin-Turaev不変量を統一するような不変量を構成した。この不変量は[2]で考察した多項式環の完備化に値をとる。
 [8]において,量子群$U_q(sl_2)$の圏化においてリボン元に対応する複体を構成した。[10]では,$U_q(sl_2)$の圏化のトレース(0次Hochschildホモロジー群)について考察した。
 3次元多様体の量子不変量の研究において重要な役割を果たすKirbyの定理は,3次元球面内の2個の枠付き絡み目が同相な3次元多様体をDehn手術により与えるための必要十分条件を与える。この定理の一つの精密化として,[4]において整係数ホモロジー球面を考えるときには,絡み行列が対角行列である場合のみを考えれば十分であるということ(Hosteによる予想)を証明した。[9]では,3次元多様体の中のnull-homologousな枠付き絡み目に対するKirby calculusについて考察した。
  1. Claspers and finite type invariants of links, Geom. Topol., 4 (2000), 1-83.
  2. Cyclotomic completions of polynomial rings, Publ. RIMS Kyoto Univ., 40 (2004), 1127-1146.
  3. Bottom tangles and universal invariants, Alg. Geom. Topol., 6 (2006), 1113-1214.
  4. Refined Kirby calculus for integral homology spheres, Geom. Topol., 10 (2006), 1185-1217.
  5. A unified Witten-Reshetikhin-Turaev invariants for integral homology spheres, Invent. Math., 171 (2008), 1-81.
  6. A functorial LMO invariant for Lagrangian cobordisms, Geom. Topol., 12 (2008), 1091-1170. (with D. Cheptea and G. Massuyeau)
  7. Symplectic Jacobi diagrams and the Lie algebra of homology cylinders, J.Topology, 2 (2009), 527-569. (with G. Massuyeau)
  8. A categorification of the ribbon elements in quantum sl(2). Preprint. (with A. Beliakova)
  9. Kirby calculus for null-homologous framed links in 3-manifolds. Preprint. (with T. Widmer)
  10. Trace decategorification of categorified quantum sl(2). Preprint. (with A. Beliakova, A. D. Lauda and M. \v{Z}ivkovi\'{c})