Que SS ser un esquema noetheriano y X→SX→S ser un morfismo afín de esquemas. Considerar el % de morfismo diagonal Δ:X→X×SXΔ:X→X×SX. Si Δ(X)Δ(X) es el subconjunto cerrado de X×SXX×SX, entonces uno puede mirar la incorporación abierta
j:U→X×SXj:U→X×SX
del complemento abierto de Δ(X)Δ(X).
¿Tiene jj una oportunidad a sí mismo ser un morfismo afín de esquemas? O ¿qué hipótesis adicionales sería una necesidad para conseguir esta característica?