Buchstaber, Ochanine, Krichever, and Witten genera

Titolo: Buchstaber, Ochanine, Krichever, and Witten genera

Autore: Mikhail Kornev
Argomento: Topologia algebrica, Teoria delle varietà complesse, Gruppi formali, Generi di Hirzebruch.

---

1. Il Problema e il Contesto

Il lavoro si inserisce nello studio dei gruppi formali e delle loro applicazioni alla teoria dei generi di Hirzebruch (morfismi dall'anello di cobordismo complesso $\Omega_U$ a un anello di coefficienti).
In particolare, il paper affronta la classificazione e la costruzione di nuove famiglie di gruppi formali che derivano dalla costruzione del quadrato del modulo (modulus square construction) applicata a gruppi formali univali.

• Contesto storico: Buchstaber (1990) aveva introdotto una famiglia di polinomi $B_a(z; x, y)$ che definiscono un gruppo formale bivale universale. Questo gruppo è ottenuto applicando la costruzione del quadrato del modulo a una classe di gruppi formali $F(u, v)$ legati al genere di Krichever.
• Il problema aperto: Esiste una relazione tra questa nuova classe di gruppi formali bivale e i generi noti (Ochanine, Krichever, Witten)? In particolare, la nuova classe coincide con i generi ellittici di livello $n$ di Hirzebruch o ne rappresenta una generalizzazione distinta?

2. Metodologia

L'autore utilizza un approccio che combina:

1. Teoria dei gruppi formali bivale: Si basa sulla costruzione geometrica introdotta da Buchstaber e Novikov, dove un gruppo formale bivale è definito come l'orbita di un gruppo abeliano rispetto a un'involuzione (il "quadrato del modulo").
2. Analisi delle funzioni speciali: Utilizzo estensivo delle funzioni di Weierstrass ($\wp, \sigma, \zeta$) e della funzione di Baker-Akhiezer.
3. Calcolo algebrico e ricorsivo: Derivazione di serie esponenziali e logaritmi formali, e calcolo dei valori dei generi su varietà specifiche (divisori theta e spazi proiettivi complessi) tramite relazioni di ricorrenza sui coefficienti.
4. Teoria dei numeri (Valutazione p-adica): Uso del teorema di Kummer per analizzare la divisibilità dei coefficienti nelle serie di Hurwitz.

3. Contributi Chiave e Risultati Principali

A. Introduzione di una Nuova Classe di Gruppi Formali

L'autore introduce una nuova classe di leggi di gruppo formale univale $F_{Bc}(u, v)$, definita come:
$$F_{Bc}(u, v) = \left[ \left( \frac{u\sqrt{Q(v)} - v\sqrt{Q(u)}}{u^2 - v^2} \right)^2 + a_3 u^2 v^2 \right]^{-1/2}$$
dove $Q(t) = 1 - a_1 t^2 + a_2 t^4 - a_3 t^6$.

• Risultato fondamentale: Il quadrato del modulo di questo gruppo $F_{Bc}$ coincide esattamente con la famiglia di polinomi bivale $B_a$ introdotta da Buchstaber.
• Distinzione: Questa classe è legata, ma non coincide con la famiglia dei gruppi formali associati al genere di Krichever. L'intersezione tra le due classi avviene solo nel caso in cui $a_3 = 0$, che corrisponde al genere di Ochanine (genere ellittico). Per $a_3 \neq 0$, il genere risultante è distinto dai generi ellittici di livello $n$ di Hirzebruch.

B. Il Genere di Buchstaber

Il gruppo formale $F_{Bc}$ definisce un nuovo genere di Hirzebruch, chiamato genere di Buchstaber ($B_c$).

• Logaritmo ed Esponenziale: L'autore fornisce formule esplicite per il logaritmo $g_{Bc}(u)$ e l'esponenziale $f_{Bc}(u)$ in termini di funzioni ellittiche e integrali iperellittici.
  • $g_{Bc}(u) = \int_0^u \frac{dt}{\sqrt{1 - a_1 t^2 + a_2 t^4 - a_3 t^6}}$
  • $f_{Bc}(u)$ è l'inverso di tale integrale, legato alla funzione $\wp$ di Weierstrass con parametri specifici ($g_2, g_3$ derivati da $a_i$).

C. Calcolo dei Valori su Varietà Specifiche

Il paper calcola i valori del genere di Buchstaber su due classi fondamentali di varietà:

1. Divisori Theta ($\Theta_n$):

   • Si dimostra che i valori $B_c(\Theta_n)$ appartengono all'anello $\mathbb{Z}[a_1, a_2, a_3]$.
   • Vengono forniti i primi valori non nulli:
     • $B_c(\Theta_2) = -a_1$
     • $B_c(\Theta_4) = a_1^2 + 12a_2$
     • $B_c(\Theta_6) = -a_1^3 - 132a_1a_2 - 360a_3$
   • Si nota che $B_c(\Theta_{2n+1}) = 0$ per ogni $n \ge 0$.

2. Spazi Proiettivi Complessi ($\mathbb{C}P^n$):

   • Vengono calcolati i valori $B_c(\mathbb{C}P^{2n})$ in funzione dei parametri $a_i$.
   • Anche qui, $B_c(\mathbb{C}P^{2n+1}) = 0$.

D. Confronto con Altri Generi (Proposizioni 5 e 6)

• Distinzione dal Genere di Krichever: L'autore costruisce un elemento specifico $K \in \Omega_U^{-12}$ (una combinazione lineare di classi di divisori theta) tale che:
  • Il genere di Krichever su $K$ è nullo (razionalmente).
  • Il genere di Buchstaber su $K$ è $-360a_3$, che è non nullo se $a_3 \neq 0$.
  • Questo prova che il genere di Buchstaber non è un caso particolare del genere di Krichever e fornisce nuovi esempi di generi non riducibili ai generi ellittici di Hirzebruch.
• Relazione con il Genere di Witten:
  • Confrontando l'esponenziale del genere di Buchstaber (con $a_1=0$) con quello del genere di Witten (basato sulla funzione $\sigma$ di Weierstrass).
  • Risultato sulla serie di Hurwitz: Si dimostra che l'esponenziale del genere di Buchstaber è una serie di Hurwitz sull'anello $\mathbb{Z}[g_2, g_3]$. Questo risponde positivamente a una congettura di Bunkova (in un caso specifico) e stabilisce proprietà aritmetiche profonde dei coefficienti della serie esponenziale.

4. Significato e Impatto

1. Nuova Classe di Generi: Il lavoro identifica e caratterizza rigorosamente una nuova famiglia di generi di Hirzebruch che estende la teoria dei generi ellittici, fornendo esempi concreti che non derivano dai generi di livello $n$ di Hirzebruch.
2. Struttura Algebrica: La dimostrazione che i valori su $\Theta_n$ giacciono in un anello polinomiale semplice $\mathbb{Z}[a_1, a_2, a_3]$ offre una comprensione più chiara della struttura algebrica sottostante a questi generi.
3. Separazione dei Generi: La costruzione dell'elemento $K$ fornisce un criterio algebrico preciso per distinguere il genere di Buchstaber dal genere di Krichever, risolvendo questioni di indipendenza tra diverse classi di generi.
4. Proprietà Aritmetiche: La prova che l'esponenziale è una serie di Hurwitz su $\mathbb{Z}[g_2, g_3]$ collega la topologia algebrica alla teoria dei numeri (valutazioni p-adiche), suggerendo profonde connessioni tra la struttura dei gruppi formali e le proprietà aritmetiche delle funzioni modulari.

In sintesi, il paper di Kornev espande significativamente la mappa dei generi di Hirzebruch, introducendo il "genere di Buchstaber" come un oggetto matematico ben definito, calcolabile e distinto dalle classi precedentemente note, con applicazioni sia nella topologia delle varietà complesse che nella teoria dei gruppi formali.