nLab quaternionic structure

Redirected from "almost quaternionic structure".
Contents

Context

Linear algebra

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Contents

Definition

On a complex vector space

A quatermionic structure on a complex vector space VV is an complex-anti-linear map

σ:VV,vVσ(iv)=iσ(v), \sigma \,\colon\, V \longrightarrow V \,, \;\;\;\;\; \underset{v \in V}{\forall} \; \sigma(\mathrm{i}v) = - \mathrm{i} \sigma(v) \,,

which squares to minus the identity:

σ 2=1. \sigma^2 = -1 \,.

(Compare this to a real structure, which is such a \mathbb{C}-anti-linear map that instead squares to +1+1, hence that is an involution.)

Given such σ\sigma then with the linear operator i\mathrm{i} of multiplication by the imaginary unit one obtains three real linear endomorphisms

i i j σ k iσ \begin{aligned} \mathbf{i} & \coloneqq \mathrm{i} \\ \mathbf{j} & \coloneqq \sigma \\ \mathbf{k} & \coloneqq \mathrm{i} \sigma \end{aligned}

on VV, which evidently induce on VV a real linear representation of the algebra of quaternions.

On a manifold

An almost quaternionic structure on a manifold of dimension a multiple of 4, is a reduction of the structure group along the inclusion

GL n()Gl 4n() GL_n(\mathbb{H}) \hookrightarrow Gl_{4 n}(\mathbb{R})

of general linear groups, for \mathbb{R} the real numbers and \mathbb{H} the quaternions, hence a G-structure for a quaterionic-general linear group.

(…)

References

Last revised on November 4, 2025 at 12:54:36. See the history of this page for a list of all contributions to it.