formula_1をシンプレクティック多様体とする。