本講演では,まず有向空間曲面に関するこれまでの成果を簡単に紹介する.続いて,これらの成果を向き付け不可能な空間曲面の区別にも使うため,その orientation double を3次元球面内の有向空間曲面として構成する.さらに,ある種の向き付け不可能な空間曲面について,それらの orientation double が有向空間曲面として同値であるとき,かつそのときに限り,もとの空間曲面も同値であることを示す.証明には,3次元多様体のホモロジーと切り貼りの議論を用いる.最後に,この方法を用いた例を紹介する.
本講演では、結び目を「太さをもつロープ」とみなし、その幾何学的複雑さを 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 という流れを中心に、できるだけ具体的な図を用いて解説する。
サイクル数、アミツールの定理、メビウス関数、辺行列、固有値と完全同次対称多項式
本研究は森藤孝之氏(慶應義塾大学)との共同研究です。