9 votos

Haces de líneas en espacios de moduli

Tal vez sea una pregunta demasiado amplia o vaga (o tonta), pero aquí va de todos modos: ¿por qué debería preocuparme de construir haces de líneas en ¿un espacio de moduli? Esto surge todo el tiempo, pero parece que me falta la motivación (probablemente obvia).

Lo ideal sería adjuntar a esta pregunta un espacio de moduli concreto (haces vectoriales sobre una curva, instantones, etc.), pero creo que dejaré la tarea de encontrar un ejemplo eficiente pero instructivo a alguien con más conocimientos.

Gracias.

10voto

dwj Puntos 2006

Las razones para preocuparse que se me ocurren se dividen en dos grandes categorías.

En primer lugar, los paquetes de líneas son útiles para identificar subpilas interesantes de su pila de módulos. La primera vez que se encuentra esta idea es en la teoría de las TIG, pero la filosofía se aplica de forma más general. Véanse, por ejemplo, los artículos de Teleman sobre la pila de haces G en una curva, y el artículo de Jarod Alper sobre los espacios de moduli "buenos" ( http://math.columbia.edu/~jarod/good_moduli_spaces.pdf ).

En segundo lugar, las secciones de haces de líneas son un buen sustituto/generalización de las funciones. Por ejemplo, en la pila de moduli de las curvas, las únicas funciones holomorfas son constantes, pero hay muchas funciones meromorfas, que se consideran naturalmente secciones de haces de líneas. Este punto de vista aparece, por ejemplo, en la teoría de las formas modulares (donde aclara sus transformaciones bajo SL(2,z)) y en el enfoque Beilinson-Bernstein de la teoría de la representación (donde se utilizan "módulos D retorcidos", que actúan sobre secciones de un haz de líneas en la variedad bandera en lugar de sobre funciones, para obtener representaciones con carácter central no trivial).

¿Es eso más o menos lo que querías?

4voto

Chris Farmer Puntos 10681

En general, la cohomología es una herramienta para linealizar propiedades globales (al igual que el cálculo es una herramienta para linealizar propiedades locales).

Los haces de líneas son elementos del grupo de cohomología (probablemente) más importante que tiene el espacio: el grupo de Picard. Dependiendo de cómo los construyas puedes saber muchas cosas sobre el cono NEF del espacio y su dimensión de Kodaira.

Así que, asumiendo que los espacios de módulos son interesantes (lo son porque no tienes tantas formas de construir objetos concretos), y que los invariantes que mencioné lo son (lo son porque son casi los únicos que conocemos para los espacios generales), es interesante.

1voto

Alex Bolotov Puntos 249

¿O por qué quieres paquetes de líneas en algo? Si quisieras demostrar que es proyectiva, por ejemplo, querrías un haz de líneas amplio. En general, creo que gran parte de la motivación para todo el estudio técnico de los divisores en M_{g,n} es tratar de entender su geometría birracional.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X