Nef and Effective cones of some Quot Schemes

Resumo Técnico: Cones Nef e Efetivo de Certos Esquemas Quot

1. Problema e Contexto

O artigo investiga a geometria biracional de esquemas Quot sobre curvas projetivas suaves de gênero $g \geq 2$. Especificamente, os autores focam no esquema Quot $Q_L = \text{Quot}_{C/\mathbb{C}}(\mathcal{O}_C^{\oplus r}, k, d)_L$, que parametriza quocientes de posto $k$ e grau $d$ do fibrado trivial de posto $r$ ($\mathcal{O}_C^{\oplus r}$), com a restrição de que o feixe quociente tenha determinante fixo $L$ (um fibrado de linha de grau $d$).

Contexto Histórico:

• Para a curva racional $C \cong \mathbb{P}^1$, a geometria desses esquemas é bem compreendida (Stromme, Jow, Venkatesh, Ito), com cones nef, efetivos e móveis totalmente calculados.
• Para curvas de gênero $g \geq 2$, resultados anteriores (Popa-Roth, Gangopadhyay-Sebastian [GS24]) estabeleceram que, para $d \gg 0$, o esquema Quot é integral, localmente completo intersecção, normal e localmente fatorial, com grupo de Picard de posto 2.
• Questão Central: O artigo busca generalizar os resultados de $\mathbb{P}^1$ para curvas de gênero superior, calculando explicitamente o cone nef, o cone efetivo e o divisor canônico de $Q_L$, e determinando sob quais condições a variedade é Fano.

2. Metodologia

Os autores utilizam uma combinação de técnicas de geometria algébrica, teoria de moduli e geometria biracional:

1. Construção de Classes de Divisores:

   • Classe $\alpha$: Definida via uma aplicação natural $f: Q_L \to \mathbb{P}(E_L^\vee)$, onde $E_L$ é um fibrado vetorial sobre o espaço de Picard. $\alpha$ é o pullback do feixe $\mathcal{O}_{\mathbb{P}}(1)$.
   • Classe $\beta_{d+g-1}$: Definida como o determinante de um fibrado vetorial construído via imagem direta (pushforward) de feixes universais tensorizados com um fibrado de linha genérico de grau $d+g-1$.

2. Construção de Curvas Teste:
   Para determinar os cones e as relações de interseção, os autores constroem curvas específicas dentro de $Q_L$ (ou em seus abertos densos):

   • $D_1$: Uma curva associada a uma família de quocientes onde o núcleo é modificado em um ponto fixo da curva $C$.
   • $D_2$: Uma curva associada a uma família de quocientes onde o núcleo é modificado globalmente (relacionada a linhas em espaços projetivos de seções).
   • $D_3$ e $D_4$: Curvas construídas dentro do locus de quocientes estáveis, utilizando fibrados estáveis de posto $r-k$ e $k$, respectivamente. Essas curvas são cruciais para analisar o comportamento do mapa de determinação para os espaços de moduli de fibrados estáveis.

3. Cálculo de Interseções e Determinantes:

   • Calculam os produtos de interseção entre as classes de divisores ($\alpha, \beta$) e as curvas teste ($D_i$).
   • Determinam o divisor canônico $\omega_{Q_L}$ calculando o determinante do fibrado tangente (ou cotangente) restrito às curvas teste, utilizando sequências exatas universais e sequências de cohomologia.

4. Análise de Limites de Cones:

   • Utilizam o fato de que o locus de quocientes instáveis tem codimensão $\geq 2$ para estender propriedades de feixes de linhas de abertos densos para toda a variedade.
   • Relacionam os limites do cone efetivo com os pullbacks dos divisores amplos dos espaços de moduli de fibrados estáveis ($M_s$).

3. Contribuições e Resultados Principais

Sob as hipóteses de que $d \gg 0$ e que o par $(g, k)$ satisfaz ($g \geq 3, 2 \leq k \leq r-2$) ou ($g=2, 3 \leq k \leq r-2$), os principais resultados são:

A. Estrutura do Grupo de Picard e Cone Nef

• O grupo de Picard $\text{Pic}(Q_L)$ é gerado por duas classes de fibrados de linha: $\alpha$ e $\beta_{d+g-1}$.
• Ambas as classes são globalmente geradas e, portanto, nef, mas não são amplas.
• O cone nef é dado por:
  $$\text{Nef}(Q_L) = \mathbb{R}_{\geq 0}\alpha + \mathbb{R}_{\geq 0}\beta_{d+g-1}$$
• As fronteiras do cone de curvas efetivas são dadas pelas classes das curvas $D_1$ e $D_2$.

B. Cone Efetivo e Cone Móvel

• O cone efetivo $\text{Eff}(Q_L)$ é gerado pelas classes:
  $$\theta_1 = d(k+1)\alpha - k\beta_{d+g-1}$$
  $$\theta_2 = -d(r-k-1)\alpha + (r-k)\beta_{d+g-1}$$
• O cone efetivo coincide com o cone móvel ($\text{Mov}(Q_L) = \text{Eff}(Q_L)$), indicando que a variedade possui uma estrutura de espaço de Mori bem-comportada (embora a questão se seja um "Mori Dream Space" permaneça aberta, a igualdade dos cones é um passo forte).

C. Divisor Canônico e Condição Fano

• O divisor canônico $\omega_{Q_L}$ é expresso como:
  $$\omega_{Q_L} = [d(r - 2k - 2) + r(g - 1)]\alpha + (2k - r)\beta_{d+g-1}$$
• Resultado Fano: A variedade $Q_L$ é Fano (isto é, $-\omega_{Q_L}$ é amplo) se e somente se:
  $$r = 2k + 1$$
  Esta condição é independente do grau $d$ (para $d$ suficientemente grande) e do gênero $g$, dependendo apenas da relação entre o posto do fibrado trivial e o posto do quociente.

4. Significado e Impacto

• Generalização de Resultados Clássicos: O trabalho estende a compreensão da geometria de esquemas Quot do caso racional ($\mathbb{P}^1$) para curvas de gênero arbitrário, preenchendo uma lacuna significativa na literatura.
• Resolução de Questões Abertas: Responde positivamente a perguntas levantadas por Pieter Belmans sobre quando esses esquemas são Fano, fornecendo uma condição necessária e suficiente precisa.
• Ferramentas para Geometria Biracional: A determinação explícita dos cones nef e efetivos é fundamental para estudar a biracionalidade, a decomposição de base estável e a existência de modelos minimais para essas variedades de moduli.
• Conexão com Espaços de Moduli: O artigo revela uma estrutura profunda onde os limites do cone efetivo de $Q_L$ são induzidos pelos divisores amplos dos espaços de moduli de fibrados estáveis, conectando a geometria do esquema Quot à teoria de moduli de fibrados vetoriais.

Em suma, o artigo fornece uma descrição completa da geometria biracional de esquemas Quot de posto fixo e determinante fixo sobre curvas de gênero alto, estabelecendo condições claras para propriedades como ser Fano e descrevendo explicitamente seus cones de divisores.