MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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 (

share|cite|improve this question
up vote 10 down vote accepted

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.$

share|cite|improve this answer
Is the bound in Harris's paper known to be sharp in all degrees and dimensions? – Alex Jun 19 '12 at 18:05
Yes. Look at page 65 of Harris' paper. – Jorge Vitório Pereira Jun 19 '12 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 find effective 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 first two coefficients $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.

share|cite|improve this answer
"and this is to impress you with numbers" siu icm2002 – Koushik Jun 19 '14 at 10:57

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.