En geometría algebraica , la fórmula de proyección establece lo siguiente: [1] [2]
Por un morfismo de espacios anillados , un-módulo y un local gratis -módulo de rango finito, los mapas naturales de gavillas
son isomorfismos.
Hay otra fórmula de proyección más en el marco de la cohomología étale .
Ver también
Referencias
- ^ Hartshorne 1977 , Ch III, Ejercicio 8.3
- ^ http://math.stanford.edu/~vakil/0708-216/216class38.pdf
Hartshorne, Robin (1977), Geometría Algebraica , Textos de Posgrado en Matemáticas , 52 , Nueva York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157