Frobenius--Tschirnhausen ampleness

Enunciado do Problema
Este trabalho investiga as restrições geométricas impostas a variedades projetivas suaves $X$ sobre um corpo de característica positiva $p > 0$ pela amplidez de seu feixe de Frobenius–Tschirnhausen, denotado por $E_X$. Este feixe é definido como o dual do núcleo da traço de Frobenius associado ao morfismo absoluto de Frobenius $F: X \to X$, especificamente $E_X \coloneqq (F_* \mathcal{O}_X / \mathcal{O}_X)^\vee$. O estudo é motivado por resultados clássicos em característica 0, como o teorema de Mori (onde a amplidez do feixe tangente implica $X \cong \mathbb{P}^n$) e a conjectura de amplidez de Tschirnhausen para espaços homogêneos racionais. Embora trabalhos anteriores de Carvajal-Rojas e Patakfalvi tenham estabelecido que tais variedades devem ser Fano e carecer de fibrações genericamente suaves ou contrações divisoriais, a classificação precisa e a existência de exemplos além do espaço projetivo e quadricas permaneceram em aberto. A questão central é: Quais variedades Fano suaves de posto de Picard 1 possuem um núcleo de traço de Frobenius amplo, e quais são as condições necessárias sobre a característica $p$?

Metodologia
Os autores empregam uma combinação de teoria de representação infinitesimal, a teoria de divisões de Frobenius (Frobenius splittings) e construções geométricas explícitas para analisar a positividade de $E_X$.

1. Restrições sobre Morfismos e Subesquemas: O artigo estabelece primeiro que, se $E_X$ é amplo, qualquer morfismo não constante $f: X \to Y$ deve ser finito sobre sua imagem. Isso é provado mostrando que qualquer subesquema fechado conexo $Z \subset X$ satisfaz a propriedade $G_1$ (funções formais na completude de $X$ ao longo de $Z$ são constantes). Isso baseia-se na observação de que a restrição do córelo de Frobenius a um subesquema relaciona-se com o feixe conormal e vizinhanças infinitesimais.
2. Critérios de Representação: Para espaços homogêneos racionais $X = G/P$, os autores utilizam o fato de que $E_X$ é gerado globalmente. Eles refinam isso investigando a geração global do feixe torcido $E_X \otimes \mathcal{O}_X(-1)$. Usando a identificação do núcleo de traço de Frobenius com os coinvariantes da ação do feixe tangente, eles relacionam a amplidez à surjetividade das aplicações de restrição nos espaços de seções globais de $\omega_X^{\otimes (1-p)} \otimes \mathcal{O}_X(-p)$ para jatos de $p$-Frobenius.
3. Construções Explícitas (Determinantes Rolantes e Pfaffianos): Para provar a geração global para tipos clássicos (Grassmannianos, Simpléticos, Ortogonais) e Tipo $G_2$, os autores constroem seções explícitas. Eles introduzem "determinantes rolantes" para Grassmannianos clássicos e "Pfaffianos rolantes" para variedades de espínor. Essas construções envolvem polinômios específicos nos menores de matrizes de coordenadas no grande célula de Schubert, desenhados para realizar vetores de peso específicos (derivadas do elemento de traço $\tau$) no anel de coordenadas do núcleo de Frobenius.
4. Obstrução via Isogenias Exóticas: Nos casos excepcionais onde a amplidez falha, os autores demonstram a existência de morfismos finitos puramente inseparáveis (isogenias exóticas) entre grupos algébricos ou seus espaços homogêneos associados. Eles mostram que o feixe de Tschirnhausen de tal morfismo restringe-se a um feixe não amplo em subvariedades específicas (por exemplo, retas ou Grassmannianos de dimensão inferior), o que obstrui a amplidez de $E_X$.

Principais Contribuições e Resultados

• Teorema A (Finitude de Morfismos): Qualquer morfismo não constante de uma variedade $X$ amplamente Frobenius–Tschirnhausen para outra variedade $Y$ é finito sobre sua imagem. Consequentemente, $X$ não admite contrações extremais não triviais. Combinado com a propriedade Fano, isso sugere fortemente (e prova sob a suposição do teorema de contração) que tais variedades devem ter posto de Picard 1.
• Teorema B (Não-amplidez de Hipersuperfícies): Os autores constroem famílias explícitas de hipersuperfícies Fano suaves em $\mathbb{P}^n$ de grau $d$ (onde $p < d \le n$) que não são Frobenius–Tschirnhausen amplas. Esses exemplos incluem hipersuperfícies "q-bic" ou extremais, generalizando a conhecida não-amplidez da quadrica tríade em característica 2.
• Teorema C (Classificação para Tipos Clássicos e $G_2$): O artigo fornece uma classificação completa de Grassmannianos generalizados de tipo clássico e Tipo $G_2$ que são Frobenius–Tschirnhausen amplos. Um espaço homogêneo racional $X$ de posto de Picard 1 é Frobenius–Tschirnhausen amplo se, e somente se, não for uma das seguintes exceções:
  • Grassmanniano Simplético $SGr(k, 2m)$ com $2 \le k \le m$ em característica $p=2$.
  • Grassmanniano Ortogonal $OGr(m-1, 2m+1)$ em característica $p=2$.
  • Grassmanniano $G_2$ em características $p=2$ ou $p=3$.
• Correção de Resultados Anteriores: O trabalho corrige uma leve imprecisão na literatura prévia sobre quadricas em característica 2, mostrando que quadricas de dimensão $\ge 4$ em $p=2$ são Frobenius–Tschirnhausen amplas, enquanto a quadrica tríade não é.

Significância e Alegações
O artigo alega fornecer o primeiro conjunto abrangente de restrições e exemplos para variedades amplamente Frobenius–Tschirnhausen em característica positiva. Ao provar que tais variedades não admitem contrações não triviais, os autores fornecem evidências fortes apoiando a conjectura de que essas variedades são variedades Fano de posto de Picard 1.

A significância dos resultados reside em:

1. Completar a Classificação: O Teorema C resolve a questão da amplidez para a classe mais acessível de variedades Fano (Grassmannianos generalizados) de tipo clássico e Tipo $G_2$, identificando obstruções precisas dependentes da característica.
2. Mecanismo Geométrico: O artigo elucida o mecanismo por trás da falha de amplidez em características baixas, atribuindo-a à existência de "isogenias exóticas" entre grupos algébricos (por exemplo, entre $SO_{2m+1}$ e $Sp_{2m}$ em $p=2$, e auto-isogenias de $G_2$ em $p=3$). Essas isogenias induzem morfismos cujos feixes de Tschirnhausen falham em ser amplos.
3. Avanço Metodológico: Os autores introduzem uma técnica que evita a decomposição explícita de $F_* \mathcal{O}_X$ (que é frequentemente intratável) em vez disso construindo divisões de Frobenius específicas e analisando a geração global de núcleos de traço torcidos via teoria de representação.

Os autores permanecem modestos quanto aos tipos excepcionais (além de $G_2$), conjecturando que Grassmannianos generalizados de outros tipos excepcionais são Frobenius–Tschirnhausen amplos desde que a característica seja "boa" (por exemplo, $p > 5$), mas eles não provam isso. O trabalho estabelece um elo rigoroso entre a positividade do núcleo de traço de Frobenius e a geometria global da variedade, sugerindo um inverso à intuição de que a positividade do feixe tangente implica a positividade do núcleo de traço de Frobenius.