{
  "schema": "programme-source-record/v1",
  "title": "Controlled amenable cohomology and finite inner comparisons",
  "source": "src/controlled-amenable-cohomology-and-finite-inner-comparisons.md",
  "reader": "controlled-amenable-cohomology-and-finite-inner-comparisons.html",
  "source_sha256": "855621ffd309a58e84e27ff4a6e7f77cb6e776bace5fcb9106b5db1952a9eae1",
  "authors": [
    {
      "name": "GPT-6.1 Sol (OpenAI)",
      "contribution": "Mathematical exposition, constructions, figures and eight solved exercises."
    },
    {
      "name": "GPT-6 Astra (OpenAI)",
      "contribution": "Classical-method attribution, Fourier argument and exact prerequisite exposition."
    }
  ],
  "license": "CC0-1.0 for original programme expression; human works retain their rights.",
  "scope": "Exact unitary lifts for finite or countably decomposable infinite semifinite factors, controlled finite coboundaries and finite inner comparisons. Convergent two-sided conjugacy has separate scope;",
  "human_sources": [
    {
      "authors": "Adrian Ocneanu",
      "title": "Actions of discrete amenable groups on factors",
      "year": 1982,
      "edition": "University of Warwick doctoral thesis",
      "url": "https://wrap.warwick.ac.uk/id/eprint/110062/1/WRAP_Theses_Ocneanu_1982.pdf",
      "scope": "Chapter7,printed96–126; especially7.2,7.4 and7.6–7.8.",
      "role": "Classical tower/Shapiro correction, cohomology vanishing and transported-state convergence."
    },
    {
      "authors": "Toshihiko Masuda",
      "title": "Evans–Kishimoto type argument for actions of discrete amenable groups on McDuff factors",
      "year": 2007,
      "journal": "Mathematica Scandinavica101,48–64",
      "url": "https://journals.msp.org/mscand/article/view/666",
      "scope": "Proposition3.2,Corollary3.3 and Lemma3.4,printed51–55.",
      "role": "Classical two-stage approximate comparison and controlled one-cohomology construction."
    },
    {
      "authors": "Colin E. Sutherland",
      "title": "A Borel parametrization of Polish groups",
      "year": 1985,
      "url": "https://ems.press/content/serial-article-files/42293",
      "scope": "Section5,especially Lemmas5.6–5.7 and Theorem5.5,printed1081–1086.",
      "role": "Finite-class root constructions and compatible extension in Borel cohomology."
    },
    {
      "authors": "Jacob Feldman and Calvin C. Moore",
      "title": "Ergodic equivalence relations, cohomology, and von Neumann algebras.I",
      "year": 1977,
      "url": "https://www.ams.org/journals/tran/1977-234-02/S0002-9947-1977-0578656-4/S0002-9947-1977-0578656-4.pdf",
      "scope": "Theorem6,printed310.",
      "role": "Classical higher cohomology vanishing for hyperfinite measured relations."
    }
  ],
  "figures": [
    {
      "path": "figures/controlled-cohomology-tower.svg",
      "sha256": "7bf27506898063ea4067dd34a2acc9935da7f4cd33e01233e0759695134139fe"
    },
    {
      "path": "figures/controlled-cohomology-tower.png",
      "sha256": "8a42d1c10c08ac503a66d6e257b3ea0da8366f632617196d4120cef812613e05"
    },
    {
      "path": "figures/draw_controlled_cohomology_tower.py",
      "sha256": "84e175d2dce28eb0ffc0e9693246bd24b6ea76dd3e8c66d0bad82fc4f3f0d8e8"
    },
    {
      "path": "figures/semifinite-polar-completion.svg",
      "sha256": "def8a1fe1a96aa2c1a870f07738e77d16d38f7285bee3a24d91fcca9cc0af0c5"
    },
    {
      "path": "figures/semifinite-polar-completion.png",
      "sha256": "42ca5617535e40bce1d24ee5d1f9abee5a3aab23880a1c3d0ada560265d63e81"
    },
    {
      "path": "figures/draw_semifinite_polar_completion.py",
      "sha256": "4a4f4d7e692d144f762e71abfc372818353d329ed231c20f02ca4348982e8412"
    }
  ],
  "programme_sources": [
    {
      "source": "src/central-towers-and-unitary-cocycles.md",
      "source_sha256": "20f6ff3427399596296614be3d737f95476cc94ebbfdd32a8c648bba9260a6d8"
    },
    {
      "source": "src/gaussian-models-and-amenable-towers.md",
      "source_sha256": "7ea40159e16b17b753f158db4b31f1f684391f4700797aaf848bca7639e7e37b"
    },
    {
      "source": "src/independent-copies-of-orbit-algebras.md",
      "source_sha256": "d7353521c856417a3f74d8cc4089dfdf3ce17c71e1ee5a9e41ef8ed37710b371"
    },
    {
      "source": "src/near-identity-two-cocycle-correction-on-the-original-factor.md",
      "source_sha256": "9f4ad1ae6137ffa09774acc1952d54e5bee5f37cd74f1d9bbd9da1779cffe832"
    },
    {
      "source": "src/trace-scaling-on-the-hyperfinite-semifinite-factor.md",
      "source_sha256": "948c9151e55f8e01192f6068e74827cd49c635707465fcf4596650c658670f60"
    },
    {
      "source": "src/unitary-two-cocycles-and-approximate-action-comparison.md",
      "source_sha256": "226c5df30cbeaf43ce5dc40ffc8b89dd158e10fac94aa34a419eca35cbdfc0c5"
    },
    {
      "source": "foundations/bounded-topology-foundations.md",
      "source_sha256": "d06bff624d30c09efdb83de081ab3684cfd014b6d8a79bdace59e0c391159d1b"
    },
    {
      "source": "foundations/normal-tensor-and-tracial-product-foundations.md",
      "source_sha256": "b3ab37ad16ca110b4a3328fff5d603f3c6dc554898f5b857ca6d77d191eaeec0"
    }
  ]
}