Sums of squares on curves and surfaces

Resumo Técnico: Somas de Quadrados em Curvas e Superfícies

Enunciado do Problema
O artigo investiga a finitude dos números de Pitágoras superiores para anéis específicos originados na geometria algébrica real. Para um anel comutativo $R$ com identidade e um inteiro $n > 0$, o $2n$-número de Pitágoras, denotado por $p_{2n}(R)$, é definido como o menor inteiro $g$ tal que qualquer elemento expressável como uma soma de potências de ordem $2n$ pode ser escrito como uma soma de no máximo $g$ tais potências. Se tal $g$ não existir, $p_{2n}(R) = \infty$. Embora o 2-número de Pitágoras (somas de quadrados) seja amplamente estudado, com finitude conhecida para álgebras $\mathbb{R}$-afins de dimensão 1 e infinitude para anéis excelentes de dimensão $\ge 3$, o comportamento de potências pares superiores ($2n$ para $n > 1$) é menos compreendido. Os autores focam em três contextos específicos: anéis de coordenadas de curvas planas singulares, anéis de coordenadas de superfícies algébricas definidas pela adjunção de raízes quadradas de polinômios, e anéis de funções 0-regulosas.

Metodologia
Os autores empregam uma combinação de técnicas algébricas, análise de grau e contraexemplos construtivos:

1. Limites de Grau e Projeções: Para curvas singulares definidas por $x^M = y^m$, os autores utilizam o isomorfismo entre o anel de coordenadas e $R[t^m, t^M]$. Eles constroem um mapa linear $\psi$ para elevar as representações da curva singular de volta ao anel de polinômios $R[x, y]$, preservando os limites de grau para estabelecer limites inferiores nos números de Pitágoras.
2. Grupos de Automorfismos e Teoria de Caracteres: Para anéis da forma $R[x, y, \sqrt{f_1}, \dots, \sqrt{f_n}]$, os autores analisam o grupo de automorfismos (mudanças de sinal das raízes quadradas). Ao aplicar relações de ortogonalidade de caracteres, eles isolam componentes específicas de representações polinomiais para derivar contradições em relação à existência de somas finitas de potências.
3. Funções de Grau Ponderado: Na prova de infinitude para potências superiores em superfícies, uma função de grau especializada $\deg_A$ é definida no anel estendido para rastrear o crescimento de termos sob substituições específicas (por exemplo, $y = x^{r_L}$), permitindo um argumento de descida.
4. Teoria de Funções Regulosas: Para funções 0-regulosas, a prova baseia-se nas propriedades de extensão de funções racionais contínuas. Os autores utilizam o fato de que funções 0-regulosas estritamente positivas em conjuntos construtíveis abertos são unidades e podem ser estendidas para toda a variedade sob condições específicas de continuidade.
5. Construção Explícita: Para analisar o "conjunto ruim" (o conjunto de zeros comum dos denominadores nas representações de um polinômio como uma soma de potências de ordem $2n$), os autores constroem famílias específicas de polinômios e analisam seu comportamento em anéis de séries de potências formais.

Principais Contribuições e Resultados

• Curvas Planas Singulares: O artigo generaliza um resultado conhecido sobre números de Pitágoras não limitados para anéis da forma $R[t^a, t^{2a-1}]$. Os autores provam que, para uma sequência de pares coprimos $(m_i, M_i)$ com $m_i < M_i$ e $m_i \to \infty$, os $2n$-números de Pitágoras dos anéis de coordenadas $R[X_{m_i, M_i}]$ (onde $X_{m,M} = \{x^M = y^m\}$) tendem ao infinito quando $i \to \infty$. Isso se mantém para qualquer $n \ge 1$, embora o caso $n=1$ fosse previamente conhecido como finito para $m, M$ fixos.
• Superfícies e Raízes Quadradas Adjuntas: Os autores estudam anéis $R[x, y, \sqrt{f_1}, \dots, \sqrt{f_n}]$ correspondentes a superfícies em $\mathbb{R}^N$. Eles provam que, se $f_1, \dots, f_n$ forem quadrados-independentes, possuírem um zero comum e possuírem coeficientes líderes em $y$ positivos, então o 2-número de Pitágoras do anel é infinito. Este resultado é estendido para potências pares superiores ($2s$ para $s > 1$) sob condições semelhantes, mostrando que $p_{2s}(R[x, y, \sqrt{f_1}, \dots, \sqrt{f_n}]) = \infty$.
• Funções 0-Regulosas: O artigo estabelece um resultado de finitude significativo para o anel de funções 0-regulosas, $R_0(X)$, em uma variedade 0-regulosa irredutível $X$. Os autores provam que $p_{2n}(R_0(X)) < \infty$ para todo $n$. Isso fornece a primeira classe conhecida de anéis (excluindo corpos e anéis de valoração) onde todos os seus $2n$-números de Pitágoras superiores são finitos. A prova baseia-se na capacidade de estender somas de potências de conjuntos abertos para toda a variedade.
• Conjuntos Ruins de Ordem Superior: Os autores investigam a codimensão do "conjunto ruim" $Bad_{2n}(f)$, definido como o conjunto de zeros de todos os possíveis denominadores ao representar um polinômio $f$ como uma soma de potências de ordem $2n$ de funções racionais. Enquanto é conhecido que para $n=1$ (somas de quadrados) em superfícies não singulares, a codimensão é pelo menos 3, os autores demonstram que para $n > 1$, a codimensão pode ser exatamente 2. Eles fornecem exemplos explícitos de polinômios onde o conjunto ruim é um único ponto (codimensão 2 em $\mathbb{R}^2$).

Significância e Alegações
O artigo alega avançar a compreensão dos números de Pitágoras superiores ao:

1. Identificar condições geométricas específicas (curvas singulares, superfícies com zeros comuns) que forçam esses invariantes a serem infinitos, contrastando com a natureza finita do 2-número de Pitágoras em dimensão 1.
2. Fornecer o primeiro exemplo de uma classe não trivial de anéis (funções 0-regulosas) onde todos os seus $2n$-números de Pitágoras superiores são finitos, apoiando a conjectura de que a finitude para uma potência par implica a finitude para todas.
3. Corrigir a intuição derivada do caso quadrático sobre o tamanho do conjunto ruim, mostrando que para ordens superiores, o conjunto de "pontos ruins" pode ser maior (codimensão 2) do que no caso quadrático (codimensão $\ge 3$).

Os autores concluem propondo um problema aberto sobre a relação entre $p_2(R)$ e $p_{2n}(R)$, perguntando especificamente se $p_2(R) \le p_{2n}(R)$ se mantém de forma geral, observando que, embora exemplos conhecidos sigam esta regra, nenhuma prova geral existe.