Intereting Posts

Generalised Binomial Theorem Intuition
Adjoint of an Operator in $l^2$
A square integrable martingale has orthogonal increments
Joint probability generating functions, help please!
K theory of finite dimenional Banach algebras
How many distinct ways to climb stairs in 1 or 2 steps at a time?
Integrate $ \int_{0}^{\frac{\pi}{4}}\tan^{-1}\left(\frac{\sqrt{2}\cos3 \phi}{\left(2\cos 2 \phi+ 3\right)\sqrt{\cos 2 \phi}}\right)d\phi$
Find all the solutions of $6a+9b+20c=-2$
Solve this with CBS: minimum value of $ 1/x + 4/y + 9/z $ with $x+y+z=1$
Is this proof correct? proving a sum of a convergent and divergent sequences is a divergent sequence
Area of a parallelogram, vertices $(-1,-1), (4,1), (5,3), (10,5)$.
Is this casino promotion exploitable?
How many copies of $C_4$ are there in $K_n$
Can we always choose the generators of an ideal of a Noetherian ring to be homogeneous?
Countability of disjoint intervals

Let $\phi:\mathbb{P}^n\rightarrow \mathbb{P}^m$, $n\leq m$. I want to demonstrate that if dim $\phi(\mathbb{P}^n)<n$ then $\phi(\mathbb{P}^n)=pt$ (ex. 7.3(a), ch.II from Hartshorne).

It’s well known that $Pic(\mathbb{P}^n)\simeq\mathbb{Z}$, with generator $O_{\mathbb{P}^n}(1)$.

First question : it is right that if I show that $\phi^*O_{\mathbb{P}^m}(1)$ is generated by less than n+1 global sections, then must be $\phi^*O_{\mathbb{P}^m}(1)\simeq O_{\mathbb{P}^n}$ and so $\phi(\mathbb{P}^n)=pt$ ?

- (undergraduate) Algebraic Geometry Textbook Recommendations
- When is a flat morphism open?
- An exercise in Liu regarding a sheaf of ideals (Chapter II 3.4)
- Is fibre product of varieties irreducible (integral)?
- Projective closure of an algebraic curve as a compactification of Riemann surface
- What is the support of a localised module?

Second question: if so, let $s_0,…,s_m$ be global sections of $O_{\mathbb{P}^m}(1)$. Can I say that, because of the dimension hypotesis, $\phi^*O_{\mathbb{P}^m}(1)$ can be generated by $\phi^*s_{i_0},…,\phi^*s_{i_r}$ with $r<n$ ? Why?

- Nonsingular projective variety of degree $d$
- An exercise in Liu regarding a sheaf of ideals (Chapter II 3.4)
- Direct way to show: $\operatorname{Spec}(A)$ is $T_1$ $\Rightarrow$ $\operatorname{Spec}(A)$ is Hausdorff
- Why should I care about adjoint functors
- Motivating Example for Algebraic Geometry/Scheme Theory
- Support of $f \in A$ in Spec $A$ for a reduced ring $A$
- Find equation of ellipse given two tangent lines at given points and a point on ellipse
- Ideal of product of affine varieties
- The prime spectrum of a Dedekind Domain
- Convert quadratic bezier curve to parabola

The answer to your first question is yes. The line bundle $\mathcal{O}(d)$, with $d > 0$, is generated by the degree $d$ monomials of which there are $\binom{n+d}{d}$. So the number of generators you need grows with $d$.

Your second question is a bit too naive. In general, if you have a morphism $X\to \mathbb{P}^{m}$, there is no link between the dimension of the image and the number of generators of the induced line bundle.

However, by the above we know that there cannot be a nonconstant morphism $\mathbb{P}^{n}\to \mathbb{P}^{m}$ with $m<n$.

Now if we have $n\leq m$ and $dim(\phi(\mathbb{P}^{n}))<n$ we can repeatedly project until we get a map $\tilde{\phi}:\mathbb{P}^{n}\to \mathbb{P}^{n-1}$.

Since projecting away from a point is a finite map, we have $dim(\phi(\mathbb{P}^{n}))=dim(\tilde{\phi}(\mathbb{P}^{n}))$, and we’re done.

- A simple(?) Analytical Geometry Question (Ellipse) my teacher can't solve
- Symmetry functions and integration
- Locally closed subset equivalence proof using $\bar{L}\cap V = L \cap V$
- Is there a function whose inverse is exactly the reciprocal of the function, that is $f^{-1} = \frac{1}{f}$?
- Asymptotic expansion for Fresnel Integrals
- Test for an Integer Solution
- Methods to evaluate $ \int _{a }^{b }\!{\frac {\ln \left( tx + u \right) }{m{x}^{2}+nx +p}}{dx} $
- Property of Dirac delta function in $\mathbb{R}^n$
- quadratic relationship
- Noetherian rings and prime ideals
- 52-card deck probability…
- Find a formula for $\sum\limits_{k=1}^n \lfloor \sqrt{k} \rfloor$
- Heat equation with problematic boundary conditions
- Prove that $m$ is ergodic.
- Proof about Graph with no triangle