Supongo que esta es una muy general la pregunta, así que pido disculpas, y tal vez debería ser eliminado. Por otro lado es una impresionante pregunta.
Está claro exactamente cuánto (supuestamente algebraica) de la teoría de números puede escrita en el diagrama de abajo, y si es así, ha habido ningún esfuerzo para escribir este tipo de problemas en la categoría de los espectros (cualquier categoría) y resolver los problemas allí? Parece que algunos problemas pueden ser más fácil de solucionar, si sólo porque allí en algún sentido "más" espectros de trabajar con que hay algebraica de los objetos (es decir, él tiene la Eilenberg-MacLane espectro para cualquier anillo o en el campo de lo que sea, pero también tenemos cosas que no vienen de cualquier objeto algebraico).
He oído hablar de Rognes trabajo en las extensiones de Galois en este sentido, y que hay una gran cantidad de conexiones a cosas como Morava K-teoría (y los asociados de los espectros), y el plan de al menos intentar perseguir tales ideas.
Gracias