Schema/Basisschema/Garbe der Kähler-Differentiale/Tangentialgarbe/Definition

Tangentialgarbe

Es sei ${}p\colon X\rightarrow S$ ein Schema über einem Basisschema ${}S$. Dann versteht man unter der Tangentialgarbe ${}{\mathcal {T}}_{X,S}$ den Dualmodul

${}{\mathcal {T}}_{X,S}=\Omega _{X{|}S}^{*}\,.$