9
$\begingroup$

Is there a nice characterization of topological spaces with the property that the product with any paracompact space is paracompact?

All compact spaces have this property (this can be shown from the tube lemma). But somebody once gave me an example (that I cannot locate) of a non-compact space with the property. I didn't check the example carefully, so I cannot vouch for its accuracy.

If a characterization is too hard, an example of a non-compact space would also be great.

[NOTE: I don't assume Hausdorffness in my definitions of compact and paracompact, though it would be nice if the example were a Hausdorff space.]

ADDED LATER: I forgot to mention this, but a product of paracompact spaces need not be paracompact. The standard example is the Sorgenfrey line (the real line with the lower limit topology), which is paracompact, whose product with itself, the Sorgenfrey plane, is not paracompact.

$\endgroup$
3
  • 5
    $\begingroup$ Discrete spaces have this property (and may be non-compact). $\endgroup$
    – user2035
    Jan 8, 2010 at 16:06
  • $\begingroup$ I'm confused. Isn't a point paracompact? If (X x Y) is paracompact for any paracompact Y, X = (X x pt) is paracompact? $\endgroup$
    – AFK
    Jan 29, 2010 at 23:14
  • 1
    $\begingroup$ Yes, that's true, so if a space has this property, it must be paracompact. But not all paracompact spaces have this property, as the Sorgenfrey line example illustrates. I was looking for a deeper characterization. $\endgroup$
    – Vipul Naik
    Feb 7, 2010 at 3:40

2 Answers 2

6
$\begingroup$

One interesting conjectured characterization is due to Rastislav Telgársky. In Spaces defined by topological games (Fund. Math. 88, 1975), Telgársky coined several games and provided partial results regarding this class of paracompact spaces (among other things). In Some remarks on a Telgarsky’s conjecture concerning products of paracompact spaces (Topology Appl. 156, 2009, MR2512606), Kazimierz Alster made some significant progress in showing that one of Telgársky's games completely characterizes the class of spaces whose product with every paracompact space is paracompact.

Looking at MathSciNet, it looks like Alster is getting close to answering this question (MR2243730 and MR2502008).

$\endgroup$
3
$\begingroup$

The product of a CW-complex with a paracompact-Hausdorff space is again paracompact Hausdorff. I'm not sure what happens if you remove the word Hausdorff.

$\endgroup$
4
  • $\begingroup$ Thanks! Do you have a reference for the statement/proof? I can then check it up to see how the proof works out. $\endgroup$
    – Vipul Naik
    Mar 25, 2010 at 20:43
  • $\begingroup$ In fact, I have no reference. It's just one of those facts that I've "picked up". I've read it in a few papers and even used the fact in one of my own. If you find a reference, I'd be interested. P.S. An interested class of paracompact-spaces closed under finite products is geometric realizations of simplicial sets- SINCE, geometric realization preserves finite products. $\endgroup$ Mar 26, 2010 at 0:40
  • 1
    $\begingroup$ Ok, here it is: "On the product of paracompact spaces" by Kiiti Morita. A link is here: journalarchive.jst.go.jp/english/… It is stated in a bit more generality, however, the case of a CW complex is mentioned on the first page. $\endgroup$ Mar 26, 2010 at 16:14
  • $\begingroup$ Wait -- don't you need to use compactly-generated spaces or something if you want geometric realization to preserve finite products? $\endgroup$
    – Tim Campion
    Jul 20, 2018 at 17:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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