Affine charts are dense in projective space

Multi tool use
Multi tool use












3












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










share|cite|improve this question









$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


















3












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










share|cite|improve this question









$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
















3












3








3





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










share|cite|improve this question









$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






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










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




















  • $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












1 Answer
1






active

oldest

votes


















1












$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.






share|cite|improve this answer









$endgroup$














    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
    });


    }
    });














    draft saved

    draft discarded


















    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









    1












    $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.






    share|cite|improve this answer









    $endgroup$


















      1












      $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.






      share|cite|improve this answer









      $endgroup$
















        1












        1








        1





        $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.






        share|cite|improve this answer









        $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.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jan 11 at 23:15









        Keenan KidwellKeenan Kidwell

        19.9k13676




        19.9k13676






























            draft saved

            draft discarded




















































            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.




            draft saved


            draft discarded














            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





















































            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
            CnSJUM176 jJOtCPs5,0y5S,ym Q,NYyzodTl78z g9eEE,yC,i7U7GhZek7S,Eq9AP20Aga,fhxWkyt3 RYPBO

            Popular posts from this blog

            Bressuire

            Cabo Verde

            Gyllenstierna