Kobayashi length bounds on bordered surfaces and generalized integral points on abelian varieties

1. Il Problema e il Contesto

Il paper si inserisce nel campo della geometria aritmetica e della teoria dei numeri complessi, focalizzandosi sulla congettura di Lang-Vojta geometrica e sulla stima del numero di punti integrali generalizzati su varietà abeliane definite su campi di funzioni complesse.

• Contesto: Sia $B$ una superficie di Riemann compatta e $B_0 \subset B$ una sottosuperficie iperbolica con bordo (ottenuta rimuovendo dischi chiusi disgiunti). Si consideri una varietà abeliana $A$ di dimensione $n$ definita sul campo delle funzioni $K = \mathbb{C}(B)$, con un divisore efficace ridotto $D \subset A$.
• Punti Integrali Generalizzati: A differenza dei punti integrali classici (dove l'intersezione con il divisore $D$ è limitata su un insieme fisso $S \subset B$), qui si considera l'insieme $I(s, B_0)$ dei punti le cui sezioni intersecano $D$ in al più $s$ punti, permettendo che questi punti cadano in dischi disgiunti arbitrari di $B$. L'obiettivo è stimare la crescita del numero di tali punti (modulo la traccia costante) al variare di $s$.
• Il Limite Precedente: In un lavoro precedente, Phung [7] aveva dimostrato che il numero di tali punti è limitato da una funzione del tipo $O(s^{2n \cdot k})$, dove $k = \text{rk}(\pi_1(B_0))$. L'esponente $2n$ derivava da una stima lineare della lunghezza di Kobayashi dei loop sulla superficie forata.

2. Metodologia

L'autore adotta un approccio ibrido che combina analisi complessa (metrica di Kobayashi) e topologia algebrica (coomologia di gruppi e cocicli di Parshin). La strategia si articola in due fasi principali:

A. Stima delle Lunghezze di Kobayashi (Teorema 1.5)

Il cuore tecnico del lavoro è il miglioramento del limite superiore per la lunghezza di Kobayashi di un loop $\alpha$ su una superficie $B_0$ con $s$ punti rimossi (fori).

• Approccio di Phung: Utilizzava una stima puntuale diretta, ottenendo un limite lineare $O(s)$.
• Nuovo Approccio di Dolce:
  1. Si fissa un rappresentante liscio $\gamma$ del loop $\alpha$ e si considera una "striscia di Fermi" $T_\delta(\gamma)$ (un intorno tubolare).
  2. Si introduce una decomposizione di Voronoi della striscia rispetto ai punti di foratura $S$.
  3. Si stima la norma $L^p$ della funzione di distorsione $\lambda_S$ (rapporto tra la metrica di Kobayashi forata e una metrica di riferimento $\rho$) per un esponente $1 < p < 2$.
  4. Sfruttando il fatto che la singolarità della metrica di Kobayashi vicino a un foro è integrabile in $L^p$ solo per $p < 2$, si applica la disuguaglianza di Hölder.
  5. Ottimizzando l'esponente $p$ in funzione di $s$ (scelto come $p = 2 - 1/\log(s+2)$), si bilancia la divergenza della norma $L^p$ con la precisione della stima di Hölder.

B. Applicazione alla Conteggio dei Punti (Teorema 1.4)

Si utilizza il risultato sulla lunghezza per affinare l'argomento di Parshin usato da Phung:

1. Si costruisce un cociclo di Parshin $c_P: \pi_1(B_0) \to \Gamma$ (dove $\Gamma \cong \mathbb{Z}^{2n}$ è il gruppo fondamentale della fibra).
2. Si lega la lunghezza dei loop nella base $B_0$ alla lunghezza dei loop nella varietà totale $A$ tramite la metrica hermitiana.
3. Si stima il numero di elementi del reticolo $\Gamma$ che possono essere raggiunti entro una certa distanza (legata alla lunghezza dei loop).
4. Poiché la crescita del numero di punti in un reticolo di rango $2n$ in una sfera di raggio $R$ è proporzionale a $R^{2n}$, la riduzione del raggio $R$ da $O(s)$ a $O(\sqrt{s \log s})$ riduce drasticamente l'esponente finale.

3. Risultati Chiave

Il paper presenta due teoremi fondamentali:

Teorema 1.5 (Stima della Lunghezza di Kobayashi):
Per un loop $\alpha$ non banale in $\pi_1(B_0)$, la lunghezza minima di Kobayashi $L(\alpha, s)$ su $B_0$ con al più $s$ punti rimossi soddisfa:
$$L(\alpha, s) \leq C \sqrt{(s+1) \log(s+2)}$$
Questo risultato determina il tasso di crescita asintotico esatto:
$$\lim_{s \to \infty} \frac{\log L(\alpha, s)}{\log s} = \frac{1}{2}$$
Risolvendo così la domanda aperta in [7, Question 1.4].

Teorema 1.4 (Miglioramento del Limite per i Punti Integrali):
Sotto le stesse ipotesi di Phung, il numero di punti integrali generalizzati $(s, B_0)$ su una varietà abeliana di dimensione $n$, modulo la traccia costante, è limitato da:
$$\# \left( I(s, B_0) / \text{Tr}_{K/\mathbb{C}}(A)(\mathbb{C}) \right) \leq m (s+1)^{nk + \varepsilon}$$
per ogni $\varepsilon > 0$.

4. Contributi e Innovazioni

1. Riduzione dell'Esponente: Il contributo più significativo è la riduzione dell'esponente nel limite superiore da $2nk$ (risultato di Phung) a $nk + \varepsilon$. Questo dimezza l'esponente, allineando il risultato per i punti generalizzati con le stime note per i punti integrali classici (dove l'esponente è $k$ per curve ellittiche, $n=1$).
2. Tecnica di Media Integrale: Il passaggio da una stima puntuale (che porta a $O(s)$) a una stima basata su medie integrali ($L^p$-norme) e decomposizione di Voronoi rappresenta un avanzamento metodologico sostanziale nell'analisi delle metriche di Kobayashi su superfici forate.
3. Gestione dei Punti Base Variabili: A differenza dell'approccio precedente che richiedeva loop con un punto base comune, la nuova dimostrazione gestisce loop con punti base arbitrari. Questo è reso possibile dalla commutatività del gruppo fondamentale della fibra (varietà abeliana), che garantisce che le classi di coomologia dei cocicli rimangano invariate per coniugazione.

5. Significato e Implicazioni

• Progresso verso la Congettura di Lang-Vojta: Sebbene la congettura completa rimanga aperta per varietà abeliane complesse non costanti, questo lavoro fornisce il miglior limite quantitativo noto per i punti integrali generalizzati. La riduzione dell'esponente suggerisce che la crescita del numero di punti è molto più lenta di quanto precedentemente ipotizzato.
• Ottimalità Asintotica: La determinazione del limite $\lim \frac{\log L}{\log s} = 1/2$ indica che la crescita sub-lineare è intrinseca alla geometria della superficie forata e non è un artefatto della tecnica di stima.
• Metodologia Trasversale: Le tecniche sviluppate per stimare le metriche di Kobayashi su superfici con fori potrebbero trovare applicazione in altri contesti di geometria iperbolica complessa e nella teoria delle superfici di Riemann.

In sintesi, il lavoro di Dolce rappresenta un passo cruciale nella comprensione quantitativa della distribuzione dei punti integrali su varietà abeliane, risolvendo un problema aperto sulla crescita delle lunghezze di Kobayashi e applicando tale risultato per affinare drasticamente i limiti superiori nella teoria dei numeri.