Groups generated by spherical twists on K3 surfaces and full exceptional collections on Fano threefolds

Resumo Técnico: Grupos Gerados por Torções Esféricas em Superfícies K3 e Coleções Excepcionais Completas em Trêsvariedades Fano

Enunciado do Problema
O artigo aborda dois problemas interconectados em geometria algébrica e categorias derivadas:

1. A descrição estrutural do subgrupo $G \subset \text{Aut}(\mathcal{D}^b(Y))$ gerado por todas as torções esféricas em uma superfície K3 suave $Y$ de rank de Picard 1. Especificamente, os autores buscam determinar se $G$ é um grupo livre, identificar seus geradores livres e estabelecer condições sob as quais $G$ é finitamente gerado.
2. A verificação do primeiro caso tridimensional da conjectura de Bondal-Polishchuk referente à transitividade da ação do grupo de tranças nas coleções excepcionais completas. A conjectura postula que o grupo de tranças $B_n$ age transitivamente no conjunto de coleções excepcionais completas de comprimento $n$ em uma categoria triangulada. Embora existam contraexemplos em geral, o status para categorias derivadas de variedades projetivas suaves permanece em aberto em dimensões superiores.

Metodologia
Os autores empregam uma síntese da teoria de categorias derivadas, condições de estabilidade e a teoria de grupos de Fuchs em o plano hiperbólico.

1. Condições de Estabilidade e Geometria de $\text{Stab}(Y)$:
   Baseando-se no trabalho fundamental de Bridgeland e Bayer-Bridgeland, os autores utilizam a contração do componente distinguido $\text{Stab}^\circ(Y)$ do espaço de condições de estabilidade em uma superfície K3 $Y$ de rank de Picard 1. Eles utilizem a sequência exata:
   $$1 \to \text{Aut}_0 \mathcal{D}^b(Y) \to \text{Aut} \mathcal{D}^b(Y) \to \text{Aut}^+ H^*(Y, \mathbb{Z}) \to 1$$
   onde $\text{Aut}^+ H^*(Y, \mathbb{Z})$ é o grupo de isometrias de Hodge que preservam a orientação. O núcleo $\text{Aut}_0$ é identificado com o grupo fundamental de um componente específico do espaço de estabilidade.

2. Redução a Grupos de Fuchs:
   Os autores mapeiam o problema para a geometria do semiplano superior $\mathbb{H}$. Eles identificam o quociente do espaço de estabilidade (modulo deslocamentos e automorfismos) com uma superfície de Riemann de orbifold $\mathbb{H}/\Gamma$, onde $\Gamma$ é um grupo de Fuchs (especificamente relacionado ao grupo de Atkin-Lehner $\Gamma_0^+(\delta)$).

• Objetos esféricos em $\mathcal{D}^b(Y)$ correspondem a "raízes" (vetores de quadrado $-2$) na rede de Mukai.
• Torções esféricas correspondem a reflexões através de hiperplanos ortogonais a essas raízes.
• O grupo $G$ gerado por torções esféricas é analisado via sua imagem $\bar{G}$ no grupo de reflexões esféricas agindo em $\mathbb{H}$.

3. Análise Topológica de Orbifolds:
   Usando a teoria de grupos fundamentais de orbifolds, os autores analisam o quociente $\mathbb{H}_0 / \bar{G}$, onde $\mathbb{H}_0$ é o plano hiperbólico com furos correspondentes às raízes. Eles demonstram que $\mathbb{H}_0 / \bar{G}$ é uma superfície de Riemann não compacta. Consequentemente, o grupo fundamental $\pi_1(\mathbb{H}_0 / \bar{G})$, que é isomorfo a $\bar{G}$, é um grupo livre.

4. Aplicação a Trêsvariedades Fano:
   Para abordar a conjectura de Bondal-Polishchuk, os autores consideram uma trêsvariedade Fano $X$ com uma coleção excepcional completa de comprimento 4. Eles restringem objetos excepcionais de $X$ para um divisor anticanônico genérico $Y \subset X$, que é uma superfície K3 de rank de Picard 1.

• Eles estabelecem um mapa $\phi$ de coleções excepcionais em $X$ para tuplas de torções esféricas em $Y$.
• Eles provam que $\phi$ entrelaça a ação de mutação do grupo de tranças $B_4$ em coleções em $X$ com a ação de Hurwitz de $B_4$ no grupo $G^4$.
• Como $G$ é mostrado ser um grupo livre de rank 4 nesses casos específicos, a transitividade e a liberdade da ação do grupo de tranças em $G^4$ (um resultado conhecido para grupos livres) implicam as propriedades correspondentes para as coleções excepcionais em $X$.

Contribuições Principais e Resultados

1. Estrutura do Grupo de Torção Esférica:

• Teorema 1.3: Para uma superfície K3 $Y$ de rank de Picard 1, o subgrupo $G \subset \text{Aut}(\mathcal{D}^b(Y))$ gerado por todas as torções esfécas é um grupo livre. Os geradores livres são explicitamente identificados como torções esféricas associadas a um conjunto específico de fibrados vetoriais esféricos (representantes de órbita da ação de $G$ sobre o conjunto de objetos esféricos).
• Teorema 1.4: O grupo $G$ é finitamente gerado se, e somente se, o grau $d = 2\delta$ da superfície K3 satisfaz $\delta \in \{1, 2, 3, 5, 7, 11, 17, 19, 23, 29, 31, 41, 47, 59, 71\}$. Para graus fora deste conjunto (por exemplo, $d=8$), o grupo é infinitamente gerado.
• Os autores fornecem uma receita precisa para encontrar esses geradores usando domínios fundamentais para a ação dos correspondentes grupos de reflexão no plano hiperbólico.

2. Resolução da Conjectura de Bondal-Polishchuk (Caso 3D):

• Teorema 1.5: Para qualquer trêsvariedade Fano $X$ de rank de Picard 1 admitindo uma coleção excepcional completa de quatro fibrados vetoriais (especificamente $X = \mathbb{P}^3, Q^3, V_5, V_{22}$), a ação do grupo de tranças $B_4 \ltimes \mathbb{Z}^4$ (mutações e deslocamentos) no conjunto de coleções excepcionais completas é transitiva e livre.
• Corolário 8.7: Além disso, toda coleção excepcional completa em tal $X$ consiste inteiramente em deslocamentos de fibrados vetoriais e é forte.

3. Classificação de Objetos Esféricos:
   A descrição de $G$ fornece uma classificação precisa de objetos esféricos em $\mathcal{D}^b(Y)$ até a ação do grupo gerado por torções esféricas e deslocamentos.

Significância
Os autores afirmam significância em duas áreas primárias:

• Categorias Derivadas de Superfícies K3: Fornece uma descrição estrutural completa do grupo gerado por torções esféricas, um objeto fundamental no estudo das autoequivalências de superfícies K3. Resolve a questão da geração finita, mostrando que ela depende estritamente das propriedades aritméticas do grau da superfície.
• Coleções Excepcionais em Trêsvariedades Fano: Resolve a primeira dimensão não trivial (dimensão 3) da conjectura de Bondal-Polishchuk. Ao reduzir o problema à ação de Hurwitz em um grupo livre, os autores contornam as dificuldades de analisar diretamente objetos excepcionais na dimensão 3, aproveitando a geometria bem compreendida da superfície K3 associada.

Os autores observam que, embora seus resultados confirmem a transitividade para essas trêsvariedades Fano específicas, eles não pretendem classificar todos os fibrados vetoriais excepcionais nessas variedades, nem excluem a existência de objetos excepcionais que não sejam deslocamentos de fibrados vetoriais (embora provem que coleções completas devem consistir em tais deslocamentos). O trabalho depende fortemente da contração do espaço de estabilidade para superfícies K3 de rank de Picard 1, um resultado estabelecido por Bayer e Bridgeland.