Fundamentos de la geometría algebraica

Aunque ambos son textos fundamentales en matemáticas puras, "Categorías para el matemático trabajador" ofrece una perspectiva radicalmente diferente a la geometría algebraica. En lugar de construir sobre estructuras espaciales, se enfoca en las relaciones abstractas entre diferentes ramas de las matemáticas, un contraste inesperado con la concreción (relativa) de Hartshorne.

Mientras Hartshorne es un texto técnico sobre la geometría algebraica, Crowe aborda la geometría desde una perspectiva filosófica e histórica, centrándose en el concepto de infinito. La conexión reside en cómo una idea tan abstracta (el infinito) es manejada rigurosamente en ambos campos, aunque con propósitos y metodologías muy diferentes.

Zariski fue uno de los arquitectos de la reformulación moderna de la geometría algebraica, y su obra proporciona las bases filosóficas y abstractas sobre las que Hartshorne construye. Ambos comparten una profunda convicción en la potencia de la abstracción para revelar verdades matemáticas, explorando cómo la estructura pura del álgebra se mapea en las concepciones geométricas.

Ambos libros exploran los límites del entendimiento matemático y la construcción de sistemas para abordar el infinito y la complejidad. Mientras Hartshorne lo hace mediante estructuras algebraicas que modelan espacios infinitos, Zellini indaga en la raíz filosófica de esta confrontación, preguntándose cómo la mente humana aborda lo ilimitable en la práctica matemática.

Kobayashi, un matemático japonés, es una figura prominente en geometría diferencial. Su trabajo, aunque menos conocido fuera de círculos especializados que el de Hartshorne, se sitúa en un campo adyacente que requiere un rigor similar y una sofisticación teórica comparable, profundizando en la estructura de espacios complejos desde una perspectiva geométrica.

Aunque de un campo completamente diferente (historia del arte y estética), el enfoque de Focillon en la morfología y la evolución de las formas es estructuralmente análogo al estudio de las 'formas' (esquemas) en geometría algebraica. Ambos autores buscan leyes internas que rigen la existencia y transformación de sus respectivos objetos de estudio, aunque Hartshorne lo hace en el reino de las matemáticas puras y Focillon en el de la cultura visual.

Hartshorne es una introducción concisa a la visión de Grothendieck sobre la geometría algebraica. Este libro, el original, presenta la formulación de los esquemas tal como fueron concebidos por Grothendieck, con un nivel de abstracción y generalización que Hartshorne sintetiza. Ambos comparten la misma estructura lógica de construir un marco axiomático para objetos complejos, pero el texto de Grothendieck es el origen metodológico.

Ambos libros, el de Hartshorne y el de Hatcher, son textos de posgrado que adoptan una estructura didáctica rigurosa, construyendo teorías matemáticas complejas desde los cimientos hasta resultados avanzados. Comparten el uso extensivo de categorías y funtores para relacionar objetos algebraicos con objetos topológicos (o geométricos), evidenciando una similitud en la forma en que se presentan los argumentos y las pruebas en las matemáticas puras.