Me he dado cuenta de que parece haber dos enfoques para aprender la teoría del campo de clases. El primero es aprender primero sobre los campos locales y la teoría de campos de clases locales, y luego demostrar los teoremas básicos sobre la teoría de campos de clases globales a partir de los hechos locales correspondientes. Esto a menudo significa que la teoría de campos de clases global recibe la formulación idélica, ya que los campos locales ya han sido cubiertos.
Por otra parte, estoy a punto de hacer un curso sobre teoría de campos de clases (que es la secuela de un curso de licenciatura sobre teoría algebraica de números y funciones zeta/L básicas) que se sumerge directamente en la teoría global de campos de clases y seguirá las formulaciones originales (de los años 20) (teóricas ideales) y las pruebas de los resultados básicos.
Me pregunto cuál es la opinión de la gente sobre los dos enfoques diferentes de la teoría del campo de clases. ¿Tiene más sentido empezar por lo local e ir a lo global, o es mejor aprender el tema más históricamente? Le pregunté a mi profesor aquí en Princeton sobre el tema, ya que era consciente de que el curso de CFT de Harvard empieza por lo local, y me respondió que, dado que lo que realmente nos interesa son los campos numéricos de todos modos, es mucho más relevante proceder inmediatamente con la teoría de campos de clases global. ¿Qué opinas?
EDITAR/ACTUALIZAR: A partir de las aportaciones de este hilo y de la experiencia adquirida, éste es el enfoque que he decidido seguir:
-
Aprender la teoría del campo de clase global utilizando pruebas más elementales, siguiendo algo como Janusz (u otra fuente si no te gusta el estilo de Janusz)
-
Aprenda las pruebas de cohomología de la teoría de campo de clase local. Me gusta especialmente Milne para esto.
-
Continúa y aprende la demostración de la teoría de campo de clase global utilizando la cohomología de los ídolos. Podrías continuar en Milne, o probar los capítulos de Cassels-Frohlich