Find the exact object.

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

Lie theory · Representation

E7:V(0,0,0,0,0,0,1)E_{7}:\quad V_{(0,0,0,0,0,0,1)}56-dimensional representation of E7 (compact simply connected)

Highest weight (0,0,0,0,0,0,1) of the specified simply connected compact group: complex dimension 56, quaternionic type, with exact dimension, Casimir, and center checks.

Executable coverageHighest weightCompactIrreducible
Definition

The finite-dimensional continuous complex irreducible representation of E7 (compact simply connected) with Dynkin labels (0,0,0,0,0,0,1) in the displayed Bourbaki/Sage node order.

Definition sources
Complex dimension
5656
Source and assumptions
Coefficient field
ℂ; characteristic zero
Source and assumptions

Representation identity

This record specifies an abstract representation. A matrix basis and normalized invariant tensors are separate choices.

Reference properties

PropertyValueEvidence
Complex dimension5656Sources
Coefficient fieldℂ; characteristic zeroSources
Quadratic Casimir C₂57/457/4Sources
Quadratic index T(R)66Sources
Reality typeQuaternionicSources
Conjugate highest weight(0,0,0,0,0,0,1)Sources
Descends to the adjoint global formNoSources
Order of central kernel11Sources

Highest weight and conventions

The horizontal chain is 1–3–4–5–6 (continuing to 7 and 8 when present); node 2 attaches to node 4. Long roots have squared length 2; C2(lambda) = (lambda,lambda+2 rho)/2. Complex dimension counts the underlying complex vector space; reality type is an additional invariant. [sources]

Global form and center

The domain is the stated simply connected compact group. The test for descent to its adjoint global form gives no. This divides out the entire center; a different central quotient must be checked against its particular embedded kernel. [sources]

Use in a calculation

Choose the exact domain and highest weight when entering a multiplet. A dimension label can be ambiguous, especially for conjugate spinors or representations related by triality. A tensor multiplicity or Casimir does not determine a basis of matrices or intertwiners. [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 finite-dimensional continuous complex irreducible representation of E7 (compact simply connected) with Dynkin labels (0,0,0,0,0,0,1) in the displayed Bourbaki/Sage node order.

representation:e-7-compact-sc-weight-0-0-0-0-0-0-1#definition
Complex dimension

56

Derivation: Exact Weyl dimension product over positive coroots

Premises: group:e-7-compact-sc · source:workbench-etingof-lie · source:workbench-sage-roots · source:workbench-sage-e · source:sage · source:conrad-centers · source:workbench-adams-indicator

representation:e-7-compact-sc-weight-0-0-0-0-0-0-1#dimension
Coefficient field

ℂ; characteristic zero

representation:e-7-compact-sc-weight-0-0-0-0-0-0-1#field
Quadratic Casimir C₂

57/4

Derivation: (lambda,lambda+2rho)/2 with squared long-root length two

Premises: group:e-7-compact-sc · source:workbench-etingof-lie · source:workbench-sage-roots · source:workbench-sage-e · source:sage · source:conrad-centers · source:workbench-adams-indicator

representation:e-7-compact-sc-weight-0-0-0-0-0-0-1#casimir
Quadratic index T(R)

6

Derivation: T(R) dim(g) = C2(R) dim(R)

Premises: group:e-7-compact-sc · source:workbench-etingof-lie · source:workbench-sage-roots · source:workbench-sage-e · source:sage · source:conrad-centers · source:workbench-adams-indicator

representation:e-7-compact-sc-weight-0-0-0-0-0-0-1#index
Reality type

Quaternionic

representation:e-7-compact-sc-weight-0-0-0-0-0-0-1#reality
Conjugate highest weight

(0,0,0,0,0,0,1)

representation:e-7-compact-sc-weight-0-0-0-0-0-0-1#conjugate
Descends to the adjoint global form

No

Derivation: Highest weight lies in the root lattice exactly when the full center acts trivially

Premises: group:e-7-compact-sc · source:workbench-etingof-lie · source:workbench-sage-roots · source:workbench-sage-e · source:sage · source:conrad-centers · source:workbench-adams-indicator

representation:e-7-compact-sc-weight-0-0-0-0-0-0-1#adjoint-descent
Order of central kernel

1

Derivation: Order of the center divided by the order of this central character

Premises: group:e-7-compact-sc · source:workbench-etingof-lie · source:workbench-sage-roots · source:workbench-sage-e · source:sage · source:conrad-centers · source:workbench-adams-indicator

representation:e-7-compact-sc-weight-0-0-0-0-0-0-1#central-kernel-order
Highest weight and conventions

The horizontal chain is 1–3–4–5–6 (continuing to 7 and 8 when present); node 2 attaches to node 4. Long roots have squared length 2; C2(lambda) = (lambda,lambda+2 rho)/2. Complex dimension counts the underlying complex vector space; reality type is an additional invariant.

representation:e-7-compact-sc-weight-0-0-0-0-0-0-1#representations-1
Global form and center

The domain is the stated simply connected compact group. The test for descent to its adjoint global form gives no. This divides out the entire center; a different central quotient must be checked against its particular embedded kernel.

representation:e-7-compact-sc-weight-0-0-0-0-0-0-1#global-form-1
Use in a calculation

Choose the exact domain and highest weight when entering a multiplet. A dimension label can be ambiguous, especially for conjugate spinors or representations related by triality. A tensor multiplicity or Casimir does not determine a basis of matrices or intertwiners.

representation:e-7-compact-sc-weight-0-0-0-0-0-0-1#physics-1
Representation domain

group:e-7-compact-sc

representation:e-7-compact-sc-weight-0-0-0-0-0-0-1#relation-1