{
  "schema": "groups.qft.org/entity/2",
  "versions": {
    "schema": "2.0.0",
    "dataset": "2026.11-workbench.4",
    "application": "6.0.0",
    "algorithm": "groups-workbench-4.0.0",
    "released": "2026-11-08"
  },
  "canonicalURL": "https://groups.qft.org/atlas/representations/su-5-weight-1-0-0-1/",
  "entity": {
    "id": "representation:su-5-weight-1-0-0-1",
    "slug": "su-5-weight-1-0-0-1",
    "name": "Adjoint of SU(5)",
    "symbol": "A4 · (1,0,0,1)",
    "category": "lie",
    "level": "executable",
    "aliases": [],
    "searchTerms": [
      "SU(5)",
      "Adjoint",
      "24-dimensional",
      "Real"
    ],
    "tags": [
      "Highest weight",
      "Compact",
      "Irreducible"
    ],
    "summary": "Highest weight (1,0,0,1) of the specified simply connected compact group: complex dimension 24, real type, with exact dimension, Casimir, and center checks.",
    "definition": "The finite-dimensional continuous complex irreducible representation of SU(5) with Dynkin labels (1,0,0,1) in the displayed Bourbaki/Sage node order.",
    "definitionEvidence": [
      {
        "source": "workbench-etingof-lie",
        "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
      },
      {
        "source": "workbench-sage-roots",
        "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
      },
      {
        "source": "sage",
        "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
      },
      {
        "source": "conrad-centers",
        "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
      },
      {
        "source": "workbench-adams-indicator",
        "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
      }
    ],
    "properties": [
      {
        "key": "dimension",
        "label": "Complex dimension",
        "value": "24",
        "evidence": [
          {
            "source": "workbench-etingof-lie",
            "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
          },
          {
            "source": "workbench-sage-roots",
            "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
          },
          {
            "source": "sage",
            "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
          },
          {
            "source": "conrad-centers",
            "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
          },
          {
            "source": "workbench-adams-indicator",
            "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
          }
        ],
        "derivation": {
          "method": "Exact Weyl dimension product over positive coroots",
          "inputs": [
            "group:su-5",
            "source:workbench-etingof-lie",
            "source:workbench-sage-roots",
            "source:sage",
            "source:conrad-centers",
            "source:workbench-adams-indicator"
          ]
        },
        "assumptions": []
      },
      {
        "key": "field",
        "label": "Coefficient field",
        "value": "ℂ; characteristic zero",
        "evidence": [
          {
            "source": "workbench-etingof-lie",
            "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
          },
          {
            "source": "workbench-sage-roots",
            "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
          },
          {
            "source": "sage",
            "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
          },
          {
            "source": "conrad-centers",
            "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
          },
          {
            "source": "workbench-adams-indicator",
            "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
          }
        ],
        "assumptions": []
      },
      {
        "key": "casimir",
        "label": "Quadratic Casimir C₂",
        "value": "5",
        "evidence": [
          {
            "source": "workbench-etingof-lie",
            "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
          },
          {
            "source": "workbench-sage-roots",
            "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
          },
          {
            "source": "sage",
            "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
          },
          {
            "source": "conrad-centers",
            "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
          },
          {
            "source": "workbench-adams-indicator",
            "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
          }
        ],
        "derivation": {
          "method": "(lambda,lambda+2rho)/2 with squared long-root length two",
          "inputs": [
            "group:su-5",
            "source:workbench-etingof-lie",
            "source:workbench-sage-roots",
            "source:sage",
            "source:conrad-centers",
            "source:workbench-adams-indicator"
          ]
        },
        "assumptions": []
      },
      {
        "key": "index",
        "label": "Quadratic index T(R)",
        "value": "5",
        "evidence": [
          {
            "source": "workbench-etingof-lie",
            "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
          },
          {
            "source": "workbench-sage-roots",
            "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
          },
          {
            "source": "sage",
            "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
          },
          {
            "source": "conrad-centers",
            "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
          },
          {
            "source": "workbench-adams-indicator",
            "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
          }
        ],
        "derivation": {
          "method": "T(R) dim(g) = C2(R) dim(R)",
          "inputs": [
            "group:su-5",
            "source:workbench-etingof-lie",
            "source:workbench-sage-roots",
            "source:sage",
            "source:conrad-centers",
            "source:workbench-adams-indicator"
          ]
        },
        "assumptions": []
      },
      {
        "key": "reality",
        "label": "Reality type",
        "value": "Real",
        "evidence": [
          {
            "source": "workbench-etingof-lie",
            "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
          },
          {
            "source": "workbench-sage-roots",
            "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
          },
          {
            "source": "sage",
            "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
          },
          {
            "source": "conrad-centers",
            "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
          },
          {
            "source": "workbench-adams-indicator",
            "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
          }
        ],
        "assumptions": []
      },
      {
        "key": "conjugate",
        "label": "Conjugate highest weight",
        "value": "(1,0,0,1)",
        "evidence": [
          {
            "source": "workbench-etingof-lie",
            "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
          },
          {
            "source": "workbench-sage-roots",
            "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
          },
          {
            "source": "sage",
            "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
          },
          {
            "source": "conrad-centers",
            "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
          },
          {
            "source": "workbench-adams-indicator",
            "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
          }
        ],
        "assumptions": []
      },
      {
        "key": "adjoint-descent",
        "label": "Descends to the adjoint global form",
        "value": "Yes",
        "evidence": [
          {
            "source": "workbench-etingof-lie",
            "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
          },
          {
            "source": "workbench-sage-roots",
            "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
          },
          {
            "source": "sage",
            "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
          },
          {
            "source": "conrad-centers",
            "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
          },
          {
            "source": "workbench-adams-indicator",
            "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
          }
        ],
        "derivation": {
          "method": "Highest weight lies in the root lattice exactly when the full center acts trivially",
          "inputs": [
            "group:su-5",
            "source:workbench-etingof-lie",
            "source:workbench-sage-roots",
            "source:sage",
            "source:conrad-centers",
            "source:workbench-adams-indicator"
          ]
        },
        "assumptions": []
      },
      {
        "key": "central-kernel-order",
        "label": "Order of central kernel",
        "value": "5",
        "evidence": [
          {
            "source": "workbench-etingof-lie",
            "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
          },
          {
            "source": "workbench-sage-roots",
            "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
          },
          {
            "source": "sage",
            "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
          },
          {
            "source": "conrad-centers",
            "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
          },
          {
            "source": "workbench-adams-indicator",
            "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
          }
        ],
        "derivation": {
          "method": "Order of the center divided by the order of this central character",
          "inputs": [
            "group:su-5",
            "source:workbench-etingof-lie",
            "source:workbench-sage-roots",
            "source:sage",
            "source:conrad-centers",
            "source:workbench-adams-indicator"
          ]
        },
        "assumptions": []
      }
    ],
    "sections": [
      {
        "id": "representations",
        "title": "Highest weight and conventions",
        "paragraphs": [
          {
            "text": "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.",
            "evidence": [
              {
                "source": "workbench-etingof-lie",
                "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
              },
              {
                "source": "workbench-sage-roots",
                "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
              },
              {
                "source": "sage",
                "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
              },
              {
                "source": "conrad-centers",
                "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
              },
              {
                "source": "workbench-adams-indicator",
                "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
              }
            ],
            "assumptions": []
          }
        ]
      },
      {
        "id": "global-form",
        "title": "Global form and center",
        "paragraphs": [
          {
            "text": "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.",
            "evidence": [
              {
                "source": "workbench-etingof-lie",
                "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
              },
              {
                "source": "workbench-sage-roots",
                "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
              },
              {
                "source": "sage",
                "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
              },
              {
                "source": "conrad-centers",
                "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
              },
              {
                "source": "workbench-adams-indicator",
                "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
              }
            ],
            "assumptions": []
          }
        ]
      },
      {
        "id": "physics",
        "title": "Use in a calculation",
        "paragraphs": [
          {
            "text": "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.",
            "evidence": [
              {
                "source": "workbench-etingof-lie",
                "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
              },
              {
                "source": "workbench-sage-roots",
                "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
              },
              {
                "source": "sage",
                "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
              },
              {
                "source": "conrad-centers",
                "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
              },
              {
                "source": "workbench-adams-indicator",
                "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
              }
            ],
            "assumptions": []
          }
        ]
      }
    ],
    "relationships": [
      {
        "type": "representation-of",
        "target": "group:su-5",
        "label": "Representation domain",
        "evidence": [
          {
            "source": "workbench-etingof-lie",
            "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
          },
          {
            "source": "workbench-sage-roots",
            "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
          },
          {
            "source": "sage",
            "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
          },
          {
            "source": "conrad-centers",
            "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
          },
          {
            "source": "workbench-adams-indicator",
            "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
          }
        ]
      }
    ],
    "capabilities": [
      "lie-representations",
      "sun-tensor-products",
      "charged-branching"
    ],
    "kind": "representation",
    "data": {
      "domain": "group:su-5",
      "category": "finite-dimensional-continuous",
      "field": "C",
      "dimension": 24,
      "labels": "(1,0,0,1)",
      "displayTex": "A_{4}:\\quad V_{(1,0,0,1)}",
      "dynkinLabels": [
        1,
        0,
        0,
        1
      ],
      "conventionId": "lie-bourbaki-long-root-2-v1",
      "calculation": {
        "key": "A4",
        "type": "A",
        "rank": 4,
        "cartanMatrix": [
          [
            2,
            -1,
            0,
            0
          ],
          [
            -1,
            2,
            -1,
            0
          ],
          [
            0,
            -1,
            2,
            -1
          ],
          [
            0,
            0,
            -1,
            2
          ]
        ],
        "rootLengthsSquared": [
          "2",
          "2",
          "2",
          "2"
        ],
        "positiveCorootCount": 10,
        "algebraDimension": 24,
        "simplyConnectedGroup": "SU(5)",
        "center": "Z/5",
        "centerOrder": 5,
        "dualCoxeterNumber": 5,
        "adjointLabels": [
          1,
          0,
          0,
          1
        ],
        "exampleLabels": [
          1,
          0,
          0,
          0
        ],
        "numbering": "Nodes 1,…,r run along the chain. Fundamental weight 1 is the defining representation of SU(r+1).",
        "conventionId": "lie-bourbaki-long-root-2-v1",
        "cartanConvention": "A_ij = <alpha_j, alpha_i^vee>",
        "normalization": "Long roots have squared length 2; C2(lambda) = (lambda,lambda+2 rho)/2.",
        "labels": [
          1,
          0,
          0,
          1
        ],
        "dimension": "24",
        "casimir": {
          "numerator": "5",
          "denominator": "1",
          "text": "5",
          "latex": "5"
        },
        "index": {
          "numerator": "5",
          "denominator": "1",
          "text": "5",
          "latex": "5"
        },
        "conjugate": [
          1,
          0,
          0,
          1
        ],
        "selfDual": true,
        "reality": "Real",
        "frobeniusSchurIndicator": 1,
        "adjointDescent": true,
        "centerCharacterOrder": "1",
        "centerKernelOrder": "5",
        "centerCharge": 0,
        "centerChargeModulus": 5,
        "rootBasisCoordinates": [
          {
            "numerator": "1",
            "denominator": "1",
            "text": "1",
            "latex": "1"
          },
          {
            "numerator": "1",
            "denominator": "1",
            "text": "1",
            "latex": "1"
          },
          {
            "numerator": "1",
            "denominator": "1",
            "text": "1",
            "latex": "1"
          },
          {
            "numerator": "1",
            "denominator": "1",
            "text": "1",
            "latex": "1"
          }
        ],
        "positiveCoroots": [
          [
            0,
            0,
            0,
            1
          ],
          [
            0,
            0,
            1,
            0
          ],
          [
            0,
            1,
            0,
            0
          ],
          [
            1,
            0,
            0,
            0
          ],
          [
            0,
            0,
            1,
            1
          ],
          [
            0,
            1,
            1,
            0
          ],
          [
            1,
            1,
            0,
            0
          ],
          [
            0,
            1,
            1,
            1
          ],
          [
            1,
            1,
            1,
            0
          ],
          [
            1,
            1,
            1,
            1
          ]
        ],
        "factors": [
          {
            "coroot": [
              0,
              0,
              0,
              1
            ],
            "numerator": "2",
            "denominator": "1"
          },
          {
            "coroot": [
              0,
              0,
              1,
              0
            ],
            "numerator": "1",
            "denominator": "1"
          },
          {
            "coroot": [
              0,
              1,
              0,
              0
            ],
            "numerator": "1",
            "denominator": "1"
          },
          {
            "coroot": [
              1,
              0,
              0,
              0
            ],
            "numerator": "2",
            "denominator": "1"
          },
          {
            "coroot": [
              0,
              0,
              1,
              1
            ],
            "numerator": "3",
            "denominator": "2"
          },
          {
            "coroot": [
              0,
              1,
              1,
              0
            ],
            "numerator": "2",
            "denominator": "2"
          },
          {
            "coroot": [
              1,
              1,
              0,
              0
            ],
            "numerator": "3",
            "denominator": "2"
          },
          {
            "coroot": [
              0,
              1,
              1,
              1
            ],
            "numerator": "4",
            "denominator": "3"
          },
          {
            "coroot": [
              1,
              1,
              1,
              0
            ],
            "numerator": "4",
            "denominator": "3"
          },
          {
            "coroot": [
              1,
              1,
              1,
              1
            ],
            "numerator": "6",
            "denominator": "4"
          }
        ],
        "algorithmVersion": "lie-representations-1.0.0",
        "category": "Finite-dimensional continuous complex irreducible representations of the compact simply connected group",
        "method": "Exact Weyl product over positive coroots; rational weight-metric Casimir; root-lattice descent; central-character Frobenius–Schur indicator.",
        "checks": {
          "positiveCorootCount": true,
          "dimensionIntegral": true,
          "weightGramSymmetric": true,
          "centralCharacterOrderDividesCenter": true
        },
        "sources": [
          {
            "id": "workbench-etingof-lie",
            "title": "Lie Groups and Lie Algebras I",
            "authors": [
              "Pavel Etingof"
            ],
            "url": "https://math.mit.edu/~etingof/lnlg.pdf",
            "kind": "lecture-notes",
            "locatorHint": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations.",
            "licenseNote": "Linked primary source. Original algorithms and explanatory prose; no upstream software or document text is redistributed."
          },
          {
            "id": "workbench-sage-roots",
            "title": "SageMath: Cartan matrices",
            "authors": [
              "SageMath developers"
            ],
            "url": "https://doc.sagemath.org/html/en/reference/combinat/sage/combinat/root_system/cartan_matrix.html",
            "kind": "documentation",
            "locatorHint": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08.",
            "licenseNote": "Linked primary source. Original algorithms and explanatory prose; no upstream software or document text is redistributed."
          },
          {
            "id": "workbench-sage-weyl",
            "title": "SageMath: The Weyl Character Ring",
            "authors": [
              "Daniel Bump",
              "SageMath developers"
            ],
            "url": "https://doc.sagemath.org/html/en/thematic_tutorials/lie/weyl_character_ring.html",
            "kind": "documentation",
            "locatorHint": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL.",
            "licenseNote": "Linked primary source. Original algorithms and explanatory prose; no upstream software or document text is redistributed."
          },
          {
            "id": "workbench-conrad-centers",
            "title": "Centers of Simply Connected Semisimple Groups",
            "authors": [
              "Brian Conrad"
            ],
            "url": "https://math.stanford.edu/~conrad/210CPage/handouts/centers.pdf",
            "kind": "lecture-notes",
            "locatorHint": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated.",
            "licenseNote": "Linked primary source. Original algorithms and explanatory prose; no upstream software or document text is redistributed."
          },
          {
            "id": "workbench-adams-indicator",
            "title": "The Real Chevalley Involution",
            "authors": [
              "Jeffrey Adams"
            ],
            "url": "https://www.math.umd.edu/~jda/preprints/realchevalley.pdf",
            "kind": "paper",
            "locatorHint": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep.",
            "licenseNote": "Linked primary source. Original algorithms and explanatory prose; no upstream software or document text is redistributed."
          }
        ]
      },
      "capabilityPresets": {
        "lie-representations": {
          "type": "A",
          "rank": "4",
          "labels": "1,0,0,1"
        },
        "sun-tensor-products": {
          "title": "Adjoint of SU(5) times its dual",
          "n": "5",
          "left": "1,0,0,1",
          "right": "1,0,0,1"
        },
        "charged-branching": {
          "title": "Block restriction of Adjoint of SU(5)",
          "n": "5",
          "p": "3",
          "labels": "1,0,0,1"
        }
      }
    }
  },
  "claims": [
    {
      "id": "representation:su-5-weight-1-0-0-1#definition",
      "subject": "representation:su-5-weight-1-0-0-1",
      "key": "definition",
      "label": "Definition",
      "value": "The finite-dimensional continuous complex irreducible representation of SU(5) with Dynkin labels (1,0,0,1) in the displayed Bourbaki/Sage node order.",
      "evidence": [
        {
          "source": "workbench-etingof-lie",
          "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
        },
        {
          "source": "workbench-sage-roots",
          "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
        },
        {
          "source": "sage",
          "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
        },
        {
          "source": "conrad-centers",
          "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
        },
        {
          "source": "workbench-adams-indicator",
          "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
        }
      ],
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "representation:su-5-weight-1-0-0-1#dimension",
      "subject": "representation:su-5-weight-1-0-0-1",
      "key": "dimension",
      "label": "Complex dimension",
      "value": "24",
      "evidence": [
        {
          "source": "workbench-etingof-lie",
          "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
        },
        {
          "source": "workbench-sage-roots",
          "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
        },
        {
          "source": "sage",
          "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
        },
        {
          "source": "conrad-centers",
          "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
        },
        {
          "source": "workbench-adams-indicator",
          "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
        }
      ],
      "derivation": {
        "method": "Exact Weyl dimension product over positive coroots",
        "inputs": [
          "group:su-5",
          "source:workbench-etingof-lie",
          "source:workbench-sage-roots",
          "source:sage",
          "source:conrad-centers",
          "source:workbench-adams-indicator"
        ]
      },
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "representation:su-5-weight-1-0-0-1#field",
      "subject": "representation:su-5-weight-1-0-0-1",
      "key": "field",
      "label": "Coefficient field",
      "value": "ℂ; characteristic zero",
      "evidence": [
        {
          "source": "workbench-etingof-lie",
          "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
        },
        {
          "source": "workbench-sage-roots",
          "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
        },
        {
          "source": "sage",
          "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
        },
        {
          "source": "conrad-centers",
          "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
        },
        {
          "source": "workbench-adams-indicator",
          "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
        }
      ],
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "representation:su-5-weight-1-0-0-1#casimir",
      "subject": "representation:su-5-weight-1-0-0-1",
      "key": "casimir",
      "label": "Quadratic Casimir C₂",
      "value": "5",
      "evidence": [
        {
          "source": "workbench-etingof-lie",
          "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
        },
        {
          "source": "workbench-sage-roots",
          "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
        },
        {
          "source": "sage",
          "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
        },
        {
          "source": "conrad-centers",
          "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
        },
        {
          "source": "workbench-adams-indicator",
          "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
        }
      ],
      "derivation": {
        "method": "(lambda,lambda+2rho)/2 with squared long-root length two",
        "inputs": [
          "group:su-5",
          "source:workbench-etingof-lie",
          "source:workbench-sage-roots",
          "source:sage",
          "source:conrad-centers",
          "source:workbench-adams-indicator"
        ]
      },
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "representation:su-5-weight-1-0-0-1#index",
      "subject": "representation:su-5-weight-1-0-0-1",
      "key": "index",
      "label": "Quadratic index T(R)",
      "value": "5",
      "evidence": [
        {
          "source": "workbench-etingof-lie",
          "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
        },
        {
          "source": "workbench-sage-roots",
          "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
        },
        {
          "source": "sage",
          "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
        },
        {
          "source": "conrad-centers",
          "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
        },
        {
          "source": "workbench-adams-indicator",
          "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
        }
      ],
      "derivation": {
        "method": "T(R) dim(g) = C2(R) dim(R)",
        "inputs": [
          "group:su-5",
          "source:workbench-etingof-lie",
          "source:workbench-sage-roots",
          "source:sage",
          "source:conrad-centers",
          "source:workbench-adams-indicator"
        ]
      },
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "representation:su-5-weight-1-0-0-1#reality",
      "subject": "representation:su-5-weight-1-0-0-1",
      "key": "reality",
      "label": "Reality type",
      "value": "Real",
      "evidence": [
        {
          "source": "workbench-etingof-lie",
          "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
        },
        {
          "source": "workbench-sage-roots",
          "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
        },
        {
          "source": "sage",
          "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
        },
        {
          "source": "conrad-centers",
          "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
        },
        {
          "source": "workbench-adams-indicator",
          "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
        }
      ],
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "representation:su-5-weight-1-0-0-1#conjugate",
      "subject": "representation:su-5-weight-1-0-0-1",
      "key": "conjugate",
      "label": "Conjugate highest weight",
      "value": "(1,0,0,1)",
      "evidence": [
        {
          "source": "workbench-etingof-lie",
          "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
        },
        {
          "source": "workbench-sage-roots",
          "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
        },
        {
          "source": "sage",
          "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
        },
        {
          "source": "conrad-centers",
          "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
        },
        {
          "source": "workbench-adams-indicator",
          "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
        }
      ],
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "representation:su-5-weight-1-0-0-1#adjoint-descent",
      "subject": "representation:su-5-weight-1-0-0-1",
      "key": "adjoint-descent",
      "label": "Descends to the adjoint global form",
      "value": "Yes",
      "evidence": [
        {
          "source": "workbench-etingof-lie",
          "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
        },
        {
          "source": "workbench-sage-roots",
          "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
        },
        {
          "source": "sage",
          "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
        },
        {
          "source": "conrad-centers",
          "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
        },
        {
          "source": "workbench-adams-indicator",
          "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
        }
      ],
      "derivation": {
        "method": "Highest weight lies in the root lattice exactly when the full center acts trivially",
        "inputs": [
          "group:su-5",
          "source:workbench-etingof-lie",
          "source:workbench-sage-roots",
          "source:sage",
          "source:conrad-centers",
          "source:workbench-adams-indicator"
        ]
      },
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "representation:su-5-weight-1-0-0-1#central-kernel-order",
      "subject": "representation:su-5-weight-1-0-0-1",
      "key": "central-kernel-order",
      "label": "Order of central kernel",
      "value": "5",
      "evidence": [
        {
          "source": "workbench-etingof-lie",
          "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
        },
        {
          "source": "workbench-sage-roots",
          "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
        },
        {
          "source": "sage",
          "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
        },
        {
          "source": "conrad-centers",
          "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
        },
        {
          "source": "workbench-adams-indicator",
          "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
        }
      ],
      "derivation": {
        "method": "Order of the center divided by the order of this central character",
        "inputs": [
          "group:su-5",
          "source:workbench-etingof-lie",
          "source:workbench-sage-roots",
          "source:sage",
          "source:conrad-centers",
          "source:workbench-adams-indicator"
        ]
      },
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "representation:su-5-weight-1-0-0-1#representations-1",
      "subject": "representation:su-5-weight-1-0-0-1",
      "key": "representations-1",
      "label": "Highest weight and conventions",
      "value": "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.",
      "evidence": [
        {
          "source": "workbench-etingof-lie",
          "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
        },
        {
          "source": "workbench-sage-roots",
          "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
        },
        {
          "source": "sage",
          "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
        },
        {
          "source": "conrad-centers",
          "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
        },
        {
          "source": "workbench-adams-indicator",
          "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
        }
      ],
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "representation:su-5-weight-1-0-0-1#global-form-1",
      "subject": "representation:su-5-weight-1-0-0-1",
      "key": "global-form-1",
      "label": "Global form and center",
      "value": "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.",
      "evidence": [
        {
          "source": "workbench-etingof-lie",
          "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
        },
        {
          "source": "workbench-sage-roots",
          "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
        },
        {
          "source": "sage",
          "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
        },
        {
          "source": "conrad-centers",
          "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
        },
        {
          "source": "workbench-adams-indicator",
          "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
        }
      ],
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "representation:su-5-weight-1-0-0-1#physics-1",
      "subject": "representation:su-5-weight-1-0-0-1",
      "key": "physics-1",
      "label": "Use in a calculation",
      "value": "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.",
      "evidence": [
        {
          "source": "workbench-etingof-lie",
          "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
        },
        {
          "source": "workbench-sage-roots",
          "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
        },
        {
          "source": "sage",
          "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
        },
        {
          "source": "conrad-centers",
          "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
        },
        {
          "source": "workbench-adams-indicator",
          "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
        }
      ],
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "representation:su-5-weight-1-0-0-1#relation-1",
      "subject": "representation:su-5-weight-1-0-0-1",
      "key": "relation-1",
      "label": "Representation domain",
      "value": "group:su-5",
      "evidence": [
        {
          "source": "workbench-etingof-lie",
          "locator": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations."
        },
        {
          "source": "workbench-sage-roots",
          "locator": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08."
        },
        {
          "source": "sage",
          "locator": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL."
        },
        {
          "source": "conrad-centers",
          "locator": "Pages 1–4: the center is dual to P/Q, with classical and exceptional types tabulated."
        },
        {
          "source": "workbench-adams-indicator",
          "locator": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep."
        }
      ],
      "assumptions": [],
      "relationship": "representation-of",
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    }
  ],
  "sources": [
    {
      "id": "sage",
      "title": "SageMath · Weyl characters",
      "authors": [
        "Daniel Bump",
        "SageMath developers"
      ],
      "url": "https://doc.sagemath.org/html/en/thematic_tutorials/lie/weyl_character_ring.html",
      "kind": "documentation",
      "locatorHint": "Coroot notation; tensor products; symmetric and exterior powers; Weyl dimension formula; SL versus GL.",
      "licenseNote": "Linked source with original summaries of mathematical facts. Consult the source for its own terms; no blanket redistribution license is asserted."
    },
    {
      "id": "conrad-centers",
      "title": "Math 210C. Centers of simply connected semisimple groups",
      "authors": [
        "Brian Conrad"
      ],
      "url": "https://math.stanford.edu/~conrad/210CPage/handouts/centers.pdf",
      "kind": "lecture-notes",
      "locatorHint": "Center tables on pages 2–4; low-rank isomorphisms on page 4.",
      "licenseNote": "Linked author-hosted handout; factual center data are restated in original notation."
    },
    {
      "id": "workbench-etingof-lie",
      "title": "Lie Groups and Lie Algebras I",
      "authors": [
        "Pavel Etingof"
      ],
      "url": "https://math.mit.edu/~etingof/lnlg.pdf",
      "kind": "lecture-notes",
      "locatorHint": "Sections 25.3–25.4, 28.1–28.4: characters, Casimir eigenvalues, Weyl dimensions and type-A representations.",
      "licenseNote": "Linked primary source. Original algorithms and explanatory prose; no upstream software or document text is redistributed."
    },
    {
      "id": "workbench-sage-roots",
      "title": "SageMath: Cartan matrices",
      "authors": [
        "SageMath developers"
      ],
      "url": "https://doc.sagemath.org/html/en/reference/combinat/sage/combinat/root_system/cartan_matrix.html",
      "kind": "documentation",
      "locatorHint": "Finite Cartan matrices and root-system conventions; documentation checked 2026-11-08.",
      "licenseNote": "Linked primary source. Original algorithms and explanatory prose; no upstream software or document text is redistributed."
    },
    {
      "id": "workbench-adams-indicator",
      "title": "The Real Chevalley Involution",
      "authors": [
        "Jeffrey Adams"
      ],
      "url": "https://www.math.umd.edu/~jda/preprints/realchevalley.pdf",
      "kind": "paper",
      "locatorHint": "Lemma 5.3, equation (5.4), printed pages 16–17: the indicator of a self-dual finite-dimensional irrep.",
      "licenseNote": "Linked primary source. Original algorithms and explanatory prose; no upstream software or document text is redistributed."
    }
  ],
  "review": {
    "status": "pending-expert-review",
    "label": "Expert review pending",
    "currentReviews": 0,
    "staleReviews": 0,
    "fingerprint": "a6e6750954c8d904f9ce02fed72ba095a3c9d838ef0e2a51f6e1f5822031f895",
    "reviewers": []
  }
}