OpenAI reports uniqueness in Bogomolov–Pop reconstruction

For function fields of transcendence degree at least two over algebraically closed fields of characteristic different from a fixed prime ell, two perfect-closure field isomorphisms preserving the constant fields that induce the same pro-ell abelian-by-central Galois data up to ell-adic unit scaling agree up to Frobenius.

Curated contributions 1

Understand the problem ↓

OpenAI reports uniqueness in Bogomolov–Pop reconstruction

  • Mathematics

For function fields of transcendence degree at least two over algebraically closed fields of characteristic different from a fixed prime ell, two perfect-closure field isomorphisms preserving the constant fields that induce the same pro-ell abelian-by-central Galois data up to ell-adic unit scaling agree up to Frobenius.

AI involvementAI-led
ImportanceNotable
Technical verificationFormal (Lean 4)
Human understandingFew

Understanding the problem

Read the background

For function fields of transcendence degree at least two over algebraically closed fields of characteristic different from a fixed prime ell, two perfect-closure field isomorphisms preserving the constant fields that induce the same pro-ell abelian-by-central Galois data up to ell-adic unit scaling agree up to Frobenius.

Why it matters

If correct, identifies exactly the uniqueness ambiguity in the group-to-field reconstruction correspondence.

What counts as progress

Can two field isomorphisms induce the same Bogomolov–Pop Galois data without agreeing up to Frobenius and scalar ambiguity?

Website timeline

Publication dates and editorial changes.