Me estoy familiarizando con el Hilbert Functor , que es un caso especial de la functor Desde clasifica las clases de isomorfismo de subesquemas cerrados de que son isomorfos a , me interesa la siguiente pregunta:
¿Cuáles son los subesquemas cerrados de por un anillo ? Más específicamente, ¿cuáles son los subesquemas cerrados de para un campo ?
Solo pregunto para familiarizarme un poco más con el tema.
Pregunta: "¿Cuáles son los subesquemas cerrados de P2R para un anillo R? Más específicamente, ¿cuáles son los subesquemas cerrados de P2k para un campo k?"
Respuesta: Para cualquier subesquema cerrado hay un ideal homogéneo con . Este es Hartshorne, Corr.II.5.16.