Skip to main content
deleted 3 characters in body
Source Link
Sándor Kovács
  • 42.9k
  • 2
  • 109
  • 155

We may assume that $n\geq 2$. Let $f:X\to \mathbb P^n$ be a finite étale morphism where $X$ is connected and $H\subset \mathbb P^n$ be a hyperplane. Then $f^*H$ is an ample divisor on $X$ and hence connected. By induction, then the restriction $f^*H\to H$ is an isomorphism, so $\deg f=1$ and $f$ is an isomorphism.

EDIT added previously silently assumed assumption that $X$ is connected.

We may assume that $n\geq 2$. Let $f:X\to \mathbb P^n$ be a finite étale morphism where $X$ is connected and $H\subset \mathbb P^n$ be a hyperplane. Then $f^*H$ is an ample divisor on $X$ and hence connected. By induction, then the restriction $f^*H\to H$ is an isomorphism, so $\deg f=1$ and $f$ is an isomorphism.

EDIT added previously silently assumed assumption that $X$ is connected.

We may assume that $n\geq 2$. Let $f:X\to \mathbb P^n$ be a finite étale morphism where $X$ is connected and $H\subset \mathbb P^n$ a hyperplane. Then $f^*H$ is an ample divisor on $X$ and hence connected. By induction, then the restriction $f^*H\to H$ is an isomorphism, so $\deg f=1$ and $f$ is an isomorphism.

EDIT added previously silently assumed assumption that $X$ is connected.

added 103 characters in body
Source Link
Sándor Kovács
  • 42.9k
  • 2
  • 109
  • 155

We may assume that $n\geq 2$. Let $f:X\to \mathbb P^n$ be a finite étale morphism where $X$ is connected and $H\subset \mathbb P^n$ be a hyperplane. Then $f^*H$ is an ample divisor on $X$ and hence connected. By induction, then the restriction $f^*H\to H$ is an isomorphism, so $\deg f=1$ and $f$ is an isomorphism.

EDIT added previously silently assumed assumption that $X$ is connected.

We may assume that $n\geq 2$. Let $f:X\to \mathbb P^n$ be a finite étale morphism and $H\subset \mathbb P^n$ be a hyperplane. Then $f^*H$ is an ample divisor on $X$ and hence connected. By induction, then the restriction $f^*H\to H$ is an isomorphism, so $\deg f=1$ and $f$ is an isomorphism.

We may assume that $n\geq 2$. Let $f:X\to \mathbb P^n$ be a finite étale morphism where $X$ is connected and $H\subset \mathbb P^n$ be a hyperplane. Then $f^*H$ is an ample divisor on $X$ and hence connected. By induction, then the restriction $f^*H\to H$ is an isomorphism, so $\deg f=1$ and $f$ is an isomorphism.

EDIT added previously silently assumed assumption that $X$ is connected.

Source Link
Sándor Kovács
  • 42.9k
  • 2
  • 109
  • 155

We may assume that $n\geq 2$. Let $f:X\to \mathbb P^n$ be a finite étale morphism and $H\subset \mathbb P^n$ be a hyperplane. Then $f^*H$ is an ample divisor on $X$ and hence connected. By induction, then the restriction $f^*H\to H$ is an isomorphism, so $\deg f=1$ and $f$ is an isomorphism.