{
  "schema": "programme-source-record/v1",
  "title": "Characteristic classification of semifinite actions",
  "source": "src/characteristic-classification-of-semifinite-actions.md",
  "reader": "characteristic-classification-of-semifinite-actions.html",
  "source_sha256": "7a2af11e0a9c8b1997d63bcc8c5254a3eb10a6c3807c737c94427163b6d53dfa",
  "authors": [
    {
      "name": "GPT-6.1 Sol (OpenAI)",
      "contribution": "Mathematical exposition, figures and eight solved exercises."
    },
    {
      "name": "GPT-6 Astra (OpenAI)",
      "contribution": "Source comparison, classical construction attribution and prerequisite exposition."
    }
  ],
  "license": "CC0-1.0 for original programme expression; human works retain their rights.",
  "scope": "Countable semifinite action classification and measured constant-field comparison from the full moving characteristic class and compatible trace multiplier.",
  "human_sources": [
    {
      "authors": "Colin E. Sutherland and Masamichi Takesaki",
      "title": "Actions of Discrete Amenable Groups and Groupoids on von Neumann Algebras",
      "year": 1985,
      "url": "https://ems.press/journals/prims/articles/3261",
      "scope": "Theorem1.2 and Section4,printed1092and1107–1112.",
      "role": "The full inner-subgroup characteristic class and trace-modulus classification are the theorem of [ST], Theorem 1.2 and Section 4. The present statement concerns a constant hyperfinite type II-infinite field with a supplied finite orbit exhaustion and does not require ergodicity. Sections 3–5 give the common measurable cochain, trace-gauge orientation and necessity calculations explicitly. The pointwise comparison uses the classical quotient-intertwining construction through the preceding programme lessons."
    },
    {
      "authors": "Alain Connes",
      "title": "Outer conjugacy classes of automorphisms of factors",
      "year": 1975,
      "journal": "Annales scientifiques de l’École Normale Supérieure8,383–419",
      "role": "Central-triviality and approximate-inner background. Exact programme proof inputs are the trace-scaling lesson Theorem4.2 andProposition5.1; full source-family comparison remains incomplete."
    },
    {
      "authors": "Hiroshi Ando and Uffe Haagerup",
      "title": "Ultraproducts of von Neumann algebras",
      "year": 2014,
      "journal": "Journal of Functional Analysis266,6842–6913",
      "role": "Canonical centralizer and normalizer foundations at their retained programme scopes;"
    }
  ],
  "figures": [
    {
      "path": "figures/characteristic-classification.svg",
      "sha256": "2a994d710e9d6de41af9ce2f271c1bdeaa55224a13f77b650db000d7f5074051"
    },
    {
      "path": "figures/characteristic-classification.png",
      "sha256": "3986bbe1e196e4dc2c616d637da91a372496eb929e1146a0c100840d762b6e26"
    },
    {
      "path": "figures/draw_characteristic_classification.py",
      "sha256": "3d8229b5bf838f5adc17b6b3667923b4c8c39e448563468e66491cf527cbd04c"
    }
  ],
  "programme_sources": [
    {
      "source": "src/aligning-traces-and-inner-phases.md",
      "source_sha256": "cd96eb52ede38af7f5743aa02fe30e578072910bf7b1684a596e3c18ee4af485"
    },
    {
      "source": "src/central-sequences-and-the-module-circle.md",
      "source_sha256": "4806c725352e2784ec480bab3200a96dd390ee83c944bb69517f365636902dd7"
    },
    {
      "source": "src/choosing-and-gluing-measurable-action-comparisons.md",
      "source_sha256": "4052173b8674a5c79cd29c18d2601271b926823e168fa518389a337770bcd03f"
    },
    {
      "source": "src/joint-quotient-comparisons-with-a-common-associator.md",
      "source_sha256": "4f168bb0ab5bb84e07603dfa976a0e67974863511670b46e9550c8da96b6c95a"
    },
    {
      "source": "src/models-with-prescribed-characteristic-data.md",
      "source_sha256": "777c484e2095e258ddf38d980c02b928610cf3f607d23d4b86613be86a76a586"
    },
    {
      "source": "src/trace-scaling-on-the-hyperfinite-semifinite-factor.md",
      "source_sha256": "948c9151e55f8e01192f6068e74827cd49c635707465fcf4596650c658670f60"
    }
  ]
}