Skip to main content

All varieties here isare defined over the field of complex numbernumbers. Let $X$ be a normal projective irreducible variety and let $Y$ be a projective irreducible variety. Suppose that there is a bijective morphism $f : X \to Y$. This does not imply that $Y$ is normal. One can easily construct a counterexample for the curve case.

My question is:

  1. Is it true if $Y$ is regular in codimension 1?

  2. Is there any extra condition guaranteethat guarantees normality of $Y$?

I searched somefor related questions, and there are answers such as

Nonsingular/Normal Schemes or

Checking whether a variety is normal ,

but I cannot find or prove a method working onthat works for my situation. In my problem, finding local defining equations is almost impossible.

Edit: One of motivationthe motivations for this question is a kind of inverse problem of Zariski's main theorem. Suppose that $g : X \to Y$ is a morphism between projective varieties with connected fiber from normal variety $X$. By taking Stein factorization, we can reduce the problem to the situation ofpresented by this question.

All varieties here is defined over complex number. Let $X$ be a normal projective irreducible variety and let $Y$ be a projective irreducible variety. Suppose that there is a bijective morphism $f : X \to Y$. This does not imply that $Y$ is normal. One can easily construct a counterexample for curve case.

My question is:

  1. Is it true if $Y$ is regular in codimension 1?

  2. Is there any extra condition guarantee normality of $Y$?

I searched some related questions and answers such as

Nonsingular/Normal Schemes or

Checking whether a variety is normal ,

but I cannot find or prove a method working on my situation. In my problem, finding local defining equations is almost impossible.

Edit: One of motivation is a kind of inverse problem of Zariski's main theorem. Suppose that $g : X \to Y$ is a morphism between projective varieties with connected fiber from normal variety $X$. By taking Stein factorization, we can reduce to the situation of question.

All varieties here are defined over the field of complex numbers. Let $X$ be a normal projective irreducible variety and let $Y$ be a projective irreducible variety. Suppose there is a bijective morphism $f : X \to Y$. This does not imply that $Y$ is normal. One can easily construct a counterexample for the curve.

My question is:

  1. Is it true if $Y$ is regular in codimension 1?

  2. Is there any extra condition that guarantees normality of $Y$?

I searched for related questions, and there are answers such as

Nonsingular/Normal Schemes or

Checking whether a variety is normal ,

but I cannot find or prove a method that works for my situation. In my problem, finding local defining equations is almost impossible.

Edit: One of the motivations for this question is a kind of inverse problem of Zariski's main theorem. Suppose $g : X \to Y$ is a morphism between projective varieties with connected fiber from normal variety $X$. By taking Stein factorization, we can reduce the problem to the situation presented by this question.

replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

All varieties here is defined over complex number. Let $X$ be a normal projective irreducible variety and let $Y$ be a projective irreducible variety. Suppose that there is a bijective morphism $f : X \to Y$. This does not imply that $Y$ is normal. One can easily construct a counterexample for curve case.

My question is:

  1. Is it true if $Y$ is regular in codimension 1?

  2. Is there any extra condition guarantee normality of $Y$?

I searched some related questions and answers such as

Nonsingular/Normal SchemesNonsingular/Normal Schemes or

Checking whether a variety is normalChecking whether a variety is normal ,

but I cannot find or prove a method working on my situation. In my problem, finding local defining equations is almost impossible.

Edit: One of motivation is a kind of inverse problem of Zariski's main theorem. Suppose that $g : X \to Y$ is a morphism between projective varieties with connected fiber from normal variety $X$. By taking Stein factorization, we can reduce to the situation of question.

All varieties here is defined over complex number. Let $X$ be a normal projective irreducible variety and let $Y$ be a projective irreducible variety. Suppose that there is a bijective morphism $f : X \to Y$. This does not imply that $Y$ is normal. One can easily construct a counterexample for curve case.

My question is:

  1. Is it true if $Y$ is regular in codimension 1?

  2. Is there any extra condition guarantee normality of $Y$?

I searched some related questions and answers such as

Nonsingular/Normal Schemes or

Checking whether a variety is normal ,

but I cannot find or prove a method working on my situation. In my problem, finding local defining equations is almost impossible.

Edit: One of motivation is a kind of inverse problem of Zariski's main theorem. Suppose that $g : X \to Y$ is a morphism between projective varieties with connected fiber from normal variety $X$. By taking Stein factorization, we can reduce to the situation of question.

All varieties here is defined over complex number. Let $X$ be a normal projective irreducible variety and let $Y$ be a projective irreducible variety. Suppose that there is a bijective morphism $f : X \to Y$. This does not imply that $Y$ is normal. One can easily construct a counterexample for curve case.

My question is:

  1. Is it true if $Y$ is regular in codimension 1?

  2. Is there any extra condition guarantee normality of $Y$?

I searched some related questions and answers such as

Nonsingular/Normal Schemes or

Checking whether a variety is normal ,

but I cannot find or prove a method working on my situation. In my problem, finding local defining equations is almost impossible.

Edit: One of motivation is a kind of inverse problem of Zariski's main theorem. Suppose that $g : X \to Y$ is a morphism between projective varieties with connected fiber from normal variety $X$. By taking Stein factorization, we can reduce to the situation of question.

Source Link
Moon
  • 627
  • 8
  • 16

Checking normality of variety

All varieties here is defined over complex number. Let $X$ be a normal projective irreducible variety and let $Y$ be a projective irreducible variety. Suppose that there is a bijective morphism $f : X \to Y$. This does not imply that $Y$ is normal. One can easily construct a counterexample for curve case.

My question is:

  1. Is it true if $Y$ is regular in codimension 1?

  2. Is there any extra condition guarantee normality of $Y$?

I searched some related questions and answers such as

Nonsingular/Normal Schemes or

Checking whether a variety is normal ,

but I cannot find or prove a method working on my situation. In my problem, finding local defining equations is almost impossible.

Edit: One of motivation is a kind of inverse problem of Zariski's main theorem. Suppose that $g : X \to Y$ is a morphism between projective varieties with connected fiber from normal variety $X$. By taking Stein factorization, we can reduce to the situation of question.