On semianalytic subsets of rigid analytic varieties (Q1904122): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3325851 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(p\)-adic and real subanalytic sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complex analytic geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Erweiterungsendliche Ringe in der nichtarchimedischen Funktionentheorie / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Prime Ideal Structure in Commutative Rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Continuous valuations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5611879 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4724592 / rank | |||
Normal rank |
Latest revision as of 08:52, 24 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On semianalytic subsets of rigid analytic varieties |
scientific article |
Statements
On semianalytic subsets of rigid analytic varieties (English)
0 references
22 January 1997
0 references
The author first introduces a notion of semianalytic subsets in rigid geometry (i.e. analytic geometry in the sense of Tate, Grauert and Remmert). Second he proves all the required properties: behavior under (quasi-compact) morphisms, when taking closure or interior... The main and interesting application of this notion and its properties is the following: let \(f : X = SpA \to Y = SpB\) be a morphism of affinoid rigid analytic spaces, let \(x \in X\), \(\widehat {\mathcal O}_{X,x}\) and \(\widehat {\mathcal O}_{Y,f(x)}\) be the completion (with respect to the maximal ideals) of the fibers of the rigid analytic structural sheaves and let \(A^h_x\), \(B^h_{f (x)}\) be the henselizations of the localizations of \(A\) and \(B\); then the following assertions are equivalent: (i) \(f\) is open in \(x\), (ii) \(\text{Spec} {\mathcal O}_{X,x} \to \text{Spec} {\mathcal O}_{Y, f(x)}\) is surjective, (iii) \(\text{Spec} \widehat {\mathcal O}_{X,x} \to \text{Spec} \widehat {\mathcal O}_{Y, f(x)}\) is surjective, (iv) \(\text{Spec} A^h_x \to \text{Spec} B^h_{f(x)}\) is surjective.
0 references
rigid analytic variety
0 references
semianalytic subsets
0 references
rigid geometry
0 references