{"schema_version":"source-reader-v1","record":{"source_id":"jacobian-conjecture-analysis","versions":[{"work":{"authors":["Shuhong Gao"],"kind":"research_paper","publication":"preprint","publication_note":"Public manuscript or exposition; publication does not imply independent OpenMath review.","ai_role":"not_reported","ai_note":"No AI contribution is asserted by this source record.","artifacts":[],"published":{"value":"2026-07-31"}},"id":"jacobian-conjecture:source:analysis:v2","source_id":"jacobian-conjecture-analysis","title":"Counterexamples to the Jacobian conjecture in dimensions greater than two","owner":"Shuhong Gao","url":"https://arxiv.org/abs/2608.00222v1","subject_scope":"Algebraic analysis of the three-variable counterexample, including its non-injectivity; the two-dimensional complex case remains open.","revision":"2026-07-31","content_sha256":null,"update_method":"Source comparison followed by a new immutable curation revision.","identifier_policy":"Stable source and entry identities; changed wording receives a new version.","observed_on":"2026-10-13","source_updated_on":"2026-07-31","rights":"metadata-link","license":"Original document rights remain with its authors.","terms_url":"https://arxiv.org/abs/2608.00222v1","attribution":"Shuhong Gao","rights_note":"OpenMath supplies original paraphrases and links; no proof text is republished.","check_interval_days":90}],"entries":[{"id":"jacobian-conjecture:entry:all-dimensions:v1","source_version_id":"jacobian-conjecture:source:analysis:v2","item_id":"abstract","url":"https://arxiv.org/abs/2608.00222v1","wording":"Gao generalizes the tangent-sweep mechanism behind the three-variable counterexample and states that it produces counterexamples in every dimension greater than two, with explicit maps in dimensions three, four and five.","wording_kind":"paraphrase","locator":"Abstract","supersedes":null},{"id":"jacobian-conjecture:entry:analysis:v2","source_version_id":"jacobian-conjecture:source:analysis:v2","item_id":"analysis","url":"https://arxiv.org/abs/2608.00222v1","wording":"Algebraic analysis of the three-variable counterexample, including its non-injectivity; the two-dimensional complex case remains open.","wording_kind":"paraphrase","locator":"Introduction and analysis of the counterexample","supersedes":"jacobian-conjecture:entry:analysis:v1"}],"problems":[{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8}],"selected_version_id":"jacobian-conjecture:source:analysis:v2","available_versions":[{"id":"jacobian-conjecture:source:analysis:v2","revision":"2026-07-31","observed_on":"2026-10-13","title":"Counterexamples to the Jacobian conjecture in dimensions greater than two","publication":"preprint","content_sha256":null,"used_in_current_publications":true},{"id":"jacobian-conjecture:source:analysis:v1","revision":"2026-07-31","observed_on":"2026-10-13","title":"On a counterexample to the Jacobian conjecture","publication":"preprint","content_sha256":null,"used_in_current_publications":false}],"usages":[{"id":"source-use-351b14537fffc0f092c5","entry_id":"jacobian-conjecture:entry:all-dimensions:v1","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"assessment","title":"Counterexamples in every dimension n ≥ 3","claim":{"id":"claim-jacobian-all-dimensions","version":1,"slug":"jacobian-all-dimensions","title":"Counterexamples in every dimension from three up"},"fragment":"claim-jacobian-all-dimensions","assessment":{"id":"jacobian-conjecture:report:all-dimensions:v1","entry_id":"jacobian-conjecture:entry:all-dimensions:v1","state":"refuted","source_label":"Counterexamples in every dimension n ≥ 3","scope":"Only the exact statement and passage cited here; not an independent OpenMath assessment.","source_date":"2026-07-31","observed_on":"2026-10-21","evidence_url":"https://arxiv.org/abs/2608.00222v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-f1e18570a900488c666c","entry_id":"jacobian-conjecture:entry:all-dimensions:v1","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"question","title":"Jacobian conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-e5480a1b29362081f8e2","entry_id":"jacobian-conjecture:entry:all-dimensions:v1","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"statement","title":"Counterexamples in every dimension from three up","claim":{"id":"claim-jacobian-all-dimensions","version":1,"slug":"jacobian-all-dimensions","title":"Counterexamples in every dimension from three up"},"fragment":"claim-jacobian-all-dimensions","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-3a747577a35ef659c586","entry_id":"jacobian-conjecture:entry:analysis:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"assessment","title":"Dimension two remains open","claim":{"id":"claim-jacobian-dimension-two","version":2,"slug":"jacobian-dimension-two","title":"The two-variable Jacobian question"},"fragment":"claim-jacobian-dimension-two","assessment":{"id":"jacobian-conjecture:report:two-open:v2","entry_id":"jacobian-conjecture:entry:analysis:v2","state":"reported_open","source_label":"Dimension two remains open","scope":"Complex dimension two.","source_date":null,"observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2608.00222v1","supersedes":"jacobian-conjecture:report:two-open:v1"},"superseded":false,"formalization":null,"update":null},{"id":"source-use-d4158cebf61315eeefe7","entry_id":"jacobian-conjecture:entry:analysis:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"assessment","title":"Algebraic witness analyzed","claim":{"id":"claim-jacobian-three-point-fiber","version":3,"slug":"jacobian-three-point-fiber","title":"A constant determinant with three inputs sharing an output"},"fragment":"claim-jacobian-three-point-fiber","assessment":{"id":"jacobian-conjecture:report:analysis:v2","entry_id":"jacobian-conjecture:entry:analysis:v2","state":"resolved","source_label":"Algebraic witness analyzed","scope":"The explicit non-injective map.","source_date":null,"observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2608.00222v1","supersedes":"jacobian-conjecture:report:analysis:v1"},"superseded":false,"formalization":null,"update":null},{"id":"source-use-d8789214651c68674712","entry_id":"jacobian-conjecture:entry:analysis:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"connection","title":"The three-variable witness settles the universal formulation, while the two-variable restriction remains a different question.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-5f933584c069377cc521","entry_id":"jacobian-conjecture:entry:analysis:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"construction","title":"Exact polynomial map and repeated fiber","claim":{"id":"claim-jacobian-three-point-fiber","version":3,"slug":"jacobian-three-point-fiber","title":"A constant determinant with three inputs sharing an output"},"fragment":"claim-jacobian-three-point-fiber","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-206502548573ba37640c","entry_id":"jacobian-conjecture:entry:analysis:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"definition","title":"Polynomial inverse","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-d7e6bf158dcca1001012","entry_id":"jacobian-conjecture:entry:analysis:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"formalization","title":"Lean: the three-point fiber","claim":{"id":"claim-jacobian-three-point-fiber","version":3,"slug":"jacobian-three-point-fiber","title":"A constant determinant with three inputs sharing an output"},"fragment":"claim-jacobian-three-point-fiber","assessment":null,"superseded":false,"formalization":{"title":"Lean: the three-point fiber","url":"https://github.com/alerad/alpoge-lean/blob/b8eec94711a9b73151929b78cbd7cb999a008590/Alpoge/Basic.lean","note":"The polynomial witness is source-reported complete; OpenMath has not built it. The project also proves jacobian_det and not_injective.","target":{"id":"claim-jacobian-three-point-fiber","version":3},"proof_status":"reported_complete","source_entry_ids":["jacobian-conjecture:entry:witness:v2","jacobian-conjecture:entry:analysis:v2","jacobian-conjecture:entry:lean:v1"],"declaration":"Alpoge.three_point_fiber","source_commit":"b8eec94711a9b73151929b78cbd7cb999a008590","alignment":"staff_linked","checked_on":"2026-10-13"},"update":null},{"id":"source-use-6f1ca4c2bfa5068056a8","entry_id":"jacobian-conjecture:entry:analysis:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"milestone","title":"Keller’s global invertibility question","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-ce58613c9f1538313f0c","entry_id":"jacobian-conjecture:entry:analysis:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"milestone","title":"Separate algebraic analysis","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-4a37a5040796c31d489f","entry_id":"jacobian-conjecture:entry:analysis:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"question","title":"Jacobian conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-fd5d8a5bb5f9db582aad","entry_id":"jacobian-conjecture:entry:analysis:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"reading","title":"Read the setting and notation before comparing the results.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-13d9b4aff5f3303757c9","entry_id":"jacobian-conjecture:entry:analysis:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"statement","title":"Constant Jacobian implies a polynomial inverse","claim":{"id":"claim-jacobian-polynomial-inverse","version":3,"slug":"jacobian-polynomial-inverse","title":"Constant Jacobian implies a polynomial inverse"},"fragment":"claim-jacobian-polynomial-inverse","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-24af573302bad61b2619","entry_id":"jacobian-conjecture:entry:analysis:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"statement","title":"A constant determinant with three inputs sharing an output","claim":{"id":"claim-jacobian-three-point-fiber","version":3,"slug":"jacobian-three-point-fiber","title":"A constant determinant with three inputs sharing an output"},"fragment":"claim-jacobian-three-point-fiber","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-dd768afa77f6b5304e07","entry_id":"jacobian-conjecture:entry:analysis:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"statement","title":"The two-variable Jacobian question","claim":{"id":"claim-jacobian-dimension-two","version":2,"slug":"jacobian-dimension-two","title":"The two-variable Jacobian question"},"fragment":"claim-jacobian-dimension-two","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[{"id":"jacobian-conjecture:entry:analysis:v2","source_version_id":"jacobian-conjecture:source:analysis:v2","item_id":"analysis","url":"https://arxiv.org/abs/2608.00222v1","wording":"Algebraic analysis of the three-variable counterexample, including its non-injectivity; the two-dimensional complex case remains open.","wording_kind":"paraphrase","locator":"Introduction and analysis of the counterexample","supersedes":"jacobian-conjecture:entry:analysis:v1"},{"id":"jacobian-conjecture:entry:lean:v1","source_version_id":"jacobian-conjecture:source:lean:v1","item_id":"lean","url":"https://github.com/alerad/alpoge-lean/tree/b8eec94711a9b73151929b78cbd7cb999a008590","wording":"The source proves constant formal polynomial Jacobian determinant, a three-point fiber, and failure of a polynomial inverse for the recorded Jacobian conjecture statement.","wording_kind":"paraphrase","locator":"README trust boundary; Alpoge/Basic.lean and Alpoge/FormalConjectures.lean","supersedes":null},{"id":"jacobian-conjecture:entry:witness:v2","source_version_id":"jacobian-conjecture:source:witness:v2","item_id":"witness","url":"https://www.ulam.ai/research/jacobian.pdf","wording":"An explicit three-variable polynomial map has constant determinant −2 and a fiber containing three distinct rational points.","wording_kind":"paraphrase","locator":"Explicit map and verification of determinant and fiber","supersedes":"jacobian-conjecture:entry:witness:v1"}],"linked_sources":[{"work":{"authors":["Shuhong Gao"],"kind":"research_paper","publication":"preprint","publication_note":"Public manuscript or exposition; publication does not imply independent OpenMath review.","ai_role":"not_reported","ai_note":"No AI contribution is asserted by this source record.","artifacts":[],"published":{"value":"2026-07-31"}},"id":"jacobian-conjecture:source:analysis:v2","source_id":"jacobian-conjecture-analysis","title":"Counterexamples to the Jacobian conjecture in dimensions greater than two","owner":"Shuhong Gao","url":"https://arxiv.org/abs/2608.00222v1","subject_scope":"Algebraic analysis of the three-variable counterexample, including its non-injectivity; the two-dimensional complex case remains open.","revision":"2026-07-31","content_sha256":null,"update_method":"Source comparison followed by a new immutable curation revision.","identifier_policy":"Stable source and entry identities; changed wording receives a new version.","observed_on":"2026-10-13","source_updated_on":"2026-07-31","rights":"metadata-link","license":"Original document rights remain with its authors.","terms_url":"https://arxiv.org/abs/2608.00222v1","attribution":"Shuhong Gao","rights_note":"OpenMath supplies original paraphrases and links; no proof text is republished.","check_interval_days":90},{"work":{"authors":["alerad/alpoge-lean project"],"kind":"research_project","publication":"project","publication_note":"Public formal source; build and independent mathematical review are separate checks.","ai_role":"self_reported","ai_note":"The project reports an AI-assisted formalization and computer-algebra workflow; this is distinct from the original discovery.","artifacts":[{"kind":"formal_code","title":"Alpöge counterexample in Lean — pinned source","url":"https://github.com/alerad/alpoge-lean/tree/b8eec94711a9b73151929b78cbd7cb999a008590","version":"b8eec94711a9b73151929b78cbd7cb999a008590","assessment":"not_executed","note":"Public source inspected for statement and assumptions; this proof project has not been executed by OpenMath."}],"published":{"value":"2026-07-23"}},"id":"jacobian-conjecture:source:lean:v1","source_id":"jacobian-conjecture-lean","title":"Alpöge counterexample in Lean","owner":"alerad/alpoge-lean project","url":"https://github.com/alerad/alpoge-lean/tree/b8eec94711a9b73151929b78cbd7cb999a008590","subject_scope":"The source proves constant formal polynomial Jacobian determinant, a three-point fiber, and failure of a polynomial inverse for the recorded Jacobian conjecture statement.","revision":"b8eec94711a9b73151929b78cbd7cb999a008590","content_sha256":"2cdfa772891c7b7f815c23039de71b971e02beada5fa4fad63350d3b2887a372","update_method":"Source comparison followed by a new immutable curation revision.","identifier_policy":"Stable source and entry identities; changed wording receives a new version.","observed_on":"2026-10-13","source_updated_on":"2026-07-23","rights":"metadata-link","license":"Original document rights remain with its authors.","terms_url":"https://github.com/alerad/alpoge-lean/tree/b8eec94711a9b73151929b78cbd7cb999a008590","attribution":"alerad/alpoge-lean project","rights_note":"OpenMath supplies original paraphrases and links; no proof text is republished.","check_interval_days":90},{"work":{"authors":["ULAM research manuscript (no author named)"],"kind":"research_paper","publication":"preprint","publication_note":"Public manuscript or exposition; publication does not imply independent OpenMath review.","ai_role":"self_reported","ai_note":"The manuscript cites Levent Alpöge’s announcement, credits Akhil Mathew for asking the question and Fable for the work leading to the example. No named author is printed on this verification manuscript; these discovery credits are not its bibliographic authorship.","artifacts":[],"published":{"value":"2026-07-20"}},"id":"jacobian-conjecture:source:witness:v2","source_id":"jacobian-conjecture-witness","title":"A Counterexample to the Jacobian Conjecture","owner":"ULAM research manuscript (no author named)","url":"https://www.ulam.ai/research/jacobian.pdf","subject_scope":"An explicit three-variable polynomial map has constant determinant −2 and a fiber containing three distinct rational points.","revision":"2026-07-20","content_sha256":"fcc91582150fa5ed7914bce443080c926771378b8e9bea7b9c2b866ddc6419b2","update_method":"Source comparison followed by a new immutable curation revision.","identifier_policy":"Stable source and entry identities; changed wording receives a new version.","observed_on":"2026-10-13","source_updated_on":"2026-07-20","rights":"metadata-link","license":"Original document rights remain with its authors.","terms_url":"https://www.ulam.ai/research/jacobian.pdf","attribution":"ULAM research manuscript (no author named)","rights_note":"OpenMath supplies original paraphrases and links; no proof text is republished.","check_interval_days":90}]}}