宮脇型リフトと呼ばれる
高次の代数群に正則尖点形式を構成する方法がある。
構成にはある形式の非消滅性が仮定されているが
ある特別な場合においてはこの非消滅性が成立することを
種々の設定で説明する。

（注：システムの関係で時間の表示が14:45-15:45となっておりますが、
　談話会の講演は14:40-15:40を予定しております。ご注意ください）