A non-archimedean definable Chow theorem
arXiv:2009.06134
Abstract
Peterzil and Starchenko have proved the following surprising generalization of Chow's theorem: A closed analytic subset of a complex algebraic variety that is definable in an o-minimal structure, is in fact an algebraic subset. In this paper, we prove a non-archimedean analogue of this result.
30 pages. Comments are welcome!