Vogel Plane¶

A projective parameter space that represents a simple Lie algebra by three Casimir eigenvalues on the nontrivial components of its symmetric square, modulo scaling and permutation.

Version: v1 · 2026-09-28 · History
Domain-specific #: 12821
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Lie Theory, Representation Theory → Mathematics

Core Idea¶

The Vogel plane is a parameter space for simple complex Lie algebras. For a Lie algebra whose symmetric square decomposes into the trivial representation and three nontrivial irreducible components A, B, and C, the Casimir operator acts on those components with eigenvalues α, β, and γ.

Only the ratios and unordered association matter. The coordinate triple therefore defines a projective point (α:β:γ), which removes common scaling, and the quotient by S3 removes the arbitrary ordering of A, B, and C.

This construction places different simple Lie algebras in one uniform parameter space and motivates formulas or patterns expressed in the universal parameters. Extensions study higher symmetric powers, but those are developments of the original symmetric-square parameterization rather than part of its minimal definition.

Structural Signature¶

Sig role-phrases:

Simple Lie algebra. Supplies the algebra whose adjoint representation and Casimir action are being summarized. Constitutive classified object. If altered: An arbitrary algebra need not have the stated decomposition or Vogel parameters.
Symmetric-square decomposition. Separates the trivial component and the nontrivial irreducible components A, B, and C. Constitutive representation-theoretic stage. If altered: If the required components are not identified, the eigenvalue triple has no defined slots.
Casimir eigenvalue triple. Records α, β, and γ on A, B, and C. Identity-bearing coordinates. If altered: Changing normalization rescales all three rather than changing the projective point.
Projective permutation quotient. Identifies common scaling and permutations of the three coordinates. Constitutive equivalence relation. If altered: Treating an ordered normalized triple as absolute over-distinguishes equivalent representations.

What It Is Not¶

Not an ordinary affine plane. Coordinates are projective and defined only up to common nonzero scale.
Not an ordered triple. Permuting α, β, and γ gives the same point in the S3 quotient.
Not any Lie-algebra invariant table. The coordinates specifically come from Casimir eigenvalues on the symmetric square components.
Not a geometric plane of physical points. It is an abstract moduli-like parameter space in representation theory.

Scope of Application¶

The construction applies to uniform representation-theoretic comparison of simple Lie algebras through Casimir data.

Lie-algebra parameterization. Each eligible algebra is represented by an equivalence class of triples.
Universal formulas. Expressions can be studied as functions of α, β, and γ.
Exceptional patterns. Special points and lines organize relations among families and exceptional cases.
Representation decomposition. Symmetric-square components provide the coordinate-bearing spaces.
Higher-power extensions. Related work generalizes the approach beyond the symmetric square.

Clarity¶

State the Lie algebra, symmetric-square decomposition, Casimir normalization, three eigenvalues, and quotient convention. Verify that results are invariant under common rescaling and coordinate permutation. Do not compare raw triples until they have been placed in the same normalization or projective class.

Manages Complexity¶

The plane compresses different Lie-algebra families and representation data into three homogeneous coordinates with explicit equivalences. It replaces many case-by-case descriptions with one parameter language while retaining the risk that special decompositions or singular parameter values need separate treatment.

Abstract Reasoning¶

Decompose the symmetric square into the trivial and relevant irreducible components.
Compute or identify the Casimir eigenvalue on each nontrivial component.
Form the homogeneous triple and quotient by common scaling.
Forget coordinate order through the S3 action.
Compare algebras or formulas only through permutation- and scale-invariant statements.

Knowledge Transfer¶

The method transfers among simple Lie algebras that support the stated decomposition and parameter convention. Generic projective classification elsewhere is structurally analogous but is not the Vogel plane. Parameterization and quotient carry broader ideas, while this identity remains Lie-theoretic.

Examples¶

Canonical¶

For a simple Lie algebra, identify A, B, and C in the symmetric square, read the three Casimir eigenvalues, and record their unordered projective class.

Mapped back: simple Lie algebra → the algebra under study; symmetric-square decomposition → trivial plus A, B, C; Casimir eigenvalue triple → α, β, γ; projective permutation quotient → common-scale and S3 equivalence.

Applied / In Practice¶

Two differently normalized and ordered triples represent the same Vogel point when one is obtained from the other by common rescaling and permutation.

Mapped back: simple Lie algebra → one underlying algebra; symmetric-square decomposition → the same three components with relabeling; Casimir eigenvalue triple → rescaled/reordered coordinates; projective permutation quotient → identifies the presentations.

Structural Tensions¶

T1: uniform parameterization vs. algebra-specific structure. Three coordinates reveal common patterns but cannot replace all representation data. Diagnostic: Which conclusion is universal and which uses special structure?

T2: coordinate presentation vs. quotient-invariant point. Calculations choose normalization and order that the object itself forgets. Diagnostic: Does the result survive rescaling and permutation?

T3: generic decomposition vs. exceptional behavior. The standard three-component account is stated as usual rather than logically universal in every extension. Diagnostic: Are degeneracies or special cases being handled explicitly?

Structural–Framed Character¶

The Vogel plane is strongly structural. Evaluative weight: none; it is a formal parameterization. Human-practice-bound: normalization and notation are conventional, while quotient invariants are mathematical. Institutional origin: Lie theory stabilizes the construction. Vocabulary travels: projective coordinates and group quotients travel broadly. Import versus recognize: literal use requires the Casimir symmetric-square triple. Its character: an unordered projective compression of representation-theoretic data.

Structural Core vs. Domain Accent¶

Skeletal core. Objects are mapped to coordinate triples modulo scaling and permutation so family-wide patterns become visible.

Domain-bound accent. Objects are simple Lie algebras, coordinates are Casimir eigenvalues on symmetric-square components, and S3 acts by relabeling them.

Why not prime. Parameterization and quotient are portable, but the Vogel plane is a specific representation-theoretic construction.

This entry is a kind of Mathematical Space.

Parameterization. Three homogeneous values locate each algebra in a common space.
Quotient. Scaling and permutation identify equivalent coordinate presentations.
Classification. The plane organizes families without replacing full Lie-algebra classification.
The root placement remains.

Relationships to Other Abstractions¶

Current abstraction Vogel Plane Domain-specific

Parents (1) — more general patterns this builds on

Vogel Plane is a kind of Mathematical Space Domain-specific

Vogel Plane satisfies the defining boundary of Mathematical Space: A mathematical space is a set or class of mathematical objects equipped with declared structure—such as topology, metric, order, linear operations, measure, geometry, or parameter interpretation—that determines how its elements relate, vary, converge, or transform.

Hierarchy path (1) — routes to 1 parentless root

Vogel Plane → Mathematical Space → Mathematical structure → Set and Membership

Neighborhood in Abstraction Space¶

Vogel Plane sits in a sparse region of the domain-specific corpus (63^rd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2551 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Projective plane. Tell: The Vogel plane is P² further quotiented by coordinate permutations and populated by Lie-theoretic data.
Dynkin classification. Tell: Dynkin diagrams classify simple Lie algebras through root systems, not this Casimir triple.
Ordered eigenvalue list. Tell: The S3 quotient removes ordering.
Casimir operator. Tell: The operator supplies coordinates but is not itself the parameter space.

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Vogel_plane (revision 1192243183).
Preserved source candidate: http://www.numdam.org/item/10.1016/S1631-073X(02)02590-6.pdf
Preserved source candidate: http://www.math.jussieu.fr/~vogel/A299.ps.gz

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.