Find the exact object.

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

Lie theory · Family

Ar\mathrm{A}_{r}Simple Lie type Aᵣ

Complex simple Lie type Aᵣ with dimension, normalized Coxeter data, compact cover, and its center.

Classification coverageClassificationComplex simple algebraCompact global forms
Definition

sl(r + 1, C), with integer r ≥ 1.

Definition sources
Rank
integer r ≥ 1
Source and assumptions
Complex algebra dimension
r(r + 2)
Source and assumptions
Center of compact simply connected group
Cᵣ₊₁
Source and assumptions

Parameter domain

Classification of complex simple type; compact center and global-form rule; selected concrete real forms.

ParameterAllowed values
rinteger r ≥ 1
Classification sources and conventions

Reference properties

PropertyValueEvidence
Rankinteger r ≥ 1Sources
Complex algebra dimensionr(r + 2)Sources
Coxeter number hr + 1Sources
Dual Coxeter number h∨r + 1Sources
Compact simply connected groupSU(r + 1)Sources
Center of compact simply connected groupCᵣ₊₁Sources
Root-length conventionLong roots have squared length 2Sources

Algebra, real form, global group

A Dynkin type classifies a complex simple Lie algebra. A real Lie group additionally requires a real form and a global form. The compact cover in this record is a specific connected group, not the meaning of the type symbol itself. [sources]

Connected compact groups with this simple Lie algebra are quotients of the simply connected compact group by subgroups of its center. Distinct central subgroups need not yield distinct abstract groups: automorphisms of the covering group can identify the resulting quotients. [sources]

Representation convention

Dominant integral highest weights classify finite-dimensional complex irreducible representations of the simply connected compact group. A representation descends to a chosen central quotient precisely when every element of the quotient kernel acts trivially. [sources]

The listed dual Coxeter number uses long-root squared length 2. Relating it to a physics Casimir convention requires the normalization of generators and invariant bilinear form. [sources]

Classical real forms

For n = r + 1 the real forms are su(p,q), p + q = n; sl(n,R); and su*(2m) = sl(m,H) when n = 2m, with low-rank coincidences understood. [sources]

Rank conventions and coincidences

r = 1: A₁ = B₁ = C₁. The canonical family entry is A. [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

sl(r + 1, C), with integer r ≥ 1.

family:lie-a#definition
Rank

integer r ≥ 1

family:lie-a#rank
Complex algebra dimension

r(r + 2)

Derivation: For an irreducible root system, dim(g) = r + |Φ| = r(h + 1).

Premises: Rank r · Coxeter number h in Section 32.4

family:lie-a#dimension
Coxeter number h

r + 1

family:lie-a#coxeter-number
Dual Coxeter number h∨

r + 1

family:lie-a#dual-coxeter-number
Compact simply connected group

SU(r + 1)

family:lie-a#compact-cover
Center of compact simply connected group

Cᵣ₊₁

family:lie-a#center
Root-length convention

Long roots have squared length 2

family:lie-a#root-normalization
Algebra, real form, global group

A Dynkin type classifies a complex simple Lie algebra. A real Lie group additionally requires a real form and a global form. The compact cover in this record is a specific connected group, not the meaning of the type symbol itself.

family:lie-a#objects-1
Algebra, real form, global group

Connected compact groups with this simple Lie algebra are quotients of the simply connected compact group by subgroups of its center. Distinct central subgroups need not yield distinct abstract groups: automorphisms of the covering group can identify the resulting quotients.

family:lie-a#objects-2
Representation convention

Dominant integral highest weights classify finite-dimensional complex irreducible representations of the simply connected compact group. A representation descends to a chosen central quotient precisely when every element of the quotient kernel acts trivially.

family:lie-a#representations-1
Representation convention

The listed dual Coxeter number uses long-root squared length 2. Relating it to a physics Casimir convention requires the normalization of generators and invariant bilinear form.

family:lie-a#representations-2
Classical real forms

For n = r + 1 the real forms are su(p,q), p + q = n; sl(n,R); and su*(2m) = sl(m,H) when n = 2m, with low-rank coincidences understood.

family:lie-a#real-forms-1
Rank conventions and coincidences

r = 1: A₁ = B₁ = C₁. The canonical family entry is A.

family:lie-a#low-rank-1
Concrete algebra record

algebra:a-1-c

family:lie-a#relation-1
Concrete algebra record

algebra:a-2-c

family:lie-a#relation-2
Concrete algebra record

algebra:a-3-c

family:lie-a#relation-3
Concrete algebra record

algebra:a-4-c

family:lie-a#relation-4