Global Zariski main theorem for quasi-finite morphisms of non-Archimedean analytic spaces

About 5 years old · traced to

Let kk be a complete non-Archimedean valued field, and let f:X→Sf:X\rightarrow S be a quasi-finite morphism of quasi-compacted, separated kk-analytic spaces. We seek a factorization through kk-analytic spaces YY and ZZ, with morphisms g:X→Yg:X\rightarrow Y, i:Y→Zi:Y\rightarrow Z, and h:Z→Sh:Z\rightarrow S. Global Zariski main theorem conjecture. The morphism ff can be decomposed as

f=h∘i∘g,f=h\circ i\circ g,

where gg is finite, ii is a quasi-compact analytic domain embedding, and hh is étale. This would provide a global analogue of Zariski's main theorem in non-Archimedean geometry. A local version is known for quasi-finite morphisms of separated kk-analytic spaces, but the global structure of such morphisms remains unresolved.

References

Primary source

Mingchen Xia, “On Liu morphisms in non-Archimedean geometry”, arXiv:2106.08032 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.