ScalingStacks

Definition 8.1 . [039W]

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 8.1.

We say that XX is of geometric origin from a dd-dimensional family over a field kk if there exist a normal dd-dimensional variety BB over kk, a point b∈B(1)b\in B^{(1)} of codimension one and a projective variety YY over K′=k⁡(B)K^{\prime}=k(B) such that

  1. (i)

    there exists an isomorphism 𝒪^B,b→∼K∘\widehat{\mathcal{O}}_{B,b}\stackrel{{\scriptstyle\sim}}{{\to}}K^{\circ} of rings where 𝒪^B,b\widehat{\mathcal{O}}_{B,b} denotes the completion of the discrete valuation ring R≔𝒪B,bR\coloneqq{\mathcal{O}}_{B,b},

  2. (ii)

    an isomorphism Y⊗K′K≃XY\otimes_{K^{\prime}}K\simeq X over KK with K′→KK^{\prime}\to K induced by (i).

Usually, we read these isomorphisms as identifications. Moreover, if LL is a line bundle (resp. if θ\theta is a closed (1,1)(1,1)-form) on XX, we say that (X,L)(X,L) (resp. (X,θ)(X,\theta)) is of geometric origin from a dd-dimensional family over a field kk if the above conditions are satisfied and if we can also find a line bundle L′L^{\prime} on YY inducing LL by the base change K/K′K/K^{\prime} (resp. a line bundle ℒR\mathscr{L}_{R} on an RR-model 𝒳R\mathscr{X}_{R} of YY inducing θ\theta by the base change K∘/R{K^{\circ}}/R).

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