{
  "course": "index-theory-of-elliptic-operators",
  "scope": "Exact proof prerequisites and distinct onward/source-reading routes for the selected lessons.",
  "proof_prerequisites": [
    {
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/courses/harmonic-analysis-on-locally-compact-groups/reader/measure-and-hilbert-space-tools.html#1-from-an-outer-measure-to-a-measure",
      "result_locator": "Section 1: Lebesgue outer measure and completed measure",
      "role": "Lebesgue background",
      "reader_sha256": "289ab310ddb0239ea5df935bc2b8e110f619e025f4e933e940c52dff786e2929",
      "anchor_present": true
    },
    {
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/courses/harmonic-analysis-on-locally-compact-groups/reader/measure-and-hilbert-space-tools.html#2-integration-and-convergence-without-countability-assumptions",
      "result_locator": "Section 2, Theorems 2.1–2.2: monotone and dominated convergence",
      "role": "integration and dominated convergence",
      "reader_sha256": "289ab310ddb0239ea5df935bc2b8e110f619e025f4e933e940c52dff786e2929",
      "anchor_present": true
    },
    {
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/courses/harmonic-analysis-on-locally-compact-groups/reader/haar-measure-on-locally-compact-groups.html#OA-FND-HM-10",
      "result_locator": "Theorem 5.1(4), (5), (7): Tonelli, Fubini and agreement with ordinary products in the sigma-compact second-countable setting",
      "role": "Fubini on Euclidean Lebesgue products",
      "reader_sha256": "0a2b8bf367407652ae7214c207933b3c04d9e92e1ddea9a7437ab610a622bc79",
      "anchor_present": true
    },
    {
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/courses/foundations-of-von-neumann-algebras/hilbert-spaces-and-compact-operators.html#OA-FND-HS-04",
      "result_locator": "Parseval and Hilbert orthonormal bases",
      "role": "incoming proof prerequisite",
      "reader_sha256": "96e743d357c26ed76a7cdb66d2b023a99e6005049dac4b735b1ce93000d5d13e",
      "anchor_present": true
    },
    {
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/courses/foundations-of-von-neumann-algebras/hahn-banach-baire-and-the-basic-theorems-on-banach-spaces.html#OA-FND-HB-03",
      "result_locator": "Baire category theorem",
      "role": "incoming proof prerequisite",
      "reader_sha256": "818dda13511ac9bb6e07f7f8d1c6e2bb9538b5c4003c8ee11c746d68af9611e9",
      "anchor_present": true
    },
    {
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/courses/HA-LCA/HA-LCA-07.html",
      "result_locator": "Fourier uniqueness",
      "role": "incoming proof prerequisite",
      "reader_sha256": "eeeb9489ca531daf56639668f9d6be4e57ed8cf2a6524d1acbab788a114bc78e",
      "anchor_present": true
    }
  ],
  "source_links": [
    {
      "lesson": "hermite-functions-tempered-distributions-and-the-schwartz-kernel-theorem",
      "source_line": 5,
      "label": "The Bott operator, suspension, and reduction of the index to Euclidean space",
      "source_url": "the-bott-operator-suspension-and-reduction-of-the-index-to-euclidean-space.md",
      "reader_url": "bott-oscillator-algebra.html",
      "role": "algebraic provider required by Section 6; companion contains exact definitions and Lemmas 3.1 and 4.1, not full index lesson"
    },
    {
      "lesson": "hermite-functions-tempered-distributions-and-the-schwartz-kernel-theorem",
      "source_line": 9,
      "label": "Measure and Integration",
      "source_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-D10",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-D10",
      "role": "curriculum orientation; exact prerequisites are listed separately"
    },
    {
      "lesson": "hermite-functions-tempered-distributions-and-the-schwartz-kernel-theorem",
      "source_line": 9,
      "label": "Hilbert spaces and compact operators",
      "source_url": "course:foundations-of-von-neumann-algebras/hilbert-spaces-and-compact-operators#OA-FND-HS-04",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/courses/foundations-of-von-neumann-algebras/hilbert-spaces-and-compact-operators.html#OA-FND-HS-04",
      "role": "source or prerequisite locator as identified in the source"
    },
    {
      "lesson": "hermite-functions-tempered-distributions-and-the-schwartz-kernel-theorem",
      "source_line": 9,
      "label": "Hahn–Banach, Baire and the basic theorems on Banach spaces, Theorem 3.1",
      "source_url": "course:foundations-of-von-neumann-algebras/hahn-banach-baire-and-the-basic-theorems-on-banach-spaces#OA-FND-HB-03",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/courses/foundations-of-von-neumann-algebras/hahn-banach-baire-and-the-basic-theorems-on-banach-spaces.html#OA-FND-HB-03",
      "role": "source or prerequisite locator as identified in the source"
    },
    {
      "lesson": "hermite-functions-tempered-distributions-and-the-schwartz-kernel-theorem",
      "source_line": 9,
      "label": "The Fourier inversion theorem and the dual Haar measure",
      "source_url": "course:HA-LCA/HA-LCA-07",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/courses/HA-LCA/HA-LCA-07.html",
      "role": "source or prerequisite locator as identified in the source"
    },
    {
      "lesson": "hermite-functions-tempered-distributions-and-the-schwartz-kernel-theorem",
      "source_line": 133,
      "label": "Totally characteristic operators on the half space",
      "source_url": "course:totally-characteristic-operators/totally-characteristic-operators-on-the-half-space",
      "reader_url": null,
      "role": "unpublished onward reading; displayed as labelled text, not a proof dependency"
    },
    {
      "lesson": "hermite-functions-tempered-distributions-and-the-schwartz-kernel-theorem",
      "source_line": 133,
      "label": "The Bott operator, suspension, and reduction of the index to Euclidean space",
      "source_url": "the-bott-operator-suspension-and-reduction-of-the-index-to-euclidean-space.md",
      "reader_url": "bott-oscillator-algebra.html",
      "role": "algebraic provider required by Section 6; companion contains exact definitions and Lemmas 3.1 and 4.1, not full index lesson"
    },
    {
      "lesson": "hermite-functions-tempered-distributions-and-the-schwartz-kernel-theorem",
      "source_line": 137,
      "label": "free at the International Mathematical Union",
      "source_url": "https://www.mathunion.org/fileadmin/ICM/Proceedings/ICM1950.1/ICM1950.1.ocr.pdf",
      "reader_url": "https://www.mathunion.org/fileadmin/ICM/Proceedings/ICM1950.1/ICM1950.1.ocr.pdf",
      "role": "source or prerequisite locator as identified in the source"
    },
    {
      "lesson": "hermite-functions-tempered-distributions-and-the-schwartz-kernel-theorem",
      "source_line": 138,
      "label": "doi:10.1063/1.1665472",
      "source_url": "https://doi.org/10.1063/1.1665472",
      "reader_url": "https://doi.org/10.1063/1.1665472",
      "role": "source or prerequisite locator as identified in the source"
    }
  ],
  "supporting_readings": [
    {
      "id": "bott-oscillator-algebra",
      "title": "Exterior algebra and the Bott-oscillator identity — supporting excerpt",
      "source": "src/bott-oscillator-algebra.md",
      "source_sha256": "04a6980f7ee26072e2107198c28a66bec5bc05efe93cd5f0a76a782ea564e633",
      "reader": "bott-oscillator-algebra.html",
      "licence": "CC0-1.0",
      "authorship_and_checking": "Written by Claude Opus 5.5 (Anthropic), September 2026, revised October 2026. The September text was spot-checked by Claude Opus 5.5 in a separate session; the October revisions (finite trivializing covers over manifolds that are not compact; providers and proofs for the background facts) are self-checked by the writing AI. Public domain (CC0).",
      "heading_anchors": [],
      "link_projection": {},
      "unavailable_downstream": [],
      "reader_note_html": "Selected original definitions and full proofs only. The full Bott/index lesson is not part of this edition.",
      "excerpt_of": {
        "title": "The Bott operator, suspension, and reduction of the index to Euclidean space",
        "source_sha256": "ca3ac7ec60fea7fa25b5134a982044a8ba3613c8235c22f0abe5422441022048",
        "source_line_ranges_inclusive": [
          [
            146,
            177
          ],
          [
            218,
            222
          ],
          [
            229,
            243
          ]
        ],
        "included_results": [
          "Exterior-algebra definitions and full Lemma 3.1",
          "Definitions of the oscillator operators",
          "Full Lemma 4.1 and proof"
        ],
        "not_included": "All other sections and index-theory claims of the parent Bott lesson"
      }
    }
  ],
  "offline_scope": "Selected lessons and supporting excerpt only; external prerequisites remain online."
}