Classification of Complex Surfaces. Illustrations of the failure of genus to provide a good classification.
$begingroup$
Suppose that $X$ is a complex projective curve, i.e., a compact Riemann surface. In this case, a very useful invariant of such objects is the genus, a topological property of the manifold which signifies the number of holes in the Riemann surface.
In the minimal model program (which we may, for our purposes here restrict attention to surfaces) we look for a classification of projective varieties (over $mathbb{C}$) up to birational isomorphism. A useful invariant is the Kodaira dimension of the projective surface (see, e.g., https://en.wikipedia.org/wiki/Kodaira_dimension). The genus of a complex projective surface does not tell us much and does not provide a useful invariant for projective varieties of dimension greater than one.
My question is:
Are there any concrete illustrations which show how bad the genus is as a birational invariant of projective varieties $X$, where $dim_{mathbb{C}} X geq 2$?
algebraic-geometry complex-geometry projective-geometry
$endgroup$
add a comment |
$begingroup$
Suppose that $X$ is a complex projective curve, i.e., a compact Riemann surface. In this case, a very useful invariant of such objects is the genus, a topological property of the manifold which signifies the number of holes in the Riemann surface.
In the minimal model program (which we may, for our purposes here restrict attention to surfaces) we look for a classification of projective varieties (over $mathbb{C}$) up to birational isomorphism. A useful invariant is the Kodaira dimension of the projective surface (see, e.g., https://en.wikipedia.org/wiki/Kodaira_dimension). The genus of a complex projective surface does not tell us much and does not provide a useful invariant for projective varieties of dimension greater than one.
My question is:
Are there any concrete illustrations which show how bad the genus is as a birational invariant of projective varieties $X$, where $dim_{mathbb{C}} X geq 2$?
algebraic-geometry complex-geometry projective-geometry
$endgroup$
1
$begingroup$
That there are a bunch of non-isomorphic products of two elliptic curves having $g=1,P_g = 1$ ?
$endgroup$
– reuns
Jan 23 at 0:45
$begingroup$
@reuns What is your $P_g$ here? The Plurigenus?
$endgroup$
– Kyle Broder
Jan 23 at 1:29
1
$begingroup$
What definition of genus are you using for surfaces?
$endgroup$
– Mohan
Jan 23 at 2:28
add a comment |
$begingroup$
Suppose that $X$ is a complex projective curve, i.e., a compact Riemann surface. In this case, a very useful invariant of such objects is the genus, a topological property of the manifold which signifies the number of holes in the Riemann surface.
In the minimal model program (which we may, for our purposes here restrict attention to surfaces) we look for a classification of projective varieties (over $mathbb{C}$) up to birational isomorphism. A useful invariant is the Kodaira dimension of the projective surface (see, e.g., https://en.wikipedia.org/wiki/Kodaira_dimension). The genus of a complex projective surface does not tell us much and does not provide a useful invariant for projective varieties of dimension greater than one.
My question is:
Are there any concrete illustrations which show how bad the genus is as a birational invariant of projective varieties $X$, where $dim_{mathbb{C}} X geq 2$?
algebraic-geometry complex-geometry projective-geometry
$endgroup$
Suppose that $X$ is a complex projective curve, i.e., a compact Riemann surface. In this case, a very useful invariant of such objects is the genus, a topological property of the manifold which signifies the number of holes in the Riemann surface.
In the minimal model program (which we may, for our purposes here restrict attention to surfaces) we look for a classification of projective varieties (over $mathbb{C}$) up to birational isomorphism. A useful invariant is the Kodaira dimension of the projective surface (see, e.g., https://en.wikipedia.org/wiki/Kodaira_dimension). The genus of a complex projective surface does not tell us much and does not provide a useful invariant for projective varieties of dimension greater than one.
My question is:
Are there any concrete illustrations which show how bad the genus is as a birational invariant of projective varieties $X$, where $dim_{mathbb{C}} X geq 2$?
algebraic-geometry complex-geometry projective-geometry
algebraic-geometry complex-geometry projective-geometry
asked Jan 22 at 23:35
Kyle BroderKyle Broder
437
437
1
$begingroup$
That there are a bunch of non-isomorphic products of two elliptic curves having $g=1,P_g = 1$ ?
$endgroup$
– reuns
Jan 23 at 0:45
$begingroup$
@reuns What is your $P_g$ here? The Plurigenus?
$endgroup$
– Kyle Broder
Jan 23 at 1:29
1
$begingroup$
What definition of genus are you using for surfaces?
$endgroup$
– Mohan
Jan 23 at 2:28
add a comment |
1
$begingroup$
That there are a bunch of non-isomorphic products of two elliptic curves having $g=1,P_g = 1$ ?
$endgroup$
– reuns
Jan 23 at 0:45
$begingroup$
@reuns What is your $P_g$ here? The Plurigenus?
$endgroup$
– Kyle Broder
Jan 23 at 1:29
1
$begingroup$
What definition of genus are you using for surfaces?
$endgroup$
– Mohan
Jan 23 at 2:28
1
1
$begingroup$
That there are a bunch of non-isomorphic products of two elliptic curves having $g=1,P_g = 1$ ?
$endgroup$
– reuns
Jan 23 at 0:45
$begingroup$
That there are a bunch of non-isomorphic products of two elliptic curves having $g=1,P_g = 1$ ?
$endgroup$
– reuns
Jan 23 at 0:45
$begingroup$
@reuns What is your $P_g$ here? The Plurigenus?
$endgroup$
– Kyle Broder
Jan 23 at 1:29
$begingroup$
@reuns What is your $P_g$ here? The Plurigenus?
$endgroup$
– Kyle Broder
Jan 23 at 1:29
1
1
$begingroup$
What definition of genus are you using for surfaces?
$endgroup$
– Mohan
Jan 23 at 2:28
$begingroup$
What definition of genus are you using for surfaces?
$endgroup$
– Mohan
Jan 23 at 2:28
add a comment |
0
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%2f3083875%2fclassification-of-complex-surfaces-illustrations-of-the-failure-of-genus-to-pro%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
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.
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%2f3083875%2fclassification-of-complex-surfaces-illustrations-of-the-failure-of-genus-to-pro%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
1
$begingroup$
That there are a bunch of non-isomorphic products of two elliptic curves having $g=1,P_g = 1$ ?
$endgroup$
– reuns
Jan 23 at 0:45
$begingroup$
@reuns What is your $P_g$ here? The Plurigenus?
$endgroup$
– Kyle Broder
Jan 23 at 1:29
1
$begingroup$
What definition of genus are you using for surfaces?
$endgroup$
– Mohan
Jan 23 at 2:28