Linearizability notions in equivariant birational geometry

Resumen Técnico: Nociones de Linealizabilidad en Geometría Biracional Equivariante

Planteamiento del Problema
Este artículo investiga la geometría biracional equivariante de acciones regulares de grupos finitos $G$ sobre variedades proyectivas suaves sobre un cuerpo algebraicamente cerrado $k$ de característica cero. El problema central es comprender la relación entre la linealizabilidad de las acciones de grupo y su comportamiento bajo el "torcido" (twisting) mediante torsores. Específicamente, los autores abordan hasta qué punto las propiedades equivariantes globales (como la linealizabilidad, la racionalidad y la uniracionalidad) de una $G$-variedad $X$ están determinadas por las propiedades de sus torcidos $T_X$ sobre cuerpos no algebraicamente cerrados.

Una tensión clave en el campo, como se señala en el trabajo previo de Duncan y Reichstein ([DR15]), es que, si bien las acciones linealizables son "versales" (una propiedad relacionada con la existencia de puntos racionales en los torcidos), no todas las acciones versales son linealizables. El artículo busca refinar la comprensión de estas propiedades estableciendo que muchas condiciones equivariantes globales pueden reducirse a la verificación de un único torcido específico derivado de una acción versal genéricamente libre, en lugar de verificar todos los torsores posibles.

Metodología
Los autores emplean una combinación de geometría biracional equivariante, la teoría de torsores y la teoría de intersección equivariante (grupos de Chow).

1. Construcción de Torcido (Twisting Construction): La herramienta técnica central es el torcido de una $G$-variedad $X$ por un $G$-torsor $T = \text{Spec}(L)$ sobre una extensión de cuerpo $K$. Esto produce una variedad $T_X$ sobre $K$. El artículo aprovecha la correspondencia entre las $G$-variedades sobre $k$ y las variedades sobre cuerpos no algebraicamente cerrados mediante esta construcción.
2. Versalidad y Libertad Genérica: Los autores utilizan el concepto de $G$-variedades "versales" (donde cada subvariedad densa invariante admite una aplicación $G$-equivariante desde cualquier torsor) y acciones "genéricamente libres". Se centran en la construcción de un único torsor de "prueba" $T_Z$ derivado de una $G$-variedad versal genéricamente libre $Z$.
3. Grupos de Chow Equivariantes y Descomposición de la Diagonal: En la Sección 4, los autores introducen la noción de descomposición integral de la diagonal $G$-equivariante. Esto implica analizar la clase de la diagonal $[\Delta_X]$ en el grupo de Chow equivariante $CH^G_n(X \times X)$ y determinar si puede descomponerse en un producto de la clase fundamental y un ciclo de dimensión cero, más un término soportado en una subvariedad propia.
4. Invariantes Cohomológicos: La sección final analiza el comportamiento de los invariantes de Amitsur y la cohomología despreciable bajo el torcido, utilizando la secuencia espectral de Leray y las propiedades del grupo de Brauer.

Contribuciones Clave y Resultados

• Reducción a un Único Torcido Versal (Teoremas 2.5 y 2.6):
  El artículo establece que, para una $G$-variedad cuasi-proyectiva $X$, una amplia gama de propiedades que se cumplen para todos los torcidos $T_X$ (sobre todos los torsores $T$) es equivalente a que la misma propiedad se cumpla para un único torcido $T_Z X$, donde $Z$ es cualquier $G$-variedad cuasi-proyectiva con una acción versal genéricamente libre.

  • El Teorema 2.5 cubre propiedades tales como la existencia de puntos racionales, la uniracionalidad, la racionalidad estacional y la racionalidad.
  • El Teorema 2.6 extiende esta equivalencia a la biracionalidad de los torcidos ($T_X \sim T_Y$).
  • Significado: Esto refuerza resultados previos que requerían verificar las propiedades contra torcidos derivados de representaciones lineales fieles. Los autores demuestran que cualquier acción versal genéricamente libre basta como un "caso de prueba universal".

• Biracionalidad $G$-Coarse y Linealizabilidad (Sección 3):
  Motivados por los teoremas de reducción, los autores definen la biracionalidad $G$-coarse ($X \sim^c_G Y$) y la linealizabilidad coarse (Condición (CL)).

  • $X$ es coarsely linearizable si es $G$-biracional coarse a un espacio proyectivo $P^d$.
  • Esto define una jerarquía: Linealizabilidad (L) $\implies$ Linealizabilidad Coarse (CL) $\implies$ Linealizabilidad Estable (SL).
  • Los autores proporcionan ejemplos (por ejemplo, acciones de $S_3 \times S_3$ sobre $P^1 \times P^1$) que muestran que (CL) es estrictamente más débil que (L), pero estrictamente más fuerte que (SL) en ciertos contextos, ofreciendo una clasificación más fina de las acciones que no son linealizables pero que se comportan como tales bajo el torcido.

• Descomposición de la Diagonal Equivariante (Sección 4):
  Los autores definen la descomposición integral de la diagonal $G$-equivariante (Definición 4.2).

  • El Teorema 4.4 demuestra que una $G$-variedad $X$ posee esta propiedad si y solo si su torcido $T_Z X$ (para un $Z$ versal) tiene la descomposición integral estándar (no equivariante) de la diagonal.
  • El Teorema 4.6 conecta esto con la linealizabilidad: Si una variedad proyectiva suave con una acción genéricamente libre es establemente linealizable, admite una descomposición integral de la diagonal $G$-equivariante.
  • El Teorema 4.7 establece la propiedad de especialización: si la fibra general de una familia suave y propia de $G$-variedades admite tal descomposición, también la admite la fibra especial.

• Obstrucciones Cohomológicas (Sección 5):
  El artículo investiga el comportamiento de los invariantes de Amitsur ($Am_d(X, G)$) y la obstrucción del torsor universal bajo el torcido.

  • La Proposición 5.1 establece que, para acciones débilmente versales, los invariantes de Amitsur superiores se anulan.
  • La Proposición 5.3 demuestra que la construcción de torcido por un torsor versal induce un isomorfismo en el grupo de Amitsur $Am_2(X, G)$.
  • La Proposición 5.2 caracteriza las clases de cohomología "despreciables" como aquellas que se anulan al ser extraídas mediante la aplicación asociada a un único torsor versal, reforzando el tema de que un único objeto versal controla el comportamiento cohomológico de toda la clase de torcidos.

Significado y Reivindicaciones
Los autores afirman que sus resultados representan un fortalecimiento de los desarrollos anteriores (específicamente aquellos en [DR15] y [GM22]). Mientras que el trabajo previo mostraba que las propiedades de todos los torcidos estaban implicadas por las propiedades de los torcidos derivados de representaciones lineales fieles, este artículo demuestra que la condición puede relajarse a cualquier acción versal genéricamente libre.

El artículo no pretende resolver el problema general de la linealizabilidad, sino que proporciona un marco robusto para probar propiedades biracionales equivariantes. Al introducir la "linealizabilidad coarse" y vincularla con la descomposición de la diagonal, los autores ofrecen nuevas herramientas para distinguir entre acciones que son genuinamente lineales y aquellas que son solo "establemente" o "coarsely" lineales. El trabajo tiende un puente entre la geometría equivariante sobre cuerpos algebraicamente cerrados y la geometría de variedades sobre cuerpos no algebraicamente cerrados, mostrando que esta última puede reducirse a menudo al estudio de un único modelo equivariante bien elegido.