群作用がある場合のラグランジュ部分多様体のフレアー理論について，何が正しそうか何が書かれていて，どこまで証明されているか何に役立ちそうかなどについて，私の理解しているところをお話ししてみたい．