Nagata's conjecture and countably compact hulls in generic extensions

DOI10.1016/J.TOPOL.2007.04.012MaRDI QIDQ2469574zbMATH OpenOpenAlexWikidataFDO

Authors Lajos Soukup

Publication date 6 February 2008

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0610432

zbMATH Keywords

\(M\)-spacecompactificationcountably compactcountably compact hullcountably compactifiablecountably-compactificationfirst countableforcingMartin's axiommaximal first countable extensionNagata's conjecture

Mathematics Subject Classification ID

Consistency and independence results (03E35) Consistency and independence results in general topology (54A35) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) (p)-spaces, (M)-spaces, (sigma)-spaces, etc. (54E18)

Abstract: Nagata conjectured that every $M$-space is homeomorphic to a closed subspace of the product of a countably compact space and a metric space. This conjecture was refuted by Burke and van Douwen, and A. Kato, independently. However, we can show that there is a c.c.c. poset $P$ of size $2^{omega}$ such that in $V^P$ Nagata's conjecture holds for each first countable regular space from the ground model (i.e. if a first countable regular space $XinV$ is an $M$-space in $V^P$ then it is homeomorphic to a closed subspace of the product of a countably compact space and a metric space in $V^P$). In fact, we show that every first countable regular space from the ground model has a first countable countably compact extension in $V^P$, and then apply some results of Morita. As a corollary, we obtain that every first countable regular space from the ground model has a maximal first countable extension in model $V^P$.

Review text

In 1970 Nagata conjectured that every \(M\)-space is homeomorphic to a closed subspace of the product of a countably compact space and a metric space. To attack this problem Morita introduced and studied the notion of countably-compactifiable spaces and proved that: An \(M\)-space satisfies Nagata's conjecture if and only if it is countably-compactifiable. Now, if we restrict ourselves to the case of first countable spaces, Burke and Van Douwen and independently Kato showed that there are normal, first countable \(M\)-spaces which are not countably-compactifiable, i.e., Nagata's conjecture was refuted. Moreover, Terada and Terasawa gave three first-countable spaces without maximal first-countable extensions. The author of this very interesting paper shows that there is a c.c.c.\ poset \(P\) of size \(2^\omega\) such that every first countable regular space from the ground model has a first countable countably compact regular extension in \(V^p\). Hence in \(V^p\), Nagata's conjecture holds for each first countable regular space from the ground model.

Recommendations

• \(M_ 3\)-spaces whose every point has a closure preserving outer base are \(M_ 1\)
• First countable, countably compact spaces and the continuum hypothesis
• More countably compact, locally countable spaces
• Nonshrinking open covers and K. Morita's third conjecture
• PFA and \(\omega_1\)-free compact spaces

Cites work

• scientific article; zbMATH DE number 3680737 (Why is no real title available?)
• scientific article; zbMATH DE number 3457781 (Why is no real title available?)
• scientific article; zbMATH DE number 3436310 (Why is no real title available?)
• scientific article; zbMATH DE number 3393415 (Why is no real title available?)
• Maximal Extensions of First-Countable Spaces
• More countably compact, locally countable spaces
• Quotients of Boolean algebras and regular subalgebras
• Solution of Morita's problems concerning countably-compact-ifications

Cited in

(4)

• Variations on \(\omega\)-boundedness
• The work of Professor Jun-iti Nagata
• Almost disjoint refinements and mixing reals
• Quotients of Boolean algebras and regular subalgebras

This page was built for publication: Nagata's conjecture and countably compact hulls in generic extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2469574)