Skip to main content
6 of 14
added 107 characters in body
user267839
  • 6k
  • 2
  • 11
  • 42

Universal hyperplane section and nondegeneracy of general hyperplane section

I have a question about Exercise 18.11 In Harris' book Algebraic Geometry, on page 231:

Give a proof of the nondegeneracy of the general hyperplane section of an irredicible nondegenerated variety $X$ over $k= \mathbb{C}$ without invoking the notion of degree (or Bezout's theorem), as follows. First, show that if the general hyperplane section of $X$ spans a $k$-plane, we have a rational map

$$ \varphi: (\mathbb{P}^{n})^* \dashrightarrow \mathbb{G}(k,n)$$

defined by sending a general hyperplane $H \in (\mathbb{P}^{n})^*$ to the span of $H \cap X$. Next, use the fact that the universal hyperplane section $\Omega_X$ (for definition see p 43 or below) of $X$ is irreducible to deduce that for any $H \in (\mathbb{P}^{n})^*$ and any point $\Lambda \in \varphi(H)= \Gamma_{\varphi} \cap (\{H\} \times \mathbb{G}(k,n))$ (that is, any point in the image of the fiber of the graph $\Gamma_{\varphi}$, over $H$), the hyperplane section $H \cap X$ lies on the $k$-plane $\Lambda$. It follows that if the general hyperplane section of $X$ is degenerate, then all are - but any $n$ independent points of $X$ will span a hyperplane $H$ with $X \cap H $nondegenerate, contradiction.

Remark: The universal hyperplane section $\Omega_X \subset X \times (\mathbb{P}^{n})^*$ is defined as subvariety $\{(p, H) \ \vert \ p \in H \cap X \}$ und is irreducible (Theorem 5.8, page 53).

Question: I not understand how the irreducibility of $\Omega_X$ can be related to this problem, ie to use it here to conclude that $H \cap X \subset \Lambda$ for every $\Lambda \in \varphi(H)$.

Some thoughts: Let $U \subset (\mathbb{P}^{n})^*$ the open dense subset where $\varphi$ is regular. Since $\Gamma_{\varphi}$ is closure of the graph $\Gamma_U:=\{(H, \varphi(H) \ \vert \ H \in U \}$, it follows that $\Gamma_{\varphi}$ is irreducible and it suffice to find a closed subset of $\Gamma_{\varphi}$ which contains $\Gamma_U$.
A natural choice seems to take the closed subset $A:= \{(H, \Lambda) \ \vert H \cap X \subset \Lambda \}$ and intersect it with $\Gamma_{\varphi}$. By contruction it contains $\Gamma_U$.

But this approach nowhere makes use of the universal hyperplane section $\Omega_X$. So my question is not how to prove the claim somehow, but how to argue as Harris suggested using explicitly the irreducibility of the universal hyperplane section.

user267839
  • 6k
  • 2
  • 11
  • 42