Intersection number for projective plane curves
Context: In our lecture about algebraic geometry we defined the intersection number of two algebraic curves $F,G$ to be $dim_k (mathcal{O}_P (mathbb{A}^2)/(F,G))$. Then we proved that it satisfies the 7 Properties for intersection numbers (I am not sure if these are well known or not, but I mean the ones from William Fultons book about algebraic curves).
My question is regarding the intersection number of two projective curves $F,G$, which we defined by $dim_k (mathcal{O}_P (mathbb{P}^2)/(F_*,G_*))$, where $F_*$ and $G_*$ are the corresponding dehomogenized forms. Our professor only told us that this satisfies the 7 properties again (however you have to change 2 of them a little so that they make sense in the projective case).
Now I wanted to know if you actually have to check every single one of the properties again, or if there is a short argument tracing back to the affine case.
Thx in advance!
algebraic-geometry projective-space intersection-theory projective-varieties
add a comment |
Context: In our lecture about algebraic geometry we defined the intersection number of two algebraic curves $F,G$ to be $dim_k (mathcal{O}_P (mathbb{A}^2)/(F,G))$. Then we proved that it satisfies the 7 Properties for intersection numbers (I am not sure if these are well known or not, but I mean the ones from William Fultons book about algebraic curves).
My question is regarding the intersection number of two projective curves $F,G$, which we defined by $dim_k (mathcal{O}_P (mathbb{P}^2)/(F_*,G_*))$, where $F_*$ and $G_*$ are the corresponding dehomogenized forms. Our professor only told us that this satisfies the 7 properties again (however you have to change 2 of them a little so that they make sense in the projective case).
Now I wanted to know if you actually have to check every single one of the properties again, or if there is a short argument tracing back to the affine case.
Thx in advance!
algebraic-geometry projective-space intersection-theory projective-varieties
3
Since the definition only talks about local rings at a point, one may simply work in the affine open set containing that particular point. Thus we are reduced to the affine case.
– random123
Dec 7 at 8:09
@random123 I get it now, thank you! So does the uniqueness also follow like in the affine case?
– user9620780
Dec 9 at 20:12
1
I dont see why not. The same argument as above should apply here too. It should follow as long as its local in nature. That is depends only on the local rings.
– random123
Dec 10 at 3:32
add a comment |
Context: In our lecture about algebraic geometry we defined the intersection number of two algebraic curves $F,G$ to be $dim_k (mathcal{O}_P (mathbb{A}^2)/(F,G))$. Then we proved that it satisfies the 7 Properties for intersection numbers (I am not sure if these are well known or not, but I mean the ones from William Fultons book about algebraic curves).
My question is regarding the intersection number of two projective curves $F,G$, which we defined by $dim_k (mathcal{O}_P (mathbb{P}^2)/(F_*,G_*))$, where $F_*$ and $G_*$ are the corresponding dehomogenized forms. Our professor only told us that this satisfies the 7 properties again (however you have to change 2 of them a little so that they make sense in the projective case).
Now I wanted to know if you actually have to check every single one of the properties again, or if there is a short argument tracing back to the affine case.
Thx in advance!
algebraic-geometry projective-space intersection-theory projective-varieties
Context: In our lecture about algebraic geometry we defined the intersection number of two algebraic curves $F,G$ to be $dim_k (mathcal{O}_P (mathbb{A}^2)/(F,G))$. Then we proved that it satisfies the 7 Properties for intersection numbers (I am not sure if these are well known or not, but I mean the ones from William Fultons book about algebraic curves).
My question is regarding the intersection number of two projective curves $F,G$, which we defined by $dim_k (mathcal{O}_P (mathbb{P}^2)/(F_*,G_*))$, where $F_*$ and $G_*$ are the corresponding dehomogenized forms. Our professor only told us that this satisfies the 7 properties again (however you have to change 2 of them a little so that they make sense in the projective case).
Now I wanted to know if you actually have to check every single one of the properties again, or if there is a short argument tracing back to the affine case.
Thx in advance!
algebraic-geometry projective-space intersection-theory projective-varieties
algebraic-geometry projective-space intersection-theory projective-varieties
asked Dec 6 at 17:36
user9620780
876
876
3
Since the definition only talks about local rings at a point, one may simply work in the affine open set containing that particular point. Thus we are reduced to the affine case.
– random123
Dec 7 at 8:09
@random123 I get it now, thank you! So does the uniqueness also follow like in the affine case?
– user9620780
Dec 9 at 20:12
1
I dont see why not. The same argument as above should apply here too. It should follow as long as its local in nature. That is depends only on the local rings.
– random123
Dec 10 at 3:32
add a comment |
3
Since the definition only talks about local rings at a point, one may simply work in the affine open set containing that particular point. Thus we are reduced to the affine case.
– random123
Dec 7 at 8:09
@random123 I get it now, thank you! So does the uniqueness also follow like in the affine case?
– user9620780
Dec 9 at 20:12
1
I dont see why not. The same argument as above should apply here too. It should follow as long as its local in nature. That is depends only on the local rings.
– random123
Dec 10 at 3:32
3
3
Since the definition only talks about local rings at a point, one may simply work in the affine open set containing that particular point. Thus we are reduced to the affine case.
– random123
Dec 7 at 8:09
Since the definition only talks about local rings at a point, one may simply work in the affine open set containing that particular point. Thus we are reduced to the affine case.
– random123
Dec 7 at 8:09
@random123 I get it now, thank you! So does the uniqueness also follow like in the affine case?
– user9620780
Dec 9 at 20:12
@random123 I get it now, thank you! So does the uniqueness also follow like in the affine case?
– user9620780
Dec 9 at 20:12
1
1
I dont see why not. The same argument as above should apply here too. It should follow as long as its local in nature. That is depends only on the local rings.
– random123
Dec 10 at 3:32
I dont see why not. The same argument as above should apply here too. It should follow as long as its local in nature. That is depends only on the local rings.
– random123
Dec 10 at 3:32
add a comment |
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',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3028805%2fintersection-number-for-projective-plane-curves%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3028805%2fintersection-number-for-projective-plane-curves%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
3
Since the definition only talks about local rings at a point, one may simply work in the affine open set containing that particular point. Thus we are reduced to the affine case.
– random123
Dec 7 at 8:09
@random123 I get it now, thank you! So does the uniqueness also follow like in the affine case?
– user9620780
Dec 9 at 20:12
1
I dont see why not. The same argument as above should apply here too. It should follow as long as its local in nature. That is depends only on the local rings.
– random123
Dec 10 at 3:32