Papel "Tohoku" de Grothendieck Publicado por John Baez Michael Barr ha dedicado mucho tiempo y esfuerzo de traduccin legendaria

"de Grothendieck Tohoku papel "en Ingls. Si no le importa violar de Grothendieckdeseos declarados , ahora se puede leer esa traduccin: Alexandre Grothendieck, relativa a determinados aspectos del lgebra homological , trad. Michael Barr. Se trata de categoras abelianas, poleas de mdulos, resoluciones, funtores derivados, y la secuencia espectral Grothendieck. En el prefacio, Michael Barr escribe: Hemos encontrado y arreglado (en su mayora en silencio) innumerables errores en el texto y, sin duda, introdujo muchos de los nuestros. En algunos casos, hemos simplificado frases un poco torturado de Grothendieck que a veces fueron interminablemente con inserciones entre parntesis. En algunos casos, hemos actualizado el lenguaje (por ejemplo, sustituyendo "funtormorfismo" por "transformacin natural"). En uno o dos lugares, no hemos podido discernir a qu se refera. Una curiosidad es que Grothendieck parece haber tenido una aversin al conjunto vaco. Los productos y sumas slo se definen para conjuntos de ndices no vacas y los mdulos finitamente generados siquiera estn obligados a tener al menos un generador diferente de cero. El mdulo cero no se considera libre (aunque, obviamente, es de tipo finito). Salvo que su definicin de completo es incompleta, esta aversin no afecta realmente a nada en este documento. Grothendieck trata a una categora como una clase de objetos, equipado con una clase de morfismos. Esto difiere de tanto la vista original expresado en Eilenberg y Mac Lane y en las vistas posteriores y actual, en la que una categora est compuesta tanto por los objetos y las flechas (o incluso de las flechas por s solos, ya que los objetos son recuperables). Esto se manifiesta de varias maneras, sobre todo que escribe Un punto que debe hacerse es que Grothendieck utiliza sistemticamente " Unknownnodetype: span "Donde siempre insistimos en" Unknownnodetype: span ".Los estructuralistas que fundaron Bourbaki quiso dejar claro que las estructuras isomorfas no deben distinguirse, pero categora tericos reconocen ahora la distincin entre isomorfismo y la igualdad. Por ejemplo, todo de la teora de Galois es dependiente del grupo de automorfismos que es una nocin incoherente en el paradigma estructuralista. En su mayor parte, hemos reemplazado la igualdad de isomorfismo, cuando sea apropiado.

Estos comentarios no estara completo sin una palabra sobre los derechos de autor.No tenemos permiso de Grothendieck para publicar esto. Su albacea literario, Jean Malgoire neg incluso a preguntarle. Lo que hemos odo es que Grothendieck "No creer en" derechos de autor y no tendr nada que ver con eso, incluso para liberarlo.Que as sea. Publicamos este a nuestro propio riesgo y lo descarga, si lo hace, en la tuya. Parece claro que Grothendieck no se opondr, mientras que l est vivo, pero tiene nios que pueden tener una visin diferente de la cuestin. EGA Los elementos de gomtriealgbrique ("Elementos de Geometra Algebraica ") por Alexander Grothendieck (asistido por Jean Dieudonn ) oEGA, para abreviar, es un tratado riguroso, en francs, en geometra algebraica que se public (en ocho partes o fascculos ) de 1960 a 1967 por losInstitut des Hautes tudesScientifiques . En ella, Grothendieck estableci bases sistemticas de la geometra algebraica, basndose en el concepto de esquemas , que defini. La obra es considerada la primera piedra y la referencia bsica de la geometra algebraica moderna. Se planificaron inicialmente trece captulos, pero slo los primeros cuatro (haciendo un total de aproximadamente 1.500 pginas) se publicaron. Gran parte del material que se habra encontrado en los captulos siguientes se pueden encontrar, en una forma menos pulido, en el Seminario de gomtriealgbrique (conocida como SGA). En efecto, como se ha explicado por Grothendieck en el prefacio de la versin publicada del SGA, en 1970 se hizo evidente que la incorporacin de todo el material previsto en EGA requerira cambios significativos en los primeros captulos ya publicados, y que por lo tanto las posibilidades de completar EGA en el corto plazo eran limitadas. Un ejemplo obvio es proporcionada por categoras derivadas , que se convirti en una herramienta indispensable en los ltimos volmenes de SGA, no fue utilizado todava en EGA III como la teora an no se ha desarrollado en el tiempo. Por lo tanto, un considerable esfuerzo se dedic a llevar a los volmenes publicados de SGA a un alto grado de integridad y rigor. Grothendieck, sin embargo, escribi una versin revisada de EGA I, que fue publicado por Springer-Verlag . En l se actualiza la terminologa, sustituyendo "prescheme" por "rgimen" y "esquema" de "esquema separados por", y fuertemente enfatiza el uso de funtores representables . El nuevo prefacio de la segunda edicin tambin incluye un plan ligeramente revisada del tratado completo, ahora dividido en doce captulos. En matemticas, especficamente en topologa algebraica, cohomologa es un trmino genrico para una sucesin de grupos abelianos definidos a partir de una co-cadena compleja. O sea, la cohomologa se define como el estudio abstracto de co-cadenas, cociclos, y cofronteras. La cohomologa puede ser pensada como un mtodo de asignacin de invariantes algebraicos a un espacio topolgico que posee una estructura algebraica ms refinada que la que tiene homologa. La cohomologa surge de una dualizacin algebraica de la construccin de la homologa. En trminos menos abstractos, las co-cadenas en su sentido fundamental deben asignar 'cantidades' a las cadenas de la teora de homologa.