En geometría algebraica , dado un paquete lineal L en una variedad uniforme X , el paquete de partes principales de n -ésimo orden de L es un paquete vectorial de rangoque, más o menos, parametriza n -ésimos expansiones de Taylor de orden secciones de L .
Precisamente, deja que sea la gavilla ideales definir la incrustación en diagonal y las restricciones de las proyecciones a . Entonces el paquete de partes principales de n -ésimo orden es [1]
Luego y hay una secuencia natural exacta de paquetes de vectores [2]
dónde es la gavilla de uno-formas diferenciales en X .
Ver también
- Sistema lineal de divisores (los paquetes de partes principales se pueden utilizar para estudiar los comportamientos oscilantes de un sistema lineal).
- Jet (matemáticas) (una noción estrechamente relacionada)
Referencias
- William Fulton. (1998), Teoría de la intersección , Ergebnisse der Mathematik und ihrer Grenzgebiete . 3. Folge., 2 (2ª ed.), Berlín, Nueva York: Springer-Verlag , ISBN 978-3-540-62046-4, MR 1644323
- Apéndice II del Exp II de Berthelot, Pierre ; Alexandre Grothendieck ; Luc Illusie , eds. (1971). Séminaire de Géométrie Algébrique du Bois Marie - 1966-67 - Théorie des intersections et théorème de Riemann-Roch - (SGA 6) (Apuntes de matemáticas 225 ) (en francés). Berlina; Nueva York: Springer-Verlag . xii + 700. doi : 10.1007 / BFb0066283 . ISBN 978-3-540-05647-8. Señor 0354655 .