Real algebraic surfaces biholomorphically equivalent but not algebraically equivalent

Sintesi Tecnica: Superfici Algebriche Reali Bioloformicamente Equivalenti ma Non Algebricamente Equivalenti

Enunciato del Problema
Questo articolo affronta una questione aperta di lunga data nella geometria complessa e nella geometria algebrica reale: l'equivalenza biolomorfa implica l'equivalenza algebrica per germi di varietà algebriche reali in $\mathbb{C}^n$. Nello specifico, dati due germi di varietà algebriche reali lisce $(M, 0)$ e $(M', 0)$ in $\mathbb{C}^n$, se esiste un biolomorfismo $\Phi$ che mappa $M$ su $M'$, esiste necessariamente un biolomorfismo $\Psi$ definito da serie algebriche (cioè serie di potenze che soddisfano un'equazione polinomiale non banale con coefficienti polinomiali) tale che $\Psi(M) = M'$?

Sebbene la risposta sia nota per essere positiva per diverse classi importanti di varietà — incluse le ipersuperfici algebriche reali Levi non degeneri (Webster, 1977) e le varietà algebriche reali generiche di tipo finito che sono olomorficamente non degeneri (Berteloot, Ebenfelt e Rakhimov, 1996) — il caso generale per le varietà algebriche reali rimaneva irrisolto. Lavori precedenti di Moser e Webster (1983) hanno dimostrato che l'equivalenza formale non implica sempre l'equivalenza convergente (biolomorfa) per le superfici di Bishop, ma la questione specifica se l'equivalenza convergente implichi l'equivalenza algebrica non era stata risolta.

Metodologia
L'autore costruisce un controesempio utilizzando le superfici di Bishop, una classe di superfici reali in $\mathbb{C}^2$ caratterizzate dall'avere uno spazio tangente totalmente reale ovunque tranne che nell'origine, dove lo spazio tangente è una retta complessa.

1. Costruzione del Controesempio:
   L'articolo considera la famiglia di superfici di Bishop $M_\gamma$ definita da:
   $$M_\gamma := \{(z, w) \in \mathbb{C}^2 \mid w = |z|^2 + \gamma(z^2 + \bar{z}^2)\}$$
   dove $\gamma \in (0, 1/2)$ è un numero trascendente.

2. Esistenza dell'Equivalenza Biolomorfa:
   Citando Moser e Webster (1983), l'articolo nota che per $\gamma \in (0, 1/2)$, la superficie $M_\gamma$ ammette una mappa biolomorfa convergente $\Phi$ verso una forma normale $N_{\gamma, \epsilon, s}$ (nello specifico, una superficie definita da $w = |z|^2 + (\gamma + \epsilon w^s)(z^2 + \bar{z}^2)$ con $\text{Im}(w)=0$). Pertanto, $M_\gamma$ è biolomorficamente equivalente alla sua forma normale.

3. Dimostrazione della Non-Equivalenza Algebrica:
   Il nucleo della dimostrazione procede per assurdo. L'autore assume che esista un biolomorfismo $\Phi = (\phi_1, \phi_2)$ con componenti nell'anello delle serie di potenze algebriche $\mathbb{C}\langle z, w \rangle$ che mappa $M_\gamma$ sulla forma normale (nello specifico, mappandola nel piano reale $\text{Im}(w)=0$).

   • Analisi della Struttura Algebrica: La dimostrazione utilizza le proprietà dell'anello delle serie di potenze algebriche, inclusi il Teorema della Funzione Implicita, la fedeltà piatta e il comportamento dei coefficienti sotto estensioni di campo.
   • Riduzione del Campo dei Coefficienti: Utilizzando il Lemma 6 e il Lemma 5, l'autore riduce i coefficienti della mappa algebrica assunta a un'estensione di campo finitamente generata $L$ di $\mathbb{Q}(\gamma)$. Attraverso un'ulteriore analisi (Lemma 7, un teorema di tipo Eisenstein), si dimostra che i coefficienti sono funzioni razionali dei parametri trascendenti $\gamma_1, \dots, \gamma_r$.
   • Deformazione dei Parametri: L'autore costruisce una famiglia di superfici $M_\delta$ parametrizzata da $\delta \in \mathbb{R}$. Sfruttando l'indipendenza algebrica del trascendente $\gamma$, la dimostrazione mostra che se esiste un'equivalenza algebrica per il trascendente $\gamma$, allora deve esistere un'equivalenza algebrica anche per un parametro "vicino" $\delta_1$ scelto da un insieme denso di numeri reali.
   • Contraddizione tramite Parametri Eccezionali: L'autore seleziona $\delta_1 > 1/2$ come un parametro "eccezionale" (dove le soluzioni di $\gamma T^2 - T + \gamma = 0$ non sono radici dell'unità). Moser e Webster (1983, Teorema 6.1) hanno dimostrato che per tali parametri eccezionali non esiste alcun biolomorfismo convergente che mappi la superficie sulla forma normale. Poiché le serie di potenze algebriche sono convergenti, l'esistenza di una mappa algebrica per $\delta_1$ implicherebbe l'esistenza di una mappa convergente, il che è una nota impossibilità.

Contributi e Risultati Chiave

• Teorema 1: L'articolo stabilisce che se $\gamma \in (0, 1/2)$ è un numero trascendente, la superficie di Bishop $M_\gamma$ è biolomorficamente equivalente alla sua forma normale, ma non mediante un biolomorfismo algebrico.
• Risposta Negativa alla Domanda Generale: Questo risultato fornisce una risposta negativa definitiva alla domanda posta in [BER00] e [Mir13]: l'equivalenza biolomorfa non implica l'equivalenza algebrica per germi di varietà algebriche reali in generale.
• Raffinamento della Teoria delle Superfici di Bishop: Il lavoro chiarisce la distinzione tra equivalenze formali, convergenti e algebriche specificamente nel contesto delle superfici di Bishop, evidenziando il ruolo degli invarianti trascendenti.

Significato
L'articolo risolve un problema aperto specifico riguardante la rigidità delle strutture algebriche reali sotto applicazioni biolomorfe. Dimostra che, sebbene la struttura analitica di queste superfici sia abbastanza rigida da ammettere una forma normale convergente (per $\gamma \in (0, 1/2)$), la struttura algebrica non è preservata da questa equivalenza. Il risultato sottolinea che la classe delle serie di potenze algebriche è strettamente più piccola della classe delle serie di potenze convergenti nel contesto della mappatura di varietà algebriche reali, anche quando le varietà stesse sono algebriche. L'autore inquadra modestamente il lavoro come la fornitura di un controesempio specifico a una congettura generale, affidandosi ai risultati consolidati sulla non convergenza per i parametri eccezionali di Moser e Webster per generare la contraddizione.