Real versus complex plane curves

Resumo Técnico: Curvas do Plano Real Versus Complexo

Enunciado do Problema
O artigo aborda o problema de definir curvas planas suaves sobre campos específicos, investigando especificamente a relação entre a classe de isomorfismo de uma curva e seu campo de definição. O foco principal são as curvas planas complexas suaves $C$ de grau ímpar. A questão central é se uma curva $C$ que é isomórfica ao seu conjugado complexo $\bar{C}$ pode ser definida por um polinômio com coeficientes reais. Embora se saiba que tal definição é possível para curvas de grau par apenas sob condições específicas (com contraexemplos conhecidos), o status para graus ímpares era anteriormente incerto. Mais genericamente, o artigo investiga o "campo de módulos" $k_C$ de uma curva plana $C$ sobre um campo algebricamente fechado $K$ de característica 0. O campo de módulos é o corpo fixo do subgrupo do grupo de Galois que estabiliza a curva até o isomorfismo. O problema central é determinar se $C$ admite um modelo (um polinômio definidor) sobre $k_C$, ou se é necessária uma extensão finita $k'/k_C$ e, em caso afirmativo, limitar o grau dessa extensão.

Metodologia
O autor emprega uma abordagem de teoria de stacks para estudar campos de módulos, baseando-se no trabalho conjunto recente com A. Vistoli [BV], que estende tecnologias anteriores (amplamente restritas à dimensão 1) para variedades de dimensão arbitrária. A metodologia procede da seguinte forma:

1. Gerbes e Grupos Fundamentais: O problema é traduzido para a linguagem de gerbes étale finitos. Uma gerbe residual $\mathcal{G}$ sobre o corpo base $k$ classifica formas torcidas do par $(\mathbb{P}^2, C)$. A existência de um modelo sobre $k$ é equivalente ao fato de a gerbe $\mathcal{G}$ possuir um ponto racional $k$, o que, por sua vez, é equivalente ao desdobramento de uma sequência exata curta de grupos fundamentais associados à gerbe.
2. Índice de uma Gerbe: O artigo utiliza o conceito de "índice" de uma gerbe, definido como o máximo divisor comum dos graus de corpos de desdobramento finitos. O objetivo é provar que o índice é 1 (implicando que um modelo existe) ou limitá-lo.
3. Análise de Teoria de Grupos: A prova depende fortemente da classificação dos grupos de automorfismos de curvas planas suaves de grau $d \geq 4$. O autor analisa subgrupos finitos específicos de $\text{PGL}_3$ (especificamente grupos abelianos de tipos (1) e (2), e grupos de Hesse $H_2$ e $H_3$) que podem surgir como $\text{Aut}(C)$.
4. Singularidades do Tipo R e Teorema de Lang–Nishimura: Uma ferramenta técnica crucial é a classificação de singularidades de "tipo R" na dimensão 2. O autor identifica subconjuntos distinguidos do espaço modular bruto (compressão) do stack quociente $\mathbb{P}^2 / \text{Aut}(C)$. Ao encontrar pontos racionais nessa compressão que se elevam ao stack (garantido se as singularidades correspondentes forem de tipo R), o autor aplica o teorema de Lang–Nisimura para stacks para deduzir a existência de pontos racionais na gerbe $\mathcal{G}$.
5. Argumentos de Subgrupos de Sylow: A prova dos principais teoremas envolve a análise dos subgrupos de Sylow dos grupos de automorfismos e a aplicação de teoremas de L. A. Šemetkov e B. Sambale relativos ao desdobramento de sequências exatas curtas de grupos finitos sob condições específicas de solvabilidade.

Principais Contribuições e Resultados

• Teorema 1 (Curvas Reais Versus Complexas): O artigo prova que, para uma curva plana complexa suave $C$ de grau ímpar, as seguintes afirmações são equivalentes:

  1. $C$ pode ser definida por um polinômio homogêneo com coeficientes reais.
  2. Existe um polinômio $p \in \mathbb{C}[x,y,z]$ para $C$ e uma transformação linear $g \in \text{GL}_3(\mathbb{C})$ tais que $p \circ g = \bar{p}$.
  3. As curvas $C$ e seu conjugado complexo $\bar{C}$ são isomórficas como curvas abstratas.
     O artigo observa que as implicações (i) $\Rightarrow$ (ii) $\Rightarrow$ (iii) são triviais, e (iii) $\Rightarrow$ (ii) decorre da unicidade do embutimento de curvas planas suaves de grau $\geq 4$. A contribuição inédita é a prova de (iii) $\Rightarrow$ (i), que se baseia nos métodos de teoria de stacks descritos acima. O autor afirma explicitamente que existem contraexemplos para curvas de grau par.

• Teorema 2 (Estrutura dos Grupos de Automorfismos): O artigo caracteriza os grupos de automorfismo de curvas planas suaves de grau ímpar que não admitem um modelo sobre seu campo de módulos. Se tal curva existir, seu grupo de automorfismo deve ser conjugado a um grupo abeliano específico $C_a \times C_{an}$ gerado por matrizes diagonais, sujeito a condições aritméticas estritas sobre os inteiros $a, n, e$ (especificamente envolvendo a solvabilidade de $e^2 - e + 1 \equiv 0 \pmod n$). Além disso, o grau $d$ da curva deve satisfazer relações de divisibilidade específicas com esses parâmetros (por exemplo, $an \mid d$ ou $n \mid d^2 - 3d + 3$).

• Teorema 3 (Limite Geral do Campo de Módulos): O artigo estabelece um limite geral para o campo de definição de qualquer curva plana suave $C$ sobre um corpo $K$ de característica 0. Seja $k_C$ o campo de módulos. Existe uma extensão finita $k'/k_C$ tal que:

  • $[k' : k_C] \leq 3$.
  • $[k' : k_C]$ divide $\deg C$.
  • $C$ é definida por um polinômio homogêneo com coeficientes em $k'$.

Significância e Alegações
O artigo alega que o Teorema 1 resolve uma lacuna de longa data na literatura relativa à definibilidade de curvas planas de grau ímpar sobre seu campo de módulos (especificamente $\mathbb{R}$ no caso real). O autor expressa surpresa pelo fato de isso ter passado despercebido, observando que, enquanto contraexemplos para graus pares são conhecidos, o caso de graus ímpares não havia sido resolvido.

O trabalho generaliza resultados anteriores (como em [Brec]), que mostraram que curvas de grau coprimo a 6 são definidas sobre seu campo de módulos. Ao abordar o caso onde 2 não divide o grau (grau ímpar), o artigo destaca o papel crítico dos primos 2 e 3 no problema dos campos de módulos para curvas planas. Os resultados sugerem que, para graus ímpares, a obstrução para definir a curva sobre o campo de módulos é, no máximo, uma extensão cúbica e, para o caso específico de coeficientes reais, nenhuma extensão é necessária se a curva for isomórfica ao seu conjugado.

O artigo não propõe novas aplicações experimentais ou direções de pesquisa futura além das implicações matemáticas imediatas dos teoremas. Ele enquadra sua contribuição como uma conclusão necessária da classificação de campos de módulos para curvas planas, utilizando maquinaria avançada de teoria de stacks para superar as limitações de métodos anteriores restritos à dimensão 1.