Reference request: most hyperplane sections contain one node
Let $Xsubset mathbb {CP}^n$ be a smooth hypersurface. It is known that most of hyperplane sections are smooth. My question is
Is it true that most of the singular sections contain one node?
I think it is true and also used it for a long time, but I just realized I never knew how to prove this. Could someone give a reference about it?
I also tried to do computation directly. For hypersurfaces of degree $2$, they are all of the form like $x^2+y^2+z^2+w^2=0$, so easy to see all the sections are smooth. For higher degree I don't know a good way to do it.
algebraic-geometry reference-request complex-geometry
|
show 8 more comments
Let $Xsubset mathbb {CP}^n$ be a smooth hypersurface. It is known that most of hyperplane sections are smooth. My question is
Is it true that most of the singular sections contain one node?
I think it is true and also used it for a long time, but I just realized I never knew how to prove this. Could someone give a reference about it?
I also tried to do computation directly. For hypersurfaces of degree $2$, they are all of the form like $x^2+y^2+z^2+w^2=0$, so easy to see all the sections are smooth. For higher degree I don't know a good way to do it.
algebraic-geometry reference-request complex-geometry
I don't understand what do you mean for hypersurface of degree $2$ : for example the intersection of $x_0 = 0$ with $x_0^2 + x_1^2 + dots + x_n^2 = 0$ gives you a singular quadric.
– Nicolas Hemelsoet
Nov 18 at 17:12
It's always possible to find a pencil of hyperplane sections such that the singular sections contain at worst one node. These are called Lefschetz pencils. Is that what you're looking for?
– Samir Canning
Nov 18 at 18:50
@NicolasHemelsoet Isn't the intersection still smooth? We are considering the homogenous coordinate.
– Akatsuki
Nov 18 at 19:19
@Akatsuki : no since there is one less variable, e.g $x_1^2 + x_2^2 = 0$ is not smooth in $Bbb P^2$ since it's a union of two lines intersecting at a point. In general, quadrics in $Bbb P^n$ are classified by their rank, and smooth only if the rank is maximal.
– Nicolas Hemelsoet
Nov 18 at 19:22
Also I have no ideas for a reference sorry, but maybe the first pages of Lamotke's article about topology of projective varieties contains something ?
– Nicolas Hemelsoet
Nov 18 at 19:24
|
show 8 more comments
Let $Xsubset mathbb {CP}^n$ be a smooth hypersurface. It is known that most of hyperplane sections are smooth. My question is
Is it true that most of the singular sections contain one node?
I think it is true and also used it for a long time, but I just realized I never knew how to prove this. Could someone give a reference about it?
I also tried to do computation directly. For hypersurfaces of degree $2$, they are all of the form like $x^2+y^2+z^2+w^2=0$, so easy to see all the sections are smooth. For higher degree I don't know a good way to do it.
algebraic-geometry reference-request complex-geometry
Let $Xsubset mathbb {CP}^n$ be a smooth hypersurface. It is known that most of hyperplane sections are smooth. My question is
Is it true that most of the singular sections contain one node?
I think it is true and also used it for a long time, but I just realized I never knew how to prove this. Could someone give a reference about it?
I also tried to do computation directly. For hypersurfaces of degree $2$, they are all of the form like $x^2+y^2+z^2+w^2=0$, so easy to see all the sections are smooth. For higher degree I don't know a good way to do it.
algebraic-geometry reference-request complex-geometry
algebraic-geometry reference-request complex-geometry
asked Nov 18 at 16:55
Akatsuki
9771724
9771724
I don't understand what do you mean for hypersurface of degree $2$ : for example the intersection of $x_0 = 0$ with $x_0^2 + x_1^2 + dots + x_n^2 = 0$ gives you a singular quadric.
– Nicolas Hemelsoet
Nov 18 at 17:12
It's always possible to find a pencil of hyperplane sections such that the singular sections contain at worst one node. These are called Lefschetz pencils. Is that what you're looking for?
– Samir Canning
Nov 18 at 18:50
@NicolasHemelsoet Isn't the intersection still smooth? We are considering the homogenous coordinate.
– Akatsuki
Nov 18 at 19:19
@Akatsuki : no since there is one less variable, e.g $x_1^2 + x_2^2 = 0$ is not smooth in $Bbb P^2$ since it's a union of two lines intersecting at a point. In general, quadrics in $Bbb P^n$ are classified by their rank, and smooth only if the rank is maximal.
– Nicolas Hemelsoet
Nov 18 at 19:22
Also I have no ideas for a reference sorry, but maybe the first pages of Lamotke's article about topology of projective varieties contains something ?
– Nicolas Hemelsoet
Nov 18 at 19:24
|
show 8 more comments
I don't understand what do you mean for hypersurface of degree $2$ : for example the intersection of $x_0 = 0$ with $x_0^2 + x_1^2 + dots + x_n^2 = 0$ gives you a singular quadric.
– Nicolas Hemelsoet
Nov 18 at 17:12
It's always possible to find a pencil of hyperplane sections such that the singular sections contain at worst one node. These are called Lefschetz pencils. Is that what you're looking for?
– Samir Canning
Nov 18 at 18:50
@NicolasHemelsoet Isn't the intersection still smooth? We are considering the homogenous coordinate.
– Akatsuki
Nov 18 at 19:19
@Akatsuki : no since there is one less variable, e.g $x_1^2 + x_2^2 = 0$ is not smooth in $Bbb P^2$ since it's a union of two lines intersecting at a point. In general, quadrics in $Bbb P^n$ are classified by their rank, and smooth only if the rank is maximal.
– Nicolas Hemelsoet
Nov 18 at 19:22
Also I have no ideas for a reference sorry, but maybe the first pages of Lamotke's article about topology of projective varieties contains something ?
– Nicolas Hemelsoet
Nov 18 at 19:24
I don't understand what do you mean for hypersurface of degree $2$ : for example the intersection of $x_0 = 0$ with $x_0^2 + x_1^2 + dots + x_n^2 = 0$ gives you a singular quadric.
– Nicolas Hemelsoet
Nov 18 at 17:12
I don't understand what do you mean for hypersurface of degree $2$ : for example the intersection of $x_0 = 0$ with $x_0^2 + x_1^2 + dots + x_n^2 = 0$ gives you a singular quadric.
– Nicolas Hemelsoet
Nov 18 at 17:12
It's always possible to find a pencil of hyperplane sections such that the singular sections contain at worst one node. These are called Lefschetz pencils. Is that what you're looking for?
– Samir Canning
Nov 18 at 18:50
It's always possible to find a pencil of hyperplane sections such that the singular sections contain at worst one node. These are called Lefschetz pencils. Is that what you're looking for?
– Samir Canning
Nov 18 at 18:50
@NicolasHemelsoet Isn't the intersection still smooth? We are considering the homogenous coordinate.
– Akatsuki
Nov 18 at 19:19
@NicolasHemelsoet Isn't the intersection still smooth? We are considering the homogenous coordinate.
– Akatsuki
Nov 18 at 19:19
@Akatsuki : no since there is one less variable, e.g $x_1^2 + x_2^2 = 0$ is not smooth in $Bbb P^2$ since it's a union of two lines intersecting at a point. In general, quadrics in $Bbb P^n$ are classified by their rank, and smooth only if the rank is maximal.
– Nicolas Hemelsoet
Nov 18 at 19:22
@Akatsuki : no since there is one less variable, e.g $x_1^2 + x_2^2 = 0$ is not smooth in $Bbb P^2$ since it's a union of two lines intersecting at a point. In general, quadrics in $Bbb P^n$ are classified by their rank, and smooth only if the rank is maximal.
– Nicolas Hemelsoet
Nov 18 at 19:22
Also I have no ideas for a reference sorry, but maybe the first pages of Lamotke's article about topology of projective varieties contains something ?
– Nicolas Hemelsoet
Nov 18 at 19:24
Also I have no ideas for a reference sorry, but maybe the first pages of Lamotke's article about topology of projective varieties contains something ?
– Nicolas Hemelsoet
Nov 18 at 19:24
|
show 8 more comments
1 Answer
1
active
oldest
votes
Proposition : Let $hat{X}$ be the dual variety. Let $T subset hat{Bbb P^n}$ be a line such that $T$ avoids the singular locus of $hat{X}$ and is transverse to $hat{X}$ : then $H_t cap X$ is a Lefschetz pencil.
Clearly, this implies that if $t$ is not in the singular locus of $hat{X}$ then $H_t cap X$ has a nodal singularity. Since the singular hyperplanes sections are parametrized by $hat{X}$ (also proved in Lamotke) you obtain that a generic singular hyperplane section has nodal singularities.
For a proof of the proposition, see "The topology of projective algebraic varieties after S.Lefschetz" by K. Lamotke, paragraph 1.6, in particular 1.6.4.
add a comment |
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%2f3003782%2freference-request-most-hyperplane-sections-contain-one-node%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
Proposition : Let $hat{X}$ be the dual variety. Let $T subset hat{Bbb P^n}$ be a line such that $T$ avoids the singular locus of $hat{X}$ and is transverse to $hat{X}$ : then $H_t cap X$ is a Lefschetz pencil.
Clearly, this implies that if $t$ is not in the singular locus of $hat{X}$ then $H_t cap X$ has a nodal singularity. Since the singular hyperplanes sections are parametrized by $hat{X}$ (also proved in Lamotke) you obtain that a generic singular hyperplane section has nodal singularities.
For a proof of the proposition, see "The topology of projective algebraic varieties after S.Lefschetz" by K. Lamotke, paragraph 1.6, in particular 1.6.4.
add a comment |
Proposition : Let $hat{X}$ be the dual variety. Let $T subset hat{Bbb P^n}$ be a line such that $T$ avoids the singular locus of $hat{X}$ and is transverse to $hat{X}$ : then $H_t cap X$ is a Lefschetz pencil.
Clearly, this implies that if $t$ is not in the singular locus of $hat{X}$ then $H_t cap X$ has a nodal singularity. Since the singular hyperplanes sections are parametrized by $hat{X}$ (also proved in Lamotke) you obtain that a generic singular hyperplane section has nodal singularities.
For a proof of the proposition, see "The topology of projective algebraic varieties after S.Lefschetz" by K. Lamotke, paragraph 1.6, in particular 1.6.4.
add a comment |
Proposition : Let $hat{X}$ be the dual variety. Let $T subset hat{Bbb P^n}$ be a line such that $T$ avoids the singular locus of $hat{X}$ and is transverse to $hat{X}$ : then $H_t cap X$ is a Lefschetz pencil.
Clearly, this implies that if $t$ is not in the singular locus of $hat{X}$ then $H_t cap X$ has a nodal singularity. Since the singular hyperplanes sections are parametrized by $hat{X}$ (also proved in Lamotke) you obtain that a generic singular hyperplane section has nodal singularities.
For a proof of the proposition, see "The topology of projective algebraic varieties after S.Lefschetz" by K. Lamotke, paragraph 1.6, in particular 1.6.4.
Proposition : Let $hat{X}$ be the dual variety. Let $T subset hat{Bbb P^n}$ be a line such that $T$ avoids the singular locus of $hat{X}$ and is transverse to $hat{X}$ : then $H_t cap X$ is a Lefschetz pencil.
Clearly, this implies that if $t$ is not in the singular locus of $hat{X}$ then $H_t cap X$ has a nodal singularity. Since the singular hyperplanes sections are parametrized by $hat{X}$ (also proved in Lamotke) you obtain that a generic singular hyperplane section has nodal singularities.
For a proof of the proposition, see "The topology of projective algebraic varieties after S.Lefschetz" by K. Lamotke, paragraph 1.6, in particular 1.6.4.
answered Nov 20 at 22:49
Nicolas Hemelsoet
5,7452417
5,7452417
add a comment |
add a comment |
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%2f3003782%2freference-request-most-hyperplane-sections-contain-one-node%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
I don't understand what do you mean for hypersurface of degree $2$ : for example the intersection of $x_0 = 0$ with $x_0^2 + x_1^2 + dots + x_n^2 = 0$ gives you a singular quadric.
– Nicolas Hemelsoet
Nov 18 at 17:12
It's always possible to find a pencil of hyperplane sections such that the singular sections contain at worst one node. These are called Lefschetz pencils. Is that what you're looking for?
– Samir Canning
Nov 18 at 18:50
@NicolasHemelsoet Isn't the intersection still smooth? We are considering the homogenous coordinate.
– Akatsuki
Nov 18 at 19:19
@Akatsuki : no since there is one less variable, e.g $x_1^2 + x_2^2 = 0$ is not smooth in $Bbb P^2$ since it's a union of two lines intersecting at a point. In general, quadrics in $Bbb P^n$ are classified by their rank, and smooth only if the rank is maximal.
– Nicolas Hemelsoet
Nov 18 at 19:22
Also I have no ideas for a reference sorry, but maybe the first pages of Lamotke's article about topology of projective varieties contains something ?
– Nicolas Hemelsoet
Nov 18 at 19:24