Regularity of a Geodesic equation in the space of mixed Volume Forms on Hermitian Manifolds

Resumo Técnico: Regularidade de uma Equação Geodésica no Espaço de Formas de Volume Mistas em Variedades Hermitianas

Enunciado do Problema
Este artigo investiga a regularidade de uma equação diferencial parcial (EDP) totalmente não linear decorrente do estudo de geodésicas dentro do espaço de formas de volume mistas em variedades hermitianas. Especificamente, o autor considera uma variedade hermitiana $(M, \omega)$ e o espaço de formas de volume mistas $V_p = \{ \phi \in C^\infty(M) : \Omega_\phi \wedge \omega^{n-p} > 0 \}$, onde $\Omega_\phi = \omega^p + \sqrt{-1}\partial\bar{\partial}(\phi\omega^{p-1})$.

A equação geodésica que governa este espaço, derivada em trabalho anterior [4], é dada por:
$$\phi_{tt}(n + nX\phi + \Delta\phi) - |\nabla\phi_t|^2 = -\frac{nX\phi_t^2}{2}$$
onde $X = \sqrt{-1}\partial\bar{\partial}\omega^{p-1} \wedge \omega^{n-p}$ é uma quantidade geométrica. O tipo desta equação depende criticamente do sinal de $X$. Métricas balanceadas ($d\omega^{n-1}=0$) tipicamente resultam em $X \geq 0$ (levando a uma equação hiperbólica degenerada), mas este artigo foca no caso onde $X \leq 0$. Sob esta condição, a equação torna-se elíptica degenerada. O objetivo primário é estabelecer a regularidade $C^{1,1}$ (limites uniformes para o Laplaciano e o gradiente) para soluções desta equação, o que é um passo necessário para provar a existência de soluções fracas.

Metodologia
A estratégia de prova segue um caminho padrão para EDPs geométricas totalmente não lineares, adaptado aos desafios específicos do ambiente hermitiano e da estrutura de forma de volume mista:

1. Construção de Subsoluções:
   O autor primeiro constrói uma subsolução explícita para lidar com a estimativa de $\phi_{tt}$. A subsolução assume a forma $\phi(z, t) = (1-t)\phi_0(z) + t\phi_1(z) + g(t)$, onde $g(t)$ é determinada resolvendo uma equação diferencial ordinária (EDO). Esta construção garante a existência de uma função barreira necessária para o teorema de Evans-Krylov.

2. Estimativas do Laplaciano (limites $C^2$):
   O núcleo da análise envolve a derivação de estimativas uniformes para o Laplaciano $\Delta\phi$.

   • Caso $X=0$: Para a equação de Donaldson (onde $X=0$), o autor utiliza uma função de teste $Q = \log(n + \Delta\phi) + h(t)$ e aplica o princípio do máximo. Os termos de torção inerentes às variedades hermitianas (que complicam as fórmulas de comutação) são gerenciados através da escolha cuidadosa da função auxiliar $h(t)$.
   • Caso $X \leq 0$: Para o caso geral elíptico degenerado, a função de teste padrão é insuficiente devido à presença do termo $X$. O autor modifica a função de teste para $Q = \log(L + \Delta\phi) + g(t) + b\phi_{tt}$, onde $L$ é um limite de supremo e $b$ é uma constante pequena. Esta modificação permite o controle do termo problemático $-2n\text{Re}(\phi_{tt\bar{k}}\nabla_{\bar{k}}X\phi)$ que surge ao diferenciar a equação. As fórmulas de comutação para o $\partial$-Laplaciano em variedades hermitianas, envolvendo tensores de torção e curvatura, são explicitamente utilizadas para limitar os termos de erro.

3. Estimativas de Gradiente (limites $C^1$):
   Uma vez estabelecida a estimativa do Laplaciano (mostrando que $|\Delta\phi| \leq C(1 + |\nabla\phi|)$), o autor deriva estimativas de gradiente usando desigualdades de interpolação. Ao aplicar o teorema de Calderón-Zygmund para limitar a norma $L^p$ da Hessiana real em termos do Laplaciano, e subsequentemente utilizando desigualdades de interpolação de Gagliardo-Nirenberg, o autor obtém um limite $L^\infty$ uniforme sobre $|\nabla\phi|$.

4. Regularidade de Ordem Superior e Existência:
   Com os limites $C^{1,1}$ estabelecidos, o teorema de Evans-Krylov é invocado para obter estimativas globais $C^{2,\alpha}$ para a equação perturbada (onde uma função positiva suave $\psi$ é adicionada ao lado direito). Estimativas de ordem superior são obtidas via bootstrapping. Finalmente, ao deixar o parâmetro de perturbação $\psi \to 0$, o autor estabelece a existência de soluções fracas $C^{1,1}$ para a equação degenerada original.

Contribuições e Resultados Principais

• Teorema 1.1: O artigo prova que, para uma variedade hermitiana com $X \leq 0$, qualquer solução $C^4$ da equação geodésica perturbada satisfaz limites uniformes $|\Delta\phi|_{C^0} + |\nabla\phi|_\omega \leq C$, onde $C$ depende apenas dos dados de fundo.
• Corolário 1.2: Como consequência direta, o artigo estabelece a existência de uma solução fraca $C^{1,1}$ única para a equação de Donaldson (o caso $X=0$) em variedades hermitianas com dados de contorno suaves.
• Subsoluções Explícitas: O artigo fornece um método construtivo para gerar subsoluções explícitas para a equação geodésica de forma de volume mista, um requisito técnico frequentemente omitido em provas de existência gerais.
• Generalização para Variedades Hermitianas: Diferente de trabalhos anteriores que frequentemente focavam em contextos Kähler ou Riemannianos, este trabalho lida explicitamente com os termos de torção e relações de comutação específicos de variedades hermianas gerais, demonstrando que as estimativas se mantêm sem exigir a condição balanceada para a derivação das estimativas em si (embora a condição de métrica balanceada seja notada como um contexto para a configuração geométrica).

Significância
O artigo reivindica significância ao estender a teoria de regularidade das equações geodésicas do bem estudado contexto Kähler e Riemanniano para o cenário mais amplo de variedades hermitianas com formas de volume mistas. Ao provar a regularidade $C^{1,1}$ sob a condição $X \leq 0$, o trabalho resolve a existência de soluções para a equação de Donaldson neste contexto geomético específico. O autor observa que, embora a condição de métrica balanceada ($d\omega^{n-1}=0$) tipicamente force $X \geq 0$ (caso hiperbólico), este artigo aborda o cenário geométrico distinto onde $X \leq 0$ (caso elíptico). Os resultados fornecem a base analítica necessária para a existência de métricas canônicas neste espaço, espelhando o papel que tais equações geodésicas desempenham na existência de métricas canônicas em variedades Kähler. O autor afirma explicitamente que o caso hiperbólico ($X \geq 0$) será objeto de trabalho futuro.