Buchstaber, Ochanine, Krichever, and Witten genera

1. Problema e Contexto

O artigo aborda a teoria das leis de grupos formais e sua aplicação na topologia algébrica, especificamente no contexto das gêneros de Hirzebruch (que são homomorfismos do anel de cobordismo complexo $\Omega_U$ para anéis de coeficientes).

O problema central é a classificação e a compreensão das relações entre diferentes famílias de gêneros:

• Gêneros de Buchstaber: Uma família de polinômios de dois valores introduzida por V. M. Buchstaber, que surgem de uma construção geométrica específica.
• Gêneros de Krichever, Ochanine e Witten: Gêneros clássicos associados a funções elípticas e funções de Baker-Akhiezer.
• A Construção do Quadrado do Módulo: Uma operação que transforma um grupo formal de um valor em um grupo formal de dois valores.

O autor busca introduzir uma nova classe de grupos formais cujos "quadrados do módulo" (modulus square) recuperam a família de polinômios de Buchstaber. O objetivo é determinar se essa nova classe coincide com a família de Krichever (que inclui os gêneros de Ochanine e Witten como casos especiais) e explorar as propriedades topológicas desse novo gênero, chamado Gênero de Buchstaber.

2. Metodologia

O autor emprega uma combinação de técnicas de topologia algébrica, teoria de grupos formais e análise complexa:

• Construção do Quadrado do Módulo (Modulus Square Construction): Baseada em trabalhos anteriores de Buchstaber e Novikov, esta construção utiliza feixes de linhas quaterniônicas sobre o espaço classificador $HP^\infty$. A ideia é tomar um grupo formal $F(u, v)$ e gerar um grupo de dois valores cujas raízes são dadas por $z_1 = F(u, v)F(u, v)$ e $z_2 = F(u, v)F(u, v)$ (onde $x=uu, y=vv$).
• Análise de Séries Formais: O autor define explicitamente uma nova lei de grupo formal $F_{Bc}(u, v)$ e calcula seu logaritmo $g_{Bc}(u)$ e sua exponencial $f_{Bc}(u)$.
• Funções Elípticas e de Weierstrass: A construção depende fortemente das funções de Weierstrass ($\wp, \sigma, \zeta$) e da função de Baker-Akhiezer. O autor estabelece conexões entre os parâmetros do novo grupo e os invariantes modulares $g_2, g_3$.
• Cálculo de Valores em Variedades Específicas: O gênero é avaliado em classes de cobordismo de variedades específicas:
  • Divisores Theta suaves ($\Theta_n$) em variedades abelianas.
  • Espaços projetivos complexos ($\mathbb{C}P^n$).
• Comparação de Anéis de Coeficientes: O autor compara os anéis de coeficientes gerados pelo Gênero de Buchstaber com os do Gênero de Krichever e do Gênero de Witten para provar que são classes distintas.

3. Contribuições Principais

A. Introdução de uma Nova Classe de Grupos Formais

O autor define a lei de grupo formal:
$$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}$$
onde $Q(t) = 1 - a_1 t^2 + a_2 t^4 - a_3 t^6$.
Ele demonstra que o quadrado do módulo desta lei recupera exatamente a família de polinômios de Buchstaber $B_a(z; x, y)$.

B. O Gênero de Buchstaber

O autor prova que a lei $F_{Bc}(u, v)$ define um novo gênero de Hirzebruch, denominado Gênero de Buchstaber ($B_c$).

• Exponencial: $f_{Bc}(u) = \frac{1}{\sqrt{\wp(u; g_2, -g_3) + a_1/3}}$.
• Logaritmo: $g_{Bc}(u) = \int_0^u \frac{dt}{\sqrt{1 - a_1 t^2 + a_2 t^4 - a_3 t^6}}$.
• Universalidade: Este grupo é universal na classe de grupos formais de um valor com a condição $u = -u$ (funções ímpares) que, sob a construção do quadrado do módulo, produzem a lei de dois valores de Buchstaber.

C. Distinção dos Gêneros Clássicos

Um resultado crucial é a demonstração de que, para $a_3 \neq 0$, o Gênero de Buchstaber não coincide com os gêneros elípticos de nível $n$ de Hirzebruch (que incluem os gêneros de Ochanine e Krichever).

• A interseção entre a classe de grupos de Krichever e a nova classe de Buchstaber ocorre apenas quando $a_3 = 0$, o que recupera o Gênero de Ochanine.
• O autor constrói um elemento específico $K \in \Omega_U^{-12}$ (um polinômio em divisores Theta) tal que $Kr(K) = 0$ (Gênero de Krichever) mas $B_c(K) = -360a_3 \neq 0$. Isso prova que o Gênero de Buchstaber detecta informações topológicas que o Gênero de Krichever não detecta.

D. Propriedades Aritméticas (Séries de Hurwitz)

O autor investiga se a exponencial do Gênero de Buchstaber é uma Série de Hurwitz (série com coeficientes inteiros em anéis específicos).

• Para $a_1 = 0$, ele prova que a exponencial $f_{Bc}(u)$ é uma Série de Hurwitz sobre o anel $\mathbb{Z}[g_2, g_3]$.
• Isso é contrastado com o Gênero de Witten, cuja exponencial (função $\sigma$) é conjecturada para ser uma série de Hurwitz sobre um anel ligeiramente diferente ($\mathbb{Z}[g_2/2, 6g_3]$).

4. Resultados Específicos

1. Valores em Divisores Theta: O autor calcula explicitamente os valores do gênero em $\Theta_n$. Mostra-se que $B_c(\Theta_{2n+1}) = 0$ e que os valores não nulos $B_c(\Theta_{2n})$ pertencem ao anel $\mathbb{Z}[a_1, a_2, a_3]$.
   • Exemplo: $B_c(\Theta_2) = -a_1$, $B_c(\Theta_4) = a_1^2 + 12a_2$.
2. Valores em Espaços Projetivos: Calcula-se $B_c(\mathbb{C}P^{2n+1}) = 0$ e fornece fórmulas explícitas para $B_c(\mathbb{C}P^{2n})$ em termos de $a_i$.
3. Dimensão Crítica: A dimensão 12 (grau 12) é identificada como a dimensão mínima onde existe uma classe de cobordismo que separa o Gênero de Buchstaber do Gênero de Krichever.

5. Significado e Impacto

Este trabalho é significativo por várias razões:

• Novos Invariantes Topológicos: Introduz uma família de invariantes (o Gênero de Buchstaber) que estende a teoria dos gêneros elípticos clássicos, fornecendo ferramentas para distinguir variedades complexas que são indistinguíveis pelos gêneros de Krichever ou Ochanine.
• Estrutura Algébrica: Clarifica a relação entre a construção geométrica de "quadrado do módulo" e as leis de grupos formais universais, mostrando que a classe de Buchstaber é mais geral que a de Krichever.
• Conexões com Teoria dos Números: A análise das propriedades de Hurwitz das séries exponenciais conecta a topologia de cobordismo com propriedades aritméticas de coeficientes de polinômios e funções elípticas.
• Resolução de Questões Abertas: O artigo responde a questões sobre a existência de exemplos de gêneros que não surgem dos gêneros elípticos de nível $n$ de Hirzebruch, fornecendo exemplos explícitos através do parâmetro $a_3$.

Em resumo, Mikhail Kornev expande o horizonte da teoria de gêneros de Hirzebruch, estabelecendo uma nova ponte entre a geometria de grupos formais de dois valores e a topologia de variedades complexas, com resultados precisos sobre sua capacidade de distinguir classes de cobordismo.