Motivic Integral p-adic cohomologies

Informacje na temat projektu

MIPAC

Identyfikator umowy o grant: 101103309

DOI

10.3030/101103309

Realizacja projektu zakończyła się 30 Września 2024

Data podpisania przez KE 18 Kwietnia 2023

Data rozpoczęcia 1 Września 2023

Data zakończenia 31 Sierpnia 2025

Finansowanie w ramach

• Marie Skłodowska-Curie Actions (MSCA)

Koszt całkowity

Brak danych

Wkład UE

€ 172 750,08

Koordynowany przez

UNIVERSITA DEGLI STUDI DI MILANO
Italy

Periodic Reporting for period 1 - MIPAC (Motivic Integral p-adic cohomologies)

Okres sprawozdawczy: 2023-09-01 do 2025-08-31

Podsumowanie kontekstu i ogólnych celów projektu

Motivic homotopy theory is a highly successful theory built on the idea of introducing modern methods from homotopy theory into algebraic geometry, considering the affine line A1 as the interval object. While it has proved to be extremely successful in solving long standing conjectures in the cohomology of varieties, like the Milnor and Bloch--Kato conjecture, A1-homotopy invariance is structurally not compatible with integral p-adic cohomologies.
The goal of Motivic Integral p-adic Cohomologies (MIPAC) was to develop a theory of motivic p-adic cohomology theories in the context of motives of logarithmic schemes, and link it with the work done so far on tame cohomology.

Prace wykonane od początku projektu do końca okresu sprawozdawczego oraz najważniejsze dotychczasowe rezultaty

The main achievements of this project were two: the first one is the comparison between tame and log étale motives. In this, we showed that the comparison theorem between Nisnevich motives and dNis-log motives of Binda-Park-Østvær can be promoted to a comparison functor between tame and log étale motives. This gives to a big family of tame motivic spectra coming from logSH_\loget, where computations are much easier. This allowed also to show that there exists a motivic spectrum HZ/p^m representing mod p^m-motivic cohomology for all m. The other significant contribution is the notion of saturated descent and its application to log motivic invariants, in particular to logTHH and logTC: this allowed to deduce comparison theorems between log theories from the comparison theorems for usual theories, and it allowed to promote them to motivic comparisons, deducing properties that were not known before (Gysin sequences, PBF…).

Innowacyjność oraz oczekiwany potencjalny wpływ (w tym dotychczasowe znaczenie społeczno-gospodarcze i szersze implikacje społeczne projektu)

The results described above are certainly progress beyond the state of the art and open a new gateway to motivic homotopy theory.

Comparison between tame and log motives

Saturated descent for THH