Does a projective variety have only finitely many associated Hilbert polynomials?
Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
Let $X$ be a projective variety over $mathbbC$. If $L$ is an ample line bundle, then $h_L$ denotes the Hilbert polynomial.
Is it true that, if $L$ and $L'$ are ample line bundles which are equal in the Neron-Severi group, then $h_L = h_L'$?
Does this imply, together with finite generation of Neron-Severi groups, that the set of polynomials $ L $ ample line bundle on $X $ is finite?
Can anyone recommend a text (book or article) in which these things are explained (to some extent)?
ag.algebraic-geometry complex-geometry ample-bundles
New contributor
add a comment |Â
up vote
1
down vote
favorite
Let $X$ be a projective variety over $mathbbC$. If $L$ is an ample line bundle, then $h_L$ denotes the Hilbert polynomial.
Is it true that, if $L$ and $L'$ are ample line bundles which are equal in the Neron-Severi group, then $h_L = h_L'$?
Does this imply, together with finite generation of Neron-Severi groups, that the set of polynomials $ L $ ample line bundle on $X $ is finite?
Can anyone recommend a text (book or article) in which these things are explained (to some extent)?
ag.algebraic-geometry complex-geometry ample-bundles
New contributor
1
As Sasha rightly points out, the answer to the second question is negative because you can take linear combinations of line bundles. My answer to this question contains a slightly modified statement you can deduce from finite generation of the NéronâÂÂSeveri group.
â R. van Dobben de Bruyn
1 hour ago
@R.vanDobbendeBruyn Do I understand correctly that your answer says that, given a choice of generators, one obtains a "universal" polynomial $p$ (in the sense that any other Hilbert polynomial is a very specific type of specialization of this one)?
â Paolo Avi
45 mins ago
1
Yes, that is the conclusion. (It's universal in a weak sense, because it depends on some choices.) I also worked out one non-trivial example, to show that it's not so easy to get a complete parametrisation of all Hilbert polynomials obtained this way.
â R. van Dobben de Bruyn
43 mins ago
add a comment |Â
up vote
1
down vote
favorite
up vote
1
down vote
favorite
Let $X$ be a projective variety over $mathbbC$. If $L$ is an ample line bundle, then $h_L$ denotes the Hilbert polynomial.
Is it true that, if $L$ and $L'$ are ample line bundles which are equal in the Neron-Severi group, then $h_L = h_L'$?
Does this imply, together with finite generation of Neron-Severi groups, that the set of polynomials $ L $ ample line bundle on $X $ is finite?
Can anyone recommend a text (book or article) in which these things are explained (to some extent)?
ag.algebraic-geometry complex-geometry ample-bundles
New contributor
Let $X$ be a projective variety over $mathbbC$. If $L$ is an ample line bundle, then $h_L$ denotes the Hilbert polynomial.
Is it true that, if $L$ and $L'$ are ample line bundles which are equal in the Neron-Severi group, then $h_L = h_L'$?
Does this imply, together with finite generation of Neron-Severi groups, that the set of polynomials $ L $ ample line bundle on $X $ is finite?
Can anyone recommend a text (book or article) in which these things are explained (to some extent)?
ag.algebraic-geometry complex-geometry ample-bundles
ag.algebraic-geometry complex-geometry ample-bundles
New contributor
New contributor
New contributor
asked 1 hour ago
Paolo Avi
82
82
New contributor
New contributor
1
As Sasha rightly points out, the answer to the second question is negative because you can take linear combinations of line bundles. My answer to this question contains a slightly modified statement you can deduce from finite generation of the NéronâÂÂSeveri group.
â R. van Dobben de Bruyn
1 hour ago
@R.vanDobbendeBruyn Do I understand correctly that your answer says that, given a choice of generators, one obtains a "universal" polynomial $p$ (in the sense that any other Hilbert polynomial is a very specific type of specialization of this one)?
â Paolo Avi
45 mins ago
1
Yes, that is the conclusion. (It's universal in a weak sense, because it depends on some choices.) I also worked out one non-trivial example, to show that it's not so easy to get a complete parametrisation of all Hilbert polynomials obtained this way.
â R. van Dobben de Bruyn
43 mins ago
add a comment |Â
1
As Sasha rightly points out, the answer to the second question is negative because you can take linear combinations of line bundles. My answer to this question contains a slightly modified statement you can deduce from finite generation of the NéronâÂÂSeveri group.
â R. van Dobben de Bruyn
1 hour ago
@R.vanDobbendeBruyn Do I understand correctly that your answer says that, given a choice of generators, one obtains a "universal" polynomial $p$ (in the sense that any other Hilbert polynomial is a very specific type of specialization of this one)?
â Paolo Avi
45 mins ago
1
Yes, that is the conclusion. (It's universal in a weak sense, because it depends on some choices.) I also worked out one non-trivial example, to show that it's not so easy to get a complete parametrisation of all Hilbert polynomials obtained this way.
â R. van Dobben de Bruyn
43 mins ago
1
1
As Sasha rightly points out, the answer to the second question is negative because you can take linear combinations of line bundles. My answer to this question contains a slightly modified statement you can deduce from finite generation of the NéronâÂÂSeveri group.
â R. van Dobben de Bruyn
1 hour ago
As Sasha rightly points out, the answer to the second question is negative because you can take linear combinations of line bundles. My answer to this question contains a slightly modified statement you can deduce from finite generation of the NéronâÂÂSeveri group.
â R. van Dobben de Bruyn
1 hour ago
@R.vanDobbendeBruyn Do I understand correctly that your answer says that, given a choice of generators, one obtains a "universal" polynomial $p$ (in the sense that any other Hilbert polynomial is a very specific type of specialization of this one)?
â Paolo Avi
45 mins ago
@R.vanDobbendeBruyn Do I understand correctly that your answer says that, given a choice of generators, one obtains a "universal" polynomial $p$ (in the sense that any other Hilbert polynomial is a very specific type of specialization of this one)?
â Paolo Avi
45 mins ago
1
1
Yes, that is the conclusion. (It's universal in a weak sense, because it depends on some choices.) I also worked out one non-trivial example, to show that it's not so easy to get a complete parametrisation of all Hilbert polynomials obtained this way.
â R. van Dobben de Bruyn
43 mins ago
Yes, that is the conclusion. (It's universal in a weak sense, because it depends on some choices.) I also worked out one non-trivial example, to show that it's not so easy to get a complete parametrisation of all Hilbert polynomials obtained this way.
â R. van Dobben de Bruyn
43 mins ago
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
4
down vote
accepted
Yes for the first question, by Riemann--Roch.
No for the second --- even in the simplest case of a projective line, the polynomial $td + 1$ is the Hilbert polynomial (with respect to $L = O(d)$).
2
You don't really need Riemann-Roch, only that $chi$ is constant in an algebraic family.
â abx
1 hour ago
2
Should that be $td +1$? I thought the degree of the Hilbert polynomial always equals the dimension of the variety.
â Paolo Avi
46 mins ago
@abx: Of course.
â Sasha
40 mins ago
@Paolo Avi: Right, I corrected this.
â Sasha
40 mins ago
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
4
down vote
accepted
Yes for the first question, by Riemann--Roch.
No for the second --- even in the simplest case of a projective line, the polynomial $td + 1$ is the Hilbert polynomial (with respect to $L = O(d)$).
2
You don't really need Riemann-Roch, only that $chi$ is constant in an algebraic family.
â abx
1 hour ago
2
Should that be $td +1$? I thought the degree of the Hilbert polynomial always equals the dimension of the variety.
â Paolo Avi
46 mins ago
@abx: Of course.
â Sasha
40 mins ago
@Paolo Avi: Right, I corrected this.
â Sasha
40 mins ago
add a comment |Â
up vote
4
down vote
accepted
Yes for the first question, by Riemann--Roch.
No for the second --- even in the simplest case of a projective line, the polynomial $td + 1$ is the Hilbert polynomial (with respect to $L = O(d)$).
2
You don't really need Riemann-Roch, only that $chi$ is constant in an algebraic family.
â abx
1 hour ago
2
Should that be $td +1$? I thought the degree of the Hilbert polynomial always equals the dimension of the variety.
â Paolo Avi
46 mins ago
@abx: Of course.
â Sasha
40 mins ago
@Paolo Avi: Right, I corrected this.
â Sasha
40 mins ago
add a comment |Â
up vote
4
down vote
accepted
up vote
4
down vote
accepted
Yes for the first question, by Riemann--Roch.
No for the second --- even in the simplest case of a projective line, the polynomial $td + 1$ is the Hilbert polynomial (with respect to $L = O(d)$).
Yes for the first question, by Riemann--Roch.
No for the second --- even in the simplest case of a projective line, the polynomial $td + 1$ is the Hilbert polynomial (with respect to $L = O(d)$).
edited 41 mins ago
answered 1 hour ago
Sasha
19.3k22550
19.3k22550
2
You don't really need Riemann-Roch, only that $chi$ is constant in an algebraic family.
â abx
1 hour ago
2
Should that be $td +1$? I thought the degree of the Hilbert polynomial always equals the dimension of the variety.
â Paolo Avi
46 mins ago
@abx: Of course.
â Sasha
40 mins ago
@Paolo Avi: Right, I corrected this.
â Sasha
40 mins ago
add a comment |Â
2
You don't really need Riemann-Roch, only that $chi$ is constant in an algebraic family.
â abx
1 hour ago
2
Should that be $td +1$? I thought the degree of the Hilbert polynomial always equals the dimension of the variety.
â Paolo Avi
46 mins ago
@abx: Of course.
â Sasha
40 mins ago
@Paolo Avi: Right, I corrected this.
â Sasha
40 mins ago
2
2
You don't really need Riemann-Roch, only that $chi$ is constant in an algebraic family.
â abx
1 hour ago
You don't really need Riemann-Roch, only that $chi$ is constant in an algebraic family.
â abx
1 hour ago
2
2
Should that be $td +1$? I thought the degree of the Hilbert polynomial always equals the dimension of the variety.
â Paolo Avi
46 mins ago
Should that be $td +1$? I thought the degree of the Hilbert polynomial always equals the dimension of the variety.
â Paolo Avi
46 mins ago
@abx: Of course.
â Sasha
40 mins ago
@abx: Of course.
â Sasha
40 mins ago
@Paolo Avi: Right, I corrected this.
â Sasha
40 mins ago
@Paolo Avi: Right, I corrected this.
â Sasha
40 mins ago
add a comment |Â
Paolo Avi is a new contributor. Be nice, and check out our Code of Conduct.
Paolo Avi is a new contributor. Be nice, and check out our Code of Conduct.
Paolo Avi is a new contributor. Be nice, and check out our Code of Conduct.
Paolo Avi is a new contributor. Be nice, and check out our Code of Conduct.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f312748%2fdoes-a-projective-variety-have-only-finitely-many-associated-hilbert-polynomials%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
1
As Sasha rightly points out, the answer to the second question is negative because you can take linear combinations of line bundles. My answer to this question contains a slightly modified statement you can deduce from finite generation of the NéronâÂÂSeveri group.
â R. van Dobben de Bruyn
1 hour ago
@R.vanDobbendeBruyn Do I understand correctly that your answer says that, given a choice of generators, one obtains a "universal" polynomial $p$ (in the sense that any other Hilbert polynomial is a very specific type of specialization of this one)?
â Paolo Avi
45 mins ago
1
Yes, that is the conclusion. (It's universal in a weak sense, because it depends on some choices.) I also worked out one non-trivial example, to show that it's not so easy to get a complete parametrisation of all Hilbert polynomials obtained this way.
â R. van Dobben de Bruyn
43 mins ago