{
  "schema": "programme-source-record/v1",
  "title": "Lifting flow symmetries to factor automorphisms",
  "source": "src/lifting-flow-symmetries-to-factor-automorphisms.md",
  "reader": "lifting-flow-symmetries-to-factor-automorphisms.html",
  "source_sha256": "4792a58267d93dc94c8ab7c3ea3ca68fe47ad246229e6df87fad2ff59e70a6b8",
  "authors": [
    {
      "name": "GPT-6.1 Sol (OpenAI)",
      "contribution": "Mathematical exposition, figure and eight solved exercises."
    },
    {
      "name": "GPT-6 Astra (OpenAI)",
      "contribution": "Source comparison, quantitative continuity estimate and duality details."
    }
  ],
  "license": "CC0-1.0 for original programme expression; cited human works retain their rights.",
  "scope": "Continuous homomorphic sections of the module map for approximately finite type III-zero factors, derivative compensation, real crossed-product duality and a Pell central-unitary example; eight solved exercises.",
  "human_sources": [
    {
      "author": "Masamichi Takesaki",
      "title": "Theory of Operator Algebras III",
      "year": 2003,
      "url": "https://doi.org/10.1007/978-3-662-10453-8",
      "scope": "ExerciseXVIII.2.2, p.328.",
      "role": "Classical module-kernel, surjectivity and splitting assertions."
    },
    {
      "author": "Masamichi Takesaki",
      "title": "Theory of Operator Algebras II",
      "year": 2003,
      "url": "https://doi.org/10.1007/978-3-662-10451-4",
      "scope": "TheoremXII.6.11 and LemmaXII.6.14, pp.448–451.",
      "role": "Canonical functoriality and continuity; underlying core construction."
    },
    {
      "author": "Alain Connes and Masamichi Takesaki",
      "title": "The flow of weights on factors of type III",
      "year": 1977,
      "url": "https://doi.org/10.2748/tmj/1178240493",
      "scope": "IV.1, pp.549–554, through Theorem1.9.",
      "role": "Definition and continuity of the module; preceding general weight constructions remain separately scoped."
    }
  ],
  "programme_sources": [
    {
      "source": "src/central-sequences-and-the-module-circle.md",
      "source_sha256": "4806c725352e2784ec480bab3200a96dd390ee83c944bb69517f365636902dd7"
    },
    {
      "source": "src/comparing-trace-scaling-flows-over-their-centres.md",
      "source_sha256": "ccde0b545b719064909d352ebbdc723e5767bcf77665f90d368fe9aee2603e5f"
    },
    {
      "source": "src/inner-approximations-compatible-with-a-crossed-product.md",
      "source_sha256": "8abb14fb1e9fa359c2d5301e15096293dfd6d274fc8808b95ee3a53bd8ed373b"
    },
    {
      "source": "src/realizing-flows-with-skew-odometers.md",
      "source_sha256": "037f3c2f20d07da68a3d668446cd1b42658f5f108b4519ecd3bb8f931d897638"
    }
  ],
  "external_programme_sources": [
    {
      "source": "https://github.com/KokunoYumeto/open-math-courses/blob/f06cbaa108c3b711d93f4c8e6337e4d4e91faa62/docs/courses/OA-FLOW/src/OA-FLOW-NR.md",
      "source_sha256": "3d49bc3e847d16ee74bf94f2c6809092b4ea129f5302654979284129cac1a3cc",
      "scope": "Setting and NR1: strong continuity of the standard implementing group and continuity of bounded operator orbits."
    },
    {
      "source": "https://github.com/KokunoYumeto/open-math-courses/blob/f06cbaa108c3b711d93f4c8e6337e4d4e91faa62/docs/courses/OA-FLOW/src/OA-FLOW-ND.md",
      "source_sha256": "7602d57d2dbf9f9896d45b181e0cff85c2774ef9a5a7ac76d065379247f2c4e5",
      "scope": "Statement, Lemmas1–3, full Fourier/shear construction and inverse D17: normal real double-crossed-product duality, with the coefficient algebra represented by orbit fields."
    },
    {
      "source": "https://github.com/KokunoYumeto/open-math-courses/blob/f06cbaa108c3b711d93f4c8e6337e4d4e91faa62/docs/courses/OA-FLOW/src/OA-FLOW-GDA.md",
      "source_sha256": "b293b4c4a2386bc8f0b7b93f5a2d8409828da9af242f45555fc317813f1bc896",
      "scope": "GDA8: normalized modular action of the dual weight, especially GDA35. Earlier whole-weight construction remains a transitive input."
    },
    {
      "source": "https://github.com/KokunoYumeto/open-math-courses/blob/f06cbaa108c3b711d93f4c8e6337e4d4e91faa62/docs/courses/OA-FLOW/src/OA-FLOW-CDEC.md",
      "source_sha256": "c955d3203895350740ac10c54c84c6389855fda0e86c70fd758c7cc00fa6098e",
      "scope": "Setting, Sections1–2 and4: properly infinite amplification, type reflection and recovery of the specified trace-scaling system."
    },
    {
      "source": "https://github.com/KokunoYumeto/open-math-courses/blob/f06cbaa108c3b711d93f4c8e6337e4d4e91faa62/docs/courses/OA-FLOW/src/OA-FLOW-CIM.md",
      "source_sha256": "7a3e617d2985e9ae8fd54d1bc0171ba113bfbaec198417b0325cbd553c07a402",
      "scope": "Setting and Sections1–5, retained104 reading at unchanged bytes: normalized canonical extensions, functoriality and continuity."
    },
    {
      "source": "https://github.com/KokunoYumeto/open-math-courses/blob/f06cbaa108c3b711d93f4c8e6337e4d4e91faa62/docs/courses/OA-FLOW/src/OA-FLOW-ZDC.md",
      "source_sha256": "7136d488d023a539642e99c2ec177f6d42a103f1affdd50212b5ffc2e0b1eff2",
      "scope": "Section2, retained103/104 reading at unchanged bytes: splitting the semifinite trace over its center."
    },
    {
      "source": "https://github.com/KokunoYumeto/open-math-courses/blob/f06cbaa108c3b711d93f4c8e6337e4d4e91faa62/docs/courses/injective-factors/src/classification-of-injective-factors.md",
      "source_sha256": "fc38d5a7fee2e52cdaadfe2068a8f140be0dd38ea474a29251337ef8c350d76f",
      "scope": "Section6, Lemma6.1 and Theorem6.2: measurable semifinite uniformity; the earlier selection and finite-injectivity foundations remain transitive."
    },
    {
      "source": "https://github.com/KokunoYumeto/open-math-courses/blob/f06cbaa108c3b711d93f4c8e6337e4d4e91faa62/docs/courses/OA-APPROX/src/averaging-crossed-products-injectivity.md",
      "source_sha256": "15bcdfd52bcfc0c4176d96360de0ae6bcfbac017f091b51245f890e7eb95dac8",
      "scope": "Sections1–2: amplification, opposite and commutant permanence; invariant-mean retraction and amenable-normalizer theorem2.3."
    }
  ],
  "figures": [
    {
      "path": "figures/flow-symmetry-lift.svg",
      "sha256": "c80c93d60d98a7f724e07ee2157fa794ac86861cffb9a010b1e9ea951197f1f5"
    },
    {
      "path": "figures/flow-symmetry-lift.png",
      "sha256": "4515920172ac23cab6f0d084986a04027d3340e5aa947376da454523c0ca9605"
    },
    {
      "path": "figures/draw_flow_symmetry_lift.py",
      "sha256": "178ee250e253ba3724e11e88685e8cb35b06c4a1ea6398a2a29d7e1bf6c368b0"
    }
  ]
}