Line bundle on a curve is positive iff it has positive degree
Clash Royale CLAN TAG#URR8PPP
up vote
4
down vote
favorite
Let $C$ a complex curve and $L$ a holomorphic line bundle on it.
I want to show that $L$ is positive iff it has positive degree.
Here the degree is defined as $int_C c_1(L)$ and positive means that $c_1(L)$ can be represented by a positive closed real (1,1)-form, i.e. a Kähler form.
(I am not interested in a proof using Kodaira embedding thm)
One direction is easy: Let $L$ positive. Then $c_1(L)$ is a Kähler class and $deg(L)=Vol(C)>0$.
But what about the other direction? Why does $int_C c_1(L)>0$ imply that $c_1(L)$ is positive??
geometry differential-geometry complex-geometry vector-bundles riemann-surfaces
add a comment |Â
up vote
4
down vote
favorite
Let $C$ a complex curve and $L$ a holomorphic line bundle on it.
I want to show that $L$ is positive iff it has positive degree.
Here the degree is defined as $int_C c_1(L)$ and positive means that $c_1(L)$ can be represented by a positive closed real (1,1)-form, i.e. a Kähler form.
(I am not interested in a proof using Kodaira embedding thm)
One direction is easy: Let $L$ positive. Then $c_1(L)$ is a Kähler class and $deg(L)=Vol(C)>0$.
But what about the other direction? Why does $int_C c_1(L)>0$ imply that $c_1(L)$ is positive??
geometry differential-geometry complex-geometry vector-bundles riemann-surfaces
1
I suspect that if you don't use the fact that $C$ is projective, you'll have to do a Hodge-theoretic argument such as on pp. 148-150 on Griffiths-Harris. Be warned that the lemma on p. 149 is wrong: You need to assume $d$-exact (which holds in this case, of course) and the proof uses both $partial$- and $barpartial$-exactness.
â Ted Shifrin
Jul 19 at 0:04
add a comment |Â
up vote
4
down vote
favorite
up vote
4
down vote
favorite
Let $C$ a complex curve and $L$ a holomorphic line bundle on it.
I want to show that $L$ is positive iff it has positive degree.
Here the degree is defined as $int_C c_1(L)$ and positive means that $c_1(L)$ can be represented by a positive closed real (1,1)-form, i.e. a Kähler form.
(I am not interested in a proof using Kodaira embedding thm)
One direction is easy: Let $L$ positive. Then $c_1(L)$ is a Kähler class and $deg(L)=Vol(C)>0$.
But what about the other direction? Why does $int_C c_1(L)>0$ imply that $c_1(L)$ is positive??
geometry differential-geometry complex-geometry vector-bundles riemann-surfaces
Let $C$ a complex curve and $L$ a holomorphic line bundle on it.
I want to show that $L$ is positive iff it has positive degree.
Here the degree is defined as $int_C c_1(L)$ and positive means that $c_1(L)$ can be represented by a positive closed real (1,1)-form, i.e. a Kähler form.
(I am not interested in a proof using Kodaira embedding thm)
One direction is easy: Let $L$ positive. Then $c_1(L)$ is a Kähler class and $deg(L)=Vol(C)>0$.
But what about the other direction? Why does $int_C c_1(L)>0$ imply that $c_1(L)$ is positive??
geometry differential-geometry complex-geometry vector-bundles riemann-surfaces
edited Jul 18 at 21:42
asked Jul 18 at 12:10
mathsta
1638
1638
1
I suspect that if you don't use the fact that $C$ is projective, you'll have to do a Hodge-theoretic argument such as on pp. 148-150 on Griffiths-Harris. Be warned that the lemma on p. 149 is wrong: You need to assume $d$-exact (which holds in this case, of course) and the proof uses both $partial$- and $barpartial$-exactness.
â Ted Shifrin
Jul 19 at 0:04
add a comment |Â
1
I suspect that if you don't use the fact that $C$ is projective, you'll have to do a Hodge-theoretic argument such as on pp. 148-150 on Griffiths-Harris. Be warned that the lemma on p. 149 is wrong: You need to assume $d$-exact (which holds in this case, of course) and the proof uses both $partial$- and $barpartial$-exactness.
â Ted Shifrin
Jul 19 at 0:04
1
1
I suspect that if you don't use the fact that $C$ is projective, you'll have to do a Hodge-theoretic argument such as on pp. 148-150 on Griffiths-Harris. Be warned that the lemma on p. 149 is wrong: You need to assume $d$-exact (which holds in this case, of course) and the proof uses both $partial$- and $barpartial$-exactness.
â Ted Shifrin
Jul 19 at 0:04
I suspect that if you don't use the fact that $C$ is projective, you'll have to do a Hodge-theoretic argument such as on pp. 148-150 on Griffiths-Harris. Be warned that the lemma on p. 149 is wrong: You need to assume $d$-exact (which holds in this case, of course) and the proof uses both $partial$- and $barpartial$-exactness.
â Ted Shifrin
Jul 19 at 0:04
add a comment |Â
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2fmath.stackexchange.com%2fquestions%2f2855521%2fline-bundle-on-a-curve-is-positive-iff-it-has-positive-degree%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
I suspect that if you don't use the fact that $C$ is projective, you'll have to do a Hodge-theoretic argument such as on pp. 148-150 on Griffiths-Harris. Be warned that the lemma on p. 149 is wrong: You need to assume $d$-exact (which holds in this case, of course) and the proof uses both $partial$- and $barpartial$-exactness.
â Ted Shifrin
Jul 19 at 0:04