The Primitive and Diamond surfaces locally minimize the variance of Gauss curvature

Resumo Técnico: "As Superfícies Primitive e Diamond Minimizam Localmente a Variância da Curvatura Gaussiana"

Enunciado do Problema
O artigo aborda a minimização da variância da curvatura gaussiana ($\sigma(K)$) dentro do espaço de módulos de Superfícies Mínimas Triplamente Periódicas de gênero 3 (TPMSg3s). Embora seja uma conjectura conhecida que as superfícies Schwarz' Primitive (P), Diamond (D) e a de Schoen (G) possuam a variância mínima entre todas as TPMSg3s, essa propriedade não havia sido rigorosamente provada. O autor foca em provar que as superfícies P e D são minimizadores locais desta variância sob deformações locais.

Metodologia
O autor reformula o problema geométrico em um problema analítico referente a configurações de pontos na esfera ($S^2$).

1. Parametrização de Weierstrass: As TPMSg3s são definidas por um revés ramificado (branched double cover) da esfera com oito pontos de ramificação correspondentes aos pontos planos (onde a curvatura gaussiana se anula). A variância da curvatura gaussiana é expressa como um funcional dependente das posições desses oito pontos.
2. Funcional de Energia: A variância é mostrada como proporcional ao produto de dois integrais envolvendo a exponencial das funções de Green na esfera. Especificamente, o funcional $J_8$ é definido como:
   $$J_8 = \int_{S^2} e^u dA \times \int_{S^2} e^{-u} dA$$
   onde $u$ é derivado da equação de Lelong–Poincaré associada à configuração de oito pontos.
3. Análise do Hessiano: O artigo analisa os pontos críticos deste funcional de energia. A configuração cúbica (onde os oito pontos formam os vértices de um cubo) é identificada como um ponto crítico devido à sua simetria ($O_h$ invariante). Para determinar a minimidade local, o autor calcula o Hessiano do funcional de energia no ponto da configuração cúbica.
4. Teoria de Representação: O espaço de 13 dimensões das deformações (modulo rotações globais) é decomposto em representações irredutíveis do grupo de simetria do cubo ($O_h$). O Hessiano é analisado em cada subespaço irredutível ($T_{1u}, E_g, E_u, T_{2g}, T_{2u}$).

Contribuições Principais e Resultados

• Minimidade Local de P e D: O teorema principal estabelece que as superfícies Schwarz' Primitive e Diamond são minimizadores locais da variância da curvatura gaussiana. Isso é provado ao mostrar que o Hessiano do funcional de energia é positivo definido quando restrito ao subespaço de deformações antipodais.
• Conexão com a Família de Meeks: O autor observa que as superfícies P e D pertencem à família de Meeks, uma família de TPMSg3s imersas de 5 parâmetros caracterizada por pontos de ramificação antipodais. O espaço tangente a esta família na configuração cúbica corresponde à soma direta das representações irredutíveis $E_g \oplus T_{2g}$.
• Definidade do Hessiano: A análise revela que o Hessiano é positivo definido em todas as representações irredutíveis, exceto para $E_u$, onde é negativo definido.
  • Como a família de Meeks (que contém P e D) corresponde ao subespaço $E_g \oplus T_{2g}$, e o Hessiano é positivo definido neste subespaço, a configuração cúbica é um minimizador local estrito para estas superfícies.
• A Superfície Gyroid (G): O status do Gyroid permanece inconclusivo. O Gyroid não pertence à família de Meeks, e suas deformações locais não são totalmente compreendidas. Evidências numéricas sugerem que ele é um minimizador local ao longo de deformações tetragonais e romboédricas conhecidas (que residem em $E_u \oplus E_g$ e $E_u \oplus T_{2g}$). No entanto, como o Hessiano possui um espaço de autovalores negativos ($E_u$), o autor não pode teoricamente descartar a possibilidade de que o Gyroid possa não ser um minimizador local ao longo de outras direções de deformação atualmente desconhecidas.

Significância e Alegações
O artigo afirma fornecer a primeira prova rigorosa de que as superfícies Primitive e Diamond são minimizadores locais da variância da curvatura gaussiana. A abordagem estende o conceito de variância da curvatura gaussiana para uma função de energia geral definida sobre configurações de $n$ pontos em uma esfera, enquadrando-a como um problema de geometria discreta.

O autor afirma explicitamente que o resultado para o Gyroid não é provado, observando que, embora as evidências numéricas sejam promissoras, a existência do espaço de autovalores negativos impede uma conclusão definitiva sem uma compreensão completa do espaço de deformação do Gyroid. O trabalho baseia-se no teorema de rigidez local de Koiso–Piccione–Shoda para restringir a análise de P e D ao subespaço antipodal. O artigo não pretende resolver a conjectura geral para todas as TPMSg3s, mas estabelece a minimidade local para os casos específicos de P e D dentro de suas respectivas classes de deformação.