He leído las secciones sobre los lemas de doblar y romper en Koll\'ar-Mori y Debarre y tengo la siguiente pregunta. (Ver abajo los antecedentes y lo que sé).
Pregunta: Me gustaría saber si lo siguiente es cierto: si XX es una variedad normal (proyectiva) y −KX−KX es Q -Cartier y amplio, para el genérico punto x∈X se puede encontrar una curva racional C tal que −KX⋅C≤dimX+1 ?
En una nota relacionada, si esto es falso, también me gustaría saber si es cierto para tales variedades X con singularidades terminales. La razón por la que me pregunto si es cierto en este caso es porque las singularidades terminales aparecen en modelos mínimos de variedades suaves y sabemos que la afirmación es cierta en ese caso.
Antecedentes: En una variedad de Fano (lisa) X , a través de cada punto x∈X existe una curva racional C tal que 0<−KX⋅C≤dimX+1 . Sin embargo, si X es singular, la situación es diferente. El teorema 3.6 de la obra de Debarre Geometría algebraica de dimensiones superiores implica que, si −KX es amplia y X es normal, existe una curva racional C a través de cada punto x∈X tal que 0<−KX⋅C≤2dimX . Me gustaría entender por qué cambia el límite del grado. En mi mente, podría ver que viene de puntos singulares donde KX no es Cartier, por lo que no se espera el mismo comportamiento, o de alguna diferencia más fina que no entiendo.
Entonces, lo que me gustaría saber es: si x está contenido en el lugar suave de X ¿se puede utilizar el mismo argumento de Bend-and-Break para reducir el grado y encontrar una curva C con −KX⋅C≤dimX+1 ? Todavía podemos encontrar curvas que contengan ese punto en el lugar suave de X por lo que puede producir una curva racional a través de ese punto, por lo que parece que podemos utilizar el mismo truco (pasando a la característica p y aumentando el grado con el Frobenius) para encontrar curvas de menor grado. Sin embargo, quizás el problema viene cuando se intenta producir una curva racional, si pasa por el lugar singular de X El mismo argumento no funcionará. No tengo suficiente experiencia en este ámbito para saberlo.