nLab real vector bundle

Contents

Context

Bundles

bundles

Context

Classes of bundles

Universal bundles

Presentations

Examples

Constructions

Contents

Definition

Plain notion

By default, by a real vector bundle over a plain topological space one means a vector bundle of real vector spaces associated to an O(n)O(n)-principal bundle for O(n)O(n) the orthogonal group.

This is in contrast notably to complex vector bundles or quaternionic vector bundles.

In KR-theory

In the context of KR-theory (“Real K-theory”) and following Atiyah 1966 p. 368 one considers a more general notion (which subsumes the plain notion above, see Exp. below):

Definition

(Atiyah Real vector bundles)
A Real vector bundle (capital “R” for disambiguation) over a Real space – namely over

is (according to Atiyah 1966 p. 368):

  1. a complex vector bundle p:EXp \colon E \to X over the underlying topological space XX

  2. whose total space EE is equipped with a continuous involution (-) *:EE(\text{-})^\ast \,\colon\, E \to E

such that:

  1. the bundle projection pp is a 2\mathbb{Z}_2-equivariant map, hence such that the following diagram commutes

    E (-) * E p p X σ X \array{ E &\overset{(\text{-})^\ast}{\longrightarrow}& E \\ \mathllap{{}^p}\big\downarrow && \big\downarrow\mathrlap{{}^p} \\ X &\underset{\sigma}{\longrightarrow}& X }
  2. the involution on EE is fiber-wise anti-linear, ie. for xXx \in X the following diagram commutes:

    ×E x (-)(-) E x (-)¯×(-) * (-) * ×E σ(x) (-)(-) E σ(x) \array{ \mathbb{C} \times E_x &\overset{(\text{-})\cdot(\text{-})}{\longrightarrow}& E_x \\ \mathllap{ {}^{ \overline{(\text{-})} \times (\text{-})^\ast } } \big\downarrow && \big\downarrow\mathrlap{{}^{ (\text{-})^\ast }} \\ \mathbb{C} \times E_{\sigma(x)} &\underset{(\text{-})\cdot(\text{-})}{\longrightarrow}& E_{\sigma(x)} }

A homomorphism of such Real vector bundles is a homomorphism of the underlying complex vector bundles which respects all the involutions.

Example

(real vector bundles as Real vector bundles)
In the special case that the involution on the base space XX is trivial, σ=id X\sigma = id_X, a Real vector bundle in the sense of Def. is a complex vector bundle over XX equipped continuously with a complex anti-linear involution on each fiber (-) *:E xE x(\text{-})^\ast \,\colon\, E_x \to E_x.

The resulting ±1\pm 1-eigenspace-decomposition realizes each fiber as the complexification

E xV xiV xV x E_x \;\simeq\; V_x \oplus \mathrm{i} V_x \;\simeq\; V_x \otimes_{\mathbb{R}} \mathbb{C}

of a \mathbb{R} -vector space and this decomposition is preserved by homomorphisms of Real vector bundles over such XX.

Therefore Real vector bundles over a Real space XX whose involution is trivial are equivalent to plain real vector bundles over XX as above.

(cf. Atiyah 1966, p. 369)

Remark

The complex numbers \mathbb{C} equipped with their involution by complex conjugation under their usual multiplication operation form a monoid object internal to the category of \mathbb{R}-vector spaces equipped with \mathbb{R}-linear involution, the “Real complex numbers

(1) 2Mon(Func(B 2,Mod )). \mathbb{Z}_2 \curvearrowright \mathbb{C} \;\;\; \in \;\; Mon\big( Func(\mathbf{B}\mathbb{Z}_2, Mod_{\mathbb{R}}) \big) \,.

The Real vector bundles of Def. are equivalently the vector bundles internal to the topos 2 Set \mathbb{Z}_2 Set with the “ground monoid” taken to be the Real complex numbers (1).

References

Plain notion

Real vector bundles in the plain sense are the default notion of vector bundles, and as such are discussed in essentially every reference on the topic, see the list there.

In KR-theory

The notion of “Real vector bundle” over a Real space in the sense of KR-theory was introduced in:

Last revised on September 6, 2023 at 17:52:07. See the history of this page for a list of all contributions to it.