本講演では、結び目を「太さをもつロープ」とみなし、その幾何学的複雑さを ropelength
$\textrm{Rop}(\gamma)=\dfrac{\textrm{Len}(\gamma)}{\textrm{Thi}(\gamma)}$
によって測る。Ropelength に上限 $\Lambda$ を課すことにより、通常の Reidemeister graph に幾何学的 filtration を導入し、「有限な Reidemeister 情報は、ある有限の ropelength scale ですべて観測できるか」という問題を考える。
まず、Barbensi--Celoria による Reidemeister graph の有限局所的特徴付けと、有限部分グラフに対する有限可視性定理を組み合わせることにより、任意の結び目型がある有限 ropelength scale で認識可能であること
$L_{\textrm{char}}(K) < \infty$
を説明する。さらに、通常の Reidemeister graph では失われる結び目側の連結成分の情報を保持するために lifted Reidemeister graph を導入し、strict ropelength sublevel の連結成分を lifted graph から復元できること、さらにそれらの geometric merge scale も diagrammatic なデータから正確に回収できることを紹介する。
講演では技術的な解析の詳細には立ち入らず、thickness・ropelength の幾何学的意味から始め、Barbensi--Celoria の有限 certificate、有限可視性、有限認識、そして lifted graph による component persistence という流れを中心に、できるだけ具体的な図を用いて解説する。
サイクル数、アミツールの定理、メビウス関数、辺行列、固有値と完全同次対称多項式
本研究は森藤孝之氏(慶應義塾大学)との共同研究です。
今後の予定: 10月31日(土) 中村 一路氏, 11月28日(土) 松崎 尚作氏 (足利大学)