basic complex line bundle on the 2-sphere in nLab basic line bundleをHで表す。 これはS^1 \to C^\times z \mapsto zで貼り合わせたもの。 H \oplus H = (H \otimes H) \oplus 1となる。 貼り合わせ関数のホモトピーを作る。 左辺はz \mapsto zE_2 \in G…