Holomorphic disks and GIT quotients

Resumo Técnico: Discos Holomorfos e Quocientes GIT

Declaração do Problema
Este artigo investiga a relação entre a geometria simplética de uma variedade algébrica suave $X$ equipada com uma ação hamiltoniana de um grupo de Lie compacto conexo $G$, e a de sua redução. Especificamente, o autor visa estabelecer uma correspondência entre os espaços de módulos de discos holomorfos em $X$ com fronteira em uma subvariedade lagrangiana $G$-invariante $L$, e os espaços de módulos de discos holomorfos no quociente da Teoria de Invariantes Geométricos (GIT) $X // G$ com fronteira na lagrangiana quociente $L/G$.

Uma dificuldade primária na redução simplética é que a construção exige restringir-se a um nível do mapa momento $\mu^{-1}_G(0)$ e descartar o locus instável, tornando uma comparação direta de curvas holomorfas antes e após a redução não trivial. Embora a teoria de Floer equivariante ofereça um arcabouço para tais comparações, este artigo busca estabelecer a relação sem depender da teoria de Floer equivariante, utilizando em vez disso a ponte fornecida pelo teorema de Kempf–Ness entre quocientes GIT e reduções simpléticas.

Metodologia
A abordagem depende da estrutura geométrica do locus semiestável $X^{ss}$ e do mapa quociente holomorfo $q: X^{ss} \to X // G$. O artigo procede em duas etapas principais:

1. Correspondência via Fibrados Principais: O autor modela a relação entre o locus semiestável $X^{ss}$ e o quociente $X // G$ como um fibrado principal holomorfo $G$ $q: P_G \to M$. Ao analisar os espaços de módulos de discos holomorfos no espaço total $P_G$ (com fronteira em $L$) e na base $M$ (com fronteira em $L/G$), o artigo estabelece uma correspondência.

   • Elevação de Discos: Um componente técnico central é provar que todo disco holomorfo no quociente $M$ admite uma elevação holomorfa ao espaço total $P_G$. Isso é alcançado construindo uma trivialização holomorfa do fibrado de pullback sobre o disco que respeita as condições de fronteira. O autor emprega o resultado de Donaldson sobre a solvabilidade da equação Hermitiana–Yang–Mills com condições de fronteira de Dirichlet para garantir a existência de uma métrica plana compatível com a redução de fronteira, permitindo assim a construção da elevação.
   • Isomorfismo de Espaço de Módulos: Usando a propriedade de elevação e o fato de que $\pi_2(G, G) = 0$, o autor prova que o mapa induzido entre o quociente do espaço de módulos no espaço total e o espaço de módulos no quociente é um homeomorfismo que preserva orientação.

2. Cálculo do Potencial de Disco: O artigo introduz o conceito de classes de disco "semiestáveis" e "instáveis". Uma classe de disco é semiestável se sua imagem estiver inteiramente contida em $X^{ss}$; caso contrário, é instável.

   • Potencial de Disco Semiestável: O autor define um "potencial de disco semiestável" $W^{ss}_L$ retendo apenas os termos no potencial de disco de $L$ correspondentes a classes semiestáveis.
   • Eliminação de Variáveis: Sob a suposição de que toda classe instável de índice de Maslov dois é "totalmente excluída" (ou seja, todo disco representante intersecta o locus instável), o potencial de disco do quociente $L/G$ é calculado restringindo $W^{ss}_L$ ao núcleo do mapa induzido nos grupos fundamentais, $q^*: \pi_1(L) \to \pi_1(L/G)$. Isso envolve eliminar variáveis no polinômio de Laurent correspondentes às direções da ação do grupo.

Contribuições e Resultados Chave

• Teorema A (Teorema 3.13): Sob suposições adequadas de regularidade e topologia (especificamente que $L/G$ é spin e os espaços de módulos são compactos), o mapa $\phi: \mathcal{M}_1(P_G, L, J, \beta)/G \to \mathcal{M}_1(X // G, L/G, q^*J, q^*\beta)$ é um homeomorfismo que preserva orientação. Consequentemente, os invariantes de contagem de disco $n_\beta$ e $n_{q^*\beta}$ coincidem.
• Teorema B (Teorema 4.11): Para uma ação de toro onde $L$ é um toro lagrangiano positivo e toda classe instável de índice de Maslov dois é totalmente excluída, o potencial de disco do quociente $L/G$ é dado pela restrição do potencial de disco semiestável de $L$ ao núcleo de $q^*$:
  $$W_{L/G}(z) = W^{ss}_L|_{\ker(q^*)}(z)$$
  Isso fornece uma fórmula computacionalmente eficaz para derivar o potencial de disco do quociente a partir do pré-quociente.
• Teorema C (Teorema 6.3): O artigo aplica esses métodos para calcular o potencial de disco do sistema de Gelfand–Zeitlin (GZ) em hipersuperfícies quadráticas $Q_n \subseteq \mathbb{CP}^{n+1}$. Ao utilizar um método de degeneração e uma redução de quociente GIT para hipersuperfícies quadráticas de dimensão inferior, o autor deriva uma fórmula explícita para o potencial de disco de fibras de toro arbitrárias $L_n(u)$ em $Q_n$, estendendo resultados anteriores que eram limitados a fibras monótonas. O potencial resultante é:
  $$W_{L_n(u)}(y) = \frac{1}{y_n}T^{n-u_n} + \frac{y_n}{y_{n-1}}T^{u_n-u_{n-1}} + \dots + \frac{y_2}{y_1}T^{u_1-u_2} + 2y_2T^{u_2} + y_1y_2T^{u_1+u_2}$$

Significado e Afirmações
O artigo afirma que sua principal vantagem reside na eficácia computacional do Teorema 4.11. Ao utilizar a correspondência entre quocientes GIT e reduções simpléticas, o método permite o cálculo explícito de potenciais de disco em cenários onde o cálculo direto é difícil. Especificamente, permite a elevação de potenciais de disco de uma base para um espaço total e a redução de problemas de dimensão superior para problemas de dimensão inferior.

O autor observa que espera-se que este procedimento de redução forneça um método eficaz para calcular potenciais de disco para variedades de bandeira isotrópicas de dimensão superior, reduzindo-as a casos de dimensão inferior. O trabalho também generaliza resultados anteriores sobre fibras de Gelfand–Zeitlin ao calcular potenciais para fibras de toro arbitrárias, não apenas para as monótonas. O artigo enfatiza que esses resultados são derivados sem a maquinaria da teoria de Floer equivariante, confiando em vez disso nas propriedades geométricas de fibrados principais e no teorema de Kempf–Ness.