On the discriminant locus of a generic projection

Aquí presento un resumen técnico detallado del artículo "On the Discriminant Locus of a Generic Projection" (Sobre el Locus Discriminante de una Proyección Genérica) de Si-Yang Liu y Yilong Zhang.

1. Problema y Motivación

El artículo aborda la generalización de la teoría clásica de Lefschetz (que estudia haces de hiperplanos o "pencils" en variedades proyectivas) a sistemas lineales de dimensión superior, específicamente a proyecciones genéricas de una variedad proyectiva suave $X \subset \mathbb{P}^N$ hacia un espacio proyectivo de menor dimensión $\mathbb{P}^k$.

El problema central es caracterizar el locus discriminante ($\Delta$) de tales proyecciones. En el caso clásico de haces de Lefschetz ($k=1$), el discriminante corresponde a los puntos donde la sección hiperplana es singular. Para $k \geq 2$, la fibra de una proyección genérica es una sección lineal de codimensión superior, y la naturaleza del conjunto de puntos críticos (donde la proyección deja de ser un revestimiento étale o donde las fibras se vuelven singulares) es menos trivial.

Los autores buscan responder:

• ¿Cómo se caracteriza geométricamente el locus discriminante $\Delta$?
• ¿Cuál es su dimensión, irreducibilidad y grado?
• ¿Existe una relación de dualidad entre el discriminante de la proyección y la variedad dual de la variedad original?
• ¿Qué información topológica (grupos fundamentales) codifica el complemento de este discriminante?

2. Metodología

Los autores emplean una combinación de geometría algebraica clásica, teoría de dualidad proyectiva y topología algebraica.

• Dualidad Proyectiva y Variedades Conormales: Utilizan la correspondencia entre una variedad $X$ y su variedad dual $X^\vee$ (o $X^\perp$ en su notación), definida a través de la variedad conormal $N^\vee_{\mathbb{P}^N}X$. Establecen una relación directa entre las secciones lineales de $X$ y las proyecciones genéricas de $X^\vee$.
• Definición de Discriminante Suave: Introducen y refinan la noción de "discriminante suave" ($\Delta(\pi)$), definida como la imagen del locus crítico suave ($C(\pi)$). Esto difiere sutilmente del discriminante clásico definido por ideales de Fitting, especialmente cuando el espacio total tiene singularidades. Demuestran que para proyecciones genéricas de variedades normales, ambos conceptos coinciden ("discriminante limpio").
• Factorización de Proyecciones: Descomponen las proyecciones genéricas de dimensión superior en secuencias de proyecciones hacia hiperplanos, permitiendo aplicar resultados inductivos y teoremas de pureza.
• Monodromía de Trenzas: Para el caso sobre $\mathbb{C}$, utilizan la teoría de recubrimientos ramificados y la acción de monodromía sobre las fibras para relacionar el grupo fundamental del complemento del discriminante con grupos de trenzas ($B_m$).

3. Contribuciones Clave y Resultados Principales

A. Dualidad del Locus Discriminante (Teorema 1.3 / 4.1)

El resultado central establece una dualidad proyectiva precisa. Sea $X \subset \mathbb{P}^N$ una variedad proyectiva suave y $\pi: X \dashrightarrow \mathbb{P}^k$ una proyección genérica.

• El locus discriminante $\Delta$ de la proyección $\pi$ es proyectivamente dual a una sección lineal general de la variedad dual $X^\vee$.
• Formalmente, si identificamos el espacio dual de $\mathbb{P}^k$ con un subespacio lineal $V \subset (\mathbb{P}^N)^\vee$, entonces:
  $$\Delta^\vee = V \cap X^\vee$$
  Esto significa que el discriminante de la proyección de $X$ es dual a la intersección de la variedad dual con el subespacio que define la proyección.

B. Pureza del Locus Discriminante (Teorema 1.4 / 5.3)

Los autores demuestran un análogo del Teorema de Pureza de Zariski-Nagata para el discriminante de proyecciones genéricas dominantes. Dependiendo de la codimensión de la variedad dual $X^\vee$, el discriminante $\Delta$ cumple una de las siguientes condiciones:

1. Si $\text{codim}(X^\vee) < k$: $\Delta$ es una hipersuperficie irreducible.
2. Si $\text{codim}(X^\vee) = k$: $\Delta$ es una unión finita de hiperplanos.
3. Si $\text{codim}(X^\vee) > k$: $\Delta$ es vacío (la proyección es un morfismo suave).

Esto implica que, para proyecciones dominantes, el discriminante es siempre de codimensión pura uno o está vacío, a menos que la variedad sea "defectiva dual" (dual defective).

C. Grado del Discriminante y Locus Polar (Proposición 1.7)

Se establece una conexión entre el discriminante de la proyección y el locus polar clásico.

• El locus crítico suave de una proyección genérica coincide con el locus polar.
• Se obtiene una fórmula para el grado del discriminante $\Delta_k$ mediante teoría de intersección en la variedad conormal:
  $$\deg(\Delta_k) = \int_{N^\vee_{\mathbb{P}^N}X} \pi_1^* H^{k-1} \cdot \pi_2^* (H_1)^{N-k}$$
  donde $H$ y $H_1$ son clases de hiperplanos en el espacio y su dual, respectivamente. Esto recupera resultados clásicos sobre los grados de los loci polares.

D. Monodromía y Grupos de Trenzas (Teorema 1.8)

Para variedades sobre $\mathbb{C}$, específicamente para hipersuperficies normales $Y \subset \mathbb{P}^{N+1}$ de grado $m$:

• El discriminante $\Delta$ de la proyección finita $Y \to \mathbb{P}^N$ es una hipersuperficie irreducible de grado $m(m-1)$.
• Existe un homomorfismo sobreyectivo de monodromía de trenzas:
  $$\pi_1(\mathbb{P}^N \setminus \Delta, *) \twoheadrightarrow B_m$$
  donde $B_m$ es el grupo de trenzas de $m$ puntos.
• Si $Y$ es la variedad dual de una variedad suave $X$, el grupo fundamental del complemento de $X^\vee$ también sobreyecta a un grupo de trenzas.

4. Ejemplos y Aplicaciones

El artículo ilustra estos resultados con ejemplos concretos:

• Superficie de Veronese: Analizan la proyección de la superficie de Veronese $v_2(\mathbb{P}^2) \subset \mathbb{P}^5$. Muestran cómo las secciones hiperplanas sucesivas de su variedad dual (hipersuperficies cúbicas singulares) corresponden a los discriminantes de las proyecciones de la superficie a espacios de menor dimensión.
• Curvas de Discriminante: Calculan explícitamente el número de nodos ($\delta$) y cúspides ($\kappa$) de las curvas discriminantes resultantes de proyectar superficies suaves al plano, utilizando las fórmulas de Plücker y la dualidad.
• Variedades Defectivas Duales: Discuten el caso de variedades con defecto dual positivo (como el producto de espacios proyectivos $\mathbb{P}^1 \times \mathbb{P}^2$), donde el discriminante puede ser vacío o reducible, recuperando resultados clásicos sobre haces de Lefschetz suaves.

5. Significado e Impacto

Este trabajo es significativo por varias razones:

1. Unificación Teórica: Conecta de manera elegante la teoría de proyecciones genéricas con la dualidad proyectiva, mostrando que el comportamiento de los puntos críticos de una proyección está controlado por la geometría de la variedad dual.
2. Generalización de Lefschetz: Extiende la teoría de haces de Lefschetz (dimensión 1) a "redes" (nets) y sistemas lineales de dimensión superior, proporcionando herramientas para estudiar fibraciones de dimensión superior.
3. Topología Algebraica: Establece un vínculo robusto entre la geometría de las hipersuperficies singulares y la teoría de grupos de trenzas, generalizando resultados de Zariski y Kamada sobre el grupo fundamental de complementos de curvas.
4. Herramientas Computacionales: Proporciona fórmulas explícitas para el grado y las singularidades de los discriminantes, útiles en la clasificación de degeneraciones de variedades (como en la teoría de moduli de superficies K3 o fibraciones elípticas).

En resumen, Liu y Zhang proporcionan un marco teórico riguroso que clarifica la estructura geométrica y topológica de los discriminantes en proyecciones genéricas, unificando conceptos de dualidad, pureza de recubrimientos y monodromía.