Notes on acceptable bundles I

Titolo: Note sui Fasci Accettabili I

Autori: Osamu Fujino, Taro Fujisawa, Takashi Ono
Contesto: Teoria di Simpson-Mochizuki, Geometria Complessa, Fasci Vettoriali su Dischi Puntati.

1. Il Problema e il Contesto

Il concetto di fascio accettabile (acceptable bundle) è fondamentale nella teoria di Simpson e Mochizuki, che studia le strutture di Higgs non stabili e le rappresentazioni delle varietà algebriche. Sebbene Takuro Mochizuki abbia fornito un quadro generale in dimensioni superiori (in particolare nel Capitolo 21 di [M4]), la trattazione del caso base fondamentale—i fasci vettoriali accettabili su un disco puntuato $\Delta^* = \{z \in \mathbb{C} \mid 0 < |z| < 1\}$—è spesso trattata in modo sintetico o implicito nelle opere originali.

L'obiettivo di questo articolo è colmare questa lacuna fornendo uno studio dettagliato, autocontenuto e rigoroso dei fasci accettabili su un disco puntuato. L'articolo mira non solo a esporre i risultati noti, ma anche a introdurre nuovi strumenti e invarianti che differiscono dalle argomentazioni originali di Simpson e Mochizuki, facilitando l'accesso a queste teorie profonde e fornendo le basi per lavori successivi (in particolare su polidiski parzialmente puntati).

2. Metodologia e Strumenti

Gli autori adottano un approccio analitico-geometrico rigoroso basato sulle seguenti metodologie:

• Metriche e Curvatura: Si considera un fascio vettolare olomorfo $(E, h)$ su $\Delta^*$ con una metrica hermitiana liscia. Un fascio è definito "accettabile" se la norma della forma di curvatura $\Theta_h(E)$ rispetto alla metrica di Poincaré $\omega_P$ è limitata.
• Prolungamento per Ordini Crescenti: Viene studiato il fascio $^aE$ definito come l'insieme delle sezioni locali $f$ di $E$ tali che $|f|_h = O(|z|^{-a-\epsilon})$ per ogni $\epsilon > 0$. Il teorema fondamentale (di Simpson) afferma che $^aE$ è un fascio vettoriale olomorfo su tutto il disco $\Delta$.
• Nuovo Invariante $\gamma$: Gli autori introducono un nuovo invariante reale $\gamma(^aE)$, definito tramite il limite inferiore del logaritmo del determinante della matrice di Gram delle sezioni rispetto alla metrica:
  $$\gamma(^aE) := -\frac{1}{2} \liminf_{z \to 0} \frac{\log \det H(h, v)}{\log |z|}$$
  dove $v$ è una base locale di $^aE$.
• Analisi Asintotica e Metodi $L^2$: Vengono utilizzati metodi di analisi complessa, inclusi:
  • Stime di crescita per sezioni olomorfe tramite il metodo $L^2$ e l'equazione $\bar{\partial}$.
  • Proprietà delle funzioni subarmoniche e i numeri di Lelong.
  • Coperture cicliche ($z \mapsto z^m$) per semplificare la struttura dei pesi parabolici.
  • Approssimazione diofantea (Lemma 12.2) per gestire i casi irrazionali nei pesi.
• Lemmi Chiave: Viene riprova e adattato il "Lemma Chiave di Simpson" (Lemma 10.1) per ottenere stime precise sulle sezioni costanti in presenza di curvatura negativa.

3. Contributi Chiave e Risultati Principali

A. Prolungamento dei Fasci Lineari e Vettoriali

• Teorema 1.3 (Simpson): Viene dimostrato in dettaglio che per ogni $a \in \mathbb{R}$, il fascio $^aE$ è un fascio vettoriale olomorfo coerente su $\Delta$.
• Teorema 4.4 (Caso Lineare): Per un fascio lineare accettabile $(L, h)$, gli autori forniscono una descrizione esplicita e nuova del prolungamento $^aL$. Viene dimostrato l'esistenza di un limite $\gamma = \lim_{z\to 0} \frac{\phi(z)}{\log|z|}$ (dove $h = |\cdot|^2 e^{-2\phi}$) e si caratterizza lo stallo $^aL$ in termini di questo limite e della parte intera di $a-\gamma$.

B. L'Invariante $\gamma$ e i Pesi Parabolici

• Teorema 1.9 / 7.13: Questo è il risultato centrale del lavoro. Gli autori dimostrano che l'invariante $\gamma(^aE)$ è ben definito (indipendente dalla scelta della base) e soddisfa l'uguaglianza fondamentale:
  $$\gamma(^aE) = \sum_{i=1}^r b_i$$
  dove $\{b_1, \dots, b_r\}$ sono i pesi parabolici (con molteplicità) associati alla filtrazione di $^aE$. Questo collega direttamente l'analisi asintotica della metrica alla struttura algebrica della filtrazione.
• Determinanti: Viene provato che il fascio determinante $\det(^aE)$ è isomorfo a $^{\gamma(^aE)}(\det E)$, generalizzando il caso lineare.

C. Proprietà di Dualità e Tensori

• Teorema 1.12 (Dualità): Viene stabilita la relazione precisa tra il prolungamento del fascio duale e quello originale:
  $$(^aE)^\vee = {}^{-a+1-\epsilon}(E^\vee)$$
  per $\epsilon > 0$ sufficientemente piccolo. Inoltre, i pesi parabolici del duale sono esattamente $-b_i$.
• Teorema 1.14 (Prodotti Tensoriali): Si dimostra che il prodotto tensoriale di fasci accettabili è accettabile e che la filtrazione parabolica sul prodotto tensoriale coincide con la somma dei pesi:
  $${}^a(E_1 \otimes E_2) = \sum_{a_1+a_2 \leq a} {}^{a_1}E_1 \otimes {}^{a_2}E_2$$
• Stime di Norma Debole (Teorema 1.13): Viene dimostrato che, per una base compatibile con la filtrazione parabolica, la matrice di Gram delle sezioni scalate $v_i |z|^{b_i}$ è limitata superiormente e inferiormente da potenze di $(-\log |z|)$.

D. Struttura dei Fasci Filtrati

L'articolo formalizza la nozione di fascio filtrato (filtered bundle) nel contesto di Mochizuki, mostrando come la collezione $\{{}^aE\}_{a \in \mathbb{R}}$ formi una struttura coerente che permette di trattare i fasci con singolarità regolari in modo sistematico.

4. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

1. Chiarezza e Accessibilità: Fornisce una trattazione completa e autocontenuta del caso unidimensionale, spesso dato per scontato o trattato brevemente nella letteratura originale di Simpson e Mochizuki. Questo rende la teoria più accessibile ai ricercatori.
2. Nuovi Strumenti Tecnici: L'introduzione e la sistematizzazione dell'invariante $\gamma(^aE)$ offrono un nuovo strumento potente per analizzare la struttura asintotica delle metriche hermitiane, semplificando alcune dimostrazioni complesse.
3. Fondamento per Generalizzazioni: Poiché l'articolo si concentra sul disco puntuato, funge da base tecnica essenziale per il lavoro successivo ([FFO]) che estende questi risultati ai polidiski parzialmente puntati (dimensione superiore).
4. Rigore nelle Dimostrazioni: Le dimostrazioni dei teoremi sulla dualità e sui prodotti tensoriali sono sviluppate con un dettaglio analitico superiore, utilizzando stime $L^2$ e proprietà delle funzioni subarmoniche in modo esplicito, riducendo l'ambiguità presente in alcune trattazioni precedenti.

In sintesi, questo articolo non è solo un'esposizione, ma un contributo tecnico sostanziale che rafforza le fondamenta della teoria di Simpson-Mochizuki, fornendo definizioni precise, nuovi invarianti e dimostrazioni rigorose per la teoria dei fasci accettabili in dimensione uno.