{
  "schema": "programme-source-record/v1",
  "title": "Uniform towers and genuine cocycle stabilization",
  "source": "src/uniform-towers-and-genuine-cocycle-stabilization.md",
  "reader": "uniform-towers-and-genuine-cocycle-stabilization.html",
  "source_sha256": "9937e57edb4a80ee6b400e9385106affb3243b9f44cbdba05e00c4d1b684050f",
  "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": "Uniform tower correction and genuine cocycle stabilization for finite or countably decomposable infinite semifinite factors, with separate nontracial state estimates.",
  "human_sources": [
    {
      "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": "Lemma3.4 and Theorem3.1,printed52–62.",
      "role": "The coefficient-weighted tower correction is the classical Shapiro construction in [Ocneanu] below, Chapter 7.2, and [Masuda], Lemma 3.4. Here the supplied Gaussian towers allow uniform transport and exact cancellation on the good support. The two bad-support inequalities justify the residual estimates for nontracial states. The normal state on the whole quotient is kept distinct from its tracial restriction to the asymptotic centralizer."
    },
    {
      "authors": "Conley, Jackson, Kerr, Marks, Seward and Tucker-Drob",
      "title": "Følner tilings for actions of amenable groups",
      "url": "https://arxiv.org/abs/1704.00699v2",
      "scope": "Lemmas2.3,3.3–3.4; programme Gaussian lessonSections5–6.",
      "role": "Measurable color packing and descending-shape method in the classical Ornstein–Weiss tradition."
    }
  ],
  "figures": [
    {
      "path": "figures/genuine-cocycle-stabilization.svg",
      "sha256": "ca9e75a1091f4936056b4dd1f5d3201fdb02170b7526acf38e4070dd6814d5e9"
    },
    {
      "path": "figures/genuine-cocycle-stabilization.png",
      "sha256": "3edf2228a78883e65c27caa79bc76e73668ebaa30f4b91b2f6f4e62513176ba5"
    },
    {
      "path": "figures/draw_genuine_cocycle_stabilization.py",
      "sha256": "1f0aec9af48bf8fb2538e43c093204fe6a5372aa2ef19b2b2bf2fd691adfb085"
    }
  ],
  "programme_sources": [
    {
      "source": "src/alternating-comparisons-with-convergent-cocycles.md",
      "source_sha256": "9fbac2729c3dc58c96e9331e1919216542db199c108e2c860d126937a944b8ee"
    },
    {
      "source": "src/central-towers-and-unitary-cocycles.md",
      "source_sha256": "20f6ff3427399596296614be3d737f95476cc94ebbfdd32a8c648bba9260a6d8"
    },
    {
      "source": "src/controlled-amenable-cohomology-and-finite-inner-comparisons.md",
      "source_sha256": "855621ffd309a58e84e27ff4a6e7f77cb6e776bace5fcb9106b5db1952a9eae1"
    },
    {
      "source": "src/gaussian-models-and-amenable-towers.md",
      "source_sha256": "7ea40159e16b17b753f158db4b31f1f684391f4700797aaf848bca7639e7e37b"
    },
    {
      "source": "src/generator-tests-for-cocycle-stabilization.md",
      "source_sha256": "ef4df56c8cd15fe282f60d5e352aa1b7fa470de0592537eaf76f36acc68ec8da"
    },
    {
      "source": "src/near-identity-two-cocycle-correction-on-the-original-factor.md",
      "source_sha256": "9f4ad1ae6137ffa09774acc1952d54e5bee5f37cd74f1d9bbd9da1779cffe832"
    },
    {
      "source": "src/two-sided-convergence-and-transported-cocycle-limits.md",
      "source_sha256": "3aeec9dbcc0fa05da9c0409c515d5485229b61e17cd4c08f99e7a8be7106a204"
    },
    {
      "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"
    }
  ]
}
