Line bundle on a curve is positive iff it has positive degree

The name of the pictureThe name of the pictureThe name of the pictureClash 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??







share|cite|improve this question

















  • 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















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??







share|cite|improve this question

















  • 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













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??







share|cite|improve this question













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??









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








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













  • 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
















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















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



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














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













































































Comments

Popular posts from this blog

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?

What is the equation of a 3D cone with generalised tilt?