Characterisation of some multivalued harmonic functions on $\mathbb{R}^{n}$

Resumo Técnico: Caracterização de algumas funções harmônicas multivaloradas em $\mathbb{R}^n$

Enunciado do Problema
O artigo aborda a unicidade global de funções $Z_2$-harmônicas em $\mathbb{R}^n$ ($n \geqslant 3$) sujeitas a condições de crescimento específicas. Uma função $Z_2$-harmônica $u$ é definida como uma seção harmônica de um fibrado de linha real plano sobre $\mathbb{R}^n \setminus \Sigma$, onde $\Sigma \subset \mathbb{R}^n$ é um conjunto de ramificação suave, compacto e de codimensão-2. A função possui monodromia $Z_2$ em torno de laços que ligam $\Sigma$.

Construções recentes por Donaldson (em $\mathbb{R}^3$) e Yan (em $\mathbb{R}^n$) forneceram exemplos explícitos de tais funções onde:

1. O conjunto de ramificação $\Sigma$ é um elipsoide.
2. A função exibe crescimento quadrático no infinito, assintótica a uma forma quadrática não degenerada, de traço nulo, de índice 1 ou $n-1$.
3. O coeficiente principal na expansão assintótica local perto de $\Sigma$ desaparece, implicando que $u = O(\text{dist}(\cdot, \Sigma)^{3/2})$. Esta condição trata $\Sigma$ como uma fronteira livre não linear em vez de um conjunto prescrito.

A questão central é se estas propriedades de crescimento específicas (assíntota quadrática e coeficiente principal vanishing no locus de ramificação) caracterizam unicamente as soluções até movimentos rígidos de $\mathbb{R}^n$, sem assumir a geometria de $\Sigma a priori$.

Metodologia
A prova do teorema principal de unicidade (Teorema 1.4) é dividida em duas fases distintas: preparações analíticas e um argumento da teoria de Floer.

1. Preparações Analíticas:

   • Função de Frequência: Os autores adaptam a função de frequência de Almgren, originalmente usada para funções harmônicas $Q$-valued, para o contexto $Z_2$-harmônico. Eles estabelecem uma fórmula de monotonicidade para a 1-forma $Z_2$-harmônica $du$.
   • Não-degenerescência: Ao relacionar a ordem de desaparecimento de $du$ perto do conjunto singular com a taxa de crescimento polinomial no infinito, eles provam que $du$ é não-degenerada (o coeficiente sublegal $B$ na expansão é em nenhum lugar nulo) e que $|du|^{-1}(0) = \Sigma$. Isso garante que o conjunto de ramificação é exatamente o conjunto de zeros do gradiente.
   • Lagrangians Aproximadamente Especiais: Para um parâmetro pequeno $\delta > 0$, o gráfico $L_\delta = \text{graph}(\delta du)$ é mostrado ser um Lagrangian conectado, exato, graduado e $C^{1,\alpha}$-incorporado em $\mathbb{C}^n \cong T^*\mathbb{R}^n$. Ele é assintótico a dois planos transversos $\Pi_\delta^\pm$ e satisfaz uma condição de Lagrangian especial aproximada com um erro de ângulo Lagrangian de ordem $O(\delta^{1+\alpha})$.

2. Parte da Teoria de Floer:

   • Compactificação Parcial: Adaptando o framework de Imagi–Joyce–Oliveira dos Santos (IJOdS), os autores constroem uma compactificação parcial $M$ de $\mathbb{C}^n$ anexando fibrados cotangentes de esferas no infinito. Isso permite que os Lagrangians não compactos sejam tratados como objetos compactos dentro de um manifold de Calabi–Yau simplético.
   • Classificação em $DbFuk$: Usando a categoria de Fukaya derivada, eles classificam o Lagrangian compactificado $\bar{L}_\delta$. A classificação baseia-se nos ângulos assintóticos, que são determinados pelo Hessiano do polinômio quadrático assintótico $V$. Eles provam que o índice de $V$ deve ser 1 ou $n-1$.
   • Perturbação Hamiltoniana: Para lidar com a não-transversalidade das soluções aproximadas, os autores introduzem uma família de perturbações Hamiltonianas. Um feito técnico fundamental é a remoção de pontos de interseção de grau de Floer 0 e $n$ em regiões afastadas do locus de ramificação e do infinito. Isto é alcançado via um argumento de analiticidade real (perturbando a diferença do Hessiano) e controle cuidadoso do potencial Lagrangian perto do conjunto singular.
   • Argumento da Faixa Holomorfa: Assumindo que duas soluções distintas $u$ e $v$ existam, os autores constroem uma faixa holomorfa (ou faixa quebrada) conectando seus Lagrangians perturbados.
     • Limite Superior: A área desta faixa é limitada superiormente pela diferença nos potenciais Lagrangian, que é mostrada como sendo $O(\delta \Lambda^{-1/4})$ (pequena) devido ao ajuste das condições assintóticas.
     • Limite Inferior: Usando uma fórmula de monotonicidade local para curvas holomorfas perto de um ponto onde os gradientes diferem, eles derivam um limite inferior para a área de ordem $\eta \delta$.
     • Contradição: A discrepância entre o limite superior (que desaparece conforme os parâmetros são ajustados) e o limite inferior (que é linear em $\delta$) gera uma contradição, implicando que as soluções devem coincidir.

Principais Contribuições e Resultados

• Teorema 1.4 (Unicidade Global): O artigo prova que qualquer função $Z_2$-harmônica em $\mathbb{R}^n$ ($n \geqslant 3$) com um locus de ramificação de codimensão-2 suave e não vazio, coeficiente principal vanishing no locus de ramificação, e assintótica a um polinômio homogêneo de grau 2 não degenerado (com índice 1 ou $n-1$), é única até movimentos rígidos. Ela coincide com as soluções modelo construídas por Donaldson e Yan.
• Caracterização do Conjunto de Ramificação: Diferente de resultados de existência anteriores onde o conjunto de ramificação era frequentemente prescrito ou construído junto com a função, este resultado demonstra que o crescimento quadrático no infinito e a condição de crescimento local $O(r^{3/2})$ determinam unicamente o conjunto de ramificação como um elipsoide.
• Extensão das Técnicas de IJOdS: O trabalho adapta com sucesso a classificação de Lagrangians especiais (especificamente os pescoços de Lawlor) para o contexto de funções $Z_2$-harmônicas, que servem como modelos lineares para deformações ramificadas de Lagrangians especiais.
• Rigor Analítico: O artigo fornece uma prova rigorosa da não-degenerescência da 1-forma $Z_2$-harmônica usando a função de frequência de Almgren em um contexto onde a propriedade de minimização da energia de Dirichlet não é assumida a priori.

Significância
O artigo estabelece um resultado de rigidez para uma classe de funções harmônicas multivaloradas que aparecem ubiquamente na geometria diferencial moderna, incluindo a teoria de regularidade de Almgren, limites de blow-up de teoria de gauge (Taubes, Haydys–Walpuski) e o programa de Donaldson sobre variedades $G_2$.

Os autores observam que, enquanto trabalhos anteriores (Sun, Haydys–Mazzeo–Takahashi) estabeleceram a unicidade para um conjunto de ramificação $\Sigma$ fixo, este resultado remove essa suposição, mostrando que o comportamento assintótico no infinito força o conjunto de ramificação a ter a geometria elipsoidal específica encontrada nos exemplos modelo. O artigo evita resolver diretamente a equação especial de Lagrangian, utilizando em vez disso a equação harmônica linear e ferramentas da teoria de Floer para deduzir a unicidade, oferecendo um caminho inovador para o estudo de superfícies mínimas ramificadas e suas deformações.

Os autores concluem notando duas questões abertas relacionadas: a potencial generalização destes resultados para soluções autossimilares da "$Z_2$-equação de calor" (auto-expansores de fluxo de curvatura média de Lagrangian) e o comportamento das soluções quando o polinômio assintótico é degenerado (o que reduz o problema para dimensões menores).