Picard bundles and the degree of irrationality of Jacobians

Resumo Técnico: Fibrados de Picard e o Grau de Irracionalidade de Jacobianas

Enunciado do Problema
O artigo aborda o problema de limitar o grau de irracionalidade ($\text{irr}(X)$) das variedades de Jacobiana $J_C$ associadas a curvas projetivas lisas $C$ de gênero $g \ge 2$. O grau de irracionalidade é definido como o grau mínimo de um mapa racional dominante de $X$ para o espaço projetivo $\mathbb{P}^{\dim(X)}$. Embora limites inferiores para variedades abelianas de dimensão $\ge 3$ sejam conhecidos, limites superiores relevantes permanecem elusivos. O limite superior padrão para Jacobianas, derivado pela simetrização de um mapa $C \to \mathbb{P}^1$, resulta em $\text{irr}(J_C) \le \text{gon}(C)^g \le \lfloor \frac{g+3}{2} \rfloor g$. Os autores visam melhorar este limite investigando as propriedades de positividade de fibrados vetoriais específicos.

Metodologia
Os autores empregam uma abordagem geométrica centrada nos fibrados de Picard e seu comportamento no produto simétrico $C^{(g)}$. A metodologia procede em três etapas principais:

1. Construção de Fibrados de Picard Torcidos:
   Os autores consideram o fibrado de Picard $F$ de posto $g$ na Jacobiana $J_C$, cuja fibra sobre $\alpha \in J_C$ é identificada com $H^1(C, \mathcal{O}_C(-p_0) \otimes \alpha) Eles puxam este fibrado de volta para o produto simétrico$g$-fold $C^{(g)}$ via o mapa de Abel–Jacobi $\pi: C^{(g)} \to J_C$. Uma etapa chave é torcer este pullback pelo divisor $x = p_0 + C^{(g-1)} \subset C^{(g)}$ para definir um novo fibrado vetorial $\tilde{F} := \pi^*F \otimes \mathcal{O}_{C^{(g)}}(x)$.

2. Análise de Geração Global e Seções:
   Utilizando resultados sobre a geração de fibrados de Picard (referenciando especificamente [Par24]), os autores provam que $\tilde{F}$ é globalmente gerado. Eles analisam os sistemas lineares gerados pelos mapas de determinante das seções de $\tilde{F}$ e $F(\Theta)$. Um componente crucial da análise envolve identificar as seções globais de $\tilde{F}$ com as de $F(\Theta)$ e descrever seus lugares de anulamento em termos de divisores da forma $p + C^{(g-1)}$.

3. Aplicação da Teoria de Fibrados de Núcleo:
   Os autores utilizam uma correspondência estabelecida em [Mor23] entre mapas racionais dominantes $X \dashrightarrow \mathbb{P}^n$ e "pares bons" consistindo de um feixe reflexivo e um subespaço linear de suas seções globais. Especificamente, eles aplicam o Lema 2.2, que afirma que se $X$ é uma variedade projetiva lisa de dimensão $n$ carregando um fibrado vetorial globalmente gerado $E$ de posto $n$ com $c_n(E) > 0$, então um subespaço linear geral $V^\vee \subset H^0(E)$ induz um mapa racional dominante de grau igual à classe de Chern superior $c_n(E)$.

Contribuições e Resultados Chave

• Geração Global e Cálculo da Classe de Chern:
  O resultado técnico primário é a Proposição 3.3, que estabelece que o fibrado torcido $\tilde{F}$ em $C^{(g)}$ é globalmente gerado. Além disso, os autores calculam a classe de Chern superior deste fibrado:
  $$c_g(\tilde{F}) = 2g$$
  Este cálculo baseia-se no princípio de splitting e em fórmulas conhecidas para as classes de cohomologia do pullback do divisor theta e do divisor $x$.

• Limite Superior no Grau de Irracionalidade:
  Combinando a geração global de $\tilde{F}$ com o princípio geral de [Mor23] (Corolário 2.3), os autores derivam o teorema principal:
  Teorema A: Para qualquer curva lisa $C$ de gênero $g \ge 2$, o grau de irracionalidade de sua Jacobiana satisfaz:
  $$\text{irr}(J_C) \le 2g$$
  Isso melhora o limite anteriormente conhecido de $\lfloor \frac{g+3}{2} \rfloor g$ para $g \ge 2$.

• Realização Geométrica dos Mapas:
  O artigo fornece uma descrição geométrica concreta dos mapas racionais $J_C \dashrightarrow \mathbb{P}^g$ construídos via este método. Estes mapas surgem de projeções lineares da Jacobiana embutida em $|(g+1)\Theta|^\vee$. Geometricamente, para um ponto geral $p_1 + \dots + p_g \in C^{(g)}$, o mapa envia este ponto para a interseção de um subespaço linear fixo $\mathbb{P}^g \subset \mathbb{P}^{2g-1}$ com o envoltório linear $\langle j(p_1), \dots, j(p_g) \rangle$, onde $j: C \hookrightarrow \mathbb{P}^{2g-1}$ é o embutimento definido pelo sistema linear $|\omega_C((g+1)p_0)|$.

• Rigidez e Casos Especiais:
  Os autores observam que os mapas racionais construídos não são rígidos; eles formam uma grande família parametrizada por um subconjunto aberto da Grassmanniana $\text{Gr}(g+1, 2g)$. No caso específico de gênero $g=2$, o Lema 4.1 demonstra que para cada escolha do subespaço $V^\vee \in \text{Gr}(3, H^0(\tilde{F}))$, o mapa induzido é dominante de grau exatamente 4. Isso sugere que o limite $2g$ é agudo para $g=2$ e que o grau não cai para escolhas especiais do subespaço neste caso.

Significância
O artigo reivindica significância ao fornecer um novo limite superior mais apertado para o grau de irracionalidade de variedades de Jacobiana, um problema que tem visto progresso limitado em relação a limites superiores para variedades abelianas de dimensão $\ge 3$. O trabalho faz a ponte entre o estudo de fibrados de Picard, locais de Brill–Noether e a geometria birracional de variedades abelianas. Ao demonstrar que as propriedades de positividade de fibrados de Picard torcidos em produtos simétricos podem ser aproveitadas para construir mapas racionais de baixo grau, os autores oferecem uma abordagem nova para limitar a irracionalidade. Os autores afirmam explicitamente que abordarão a perspectiva geométrica para produtos simétricos arbitrários e locais de Brill–Noether em trabalhos futuros, indicando que os resultados atuais são um passo fundamental nessa direção.