Bigness of tangent bundles of blow-ups of ruled surfaces

Resumo Técnico: Grandeza dos Feixes Tangentes de Blow-ups de Superfícies Ruled

Enunciado do Problema
Este artigo investiga as propriedades de positividade do feixe tangente $T_X$ para variedades projetivas suaves, focando especificamente na grandeza (bigness) do feixe tangente sob blow-ups de pontos em superfícies ruled. Embora a grandeza dos feixes tangentes para as superfícies ruled originais $S = \mathbb{P}_C(E)$ tenha sido caracterizada (especificamente, $T_S$ é grande se, e somente se, o feixe vetorial $E$ for instável ou a curva base $C$ for $\mathbb{P}^1$), o comportamento desta propriedade sob blow-ups permanece menos compreendido. Os autores visam determinar as condições precisas sob as quais a grandeza do feixe tangente é preservada ao realizar o blow-up de $m$ pontos em uma superfície ruled $S$. Esta investigação é motivada por resultados análogos para o blow-up de $\mathbb{P}^2$, onde a grandeza ocorre precisamente para no máximo 4 pontos em posição geral.

Metodologia
Os autores empregam uma combinação de construções geométricas e critérios de positividade para feixes vetoriais:

1. Definições e Configuração:

   • O estudo foca em superfícies ruled $S = \mathbb{P}_C(E)$ sobre uma curva suave projetiva $C$.
   • O primeiro invariante de Segre $s_1(E) = -n$ é central para a análise. Se $s_1(E) < 0$, o feixe é instável, e $S$ possui uma seção mínima única $C_0$ com autointerseção $C_0^2 = -n$.
   • Posição Geral: Os autores definem "posição geral" para os centros do blow-up $x_1, \dots, x_m$ para garantir que a configuração geométrica seja genérica. Para feixes instáveis ($n > 0$), isso requer que os pontos não estejam sobre a seção mínima $C_0$ e que nenhum par de pontos esteja sobre a mesma fibra.

2. Transformações Elementares:

   • O artigo utiliza transformações elementares (fazer o blow-up de um ponto e contrair a transformada estrita da fibra) para relacionar superfícies ruled com diferentes invariantes de Segre.
   • Uma técnica fundamental envolve reverter o processo de blow-up na superfície blown-up $X$ para relacioná-la de volta a uma superfície $S'$ com um feixe vetorial $E'$ diferente. Isso permite aos autores aproveitar resultados conhecidos sobre a grandeza de $T_{S'}$.
   • Especificamente, eles utilizam o Lema 2.3 para mostrar que realizar transformações elementares em $n$ pontos em posição geral em uma superfície com $s_1(E) = -n$ resulta em uma superfície com um feixe semestável, cujo feixe tangente é conhecido por não ser grande.

3. Critérios para Grandeza:

   • Os autores baseiam-se no critério de que um feixe vetorial $V$ é grande se, e somente se, $k\zeta - \Pi^*H$ é pseudoefetivo para algum $k > 0$ e um divisor grande $H$, onde $\zeta$ é o feixe de linha tautológico em $\mathbb{P}(V)$.
   • Para Não-Grandeza: Eles utilizam o fato de que, se $T_X$ é grande, então $T_Y$ deve ser grande para qualquer variedade $Y$ dominada por uma morfismo biracional $X \to Y$ (Lema 2.6). Ao reduzir o problema a casos onde o feixe tangente é conhecido por não ser grande (ex: superfícies com feixes semestáveis ou configurações específicas de del Pezzo), eles estabelecem a não-grandeza.
   • Para Grandeza:
     • No caso em que a curva base $C$ tem gênero $g > 0$, eles utilizam o feixe tangente relativo $T_{X/C}$ e mostram que ele é grande quando o número de blow-ups é limitado.
     • No caso em que $C \simeq \mathbb{P}^1$ (superfícies de Hirzebruch $\Sigma_n$), eles realizam cálculos explícitos envolvendo famílias de curvas racionais. Eles constroem divisores efetivos em $\mathbb{P}(T_X)$ associados às totais VMRTs duais (Variedades de Tangentes de Curvas Minimais Racionais) de feixes de retas e cônicas na $\mathbb{P}^2$ subjacente.

Principais Contribuições e Resultados
O artigo fornece um limite agudo (sharp bound) para o número de pontos de blow-up $m$ para os quais o feixe tangente $T_X$ permanece grande, expresso em termos do invariante de Segre $s_1(E) = -n$.

Teorema Principal:
Seja $S = \mathbb{P}_C(E)$ uma superfície ruled com $s_1(E) = -n$, e seja $X$ o blow-up de $S$ em $m$ pontos em posição geral.

1. Caso $C \not\simeq \mathbb{P}^1$ (Gênero $g > 0$):
   $T_X$ é grande se, e somente se, $m \le n - 1$ (e $n \ge 1$).

   • Estratégia de Prova: Se $m \le n-1$, o feixe tangente relativo é grande. Se $m = n$, a superfície pode ser transformada em uma com um feixe semestável, que não é grande.

2. Caso $C \simeq \mathbb{P}^1$ (Superfícies de Hirzebruch $\Sigma_n$):
   $T_X$ é grande se, e somente se:

   • $m \le 3$ se $n = 0$ ou $n = 1$.
   • $m \le n + 1$ se $n \ge 2$.
   • Estratégia de Prova:
     • Para não-grandeza ($m \ge n+2$), a superfície é realizada como um blow-up de $\mathbb{P}^2$ com pontos específicos infinitamente próximos, reduzindo-se a casos conhecidos de superfícies del Pezzo fracas que não são grandes.
     • Para grandeza ($m = n+1$), os autores constroem explicitamente uma combinação linear positiva de divisores efetivos (derivados de famílias de retas e cônicas) que demonstra a pseudoefetividade necessária para a grandeza.

Significância e Alegações
O artigo afirma fornecer uma caracterização completa da grandeza dos feixes tangentes para blow-ups de superfícies ruled, estendendo resultados anteriores sobre $\mathbb{P}^2$ e superfícies ruled gerais.

• Estabelece um limite agudo sobre o número de pontos de blow-up, distinguindo claramente entre o comportamento de superfícies ruled sobre curvas de gênero positivo versus superfícies sobre $\mathbb{P}^1$.
• Os resultados destacam uma dicotomia: para $g > 0$, o limite é $n-1$, enquanto para $g=0$ (com $n \ge 2$), o limite é $n+1$.
• O trabalho contribui para a compreensão mais ampla da positividade em feixes vetoriais, abordando especificamente como operações geométricas como blow-ups afetam a grandeza do feixe tangente, uma propriedade ligada à rigidez e classificação de variedades Fano.

Os autores não alegam resolver o problema geral para todas as variedades, mas restringem seu escopo a superfícies ruled, fornecendo uma resposta definitiva dentro desta classe. Suas provas dependem de técnicas estabelecidas em geometria algébrica (transformações elementares, teoria VMRT e cálculos de divisores) em vez de introduzir novos arcabouços teóricos.