Find the exact object.

Names, aliases, Unicode, and common TeX notation. Open full search

Lie theory · Lie algebra

sp(6,C)\mathfrak{sp}(6, \mathbb C)sp(6, C) — complex Lie algebra

The complex 6 × 6 matrices X satisfying XᵀJ + JX = 0 for a nondegenerate alternating form J.

Reference coverageComplex simple algebra
Definition

The complex 6 × 6 matrices X satisfying XᵀJ + JX = 0 for a nondegenerate alternating form J.

Definition sources
Scalar field
C\mathbb C
Source and assumptions
Complex dimension
2121
Source and assumptions
Complex rank
33
Source and assumptions

Reference properties

PropertyValueEvidence
Scalar fieldC\mathbb CSources
Complex dimension2121Sources
Complex rank33Sources
Root-system typeC3\mathrm{C}_{3}Sources
Simple over CYesSources

Using the algebra record

The dimension here is complex dimension. A real form has the same real dimension, while restriction of scalars of this complex algebra to R doubles the dimension. Its connected integrating group and center require additional global information. [sources]

Choose a real-form record before selecting a real Lie group. Highest weights belong to a weight-lattice convention, and their integration to a global quotient requires a kernel test. [sources]

Related objects and maps

Claims and sources

Each assertion has a stable identifier within this record and a source locator or derivation. Cite the dataset edition when referring to a corrected or historical claim.

Definition

The complex 6 × 6 matrices X satisfying XᵀJ + JX = 0 for a nondegenerate alternating form J.

algebra:c-3-c#definition
Scalar field

C

algebra:c-3-c#field
Complex dimension

21

algebra:c-3-c#dimension
Complex rank

3

algebra:c-3-c#rank
Root-system type

C₃

algebra:c-3-c#cartan-type
Simple over C

Yes

algebra:c-3-c#simple
Using the algebra record

The dimension here is complex dimension. A real form has the same real dimension, while restriction of scalars of this complex algebra to R doubles the dimension. Its connected integrating group and center require additional global information.

algebra:c-3-c#interpretation-1
Using the algebra record

Choose a real-form record before selecting a real Lie group. Highest weights belong to a weight-lattice convention, and their integration to a global quotient requires a kernel test.

algebra:c-3-c#interpretation-2
Simple-type classification

family:lie-c

algebra:c-3-c#relation-1