A no-go theorem for special Ulrich bundles, with a complement on primary Burniat surfaces

Resumo Técnico: Um Teorema de Não-Existência para Feixes de Ulrich Especiais, com um Complemento sobre Superfícies de Burniat Primárias

Enunciado do Problema
O artigo investiga a existência de feixes de Ulrich de posto dois em superfícies projetivas suaves $X$ com gênero geométrico $p_g = 0$. Especificamente, aborda o caso "especial" onde a primeira classe de Chern satisfaz $c_1(E) = 3H + K_X$ em $\text{Pic}(X)$, em vez de apenas numericamente. Uma questão central na literatura é se a construção padrão de Cayley–Bacharach (uma extensão da forma $0 \to \mathcal{O}_X(H+K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$) pode produzir tais feixes quando a polarização $H$ é especial (ou seja, $h^1(\mathcal{O}_X(H)) \neq 0$). Embora a não-especialidade ($h^1=0$) seja uma hipótese padrão em teoremas de existência (ex: Casnati [Ca17], Beauville [Be16b]), este artigo questiona se esta é uma condição necessária para esta construção específica ou apenas uma condição conveniente.

Metodologia
Os autores empregam uma combinação de análise cohomológica, teoria de extensões e a geometria de classes específicas de superfícies:

1. Critérios de Extensão: O artigo utiliza a correspondência de Serre–Griffiths–Harris, que vincula a existência de uma extensão localmente livre à propriedade de Cayley–Bacharach (CB) de um subesquema de dimensão zero $Z$ em relação a um sistema linear.
2. Tensão Cohomológica: O argumento central envolve analisar a tensão entre a propriedade CB (que exige que $Z$ imponha condições dependentes para garantir a local liberdade) e a condição de nulidade de Ulrich $h^0(E(-H)) = 0$ (que exige que $Z$ imponha condições independentes).
3. Mecanismos Genéricos vs. Especiais: Os autores contrastam o mecanismo "genérico" de Li–Qin [LQ94], que depende de 0-ciclos genéricos e requer não-especialidade, com o mecanismo de "pontos em uma curva" de [An94], que coloca $Z$ sobre uma curva irredutível. Eles demonstram que mesmo este último falha para o núcleo adjunto quando $H$ é especial.
4. Análise de Superfícies de Burniat: Para os resultados positivos, os autores realizam computações explícitas em superfícies de Burniat primárias (superfícies mínimas de tipo geral com $p_g=q=0$ e $K_X^2=6$). Eles utilizam a estrutura de cobertura de bidouble $\pi: X \to Y$ (onde $Y$ é uma superfície de del Pezzo de grau 6) para reduzir os cálculos de cohomologia para a superfície racional $Y$, empregando decomposições de eigensheaves e teoria de reticulados (lattices).

Principais Contribuições e Resultados

1. O Teorema de Não-Existência (Teorema 1.3)
O principal resultado negativo estabelece que, para uma superfície com $p_g=0$ e um divisor amplo $H$ com $h^1(\mathcal{O}_X(H)) \neq 0$ (e $\chi(\mathcal{O}_X(H)) \ge q$), nenhum feixe vetorial de posto dois $E$ com $c_1(E) = 3H + K_X$ e o $c_2(E)$ correto pode advir da extensão do núcleo adjunto:
$$0 \to \mathcal{O}_X(H + K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$$
satisfazendo $h^0(E(-H)) = 0$.

• Mecanismo: A prova mostra que a condição de Ulrich força o comprimento de $Z$ a ser $\ell(Z) = \chi(\mathcal{O}_X(H)) + \chi(\mathcal{O}_X)$. A nulidade $h^0(E(-H))=0$ implica que $h^0(\mathcal{O}_X(H) \otimes \mathcal{I}_Z) \le q$. No entanto, a propriedade CB (necessária para a local liberdade) implica que $Z$ impõe condições dependentes, levando a uma contradição, a menos que $h^1(\mathcal{O}_X(H)) = 0$.
• Significância: Isto prova que a não-especialidade é uma hipótese necessária para a construção natural do núcleo adjunto, não apenas uma suposição conveniente. Isso descarta a possibilidade de que mecanismos de "posição especial" (como colocar pontos em curvas) possam contornar o requisito de não-especialidade para este formato específico de feixe.

2. Existência em Superfícies de Burniat Primárias (Teorema 1.5)
Os autores aplicam seus resultados às superfícies de Burniat primárias.

• Não-Especialidade Global: Eles provam que todo divisor amplo e livre de pontos base em uma superfície de Burniat primária é não-especial ($h^1(\mathcal{O}_X(H)) = 0$). Isto é derivado de um limite de grau: um divisor amplo livre de pontos base deve ter número de interseção $\ge 2$ com as seis curvas de ramificação elípticas da superfície. Como $K_X$ tem interseção 1 com estas curvas, $H - K_X$ é amplo, e o teorema de nulidade de Kodaira se aplica.
• Consequências: Consequentemente, toda polarização em uma superfície de Burniat primária admite um feixe de Ulrich especial de posto dois $\mu_H$-estável. Além disso, estas superfícies são "estritamente Ulrich selvagens" (strictly Ulrich wild) em relação a cada polarização, possuindo feixes de Ulrich simples de todo posto par $r \ge 2$ em famílias de dimensão arbitrariamente grande.

3. Classificação de Classes Ámpas Especiais
Embora nenhuma polarização (divisor muito amplo) seja especial nestas superfícies, os autores classificam as "classes ámpas especiais" (ámpas, mas não livres de pontos base).

• Eles mostram que todas as classes ámpas especiais residem em três raios numéricos específicos através de $K_X$.
• Eles computam a cohomologia ao longo destes raios, mostrando que as classes $H_u = K_X + \pi^*\mathcal{O}_Y(u(e_0 - e_1))$ são especiais para $u \ge 2$.
• Crucialmente, eles provam que nenhuma classe nestes raios é livre de pontos base, explicando por que elas não contradizem a não-especialidade das polarizações.

4. Núcleos Torcidos e Obstruções
O artigo investiga se núcleos "torcidos" (ex: $0 \to \mathcal{O}_X(H+K_X-\epsilon) \to E \to \mathcal{O}_X(2H+\epsilon) \otimes \mathcal{I}_Z \to 0$) podem salvar a construção para polarizações especiais.

• Em superfícies de Burniat primárias, eles analisam uma variante torcida específica envolvendo curvas de ramificação.
• Eles demonstram que, mesmo com o torcimento, a construção falha para as classes especiais identificadas. O "orçamento" de cohomologia (a dimensão do alvo do mapa de conexão) é insuficiente para absorver a especialidade da polarização mantendo as condições de nulidade necessárias.

5. Posto Superior e Selvageria (Wildness)
Construindo sobre a existência de feixes de posto dois, os autores utilizam o critério de Faenzi–Pons-Llopis para construir famílias de feixes de Ulrich simples de postos pares superiores. Eles estabelecem que as superfícies de Burniat primárias são estritamente Ulrich selvagens, melhorando resultados anteriores ao fornecer contagens de dimensão explícitas e simplicidade (em vez de apenas indecomponibilidade).

Significância e Alegações
O artigo reivindica duas contribuições principais:

1. Um Resultado Negativo: Ele esclarece as limitações da construção de Cayley–Bacharach, provando que a não-especialidade da polarização é um requisito intrínseco para a forma do núcleo adjunto, não um artefato da técnica de prova. Isso resolve uma lacuna na literatura onde a necessidade desta hipótese não havia sido explicitamente registrada.
2. Um Resultado Positivo sobre Superfícies de Burniat: Fornece um quadro completo de feixes de Ulrich em superfícies de Burniat primárias. Confirma que, apesar da complexidade da superfície, a geometria força todas as polarizações a serem não-especiais, garantando assim a existência de feixes de Ulrich especiais estáveis para cada polarização. Isto contrasta com o trabalho recente de Cho [Cho26], que estabeleceu a não-especialidade para classes específicas (como $3K_X$), mas não formulou o resultado global para todas as polarizações ou as consequências de selvageria estrita.

Os autores observam que seus resultados sobre superfícies de Burniat se sobrepõem ao trabalho de Cho em relação ao limite de grau em curvas elípticas, mas sua derivação é independente e leva a conclusões globais mais fortes. Eles também destacam que, embora seus métodos elementares (Cayley–Bacharach) falhem para certos casos especiais (como a superfície quíntica em $\mathbb{P}^3$), os feixes provavelmente ainda existem, sugerindo que a obstrução é posicional e não numérica.