ScalingStacks

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 XX be a paracompact strictly KK-analytic space and p:X~→Xp:\tilde{X}\rightarrow X the normalization of XX ([Con99, 2.1]). Then the irreducible components of XX are defined to be the sets Xi:=p⁡(X~i)X_{i}:=p(\tilde{X}_{i}) where X~i\tilde{X}_{i} are the connected components of X~\tilde{X}. The space XX is said to be irreducible if it has a unique irreducible component. By [Con99, Lemma 2.2.3] XX is irreducible if and only if it can not non trivially be written as a union of two closed strictly KK-analytic subsets.
Let YY be an irreducible component of XX and V=ℳ⁡(𝒜)V=\mathscr{M}(\mathscr{A}) an affinoid domain with Y∩V≠∅Y\cap V\neq\emptyset. Then by [Con99, Corollary 2.2.9] there is an irreducible component Y′Y^{\prime} of VV which is contained in V∩YV\cap Y. Then Y′Y^{\prime} corresponds to a minimal prime ideal 𝔭\mathfrak{p} of 𝒜\mathscr{A} and hence to an irreducible component of Spec⁡(𝒜)\Spec(\mathscr{A}). We define the multiplicity of YY to be the multiplicity of this component. Note that this does not depend on the choice of VV and Y′Y^{\prime}: If V′=ℳ⁡(ℬ)⊆VV^{\prime}=\mathscr{M}(\mathscr{B})\subseteq V and 𝔭′\mathfrak{p}^{\prime} is a minimal prime ideal of ℬ\mathscr{B} lying over 𝔭\mathfrak{p} then ℬ/𝔭​ℬ\mathscr{B}/\mathfrak{p}\mathscr{B} is reduced by [BGR84, Corollary 7.3.2/10] as it induces an affinoid domain in ℳ⁡(𝒜/𝔭)\mathscr{M}(\mathscr{A}/\mathfrak{p}) which is reduced. Hence also ℬ𝔭′/𝔭​ℬ𝔭′\mathscr{B}_{\mathfrak{p}^{\prime}}/\mathfrak{p}\mathscr{B}_{\mathfrak{p}^{\prime}} is reduced and since ℬ𝔭′\mathscr{B}_{\mathfrak{p}^{\prime}} is a local ring of dimension 0, this implies 𝔭′​ℬ𝔭′=𝔭​ℬ𝔭′\mathfrak{p}^{\prime}\mathscr{B}_{\mathfrak{p}^{\prime}}=\mathfrak{p}\mathscr{B}_{\mathfrak{p}^{\prime}}. Hence by [Ful98, Lemma A.4.1] the multiplicity of the irreducible component corresponding to 𝔭\mathfrak{p} is equal to that of the irreducible component corresponding to 𝔭′\mathfrak{p}^{\prime}.
Let φ:X→Y\varphi:X\rightarrow Y be a proper surjective morphism of irreducible and reduced strictly KK-analytic spaces. If dim(Y)<dim(X)\dim(Y)<\dim(X) we set deg⁡(φ)=0\deg(\varphi)=0. Otherwise φ\varphi is a finite morphism outside a lower dimensional analytic subset WW of YY. Let ℳ⁡(𝒜′)\mathscr{M}(\mathscr{A}^{\prime}) be an affinoid domain in Y∖WY\setminus W, VV an irreducible component of Spec⁡(𝒜′)\Spec(\mathscr{A}^{\prime}) and ℳ⁡(𝒜):=φ−1​(ℳ⁡(𝒜′))\mathscr{M}(\mathscr{A}):=\varphi^{-1}(\mathscr{M}(\mathscr{A}^{\prime})) then Spec⁡(𝒜)→Spec⁡(𝒜′)\Spec(\mathscr{A})\rightarrow\Spec(\mathscr{A}^{\prime}) is finite and we define deg⁡(φ)\deg(\varphi) to be the sum of the degrees of the irreducible components of Spec⁡(𝒜)\Spec(\mathscr{A}) over VV. As explained in [Gub98, 2.6] this again does not depend on the choices.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.