主バンドルの主作用のバリエーション

幾何っぽい

\newcommand{\LA}{\langle}\newcommand{\RA}{\rangle}G は単一の群 \mathcal{G}/M は群バンドルとする。\Gamma(\mathcal{G}) は群層になる。Pへの右からの作用の表現が：

  1. P\times G \to P
  2. P\times_M (M\ltimes G) \to P
  3. P\times_M \mathcal{G} \to P
  4. \Gamma(P) \times \Gamma(M\ltimes G) \to \Gamma(P)
  5. \Gamma(P) \times \Gamma(\mathcal{G}) \to \Gamma(P)

単一の群じゃなくて、群バンドルと群層を基本に考えて、その特殊ケースとして自明群バンドルとそのセクション層を考える。