Garbe der Kähler-Differentiale
Es sei
p
:
X
→
S
{\displaystyle {}p\colon X\rightarrow S}
Schema über
einem Basisschema
S
{\displaystyle {}S}
Garbe der Kähler-Differentiale
Ω
X
|
S
{\displaystyle {}\Omega _{X{|}S}}
quasikohärenten
O
X
{\displaystyle {}{\mathcal {O}}_{X}}
Modul
auf
X
{\displaystyle {}X}
p
−
1
O
S
{\displaystyle {}p^{-1}{\mathcal {O}}_{S}}
d
:
O
X
⟶
Ω
X
|
S
{\displaystyle d\colon {\mathcal {O}}_{X}\longrightarrow \Omega _{X{|}S}}
derart, dass für jeden Punkt
P
∈
X
{\displaystyle {}P\in X}
(
(
Ω
X
|
S
)
P
,
d
P
)
=
(
Ω
O
X
,
P
|
O
S
,
p
(
P
)
,
d
)
{\displaystyle {}{\left({\left(\Omega _{X{|}S}\right)}_{P},d_{P}\right)}={\left(\Omega _{{\mathcal {O}}_{X,P}{|}{\mathcal {O}}_{S,p(P)}},d\right)}\,}
erfüllt ist.
