主要部分の束

代数幾何学では、滑らかな多様体X上の線束Lが与えられたとき、Ln次主部分の束は、大まかに言えば、Lのセクションのn次テイラー展開を パラメータ化する階数のベクトル束です。 n+薄暗いXn{\displaystyle {\tbinom {n+{\text{dim}}(X)}{n}}}

正確には、I を対角埋め込み とへの射影の制約を定義するイデアル層とする。すると、 n次主成分の束は[ 1 ]となる。XX×X{\displaystyle X\hookrightarrow X\times X}pq:Vn+1X{\displaystyle p,q:V(I^{n+1})\to X}X×XX{\displaystyle X\times X\to X}Vn+1X×X{\displaystyle V(I^{n+1})\subset X\times X}

PnLpqL{\displaystyle P^{n}(L)=p_{*}q^{*}L.}

すると、ベクトル束の自然な完全列が存在する[ 2 ]P0LL{\displaystyle P^{0}(L)=L}

0SyメートルnΩXLPnLPn1L0。{\displaystyle 0\to \mathrm {Sym} ^{n}(\Omega _{X})\otimes L\to P^{n}(L)\to P^{n-1}(L)\to 0.}

ここで、 はX上の微分 1 形式の層です。 ΩX{\displaystyle \Omega_{X}}

参照

参考文献

  1. ^ Fulton 1998、例2.5.6。
  2. ^ SGA 6 1971、実験II、付録II 1.2.4。