On the discriminant locus of a generic projection

1. Problema e Motivação

O artigo investiga a geometria e a topologia do lugar discriminante (ou lugar crítico) associado a uma projeção genérica de uma variedade projetiva suave $X \subset \mathbb{P}^N$ sobre um corpo algebricamente fechado de característica zero.

• Contexto Clássico: A teoria clássica de Lefschetz estuda o "pincel" (pencil) de seções hiperplanas de $X$, onde o lugar discriminante é um conjunto finito de pontos em $\mathbb{P}^1$. A teoria de monodromia de Picard-Lefschetz relaciona o grupo fundamental do complemento desses pontos com grupos de tranças (braid groups).
• Generalização: Os autores buscam generalizar essa investigação para um "pincel" de dimensão superior (um "pente" ou net de dimensão $k$) e, mais amplamente, para sistemas lineares de dimensão superior. Isso corresponde a estudar projeções genéricas $\pi: X \dashrightarrow \mathbb{P}^k$ (onde $k \geq 1$).
• Questão Central: Como caracterizar o lugar discriminante $\Delta$ dessa projeção genérica? Especificamente, quais são suas propriedades de dualidade projetiva, pureza (dimensão e irreducibilidade), grau e singularidades? Além disso, qual é a relação entre o grupo fundamental do complemento de $\Delta$ e os grupos de tranças?

2. Metodologia

Os autores utilizam uma combinação de dualidade projetiva, teoria de interseção e topologia algébrica. A estrutura metodológica baseia-se nos seguintes pilares:

1. Dualidade Projetiva e Variedades Conormais:

   • Estabelecem uma correspondência entre a projeção genérica de $X$ e uma seção linear da variedade dual $X^\vee$.
   • Utilizam a variedade conormal $N^*_{\mathbb{P}^N}X$ e a propriedade de reflexividade (dualidade bidual) para relacionar o lugar crítico da projeção de $X$ com a dualidade de seções lineares de $X^\vee$.
   • Introduzem o conceito de lugar discriminante suave ($\Delta(\pi)$), definido como a imagem do lugar crítico suave, distinguindo-o do discriminante de Fitting (que inclui imagens de singularidades do espaço total).

2. Fatoração de Projeções:

   • Decompõem a projeção genérica de $X \to \mathbb{P}^k$ em uma sequência de projeções sucessivas para hiperplanos. Isso permite aplicar indução e teoremas de pureza (Zariski-Nagata) passo a passo.

3. Teoria de Monodromia e Grupos de Tranças:

   • Para variedades sobre $\mathbb{C}$, analisam o grupo fundamental do complemento do divisor de ramificação.
   • Utilizam a teoria de recobrimentos finitos ramificados e a ação de monodromia sobre as fibras para construir homomorfismos para grupos de tranças ($B_m$).

3. Contribuições e Resultados Principais

O artigo apresenta quatro contribuições teóricas fundamentais:

A. Dualidade do Lugar Discriminante (Teorema 1.3 / 4.1)

Os autores provam que o lugar discriminante $\Delta$ de uma projeção genérica $\pi: X \dashrightarrow \mathbb{P}^k$ é projetivamente dual a uma seção linear geral da variedade dual $X^\vee$.

• Resultado Formal: Seja $V \subset (\mathbb{P}^N)^\vee$ um subespaço linear geral de dimensão $k$. A projeção genérica de $X$ para $\mathbb{P}^k$ tem um lugar discriminante $\Delta$ tal que sua variedade dual $\Delta^\vee$ é isomorfa à interseção $X^\vee \cap V$.
• Implicação: Isso estabelece uma dualidade perfeita entre a família de seções lineares de $X$ e a família de projeções genéricas de $X$.

B. Pureza do Lugar Discriminante (Teorema 1.4 / 5.3)

O artigo estabelece um teorema de pureza para o discriminante de projeções dominantes:

• O lugar discriminante $\Delta$ é ou uma hipersuperfície irredutível, ou uma união finita de hiperplanos, ou vazio.
• A condição depende do códigofício da variedade dual $X^\vee$:
  • Se $\text{codim}(X^\vee) < k$: $\Delta$ é uma hipersuperfície irredutível.
  • Se $\text{codim}(X^\vee) = k$: $\Delta$ é uma união de hiperplanos.
  • Se $\text{codim}(X^\vee) > k$: $\Delta$ é vazio (o que implica que a projeção é suave, caracterizando variedades "dual-defectivas").
• Isso generaliza o teorema de pureza de Zariski-Nagata para o contexto de projeções genéricas.

C. Grau do Discriminante e Lócus Polar (Proposição 1.7 / Seção 8)

Os autores conectam o grau do lugar discriminante à teoria de interseção clássica:

• O lugar discriminante suave é a imagem projetiva do lócus polar (polar locus).
• Eles derivam uma fórmula explícita para o grau do discriminante $\Delta_k$ usando classes de interseção na variedade conormal:
  $$\deg(\Delta_k) = \int_{N^*_{\mathbb{P}^N}X} \pi_1^* H^{k-1} \cdot \pi_2^* (H_1)^{N-k}$$
  onde $H$ e $H_1$ são classes de hiperplano em $\mathbb{P}^N$ e $(\mathbb{P}^N)^\vee$, respectivamente.
• Isso recupera resultados clássicos sobre o grau de lócus polares e permite calcular o número de nós e cúspides em curvas discriminantes (ex: projeção de superfícies para $\mathbb{P}^2$).

D. Monodromia e Grupos de Tranças (Teorema 1.8 / Seção 9)

Para variedades sobre $\mathbb{C}$, os autores demonstram resultados fortes sobre a topologia do complemento do discriminante:

• Seja $Y \subset \mathbb{P}^{N+1}$ uma hipersuperfície normal de grau $m$. A projeção genérica $Y \to \mathbb{P}^N$ tem um divisor de ramificação $\Delta$ de grau $m(m-1)$.
• Existe um homomorfismo sobrejetor do grupo fundamental do complemento de $\Delta$ para o grupo de tranças de $m$ pontos:
  $$\pi_1(\mathbb{P}^N \setminus \Delta, *) \twoheadrightarrow B_m$$
• Se $Y$ é a variedade dual de uma variedade suave $X$, então o grupo fundamental do complemento de $X^\vee$ também sobrepõe o grupo de tranças.

4. Exemplos e Aplicações

O artigo ilustra a teoria com exemplos concretos:

• Superfície de Veronese: Analisam a projeção da superfície de Veronese $v_2(\mathbb{P}^2) \subset \mathbb{P}^5$. Mostram como as seções lineares sucessivas da variedade dual (uma hipersuperfície cúbica singular) correspondem aos lugares discriminantes das projeções sucessivas de $v_2(\mathbb{P}^2)$ para dimensões menores.
• Curvas e Superfícies: Calculam explicitamente o número de nós ($\delta$) e cúspides ($\kappa$) da curva discriminante de uma projeção genérica de uma superfície suave para $\mathbb{P}^2$, utilizando fórmulas de Plücker e dualidade.
• Três-variedade Elíptica: Estudam a projeção da imagem de Veronese de $\mathbb{P}^3$, mostrando que o discriminante é uma curva irredutível de grau 12, e recuperam o posto do grupo de Mordell-Weil da fibratura elíptica associada.

5. Significado e Impacto

• Unificação Teórica: O trabalho unifica a teoria de pincéis de Lefschetz (dimensão 1) com sistemas lineares de dimensão superior, fornecendo uma estrutura dual clara para o estudo de singularidades de projeções.
• Generalização de Resultados Clássicos: Estende teoremas conhecidos sobre dualidade e pureza para variedades normais e projeções dominantes, lidando com casos onde o espaço total pode não ser suave (embora o discriminante suave capture a geometria principal).
• Conexão Topológica: A demonstração da sobrejetividade para grupos de tranças em contextos de projeções genéricas de hipersuperfícies normais abre novas vias para o estudo do grupo fundamental de complementos de variedades singulares, conectando geometria algébrica complexa com teoria de nós e tranças.
• Ferramentas Computacionais: As fórmulas para o grau e as singularidades do discriminante fornecem ferramentas práticas para cálculos em geometria enumerativa e teoria de moduli (ex: compactificações de GIT de hipersuperfícies cúbicas).

Em resumo, o artigo fornece uma base rigorosa e generalizada para entender como a geometria de uma variedade projetiva se manifesta através de suas projeções genéricas, revelando uma profunda simetria entre o espaço original, sua dual e o lugar discriminante resultante.