代数幾何学では、滑らかな多様体X上の線束Lが与えられたとき、Lのn次主部分の束は、大まかに言えば、Lのセクションのn次テイラー展開を パラメータ化する階数のベクトル束です。 (n+薄暗い(X)n){\displaystyle {\tbinom {n+{\text{dim}}(X)}{n}}}
正確には、I を対角埋め込み とへの射影の制約を定義するイデアル層とする。すると、 n次主成分の束は[ 1 ]となる。X↪X×X{\displaystyle X\hookrightarrow X\times X}p、q:V(私n+1)→X{\displaystyle p,q:V(I^{n+1})\to X}X×X→X{\displaystyle X\times X\to X}V(私n+1)⊂X×X{\displaystyle V(I^{n+1})\subset X\times X}
すると、ベクトル束の自然な完全列が存在する[ 2 ]P0(L)=L{\displaystyle P^{0}(L)=L}
ここで、 はX上の微分 1 形式の層です。 ΩX{\displaystyle \Omega_{X}}
この代数幾何学関連の記事はスタブです。不足している情報を追加してWikipediaに貢献してください。