The Chow-Kontsevich dilogarithm

Sintesi Tecnica: Il Dilogaritmo di Chow-Kontsevich

Enunciato del Problema
Il saggio affronta la costruzione di mappe di regolatore e invarianti infinitesimali per cicli algebrici in caratteristica $p \geq 5$. Sebbene gli analoghi infinitesimali dell'invariante di Dehn e delle mappe del dilogaritmo siano stati ben stabiliti in caratteristica 0 (attraverso il lavoro di Cathelineau, Bloch, Esnault e Unver), la situazione in caratteristica $p$ presenta sfide distinte. Nello specifico, la funzione logaritmo standard è indefinita a causa dei denominatori nella sua espansione in serie di potenze. Inoltre, la struttura della parte indecomponibile di $K_3(k_2)$ (dove $k_2 = k[t]/(t^2)$) differisce in caratteristica $p$, suggerendo l'esistenza di due funzioni dilogaritmo indipendenti piuttosto che una sola. Il saggio mira a definire un "dilogaritmo di Chow-Kontsevich" $\rho_K$ su curve su $k_2$ che funga da analogo in caratteristica $p$ del dilogaritmo di Chow infinitesimale, utilizzando la funzione logaritmo $1\frac{1}{2}$ di Kontsevich.

Metodologia
La costruzione procede attraverso diverse fasi tecniche:

1. Logaritmi e Dilogaritmi in Caratteristica $p$:
   L'autore utilizza la funzione logaritmo $1\frac{1}{2}$ di Kontsevich, definita come $\mathcal{L}_1(s) = \sum_{1 \leq i \leq p-1} \frac{s^i}{i}$. Questa funzione soddisfa la fondamentale equazione funzionale a quattro termini della teoria dell'informazione. Utilizzando questa, viene definito un dilogaritmo additivo in caratteristica $p$, $\ell i^{(p)}_2: B_2(k_2) \to k$, sul gruppo di Bloch. Questa mappa è espressa tramite il differenziale del complesso di Bloch $\delta$ e un prodotto esterno specifico di componenti logaritmiche $\ell^{(p)} = \frac{1}{2} \sum_{1 \leq i < p} i \cdot \ell_{p-i} \wedge \ell_i$.

2. Costruzione della 1-forma di Confronto $\Omega^{(p)}$:
   Per definire un regolatore globale su una curva $C$ su $k_2$, l'autore deve confrontare i sollevamenti locali di funzioni e della curva stessa. In caratteristica 0, ciò viene fatto utilizzando una 1-forma $\Omega$ derivata dai logaritmi standard. In caratteristica $p$, l'autore costruisce una 1-forma $\Omega^{(p)}$ unica su $\Lambda^3 R^\times_\infty$ (dove $R$ è un anello di caratteristica $p$). Questa forma è definita dalle sue proprietà di annullamento su elementi specifici e dai suoi valori espliciti su termini della forma $e^{\alpha t^a} \wedge e^{\beta t^b} \wedge e^{\gamma t^c}$ dove $a+b+c=p$.

3. Invarianza sotto Riparametrizzazione:
   Un ostacolo tecnico critico è dimostrare che il residuo di $\Omega^{(p)}$ sia indipendente dalla scelta delle coordinate locali (parametrizzazione). L'autore dimostra che per un automorfismo continuo $\sigma$ di $k((s))_\infty$ che è l'identità modulo $(t)$, il residuo di $\Omega^{(p)}$ rimane invariante. Ciò si basa su un'analisi dettagliata degli automorfismi infinitesimali e sull'espansione di $\sigma(e^{\alpha t^a})$ usando una serie esponenziale troncata.

4. Definizione del Regolatore $\rho_K$:
   Per una curva smooth e proper $C$ su $k_2$ e un insieme di sollevamenti smooth $P$, il regolatore $\rho_K: \Lambda^3 k(C, P)^\times \to k$ è definito sommando i contributi locali. Per una terna di funzioni $(f, g, h)$, il valore è calcolato:

   • Scegliendo i sollevamenti locali della curva e delle funzioni.
   • Calcolando il residuo del dilogaritmo in caratteristica $p$, $\ell i^{(p)}_2$, sui residui locali.
   • Aggiungendo un "termine di difetto" derivato dal residuo della 1-forma $\Omega^{(p)}$ che confronta i sollevamenti locali con un sollevamento generico.
     Si dimostra che la somma è finita e indipendente da tutte le scelte ausiliarie (sollevamenti e isomorfismi).

5. Invariante Infinitesimale di Cicli:
   Il regolatore viene esteso per definire un invariante per cicli di codimensione 2 nello spazio $\square^3_{k_\infty}$ (dove $k_\infty = k[[t]]$). L'autore definisce un sottogruppo $z^2_f(k_\infty, 3)$ di cicli con riduzione finita. Si mostra che la mappa $\rho_K$ si annulla sulle frontiere e dipende solo dalla riduzione del ciclo modulo $(t^2)$.

Contributi Chiave e Risultati

• Il Dilogaritmo di Chow-Kontsevich ($\rho_K$): Il saggio costruisce una mappa di regolatore $\rho_K: \Lambda^3 k(C, P)^\times \to k$ per una curva $C$ su $k_2$. Questa mappa è distinta dal dilogaritmo di Chow infinitesimale $\rho$ in caratteristica 0.
• Indipendenza Lineare: L'autore dimostra che $\rho$ e $\rho_K$ sono linearmente indipendenti. Nello specifico, sotto la riscalatura $t \mapsto a \cdot t$, $\rho$ scala per $a^3$, mentre $\rho_K$ scala per $a^p$. Ciò conferma l'esistenza di due funzioni dilogaritmo indipendenti in caratteristica $p \geq 5$, coerentemente con la struttura di $K_3(k_2)$.
• Computazione Esplicita: Sulla retta proiettiva $\mathbb{P}^1_{k_2}$ con coordinata $z$, il regolatore è calcolato esplicitamente. Per una terna $(z-\alpha) \wedge (z-\beta) \wedge (z-\gamma)$, il valore è dato da $a^p \cdot \mathcal{L}_1(s)$, dove $s$ è derivato dal rapporto incrociato dei punti e $a$ è un coefficiente del sollevamento.
• Proprietà di Modulo: Il saggio dimostra che $\rho_K$ induce una mappa ben definita su cicli modulo $(t^2)$. Se due cicli sono congruenti modulo $(t^2)$, essi producono lo stesso valore sotto $\rho_K$.
• Relazione con la Congettura di Goncharov: La costruzione è inquadrata come un analogo della congettura di Goncharov sulle leggi di reciprocità forte. La mappa $\rho_K$ è attesa essere la composizione della mappa del complesso motivico $\Lambda^3 k(C, P)^\times \to B_2(k_2)$ con il dilogaritmo in caratteristica $p$, $\ell i^{(p)}_2$.

Significato
Il saggio sostiene che la costruzione di $\rho_K$ fornisce un oggetto puramente in caratteristica $p$ che completa il quadro dei regolatori del dilogaritmo in caratteristica $p$. Sebbene il dilogaritmo additivo $\ell i_2$ (derivato da metodi in caratteristica 0) esista in caratteristica $p$, esso è insufficiente per catturare la struttura completa della $K$-teoria di $k_2$. L'aggiunta di $\rho_K$, basata sul logaritmo $1\frac{1}{2}$ di Kontsevich, permette la costruzione di un isomorfismo tra la parte infinitesimale di $K_3(k_2)$ e $k \oplus k$.

Inoltre, il saggio stabilisce un invariante infinitesimale per i cicli in caratteristica $p$, analogo ai risultati in caratteristica 0. Ciò suggerisce che il dilogaritmo di Chow-Kontsevich sia l'analogo corretto in caratteristica $p$ per studiare la coomologia motivica e le leggi di reciprocità in questo contesto. Il lavoro non propone nuove applicazioni sperimentali, ma piuttosto consolida il quadro teorico per i regolatori e la $K$-teoria in caratteristica positiva.