On equations of fake projective planes with automorphism group of order $21$

Each language version is independently generated for its own context, not a direct translation.

Imagine que você está tentando desenhar um mapa perfeito de um mundo que, teoricamente, não deveria existir.

Este artigo, escrito pelo matemático Lev Borisov, é como um diário de bordo de uma expedição para encontrar as "receitas" (equações matemáticas) de objetos misteriosos chamados Planos Projetivos Falsos.

O Que São Esses "Planos Falsos"?

Pense no plano projetivo comum (como um mapa do mundo que se fecha em si mesmo, onde o norte e o sul se encontram) como um bolo de aniversário perfeitamente redondo.
Um Plano Projetivo Falso é um objeto que, se você medir suas propriedades básicas (como o número de "buracos" ou dobras), parece exatamente igual a esse bolo redondo. Mas, se você olhar de perto, a textura é diferente. Ele é feito de um material estranho e exótico.

Por décadas, os matemáticos sabiam que esses objetos existiam (como provou Mumford em 1979), mas ninguém conseguia escrever a "receita" exata para construí-los. Eles sabiam que o bolo existia, mas não tinham a lista de ingredientes.

A Missão: Encontrar a Receita

O autor deste artigo, Borisov, e seus colaboradores decidiram que era hora de escrever essas receitas. O foco deste trabalho específico foi encontrar as equações para dois tipos especiais desses "bolos falsos" que têm uma característica interessante: eles possuem 21 simetrias.

Imagine que você tem um objeto. Se você girá-lo em certos ângulos, ele parece exatamente o mesmo. A maioria dos objetos tem poucas simetrias (como um cubo, que tem 24). Esses planos falsos têm um grupo de 21 simetrias, o que é um número máximo possível para esse tipo de objeto. Isso os torna como "cristais" matemáticos muito especiais e rígidos.

Como Eles Fizeram Isso? (A Analogia da Escultura)

O processo descrito no artigo é como tentar esculpir uma estátua complexa a partir de um bloco de pedra, mas com algumas regras estranhas:

O Bloco de Pedra (A Superfície Dolgachev):
Em vez de começar pelo plano falso diretamente, eles começaram com uma superfície mais simples, chamada "Superfície Dolgachev". Pense nisso como um bloco de argila com furos e dobras específicas. Eles sabiam que, se cortassem essa argila de uma maneira muito específica (usando um grupo de 21 simetrias), o resultado seria o plano falso.
A Família de Modelos (O Passo 1 e 2):
Eles criaram uma "família" de modelos de argila. Imagine que você tem uma receita de bolo que permite variar 9 ingredientes (temperatura, tempo, açúcar, etc.). Eles escreveram equações para essa família de 9 variáveis. Depois, foram restringindo: "Ok, agora queremos que o bolo tenha duas linhas retas específicas na superfície". Isso reduziu a família para 5 variáveis, depois para 2.
O Detetive Digital (O Passo 3 e 4):
Aqui a coisa fica divertida. Em vez de tentar resolver as equações complexas na cabeça (o que é impossível), eles usaram computadores para testar milhões de combinações de números em um "universo digital" chamado campo finito (basicamente, matemática feita apenas com números inteiros e restos de divisões, como um relógio que só tem 79 horas).
Eles procuraram por um "erro" específico na geometria do objeto nesses universos digitais. Quando encontraram um caso onde a geometria parecia "quebrada" de um jeito muito específico (singularidades), eles sabiam que tinham achado a pista.
A Tradução (O Passo 4):
Uma vez achado o "erro" no mundo digital (número 79), eles usaram um truque matemático (como adivinhar um número a partir de seus restos) para "traduzir" esse resultado de volta para o mundo real dos números complexos. Eles descobriram que os ingredientes eram números que envolviam raízes quadradas de -7.
O Bolo Final (O Plano Falso):
Com os ingredientes certos, eles construíram a superfície intermediária. Depois, aplicaram a "mágica" de cobrir essa superfície 7 vezes (como fazer uma casca de cebola com 7 camadas) para finalmente revelar o Plano Projetivo Falso.
O resultado foi uma lista gigantesca de 84 equações cúbicas. Se você plotar essas equações em um computador, elas desenham o objeto exato que os matemáticos procuravam há décadas.

As Duas Descobertas

O artigo relata duas descobertas principais:

O Plano de Keum: Eles conseguiram encontrar a receita para um plano falso que já havia sido construído por outro matemático (J. Keum), mas que nunca teve uma equação explícita escrita. É como se alguém tivesse dito "existe um castelo aqui" e Borisov tivesse encontrado o mapa de arquitetura exato.
Um Novo Par: Eles também encontraram um par de planos falsos que ninguém tinha visto antes (na classificação matemática, chamados de classe C20). É como descobrir uma nova espécie de cristal que ninguém sabia que existia.

Por Que Isso Importa?

Na matemática, saber que algo existe é bom, mas saber como construí-lo é melhor.

Antes: "Sabemos que existe um objeto com essas propriedades, mas não sabemos como ele é."
Depois: "Aqui estão as equações. Você pode colocar isso em um computador, girar, cortar e estudar cada detalhe."

Isso abre portas para entender melhor a geometria do universo, assim como ter as equações de Einstein permitiu entender a gravidade de forma prática, não apenas teórica.

Resumo em Uma Frase

O autor usou computadores poderosos para testar milhões de combinações numéricas em mundos digitais, encontrou pistas de "erros" geométricos e, a partir delas, deduziu as receitas matemáticas exatas para construir dois tipos de objetos geométricos exóticos e simétricos que pareciam impossíveis de definir por escrito.

Each language version is independently generated for its own context, not a direct translation.

Aqui está um resumo técnico detalhado do artigo "On equations of fake projective planes with automorphism group of order 21", de Lev Borisov, apresentado em português.

Título: Sobre equações de planos projetivos falsos com grupo de automorfismo de ordem 21

Autor: Lev Borisov
Publicação: Épijournal de Géométrie Algébrique, Vol. 7 (2023), Artigo No. 17.

1. O Problema e o Contexto

Os planos projetivos falsos são superfícies de tipo geral que possuem os mesmos números de Hodge do plano projetivo complexo padrão ( $\mathbb{CP}^2$ ), mas não são isomórficas a ele. A classificação completa desses objetos foi realizada por D. Cartwright e T. Steger, que identificaram 50 pares conjugados divididos em 28 classes. No entanto, essa classificação é puramente aritmética e geométrica (baseada em quocientes de subgrupos discretos do grupo de automorfismos da bola complexa), não fornecendo equações polinomiais explícitas que definam essas superfícies.

O objetivo central deste trabalho é encontrar equações polinomiais explícitas para dois pares específicos de planos projetivos falsos que possuem um grupo de automorfismo de ordem máxima (21). Especificamente, o autor busca:

As equações do plano projetivo falso construído por J. Keum (classe $(a=7, p=2, \{7\}, D_{327})$ ).
Um novo par de planos projetivos falsos (classe $(C_{20}, p=2, \emptyset, D_{327})$ ).

2. Metodologia

A abordagem do autor baseia-se na construção de superfícies de Dolgachev elípticas específicas e na sua relação com os planos projetivos falsos através de coberturas ramificadas. O processo é dividido em etapas computacionais e teóricas rigorosas:

A. Fundamentação Teórica: Superfícies de Dolgachev (2,3)

O autor estuda superfícies projetivas suaves $Y$ com uma fibração de gênero 1 sobre $\mathbb{CP}^1$ , possuindo:

Uma fibra dupla ($2F_3 $) e uma fibra tripla ($ 3F_2$).
Uma seção racional de grau 6 ( $S$ ).
Um grupo de automorfismo residual $C_3$ que preserva a estrutura de fibrado.
O quociente $Y/C_7$ (onde $C_7$ é o subgrupo normal do grupo de automorfismos do plano falso) possui uma resolução mínima com geometria peculiar, incluindo fibras múltiplas e cadeias de curvas com auto-interseções específicas.

O autor analisa o anel graduado $R = \bigoplus H^0(Y, \mathcal{O}(aF + bS))$ . Através de cálculos de dimensão graduada, ele conjectura e prova que este anel possui uma estrutura de módulo livre sobre um subanel gerado por variáveis com pesos específicos. Isso permite modelar a superfície $Y$ (e sua contratura biracional $Y_0$ ) como uma interseção de quadricas em um espaço projetivo ponderado.

B. Construção da Família de Superfícies

Família de 9 Parâmetros: O autor postula a estrutura do anel e as relações quadráticas (quadricas) entre os geradores. Isso resulta em um sistema de mais de 1600 equações com 92 incógnitas. Utilizando o software Mathematica, ele resolve o sistema para encontrar uma família de 9 parâmetros de superfícies de Dolgachev.
Restrição Geométrica: Impõem-se condições geométricas adicionais na fibra especial (tipo $I_9$ ) para reduzir o número de parâmetros. O autor busca configurações onde a fibra especial contém linhas disjuntas e pontos nodais específicos. Isso reduz a família para 5 parâmetros e, posteriormente, para 2 parâmetros.

C. Busca por Redução em Corpo Finito e Levantamento (Lifting)

Como as equações são extremamente complexas para serem resolvidas diretamente sobre os números complexos, o autor utiliza uma estratégia de redução em corpo finito:

Procura-se uma redução da superfície $Y_0$ módulo um primo $p$ (especificamente $p=79$ para o novo caso e $p=53$ para o caso de Keum) onde a superfície apresente singularidades "pior que nodais" em pontos específicos.
Uma vez encontrados os parâmetros em $\mathbb{F}_p$ , utiliza-se o algoritmo de Hensel para levantar essas soluções para potências de $p$ (anéis $p$ -ádicos).
Finalmente, utiliza-se redução de retículos (lattice reduction) para identificar os parâmetros $p$ -ádicos como números algébricos em um corpo de números de grau 12 (especificamente sobre $\mathbb{Q}(\sqrt{-7})$ ).

D. Construção do Plano Projetivo Falso

Com a superfície $Y_0$ definida sobre um corpo de números:

Identificam-se as curvas $S_1$ e $S_2$ e a ação birracional de ordem 3 ( $C_3$ ).
Constrói-se a cobertura de Galois de grau 7 ramificada nas curvas especiais. O corpo de funções do plano projetivo falso é obtido adicionando a raiz sétima de uma função racional específica definida sobre $Y_0$ .
Calcula-se o sistema linear bicanônico, resultando em uma imersão do plano projetivo falso no $\mathbb{CP}^9$ como interseção de 84 equações cúbicas.

E. Identificação e Verificação

Para distinguir entre as classes possíveis, o autor analisa o grupo de torção do grupo de Picard:

Busca-se elementos de torção de ordem 2 invariantes sob $C_3$ no sistema linear $|2K|$ .
A existência de múltiplos elementos de torção (indicando um grupo de torção $C_2^6$ ) identifica o novo plano como $(C_{20}, p=2, \emptyset, D_{327})$ , distinguindo-o do plano de Keum (que tem grupo de torção $C_2^3$ ).
A verificação de suavidade e das propriedades de interseção confirma que as equações definem efetivamente um plano projetivo falso.

3. Principais Contribuições e Resultados

Equações Explícitas: O artigo fornece as primeiras equações polinomiais explícitas para o plano projetivo falso descoberto por Keum e para um novo par de planos projetivos falsos (classe $C_{20}$ ).
Método Computacional Avançado: Desenvolveu-se uma metodologia híbrida que combina teoria de superfícies elípticas, álgebra computacional (Mathematica, Magma, Macaulay2) e teoria dos números (corpos finitos, levantamento $p$ -ádico e redução de retículos) para resolver sistemas de equações não-lineares massivos.
Identificação de Novos Objetos: A descoberta e caracterização completa do par de planos projetivos falsos da classe $(C_{20}, p=2, \emptyset, D_{327})$ , que não estava implicada em outras construções conhecidas anteriormente.
Estrutura de Torção: O uso de elementos de torção no grupo de Picard como ferramenta de identificação e simplificação das equações (reduzindo os coeficientes das equações cúbicas).

4. Significância

Avanço na Classificação: Este trabalho preenche uma lacuna crucial entre a classificação teórica de Cartwright-Steger e a realidade geométrica explícita. Ter equações polinomiais permite o estudo computacional direto de propriedades dessas superfícies.
Ferramentas para Futuras Descobertas: A metodologia desenvolvida, especialmente o uso de reduções em corpos finitos para encontrar pontos de singularidade específicos e o subsequente levantamento para corpos de números, oferece um roteiro viável para encontrar equações para outros planos projetivos falsos, incluindo o famoso exemplo de Mumford (que ainda não possui equações explícitas).
Complexidade e Realismo: O artigo demonstra que, embora as equações sejam extremamente grandes (muitas vezes impossíveis de listar no corpo do artigo e exigindo arquivos externos), elas são acessíveis e verificáveis através de ferramentas computacionais modernas.

Em resumo, o trabalho de Borisov representa um marco na geometria algébrica computacional, transformando objetos abstratos de classificação aritmética em variedades algébricas concretas definidas por equações polinomiais.