Via Radical Fantasias

O que realmente é um morfismo radicial

Um morfismo radicial é simplesmente um morfismo de esquemas tal que, para todo corpo k, o conjunto das partes subjacentes do fibre produto X ×_Y Spec(k) tem no máximo um ponto. Em linguagem menos categórica: ao olhar as fibras geométricas, você só vê um ponto. O morfismo induz extensões puramente inseparáveis nos corpos residuais. Isso é tudo. A verificação mais direta passa por três etapas. Primeiro, confere se o morfismo é injetivo sobre pontos. Segundo, verifica que as extensões de corpos residuais são puramente inseparáveis. Terceiro, confirma que o morfismo é univaluado após extensão de bases arbitrária. Se alguma dessas etapas falhar, o morfismo não é radicial. O termo via radical fantasias surge frequentemente em discussões onde se tenta estender o conceito para contextos não-algébricos, como em topologias ou categorias abelianas sem estrutura de feixe. Na prática, esse uso é mais uma conveniência terminológica do que uma definição formal consolidada. Eu já vi gente usar a expressão de forma solta em artigos e slides, misturando radicialidade com monomorfismos puros e com morfismos nilpotentes. Só pra deixar claro: não são a mesma coisa.

Na computação efetiva, a verificação mais útil é local. Você pega um aberto afim e trabalha com anéis. Se f: A B é um homomorfismo de anéis, ele induz um morfismo radicial de esquemas se, para todo primo P de B, a extensão residual (f(P)) (P) for puramente inseparável. Além disso, o mapa espec(B) espec(A) precisa ser injetivo. Essas duas condições juntas são necessárias e suficientes na maioria dos casos que aparecem no dia a dia.

Pegadinhas que ninguém avisa

A primeira armadilha comum é confundir radicial com injectividade de pontos fechados. Um morfismo pode ser injetivo nos pontos fechados e ainda assim não ser radicial. O exemplo clássico envolve um corpo de característica p > 0 e uma extensão transitiva de corpos que não é puramente inseparável. A injetividade topológica não garante nada sobre as extensões de corpos residuais. A segunda pegadinha é pensar que radicial é uma propriedade estável por composição à esquerda. Na verdade, radicial é estável por composição à direita e por mudança de base, mas não automaticamente por composição à esquerda. Se g f é radicial, g não precisa ser radicial. Isso mata muita demonstração automática em ferramentas computacionais que assumem estabilidade bilateral. Outro ponto que causa confusão é a relação com nilpotentes. Um morfismo radicial pode ser muito bem comportado topologicamente e ainda assim ter fibras não-redutíveis. O recíproco também vale: um morfismo surjetivo com fibras reduzidas não é necessariamente radicial. Eles capturam coisas diferentes. Radicialidade controla inseparabilidade; redução das fibras controla nilpotência.

Um caso concreto que eu enfrente

Estava trabalhando num problema de classificação de revestimentos wild em característica 2, com um morfismo dado por uma extensão de anéis k[x,y]/(y^2 - x^3) k[x,y]/(y^2 - x^3, x^2). À primeira vista, o mapa parecia radicial porque as fibras sobre pontos fechados eram únicas. Achei que tinha um morfismo radicial puro. Mas aí fiz a verificação completa com mudança de base por Spec(k[t]/(t^2)). A fibra tornou-se non-reduced e, na verdade, apareceu um segundo ponto genérico oculto pela inseparabilidade. O morfismo não era radicial. Levei cerca de três horas para perceber que a injetividade nas fibras fechadas era insuficiente porque a característica 2 estava gerando extensões puramente inseparáveis que só apareciam após base change. O workaround foi simples e chato: parar de confiar em verificação apenas por pontos fechados e passar a testar injetividade e pura inseparabilidade depois de qualquer extensão finita do corpo base. Isso aumenta o custo computacional, mas elimina falsos positivos. Em algoritmos, isso se traduz em rodar a verificação radicial em pelo menos três extensões separadas do corpo base antes de assumir radicialidade.

Quando a via radical fantasias funciona e quando não funciona

O conceito funciona bem em geometria algébrica sobre corpos de característica p > 0, especialmente quando se estuda morphismes universellement injectifs, embeddings de subschemas fechados puramente inseparáveis, e deformações de curvas com singularidades wild. É útil em teoria de moduli para controlar pontos com automorfismos p-cíclicos e em problemas de descente para estruturas puramente inseparáveis. Não funciona bem em três cenários. Primeiro, quando o corpo base é de característica 0. Aí toda extensão residual separável, e radicialidade força isomorfismos de corpos residuais. O conceito vira trivialidade, então não compensa usar essa linguagem. Segundo, quando você lida com esferas ou estruturas diferenciais, a noção não se tradutor naturalmente sem introduzir conceitos extras. Terceiro, em computação simbólica com pacotes como Magma ou Macaulay2, a verificação automática de radicialidade exige extensões finitas de corpos e testes de pura inseparabilidade que podem explodir rapidamente em grau. Para graus acima de 20 em característica 2, o tempo de verificação varia de 40 minutos a algumas horas, dependendo da máquina. Se o seu objetivo é apenas detectar injetividade de pontos ou estudar embeddings, considere alternativas mais leves. Um monomorfismo de esquemas já captura injectividade em muitos contextos sem exigir verificação de corpos residuais. Se o foco é separabilidade, use o morfismo étale ou o diferencial de Kähler. Eles resolvem problemas similares com ferramentas mais maduras e implementações mais rápidas.

Checklist prático para aplicar o conceito

• Verifique injetividade do mapa de espectros.
• Para cada primo P em B, confirme que (f(P)) (P) é puramente inseparável.
• Teste estabilidade por mudança de base com ao menos uma extensão finita do corpo base.
• Descarte falsos positivos originados de características pequenas verificando explicitamente a ausência de componentes non-reduced nas fibras.

Se tudo isso estiver ok, você tem um morfismo radicial. Se algum ponto falhar, ajuste a estrutura ou mude de abordagem antes de insistir na classificação radicial. O conceito é poderoso, mas não é uma chave universal. Ele resolve problemas específicos de inseparabilidade em característica p, e quando o problema é outro, forçar a encaixá-lo costuma gerar mais trabalho do que ganho. Resumindo o essencial: via radical fantasias é uma maneira coloquial que aparece quando se tenta generalizar radicialidade para contextos não padrão. Na prática consolidada, o que importa mesmo são as duas condições clássicas — injetividade de pontos e pura inseparabilidade de corpos residuais — testadas após mudança de base. Qualquer atalho que ignore essas duas coisas vai te dar erro.