{
  "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/e-6-compact-sc-weight-1-0-0-0-0-0/",
  "entity": {
    "id": "representation:e-6-compact-sc-weight-1-0-0-0-0-0",
    "slug": "e-6-compact-sc-weight-1-0-0-0-0-0",
    "name": "27-dimensional representation of E6 (compact simply connected)",
    "symbol": "E6 · (1,0,0,0,0,0)",
    "category": "lie",
    "level": "executable",
    "aliases": [],
    "searchTerms": [
      "E6 (compact simply connected)",
      "27-dimensional representation",
      "27-dimensional",
      "Complex"
    ],
    "tags": [
      "Highest weight",
      "Compact",
      "Irreducible"
    ],
    "summary": "Highest weight (1,0,0,0,0,0) of the specified simply connected compact group: complex dimension 27, complex type, with exact dimension, Casimir, and center checks.",
    "definition": "The finite-dimensional continuous complex irreducible representation of E6 (compact simply connected) with Dynkin labels (1,0,0,0,0,0) 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": "workbench-sage-e",
        "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
      },
      {
        "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": "27",
        "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": "workbench-sage-e",
            "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
          },
          {
            "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:e-6-compact-sc",
            "source:workbench-etingof-lie",
            "source:workbench-sage-roots",
            "source:workbench-sage-e",
            "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": "workbench-sage-e",
            "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
          },
          {
            "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": "26/3",
        "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": "workbench-sage-e",
            "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
          },
          {
            "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:e-6-compact-sc",
            "source:workbench-etingof-lie",
            "source:workbench-sage-roots",
            "source:workbench-sage-e",
            "source:sage",
            "source:conrad-centers",
            "source:workbench-adams-indicator"
          ]
        },
        "assumptions": []
      },
      {
        "key": "index",
        "label": "Quadratic index T(R)",
        "value": "3",
        "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": "workbench-sage-e",
            "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
          },
          {
            "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:e-6-compact-sc",
            "source:workbench-etingof-lie",
            "source:workbench-sage-roots",
            "source:workbench-sage-e",
            "source:sage",
            "source:conrad-centers",
            "source:workbench-adams-indicator"
          ]
        },
        "assumptions": []
      },
      {
        "key": "reality",
        "label": "Reality type",
        "value": "Complex",
        "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": "workbench-sage-e",
            "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
          },
          {
            "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": "(0,0,0,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": "workbench-sage-e",
            "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
          },
          {
            "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": "No",
        "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": "workbench-sage-e",
            "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
          },
          {
            "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:e-6-compact-sc",
            "source:workbench-etingof-lie",
            "source:workbench-sage-roots",
            "source:workbench-sage-e",
            "source:sage",
            "source:conrad-centers",
            "source:workbench-adams-indicator"
          ]
        },
        "assumptions": []
      },
      {
        "key": "central-kernel-order",
        "label": "Order of central kernel",
        "value": "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": "workbench-sage-e",
            "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
          },
          {
            "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:e-6-compact-sc",
            "source:workbench-etingof-lie",
            "source:workbench-sage-roots",
            "source:workbench-sage-e",
            "source:sage",
            "source:conrad-centers",
            "source:workbench-adams-indicator"
          ]
        },
        "assumptions": []
      }
    ],
    "sections": [
      {
        "id": "representations",
        "title": "Highest weight and conventions",
        "paragraphs": [
          {
            "text": "The horizontal chain is 1–3–4–5–6 (continuing to 7 and 8 when present); node 2 attaches to node 4. 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": "workbench-sage-e",
                "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
              },
              {
                "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 no. 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": "workbench-sage-e",
                "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
              },
              {
                "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": "workbench-sage-e",
                "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
              },
              {
                "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:e-6-compact-sc",
        "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": "workbench-sage-e",
            "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
          },
          {
            "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"
    ],
    "kind": "representation",
    "data": {
      "domain": "group:e-6-compact-sc",
      "category": "finite-dimensional-continuous",
      "field": "C",
      "dimension": 27,
      "labels": "(1,0,0,0,0,0)",
      "displayTex": "E_{6}:\\quad V_{(1,0,0,0,0,0)}",
      "dynkinLabels": [
        1,
        0,
        0,
        0,
        0,
        0
      ],
      "conventionId": "lie-bourbaki-long-root-2-v1",
      "calculation": {
        "key": "E6",
        "type": "E",
        "rank": 6,
        "cartanMatrix": [
          [
            2,
            0,
            -1,
            0,
            0,
            0
          ],
          [
            0,
            2,
            0,
            -1,
            0,
            0
          ],
          [
            -1,
            0,
            2,
            -1,
            0,
            0
          ],
          [
            0,
            -1,
            -1,
            2,
            -1,
            0
          ],
          [
            0,
            0,
            0,
            -1,
            2,
            -1
          ],
          [
            0,
            0,
            0,
            0,
            -1,
            2
          ]
        ],
        "rootLengthsSquared": [
          "2",
          "2",
          "2",
          "2",
          "2",
          "2"
        ],
        "positiveCorootCount": 36,
        "algebraDimension": 78,
        "simplyConnectedGroup": "E6 (compact simply connected)",
        "center": "Z/3",
        "centerOrder": 3,
        "dualCoxeterNumber": 12,
        "adjointLabels": [
          0,
          1,
          0,
          0,
          0,
          0
        ],
        "exampleLabels": [
          1,
          0,
          0,
          0,
          0,
          0
        ],
        "numbering": "The horizontal chain is 1–3–4–5–6 (continuing to 7 and 8 when present); node 2 attaches to node 4.",
        "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,
          0,
          0,
          0
        ],
        "dimension": "27",
        "casimir": {
          "numerator": "26",
          "denominator": "3",
          "text": "26/3",
          "latex": "\\frac{26}{3}"
        },
        "index": {
          "numerator": "3",
          "denominator": "1",
          "text": "3",
          "latex": "3"
        },
        "conjugate": [
          0,
          0,
          0,
          0,
          0,
          1
        ],
        "selfDual": false,
        "reality": "Complex",
        "frobeniusSchurIndicator": 0,
        "adjointDescent": false,
        "centerCharacterOrder": "3",
        "centerKernelOrder": "1",
        "centerCharge": null,
        "centerChargeModulus": null,
        "rootBasisCoordinates": [
          {
            "numerator": "4",
            "denominator": "3",
            "text": "4/3",
            "latex": "\\frac{4}{3}"
          },
          {
            "numerator": "1",
            "denominator": "1",
            "text": "1",
            "latex": "1"
          },
          {
            "numerator": "5",
            "denominator": "3",
            "text": "5/3",
            "latex": "\\frac{5}{3}"
          },
          {
            "numerator": "2",
            "denominator": "1",
            "text": "2",
            "latex": "2"
          },
          {
            "numerator": "4",
            "denominator": "3",
            "text": "4/3",
            "latex": "\\frac{4}{3}"
          },
          {
            "numerator": "2",
            "denominator": "3",
            "text": "2/3",
            "latex": "\\frac{2}{3}"
          }
        ],
        "positiveCoroots": [
          [
            0,
            0,
            0,
            0,
            0,
            1
          ],
          [
            0,
            0,
            0,
            0,
            1,
            0
          ],
          [
            0,
            0,
            0,
            1,
            0,
            0
          ],
          [
            0,
            0,
            1,
            0,
            0,
            0
          ],
          [
            0,
            1,
            0,
            0,
            0,
            0
          ],
          [
            1,
            0,
            0,
            0,
            0,
            0
          ],
          [
            0,
            0,
            0,
            0,
            1,
            1
          ],
          [
            0,
            0,
            0,
            1,
            1,
            0
          ],
          [
            0,
            0,
            1,
            1,
            0,
            0
          ],
          [
            0,
            1,
            0,
            1,
            0,
            0
          ],
          [
            1,
            0,
            1,
            0,
            0,
            0
          ],
          [
            0,
            0,
            0,
            1,
            1,
            1
          ],
          [
            0,
            0,
            1,
            1,
            1,
            0
          ],
          [
            0,
            1,
            0,
            1,
            1,
            0
          ],
          [
            0,
            1,
            1,
            1,
            0,
            0
          ],
          [
            1,
            0,
            1,
            1,
            0,
            0
          ],
          [
            0,
            0,
            1,
            1,
            1,
            1
          ],
          [
            0,
            1,
            0,
            1,
            1,
            1
          ],
          [
            0,
            1,
            1,
            1,
            1,
            0
          ],
          [
            1,
            0,
            1,
            1,
            1,
            0
          ],
          [
            1,
            1,
            1,
            1,
            0,
            0
          ],
          [
            0,
            1,
            1,
            1,
            1,
            1
          ],
          [
            0,
            1,
            1,
            2,
            1,
            0
          ],
          [
            1,
            0,
            1,
            1,
            1,
            1
          ],
          [
            1,
            1,
            1,
            1,
            1,
            0
          ],
          [
            0,
            1,
            1,
            2,
            1,
            1
          ],
          [
            1,
            1,
            1,
            1,
            1,
            1
          ],
          [
            1,
            1,
            1,
            2,
            1,
            0
          ],
          [
            0,
            1,
            1,
            2,
            2,
            1
          ],
          [
            1,
            1,
            1,
            2,
            1,
            1
          ],
          [
            1,
            1,
            2,
            2,
            1,
            0
          ],
          [
            1,
            1,
            1,
            2,
            2,
            1
          ],
          [
            1,
            1,
            2,
            2,
            1,
            1
          ],
          [
            1,
            1,
            2,
            2,
            2,
            1
          ],
          [
            1,
            1,
            2,
            3,
            2,
            1
          ],
          [
            1,
            2,
            2,
            3,
            2,
            1
          ]
        ],
        "factors": [
          {
            "coroot": [
              0,
              0,
              0,
              0,
              0,
              1
            ],
            "numerator": "1",
            "denominator": "1"
          },
          {
            "coroot": [
              0,
              0,
              0,
              0,
              1,
              0
            ],
            "numerator": "1",
            "denominator": "1"
          },
          {
            "coroot": [
              0,
              0,
              0,
              1,
              0,
              0
            ],
            "numerator": "1",
            "denominator": "1"
          },
          {
            "coroot": [
              0,
              0,
              1,
              0,
              0,
              0
            ],
            "numerator": "1",
            "denominator": "1"
          },
          {
            "coroot": [
              0,
              1,
              0,
              0,
              0,
              0
            ],
            "numerator": "1",
            "denominator": "1"
          },
          {
            "coroot": [
              1,
              0,
              0,
              0,
              0,
              0
            ],
            "numerator": "2",
            "denominator": "1"
          },
          {
            "coroot": [
              0,
              0,
              0,
              0,
              1,
              1
            ],
            "numerator": "2",
            "denominator": "2"
          },
          {
            "coroot": [
              0,
              0,
              0,
              1,
              1,
              0
            ],
            "numerator": "2",
            "denominator": "2"
          },
          {
            "coroot": [
              0,
              0,
              1,
              1,
              0,
              0
            ],
            "numerator": "2",
            "denominator": "2"
          },
          {
            "coroot": [
              0,
              1,
              0,
              1,
              0,
              0
            ],
            "numerator": "2",
            "denominator": "2"
          },
          {
            "coroot": [
              1,
              0,
              1,
              0,
              0,
              0
            ],
            "numerator": "3",
            "denominator": "2"
          },
          {
            "coroot": [
              0,
              0,
              0,
              1,
              1,
              1
            ],
            "numerator": "3",
            "denominator": "3"
          },
          {
            "coroot": [
              0,
              0,
              1,
              1,
              1,
              0
            ],
            "numerator": "3",
            "denominator": "3"
          },
          {
            "coroot": [
              0,
              1,
              0,
              1,
              1,
              0
            ],
            "numerator": "3",
            "denominator": "3"
          },
          {
            "coroot": [
              0,
              1,
              1,
              1,
              0,
              0
            ],
            "numerator": "3",
            "denominator": "3"
          },
          {
            "coroot": [
              1,
              0,
              1,
              1,
              0,
              0
            ],
            "numerator": "4",
            "denominator": "3"
          },
          {
            "coroot": [
              0,
              0,
              1,
              1,
              1,
              1
            ],
            "numerator": "4",
            "denominator": "4"
          },
          {
            "coroot": [
              0,
              1,
              0,
              1,
              1,
              1
            ],
            "numerator": "4",
            "denominator": "4"
          },
          {
            "coroot": [
              0,
              1,
              1,
              1,
              1,
              0
            ],
            "numerator": "4",
            "denominator": "4"
          },
          {
            "coroot": [
              1,
              0,
              1,
              1,
              1,
              0
            ],
            "numerator": "5",
            "denominator": "4"
          },
          {
            "coroot": [
              1,
              1,
              1,
              1,
              0,
              0
            ],
            "numerator": "5",
            "denominator": "4"
          },
          {
            "coroot": [
              0,
              1,
              1,
              1,
              1,
              1
            ],
            "numerator": "5",
            "denominator": "5"
          },
          {
            "coroot": [
              0,
              1,
              1,
              2,
              1,
              0
            ],
            "numerator": "5",
            "denominator": "5"
          },
          {
            "coroot": [
              1,
              0,
              1,
              1,
              1,
              1
            ],
            "numerator": "6",
            "denominator": "5"
          },
          {
            "coroot": [
              1,
              1,
              1,
              1,
              1,
              0
            ],
            "numerator": "6",
            "denominator": "5"
          },
          {
            "coroot": [
              0,
              1,
              1,
              2,
              1,
              1
            ],
            "numerator": "6",
            "denominator": "6"
          },
          {
            "coroot": [
              1,
              1,
              1,
              1,
              1,
              1
            ],
            "numerator": "7",
            "denominator": "6"
          },
          {
            "coroot": [
              1,
              1,
              1,
              2,
              1,
              0
            ],
            "numerator": "7",
            "denominator": "6"
          },
          {
            "coroot": [
              0,
              1,
              1,
              2,
              2,
              1
            ],
            "numerator": "7",
            "denominator": "7"
          },
          {
            "coroot": [
              1,
              1,
              1,
              2,
              1,
              1
            ],
            "numerator": "8",
            "denominator": "7"
          },
          {
            "coroot": [
              1,
              1,
              2,
              2,
              1,
              0
            ],
            "numerator": "8",
            "denominator": "7"
          },
          {
            "coroot": [
              1,
              1,
              1,
              2,
              2,
              1
            ],
            "numerator": "9",
            "denominator": "8"
          },
          {
            "coroot": [
              1,
              1,
              2,
              2,
              1,
              1
            ],
            "numerator": "9",
            "denominator": "8"
          },
          {
            "coroot": [
              1,
              1,
              2,
              2,
              2,
              1
            ],
            "numerator": "10",
            "denominator": "9"
          },
          {
            "coroot": [
              1,
              1,
              2,
              3,
              2,
              1
            ],
            "numerator": "11",
            "denominator": "10"
          },
          {
            "coroot": [
              1,
              2,
              2,
              3,
              2,
              1
            ],
            "numerator": "12",
            "denominator": "11"
          }
        ],
        "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-e",
            "title": "SageMath: Root system data for type E",
            "authors": [
              "SageMath developers"
            ],
            "url": "https://doc.sagemath.org/html/en/reference/combinat/sage/combinat/root_system/type_E.html",
            "kind": "documentation",
            "locatorHint": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4.",
            "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": "E",
          "rank": "6",
          "labels": "1,0,0,0,0,0"
        }
      }
    }
  },
  "claims": [
    {
      "id": "representation:e-6-compact-sc-weight-1-0-0-0-0-0#definition",
      "subject": "representation:e-6-compact-sc-weight-1-0-0-0-0-0",
      "key": "definition",
      "label": "Definition",
      "value": "The finite-dimensional continuous complex irreducible representation of E6 (compact simply connected) with Dynkin labels (1,0,0,0,0,0) 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": "workbench-sage-e",
          "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
        },
        {
          "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:e-6-compact-sc-weight-1-0-0-0-0-0#dimension",
      "subject": "representation:e-6-compact-sc-weight-1-0-0-0-0-0",
      "key": "dimension",
      "label": "Complex dimension",
      "value": "27",
      "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": "workbench-sage-e",
          "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
        },
        {
          "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:e-6-compact-sc",
          "source:workbench-etingof-lie",
          "source:workbench-sage-roots",
          "source:workbench-sage-e",
          "source:sage",
          "source:conrad-centers",
          "source:workbench-adams-indicator"
        ]
      },
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "representation:e-6-compact-sc-weight-1-0-0-0-0-0#field",
      "subject": "representation:e-6-compact-sc-weight-1-0-0-0-0-0",
      "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": "workbench-sage-e",
          "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
        },
        {
          "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:e-6-compact-sc-weight-1-0-0-0-0-0#casimir",
      "subject": "representation:e-6-compact-sc-weight-1-0-0-0-0-0",
      "key": "casimir",
      "label": "Quadratic Casimir C₂",
      "value": "26/3",
      "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": "workbench-sage-e",
          "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
        },
        {
          "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:e-6-compact-sc",
          "source:workbench-etingof-lie",
          "source:workbench-sage-roots",
          "source:workbench-sage-e",
          "source:sage",
          "source:conrad-centers",
          "source:workbench-adams-indicator"
        ]
      },
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "representation:e-6-compact-sc-weight-1-0-0-0-0-0#index",
      "subject": "representation:e-6-compact-sc-weight-1-0-0-0-0-0",
      "key": "index",
      "label": "Quadratic index T(R)",
      "value": "3",
      "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": "workbench-sage-e",
          "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
        },
        {
          "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:e-6-compact-sc",
          "source:workbench-etingof-lie",
          "source:workbench-sage-roots",
          "source:workbench-sage-e",
          "source:sage",
          "source:conrad-centers",
          "source:workbench-adams-indicator"
        ]
      },
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "representation:e-6-compact-sc-weight-1-0-0-0-0-0#reality",
      "subject": "representation:e-6-compact-sc-weight-1-0-0-0-0-0",
      "key": "reality",
      "label": "Reality type",
      "value": "Complex",
      "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": "workbench-sage-e",
          "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
        },
        {
          "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:e-6-compact-sc-weight-1-0-0-0-0-0#conjugate",
      "subject": "representation:e-6-compact-sc-weight-1-0-0-0-0-0",
      "key": "conjugate",
      "label": "Conjugate highest weight",
      "value": "(0,0,0,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": "workbench-sage-e",
          "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
        },
        {
          "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:e-6-compact-sc-weight-1-0-0-0-0-0#adjoint-descent",
      "subject": "representation:e-6-compact-sc-weight-1-0-0-0-0-0",
      "key": "adjoint-descent",
      "label": "Descends to the adjoint global form",
      "value": "No",
      "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": "workbench-sage-e",
          "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
        },
        {
          "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:e-6-compact-sc",
          "source:workbench-etingof-lie",
          "source:workbench-sage-roots",
          "source:workbench-sage-e",
          "source:sage",
          "source:conrad-centers",
          "source:workbench-adams-indicator"
        ]
      },
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "representation:e-6-compact-sc-weight-1-0-0-0-0-0#central-kernel-order",
      "subject": "representation:e-6-compact-sc-weight-1-0-0-0-0-0",
      "key": "central-kernel-order",
      "label": "Order of central kernel",
      "value": "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": "workbench-sage-e",
          "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
        },
        {
          "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:e-6-compact-sc",
          "source:workbench-etingof-lie",
          "source:workbench-sage-roots",
          "source:workbench-sage-e",
          "source:sage",
          "source:conrad-centers",
          "source:workbench-adams-indicator"
        ]
      },
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "representation:e-6-compact-sc-weight-1-0-0-0-0-0#representations-1",
      "subject": "representation:e-6-compact-sc-weight-1-0-0-0-0-0",
      "key": "representations-1",
      "label": "Highest weight and conventions",
      "value": "The horizontal chain is 1–3–4–5–6 (continuing to 7 and 8 when present); node 2 attaches to node 4. 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": "workbench-sage-e",
          "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
        },
        {
          "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:e-6-compact-sc-weight-1-0-0-0-0-0#global-form-1",
      "subject": "representation:e-6-compact-sc-weight-1-0-0-0-0-0",
      "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 no. 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": "workbench-sage-e",
          "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
        },
        {
          "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:e-6-compact-sc-weight-1-0-0-0-0-0#physics-1",
      "subject": "representation:e-6-compact-sc-weight-1-0-0-0-0-0",
      "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": "workbench-sage-e",
          "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
        },
        {
          "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:e-6-compact-sc-weight-1-0-0-0-0-0#relation-1",
      "subject": "representation:e-6-compact-sc-weight-1-0-0-0-0-0",
      "key": "relation-1",
      "label": "Representation domain",
      "value": "group:e-6-compact-sc",
      "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": "workbench-sage-e",
          "locator": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4."
        },
        {
          "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-sage-e",
      "title": "SageMath: Root system data for type E",
      "authors": [
        "SageMath developers"
      ],
      "url": "https://doc.sagemath.org/html/en/reference/combinat/sage/combinat/root_system/type_E.html",
      "kind": "documentation",
      "locatorHint": "AmbientSpace and CartanType.dynkin_diagram(): Bourbaki nodes, with node 2 attached to node 4.",
      "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": "5adf094278a67d329ccea38256dcea936a40a468aa340a3f3d3a1532e020fc47",
    "reviewers": []
  }
}