ScalingStacks

Assumption 7.1 . [039M]

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

Assumption 7.1.

There exist a normal affine variety BB over a perfect field kk, a codimension one point b∈B(1)b\in B^{(1)}, a projective regular integral scheme 𝒳B\mathscr{X}_{B} over BB, and line bundles β„’B\mathscr{L}_{B} and π’œB\mathcal{A}_{B} over 𝒳B\mathscr{X}_{B} such that there exist

  1. (i)

    a flat morphism h:{Spec}⁑Kβˆ˜β†’{Spec}⁑π’ͺB,bβ†’Bh\colon\Spec K^{\circ}\to\Spec\mathcal{O}_{B,b}\to B,

  2. (ii)

    an isomorphism 𝒳BβŠ—B{Spec}⁑Kβˆ˜β†’βˆΌπ’³\mathscr{X}_{B}\otimes_{B}\Spec K^{\circ}\stackrel{{\scriptstyle\sim}}{{\to}}\mathscr{X},

  3. (iii)

    an isomorphism hβˆ—β€‹β„’Bβ†’βˆΌβ„’h^{*}\mathscr{L}_{B}\stackrel{{\scriptstyle\sim}}{{\to}}\mathscr{L} over the isomorphism in (ii),

  4. (iv)

    and an isomorphism π’œB|𝒳B,Ξ·β†’βˆΌβ„’B|𝒳B,Ξ·\mathcal{A}_{B}|_{\mathscr{X}_{B,\eta}}\stackrel{{\scriptstyle\sim}}{{\to}}\mathscr{L}_{B}|_{\mathscr{X}_{B,\eta}} where Ξ·\eta is the generic point of BB and the line bundle π’œB\mathcal{A}_{B} on 𝒳B\mathscr{X}_{B} is ample.

Usually we read all the isomorphisms above as identifications.

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