Affine charts are dense in projective space
Multi tool use
$begingroup$
Given a field $k$, we define the scheme-theoretic $n$-th affine space over $k$ by $mathbb{A}^n_k=text{Spec}(k[X_1,dots,X_n])$ and the $n$-th projective space over $k$ by $mathbb{P}^n_k=text{Proj}(k[X_0,dots, X_n])$. We know $mathbb{P}^n_k$ is covered by $n+1$ affine charts given by $D_+(X_i)=mathbb{P}^n_ksmallsetminus V_+(X_i)$ for $i=0,dots, n$, each isomorphic to $mathbb{A}^n_k$.
I was asking myself if - as it happens in the naive case - each of those charts is dense in $mathbb{P}^n_k$.
Here is my attempt. Take e.g. $D_+(X_0)$. Then $D_+(X_0)$ being dense in $mathbb{P}^n_k$ is equivalent to $V_+(X_0)$ having empty interior. Suppose there exists $fin (X_0,dots, X_n)$ s.t. $D_+(f)subset V_+(X_0)$. Then every prime $mathfrak{p}in mathbb{P}^n_k$ s.t. $fnotin mathfrak{p}$ is s.t. $X_0in mathfrak{p}$, which means $D_+(fX_0)=emptyset$, i.e. $V_+(fX_0)=V_+(0)=mathbb{P}^n_k$, and thus $f=0$ since $k[X_0,dots, X_n]$ is an integral domain.
Is this proof correct? Does anyone know a shorter way to prove it?
algebraic-geometry schemes projective-space projective-schemes
$endgroup$
add a comment |
$begingroup$
Given a field $k$, we define the scheme-theoretic $n$-th affine space over $k$ by $mathbb{A}^n_k=text{Spec}(k[X_1,dots,X_n])$ and the $n$-th projective space over $k$ by $mathbb{P}^n_k=text{Proj}(k[X_0,dots, X_n])$. We know $mathbb{P}^n_k$ is covered by $n+1$ affine charts given by $D_+(X_i)=mathbb{P}^n_ksmallsetminus V_+(X_i)$ for $i=0,dots, n$, each isomorphic to $mathbb{A}^n_k$.
I was asking myself if - as it happens in the naive case - each of those charts is dense in $mathbb{P}^n_k$.
Here is my attempt. Take e.g. $D_+(X_0)$. Then $D_+(X_0)$ being dense in $mathbb{P}^n_k$ is equivalent to $V_+(X_0)$ having empty interior. Suppose there exists $fin (X_0,dots, X_n)$ s.t. $D_+(f)subset V_+(X_0)$. Then every prime $mathfrak{p}in mathbb{P}^n_k$ s.t. $fnotin mathfrak{p}$ is s.t. $X_0in mathfrak{p}$, which means $D_+(fX_0)=emptyset$, i.e. $V_+(fX_0)=V_+(0)=mathbb{P}^n_k$, and thus $f=0$ since $k[X_0,dots, X_n]$ is an integral domain.
Is this proof correct? Does anyone know a shorter way to prove it?
algebraic-geometry schemes projective-space projective-schemes
$endgroup$
$begingroup$
You can also prove it by observing the fact that $D_+(X_0)$ is dense in every chart, i.e. $D_+(X_0)cap D_+(X_i)$ is dense in $D_+(X_i)$.
$endgroup$
– Levent
Jan 11 at 14:57
add a comment |
$begingroup$
Given a field $k$, we define the scheme-theoretic $n$-th affine space over $k$ by $mathbb{A}^n_k=text{Spec}(k[X_1,dots,X_n])$ and the $n$-th projective space over $k$ by $mathbb{P}^n_k=text{Proj}(k[X_0,dots, X_n])$. We know $mathbb{P}^n_k$ is covered by $n+1$ affine charts given by $D_+(X_i)=mathbb{P}^n_ksmallsetminus V_+(X_i)$ for $i=0,dots, n$, each isomorphic to $mathbb{A}^n_k$.
I was asking myself if - as it happens in the naive case - each of those charts is dense in $mathbb{P}^n_k$.
Here is my attempt. Take e.g. $D_+(X_0)$. Then $D_+(X_0)$ being dense in $mathbb{P}^n_k$ is equivalent to $V_+(X_0)$ having empty interior. Suppose there exists $fin (X_0,dots, X_n)$ s.t. $D_+(f)subset V_+(X_0)$. Then every prime $mathfrak{p}in mathbb{P}^n_k$ s.t. $fnotin mathfrak{p}$ is s.t. $X_0in mathfrak{p}$, which means $D_+(fX_0)=emptyset$, i.e. $V_+(fX_0)=V_+(0)=mathbb{P}^n_k$, and thus $f=0$ since $k[X_0,dots, X_n]$ is an integral domain.
Is this proof correct? Does anyone know a shorter way to prove it?
algebraic-geometry schemes projective-space projective-schemes
$endgroup$
Given a field $k$, we define the scheme-theoretic $n$-th affine space over $k$ by $mathbb{A}^n_k=text{Spec}(k[X_1,dots,X_n])$ and the $n$-th projective space over $k$ by $mathbb{P}^n_k=text{Proj}(k[X_0,dots, X_n])$. We know $mathbb{P}^n_k$ is covered by $n+1$ affine charts given by $D_+(X_i)=mathbb{P}^n_ksmallsetminus V_+(X_i)$ for $i=0,dots, n$, each isomorphic to $mathbb{A}^n_k$.
I was asking myself if - as it happens in the naive case - each of those charts is dense in $mathbb{P}^n_k$.
Here is my attempt. Take e.g. $D_+(X_0)$. Then $D_+(X_0)$ being dense in $mathbb{P}^n_k$ is equivalent to $V_+(X_0)$ having empty interior. Suppose there exists $fin (X_0,dots, X_n)$ s.t. $D_+(f)subset V_+(X_0)$. Then every prime $mathfrak{p}in mathbb{P}^n_k$ s.t. $fnotin mathfrak{p}$ is s.t. $X_0in mathfrak{p}$, which means $D_+(fX_0)=emptyset$, i.e. $V_+(fX_0)=V_+(0)=mathbb{P}^n_k$, and thus $f=0$ since $k[X_0,dots, X_n]$ is an integral domain.
Is this proof correct? Does anyone know a shorter way to prove it?
algebraic-geometry schemes projective-space projective-schemes
algebraic-geometry schemes projective-space projective-schemes
asked Jan 11 at 14:10
OromisOromis
404413
404413
$begingroup$
You can also prove it by observing the fact that $D_+(X_0)$ is dense in every chart, i.e. $D_+(X_0)cap D_+(X_i)$ is dense in $D_+(X_i)$.
$endgroup$
– Levent
Jan 11 at 14:57
add a comment |
$begingroup$
You can also prove it by observing the fact that $D_+(X_0)$ is dense in every chart, i.e. $D_+(X_0)cap D_+(X_i)$ is dense in $D_+(X_i)$.
$endgroup$
– Levent
Jan 11 at 14:57
$begingroup$
You can also prove it by observing the fact that $D_+(X_0)$ is dense in every chart, i.e. $D_+(X_0)cap D_+(X_i)$ is dense in $D_+(X_i)$.
$endgroup$
– Levent
Jan 11 at 14:57
$begingroup$
You can also prove it by observing the fact that $D_+(X_0)$ is dense in every chart, i.e. $D_+(X_0)cap D_+(X_i)$ is dense in $D_+(X_i)$.
$endgroup$
– Levent
Jan 11 at 14:57
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Your argument is correct (you might just want to emphasize that the $f$ you introduce is homogeneous). The point is that the equality $V_+(fX_0)=mathbf{P}_k^n$ is equivalent to $(fX_0)cap(X_0,ldots,X_n)subseteqsqrt{0}$; the lefthand side of this inclusion is just the ideal $(fX_0)$ since $fX_0in(X_0,ldots,X_n)$, while the righthand side is $0$ (the zero ideal) since $k[X_0,ldots,X_n]$ is reduced.
This reasoning basically gets to the heart of what is going on, and I don't think it can really be shortened, although it can be modified slightly so as to be maximally general. What you are showing here is (equivalent to the assertion) that $mathbf{P}_k^n$ is irreducible. This irreducibility is inherited from the irreducibility of the standard opens $D_+(X_i)$ and the manner in which they are glued together (more precisely, that $D_+(X_i)cap D_+(X_j)neqemptyset$ for all $i,j$). In general, if you have a nonempty scheme $X$ that can be written as a union $bigcup_{iin I}X_i$ such that
(1) $I$ is nonempty,
(2) each $X_i$ is an irreducible open subset of $X$, and
(3) $X_icap X_jneqemptyset$ for all $i,jin I$,
then $X$ is irreducible. So the reasoning you are using will apply to show the irreducibility of $mathrm{Proj}(S)$ for a wider class of graded rings $S$ than just the class of polynomial rings over fields. For example, it can be applied to quotients of such rings by homogeneous prime ideals.
$endgroup$
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%2f3069864%2faffine-charts-are-dense-in-projective-space%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
$begingroup$
Your argument is correct (you might just want to emphasize that the $f$ you introduce is homogeneous). The point is that the equality $V_+(fX_0)=mathbf{P}_k^n$ is equivalent to $(fX_0)cap(X_0,ldots,X_n)subseteqsqrt{0}$; the lefthand side of this inclusion is just the ideal $(fX_0)$ since $fX_0in(X_0,ldots,X_n)$, while the righthand side is $0$ (the zero ideal) since $k[X_0,ldots,X_n]$ is reduced.
This reasoning basically gets to the heart of what is going on, and I don't think it can really be shortened, although it can be modified slightly so as to be maximally general. What you are showing here is (equivalent to the assertion) that $mathbf{P}_k^n$ is irreducible. This irreducibility is inherited from the irreducibility of the standard opens $D_+(X_i)$ and the manner in which they are glued together (more precisely, that $D_+(X_i)cap D_+(X_j)neqemptyset$ for all $i,j$). In general, if you have a nonempty scheme $X$ that can be written as a union $bigcup_{iin I}X_i$ such that
(1) $I$ is nonempty,
(2) each $X_i$ is an irreducible open subset of $X$, and
(3) $X_icap X_jneqemptyset$ for all $i,jin I$,
then $X$ is irreducible. So the reasoning you are using will apply to show the irreducibility of $mathrm{Proj}(S)$ for a wider class of graded rings $S$ than just the class of polynomial rings over fields. For example, it can be applied to quotients of such rings by homogeneous prime ideals.
$endgroup$
add a comment |
$begingroup$
Your argument is correct (you might just want to emphasize that the $f$ you introduce is homogeneous). The point is that the equality $V_+(fX_0)=mathbf{P}_k^n$ is equivalent to $(fX_0)cap(X_0,ldots,X_n)subseteqsqrt{0}$; the lefthand side of this inclusion is just the ideal $(fX_0)$ since $fX_0in(X_0,ldots,X_n)$, while the righthand side is $0$ (the zero ideal) since $k[X_0,ldots,X_n]$ is reduced.
This reasoning basically gets to the heart of what is going on, and I don't think it can really be shortened, although it can be modified slightly so as to be maximally general. What you are showing here is (equivalent to the assertion) that $mathbf{P}_k^n$ is irreducible. This irreducibility is inherited from the irreducibility of the standard opens $D_+(X_i)$ and the manner in which they are glued together (more precisely, that $D_+(X_i)cap D_+(X_j)neqemptyset$ for all $i,j$). In general, if you have a nonempty scheme $X$ that can be written as a union $bigcup_{iin I}X_i$ such that
(1) $I$ is nonempty,
(2) each $X_i$ is an irreducible open subset of $X$, and
(3) $X_icap X_jneqemptyset$ for all $i,jin I$,
then $X$ is irreducible. So the reasoning you are using will apply to show the irreducibility of $mathrm{Proj}(S)$ for a wider class of graded rings $S$ than just the class of polynomial rings over fields. For example, it can be applied to quotients of such rings by homogeneous prime ideals.
$endgroup$
add a comment |
$begingroup$
Your argument is correct (you might just want to emphasize that the $f$ you introduce is homogeneous). The point is that the equality $V_+(fX_0)=mathbf{P}_k^n$ is equivalent to $(fX_0)cap(X_0,ldots,X_n)subseteqsqrt{0}$; the lefthand side of this inclusion is just the ideal $(fX_0)$ since $fX_0in(X_0,ldots,X_n)$, while the righthand side is $0$ (the zero ideal) since $k[X_0,ldots,X_n]$ is reduced.
This reasoning basically gets to the heart of what is going on, and I don't think it can really be shortened, although it can be modified slightly so as to be maximally general. What you are showing here is (equivalent to the assertion) that $mathbf{P}_k^n$ is irreducible. This irreducibility is inherited from the irreducibility of the standard opens $D_+(X_i)$ and the manner in which they are glued together (more precisely, that $D_+(X_i)cap D_+(X_j)neqemptyset$ for all $i,j$). In general, if you have a nonempty scheme $X$ that can be written as a union $bigcup_{iin I}X_i$ such that
(1) $I$ is nonempty,
(2) each $X_i$ is an irreducible open subset of $X$, and
(3) $X_icap X_jneqemptyset$ for all $i,jin I$,
then $X$ is irreducible. So the reasoning you are using will apply to show the irreducibility of $mathrm{Proj}(S)$ for a wider class of graded rings $S$ than just the class of polynomial rings over fields. For example, it can be applied to quotients of such rings by homogeneous prime ideals.
$endgroup$
Your argument is correct (you might just want to emphasize that the $f$ you introduce is homogeneous). The point is that the equality $V_+(fX_0)=mathbf{P}_k^n$ is equivalent to $(fX_0)cap(X_0,ldots,X_n)subseteqsqrt{0}$; the lefthand side of this inclusion is just the ideal $(fX_0)$ since $fX_0in(X_0,ldots,X_n)$, while the righthand side is $0$ (the zero ideal) since $k[X_0,ldots,X_n]$ is reduced.
This reasoning basically gets to the heart of what is going on, and I don't think it can really be shortened, although it can be modified slightly so as to be maximally general. What you are showing here is (equivalent to the assertion) that $mathbf{P}_k^n$ is irreducible. This irreducibility is inherited from the irreducibility of the standard opens $D_+(X_i)$ and the manner in which they are glued together (more precisely, that $D_+(X_i)cap D_+(X_j)neqemptyset$ for all $i,j$). In general, if you have a nonempty scheme $X$ that can be written as a union $bigcup_{iin I}X_i$ such that
(1) $I$ is nonempty,
(2) each $X_i$ is an irreducible open subset of $X$, and
(3) $X_icap X_jneqemptyset$ for all $i,jin I$,
then $X$ is irreducible. So the reasoning you are using will apply to show the irreducibility of $mathrm{Proj}(S)$ for a wider class of graded rings $S$ than just the class of polynomial rings over fields. For example, it can be applied to quotients of such rings by homogeneous prime ideals.
answered Jan 11 at 23:15
Keenan KidwellKeenan Kidwell
19.9k13676
19.9k13676
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.
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%2f3069864%2faffine-charts-are-dense-in-projective-space%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
TY,373uAvz3IR1jCky P pwzKkteX X Wi jJx9YpP,n4CM63p8ouIePhNXX98,uG
$begingroup$
You can also prove it by observing the fact that $D_+(X_0)$ is dense in every chart, i.e. $D_+(X_0)cap D_+(X_i)$ is dense in $D_+(X_i)$.
$endgroup$
– Levent
Jan 11 at 14:57