Preservation of stability under the Fourier-Mukai transform whose kernel is the Poincare line bundle

Resumo Técnico: Preservação da Estabilidade sob a Transformada de Fourier-Mukai

Enunciado do Problema
O artigo aborda o comportamento da estabilidade de Gieseker para feixes coerentes em uma superfície abeliana $X$ sob a transformada de Fourier-Mukai $\Phi_{P^\vee}: D(X) \to D(\hat{X})$, onde o núcleo é o feixe de linha dual de Poincaré $P$. Embora a transformada de Fourier-Mukai induza uma equivalência de categorias derivadas, ela não preserva, em geral, a estabilidade de feixes. Trabalhos anteriores (especificamente [16]) estabeleceram a preservação da estabilidade para superfícies abelianas com número de Picard $\rho(X)=1$. Este artigo estende a investigação para o caso geral onde o número de Picard $\rho(X) \geq 1$, visando identificar condições sob as quais a transformada de um feixe estável geral permanece estável (possivelmente após um deslocamento ou dualização) em relação a um divisor amplo adequado na superfície dual $\hat{X}$.

Um foco secundário é a propriedade de Brill-Noether fraca, que afirma a existência de um feixe em um espaço de módulos com no máximo um grupo de cohomologia não nulo. O autor observa que essa propriedade falha em geral quando o stack de módulos é redutível e a polarização está próxima da fronteira do cone amplo. O artigo busca estabelecer condições onde essa propriedade se mantém para um divisor amplo fixo.

Metodologia
A principal ferramenta empregada é a teoria das condições de estabilidade de Bridgeland na categoria derivada $D(X)$. O autor analisa o comportamento de "travessia de paredes" (wall-crossing) das condições de estabilidade no espaço $\text{Stab}(X)$.

1. Condições de Estabilidade Geométricas: O estudo foca na linha $L = \{(0, tH) \mid t > 0\}$ no espaço de parâmetros de estabilidade, correspondente às condições de estabilidade geométricas $\sigma_{(0, tH)}$.
2. Paredes Totalmente Semiestáveis: O autor investiga "paredes totalmente semiestáveis", definidas como paredes onde os espaços de módulos de objetos estáveis de ambos os lados são disjuntos. Essas paredes correspondem a decomposções do vetor de Mukai $v$ em vetores isotrópicos.
3. Análise de Travessia de Paredes: Ao rastrear o comportamento de um objeto estável geral $E$ conforme o parâmetro $t$ varia ao longo da linha $L$, o artigo determina quando $E$ transita de um feixe livre de torção para um complexo com cohomologia no grau $-1$ (ou vice-versa).
4. Compatibilidade de Fourier-Mukai: O artigo utiliza a isometria conhecida da rede de Mukai induzida por $\Phi$ e lemas específicos (por exemplo, Lema 1.2) sobre como $\Phi$ atua em feixes semiestáveis com vetores de Mukai isotrópicos. O argumento central envolve mostrar que, para um feixe estável geral $E$, sua transformada $\Phi(E)$ (ou $\Phi(E)[1]$) permanece um feixe coerente e é estável em relação a uma polarização específica $L'$ em $\hat{X}$.

Principais Contribuições e Resultados

1. Teorema Principal sobre Preservação de Estabilidade (Teorema 0.1 / Teorema 3.12)
O artigo estabelece condições sob as quais a transformada de Fourier-Mukai preserva a estabilidade para um feixe geral $E$ no stack de módulos $M_L(v)$, onde $v=(r, \xi, a)$ é um vetor de Mukai com $r>0$ e $(\xi \cdot H) > 0$. Seja $\ell = \langle v^2 \rangle / 2$.

• Caso $a > 0$: Se $X$ não é um produto de curvas elípticas ou $\xi$ não é primitivo, existem divisores amplos $L$ e $L'$ tais que $\Phi(E)^\vee$ é $L'$-estável para um $E \in M_L(v)$ geral.
• Caso $a \leq 0$: Excluindo casos excepcionais específicos envolvendo curvas elípticas (ex: $v = (\ell, kC, -1)$), existem divisores amplos $L$ e $L'$ tais que $\Phi(E)[1]$ é $L'$-estável para um $E \in M_L(v)$ geral.

2. Propriedade de Brill-Noether Fraca (Proposição 0.2 / Proposição 3.16)
O autor prova que, para qualquer vetor de Mukai $v=(r, \xi, a)$ com $r>0$, $(\xi \cdot H) > 0$ e $\langle v^2 \rangle \geq 0$, existe um divisor amplo $L$ tal que a propriedade de Brill-Noether fraca se mantém para $M_L(v)$. Especificamente, existe um feixe $E \in M_L(v)$ possuindo no máximo um grupo de cohomologia não nulo. Este resultado é derivado diretamente dos resultados de preservação de estabilidade, que garantem que a transformada cai no coração da categoria derivada (ou seja, é um feixe) para um objeto geral.

3. Irredutibilidade e Independência de Polarização (Corolário 0.3)
Sob a suposição de que o stack de módulos $M(v)$ é irredutível (o que ocorre se $v$ é primitivo e certas condições numéricas são atendidas, ex: $\langle v^2 \rangle \geq 2r, 2a$), o artigo mostra que a preservação da estabilidade ocorre em relação à polarização naturalmente associada $\hat{H}$ na superfície dual, sem a necessidade de ajustar a polarização em $X$.

4. Caso Específico: Divisores Amplos da Forma $dH$ (Teorema 0.4 / Teorema 3.24)
Quando o vetor de Mukai é da forma $v=(r, dH, a)$:

• Se $d \geq 0$, a propriedade de Brill-Noether fraca se mantém.
• Se $d < 0$, a propriedade se mantém, a menos que $v$ assuma uma forma excepcional específica relacionada a inteiros negativos e curvas elípticas.
  Esta seção também fornece uma caracterização de quando um feixe $aCM$ (arithmetically Cohen-Macaulay) existe para um dado vetor de Mukai (Corolário 3.25).

Significância e Alegações
O artigo afirma generalizar resultados anteriores sobre a preservação de estabilidade do caso de número de Picard 1 para superfícies abelianas arbitrárias. Ao utilizar a estabilidade de Bridgeland e analisar a travessia de paredes ao longo de uma linha específica no manufólio de estabilidade, o autor fornece um método construtivo para encontrar polarizações que preservam a estabilidade sob a transformada de Fourier-Mukai.

O autor afirma explicitamente que estes resultados resolvem a propriedade de Brill-Noether fraca para divisores amplos fixos, contrastando com achados anteriores (ex: em [6]) onde a propriedade falha para certos stacks de módulos redutíveis ou polarizações próximas da fronteira do cone amplo. O trabalho refina a compreensão da geometria dos espaços de módulos de feixes em superfícies abelianas e seu comportamento sob equivalências derivadas.

Limitações e Exceções
O artigo nota cuidadosamente casos excepcionais onde os teoremas gerais não se aplicam, envolvendo primariamente:

• Produtos de curvas elípticas.
• Vetores primitivos $\xi$ em configurações específicas.
• Vetores de Mukai da forma $(\ell, kC, -1)$ ou $(1, kC, -\ell)$ onde $C$ é uma curva elíptica e $k \geq \ell + 1$.
  Nesses casos excepcionais, a transformada frequentemente resulta em um feixe coerente com torção em vez de um felete estável, ou a estrutura do espaço de módulos impede a preservação padrão da estabilidade.