27 votos

¿Qué era el álgebra conmutativa antes de la geometría algebraica (moderna)?

Al leer "H. Matsumura - Commutative Ring theory" tuve la impresión de que las definiciones se hicieron para significar algo en la geometría algebraica posterior. Me pregunto qué era el álgebra conmutativa antes de la geometría algebraica moderna (qué ideas se desarrollaron, cuán sofisticadas eran, etc.). Además, si el éxito de la geometría algebraica había inspirado la expansión del álgebra conmutativa, y en qué medida. Cualquier referencia más antigua también sería interesante (no para estudiar, sólo para averiguar). Gracias

5 votos

Si no me equivoco, la mayor parte, si no todo el material del libro de Matsumura ya estaba motivado por la geometría algebraica anterior a Grothendieck.

3 votos

Yo mismo me lo pregunto a menudo. Me gusta pensar que sería increíblemente útil para los estudiantes tener alguna lista que tomara las definiciones y teoremas de un libro de texto estándar (digamos, Matsumura) e indicara si fueron motivados originalmente por preocupaciones puramente algebraicas, o por consideraciones más geométricas. De esta forma se podría abstraer y clasificar "cuánto" de cada tema (AC vs. AG) era "perteneciente" a ese tema

0 votos

La breve introducción del libro de Matsumura ( math.hawaii.edu/~pavel/cmi/References/ ) incluye el contexto histórico.

26voto

Peter Eisentraut Puntos 3962

Aquí hay un extracto de la charla de Zariski en el Icm hace varias décadas:

"La tendencia aritmética en la geometría algebraica no es en sí misma una salida radical del pasado. Esta tendencia se remonta a Dedekind y Weber, quienes desarrollaron, en su memoria clásica, una teoría aritmética de campos de funciones algebraicas de una variable. La geometría algebraica abstracta es una continuación directa del trabajo de Dedekind y Weber, excepto que nuestro objeto principal es el estudio de los campos de funciones algebraicas de más de una variable. El trabajo de Dedekind y Weber se ha visto muy facilitado por el desarrollo previo de la teoría ideal clásica. Del mismo modo, la geometría algebraica moderna se ha hecho realidad en parte gracias al desarrollo previo de la teoría general de los ideales. Pero aquí termina la similitud. La teoría clásica de los ideales ataca el núcleo mismo de la teoría de las funciones algebraicas de una variable, y de hecho existe un sorprendente paralelismo entre esta teoría y la teoría de los números algebraicos. Por otra parte, la teoría general de los ideales ataca la mayor parte de los fundamentos de la geometría algebraica y no alcanza los problemas más profundos a los que nos enfrentamos en la etapa postfundacional. Además, no hay nada en el álgebra conmutativa moderna que pueda considerarse ni remotamente como un desarrollo paralelo a la teoría de los campos de funciones algebraicas de más de una variable. Después de todo, esta teoría es en sí misma un capítulo del álgebra, pero es un capítulo del que los algebristas modernos sabían muy poco. Todo nuestro conocimiento aquí proviene de la geometría. Por todo ello, es innegable que la aritmetización de la geometría algebraica representa un avance sustancial del propio álgebra. Al ayudar a la geometría, el álgebra moderna se ayuda sobre todo a sí misma. Sostenemos que la geometría algebraica abstracta es una de las mejores cosas que le han ocurrido al álgebra conmutativa en mucho tiempo. "

10 votos

Esto es del discurso de Zariski en el ICM de 1950, titulado "Las ideas fundamentales de la geometría algebraica abstracta" y que se encuentra, por ejemplo, aquí: mathunion.org/ICM/ICM1950.2/Main/icm1950.2.0077.0089.ocr.pdf

1 votos

Una variante de su respuesta podría ser: comparar los libros de Matsumura y Zariski-Samuel. Una cosa que ocurrió entre medias es el desarrollo de los métodos cohomológicos.

0 votos

@ACL, probablemente sepas que Zariski Samuel discute la codimensión homológica y la dimensión cohomológica (debida esencialmente a Hilbert) a través de las sicigias en su volumen 2, capVII, y utiliza este último concepto para demostrar que los anillos locales regulares son ufd's siguiendo a Auslander y Buchsbaum, en el apéndice 7. Es decir, yo sugeriría que los métodos cohomológicos básicos y las aplicaciones profundas pueden decirse que ya estaban incluidos allí, pero creo que su punto tiene validez aún en la ascendencia posterior de esos métodos.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X