Motivic Stable Homotopy Theory: a New Foundation and a Bridge to p-Adic and Complex Geometry

Descrizione del progetto

Il progresso della geometria algebrica attraverso la teoria dell’omotopia

La geometria algebrica esplora le intricate strutture alla base degli oggetti matematici ma molte aree rimangono vincolate da limiti tecnici. In quest’ottica, il progetto MOSHOT, finanziato dal CER, si propone di sbloccare i principi delle teorie della coomologia in geometria algebrica e analitica ampliando le basi della teoria dell’omotopia stabile motivica. Concentrandosi sulla teoria dell’omotopia e sulla geometria analitica, MOSHOT spingerà i confini dell’invarianza dell’omotopia A1 ed esplorerà nuove prospettive nella geometria p-adica e complessa. Gli obiettivi del progetto comprendono la definizione di un formalismo a sei fattori, lo studio del nucleo della localizzazione A1 e lo sviluppo di tecniche di calcolo nell’omotopia motivica instabile. Collegando la teoria K algebrica con la geometria p-adica, MOSHOT trasformerà lo studio di questi campi.

Obiettivo

This project is centered on the field of algebraic geometry and involves homotopy theory and analytic geometry. The overall goal is to unveil the underlying principles of a large variety of cohomology theories in algebraic and analytic geometry and develop robust foundations that facilitate the study of those cohomology theories from the vantage point of homotopy theory. This will be achieved through innovations of motivic stable homotopy theory beyond the current technical limitations of A1-homotopy invariance. In addition, its interdisciplinary perspective will be advanced, especially in relation to p-adic geometry and complex geometry. The research proposal consists of 5 main objectives, which are organically related to each other. The first objective is to establish a six functor formalism, which would be the most important challenge in non-A1-invariant motivic stable homotopy theory. The second objective is to investigate the kernel of the A1-localization and aims to describe it in terms of p-adic or rational Hodge realization, following the principle of trace methods of algebraic K-theory. In particular, in the p-adic context, this will lead to the p-adic rigidity, which will conclusively connect motivic homotopy theory with p-adic geometry. The third objective is to find out the potential of unstable motivic homotopy theory and develop calculation techniques. The forth objective is to establish a general and universal construction of motivic filtration of localizing invariants, such as algebraic K-theory and topological cyclic homology. The last objective is to explore the analogue in complex geometry, which is an interesting unexplored subject that will pave the way for further developments of motivic homotopy theory for a broader range of analytic geometry.