glueDataObj — Mathlib

English

There is a canonical map from the closed subscheme obtained by gluing into the target affine open basis to the ambient affine open, giving an intrinsic link between the glued object and its ambient space.

Русский

Существует каноническое отображение из подсхемы, полученной из склейки, в соответствующий афинный открытый базис, устанавливающее связь между склеенным объектом и окружающим пространством.

LaTeX

$$$ glueDataObjι (U) : I.glueDataObj U \\to U.1$$$

Lean4

/-- `Spec (𝒪ₓ(U)/I(U))`, the object to be glued into the closed subscheme. -/
def glueDataObj (U : X.affineOpens) : Scheme :=
  Spec <| .of <| Γ(X, U) ⧸ I.ideal U

Похожие утверждения