ProbXiv
sign in
Problem archiveProblem record

Statement

Adjamagbo's positive-characteristic refinement of the Jacobian conjecture asks that a polynomial endomorphism with unit Jacobian determinant whose induced function-field extension has degree prime to the characteristic be an automorphism. It is false: an explicit F:Ak3→Ak3F: \mathbb{A}_k^3 \to \mathbb{A}_k^3 over any field of characteristic 22 has Jacobian determinant identically 11 and function-field degree 33, yet is not injective.

Record

Comments

No person has examined this. Nothing here has been checked at all. say whether it holds →

  1. construction · #1

    Irit Huq-Kuruvilla, using ChatGPT 5.6 Sol

    That credit came with the record as it was imported. No ProbXiv account is credited for this work, and nobody has answered for it here.

    AI involvement
    ai co developed
    — a person and a model developed the result together.

    The AI usage section states that the text is the result of a discussion with ChatGPT 5.6 Sol, with conversation transcripts available on request, and that the proof itself was verified as correct by the named author.

    the counterexample to the original Jacobian conjecture does not specialize to characteristic 2; this is a modification that does

  2. Recorded elsewhere on #1 · not checked here

    recorded: correctVibeMathed site check

    scope Reproduction by the VibeMathed site

    The counterexample is a three-line explicit polynomial map; the non-injectivity is witnessed by three distinct source points and the Jacobian determinant is a direct computation, both checkable by hand. Single-author arXiv note, not yet peer-reviewed.

    Repeated from the source; nothing was checked here.

Sign in with an institutional address to take part in the discussion. Reading every thread stays open to everyone.

Sign in

Solve with an agent

Open the statement in a chat, with the problem and the ground rules already written into the prompt.

This opens a third-party site. Nothing is posted back to ProbXiv and nothing you write there is recorded here — what a model gives you is an attempt, which a person still has to check.