$C(X,K)$ isomorphic to polynomial algebra $K[t]$











up vote
3
down vote

favorite












For $X$ a topological space and $K$ a topological field of characteristic $0$, let $C(X,K)$ be the set of all continuous functions $f:Xto K$. The set $C(X,K)$ turns to a ring with point-wise addition and multiplication:
begin{align}
(f+g)(x)&=f(x)+g(x)\
(fg)(x) & =f(x)g(x).
end{align}

I'm looking for a topological space $X$ such that $C(X,K)cong K[t]$.
Or I'm looking for a proof that shows such space does not exist.



Thanks.










share|cite|improve this question






















  • Do you mean the isomorphism as abstract rings, or as $K$-algebras ?
    – Max
    Nov 13 at 10:40










  • @Max Well, really answer to any of them will be appreciated!
    – Qurultay
    Nov 13 at 10:42










  • I do,'t have a full answer yet, but if we're thinking in terms of $K$-algebras, you can try to prove the following things : the function $f:Xto K$ that generates $C(X,K)$ (as a $K$-algebra) is surjective, and the field $K$ must be algebraically closed.
    – Max
    Nov 13 at 11:21










  • Ok, I know how to prove that no such $X$ exists for $K=mathbb{C}$ with the usual topology, but my argument uses $exp$ so it will only work for algebraically closed topological fields where there is a nice relation between $K$ and $K^times$.
    – Max
    Nov 13 at 11:33










  • @Max Why no post this as an answer, then? An answer for a special case is still a useful one!
    – lisyarus
    Nov 13 at 11:35















up vote
3
down vote

favorite












For $X$ a topological space and $K$ a topological field of characteristic $0$, let $C(X,K)$ be the set of all continuous functions $f:Xto K$. The set $C(X,K)$ turns to a ring with point-wise addition and multiplication:
begin{align}
(f+g)(x)&=f(x)+g(x)\
(fg)(x) & =f(x)g(x).
end{align}

I'm looking for a topological space $X$ such that $C(X,K)cong K[t]$.
Or I'm looking for a proof that shows such space does not exist.



Thanks.










share|cite|improve this question






















  • Do you mean the isomorphism as abstract rings, or as $K$-algebras ?
    – Max
    Nov 13 at 10:40










  • @Max Well, really answer to any of them will be appreciated!
    – Qurultay
    Nov 13 at 10:42










  • I do,'t have a full answer yet, but if we're thinking in terms of $K$-algebras, you can try to prove the following things : the function $f:Xto K$ that generates $C(X,K)$ (as a $K$-algebra) is surjective, and the field $K$ must be algebraically closed.
    – Max
    Nov 13 at 11:21










  • Ok, I know how to prove that no such $X$ exists for $K=mathbb{C}$ with the usual topology, but my argument uses $exp$ so it will only work for algebraically closed topological fields where there is a nice relation between $K$ and $K^times$.
    – Max
    Nov 13 at 11:33










  • @Max Why no post this as an answer, then? An answer for a special case is still a useful one!
    – lisyarus
    Nov 13 at 11:35













up vote
3
down vote

favorite









up vote
3
down vote

favorite











For $X$ a topological space and $K$ a topological field of characteristic $0$, let $C(X,K)$ be the set of all continuous functions $f:Xto K$. The set $C(X,K)$ turns to a ring with point-wise addition and multiplication:
begin{align}
(f+g)(x)&=f(x)+g(x)\
(fg)(x) & =f(x)g(x).
end{align}

I'm looking for a topological space $X$ such that $C(X,K)cong K[t]$.
Or I'm looking for a proof that shows such space does not exist.



Thanks.










share|cite|improve this question













For $X$ a topological space and $K$ a topological field of characteristic $0$, let $C(X,K)$ be the set of all continuous functions $f:Xto K$. The set $C(X,K)$ turns to a ring with point-wise addition and multiplication:
begin{align}
(f+g)(x)&=f(x)+g(x)\
(fg)(x) & =f(x)g(x).
end{align}

I'm looking for a topological space $X$ such that $C(X,K)cong K[t]$.
Or I'm looking for a proof that shows such space does not exist.



Thanks.







general-topology






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 13 at 10:35









Qurultay

584313




584313












  • Do you mean the isomorphism as abstract rings, or as $K$-algebras ?
    – Max
    Nov 13 at 10:40










  • @Max Well, really answer to any of them will be appreciated!
    – Qurultay
    Nov 13 at 10:42










  • I do,'t have a full answer yet, but if we're thinking in terms of $K$-algebras, you can try to prove the following things : the function $f:Xto K$ that generates $C(X,K)$ (as a $K$-algebra) is surjective, and the field $K$ must be algebraically closed.
    – Max
    Nov 13 at 11:21










  • Ok, I know how to prove that no such $X$ exists for $K=mathbb{C}$ with the usual topology, but my argument uses $exp$ so it will only work for algebraically closed topological fields where there is a nice relation between $K$ and $K^times$.
    – Max
    Nov 13 at 11:33










  • @Max Why no post this as an answer, then? An answer for a special case is still a useful one!
    – lisyarus
    Nov 13 at 11:35


















  • Do you mean the isomorphism as abstract rings, or as $K$-algebras ?
    – Max
    Nov 13 at 10:40










  • @Max Well, really answer to any of them will be appreciated!
    – Qurultay
    Nov 13 at 10:42










  • I do,'t have a full answer yet, but if we're thinking in terms of $K$-algebras, you can try to prove the following things : the function $f:Xto K$ that generates $C(X,K)$ (as a $K$-algebra) is surjective, and the field $K$ must be algebraically closed.
    – Max
    Nov 13 at 11:21










  • Ok, I know how to prove that no such $X$ exists for $K=mathbb{C}$ with the usual topology, but my argument uses $exp$ so it will only work for algebraically closed topological fields where there is a nice relation between $K$ and $K^times$.
    – Max
    Nov 13 at 11:33










  • @Max Why no post this as an answer, then? An answer for a special case is still a useful one!
    – lisyarus
    Nov 13 at 11:35
















Do you mean the isomorphism as abstract rings, or as $K$-algebras ?
– Max
Nov 13 at 10:40




Do you mean the isomorphism as abstract rings, or as $K$-algebras ?
– Max
Nov 13 at 10:40












@Max Well, really answer to any of them will be appreciated!
– Qurultay
Nov 13 at 10:42




@Max Well, really answer to any of them will be appreciated!
– Qurultay
Nov 13 at 10:42












I do,'t have a full answer yet, but if we're thinking in terms of $K$-algebras, you can try to prove the following things : the function $f:Xto K$ that generates $C(X,K)$ (as a $K$-algebra) is surjective, and the field $K$ must be algebraically closed.
– Max
Nov 13 at 11:21




I do,'t have a full answer yet, but if we're thinking in terms of $K$-algebras, you can try to prove the following things : the function $f:Xto K$ that generates $C(X,K)$ (as a $K$-algebra) is surjective, and the field $K$ must be algebraically closed.
– Max
Nov 13 at 11:21












Ok, I know how to prove that no such $X$ exists for $K=mathbb{C}$ with the usual topology, but my argument uses $exp$ so it will only work for algebraically closed topological fields where there is a nice relation between $K$ and $K^times$.
– Max
Nov 13 at 11:33




Ok, I know how to prove that no such $X$ exists for $K=mathbb{C}$ with the usual topology, but my argument uses $exp$ so it will only work for algebraically closed topological fields where there is a nice relation between $K$ and $K^times$.
– Max
Nov 13 at 11:33












@Max Why no post this as an answer, then? An answer for a special case is still a useful one!
– lisyarus
Nov 13 at 11:35




@Max Why no post this as an answer, then? An answer for a special case is still a useful one!
– lisyarus
Nov 13 at 11:35










1 Answer
1






active

oldest

votes

















up vote
3
down vote













This is not a full answer, but just leads. First of all, as discussed in the comments, I'll consider that we're asking for a $K$-algebra isomorphism, not just an isomorphism as abstract rings.



Note that if $X$ is such a space, the $K$-algebra structure map is $lambda mapsto $ the constant map with value $lambda$.



Now, if $f:Xto K$ is continuous and nonconstant, then under the isomorphism $C(X,K)to K[t]$ it is sent to a nonconstant polynomial, hence to a noninvertible element of the algebra.



But now we see that if $f:Xto K$ doesn't vanish, i.e. factors through $K^times$, then it's invertible in $C(X,K)$, thus in $K[t]$, thus it must be a constant map:




there are only constant maps $Xto K^times$.




Now let $f$ be the antecedent of $t$. In particular, for all non constant $Pin K[t]$, $P(f)$ is sent to $P(t)$, thus is noninvertible; and therefore it has a zero, say $x$. Then $f(x)$ is a root of $P$: every nonconstant polynomial has a root, which means that $K$ is algebraically closed.




If such an $X$ exists, $K$ is algebraically closed.




Notice that with the same reasoning, we get that for all $lambda$, $f-lambda$ is non invertible, thus $f$ is surjective.




There is a surjective continuous map $Xto K$ which generates $C(X,K)$.




Now if we have a nonconstant continuous map $Kto K^times$, putting the first and last yellow results together, we get a contradiction. This is the case for instance with $K=mathbb{C}$ with the usual topology, where $exp$ is continuous and nonconstant.




There is no such space for $mathbb{C}$. More generally, for every topological algebraically closed field with a continuous nonconstant map $Kto K^times$, there is no such $X$.




I don't know whether all topological algebraically closed fields have such a map. What about $overline{mathbb{Q}}$ for instance ?



In any case, it feels like the constraint "there is no nonconstant continuous $g:Xto K^times$" is a pretty big one; but I don't know how to make that precise yet. The isomorphism with $K[t]$ seems to suggest that $X$ doesn't have many opens, but this constraint suggests that it has a lot...






share|cite|improve this answer





















  • thanks a billion!
    – Qurultay
    Nov 13 at 11:54






  • 2




    A continuous nonconstant map $Kto K^times$ will exist if $K$ is disconnected (take a locally constant map that is not constant). So that rules out $overline{Q}$ with its usual topology.
    – Eric Wofsey
    Nov 13 at 15:44










  • @EricWofsey : indeed that rules out tons of examples actually (many algebraically closed subfields of $mathbb{C}$ with their usual topology I would guess, and -though I'm not sure- the $p$-adic fields)
    – Max
    Nov 13 at 16:20













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',
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%2f2996580%2fcx-k-isomorphic-to-polynomial-algebra-kt%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








up vote
3
down vote













This is not a full answer, but just leads. First of all, as discussed in the comments, I'll consider that we're asking for a $K$-algebra isomorphism, not just an isomorphism as abstract rings.



Note that if $X$ is such a space, the $K$-algebra structure map is $lambda mapsto $ the constant map with value $lambda$.



Now, if $f:Xto K$ is continuous and nonconstant, then under the isomorphism $C(X,K)to K[t]$ it is sent to a nonconstant polynomial, hence to a noninvertible element of the algebra.



But now we see that if $f:Xto K$ doesn't vanish, i.e. factors through $K^times$, then it's invertible in $C(X,K)$, thus in $K[t]$, thus it must be a constant map:




there are only constant maps $Xto K^times$.




Now let $f$ be the antecedent of $t$. In particular, for all non constant $Pin K[t]$, $P(f)$ is sent to $P(t)$, thus is noninvertible; and therefore it has a zero, say $x$. Then $f(x)$ is a root of $P$: every nonconstant polynomial has a root, which means that $K$ is algebraically closed.




If such an $X$ exists, $K$ is algebraically closed.




Notice that with the same reasoning, we get that for all $lambda$, $f-lambda$ is non invertible, thus $f$ is surjective.




There is a surjective continuous map $Xto K$ which generates $C(X,K)$.




Now if we have a nonconstant continuous map $Kto K^times$, putting the first and last yellow results together, we get a contradiction. This is the case for instance with $K=mathbb{C}$ with the usual topology, where $exp$ is continuous and nonconstant.




There is no such space for $mathbb{C}$. More generally, for every topological algebraically closed field with a continuous nonconstant map $Kto K^times$, there is no such $X$.




I don't know whether all topological algebraically closed fields have such a map. What about $overline{mathbb{Q}}$ for instance ?



In any case, it feels like the constraint "there is no nonconstant continuous $g:Xto K^times$" is a pretty big one; but I don't know how to make that precise yet. The isomorphism with $K[t]$ seems to suggest that $X$ doesn't have many opens, but this constraint suggests that it has a lot...






share|cite|improve this answer





















  • thanks a billion!
    – Qurultay
    Nov 13 at 11:54






  • 2




    A continuous nonconstant map $Kto K^times$ will exist if $K$ is disconnected (take a locally constant map that is not constant). So that rules out $overline{Q}$ with its usual topology.
    – Eric Wofsey
    Nov 13 at 15:44










  • @EricWofsey : indeed that rules out tons of examples actually (many algebraically closed subfields of $mathbb{C}$ with their usual topology I would guess, and -though I'm not sure- the $p$-adic fields)
    – Max
    Nov 13 at 16:20

















up vote
3
down vote













This is not a full answer, but just leads. First of all, as discussed in the comments, I'll consider that we're asking for a $K$-algebra isomorphism, not just an isomorphism as abstract rings.



Note that if $X$ is such a space, the $K$-algebra structure map is $lambda mapsto $ the constant map with value $lambda$.



Now, if $f:Xto K$ is continuous and nonconstant, then under the isomorphism $C(X,K)to K[t]$ it is sent to a nonconstant polynomial, hence to a noninvertible element of the algebra.



But now we see that if $f:Xto K$ doesn't vanish, i.e. factors through $K^times$, then it's invertible in $C(X,K)$, thus in $K[t]$, thus it must be a constant map:




there are only constant maps $Xto K^times$.




Now let $f$ be the antecedent of $t$. In particular, for all non constant $Pin K[t]$, $P(f)$ is sent to $P(t)$, thus is noninvertible; and therefore it has a zero, say $x$. Then $f(x)$ is a root of $P$: every nonconstant polynomial has a root, which means that $K$ is algebraically closed.




If such an $X$ exists, $K$ is algebraically closed.




Notice that with the same reasoning, we get that for all $lambda$, $f-lambda$ is non invertible, thus $f$ is surjective.




There is a surjective continuous map $Xto K$ which generates $C(X,K)$.




Now if we have a nonconstant continuous map $Kto K^times$, putting the first and last yellow results together, we get a contradiction. This is the case for instance with $K=mathbb{C}$ with the usual topology, where $exp$ is continuous and nonconstant.




There is no such space for $mathbb{C}$. More generally, for every topological algebraically closed field with a continuous nonconstant map $Kto K^times$, there is no such $X$.




I don't know whether all topological algebraically closed fields have such a map. What about $overline{mathbb{Q}}$ for instance ?



In any case, it feels like the constraint "there is no nonconstant continuous $g:Xto K^times$" is a pretty big one; but I don't know how to make that precise yet. The isomorphism with $K[t]$ seems to suggest that $X$ doesn't have many opens, but this constraint suggests that it has a lot...






share|cite|improve this answer





















  • thanks a billion!
    – Qurultay
    Nov 13 at 11:54






  • 2




    A continuous nonconstant map $Kto K^times$ will exist if $K$ is disconnected (take a locally constant map that is not constant). So that rules out $overline{Q}$ with its usual topology.
    – Eric Wofsey
    Nov 13 at 15:44










  • @EricWofsey : indeed that rules out tons of examples actually (many algebraically closed subfields of $mathbb{C}$ with their usual topology I would guess, and -though I'm not sure- the $p$-adic fields)
    – Max
    Nov 13 at 16:20















up vote
3
down vote










up vote
3
down vote









This is not a full answer, but just leads. First of all, as discussed in the comments, I'll consider that we're asking for a $K$-algebra isomorphism, not just an isomorphism as abstract rings.



Note that if $X$ is such a space, the $K$-algebra structure map is $lambda mapsto $ the constant map with value $lambda$.



Now, if $f:Xto K$ is continuous and nonconstant, then under the isomorphism $C(X,K)to K[t]$ it is sent to a nonconstant polynomial, hence to a noninvertible element of the algebra.



But now we see that if $f:Xto K$ doesn't vanish, i.e. factors through $K^times$, then it's invertible in $C(X,K)$, thus in $K[t]$, thus it must be a constant map:




there are only constant maps $Xto K^times$.




Now let $f$ be the antecedent of $t$. In particular, for all non constant $Pin K[t]$, $P(f)$ is sent to $P(t)$, thus is noninvertible; and therefore it has a zero, say $x$. Then $f(x)$ is a root of $P$: every nonconstant polynomial has a root, which means that $K$ is algebraically closed.




If such an $X$ exists, $K$ is algebraically closed.




Notice that with the same reasoning, we get that for all $lambda$, $f-lambda$ is non invertible, thus $f$ is surjective.




There is a surjective continuous map $Xto K$ which generates $C(X,K)$.




Now if we have a nonconstant continuous map $Kto K^times$, putting the first and last yellow results together, we get a contradiction. This is the case for instance with $K=mathbb{C}$ with the usual topology, where $exp$ is continuous and nonconstant.




There is no such space for $mathbb{C}$. More generally, for every topological algebraically closed field with a continuous nonconstant map $Kto K^times$, there is no such $X$.




I don't know whether all topological algebraically closed fields have such a map. What about $overline{mathbb{Q}}$ for instance ?



In any case, it feels like the constraint "there is no nonconstant continuous $g:Xto K^times$" is a pretty big one; but I don't know how to make that precise yet. The isomorphism with $K[t]$ seems to suggest that $X$ doesn't have many opens, but this constraint suggests that it has a lot...






share|cite|improve this answer












This is not a full answer, but just leads. First of all, as discussed in the comments, I'll consider that we're asking for a $K$-algebra isomorphism, not just an isomorphism as abstract rings.



Note that if $X$ is such a space, the $K$-algebra structure map is $lambda mapsto $ the constant map with value $lambda$.



Now, if $f:Xto K$ is continuous and nonconstant, then under the isomorphism $C(X,K)to K[t]$ it is sent to a nonconstant polynomial, hence to a noninvertible element of the algebra.



But now we see that if $f:Xto K$ doesn't vanish, i.e. factors through $K^times$, then it's invertible in $C(X,K)$, thus in $K[t]$, thus it must be a constant map:




there are only constant maps $Xto K^times$.




Now let $f$ be the antecedent of $t$. In particular, for all non constant $Pin K[t]$, $P(f)$ is sent to $P(t)$, thus is noninvertible; and therefore it has a zero, say $x$. Then $f(x)$ is a root of $P$: every nonconstant polynomial has a root, which means that $K$ is algebraically closed.




If such an $X$ exists, $K$ is algebraically closed.




Notice that with the same reasoning, we get that for all $lambda$, $f-lambda$ is non invertible, thus $f$ is surjective.




There is a surjective continuous map $Xto K$ which generates $C(X,K)$.




Now if we have a nonconstant continuous map $Kto K^times$, putting the first and last yellow results together, we get a contradiction. This is the case for instance with $K=mathbb{C}$ with the usual topology, where $exp$ is continuous and nonconstant.




There is no such space for $mathbb{C}$. More generally, for every topological algebraically closed field with a continuous nonconstant map $Kto K^times$, there is no such $X$.




I don't know whether all topological algebraically closed fields have such a map. What about $overline{mathbb{Q}}$ for instance ?



In any case, it feels like the constraint "there is no nonconstant continuous $g:Xto K^times$" is a pretty big one; but I don't know how to make that precise yet. The isomorphism with $K[t]$ seems to suggest that $X$ doesn't have many opens, but this constraint suggests that it has a lot...







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Nov 13 at 11:48









Max

11.9k11038




11.9k11038












  • thanks a billion!
    – Qurultay
    Nov 13 at 11:54






  • 2




    A continuous nonconstant map $Kto K^times$ will exist if $K$ is disconnected (take a locally constant map that is not constant). So that rules out $overline{Q}$ with its usual topology.
    – Eric Wofsey
    Nov 13 at 15:44










  • @EricWofsey : indeed that rules out tons of examples actually (many algebraically closed subfields of $mathbb{C}$ with their usual topology I would guess, and -though I'm not sure- the $p$-adic fields)
    – Max
    Nov 13 at 16:20




















  • thanks a billion!
    – Qurultay
    Nov 13 at 11:54






  • 2




    A continuous nonconstant map $Kto K^times$ will exist if $K$ is disconnected (take a locally constant map that is not constant). So that rules out $overline{Q}$ with its usual topology.
    – Eric Wofsey
    Nov 13 at 15:44










  • @EricWofsey : indeed that rules out tons of examples actually (many algebraically closed subfields of $mathbb{C}$ with their usual topology I would guess, and -though I'm not sure- the $p$-adic fields)
    – Max
    Nov 13 at 16:20


















thanks a billion!
– Qurultay
Nov 13 at 11:54




thanks a billion!
– Qurultay
Nov 13 at 11:54




2




2




A continuous nonconstant map $Kto K^times$ will exist if $K$ is disconnected (take a locally constant map that is not constant). So that rules out $overline{Q}$ with its usual topology.
– Eric Wofsey
Nov 13 at 15:44




A continuous nonconstant map $Kto K^times$ will exist if $K$ is disconnected (take a locally constant map that is not constant). So that rules out $overline{Q}$ with its usual topology.
– Eric Wofsey
Nov 13 at 15:44












@EricWofsey : indeed that rules out tons of examples actually (many algebraically closed subfields of $mathbb{C}$ with their usual topology I would guess, and -though I'm not sure- the $p$-adic fields)
– Max
Nov 13 at 16:20






@EricWofsey : indeed that rules out tons of examples actually (many algebraically closed subfields of $mathbb{C}$ with their usual topology I would guess, and -though I'm not sure- the $p$-adic fields)
– Max
Nov 13 at 16:20




















 

draft saved


draft discarded



















































 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2996580%2fcx-k-isomorphic-to-polynomial-algebra-kt%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







Popular posts from this blog

Index of /

Tribalistas

Listed building