Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

What are the minimal conditions on three topological spaces $X,Y$ and $Z$ such that with the compact-open topology the map

$${(X^Y)}^Z \to X^{Y \times Z}$$

given by taking adjoints is a homeomorpism. The map sends $f: Z \to X^Y$ to $g:Y \times Z \to X$ by the relation $g(y,z)=f(z)(y)$.

This result is known for $Z$ Hausdorff and $Y$ locally compact. I'm interested in a proposition of the form the adjoint construction is a homeomorphism of mapping spaces if and only if some statement regarding the spaces $X$, $Y$ and $Z$. It would also be interesting to see some counterexamples,for example for Z not Hausdorff,etc.

share|improve this question
    
Have you looked at the compact-open topology section in a textbook like Munkres? Your question is basically about the fundamental property of the compact-open topology which essentially every textbook treats. –  Ryan Budney Sep 25 '10 at 19:10
    
hi,of course. but in nearly every topology book i only can find the "=>",which is enough for most cases but im interested in a <=>. –  trew Sep 25 '10 at 20:40
    
I do not understand the last ten words of your paragraph. Please reformulate, so as to make this readable. –  André Henriques Sep 25 '10 at 20:41
    
Sorry,but it wasnt important anyway. –  trew Sep 25 '10 at 20:43
1  
I'm still having trouble understanding the question. I don't suppose you want the same conditions to apply to all three spaces X, Y, Z? If not, why do you expect a unique answer (you say the minimal conditions)? For example, by slightly strengthening a condition on X one could slightly weaken a condition on Y, so that the two sets of conditions are incomparable. (Finally, may I ask what is the motivation for demanding the compact-open topology, if some other conceptually similar but slightly different topology works?) –  Todd Trimble Sep 26 '10 at 11:14
show 4 more comments

1 Answer

up vote 7 down vote accepted

A very closely related question (and maybe the one you meant to ask?) is: which spaces $Y$ in the category of topological spaces and continuous maps are exponentiable, i.e., for which $Y$ does the functor $- \times Y: Top \to Top$ have a right adjoint? A necessary and sufficient condition is that $Y$ is core-compact, as defined at the nLab. See also the references in that article.

There are various ways of defining core-compactness; perhaps the fastest is that the topology is a continuous lattice. It is a slightly weaker condition than local compactness (if local compactness is defined as meaning that every point has a basis of compact neighborhoods), and coincides with local compactness if $Y$ is Hausdorff.

If $Y$ and $Z$ are core-compact, then for every $X$ one can exhibit a canonical homeomorphism

$$(X^Z)^Y \cong X^{Y \times Z}$$

by abstract nonsense (since any two right adjoints to $- \times (Y \times Z)$, in particular $((-)^Y)^Z$ and $(-)^{Y \times Z}$, are canonically naturally isomorphic).

Your question is also interesting when interpreted for locales. See Johnstone's Stone Spaces, where it is shown that a locale is exponentiable if and only if it is locally compact.

If $Y$ is not core-compact, then it is possible to show that there is no exponential $\mathbf{2}^Y$ where $\mathbf{2}$ is Sierpinski space (two points, one open, one closed). In other words, the functor $\hom_{Top}(- \times Y, \mathbf{2})$ is not representable. I once went through the detailed argument (in the case where $Y$ is the space of rational numbers, which I think is illustrative) over at the n-Category Café, see here and the ensuing discussion.

share|improve this answer
    
Thank you!I didnt know that,but its not the question i meant. –  trew Sep 26 '10 at 9:41
    
I'd need more clarification then. I'll ask under your question. –  Todd Trimble Sep 26 '10 at 10:57
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.