3 votos

Cuadriculas y espacios de modulo

Es bien sabido que $\overline{M}_{0,5}$ el espacio de moduli de $5$ -curvas racionales puntuales, se puede realizar como la expansión de $\mathbb{P}^2$ en cuatro puntos generales. Por lo tanto, podemos interpretar $\overline{M}_{0,5}$ como la ampliación de una superficie cuádrica lisa $Q\subset\mathbb{P}^3$ en tres puntos generales.

Ahora dejemos que $Q\subset\mathbb{P}^n$ sea una hipersuperficie cuádrica lisa con $n\geq 4$ . ¿Existe una interpretación modular para una variedad obtenida mediante la expansión de un cierto número de puntos generales en $Q$ ?

2 votos

La dimensión del espacio de los automorfismos es $n(n+1)/2$ y la dimensión de $Q$ es $n-1$ por lo que la ampliación de $Q$ en $k$ puntos generales está bien definida si y sólo si $k \leq n(n+1)/2(n-1)$ . Se podría jugar con la toma de la mayor $k$ pero como el límite superior nunca es un número entero para $n>3$ esto podría no comportarse bien.

3 votos

Si se generaliza $P^1\times P^1$ a las dimensiones superiores de manera diferente, la respuesta será positiva. De hecho, $M_{0,n}$ se puede realizar como una ampliación de $(P^1)^{n-3}$ .

2voto

Victor Puntos 3774

El espacio de moduli $\overline{M}_{0,6}$ se puede realizar mediante el soplado en $\mathbb{P}^3$ cinco puntos $p_i$ y luego las transformaciones estrictas de las diez líneas $l_{i,j} = \left\langle p_i,p_j\right\rangle$ a través de dos de ellos. Esta es la construcción de Kapranov de $\overline{M}_{0,n}$ .

Ahora, considere en $\mathbb{P}^3$ la única superficie cuádrica lisa $Q$ que contiene los cinco puntos y las cuatro líneas del tipo $l_{i,k}, l_{i,t}, l_{j,k}, l_{j,t}$ . La transformación estricta de $Q$ en $\overline{M}_{0,6}$ tiene una interpretación modular, es decir, es el divisor de Keel-Vermeire. Un ejemplo de divisor extremo en $\overline{M}_{0,6}$ que no se puede escribir en términos de divisores boudary.

Para una generalización de esta construcción para $n\geq 7$ puede echar un vistazo a este documento:

A. M. Castravet y J. Tevelev, Hiperárboles, proyecciones y módulos de curvas racionales estables J. Reine Angew. Math. 675 (2013), 121-180.

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