Coherent sheaves on primitive multiple schemes

Resumo Técnico: Feixes Coerentes em Esquemas Múltiplos Primitivos

Enunciado do Problema
O artigo aborda o estudo de feixes coerentes em esquemas múltiplos primitivos. Um esquema múltiplo primitivo $Y$ é definido como um esquema de Cohen-Macaulay sobre $\mathbb{C}$ tal que seu subesquema reduzido $X = Y_{\text{red}}$ é uma variedade suave e irredutível, e $Y$ é localmente embutível em uma variedade suave de dimensão $\dim(X) + 1$. O inteiro $n$ tal que $Y = X_n$ (o $n$-ésimo vizinhança infinitesimal de $X$) é chamado de multiplicidade de $Y$.

Uma dificuldade primária neste contexto é que, mesmo que o suporte $X$ seja projetivo, o próprio esquema $Y$ não precisa ser quase-projetivo. Consequentemente, ferramentas padrão como o polinômio de Hilbert, que dependem de um feixe de linhas amplo no esquema ambiente, não são diretamente aplicáveis. O artigo busca estabelecer um arcabouço para definir invariantes para feixes coerentes em tais esquemas, estudar famílias planas de tais feixes e construir espaços de módulos para classes específicas de feixes, particularmente "feixes balanceados" e feixes ideais de pontos.

Metodologia
O autor emprega uma combinação de técnicas algébricas locais e construções geométricas globais:

1. Anéis Múltiplos Primitivos: O estudo começa com a estrutura algébrica local, definindo anéis múltiplos primitivos $R[n] = R[t]/(t^n)$ associados a um domínio de Noetherian $R$. O artigo analisa módulos sobre esses anéis, introduzindo filtrações canônicas (primeira e segunda) e definindo propriedades como módulos "quase-livres" e "balanceados".
2. Filtrações Canônicas: Para um feixe coerente $E$ em $Y$, duas filtrações canônicas são definidas:
   • A primeira filtração canônica ($E_i$) é definida pelos núcleos das restrições ao subesquema reduzido.
   • A segunda filtração canônica ($E^{(i)}$) é definida por subfeixes anulados por potências do feixe ideal de $X$.
     Essas filtrações permitem a redução de problemas globais em $Y$ para problemas no suporte suave $X$.
3. Invariantes Reduzidos: Para lidar com a falta de quase-projetividade, o artigo define o polinômio de Hilbert reduzido $P_{\text{red}, \mathcal{O}_X(1)}(E)$ e classes de Chern reduzidas. Estas são construídas somando os invariantes padrão dos quocientes sucessivos da filtração canônica (que são suportados em $X$). O artigo prova que esses invariantes são independentes da escolha da filtração e são invariantes sob deformações planas.
4. Feixes Balanceados: Um feixe coerente $E$ é definido como balanceado se suas duas filtrações canônicas coincidem ($E_i = E^{(n-i)}$). Esta condição generaliza a noção de fibrados vetoriais. O artigo investiga a estabilidade desta propriedade em famílias planas, provando que é uma condição aberta.
5. Estruturas de Fibrados Afins: Para casos específicos, particularmente feixes ideais em superfícies duplas primitivas ($n=2, \dim(X)=2$), o artigo utiliza métodos cohomológicos para descrever os espaços de parâmetros desses feixes como fibrados afins sobre o suporte $X$.

Principuições e Resultados Chave

• Polinômios de Hilbert Reduzidos: O artigo estabelece que, para qualquer feixe coerente $E$ em um esquema múltiplo primitivo $Y$, um polinômio de Hilbert reduzido pode ser definido em relação a um feixe de linhas amplo em $X$. Mostra-se que este polinômio é constante em famílias planas, fornecendo um invariante necessário para problemas de módulos mesmo quando $Y$ não é projetivo.
• Feixes Quasi-localmente Livres: O artigo estende a teoria de feixes quasi-localmente livres (aqueles localmente isomorfos a somas diretas de feixes estrutura de vizinhanças infinitesimais) para dimensões superiores. Prova-se que, em uma família plana de tais feixes com tipo constante, as filtrações canônicas formam famílias planas elas mesmas.
• Feixes Balanceados:
  • O conceito de feixes balanceados é introduzido como uma generalização natural de fibrados vetoriais.
  • Prova-se que a propriedade de ser balanceado é aberta em famílias planas sobre uma curva suave.
  • Para esquemas duplos primitivos ($n=2$), o artigo caracteriza feixes balanceados via a surjetividade de morfismos específicos entre componentes graduadas da filtração canônica.
  • Um resultado de fechamento é estabelecido: dado uma família plana de feixes sem torção em uma superfície $X$, o locus de pontos onde o feixe pode ser estendido para um feixe balanceado no esquema duplo $X_2$ é fechado.
• Módulos de Feixes Ideais em Superfícies Duplas:
  • O artigo foca no caso mais simples de feixes balanceados não localmente livres em uma superfície dupla primitiva $X_2$: aqueles cuja restrição a $X$ é o feixe ideal de um ponto $P$.
  • Mostra-se que, para um ponto $P$ fixo, o conjunto de tais feixes ideais forma um espaço afim com o espaço vetorial associado $T_{X,P} \otimes L$ (onde $L$ é o feixe de linhas associado a $Y$).
  • Globalmente, o conjunto $\mathcal{I}$ de todos esses feixes forma um fibrado afim sobre $X$ com o fibrado vetorial associado $T_X \otimes L$.
  • O artigo constrói uma família universal destes feixes ideais parametrizada por $\mathcal{I}$.
• Espaços de Módulos Finos: Ao combinar o fibrado afim de feixes ideais com o grupo de Picard de $X_2$, o artigo constrói um espaço de módulos fino $\mathcal{I}(X_2) \cong \mathcal{I} \times \text{Pic}(X_2)$ para feixes da forma $I \otimes D$. A estrutura deste espaço de módulos é descrita em termos de fibrados afins sobre a base $X \times \Gamma(X_2)$, onde $\Gamma(X_2)$ é o subgrupo de feixes de linhas em $X$ extensíveis para $X_2$.

Significância e Alegações
O artigo alega fornecer o arcabouço fundamental para o estudo de feixes coerentes em esquemas múltiplos primitivos, uma classe de esquemas singulares que surgem naturalmente na teoria de deformação, mas que frequentemente carecem de embutimentos projetivos globais.

• Generalização: O trabalho generaliza resultados anteriores sobre curvas múltiplas primitivas (estudadas em referências [17], [2], [3], etc.) para dimensões arbitrárias.
• Teoria de Módulos: Estende a construção de espaços de módulos finos de fibrados vetoriais (previamente descritos em [15]) para a categoria mais ampla de feixes balanceados e feixes sem torção.
• Novos Invariantes: A introdução de polinômios de Hilbert reduzidos e classes de Chern permite a aplicação de técnicas de estabilidade e módulos a esquemas que não são quasi-projetivos.
• Aplicações Específicas: A análise detalhada de feixes ideais em superfícies duplas fornece exemplos concretos de espaços de módulos que são fibrados afins, ligando a geometria do espaço de módulos diretamente ao fibrado tangente do suporte e ao feixe de linhas associado.

O artigo não alega resolver o problema de módulos geral para todos os feixes coerentes em esquemas múltiplos primitivos, mas estabelece as definições, invariantes e resultados estruturais necessários para classes específicas e importantes (feixes quasi-localmente livres e balanceados), permitindo assim o estudo posterior de seus espaços de módulos.