Questions tagged [projective-morphisms]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
1answer
135 views

Decomposition of a morphism with positive dimensional fibers

It is well known that any birational morphism between projective varieties is a sequence of blow ups. Suppose now that I have a morphism $f:X \to Y$ with positive dimensional fibers, that is a ...
1
vote
0answers
139 views

The morphisms induced by two Cartier divisors

Let X be a projective variety. We consider two Cartier divisors $D,E$ such that $E\geq D$ and the relative morphisms $\phi_D: X - - -> \mathbb{P}(H^0(X, O_X(D))^*)$ and $\phi_E: X- - -> \mathbb{...
20
votes
1answer
730 views

Can you give an example of two projective morphisms of schemes whose composition is not projective?

Grothendieck and Dieudonné prove in $EGA_{II}$ (Proposition 5.5.5.(ii), page 105) that if $f:X\to Y, g:Y\to Z$ are projective morphisms of schemes and if $Z$ is separated and quasi-compact, or if ...
2
votes
0answers
172 views

Extension of a rational section of a projective bundle

Let us assume that we work over the complex field and let $X$ be a smooth projective variety and $\pi: P \to X$ a projective bundle (i.e. a fibration in projective spaces of constant dimension). Let $...
1
vote
1answer
186 views

Extending locally free sheaves and compatibility with fibers

Let $X$ be a smooth, projective variety over an algebraically closed field $k$ (of characteristic zero), $B$ a connected, noetherian scheme (possibly non-reduced) and $U$ an open subscheme of $X \...
6
votes
1answer
311 views

Self-intersection of a Cartier divisor

Let $X$ be a smooth projective variety, and $D$ a Cartier divisor on $X$ inducing a surjective morphism $f\colon X\rightarrow C$, where $C$ is a curve. May we conclude that $D^{2}=0$?
16
votes
1answer
529 views

Generalization of the rigidity lemma in birational geometry

Let $X,Y,Z$ be projective varieties, and let $f:X\rightarrow Y$, $g:X\rightarrow Z$ be dominant morphisms. Assume that all the fibers of $g$ have the same dimension and are connected. If there exists ...
7
votes
3answers
371 views

Existence of a morphism between two toric varieties

Does there exist a morphism between the blow-up of $\mathbb{P}^3$ in four general points and $\mathbb{P}^1\times\mathbb{P}^1$? If not why?
3
votes
2answers
265 views

Fibrations on blow-ups of $\mathbb{P}^2$

Let $X_n = Bl_{p_1,...,p_n}\mathbb{P}^2$ be the blow-up of $\mathbb{P}^2$ in $n$ general points $p_1,...,p_n\in\mathbb{P}^2$. Let $f_i:\mathbb{P}^{2}\dashrightarrow\mathbb{P}^1$ be the linear ...
1
vote
1answer
202 views

Morphisms contracting a family of curves

Let $f:X\rightarrow Y$ be a morphism of normal projective varieties. Let $S\subseteq X$ be a surface admitting a morphism $g:S\rightarrow C$ to a curve $C$ such that any fiber of $g$ is a curve. ...
1
vote
3answers
1k views

Why there are two point at infinity on certain elliptic curve [closed]

In article Adams, W. W., & Razar, M. J. (1980). Multiples of points on elliptic curves and continued fractions. Proc. London Math. Soc, 41, 481-498. is said on ...
2
votes
1answer
158 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
89 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 ...
2
votes
0answers
211 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$. ...
3
votes
1answer
474 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 ...
3
votes
0answers
834 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 \mathcal{O}_{\mathbb{...
25
votes
2answers
2k 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. ...