Enumerative geometry and modularity in two-modulus K3-fibered Calabi-Yau threefolds

Título: Geometria Enumerativa e Modularidade em Calabi-Yau Três-Dobras com Fibração K3 de Dois Módulos

Enunciado do Problema
O artigo aborda a construção e a geometria enumerativa de variedades Calabi-Yau (CY) três-dobras que são fibradas por superfícies K3. Embora progressos significativos tenham sido feitos na classificação de variedades CY três-dobras via interseções completas em produtos de espaços projetivos (CICYs) ou hipersuperfícies em variedades toricas, uma classificação completa permanece fora de alcance, sendo que a maioria de tais geometrias provavelmente cai fora dessas categorias. Especificamente, os autores focam na construção de uma família sistemática de pares espelho (mirror pairs) de dois parâmetros $(X, Y)$ onde $Y$ é fibrada por superfícies K3 polarizadas por $M_m$ (posto de Picard 19) e $X$ é seu espelho. O objetivo é verificar a conjectura de espelho de Doran-Harder-Thompson (DHT) em novos casos não-toricos e computar energias livres de cordas topológicas e invariantes enumerativas (Gopakumar-Vafa e Donaldson-Thomas) para investigar suas propriedades modulares sob o grupo de congruência $\Gamma_0(m)^+$.

Metodologia
Os autores empregam uma abordagem dual combinando construções do modelo-B (estrutura complexa) e do modelo-A (estrutura Kähler), ligadas pela simetria de espelho e pela conjectura DHT.

1. Construção do Modelo-B ($Y$):

   • Os autores constroem uma família de variedades CY três-dobras $Y^{[i,j]}_{m,s}$ fibradas por superfícies K3 polarizadas por $M_m$.
   • A fibração é definida via um mapa de invariante funcional generalizado $\Lambda: \mathbb{P}^1 \to X_0(m)^+$, onde $X_0(m)^+$ é a curva modular associada ao subgrupo de congruência $\Gamma_0(m)^+$.
   • O mapa é parametrizado pelos inteiros $(m, i, j, s)$, onde $m \leq 11$ e $s$ controla o perfil de ramificação. Os módulos da estrutura complexa $z_1, z_2$ determinam o espaço total.
   • Os períodos são computados via integrais de contorno do período fundamental da fibra K3, levando à derivação de operadores diferenciais de Picard-Fuchs.

2. Construção do Modelo-A ($X$):

   • O espelho $X^{[i,j]}_{m,s}$ é construído como uma interseção completa dentro de um feixe projetivo sobre uma quatro-dobra Fano $V^{[i,j]}_m$ de posto de Picard 1.
   • Para $m \leq 4$, estas geometrias são realizadas como CICYs ou hipersuperfícies em variedades toricas. Para $m \geq 5$, elas são intrinsecamente não-toricas, realizadas como interseções completas em feixes de Grassmann ou como dupla cobertura de três-dobras Fano.
   • A construção utiliza a conjectura DHT: $X$ admite uma degeneração de Tyurin em um par de três-dobras Fano de grau $m$ que se interceptam sobre uma superfície K3 anticanônica. Para $s=0$, $X$ admite, por si só, uma fibração K3.

3. Análise Enumerativa e Modular:

   • Os autores computam as energias livres topológicas de gênero 0 e gênero 1 ($F^{(0)}$ e $F^{(1)}$) no limite de base grande ($S \to i\infty$).
   • Eles utilizam a relação entre os invariantes de Gopakumar-Vafa (GV) e os invariantes de Noether-Lefschetz (NL). Espera-se que a série geradora dos invariantes NL transforme-se como uma forma modular de valor vetorial (ou forma de Jacobi skew-holomorfa) sob $\Gamma_0(m)^+$.
   • Ao extrair os invariantes GV das energias livres, eles verificam as propriedades modulares esperadas.
   • Para graus de base não nulos, eles constroem séries geradoras para graus de base 1 e 2, verificando suas propriedades de transformação sob o grupo de mônodromia.

Principais Contribuições

• Construção Uniforme de 39 Pares Espelho: O artigo introduz uma família de 39 pares espelho CY rotulados por quadruplas de inteiros $(m, i, j, s)$. Isso inclui 26 modelos com $s=0$ onde a geometria do modelo-A $X$ é ela própria uma fibração K3.
• Realizações Não-Toricas: Os autores fornecem construções geométricas explícitas para modelos com $m \geq 5$, que não podem ser realizados como interseções completas em espaços ambientes toricos. Estes são construídos como interseções completas em feixes projetivos sobre quatro-dobras Fano ou via transições de conifold de modelos toricos.
• Verificação da Conjectura DHT: O trabalho fornece numerosos novos exemplos que apoiam a conjectura DHT, ligando explicitamente a degeneração de Tyurin do modelo-A à fibração K3 do modelo-B.
• Identificação de Formas Modulares: Os autores derivam fórmulas uniformes para as energias livres topológicas perto da degeneração de Tyurin. Eles demonstram que as funções geradoras para os invariantes GV e NL exibem propriedades modulares sob o grupo de congruência estendido de Fricke $\Gamma_0(m)^+$.
• Invariantes de Grau de Base Superior: O artigo calcula séries geradoras para invariantes de grau de base não nulo (especificamente graus 1 e 2) e exibe suas propriedades modulares, estendendo resultados anteriores limitados a invariantes verticais.

Resultos

• Invariantes Topológicos: Os autores fornecem fórmulas explícitas para números de Hodge, números de interseção e classes de Chern de segunda ordem para as famílias construídas.
• Energias Livres: Expressões uniformes para as energias livres de gênero 0 e 1 são obtidas no limite de base grande. A energia livre de gênero 0 é mostrada como relacionada a uma integral de Eichler holomorfa de peso $-4$, enquanto a energia livre de gênero 1 envolve termos logarítmicos de formas modulares e produtos de eta.
• Modularidade: A série geradora dos invariantes GV verticais é confirmada como correspondendo a formas de Jacobi skew-holomorfas de índice $m$. A quinta derivada da energia livre de gênero 0 é mostrada como uma forma modular meromorfa de peso 6 sob $\Gamma_0(m)^+$.
• Transições de Conifold: O artigo detalha transições de conifold conectando os modelos de dois parâmetros a modelos hipergeométricos de um parâmetro (e análogos não-toricos), verificando que os invariantes topológicos se comportam consistentemente sob essas transições.
• Casos Específicos: A construção cobre $m \in \{1, \dots, 9, 11\}$. Notavelmente, o caso $m=11$ envolve uma quatro-dobra Fano de índice 2 construída como um cone sobre uma três-dobra Fano específica, resultando em uma dupla cobertura de uma três-dobra $A_{22}$.

Significância
O artigo reivindica significância em várias áreas:

1. Expandindo o Panorama: Ele constrói sistematicamente uma grande classe de variedades CY três-dobras fibradas por K3 de dois parâmetros, incluindo exemplos intrinsecamente não-toricos, ampliando assim o panorama conhecido de geometrias CY além de CICYs e hipersuperfícies toricas.
2. Testando a Simetria de Espelho: Ele fornece um banco de testes rigoroso para a conjectura de espelho DHT, confirmando suas previsões para números de Hodge e degenerações geométricas em configurações complexas e não-toricas.
3. Modularidade e Dualidade: Os resultados apoiam a expectativa física de que os invariantes enumerativos de CY fibradas por K3 são governados por formas modulares. Isso está ligado à dualidade heterótica/tipo II, onde a série geradora dos invariantes corresponde ao "novo índice supersimétrico" no lado heterótico. A verificação da modularidade $\Gamma_0(m)^+$ para ambos os invariantes verticais e não-verticais (em baixos graus de base) oferece evidência matemática para essas previsões de dualidade.
4. Estrutura Computacional: Os autores fornecem fórmulas explícitas e cadernos de Mathematica para reproduzir os resultados, facilitando o estudo posterior da geometria enumerativa e formas modulares na teoria das cordas.

Os autores notam modestamente que, embora tenham determinado séries geradoras modulares para graus de base 1 e 2, as propriedades para graus de base superiores e invariantes de gênero superior permanecem mais complexas e são deixadas para investigação futura. Eles também reconhecem que sua construção não abrange todas as conhecidas variedades CY de posto de Picard 2 fibradas por K3, particularmente aquelas cujos espelhos não são fibrados por K3.