The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
1answer
139 views

Non-reducedness of schemes and projective morphisms(revisited)

This is a continuation of a question asked by me previously with some added hypothesis. Let $X, Y$ be irreducible projective schemes over $\mathbb{C}$, $W \subset X \times Y$ a closed irreducible ...
1
vote
1answer
80 views

Nonreducedness of schemes and projective morphisms

Let $X, Y$ be irreducible projective schemes over $\mathbb{C}$, $W \subset X \times Y$ a closed irreducible subscheme. Suppose that the natural projection map $pr_2:W \to Y$ is surjective on the ...
1
vote
0answers
73 views

Jacobian Conjecture, Cubic-Keller maps

I have recently read an interesting article about the Jacobian Conjecture, in particular the reduction to the case $f(x) = x + A(x)^3$. I was wondering about codimension one divisors on $Y = A^n$. ...
2
votes
0answers
108 views

Examples of non-projective morphisms with projective fibres

Let $X\to S$ be a morphism of noetherian schemes such that, for all $s$ in $S$, the morphism $X_s\to $ Spec $k(s)$ is projective. Then it doesn't follow that $X\to S$ is projective in general. In ...
2
votes
0answers
388 views

Generalized Euler sequence on a projective scheme

Let $\mathcal{E}$ be a quasi-coherent sheaf on a scheme $S$. Consider the projective scheme $p : \mathbb{P}(\mathcal{E}) \to S$ and the canonical epimorphism $p^*(\mathcal{E}) \to ...
17
votes
1answer
1k views

Must the composition of projective morphisms be projective?

The notion of a projective morphism in algebraic geometry is surprisingly subtle. It is not quite clear what the definition is! For example, the definition in EGA differs from that in Hartshorne. ...