Abstract
We show some topological properties of semianalytic subsets of rigid analytic varieties: curve selection lemma, the closure\(\bar S\) of a semianalytic subsetS is semianalytic,\(f(\bar S) = \overline {f(S)}\) for every quasi-compact morphismf. As an application we show that a morphismf: X → Y of rigid analytic varieties is open at a pointx εX if and only if SpecO X,x → SpecO Y,f(x) is surjective.
Similar content being viewed by others
References
Bosch, S., Güntzer, U. andRemmert, R.:Non-Archimedean Analysis, Springer, Berlin, Heidelberg, New York, 1984.
Denef, J. and van den Dries, L.:P-Adic and real subanalytic sets,Ann. Math. 128 (1988), 79–138.
Grothendieck, A. and Dieudonne, J.:Éléments de Géométrie Algébrique IV,Pub. Math. Inst. Hautes Etudes Sci. 28 (1966);32 (1967).
Grothendieck, A. and Dieudonne, J.:Éléments de Géométrie Algébrique I, Springer, Berlin, Heidelberg, New York, 1972.
Fischer, G.:Complex Analytic Geometry, Springer, Berlin, Heidelberg, New York, 1976,
Gerritzen, L.: Erweiterungsendliche Ringe in der nicht archimedischen Funktionentheorie,Invent. Math. 2 (1967), 178–190.
Grauert, H. and Remmert, R.:Analytische Stellenalgebren, Springer, Berlin, Heidelberg, New York, 1971.
Hochster, M.: Prime ideal structure in commutative rings,Trans. Amer. Math. Soc. 142 (1969), 43–60.
Huber, R.: Continuous valuations,Math. Zeit. 212 (1993), 455–477.
Matsumura, H.:Commutative Algebra, New York, 1970.
Prestel, A.:Einführung in die Mathematische Logik und Modelltheorie, Braunschweig, 1986.
Ruiz, J.: Constructibility of closures in real spectra, Preprint, Universidad Complutense, Madrid.
Schoutens, H.: Approximation and subanalytic sets over a complete valuation ring, Thesis, Universiteit Leuven, 1991.