{"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:v1","source_id":"jacobian-conjecture-analysis","title":"On a counterexample to the Jacobian conjecture","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:analysis:v1","source_version_id":"jacobian-conjecture:source:analysis:v1","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":null}],"problems":[{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":1}],"selected_version_id":"jacobian-conjecture:source:analysis:v1","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-372345a93f6a4792ce68","entry_id":"jacobian-conjecture:entry:analysis:v1","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":1},"kind":"assessment","title":"Dimension two remains open","claim":{"id":"claim-jacobian-dimension-two","version":1,"slug":"jacobian-dimension-two","title":"The two-variable Jacobian question"},"fragment":"claim-jacobian-dimension-two","assessment":{"id":"jacobian-conjecture:report:two-open:v1","entry_id":"jacobian-conjecture:entry:analysis:v1","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":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-ddc867778815bd241325","entry_id":"jacobian-conjecture:entry:analysis:v1","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":1},"kind":"assessment","title":"Algebraic witness analyzed","claim":{"id":"claim-jacobian-three-point-fiber","version":1,"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:v1","entry_id":"jacobian-conjecture:entry:analysis:v1","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":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-6f75f26f17aea26ddf5b","entry_id":"jacobian-conjecture:entry:analysis:v1","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":1},"kind":"formalization","title":"Lean: the three-point fiber","claim":{"id":"claim-jacobian-three-point-fiber","version":1,"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":1},"proof_status":"reported_complete","source_entry_ids":["jacobian-conjecture:entry:witness:v1","jacobian-conjecture:entry:analysis:v1","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-1d99dec7de73dce0dc3f","entry_id":"jacobian-conjecture:entry:analysis:v1","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":1},"kind":"milestone","title":"Separate algebraic analysis","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-450a5e861b793e88024f","entry_id":"jacobian-conjecture:entry:analysis:v1","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":1},"kind":"milestone","title":"Keller’s global invertibility question","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-c2ba56db73a9468cf4de","entry_id":"jacobian-conjecture:entry:analysis:v1","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":1},"kind":"question","title":"Jacobian conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-59248039d56bc224f8a5","entry_id":"jacobian-conjecture:entry:analysis:v1","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":1},"kind":"statement","title":"Constant Jacobian implies a polynomial inverse","claim":{"id":"claim-jacobian-polynomial-inverse","version":1,"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-615ca81df8eccce8a49d","entry_id":"jacobian-conjecture:entry:analysis:v1","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":1},"kind":"statement","title":"The two-variable Jacobian question","claim":{"id":"claim-jacobian-dimension-two","version":1,"slug":"jacobian-dimension-two","title":"The two-variable Jacobian question"},"fragment":"claim-jacobian-dimension-two","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-8e6285229ad9f093961e","entry_id":"jacobian-conjecture:entry:analysis:v1","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":1},"kind":"statement","title":"A constant determinant with three inputs sharing an output","claim":{"id":"claim-jacobian-three-point-fiber","version":1,"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}],"linked_entries":[{"id":"jacobian-conjecture:entry:analysis:v1","source_version_id":"jacobian-conjecture:source:analysis:v1","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":null},{"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:v1","source_version_id":"jacobian-conjecture:source:witness:v1","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":null}],"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:v1","source_id":"jacobian-conjecture-analysis","title":"On a counterexample to the Jacobian conjecture","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":["Levent Alpöge"],"kind":"research_paper","publication":"preprint","publication_note":"Public manuscript or exposition; publication does not imply independent OpenMath review.","ai_role":"self_reported","ai_note":"Discovery is attributed to Levent Alpöge working with Claude Fable 5; mathematical authorship and the model contribution are separate roles.","artifacts":[],"published":{"value":"2026-07"}},"id":"jacobian-conjecture:source:witness:v1","source_id":"jacobian-conjecture-witness","title":"An explicit Jacobian counterexample","owner":"Levent Alpöge","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","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":null,"rights":"metadata-link","license":"Original document rights remain with its authors.","terms_url":"https://www.ulam.ai/research/jacobian.pdf","attribution":"Levent Alpöge","rights_note":"OpenMath supplies original paraphrases and links; no proof text is republished.","check_interval_days":90}]}}