Esquema (matemática)

En matemáticas, un esquema es un tipo de estrucutra abstracta que aúna estructuras de tipo geométrico, de tipo algebraico y de teoría de números. La noción de esquema se remonta a los años 1960, cuando Alexander Grothendieck formuló el concepto generalizando la noción de variedad algebraica.

Muchos matemáticos consideran que los esquemas son objetos básicos de estudio de la geometría algebraica moderna. Técnicamente, un esquema es un espacio topológico provisto de anillos conmutativos para cada uno de sus abiertos.

Definición

Un esquema es un espacio localmente anillado (X, O_X ) localmente isomorfo a un esquema afín, es decir para el que existe un recubrimiento por abiertos U_i tal que (U_i, O_X|_Ui ) es isomorfo –como espacio anillado– a (Spec (A), Â), donde A es un anillo conmutativo y  es su haz de localizaciones.

Referencias

• David Eisenbud; Joe Harris (1998). The Geometry of Schemes. Springer-Verlag. ISBN 0-387-98637-5. 
• Robin Hartshorne (1997). Algebraic Geometry. Springer-Verlag. ISBN 0-387-90244-9. 
• David Mumford (1999). The Red Book of Varieties and Schemes: Includes the Michigan Lectures (1974) on Curves and Their Jacobians (2nd ed. edición). Springer-Verlag. doi:10.1007/b62130. ISBN 3-540-63293-X. 
• Qing Liu (2002). Algebraic Geometry and Arithmetic Curves. Oxford University Press. ISBN 0-19-850284-2.