Ejercicio 1.8 de Hartshorne

(Harshorne 1.8) Sea Y ser una variedad afín de dimensión r en A norte . Dejar H ser una hipersuperficie en A norte , y supongamos que Y H . Entonces cada componente irreducible de Y H tiene dimensión r 1 .

Si tengo otra variedad afín X con dimensión k con X H . Asumir k < r . Entonces Z = X Y tiene dimensión r . Dejar W ser un componente irreducible de Z H , entonces por arriba, W tiene dimensión r 1 .

Pero que si W está estrictamente contenida en X , entonces no debería W tener dimensión k 1 ¿en cambio? Entonces, ¿qué salió mal?

Respuestas (1)

La Union Z no es una variedad en el sentido de Hartshorne, porque es reducible. Entonces el ejercicio no se aplica a él, y no hay contradicción.