Esta pregunta está motivada por esta uno.
Me gustaría escuchar acerca de los resultados sobre el complejo de variedades proyectivas
- tienen un complejo de la analítica de la prueba, pero no se conoce la prueba de álgebra; o
- tener una prueba de álgebra pero no se conocen complejo de la analítica de la prueba.
Por ejemplo, creo que no existe un equivalente de Mori s bend-y-break argumento de que evita la reducción de característica positiva. De modo que la existencia de racional curvas en Fano variedades sería un ejemplo de 2.