Theorems of Bertini and Chevalley

Resumen Técnico: Teoremas de Bertini y Chevalley

Planteamiento del Problema
El artículo aborda dos resultados fundamentales en geometría algebraica: el teorema de irreducibilidad de Bertini y el teorema de estructura de Chevalley para grupos algebraicos.

1. Teorema de Irreducibilidad de Bertini: El problema consiste en establecer las condiciones bajo las cuales la imagen inversa de un hiperplano general bajo un morfismo dominante permanece geométricamente irreducible. Específicamente, para una variedad $X$ geométricamente irreducible sobre un cuerpo infinito $k$ y un morfismo dominante $\pi: X \dashrightarrow \mathbb{P}^n$ ($n \geq 2$), se debe probar que $\pi^{-1}(H)$ es geométricamente irreducible para un hiperplano general $H$.
2. Teorema de Chevalley: El problema es caracterizar la estructura de un grupo algebraico $G$ conexo y suave sobre un cuerpo perfecto $k$. El teorema afirma que $G$ se ajusta a una sucesión exacta $1 \to L \to G \to A \to 0$, donde $L$ es un grupo algebraico afín y $A$ es un grupo algebraico propio (una variedad abeliana).

Metodología
El autor, János Kollár, tiene como objetivo proporcionar demostraciones que dependan mínimamente de maquinaria avanzada, restringiendo específicamente el uso de resultados a aquellos que se encuentran en el libro de texto de Shafarevich [Sha74], la existencia de jacobianas para curvas proyectivas suaves y los teoremas de Weil sobre aplicaciones racionales a grupos algebraicos.

• Para el Teorema de Chevalley:

  • Acciones Racionales y Divisores de Weil: En lugar de requerir una acción regular (definida en todas partes) de $G$ sobre una variedad proyectiva, la demostración utiliza una acción racional sobre una variedad proyectiva normal $X$. Esto hace necesario trabajar con divisores de Weil en lugar de solo con divisores de Cartier.
  • Morfismos hacia Jacobianas: Para un divisor de Weil $D$ en $X$, el autor construye un morfismo $\alpha_{X,D}: G \to \prod \text{Jac}(C_i)$, donde $C_i$ son curvas suaves en $X$. Este mapa envía $g \in G$ a la clase de equivalencia lineal de la restricción del divisor trasladado $D_g$ a las curvas.
  • Análisis del Núcleo: La demostración identifica un subgrupo $H \subset G$ (la componente conexa de la identidad del núcleo de $\alpha_{X,D}$) y demuestra que $H$ es afín. Esto se logra construyendo una representación lineal de $H$ sobre un subsistema lineal cuidadosamente elegido de divisores.
  • Manejo de Singularidades: Un paso técnico clave implica elegir un divisor $D$ con un punto singular aislado. Se demuestra que el estabilizador de tal divisor es finito, asegurando que la representación sea fiel y que el núcleo sea afín. La demostración navega por cuestiones sutiles relacionadas con la transformación birracional de sistemas lineales (Advertencia 7.4.1) restringiéndose a conjuntos de parámetros geométricamente irreducibles.

• Para el Teorema de Irreducibilidad de Bertini:

  • Reducción a Lápices: La demostración reduce el caso general al estudio de lápices de divisores.
  • Análisis del Lugar Base: Utiliza las propiedades del lugar base de un lápiz. Si el lugar base es suave y de codimensión 2, y los miembros son suaves en un punto, los miembros generales son geométricamente irreducibles.
  • Frobenius y Suavidad: En casos donde el morfismo no es genéricamente suave, la demostración emplea el morfismo de Frobenius para reducir a una situación genéricamente suave.
  • Inducción: El resultado se extiende a intersecciones completas mediante inducción, utilizando una versión más fuerte del teorema (Corolario 24) que maneja sistemas lineales que no son "totalmente generales" pero que satisfacen condiciones específicas de codimensión en los lugares singulares.

Contribuciones y Resultados Clave

1. Demostraciones Acortadas: El artículo proporciona una demostración del teorema de irreducibilidad de Bertini que se afirma ser más corta que las demostraciones existentes en la literatura, basándose en herramientas de geometría algebraica elementales (específicamente de [Sha74]) y el lema de Severi-Weil.
2. Teorema de Chevalley mediante Divisores de Weil: La demostración del teorema de Chevalley se reformula para utilizar explícitamente divisores de Weil y acciones racionales. Este enfoque evita la necesidad de teoremas de compactificación más complejos (como la regularización de Nagata o de Weil) que de otro modo podrían ser necesarios para garantizar la proyectividad o la regularidad de la acción.
3. Lema de Severi-Weil: El artículo reitera y utiliza el lema de Severi-Weil, que establece que la equivalencia lineal de divisores en una variedad puede verificarse en un conjunto finito de curvas suaves. Esto es central para construir el morfismo desde el grupo algebraico hacia el producto de jacobianas.
4. Lemas Técnicos:
   • Lema 11: Establece que cualquier homomorfismo racional de grupos algebraicos es un homomorfismo regular.
   • Lema 12: Muestra cómo las acciones racionales sobre sistemas lineales inducen representaciones lineales regulares.
   • Corolario 19: Aclara que para conjuntos de generación geométricamente irreducibles, la transformación birracional del sistema lineal se comporta como se espera (es decir, la transformación del sistema está generada por las transformaciones de miembros generales).

Significado y Afirmaciones
El artículo afirma que el significado principal de este trabajo es metodológico: demuestra que uno "no debe tener miedo de trabajar con divisores de Weil". El autor argumenta que los divisores de Weil proporcionan un "marco óptimo" para ciertas preguntas, particularmente en el contexto del teorema de Chevalley, donde permiten una demostración más directa utilizando acciones racionales sin requerir la fuerza completa de los teoremas modernos de compactificación.

El autor declara explícitamente que las demostraciones están diseñadas para ser autocontenidas en cuanto al uso de maquinaria avanzada, confiando solo en la existencia de jacobianas y resultados básicos de Shafarevich. El artículo no afirma descubrir nuevos teoremas, sino más bien revisar y agilizar las demostraciones de estos resultados bien conocidos, ofreciendo una perspectiva que enfatiza la utilidad de los divisores de Weil y las aplicaciones racionales en el estudio de grupos algebraicos e irreducibilidad.