Stability of syzygy bundles on certain Picard rank one varieties

Resumo Técnico: Estabilidade de Feixes de Sizígia em Certas Variedades de Posto de Picard Um

Enunciado do Problema
O artigo aborda a estabilidade de feixes de sizígia $M_L$ em variedades projetivas suaves $X$ de dimensão pelo menos 2 com posto de Picard 1. Dado um feixe de linha não trivial globalmente gerado $L$ em $X$, o feixe de sizígia $M_L$ é definido como o núcleo do mapa de avaliação $H^0(X, L) \otimes \mathcal{O}_X \to L$. A questão central (Questão 1.1) é se $M_L$ é estável em relação à polarização única em $X$ (visto que o posto de Picard é 1). Embora a estabilidade seja bem compreendida para curvas e conhecida para casos específicos de dimensões superiores (por exemplo, variedades Fano ou Calabi-Yau, ou quando $L$ é "suficientemente amplo"), o caso geral para um $L$ amplo arbitrário em variedades de posto de Picard 1 permanecia em aberto.

Metodologia
O autor emprega uma combinação de técnicas de geometria algébrica, focando especificamente na monotonicidade das seções globais de feixes de linha e nos critérios de estabilidade de inclinação (slope stability).

1. Monotonicidade de Seções Globais: Uma contribuição técnica central é a prova de um resultado de monotonicidade (Proposição 3.2 e Corolário 3.5). O autor estabelece que, para uma variedade projetiva normal $X$ de dimensão $\ge 2$, se $H$ é um feixe de linha amplo e globalmente gerado e $F$ é um feixe de linha numericamente trivial, a função $h^0(X, F(k))/k$ é não-decrescente para $k \ge 1$.

   • Isso é derivado da teoria de anéis e módulos graduados. Ao construir um anel graduado $R = \bigoplus H^0(X, \mathcal{O}_X(k))$ e um módulo $M = \bigoplus H^0(X, F(k))$, o autor utiliza uma sequência regular de seções gerais para relacionar os polinômios de Hilbert de $M$ e de seu quociente.
   • A prova baseia-se no fato de que, para $k \ge 1$, a diferença nas dimensões normalizadas das seções globais é não-negativa, aproveitando as propriedades de feixes numericamente triviais em variedades normais.

2. Contradição via Desigualdades de Inclinação: Para provar o teorema principal, o autor assume que $M_L$ é instável. Pela teoria padrão (citando [10]), a instabilidade implica a existência de um subfeixe destabilizador, especificamente um feixe de linha $N$ e um inteiro $r$ tal que a inclinação $\mu_H(\wedge^r M_L \otimes N) \le 0$ e $H^0(X, \wedge^r M_L \otimes N) \neq 0$.

   • O autor expressa $L$ e $N$ em termos de um gerador do grupo de Néron-Severi e de feixes numericamente triviais: $L \cong N_2(l)$ e $N \cong N_1(k)$ com $N_1, N_2$ numericamente triviais.
   • Utilizando a fórmula de inclinação para feixes de sizígia, a condição de instabilidade produz uma desigualdade relacionando $k$, $l$ e $r$.
   • O resultado de monotonicidade (Corolário 3.5) é então aplicado para comparar o crescimento das seções globais $h^0(X, N)$ e $h^0(X, L)$. Isso leva a uma cadeia de desigualdades que força $k \ge l$, o que contradiz diretamente a dedução anterior de que $k < l$ derivada das restrições de posto (rank).

Principais Contribuições e Resultados

• Teorema A: O resultado primário afirma que, se $X$ é uma variedade projetiva suave de dimensão $\ge 2$ com posto de Picard 1, e todo feixe de linha amplo em $X$ é globalmente gerado, então, para todo feixe de linha amplo $L$, o feixe de sizígia $M_L$ é estável.
• Corolário 4.1: O teorema é aplicado a interseções completas suaves de dimensão $\ge 2$ em espaço projetivo $\mathbb{P}^N$. Pelos teoremas de Lefschetz, essas variedades têm posto de Picard 1 e são geradas pela classe hiperplana (que é globalmente gerada). Assim, o feixe de sizígia de qualquer feixe de linha não trivial globalmente gerado em tal variedade é estável.
• Extensão de Trabalho Prévio: O artigo observa que, embora a estabilidade fosse conhecida anteriormente para interseções completas Fano ou Calabi-Yau (via [10]), este resultado estende a resposta afirmativa para todas as interseções completas suaves de dimensão $\ge 2$ com posto de Picard 1, independentemente de serem Fano, Calabi-Yau ou de tipo geral.

Significância e Alegações
O artigo afirma fornecer uma resposta afirmativa à Questão 1.1 para uma "grande classe de variedades", especificamente aquelas onde todos os feixes de linha amplos são globalmente gerados. O autor afirma explicitamente que isso estende resultados anteriores de Jiang-Ren, Coandă e outros.

A significância é estruturada como a resolução de uma questão natural sobre a estabilidade de feixes de sizígia na ausência de suposições de "amplidão suficiente" sobre $L$. O artigo não pretende resolver a Questão 1.1 para todas as variedades de posto de Picard 1 (notando que a hipótese de geração global para todos os feixes amplos é necessária), mas estabelece uma classe robusta de exemplos (interseções completas) onde a conjectura se mantém. O autor também faz referência à Observação 4.2, notando que, via teoremas de restrição de Mehta-Ramanathan, a questão geral reduz-se ao caso das superfícies, e este trabalho fornece respostas afirmativas para uma grande classe de superfícies de tipo geral.