∑math20

Number theory · Result 031

Uchida’s conjecture for open homomorphisms of Galois groups

1 paper

Proves Uchida's conjecture: every continuous open homomorphism between Galois groups of possibly infinite solvably closed Galois extensions of number fields comes from a unique equivariant field embedding in the opposite direction. No restriction on the kernel or separate cyclotomic-compatibility assumption is needed.

Watch

▶Introduction: the problem and why it mattersin preparation
▶The presented solutionin preparation

Papers 1

First page of Open Homomorphisms of Global Solvably Closed Galois Groups

Open Homomorphisms of Global Solvably Closed Galois Groups

OpenAI · October 5, 2026

We prove Uchida's conjecture on open homomorphisms of Galois groups. Every continuous open homomorphism between Galois groups of solvably closed Galois extensions of number fields is induced by a unique equivariant field embedding in the opposite direction. No restriction on the kernel or additional compatibility hypothesis is required.

Read PDF Download Source

Cite
@misc{OAI:Open-Homomorphisms-of-Global-Solvably-Closed-Galois-Groups-October-5-2026,
  author = {{OpenAI}},
  title = {{Open Homomorphisms of Global Solvably Closed Galois Groups}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Open-Homomorphisms-of-Global-Solvably-Closed-Galois-Groups-October-5-2026/open-homomorphisms-solvably-closed-galois-groups.pdf}{OAI:Open-Homomorphisms-of-Global-Solvably-Closed-Galois-Groups-October-5-2026}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.