Find the exact object.

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

Lie theory · Representation

G2:V(1,0)G_{2}:\quad V_{(1,0)}Fundamental of G2 (compact)

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

Executable coverageHighest weightCompactIrreducible
Definition

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

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

Representation identity

Categoryfinite-dimensional-continuous
Coefficient fieldC\mathbb C

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

Reference properties

PropertyValueEvidence
Complex dimension77Sources
Coefficient fieldℂ; characteristic zeroSources
Quadratic Casimir C₂22Sources
Quadratic index T(R)11Sources
Reality typeRealSources
Conjugate highest weight(1,0)Sources
Descends to the adjoint global formYesSources
Order of central kernel11Sources

Highest weight and conventions

Node 1 is short and node 2 long. Weights 1 and 2 have dimensions 7 and 14, respectively. 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 yes. 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 G2 (compact) with Dynkin labels (1,0) in the displayed Bourbaki/Sage node order.

representation:g-2-compact-weight-1-0#definition
Complex dimension

7

Derivation: Exact Weyl dimension product over positive coroots

Premises: group:g-2-compact · source:workbench-etingof-lie · source:workbench-sage-roots · source:workbench-sage-g · source:sage · source:conrad-centers · source:workbench-adams-indicator

representation:g-2-compact-weight-1-0#dimension
Coefficient field

ℂ; characteristic zero

representation:g-2-compact-weight-1-0#field
Quadratic Casimir C₂

2

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

Premises: group:g-2-compact · source:workbench-etingof-lie · source:workbench-sage-roots · source:workbench-sage-g · source:sage · source:conrad-centers · source:workbench-adams-indicator

representation:g-2-compact-weight-1-0#casimir
Quadratic index T(R)

1

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

Premises: group:g-2-compact · source:workbench-etingof-lie · source:workbench-sage-roots · source:workbench-sage-g · source:sage · source:conrad-centers · source:workbench-adams-indicator

representation:g-2-compact-weight-1-0#index
Reality type

Real

representation:g-2-compact-weight-1-0#reality
Conjugate highest weight

(1,0)

representation:g-2-compact-weight-1-0#conjugate
Descends to the adjoint global form

Yes

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

Premises: group:g-2-compact · source:workbench-etingof-lie · source:workbench-sage-roots · source:workbench-sage-g · source:sage · source:conrad-centers · source:workbench-adams-indicator

representation:g-2-compact-weight-1-0#adjoint-descent
Order of central kernel

1

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

Premises: group:g-2-compact · source:workbench-etingof-lie · source:workbench-sage-roots · source:workbench-sage-g · source:sage · source:conrad-centers · source:workbench-adams-indicator

representation:g-2-compact-weight-1-0#central-kernel-order
Highest weight and conventions

Node 1 is short and node 2 long. Weights 1 and 2 have dimensions 7 and 14, respectively. 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:g-2-compact-weight-1-0#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 yes. This divides out the entire center; a different central quotient must be checked against its particular embedded kernel.

representation:g-2-compact-weight-1-0#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:g-2-compact-weight-1-0#physics-1
Representation domain

group:g-2-compact

representation:g-2-compact-weight-1-0#relation-1