{
  "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/real-forms/sl-2-c-as-real/",
  "entity": {
    "id": "real-form:sl-2-c-as-real",
    "slug": "sl-2-c-as-real",
    "name": "sl(2, C) viewed over R real form",
    "symbol": "sl(2, C) viewed over R",
    "category": "lie",
    "level": "reference",
    "aliases": [],
    "searchTerms": [],
    "tags": [
      "Noncompact real form"
    ],
    "summary": "Noncompact real form of sl(2, C) ⊕ sl(2, C) with its curated integrating groups.",
    "definition": "The complex traceless 2 × 2 matrices with only real scalar multiplication retained. This is a simple real algebra, isomorphic to so(1,3); its complexification is sl(2,C) ⊕ sl(2,C).",
    "definitionEvidence": [
      {
        "source": "etingof-real-forms",
        "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
      },
      {
        "source": "etingof-lie-notes",
        "locator": "Sections 6.1–6.3: classical matrix groups and their Lie algebras"
      },
      {
        "source": "knapp-structure",
        "locator": "Theorem 6.105, printed page 362: complex simple Lie algebras viewed over R"
      }
    ],
    "properties": [
      {
        "key": "dimension",
        "label": "Real dimension",
        "value": "6",
        "evidence": [
          {
            "source": "etingof-real-forms",
            "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
          },
          {
            "source": "conrad",
            "locator": "Lecture 25 and Appendix T: root systems and classical root computations"
          },
          {
            "source": "etingof-lie-notes",
            "locator": "Sections 6.1–6.3: classical matrix groups and their Lie algebras"
          }
        ],
        "assumptions": []
      },
      {
        "key": "complexification",
        "label": "Complexification",
        "value": "sl(2, C) ⊕ sl(2, C)",
        "evidence": [
          {
            "source": "etingof-real-forms",
            "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
          }
        ],
        "assumptions": []
      },
      {
        "key": "compact",
        "label": "Compact real form",
        "value": "No",
        "evidence": [
          {
            "source": "etingof-real-forms",
            "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
          }
        ],
        "assumptions": []
      },
      {
        "key": "real-rank",
        "label": "Real rank",
        "value": "1",
        "evidence": [
          {
            "source": "etingof-real-forms",
            "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
          }
        ],
        "assumptions": []
      }
    ],
    "sections": [
      {
        "id": "global-forms",
        "title": "One algebra, several integrations",
        "paragraphs": [
          {
            "text": "A real form is algebraic data over R. The linked group records fix particular connected integrations, and state their global topology separately. Compactness of this real algebra should not be used to infer a particular quotient kernel.",
            "evidence": [
              {
                "source": "etingof-real-forms",
                "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
              },
              {
                "source": "conrad",
                "locator": "Appendix O, pages 231–232: fundamental groups and covering groups; Appendix V: central quotients"
              }
            ],
            "assumptions": []
          },
          {
            "text": "Here the complex algebra is A₁ ⊕ A₁. The same complexification also has the compact real form su(2) ⊕ su(2), but the two real algebras are different: the Lorentz algebra is simple over R and the compact one is a direct sum.",
            "evidence": [
              {
                "source": "etingof-real-forms",
                "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
              },
              {
                "source": "knapp-structure",
                "locator": "Theorem 6.105: real simple classification"
              }
            ],
            "derivation": {
              "method": "Compare the ideals of the realification with those of the compact direct sum, and complexify both.",
              "inputs": [
                "algebra:sl-2-c-as-real",
                "algebra:so-4-compact-r",
                "algebra:a-1-plus-a-1-c"
              ]
            },
            "assumptions": []
          }
        ]
      }
    ],
    "relationships": [
      {
        "type": "realizes-algebra",
        "target": "algebra:sl-2-c-as-real",
        "label": "Actual real Lie algebra",
        "evidence": [
          {
            "source": "etingof-real-forms",
            "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
          }
        ]
      },
      {
        "type": "real-form-of",
        "target": "algebra:a-1-plus-a-1-c",
        "label": "Complexification",
        "evidence": [
          {
            "source": "etingof-real-forms",
            "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
          }
        ]
      },
      {
        "type": "integrates-to",
        "target": "group:sl-2-c",
        "label": "Curated global form",
        "evidence": [
          {
            "source": "etingof-real-forms",
            "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
          },
          {
            "source": "conrad",
            "locator": "Appendix O, pages 231–232: fundamental groups and covering groups; Appendix V: central quotients"
          }
        ]
      },
      {
        "type": "integrates-to",
        "target": "group:so-1-3-identity",
        "label": "Curated global form",
        "evidence": [
          {
            "source": "etingof-real-forms",
            "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
          },
          {
            "source": "conrad",
            "locator": "Appendix O, pages 231–232: fundamental groups and covering groups; Appendix V: central quotients"
          }
        ]
      }
    ],
    "capabilities": [],
    "kind": "real-form",
    "data": {
      "complexification": "sl(2, C) ⊕ sl(2, C)",
      "complexificationIds": [
        "algebra:a-1-plus-a-1-c"
      ],
      "compact": false,
      "realRank": 1,
      "integrationIds": [
        "group:sl-2-c",
        "group:so-1-3-identity"
      ],
      "realAlgebraId": "algebra:sl-2-c-as-real"
    }
  },
  "claims": [
    {
      "id": "real-form:sl-2-c-as-real#definition",
      "subject": "real-form:sl-2-c-as-real",
      "key": "definition",
      "label": "Definition",
      "value": "The complex traceless 2 × 2 matrices with only real scalar multiplication retained. This is a simple real algebra, isomorphic to so(1,3); its complexification is sl(2,C) ⊕ sl(2,C).",
      "evidence": [
        {
          "source": "etingof-real-forms",
          "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
        },
        {
          "source": "etingof-lie-notes",
          "locator": "Sections 6.1–6.3: classical matrix groups and their Lie algebras"
        },
        {
          "source": "knapp-structure",
          "locator": "Theorem 6.105, printed page 362: complex simple Lie algebras viewed over R"
        }
      ],
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "real-form:sl-2-c-as-real#dimension",
      "subject": "real-form:sl-2-c-as-real",
      "key": "dimension",
      "label": "Real dimension",
      "value": "6",
      "evidence": [
        {
          "source": "etingof-real-forms",
          "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
        },
        {
          "source": "conrad",
          "locator": "Lecture 25 and Appendix T: root systems and classical root computations"
        },
        {
          "source": "etingof-lie-notes",
          "locator": "Sections 6.1–6.3: classical matrix groups and their Lie algebras"
        }
      ],
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "real-form:sl-2-c-as-real#complexification",
      "subject": "real-form:sl-2-c-as-real",
      "key": "complexification",
      "label": "Complexification",
      "value": "sl(2, C) ⊕ sl(2, C)",
      "evidence": [
        {
          "source": "etingof-real-forms",
          "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
        }
      ],
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "real-form:sl-2-c-as-real#compact",
      "subject": "real-form:sl-2-c-as-real",
      "key": "compact",
      "label": "Compact real form",
      "value": "No",
      "evidence": [
        {
          "source": "etingof-real-forms",
          "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
        }
      ],
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "real-form:sl-2-c-as-real#real-rank",
      "subject": "real-form:sl-2-c-as-real",
      "key": "real-rank",
      "label": "Real rank",
      "value": "1",
      "evidence": [
        {
          "source": "etingof-real-forms",
          "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
        }
      ],
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "real-form:sl-2-c-as-real#global-forms-1",
      "subject": "real-form:sl-2-c-as-real",
      "key": "global-forms-1",
      "label": "One algebra, several integrations",
      "value": "A real form is algebraic data over R. The linked group records fix particular connected integrations, and state their global topology separately. Compactness of this real algebra should not be used to infer a particular quotient kernel.",
      "evidence": [
        {
          "source": "etingof-real-forms",
          "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
        },
        {
          "source": "conrad",
          "locator": "Appendix O, pages 231–232: fundamental groups and covering groups; Appendix V: central quotients"
        }
      ],
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "real-form:sl-2-c-as-real#global-forms-2",
      "subject": "real-form:sl-2-c-as-real",
      "key": "global-forms-2",
      "label": "One algebra, several integrations",
      "value": "Here the complex algebra is A₁ ⊕ A₁. The same complexification also has the compact real form su(2) ⊕ su(2), but the two real algebras are different: the Lorentz algebra is simple over R and the compact one is a direct sum.",
      "evidence": [
        {
          "source": "etingof-real-forms",
          "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
        },
        {
          "source": "knapp-structure",
          "locator": "Theorem 6.105: real simple classification"
        }
      ],
      "derivation": {
        "method": "Compare the ideals of the realification with those of the compact direct sum, and complexify both.",
        "inputs": [
          "algebra:sl-2-c-as-real",
          "algebra:so-4-compact-r",
          "algebra:a-1-plus-a-1-c"
        ]
      },
      "assumptions": [],
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "real-form:sl-2-c-as-real#relation-1",
      "subject": "real-form:sl-2-c-as-real",
      "key": "relation-1",
      "label": "Actual real Lie algebra",
      "value": "algebra:sl-2-c-as-real",
      "evidence": [
        {
          "source": "etingof-real-forms",
          "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
        }
      ],
      "assumptions": [],
      "relationship": "realizes-algebra",
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "real-form:sl-2-c-as-real#relation-2",
      "subject": "real-form:sl-2-c-as-real",
      "key": "relation-2",
      "label": "Complexification",
      "value": "algebra:a-1-plus-a-1-c",
      "evidence": [
        {
          "source": "etingof-real-forms",
          "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
        }
      ],
      "assumptions": [],
      "relationship": "real-form-of",
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "real-form:sl-2-c-as-real#relation-3",
      "subject": "real-form:sl-2-c-as-real",
      "key": "relation-3",
      "label": "Curated global form",
      "value": "group:sl-2-c",
      "evidence": [
        {
          "source": "etingof-real-forms",
          "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
        },
        {
          "source": "conrad",
          "locator": "Appendix O, pages 231–232: fundamental groups and covering groups; Appendix V: central quotients"
        }
      ],
      "assumptions": [],
      "relationship": "integrates-to",
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    },
    {
      "id": "real-form:sl-2-c-as-real#relation-4",
      "subject": "real-form:sl-2-c-as-real",
      "key": "relation-4",
      "label": "Curated global form",
      "value": "group:so-1-3-identity",
      "evidence": [
        {
          "source": "etingof-real-forms",
          "locator": "Sections 41.2–41.4: compact, split, and classical real forms"
        },
        {
          "source": "conrad",
          "locator": "Appendix O, pages 231–232: fundamental groups and covering groups; Appendix V: central quotients"
        }
      ],
      "assumptions": [],
      "relationship": "integrates-to",
      "reviewStatus": "pending-expert-review",
      "revision": "2026.11-workbench.4"
    }
  ],
  "sources": [
    {
      "id": "conrad",
      "title": "Conrad and Landesman · Compact Lie groups",
      "authors": [
        "Brian Conrad",
        "Aaron Landesman"
      ],
      "url": "https://math.stanford.edu/~conrad/210CPage/handouts/lie_groups_notes.pdf",
      "kind": "lecture-notes",
      "locatorHint": "Numbered lectures and appendices; page numbers refer to the printed pagination.",
      "licenseNote": "Linked source with original summaries of mathematical facts. Consult the source for its own terms; no blanket redistribution license is asserted."
    },
    {
      "id": "etingof-lie-notes",
      "title": "Lie Groups and Lie Algebras",
      "authors": [
        "Pavel Etingof"
      ],
      "url": "https://ocw.mit.edu/courses/18-755-lie-groups-and-lie-algebras-ii-spring-2024/mit18_755_s24_lec_full.pdf",
      "kind": "lecture-notes",
      "locatorHint": "MIT 18.755, Spring 2024. Cite section numbers and printed pages.",
      "licenseNote": "Linked MIT OpenCourseWare lecture notes. Original summaries only; website content is not offered as a reproduction of these notes."
    },
    {
      "id": "etingof-real-forms",
      "title": "Lecture 15: Classification of Real Forms of Semisimple Lie Algebras",
      "authors": [
        "Pavel Etingof"
      ],
      "url": "https://ocw.mit.edu/courses/18-755-lie-groups-and-lie-algebras-ii-spring-2024/mit18_755_s24_lec15.pdf",
      "kind": "lecture-notes",
      "locatorHint": "Section 41, printed pages 218–225.",
      "licenseNote": "Linked MIT OpenCourseWare notes; definitions and classification facts are summarized in original prose."
    },
    {
      "id": "knapp-structure",
      "title": "Lie Groups Beyond an Introduction — Chapter VI: Structure Theory of Semisimple Groups",
      "authors": [
        "Anthony W. Knapp"
      ],
      "url": "https://www.math.stonybrook.edu/~aknapp/books/green/file4.pdf",
      "kind": "book",
      "locatorHint": "Chapter VI, including Theorem 6.46 and Theorem 6.105 (printed page 362).",
      "licenseNote": "Linked author-hosted chapter excerpt. No reproduction or redistribution permission is assumed."
    }
  ],
  "review": {
    "status": "pending-expert-review",
    "label": "Expert review pending",
    "currentReviews": 0,
    "staleReviews": 0,
    "fingerprint": "4185f9c40d8dd6fc9945ed27d02010d52db7adf1410fa8668f789072900afa65",
    "reviewers": []
  }
}