Tangent bundle of punctual Hilbert scheme and distinguishing products of varieties

Resumo Técnico

1. Problema e Contexto

O artigo aborda dois problemas centrais na geometria algébrica complexa:

1. Estrutura do Fibrado Tangente: A decomposição do fibrado tangente $T_{X[n]}$ do esquema de Hilbert puntual $X[n]$ (que parametriza subs esquemas de comprimento $n$ em uma superfície projetiva suave $X$) em componentes indecomponíveis. Embora a geometria de $X[n]$ seja bem estudada (sendo uma variedade suave de dimensão $2n$), a estrutura de seus fibrados vetoriais, especificamente o fibrado tangente, permanece menos compreendida em casos gerais.
2. Problema de Cancelamento/Classificação de Produtos: A questão de saber se um isomorfismo entre produtos de variedades implica a igualdade dos fatores (até renumeração). Formalmente, se $\prod X_i \cong \prod Y_j$, segue-se que $r=s$ e os conjuntos de variedades são idênticos? O artigo foca especificamente em produtos de esquemas de Hilbert puntuais e potências simétricas de variedades.

2. Metodologia

A abordagem do autor combina técnicas de geometria algébrica, teoria de representações de grupos e análise local de fibrados vetoriais. Os pilares metodológicos incluem:

• Decomposição de Fibrados Vetoriais: Utiliza-se o teorema de decomposição de Krull-Schmidt (referência [2]), que garante que qualquer fibrado vetorial em uma variedade projetiva pode ser escrito de forma única como soma direta de fibrados indecomponíveis.
• Ação do Grupo Simétrico ($S_n$): O autor explora a relação entre o esquema de Hilbert $X[n]$ e o produto cartesiano $X^n$. A ação de $S_n$ em $X^n$ induz uma ação no fibrado tangente $T_{X^n}$. A estratégia é analisar as decomposições de $T_{X^n}$ que são invariantes sob $S_n$ e verificar quais delas "descem" (são extensíveis) para o fibrado tangente de $X[n]$ via o morfismo de Hilbert-Chow.
• Análise de Extensibilidade (Seção 5): Um ponto crucial é a prova de que certos subfibrados $S_n$-invariantes em $T_{X^n}$ (especificamente somas diretas de pullbacks de subfibrados de $TX$) não podem ser estendidos a subfibrados de $T_{X[n]}$. Isso é demonstrado através de cálculos locais em cartas analíticas, mostrando que o fecho do espaço total de tais subfibrados teria dimensão de fibra incompatível com a de um subfibrado de $T_{X[n]}$.
• Classificação de Superfícies: O trabalho utiliza a classificação de superfícies projetivas suaves cujos fibrados tangentes se dividem (split) ou possuem somandos triviais, distinguindo superfícies abelianas, superfícies bielípticas e certas fibras de $\mathbb{P}^1$ sobre curvas elípticas.

3. Principais Resultados

O artigo apresenta três teoremas principais:

Teorema A: Decomposição do Fibrado Tangente de $X[n]$
O autor classifica a estrutura do fibrado tangente $T_{X[n]}$ para uma superfície projetiva suave $X$ e $n \ge 2$:

1. Caso Abelianas: Se $X$ é uma superfície abeliana, $T_{X[n]} \cong \mathcal{O}_{X[n]}^{\oplus 2} \oplus E$, onde $E$ é um fibrado vetorial indecomponível.
2. Classe $\tilde{C}$: Se $X$ pertence à classe $\tilde{C}$ (superfícies de classe $C$, superfícies bielípticas, ou fibrados $\mathbb{P}^1$ sobre curvas elípticas com $TX$ dividido), então $T_{X[n]} \cong \mathcal{O}_{X[n]} \oplus E$, com $E$ indecomponível.
3. Outros Casos: Em todas as outras situações, $T_{X[n]}$ é indecomponível.

• Observação: Nos casos (1) e (2), o fibrado indecomponível $E$ é o núcleo da diferencial de um morfismo suave $\pi: X[n] \to F'$, onde $F'$ é uma variedade abeliana.

Teorema B: Classificação de Produtos de Esquemas de Hilbert
O autor prova uma conjectura recente sobre produtos de esquemas de Hilbert de uma mesma superfície $X$:

• Se $\prod_{i=1}^r X[a_i] \cong \prod_{j=1}^s X[b_j]$, então $r = s$ e os multiconjuntos $\{a_1, \dots, a_r\}$ e $\{b_1, \dots, b_s\}$ são idênticos.
• Método de Prova: Utiliza-se o Teorema A para contar o número de componentes indecomponíveis de certos rangos no fibrado tangente do produto. Como o fibrado tangente de um produto é a soma direta dos fibrados tangentes dos fatores, a estrutura de decomposição única permite recuperar os índices $a_i$ e $b_j$.

Teorema C: Classificação de Produtos de Potências Simétricas
O resultado é estendido para potências simétricas $X^{(n)}$ de uma variedade suave $X$ de dimensão $\ge 2$ (não necessariamente projetiva):

• Se $\prod_{i=1}^r X(a_i) \cong \prod_{j=1}^s X(b_j)$, então $r = s$ e os multiconjuntos de índices são iguais.
• Método de Prova: Utiliza-se indução na dimensão e análise das singularidades. O autor examina o lugar singular (singular locus) do produto e suas normalizações. A estrutura das componentes irredutíveis do lugar singular e suas normalizações permite distinguir os fatores $X^{(n)}$ baseando-se na geometria das singularidades (usando resultados de [4]).

4. Contribuições Técnicas e Significância

• Resolução de uma Conjectura: O Teorema B confirma uma conjectura recente (referência [10]) sobre a classificação de produtos de esquemas de Hilbert, estendendo resultados anteriores conhecidos apenas para curvas.
• Novo Invariante Geométrico: O trabalho estabelece que a estrutura de decomposição do fibrado tangente é um invariante forte o suficiente para distinguir produtos de esquemas de Hilbert, mesmo quando as variedades são geometricamente complexas.
• Caracterização de Superfícies: Os Teoremas 3.2 e 3.3 fornecem caracterizações precisas de superfícies cujos fibrados tangentes possuem somandos triviais ou se dividem, conectando propriedades locais do fibrado tangente à classificação global de superfícies (Kodaira dimensão, fibrados elípticos).
• Técnica de Não-Extensibilidade: A prova do Teorema 5.1 (não extensibilidade de certos subfibrados) é uma contribuição técnica significativa, fornecendo uma ferramenta para impedir que decomposições em produtos cartesianos se projetem para o esquema de Hilbert, forçando a indecomponibilidade na maioria dos casos.
• Aplicação a Variedades Não-Projetivas: O Teorema C lida com variedades que não são necessariamente projetivas, mostrando a robustez da abordagem baseada em singularidades e normalizações.

Em suma, o artigo conecta a teoria de fibrados vetoriais em esquemas de Hilbert com problemas de classificação de variedades, demonstrando que a geometria do fibrado tangente codifica informações suficientes para distinguir produtos de tais variedades, resolvendo questões abertas na literatura.