b'\n_START_ARTICLE_\nEsquema (matem\xc3\xa1tica)\n_START_PARAGRAPH_\nEn matem\xc3\xa1ticas, un esquema es una estructura matem\xc3\xa1tica que relaja la definici\xc3\xb3n de variedad algebraica para incluir, entre otras cosas, multiplicidades (ej. las ecuaciones x = 0 y x\xc2\xb2 = 0 definen la misma variedad algebraica pero distintos esquemas) y "variedades" definidas sobre anillos (ej. las curvas de Fermat est\xc3\xa1n definidas sobre el anillo de los n\xc3\xbameros enteros)._NEWLINE_Los esquemas consideran ideas de tipo geom\xc3\xa9trico, algebraico y de teor\xc3\xada de n\xc3\xbameros. La noci\xc3\xb3n de esquema se remonta a los a\xc3\xb1os 1960, cuando Alexander Grothendieck formul\xc3\xb3 el concepto en su tratado \xc3\x89l\xc3\xa9ments de g\xc3\xa9om\xc3\xa9trie alg\xc3\xa9brique. Una de las metas fue desarrollar el formalismo necesario para resolver problemas profundos en geometr\xc3\xada algebraica, como las conjeturas de Weil (la \xc3\xbaltima de las cuales fue demostrada por Pierre Deligne). Asimismo, la teor\xc3\xada de esquemas permite el uso sistem\xc3\xa1tico de m\xc3\xa9todos de topolog\xc3\xada y \xc3\xa1lgebra homol\xc3\xb3gica. Al incluir consideraciones sobre puntos racionales, la teor\xc3\xada de esquemas introduce una fuerte conexi\xc3\xb3n entre geometr\xc3\xada algebraica y teor\xc3\xada de n\xc3\xbameros, lo que eventualmente permiti\xc3\xb3 a Wiles demostrar el \xc3\xbaltimo teorema de Fermat._NEWLINE_Muchos matem\xc3\xa1ticos consideran que los esquemas son objetos b\xc3\xa1sicos de estudio de la geometr\xc3\xada algebraica moderna. T\xc3\xa9cnicamente, un esquema es un espacio topol\xc3\xb3gico provisto de anillos conmutativos para cada uno de sus abiertos, que surge a partir de pegar espectros (espacios de ideales primos) a lo largo de sus conjuntos abiertos. En otras palabras, en un espacio localmente anillado que localmente es el espectro de un anillo conmutativo._NEWLINE_Cualquier esquema S presenta un morfismo \xc3\xbanico hacia Spec(Z), el esquema asociado a los n\xc3\xbameros enteros. Por tanto, un esquema puede ser identificado con su morfismo hacia Spec(Z), de namera similar a c\xc3\xb3mo los anillos pueden ser identificados con \xc3\xa1lgebras asociativas sobre los n\xc3\xbameros enteros. Este es el punto de partida del punto de vista relativo, consistente en estudiar solo los morfismos entre esquemas. Esto no restringe la generalidad, y permite especificar f\xc3\xa1cilmente ciertas propiedades de los esquemas. Por ejemplo, una variedad algebraica sobre un cuerpo K define un morfismo de esquemas hacia Spec(K),  con el cual la variedad puede ser identificada.\n_START_SECTION_\nDefinici\xc3\xb3n\n_START_PARAGRAPH_\nUn esquema es un espacio localmente anillado (X, OX ) localmente isomorfo a un esquema af\xc3\xadn, es decir para el que existe un recubrimiento por abiertos U\xe1\xb5\xa2 tal que (U\xe1\xb5\xa2, OX|U\xe1\xb5\xa2 ) es isomorfo \xe2\x80\x93como espacio anillado\xe2\x80\x93 a (Spec (A), \xc3\x82), donde A es un anillo conmutativo y \xc3\x82 es su haz de localizaciones.'