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






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







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






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







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






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







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




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?

Image
Clash Royale CLAN TAG #URR8PPP up vote 1 down vote favorite I'm using WordPress 4.9.8, CiviCRM to 5.5.1, I usually send email to contact by Search> Find contacts View contact details Action> Send email Send email ok, Contact received mail ok like picture But status only Email sent though contact read email or not. So, can CiviCRM can change status to Email read when contact read email? wordpress email share | improve this question asked Sep 26 at 0:12 ToanLuong 49 9 add a comment  |  up vote 1 down vote favorite I'm using WordPress 4.9.8, CiviCRM to 5.5.1, I usually send email to contact by Search> Find contacts View contact details Action> Send email Send email ok, Contact received mail ok like picture But status only Email sent though contact read email or not. So, can CiviCRM can change status to Email read when contact read email? wordpress email share | improve this question asked Se
Read more

Bahrain

Image
For other uses, see Bahrain (disambiguation). Sovereign island state in the Persian Gulf Kingdom of Bahrain مملكة البحرين   (Arabic) Mamlakat al-Baḥrayn Flag Coat of arms Anthem:  نشيد البحرين الوطني Bahrainona Our Bahrain Location of   Bahrain    (circled in red) Capital and largest city Manama 26°13′N 50°35′E  /  26.217°N 50.583°E  / 26.217; 50.583 Official languages Arabic Ethnic groups (2010 [1] ) 50.7% Arab (46% Bahrani, 4.7% other Arabs) 45.5% Asian 1% European 1.2% Others Religion Islam Demonym(s) Bahraini Government Unitary constitutional monarchy • King Hamad bin Isa Al Khalifa • Crown Prince Salman bin Hamad bin Isa Al Khalifa • Prime Minister Khalifa bin Salman Al Khalifa Legislature National Assembly • Upper house Consultative Council • Lower house Council of Representatives Independence • Declared Independence [2] 14 August 1971 • from United Kingdom [1] 15 August 1971 • Admitted to the United Nations 21 September 1971 • Kingdom of Bahrain 14 February 2002
Read more

Postfix configuration issue with fips on centos 7; mailgun relay

Image
Clash Royale CLAN TAG #URR8PPP up vote 0 down vote favorite I am trying to setup postfix to relay all mail generated on the local machine via SMTP to a mailgun relay. I have used the mailgun relay before with success on an ubuntu server, but I am migrating to a Centos 7 server which I will be running in FIPS mode. There error log is below, slightly sanitized. I have a small enough network that I choose to have each machine reach out to mailgun individually (this the loopback-only, 127.0.0.0/8 restrictions) and no firewall open port allowing smtp in to the machine. I assume the FIPS mode (and with it disabling of MD5) is causing problems, but I don't know how to overcome it or if it is even possible for tls_fprint to use some supported hash such as sha256 or sha512. However, the relay=none is slightly concerning since I have relayhost set, but perhaps that is because the smtp process is failing? Any help would be appreciated! postconf -n: alias_database = hash:/etc/alia
Read more