Noetherian spectral space comes from noetherian ring?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
8
down vote

favorite
3












Let $X$ be a spectral space (en.wikipedia.org/wiki/Spectral_space), i.e. a space of the form $textrmSpec(A)$ for some commutative ring $A$. If $X$ is noetherian, does there also exist a noetherian ring $B$ such that $X=textrmSpec(B)$?










share|cite|improve this question



















  • 1




    $mathrmSpec$ is an (anti-)equivalence from commutative rings to affine scheme, so two rings are isomorphic iff their Spec's are. So, if such a noetherian $B$ exists, your $A$ was already isomorphic to it.
    – Qfwfq
    7 hours ago






  • 1




    Oh yes, you're totally right, it's the underlying top space of the Spec not the scheme
    – Qfwfq
    7 hours ago






  • 5




    I wonder if Hochster's thesis addresses this? Off the top of my head, I don't know how to make the following Noetherian topological space $p,q,r$, with open sets $ p,q,r, p,q, p $, as the spectrum of a Noetherian ring (it's the spectrum of the non-discrete valuation ring associated to $mathbbZ times mathbbZ$ with the lex order).
    – Karl Schwede
    6 hours ago











  • @KarlSchwede - You may want to take look at my comment below.
    – Pierre-Yves Gaillard
    5 hours ago














up vote
8
down vote

favorite
3












Let $X$ be a spectral space (en.wikipedia.org/wiki/Spectral_space), i.e. a space of the form $textrmSpec(A)$ for some commutative ring $A$. If $X$ is noetherian, does there also exist a noetherian ring $B$ such that $X=textrmSpec(B)$?










share|cite|improve this question



















  • 1




    $mathrmSpec$ is an (anti-)equivalence from commutative rings to affine scheme, so two rings are isomorphic iff their Spec's are. So, if such a noetherian $B$ exists, your $A$ was already isomorphic to it.
    – Qfwfq
    7 hours ago






  • 1




    Oh yes, you're totally right, it's the underlying top space of the Spec not the scheme
    – Qfwfq
    7 hours ago






  • 5




    I wonder if Hochster's thesis addresses this? Off the top of my head, I don't know how to make the following Noetherian topological space $p,q,r$, with open sets $ p,q,r, p,q, p $, as the spectrum of a Noetherian ring (it's the spectrum of the non-discrete valuation ring associated to $mathbbZ times mathbbZ$ with the lex order).
    – Karl Schwede
    6 hours ago











  • @KarlSchwede - You may want to take look at my comment below.
    – Pierre-Yves Gaillard
    5 hours ago












up vote
8
down vote

favorite
3









up vote
8
down vote

favorite
3






3





Let $X$ be a spectral space (en.wikipedia.org/wiki/Spectral_space), i.e. a space of the form $textrmSpec(A)$ for some commutative ring $A$. If $X$ is noetherian, does there also exist a noetherian ring $B$ such that $X=textrmSpec(B)$?










share|cite|improve this question















Let $X$ be a spectral space (en.wikipedia.org/wiki/Spectral_space), i.e. a space of the form $textrmSpec(A)$ for some commutative ring $A$. If $X$ is noetherian, does there also exist a noetherian ring $B$ such that $X=textrmSpec(B)$?







ag.algebraic-geometry ac.commutative-algebra gn.general-topology






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 7 hours ago









მამუკა ჯიბლაძე

7,715242110




7,715242110










asked 7 hours ago









Hans

807411




807411







  • 1




    $mathrmSpec$ is an (anti-)equivalence from commutative rings to affine scheme, so two rings are isomorphic iff their Spec's are. So, if such a noetherian $B$ exists, your $A$ was already isomorphic to it.
    – Qfwfq
    7 hours ago






  • 1




    Oh yes, you're totally right, it's the underlying top space of the Spec not the scheme
    – Qfwfq
    7 hours ago






  • 5




    I wonder if Hochster's thesis addresses this? Off the top of my head, I don't know how to make the following Noetherian topological space $p,q,r$, with open sets $ p,q,r, p,q, p $, as the spectrum of a Noetherian ring (it's the spectrum of the non-discrete valuation ring associated to $mathbbZ times mathbbZ$ with the lex order).
    – Karl Schwede
    6 hours ago











  • @KarlSchwede - You may want to take look at my comment below.
    – Pierre-Yves Gaillard
    5 hours ago












  • 1




    $mathrmSpec$ is an (anti-)equivalence from commutative rings to affine scheme, so two rings are isomorphic iff their Spec's are. So, if such a noetherian $B$ exists, your $A$ was already isomorphic to it.
    – Qfwfq
    7 hours ago






  • 1




    Oh yes, you're totally right, it's the underlying top space of the Spec not the scheme
    – Qfwfq
    7 hours ago






  • 5




    I wonder if Hochster's thesis addresses this? Off the top of my head, I don't know how to make the following Noetherian topological space $p,q,r$, with open sets $ p,q,r, p,q, p $, as the spectrum of a Noetherian ring (it's the spectrum of the non-discrete valuation ring associated to $mathbbZ times mathbbZ$ with the lex order).
    – Karl Schwede
    6 hours ago











  • @KarlSchwede - You may want to take look at my comment below.
    – Pierre-Yves Gaillard
    5 hours ago







1




1




$mathrmSpec$ is an (anti-)equivalence from commutative rings to affine scheme, so two rings are isomorphic iff their Spec's are. So, if such a noetherian $B$ exists, your $A$ was already isomorphic to it.
– Qfwfq
7 hours ago




$mathrmSpec$ is an (anti-)equivalence from commutative rings to affine scheme, so two rings are isomorphic iff their Spec's are. So, if such a noetherian $B$ exists, your $A$ was already isomorphic to it.
– Qfwfq
7 hours ago




1




1




Oh yes, you're totally right, it's the underlying top space of the Spec not the scheme
– Qfwfq
7 hours ago




Oh yes, you're totally right, it's the underlying top space of the Spec not the scheme
– Qfwfq
7 hours ago




5




5




I wonder if Hochster's thesis addresses this? Off the top of my head, I don't know how to make the following Noetherian topological space $p,q,r$, with open sets $ p,q,r, p,q, p $, as the spectrum of a Noetherian ring (it's the spectrum of the non-discrete valuation ring associated to $mathbbZ times mathbbZ$ with the lex order).
– Karl Schwede
6 hours ago





I wonder if Hochster's thesis addresses this? Off the top of my head, I don't know how to make the following Noetherian topological space $p,q,r$, with open sets $ p,q,r, p,q, p $, as the spectrum of a Noetherian ring (it's the spectrum of the non-discrete valuation ring associated to $mathbbZ times mathbbZ$ with the lex order).
– Karl Schwede
6 hours ago













@KarlSchwede - You may want to take look at my comment below.
– Pierre-Yves Gaillard
5 hours ago




@KarlSchwede - You may want to take look at my comment below.
– Pierre-Yves Gaillard
5 hours ago










1 Answer
1






active

oldest

votes

















up vote
5
down vote



accepted










Graph $N_5$ with poset order topology (i.e. poset $M=p,q,r, P_2=p,q, P_1=p, Q=r, N=phi$) is not Spec($A$) for Noetherian $A$ because if $a in Q-P_2$ then 1 = dim$(A/a)$ = dim$(A)-1$ = 2 by the principal ideal theorem.






share|cite|improve this answer
















  • 5




    See also top of p. 48 in Ring constructions on spectral spaces by Christopher Francis Tedd escholar.manchester.ac.uk/jrul/item/?pid=uk-ac-man-scw:307012 --- link to the PDF file: escholar.manchester.ac.uk/api/…
    – Pierre-Yves Gaillard
    5 hours ago











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: "504"
;
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',
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%2fmathoverflow.net%2fquestions%2f315031%2fnoetherian-spectral-space-comes-from-noetherian-ring%23new-answer', 'question_page');

);

Post as a guest






























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
5
down vote



accepted










Graph $N_5$ with poset order topology (i.e. poset $M=p,q,r, P_2=p,q, P_1=p, Q=r, N=phi$) is not Spec($A$) for Noetherian $A$ because if $a in Q-P_2$ then 1 = dim$(A/a)$ = dim$(A)-1$ = 2 by the principal ideal theorem.






share|cite|improve this answer
















  • 5




    See also top of p. 48 in Ring constructions on spectral spaces by Christopher Francis Tedd escholar.manchester.ac.uk/jrul/item/?pid=uk-ac-man-scw:307012 --- link to the PDF file: escholar.manchester.ac.uk/api/…
    – Pierre-Yves Gaillard
    5 hours ago















up vote
5
down vote



accepted










Graph $N_5$ with poset order topology (i.e. poset $M=p,q,r, P_2=p,q, P_1=p, Q=r, N=phi$) is not Spec($A$) for Noetherian $A$ because if $a in Q-P_2$ then 1 = dim$(A/a)$ = dim$(A)-1$ = 2 by the principal ideal theorem.






share|cite|improve this answer
















  • 5




    See also top of p. 48 in Ring constructions on spectral spaces by Christopher Francis Tedd escholar.manchester.ac.uk/jrul/item/?pid=uk-ac-man-scw:307012 --- link to the PDF file: escholar.manchester.ac.uk/api/…
    – Pierre-Yves Gaillard
    5 hours ago













up vote
5
down vote



accepted







up vote
5
down vote



accepted






Graph $N_5$ with poset order topology (i.e. poset $M=p,q,r, P_2=p,q, P_1=p, Q=r, N=phi$) is not Spec($A$) for Noetherian $A$ because if $a in Q-P_2$ then 1 = dim$(A/a)$ = dim$(A)-1$ = 2 by the principal ideal theorem.






share|cite|improve this answer












Graph $N_5$ with poset order topology (i.e. poset $M=p,q,r, P_2=p,q, P_1=p, Q=r, N=phi$) is not Spec($A$) for Noetherian $A$ because if $a in Q-P_2$ then 1 = dim$(A/a)$ = dim$(A)-1$ = 2 by the principal ideal theorem.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered 5 hours ago









David Lampert

1,654169




1,654169







  • 5




    See also top of p. 48 in Ring constructions on spectral spaces by Christopher Francis Tedd escholar.manchester.ac.uk/jrul/item/?pid=uk-ac-man-scw:307012 --- link to the PDF file: escholar.manchester.ac.uk/api/…
    – Pierre-Yves Gaillard
    5 hours ago













  • 5




    See also top of p. 48 in Ring constructions on spectral spaces by Christopher Francis Tedd escholar.manchester.ac.uk/jrul/item/?pid=uk-ac-man-scw:307012 --- link to the PDF file: escholar.manchester.ac.uk/api/…
    – Pierre-Yves Gaillard
    5 hours ago








5




5




See also top of p. 48 in Ring constructions on spectral spaces by Christopher Francis Tedd escholar.manchester.ac.uk/jrul/item/?pid=uk-ac-man-scw:307012 --- link to the PDF file: escholar.manchester.ac.uk/api/…
– Pierre-Yves Gaillard
5 hours ago





See also top of p. 48 in Ring constructions on spectral spaces by Christopher Francis Tedd escholar.manchester.ac.uk/jrul/item/?pid=uk-ac-man-scw:307012 --- link to the PDF file: escholar.manchester.ac.uk/api/…
– Pierre-Yves Gaillard
5 hours ago


















 

draft saved


draft discarded















































 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f315031%2fnoetherian-spectral-space-comes-from-noetherian-ring%23new-answer', 'question_page');

);

Post as a guest













































































Popular posts from this blog

How to check contact read email or not when send email to Individual?

Displaying single band from multi-band raster using QGIS

How many registers does an x86_64 CPU actually have?