| 研究課題/領域番号 |
19K14523
|
|---|
| 研究種目 |
若手研究
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
小区分11020:幾何学関連
|
|---|
| 研究機関 | 東京工業大学 |
|---|
研究代表者 |
鈴木 咲衣 東京工業大学, 情報理工学院, 准教授 (40636263)
|
|---|
| 研究期間 (年度) |
2019-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2022年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2021年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2020年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2019年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
|
|---|
| キーワード | quantum invariants / knots and links / framed 3-manifolds / ideal triangulations / universal invariant / ideal triangulation |
|---|
| 研究開始時の研究の概要 |
1984年のジョーンズ多項式の発見を転機として，３次元位相幾何学は大きく発展し，量子不変量に関連した様々な方向への研究が現在活発に行われている．量子不変量は数理物理を背景に持つ結び目や3 次元多様体の新しい研究手法であり，古典的なトポロジーの研究との関係が明らかではない．本研究では，結び目や3次元多様体の量子不変量を古典的なトポロジーの道具である単体分割を用いて理解することで，低次元位相幾何学を多角的に発展させる．
|
| 研究実績の概要 |
村松滉平氏(みずほリサーチ&テクノロジーズ)、田口光希氏（東京工業大学）との共同研究により、Benedetti-Petronioによるcombed 3次元多様体と3次元多様体のnormal o-graphによる組み合わせ的表示を改良した。normal o-graphの同値関係には、branchingを考慮すると16種類のMatveev-Piergallini moveが現れるが、それが主要なMatveev-Piergallini moveひとつとpure sliding moveの列で得られることを示した。さらにこの結果をframed 3次元多様体とspin 3次元多様体に対して拡張した。
鈴木拓己氏（東京工業大学） との共同研究により、折れ線結び目のパーシステントホモロジーを定義し基本的な性質を調べた。正円上に頂点をもつ多角形に対してはそのパーシステントホモロジーの挙動を完全に決定した。三葉結び目と８の字結び目に対してはそのパーシステントホモロジーのパーシステント図がそれらの結び目の幾何学的対称性を反映していることを観察した。
R. Kashaev、E. Nakazawa、S. Garoufalidisとの共同研究により、Benedetti-Petronioによる3次元多様体の表示に現れるCP moveがより簡単なmoveの列として表されることを示した。この簡単なmoveはquantum Teichmuller理論において現れるmoveであり、その理論がトポロジカルな不変量になることを示す際に使われる。
結び目の補空間のcanonicalなframingを構成した。このframingはある観点から量子不変量と相性の良いもので、このframingを用いて量子不変量の幾何学的性質を調べることができる。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
1: 当初の計画以上に進展している
理由
村松滉平氏(みずほリサーチ&テクノロジーズ)、田口光希氏（東京工業大学）との共同研究では考えていた以上の良い結果が複数得られた。この研究による3次元多様体の表示により、量子不変量の幾何学的性質を調べる土台が強固になった。
鈴木拓己氏（東京工業大学） との共同研究では結び目のパーシステントホモロジーという新しい研究を立ち上げることができた。コンピューターによる計算プログラムもできて、実験環境が整った。
R. Kashaev、E. Nakazawa、S. Garoufalidisとの共同研究でも思った結果がすぐに得られた。これを使ってquantum Teichmulle理論を調べることができる。
結び目の補空間のframingは量子不変量の幾何学的理解が難しかった原因のひとつとも言えて、それを特定できたことは大きい進展だった。このframingを考慮すると量子不変量の幾何学的性質の研究を進めることができる。
|
| 今後の研究の推進方策 |
R4年度までに寺嶋郁二氏（東北大学）とSerban Mihalache氏（東北大学）との共同研究によりframed3次元多様体の不変量を構成した． 結び目の補空間にそのcanonicalなframingを持った3次元多様体として上記の不変量の構成を適用し、結び目の普遍不変量を理想単体分割を用いて再構成することができる。この不変量は1成分の結び目の場合にはハイゼ ンベルグダブルに値を持つ不変量である。結び目の普遍不変量から、任意のReshetkhin-Turaev不変量が得られる。Reshetkhin-Turaev不変量はリボンホップ代数 の有限次元表現を指定することで得られる基礎体に値を持つ不変量である。この表現をハイゼンベルグダブルの中で調べることで、Reshetkhin-Turaev不変量を 理想単体分割から再構成することができると期待できる。これはJones多項式を補空間から構成することも含み、大きな未解決問題である。また、結び目の不変量からハイゼンベルグダブルのカノニカルな単純加群を用いてトレースを取ると、基礎体に値をもつ不変量ができる。この不変量はWitten-Reshetkhin-Turaev不 変量となることが予想され、予想が正しければ理想単体分割を用いたWitten-Reshetkhin-Turaev不変量の再構成となる。Witten-Reshetkhin-Turaev不変量の絶対 値は単体分割を用いたTuraev-Viro不変量から得られるが、Witten-Reshetkhin-Turaev不変量そのものを理想単体分割から得る方法は知られていない。また Turaev-Viro不変量に用いられる6j記号とハイゼンベルグダブルのカノニカル元を関係付けることでステイト和不変量との関係を明らかにすることも大切な課題である。これらの課題にひとつづつ取り組み解決していくことで本研究は大きく推進すると期待する。
|
