diffeomorphisms"講演概要:シンプレクティック多様体が与えられると、その上の時間に依存する関数は微分同相写像を生成する。この微分同相写像の集合をハミルトン微分同相群という。この集合の内、時間に依存しない関数によって生成された微分同相はautonomouと呼ばれる。ハミルトン微分同相写像群の中で「非常に小さい部分集合である」という事を証明した。結果を一般の閉シンプレクティック多様体に一般化する方法を紹介します。