Sobre subvariedades algebraicamente coisotrópicas de variedades simplécticas holomorfas

Información Básica

• ID del artículo: 2205.07958
• Título: On algebraically coisotropic submanifolds of holomorphic symplectic manifolds
• Autores: Ekaterina Amerik (Université Paris-Sud & HSE University), Frédéric Campana (Université Lorraine)
• Clasificación: math.AG (Geometría Algebraica), math.CV (Análisis Complejo)
• Fecha de publicación: 2023, publicado en Épijournal de Géométrie Algébrique número especial (en memoria de Claire Voisin)
• Enlace del artículo: https://arxiv.org/abs/2205.07958

Resumen

Este artículo estudia subvariedades algebraicamente coisotrópicas $X$ en variedades proyectivas simplécticas holomorfas $M$. Basándose en resultados previos de los autores en el caso de hipersuperficies, se plantea la pregunta central: cuando $X$ no es uniracional, ¿existe en el sentido de recubrimientos étale finitos una descomposición en producto $(Z\times Y, N\times Y)$ para $(X,M)$, donde $N, Y$ son variedades simplécticas holomorfas y $Z\subset N$ es una subvariedad lagrangiana? Los autores demuestran esta conclusión cuando $M$ es una variedad abeliana, y proporcionan respuestas parciales cuando el fibrado canónico $K_X$ es semiabundante. En particular, cuando $K_X$ es nef y big, $X$ es lagrangiana en $M$. Simultáneamente, señalan que, en contraste con el caso hiperkähleriano irreducible, no existen subvariedades lagrangianas en variedades abelianas suficientemente generales.

Contexto de investigación y motivación

Problema central

Este artículo estudia problemas de estructura de subvariedades algebraicamente coisotrópicas en variedades simplécticas holomorfas. Las subvariedades coisotrópicas son conceptos importantes en geometría simpléctica: para una subvariedad $X$ en una variedad simpléctica holomorfa $(M,\sigma)$, si en cada punto $x\in X$ la correstricción $\sigma|_X$ tiene corango igual a la codimensión de $X$, entonces $X$ se denomina coisotrópica.

Motivación de la investigación

1. Generalización de resultados conocidos: Los autores caracterizaron la estructura de divisores algebraicamente coisotrópicos en AC17, y este artículo intenta generalizar estos resultados al caso de codimensión superior
2. Problema de clasificación de estructuras: Entender si las subvariedades algebraicamente coisotrópicas no uniracionales siempre pueden descomponerse como producto de una subvariedad lagrangiana y una variedad simpléctica holomorfa
3. Intuición geométrica: Las subvariedades lagrangianas son análogos de dimensión superior de curvas en superficies simplécticas holomorfas, y estudiar su existencia y estructura tiene importancia significativa

Limitaciones de la investigación existente

• Hwang-Viehweg HV10 demostraron que hipersuperficies algebraicamente coisotrópicas suaves de tipo general son curvas en superficies simplécticas holomorfas
• Sin embargo, hay relativamente poca investigación sobre teoría de estructuras en casos de codimensión superior
• Falta un marco de clasificación unificado

Contribuciones principales

1. Clasificación completa en el caso de variedades abelianas: Se demuestra que cuando $M$ es una variedad abeliana, la Pregunta 1.4 tiene respuesta afirmativa (Teorema 1.11)
2. Teorema de estructura bajo condiciones del fibrado canónico: Cuando $K_X$ es semiabundante, la foliación característica es trivial (Teoremas 1.7-1.8)
3. Criterio de lagrangianidad: Cuando $K_X$ es nef y big, $X$ debe ser lagrangiana (Corolario 1.9)
4. Resultados de existencia: Se demuestra que no existen subvariedades lagrangianas en variedades abelianas Hodge-generales (Corolario 5.5)
5. Construcción de ejemplos concretos: Se proporcionan ejemplos de subvariedades lagrangianas en el caso no proyectivo

Explicación detallada de métodos

Definiciones y conceptos fundamentales

Definición 1.1 (Subvariedad coisotrópica): Sea $M$ una variedad proyectiva compleja equipada con una forma simpléctica holomorfa $\sigma$, y sea $X$ una subvariedad compleja irreducible de $M$. Si en cada punto $x\in X$ el corango de $\sigma|_X$ es igual a $\text{codim}(X)$, entonces $X$ se denomina coisotrópica.

Coisotrópica algebraica: Si la foliación característica en la subvariedad coisotrópica $X$ es algebraica (es decir, las hojas son todas subvariedades algebraicas), entonces $X$ se denomina algebraicamente coisotrópica.

Métodos técnicos principales

1. Análisis de la foliación característica

Para una subvariedad algebraicamente coisotrópica $X$, su foliación característica define una fibración $f: X \to B$, donde las fibras son las hojas de la foliación. El lema clave es:

Lema 2.1 (Sawon): Existe una forma simpléctica holomorfa $\eta$ en $B$ tal que $f^*\eta = \sigma|_X$.

2. Propiedades geométricas de la base

Proposición 2.2: La base $B$ de la foliación característica posee las siguientes propiedades:

• Sin fibras múltiples en codimensión 1
• $B$ posee solo singularidades canónicas
• $\kappa(B) = 0$ (dimensión de Kodaira igual a cero)

3. Criterio de trivialidad isotrivial

Utilizando resultados sobre bases especiales de AC18:

Teorema 1.7: Si $K_X$ es semiabundante, entonces la foliación característica $f: X \to B$ es isotrivial, y $\kappa(X) = \kappa(F)$.

Análisis en el caso de variedades abelianas

Para una subvariedad algebraicamente coisotrópica $X$ en una variedad abeliana $M$, se utiliza el teorema de clasificación de Ueno:

1. Descomposición de estructura: $X = p^{-1}(Z)$, donde $p: M \to L = M/A$, $A$ es una subvariedad abeliana, $Z \subset L$ es una subvariedad de tipo general
2. Descomposición en producto: Mediante completa reducibilidad de Poincaré, se obtiene la descomposición $M = D \times C \times N \times P$
3. Análisis de ortogonalidad: Se utiliza la condición coisotrópica para analizar las relaciones de ortogonalidad entre factores
4. Estructura de forma simpléctica: Se determinan las propiedades de restricción de $\sigma$ en cada factor

Teoremas principales y esquemas de demostración

Teorema 1.11 (Caso de variedades abelianas)

Enunciado: Sea $M$ una variedad abeliana, y sea $X \subset M$ una subvariedad algebraicamente coisotrópica. Entonces, después de un recubrimiento étale finito, existen subtoros $D,N,C,P$ tales que:

1. $M = D \times C \times N \times P$
2. $X = D \times C \times Z$, donde $Z \subset N$
3. $Z$ es lagrangiana en $N$

Puntos clave de la demostración:

1. Se utiliza el teorema de Ueno para obtener la estructura fundamental de $X$
2. Se realiza la descomposición en producto mediante completa reducibilidad de Poincaré
3. Se analiza la descomposición de Künneth de la forma simpléctica: $\sigma = \sigma_D \oplus \sigma_N \oplus \sigma_P \oplus s$
4. Se utiliza la condición coisotrópica para determinar las relaciones de ortogonalidad entre factores
5. Se demuestra que $\sigma_N$ es simpléctica y $Z$ es coisotrópica respecto a $\sigma_N$
6. Mediante cálculo de dimensiones se demuestra que $Z$ es lagrangiana

Teoremas 1.7-1.8 (Trivialidad isotrivial)

Esquema de demostración:

1. Se utiliza la Proposición 2.2 para determinar las propiedades geométricas de la base $B$
2. Se aplican resultados sobre especialidad de AC18 o Taj23
3. Se analiza mediante versiones relativas del fibrado canónico para obtener $\kappa(X) = \kappa(F)$

Aplicaciones importantes y corolarios

Corolario 1.9 (Criterio de lagrangianidad)

Cuando $K_X$ es nef y big, $X$ debe ser lagrangiana. Esto generaliza el teorema de Hwang-Viehweg al caso de dimensión superior.

Corolario 1.10 (Variedades abelianas simples)

Las subvariedades algebraicamente coisotrópicas en variedades abelianas simples deben ser lagrangianas.

Corolario 5.5 (No existencia)

Las variedades abelianas Hodge-generales no contienen subvariedades lagrangianas (cuando la dimensión es $>2$).

Puntos de innovación técnica

1. Análisis de descomposición de Künneth de formas simplécticas: Análisis fino de la estructura de formas simplécticas en variedades abelianas
2. Control geométrico de la foliación característica: Utilización de propiedades especiales de la base para controlar la estructura de la fibración
3. Aplicación de teoría de Hodge: Uso de propiedades del grupo de Hodge para demostrar resultados de no existencia
4. Técnicas de cálculo de dimensiones: Determinación de estructura geométrica mediante restricciones dimensionales de la condición coisotrópica

Comparación con trabajos relacionados

Relación con resultados existentes

• AC17: Este artículo generaliza los resultados del caso de divisores a codimensión superior
• HV10: Generaliza el criterio de tipo general de Hwang-Viehweg
• Saw09: Utiliza y desarrolla la teoría de foliaciones de Sawon
• Voi92, Bea11: Proporciona contraste en el caso hiperkähleriano irreducible

Aspectos innovadores

1. Primera clasificación completa de subvariedades algebraicamente coisotrópicas en variedades abelianas
2. Establecimiento de conexiones profundas entre propiedades del fibrado canónico y estructura geométrica
3. Revelación de diferencias esenciales entre variedades abelianas y variedades hiperkählerianas en la existencia de subvariedades lagrangianas

Ejemplos concretos y aplicaciones

Ejemplo 1 (Construcción de Schoen)

En ciertos cuádruples abelianos simples existen superficies lagrangianas, proporcionadas por la construcción de Schoen.

Ejemplo 2 (Caso no proyectivo)

Proposición 6.1: Existe un toro complejo bidimensional $T$ y un automorfismo $g$ tal que para cualquier forma simpléctica $\sigma$, se tiene $g^*\sigma = \lambda\sigma$, donde $\lambda$ no es una raíz de la unidad.

Esto proporciona un ejemplo de superficie lagrangiana en $T \times T$.

Problemas abiertos

Pregunta 1.4 (Conjetura principal)

Para subvariedades algebraicamente coisotrópicas no uniracionales en variedades simplécticas holomorfas generales, ¿siempre es posible realizar una descomposición en producto?

Problemas relacionados

1. Problema 5.1: Buscar ejemplos de subvariedades lagrangianas de dimensión media en variedades abelianas simples de dimensión $\geq 6$
2. Pregunta 5.8: ¿Qué restricciones hay en el grupo fundamental de subvariedades de dimensión media en variedades abelianas simples?

Evaluación profunda

Ventajas

1. Profundidad teórica: Establece fundamentos importantes de la teoría de subvariedades algebraicamente coisotrópicas
2. Innovación técnica: Combina ingeniosamente herramientas de geometría algebraica, geometría compleja y geometría simpléctica
3. Completitud: Proporciona clasificación completa en el caso de variedades abelianas
4. Análisis comparativo: Revela diferencias esenciales entre diferentes tipos de variedades simplécticas holomorfas

Contribuciones técnicas

1. Desarrollo de la teoría geométrica de foliaciones características
2. Análisis fino de propiedades algebraicas de estructuras simplécticas en variedades abelianas
3. Establecimiento de conexiones entre teoría de Hodge y existencia geométrica

Limitaciones

1. Los resultados principales se restringen al caso de variedades abelianas; el caso general aún requiere desarrollo
2. Algunas condiciones técnicas (como semiabundancia) pueden ser demasiado restrictivas
3. Relativamente pocos ejemplos constructivos

Evaluación de impacto

Este artículo sienta bases teóricas importantes para la investigación de subvariedades algebraicamente coisotrópicas, en particular:

1. Proporciona respuesta afirmativa a la Pregunta 1.4 en casos especiales
2. Establece métodos técnicos estándar en este campo
3. Revela problemas centrales que requieren investigación adicional

Escenarios de aplicación

1. Problemas de clasificación de subvariedades en geometría algebraica
2. Teoría de subvariedades lagrangianas en geometría simpléctica
3. Investigación geométrica de variedades abelianas y variedades hiperkählerianas

Referencias

El artículo cita literatura importante en este campo, incluyendo trabajos clásicos de Voisin, Sawon, Hwang-Viehweg y otros, así como investigaciones previas de los autores en AC17, AC18. Particularmente notable es la aplicación de resultados recientes de Taji Taj23, lo que refleja el carácter de vanguardia de esta investigación.

Este artículo es una contribución teórica importante en el campo de la geometría algebraica, proporcionando perspectivas profundas para entender la estructura geométrica de subvariedades en variedades simplécticas holomorfas, estableciendo en particular una teoría de clasificación completa en el caso de variedades abelianas.