Generalized determinantal representation of hypersurfaces

Resumo Técnico: Representação Determinantal Generalizada de Hipersuperfícies

Autores: A. El Mazouni, D. S. Nagaraj e Supravat Sarkar.
Contexto: Geometria Algébrica Complexa, Teoria de Feixes Vetoriais, Loci de Degenerescência.

1. O Problema e o Objetivo

O artigo aborda a generalização do conceito clássico de representação determinantal de polinômios homogêneos (onde uma curva ou hipersuperfície é definida como o lugar de zeros do determinante de uma matriz de polinômios) para o contexto de seções de fibrados de linha de determinante de fibrados vetoriais em variedades projetivas.

O problema central é identificar sob quais condições uma hipersuperfície (especificamente curvas em $\mathbb{P}^2$) pode ser obtida como o lugar de degenerescência (locus de degenerescence) de um conjunto de seções holomorfas de um fibrado vetorial. Mais especificamente, os autores investigam a existência de fibrados vetoriais "abundantes" (abundant), definidos como aqueles cujas seções podem gerar, via automorfismos da variedade, quase todas as curvas de um determinado grau.

2. Metodologia

A abordagem combina técnicas de geometria algébrica clássica e moderna:

• Definição de Abundância: Um fibrado vetorial $E$ de posto $d$ em uma variedade $X$ com fibrado de linha amplo $H$ é chamado $H$-abundante se, para $m \gg 0$, quase todo membro $D$ do sistema linear completo dado por $\det E(mH)$ for o lugar de degenerescência de $d$ seções de $E(mH)$, a menos de um automorfismo de $X$.
• Análise de Loci de Degenerescência: Utilização de sequências exatas de fibrados vetoriais para construir exemplos explícitos. Os autores analisam como seções de fibrados vetoriais se relacionam com polinômios homogêneos através de mapas de avaliação e sequências de Koszul.
• Teoria de Variedades de Grassmann: Estudo de subespaços de dimensão 2 em espaços de seções globais ($H^0$) e a aplicação de mapas racionais de Grassmannianos para espaços projetivos de curvas.
• Cálculo de Dimensões e Teorema de Riemann-Roch: Uso de fórmulas assintóticas de Riemann-Roch para limitar a dimensão de variedades que admitem fibrados abundantes, comparando o crescimento do número de seções globais com a dimensão do grupo de automorfismos.
• Análise de Aplicabilidade Linear: Uso de mapas tangentes em variedades não singulares para provar dominância de mapas racionais, estabelecendo a existência de representações para curvas genéricas.

3. Principais Contribuições e Resultados

A. Generalização do Conceito e Exemplos em $\mathbb{P}^2$:
Os autores provam a existência de fibrados vetoriais indecomponíveis e abundantes no plano projetivo complexo $\mathbb{P}^2$, estendendo resultados anteriores que focavam apenas em fibrados split (somatórios diretos).

• Teorema 1.1: O fibrado vetorial de posto 2 $N$, obtido como quociente de $\mathcal{O}_{\mathbb{P}^2}^2 \oplus \mathcal{O}_{\mathbb{P}^2}(1)$ pelo subfibrado gerado por $(x, y, z^2)$, é abundante.
• Teorema 1.2: Os fibrados de syzygy $M_k$ (definidos como o núcleo dual do mapa de avaliação $H^0(\mathcal{O}(k)) \otimes \mathcal{O} \to \mathcal{O}(k)$) são abundantes para todo $k \geq 1$. Nota-se que $M_k$ é estável e indecomponível.
• Corolário 1.3: Os fibrados tangente e cotangente de $\mathbb{P}^2$ são abundantes.
• Corolário 1.4 (Principal): Para qualquer inteiro $d \geq 1$, existe um fibrado vetorial indecomponível $E_d$ de posto 2 em $\mathbb{P}^2$ tal que quase todas as curvas de grau $d$ em $\mathbb{P}^2$ surgem como o lugar de degenerescência de um par de seções holomorfas de $E_d$ (a menos de automorfismo de $\mathbb{P}^2$).

B. Restrições na Existência de Fibrados Abundantes:
O artigo estabelece limites rigorosos sobre quais variedades podem suportar tais fibrados.

• Teorema 1.6: Se uma variedade projetiva suave $X$ de dimensão $n$ admite um fibrado semi-abundante, então $n \leq 2$.
  • Se $n=2$, o invariante de Kodaira $\kappa(X)$ deve ser $-\infty$ ou $0$ (com $X$ minimal).
  • Se $X$ admite um fibrado abundante (não apenas semi-abundante), então $-K_X$ é racionalmente efetivo (o cone de Mori contém $-K_X$).

C. Exemplos em Outras Variedades:

• Teorema 1.7: O fibrado trivial de posto 2 em $\mathbb{P}^1 \times \mathbb{P}^1$ é semi-abundante. Fibrados restritos a curvas suaves projetivas em $\mathbb{P}^2$ ou $\mathbb{P}^1 \times \mathbb{P}^1$ herdam propriedades de abundância sob certas condições.

D. Aplicação Algébrica (Teorema 4.1):
Os resultados geométricos são aplicados à álgebra comutativa. Os autores provam que, para um conjunto genérico de polinômios homogêneos satisfazendo certas condições de disjunção de lugares de zeros, o mapa linear induzido pela multiplicação de polinômios é sobrejetor. Isso fornece limites superiores explícitos para o número de passos necessários para que potências do ideal maximal estejam contidas em ideais gerados por polinômios específicos, refinando resultados clássicos do Nullstellensatz efetivo.

4. Significância e Impacto

1. Expansão da Teoria de Representação Determinantal: O trabalho move a teoria além de fibrados split (que são triviais em muitos aspectos) para a classe rica e complexa de fibrados indecomponíveis e estáveis. Isso conecta a teoria de representações determinantis com a classificação de fibrados vetoriais em superfícies.
2. Caracterização de Variedades: O Teorema 1.6 fornece uma restrição geométrica forte, sugerindo que a propriedade de "abundância" é exclusiva de variedades com geometria simples (como $\mathbb{P}^2$, superfícies racionais ou com $\kappa=0$), excluindo variedades de tipo geral.
3. Conexão entre Geometria e Álgebra: A aplicação no Teorema 4.1 demonstra como propriedades geométricas de espaços de moduli de curvas e fibrados vetoriais podem resolver problemas concretos de álgebra comutativa, especificamente sobre a geração de ideais e limites de graus.
4. Construção Explícita: Ao fornecer exemplos concretos (como $N$ e $M_k$) e descrever explicitamente os mapas determinantes, o artigo oferece ferramentas computacionais e teóricas para construir curvas algébricas a partir de dados de fibrados vetoriais.

Em suma, o artigo estabelece uma ponte profunda entre a teoria de fibrados vetoriais em superfícies projetivas e a representação de hipersuperfícies, provando que a geometria de curvas genéricas pode ser totalmente capturada pela degenerescência de seções de fibrados vetoriais específicos e indecomponíveis.