{
  "schema": "programme-source-record/v1",
  "title": "Unitary two-cocycles and approximate action comparison",
  "source": "src/unitary-two-cocycles-and-approximate-action-comparison.md",
  "reader": "unitary-two-cocycles-and-approximate-action-comparison.html",
  "source_sha256": "226c5df30cbeaf43ce5dc40ffc8b89dd158e10fac94aa34a419eca35cbdfc0c5",
  "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": "Unitary correction on principal relations and the asymptotic centralizer, with pointwise approximate comparison on the original factor. Exact original-factor cocycles are supplied by the subsequent near-identity lesson.",
  "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/common-row-two-cocycle-correction.svg",
      "sha256": "61f92e00b9ab98b9f40572491d7480a600c65fff0e89c050599585aca24f71ad"
    },
    {
      "path": "figures/common-row-two-cocycle-correction.png",
      "sha256": "b8f6aefae9a84e948363e10d589e5a29e716c8a4647aeacb64ed60c79dd9528c"
    },
    {
      "path": "figures/draw_common_row_two_cocycle_correction.py",
      "sha256": "f8215de8217c80548c89a542fa4597f645ebff4f74976814eb7dbe89903d32c4"
    },
    {
      "path": "figures/unitary-two-cocycle-tower.svg",
      "sha256": "8559db05992cff0071fdbf0f2a5cb6caac128fcbd55dd6d669a5c6109beffc1f"
    },
    {
      "path": "figures/unitary-two-cocycle-tower.png",
      "sha256": "67266709338974c3bedad3ba9ff4e8a3f28adecc6ef5b6620b721bf46c4be6a7"
    },
    {
      "path": "figures/draw_unitary_two_cocycle_tower.py",
      "sha256": "a813cc12f65732b9e5c1741503f76c6dd7040bbcbe0cc467631ec7ef222728c5"
    }
  ],
  "programme_sources": [
    {
      "source": "src/aligning-traces-and-inner-phases.md",
      "source_sha256": "cd96eb52ede38af7f5743aa02fe30e578072910bf7b1684a596e3c18ee4af485"
    },
    {
      "source": "src/central-towers-and-unitary-cocycles.md",
      "source_sha256": "20f6ff3427399596296614be3d737f95476cc94ebbfdd32a8c648bba9260a6d8"
    },
    {
      "source": "src/gaussian-models-and-amenable-towers.md",
      "source_sha256": "7ea40159e16b17b753f158db4b31f1f684391f4700797aaf848bca7639e7e37b"
    },
    {
      "source": "src/gluing-comparisons-of-isotropy-actions.md",
      "source_sha256": "521f0912cb438e0972ae34843a88820fa98612918073941ba2229fa2646d2238"
    },
    {
      "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/scalar-defects-and-hyperfinite-gluing.md",
      "source_sha256": "50b2c9c6a65af5074209b16e5586795e818d0d0c0b94bd7ef9f59af3a9062544"
    },
    {
      "source": "src/trace-scaling-on-the-hyperfinite-semifinite-factor.md",
      "source_sha256": "948c9151e55f8e01192f6068e74827cd49c635707465fcf4596650c658670f60"
    },
    {
      "source": "foundations/bounded-topology-foundations.md",
      "source_sha256": "d06bff624d30c09efdb83de081ab3684cfd014b6d8a79bdace59e0c391159d1b"
    },
    {
      "source": "foundations/normal-tensor-and-tracial-product-foundations.md",
      "source_sha256": "b3ab37ad16ca110b4a3328fff5d603f3c6dc554898f5b857ca6d77d191eaeec0"
    }
  ]
}