Some Taylor varieties with null Hessian

Resumo Técnico: Algumas Variedades de Taylor com Hessiano Nulo

Enunciado do Problema
O artigo aborda a classificação de hipersuperfícies $X = V(f) \subset \mathbb{P}^N$ com determinantes Hessianos identicamente nulos ($h_f \equiv 0$). Classicamente, tais hipersuperfícies são caracterizadas por derivadas parciais algebricamente dependentes, implicando que o mapa de Gauss tem posto não máximo e a variedade é "tangencialmente degenerada" ou "desenvolvel". Embora seja conhecido que cones possuam essa propriedade, a classificação de hipersuperfícies não cónicas com Hessiano nulo em dimensões $N \geq 3$ é um problema clássico iniciado por P. Gordon e M. Noether. Os autores focam numa família específica de variedades algébricas conhecidas como variedades de Taylor ($T^n_{d,e,m}$), introduzidas recentemente por Conca, Naldi, Ottaviani e Sturmfels [CNOS23]. Estas variedades surgem da expansão de Taylor de funções racionais em $n$ variáveis. Trabalhos anteriores estabeleceram que variedades de Taylor com $m = d+1$ possuem Hessianos nulos. O problema central deste artigo é investigar o caso onde $m = d+2$ (especificamente para $n=2$) para determinar se estas variedades também produzem novos exemplos de hipersuperfícies não defeituosas com Hessiano identicamente nulo.

Metodologia
Os autores empregam uma combinação de geometria algébrica e técnicas de álgebra linear centradas na matriz de Padé associada às variedades de Taylor.

1. Variedades de Taylor e Matrizes de Padé: A variedade de Taylor $T^n_{d,e,m}$ é definida como o fecho projetivo da imagem de um mapa $\psi$ que envia pares de polinómios $(P, Q)$ para os coeficientes da expansão de Taylor de $P/Q$ até à ordem $m$. A variedade é descrita através do desaparecimento dos menores maximais de uma matriz de Padé $P_T$. Quando $T^n_{d,e,m}$ é uma hipersuperfície não defeituosa, a sua equação definidora é dada por $f = \det(P_T)$.
2. Operações Colunares e Invariância: Para analisar o Hessiano de $f$, os autores introduzem um conjunto específico de operações elementares colunares na matriz de Padé $P_T$. Eles substituem colunas em blocos $C_j$ (para $j > d-e+2$) por combinações lineares de colunas de um bloco de referência específico $C_{d-e+2}$, utilizando variáveis auxiliares $\lambda$.
3. Diferenciação e Análise do Núcleo: Pelo Lema 4.2, estas operações preservam o determinante ($f$). Como $f$ é independente das variáveis auxiliares $\lambda$, as derivadas parciais de $f$ em relação a $\lambda$ devem desaparecer. Esta condição produz um sistema de equações lineares envolvendo as derivadas parciais de $f$ em relação aos coeficientes $c_\gamma$.
4. Construção da Matriz de Hankel: Estas relações lineares são organizadas numa matriz de Hankel $M$. Os autores demonstram que o vetor das derivadas parciais de $f$ reside no núcleo de $M$. Ao analisar as dimensões de $M$ e o número de variáveis, provam que o posto de $M$ é estritamente menor que a dimensão do espaço das derivadas parciais.

Principais Contribuições e Resultados

• Teorema Principal (Teorema 1.1): Os autores provam que, para $n=2$, a variedade de Taylor $T^2_{d,e,d+2}$, desde que seja uma hipersuperfície não defeituosa, possui um Hessiano identicamente nulo ($h_f \equiv 0$).
• Análise de Caso Específico: O artigo fornece uma análise detalhada do menor exemplo não trivial, $T^2_{5,4,7}$ (onde $d=5, e=4, m=7$). Eles constroem explicitamente a matriz de Padé $15 \times 15$ para este caso e demonstram a existência de um núcleo não trivial para o sistema linear associado de derivadas parciais, confirmando o Hessiano nulo sem calcular o determinante Hessiano completo.
• Prova Geral: A metodologia utilizada para o caso específico é generalizada na Secção 4 para provar o resultado para $d$ e $e$ arbitrários sob a hipótese de não defeituosidade. A prova baseia-se em mostrar que a imagem do mapa polar (o gradiente de $f$) está contida num subespaço linear próprio definido pelo desaparecimento dos menores maximais da matriz $M$.
• Verificação Computacional: Os autores fornecem código Macaulay2 (Secção 5) para construir matrizes de Padé e verificar a não singularidade do determinante para escolhas específicas de parâmetros, assegurando que as variedades são de facto hipersuperfícies.

Significado e Afirmações
O artigo afirma fornecer novos exemplos de hipersuperfícies não defeituosas com Hessiano identicamente nulo que não são cones. Especificamente, estende os resultados conhecidos de [CNOS23] (que cobriam o caso $m=d+1$) para o caso $m=d+2$ com duas variáveis.

Os autores posicionam o seu trabalho no contexto histórico da classificação de hipersuperfícies com Hessiano nulo, notando que, embora existam cubicas de Perazzo e outros exemplos, encontrar novas famílias é significativo. O artigo afirma explicitamente que estas variedades de Taylor oferecem uma "nova fonte de variedades com Hessiano nulo". O significado reside no mecanismo algébrico utilizado: os autores demonstram que a estrutura específica da matriz de Padé para $m=d+2$ força inerentemente a dependência algébrica entre as derivadas parciais do polinómio definidor, garantindo assim um mapa de Gauss degenerado. O artigo não afirma resolver o problema completo de classificação para todas as dimensões ou parâmetros, mas restringe o seu escopo a provar a propriedade do Hessiano nulo para esta família específica de variedades de Taylor.