Definition 4.2 . [05AG]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Definition 4.2.
In [Con99, Definition 2.2.2] Conrad defined the notion of irreducibility for analytic spaces which we recall here. Let be a paracompact strictly -analytic space and the normalization of ([Con99, 2.1]). Then the irreducible components of are defined to be the sets where are the connected components of . The space is said to be irreducible if it has a unique irreducible component. By [Con99, Lemma 2.2.3] is irreducible if and only if it can not non trivially be written as a union of two closed strictly -analytic subsets.
Let be an irreducible component of and an affinoid domain with . Then by [Con99, Corollary 2.2.9] there is an irreducible component of which is contained in . Then corresponds to a minimal prime ideal of and hence to an irreducible component of . We define the multiplicity of to be the multiplicity of this component. Note that this does not depend on the choice of and : If and is a minimal prime ideal of lying over then is reduced by [BGR84, Corollary 7.3.2/10] as it induces an affinoid domain in which is reduced. Hence also is reduced and since is a local ring of dimension 0, this implies . Hence by [Ful98, Lemma A.4.1] the multiplicity of the irreducible component corresponding to is equal to that of the irreducible component corresponding to .
Let be a proper surjective morphism of irreducible and reduced strictly -analytic spaces. If we set . Otherwise is a finite morphism outside a lower dimensional analytic subset of . Let be an affinoid domain in , an irreducible component of and then is finite and we define to be the sum of the degrees of the irreducible components of over . As explained in [Gub98, 2.6] this again does not depend on the choices.