Motivic Integral p-adic cohomologies

Información del proyecto

MIPAC

Identificador del acuerdo de subvención: 101103309

DOI

10.3030/101103309

Proyecto finalizado el 30 Septiembre 2024

Fecha de la firma de la CE 18 Abril 2023

Fecha de inicio 1 Septiembre 2023

Fecha de finalización 31 Agosto 2025

Financiado con arreglo a

• Marie Skłodowska-Curie Actions (MSCA)

Coste total

Sin datos

Aportación de la UE

€ 172 750,08

Coordinado por

UNIVERSITA DEGLI STUDI DI MILANO
Italy

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

Período documentado: 2023-09-01 hasta 2025-08-31

Resumen del contexto y de los objetivos generales del proyecto

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.

Trabajo realizado desde el comienzo del proyecto hasta el final del período abarcado por el informe y los principales resultados hasta la fecha

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…).

Avances que van más allá del estado de la técnica e impacto potencial esperado (incluida la repercusión socioeconómica y las implicaciones sociales más amplias del proyecto hasta la fecha)

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