# Embedding algebraic surfaces in projective space

Suppose I have a smooth complete surface $S$ embedded in $\mathbf{P}^n$. Is there a known or conjectured lower bound (preferably sharp) on the degree of $S$ in terms of its numerical invariants? In the case of curves this is the classical Castelnuovo bound (http://en.wikipedia.org/wiki/Castelnuovo_bound).

Perhaps this paper of Harris is what you are looking for: A bound on the geometric genus of projective varieties. It generalizes Castelnuovo's bound to smooth projective varieties of arbitrary dimension. In page 44, we find the following statement:

Theorem. Let $V$ be a non-degenerated smooth and irreducible variety of dimension $k$ and degree $d$ in $\mathbb P^n$. If we set $M=\left[ > \frac{d-1}{n-k}\right]$ then $$> h^0(V,\Omega^k_V) \le \binom{M}{k+1} (n-k) + \binom{M}{k} (d-1-M(n-k)).$$ In particular, if $d \le k(n-k) + 1$ then $h^0(V, \Omega^k_V)=0.$

• Is the bound in Harris's paper known to be sharp in all degrees and dimensions?
– Alex
Jun 19, 2012 at 18:05
• Yes. Look at page 65 of Harris' paper. Jun 19, 2012 at 21:07

This is not really an answer, but it's too long for a comment: since Alex was asking for bound in terms of numerical invariants, I'll try to give another point of view (which will be certainly less precise of Harris' result explained by jvp) which could perhaps be of some interest.

Let $S$ be a smooth surface and suppose $A\to X$ is an ample line bundle. Then some multiple $m_0 A$ of $A$ will give an embedding of $S$ in some projective space $\mathbb P^N$. After the embedding, the very ample line bundle $m_0 A$ "becomes" isomorphic tautologically to the restriction $\mathcal O_X(1)$ of $\mathcal O(1)$ to $X$, and the degree of $S$ relative to this embedding is just $\mathcal O_X(1)^2=m_0^2 A^2$.

Now, given an ample line bundle $A$ on a $n$-dimensional smooth projective manifold, an important problem of algebraic geometry is to ﬁnd eﬀective bounds $m_0$ such that multiples $mA$ of $A$ become very ample for $m \ge m_0$ . From a theoretical point of view, this problem has been solved by Matsusaka and Kollár-Matsusaka. Their result is that there is a bound $m_0 = m_0 (n, A^n, A^{n−1}\cdot K_X )$ depending only on the dimension and on the ﬁrst two coeﬃcients $A^n$ and $A^{n−1}\cdot K_X$ in the Hilbert polynomial of $A$.

Later on, Siu gave an effective version of the Big Mastusaka theorem, which reads as follow:

Theorem. (Siu '93). Let $A$ be an ample holomorphic line bundle over a compact complex manifold $X$ of complex dimension $n$ with canonical line bundle $K_X$. Then $mA$ is very ample for $$m\ge m_0:=\frac{(2^{3^{n-1}}5n)^{4^{n-1}}(3(3n-2)^nA^n+K_X\cdot L^{n-1})^{4^{n-1}3n}}{(6(3n-2)^n-2n-2)^{4^{n-1}n-\frac 23}(A^n)^{4^{n-1}3(n-1)}}.$$

Thus, if you fix any polarization on your (abstract) manifold, then you get a lower bound on the degree of the embedding with respect to this polarization only in numerical terms.

• "and this is to impress you with numbers" siu icm2002 Jun 19, 2014 at 10:57