Find the exact object.

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

Lie theory · Representation

A4:V(0,1,0,0)A_{4}:\quad V_{(0,1,0,0)}Two-index antisymmetric of SU(5)

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

Executable coverageHighest weightCompactIrreducible
Definition

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

Definition sources
Complex dimension
1010
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 dimension1010Sources
Coefficient fieldℂ; characteristic zeroSources
Quadratic Casimir C₂18/518/5Sources
Quadratic index T(R)3/23/2Sources
Reality typeComplexSources
Conjugate highest weight(0,0,1,0)Sources
Descends to the adjoint global formNoSources
Order of central kernel11Sources

Highest weight and conventions

Nodes 1,…,r run along the chain. Fundamental weight 1 is the defining representation of SU(r+1). 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 SU(5) with Dynkin labels (0,1,0,0) in the displayed Bourbaki/Sage node order.

representation:su-5-weight-0-1-0-0#definition
Complex dimension

10

Derivation: Exact Weyl dimension product over positive coroots

Premises: group:su-5 · source:workbench-etingof-lie · source:workbench-sage-roots · source:sage · source:conrad-centers · source:workbench-adams-indicator

representation:su-5-weight-0-1-0-0#dimension
Coefficient field

ℂ; characteristic zero

representation:su-5-weight-0-1-0-0#field
Quadratic Casimir C₂

18/5

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

Premises: group:su-5 · source:workbench-etingof-lie · source:workbench-sage-roots · source:sage · source:conrad-centers · source:workbench-adams-indicator

representation:su-5-weight-0-1-0-0#casimir
Quadratic index T(R)

3/2

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

Premises: group:su-5 · source:workbench-etingof-lie · source:workbench-sage-roots · source:sage · source:conrad-centers · source:workbench-adams-indicator

representation:su-5-weight-0-1-0-0#index
Reality type

Complex

representation:su-5-weight-0-1-0-0#reality
Conjugate highest weight

(0,0,1,0)

representation:su-5-weight-0-1-0-0#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:su-5 · source:workbench-etingof-lie · source:workbench-sage-roots · source:sage · source:conrad-centers · source:workbench-adams-indicator

representation:su-5-weight-0-1-0-0#adjoint-descent
Order of central kernel

1

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

Premises: group:su-5 · source:workbench-etingof-lie · source:workbench-sage-roots · source:sage · source:conrad-centers · source:workbench-adams-indicator

representation:su-5-weight-0-1-0-0#central-kernel-order
Highest weight and conventions

Nodes 1,…,r run along the chain. Fundamental weight 1 is the defining representation of SU(r+1). 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:su-5-weight-0-1-0-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 no. This divides out the entire center; a different central quotient must be checked against its particular embedded kernel.

representation:su-5-weight-0-1-0-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:su-5-weight-0-1-0-0#physics-1
Representation domain

group:su-5

representation:su-5-weight-0-1-0-0#relation-1