さらに詳しくは、ラグラジアンというとき、次数付きであることとspin構造をデータとして加える必要があります.
spin構造