arXiv Science⌕ Search

arXiv subjects

Mathieu Baillif

Publications and source records attributed to Mathieu Baillif.

At least 19 recordsLinked to original sources
arXiv2026

Filling the gaps in an unpublished example of Nyikos: a countably compact non-compact manifold under $\clubsuit_C$

We provide details for a Theorem which is only available on a unfinished preliminary draft of P. Nyikos: the existence under $\clubsuit_C$ of a hereditarily collectionwise normal countably compact non-compact manifold which does not contain a copy of $\omega_1$. This shows in particular that MA + $\neg$CH does not imply the existence of a copy of $\omega_1$ in a countably compact non-compact manifold (it is known that PFA does imply it). The said manifold is obtained from a principal $\mathbb{S}^1$-bundle over the long ray, and some structural theorems for these spaces (due to Nyikos as well) are also proved. We show that the same type of theorems hold for $n$-to-$1$ closed preimages of $\omega_1$ and $\mathbb{Z}_n$-``bundles'' over $\omega_1$, where $\mathbb{Z}_n$ is the additive group of integers modulo $n$. A small generalization of $\clubsuit_C$ is also quickly investigated.

math.GN↗
arXiv2025

On non-Hausdorff manifolds

In this long note, we investigate various purely topological aspects of non-Hausdorff manifolds (NH-manifolds for short). Our emphasis is on manifolds which exhibit homogeneity or weakenings thereof, in particular being everywhere non-Hausdorff. Homogeneous NH-manifolds and everywhere non-Hausdorff manifolds are respectively called HNH- and ENH-manifolds. We write $NH_X(x)$ for the subset of points of a space $X$ which cannot be separated of $x$ by open sets. The topics covered in this note are the following. -- General (basic) properties of manifolds and their quasi-compact or quasi-countably compact subspaces. -- Covering properties implying the Hausdorffness of (weakly) homogeneous manifolds. -- (Non-)existence of hereditarily separable ENH-manifolds (under set theoretic hypotheses). -- Non-existence of a quasi-countably compact ENH-manifold. -- Properties of NH-manifolds which imply that $NH_M(x)$ is discrete, or at least ``simple''. -- Constructions of HNH-manifolds such that $NH(x)$ is non-homogeneous, for instance a countable union of closed intervals and $n$-torii. -- Constructions of NH-manifolds $M$ with a point $x$ such that $NH_M(x)$ is homeomorphic to various ``complicated'' spaces, in particular in dimension $1$ and $2$. We use elementary (or at least well known) methods of general or set theoretic topology, with a little bit of conformal theory and dynamical systems (flows) in some constructions. Many pictures are given to illustrate the constructions, and the proofs are rather detailed, which is the main reason for the length of this note.

math.GN↗
arXiv2025

On (non-Menger) spaces whose closed nowhere dense subsets are Menger

A space $X$ is od-Menger if it satisfies $\mathsf{U_{fin}}(\Delta_X, \mathcal{O}_X)$, where $\mathcal{O}_X,\Delta_X$ are the collection of covers of $X$ by respectively open subsets and open dense subsets. We show that under CH, there is a refinement of the usual topology on a subset of the reals which yields a hereditarily Lindel\"of, od-Menger, non-Menger, $0$-dimensional, first countable space. We also investigate the properties of spaces which are od-Menger but not Menger.

math.GN↗
arXiv2023

Eventually Constant and stagnating functions in non-Lindel\"of spaces

We elaborate on the elementary fact that for any continuous function $f:\omega_1\times\mathbb{R}\to\mathbb{R}$, there is an $\alpha\in\omega_1$ such that $f(\langle\beta,x\rangle) = f(\langle\alpha,x\rangle)$ for all $\beta\ge\alpha$ and $x\in\mathbb{R}$, we introduce four properties $\mathsf{P}(X,Y)$, $\mathsf{P}\in\{\mathsf{EC},\mathsf{S},\mathsf{L},\mathsf{BR}\}$ generalizating Lindel\"ofness, which formalize the idea vaguely stated as ``given a continuous $f:X\to Y$, there is a small subspace of $X$ outside of which $f$ does not do anything much new''. The spaces $X,Y$ satisfy $\mathsf{EC}(X,Y)$ [resp. $\mathsf{S}(X,Y)$] (resp. $\mathsf{L}(X,Y)$) iff given $f:X\to Y$, then there is a Lindel\"of $Z\subset X$ such that $f(X-Z)$ is a singleton [resp. there is a retraction $r:X\to Z$ such that $f\circ r = f$] (resp. $f(Z) = f(X)$). $\mathsf{BR}(X,Y)$ is defined similarly. Two more variants $\mathsf{P_{cl}},\mathsf{P_{cpt}}$ of each property are given depending on whether $Z$ can be chosen to be closed or compact. We investigate the relations between these and other classical topological properties. Here is a sample of our results. An uncountable subspace $T$ of a tree of height $\omega_1$ is $\omega_1$-compact iff $\mathsf{S}(T,Y)$ holds for any metrizable space $Y$ of uncountable cardinality. If $M$ is a $\aleph_1$-strongly collectionwise Hausforff non-metrizable manifold satisfying either (a weakening of) $\mathsf{S}(M,\mathbb{R})$ or $\mathsf{EC}(M,\mathbb{R})$, then $M$ is $\omega_1$-compact. $\mathsf{L}(M,\mathbb{R})$ holds for any manifold while $\mathsf{L}(M,\mathbb{R}^2)$ does not. Under {\bf PFA}, a locally compact countably tight space $Y$ for which $\mathsf{EC}(\omega_1,Y)$ holds is isocompact, while there are counterexamples under $\clubsuit_C$. Some of our results are (more or less elaborate) restatements of other researchers work put in our context.

math.GN↗
arXiv2023

Non-metrizable manifolds and contractibility

We investigate whether non-metrizable manifolds in various classes can be homotopy equivalent to a CW-complex (in short: heCWc), and in particular contractible. We show that a non-metrizable manifold cannot be heCWc if it has one of the following properties: it contains a countably compact non-compact subspace; it contains a copy of an $\omega_1$-compact subset of an $\omega_1$-tree; it contains a non-Lindel\"of closed subspace functionally narrow in it. (These results hold for more general spaces than just manifolds.) We also show that the positive part of the tangent bundle of the long ray is not heCWc (for any smoothing). These theorems follow from stabilization properties of real valued maps. On a more geometric side, we also show that the Pr\"ufer surface, which has been shown to be contractible long ago, has an open submanifold which is not heCWc. On the other end of the spectrum, we show that there is a non-metrizable contractible Type I surface.

math.GN↗
arXiv2022

Relative (functionally) Type I spaces and narrow subspaces

An open chain cover $\{U_\alpha : \alpha\in\kappa\}$ ($\kappa$ a cardinal) of a space $X$ is a systematic cover if the closure of $U_\alpha$ is contained in $U_\beta$ when $\alpha<\beta$, and $X$ is Type I if $\kappa=\omega_1$ and the closure of each $U_\alpha$ is Lindel\"of. A closed subspace $D\subset X$ is narrow in $X$ if for each systematic cover $\{V_\alpha : \alpha\in\omega_1\}$ of $X$, either there is $\alpha$ such that $D$ is included in $V_\alpha$, or the closure of $V_\alpha$ intersected with $D$ is Lindel\"of for each $\alpha$. Taking systematic covers given by preimages by $s$ of $[0,\alpha)$ for a continuous $s: X\to \mathbb{L}_{\ge 0}$ (where $ \mathbb{L}_{\ge 0}$ is the longray) defines functionally Type I spaces and functionally narrow subspaces. For instance, $ \mathbb{L}_{\ge 0}$ and $\omega_1$ are narrow in themselves and any other space. We investigate these properties and relative versions, as well as their relationship, and show in particular the following. There are functionally Hausdorff Type I spaces which are not functionally Type I while regular Type I spaces are functionally Type I. We exhibit examples of spaces which are narrow in some but not in other spaces. There are subspaces of a Tychonoff space $Y$ that are functionally narrow but not narrow in $Y$, while both notions agree if $Y$ is normal. Under PFA and using classical results, any $\omega_1$-compact locally compact countably tight Type I space contains a non-Lindel\"of subspace narrow in it (a copy of $\omega_1$, actually), while a Suslin tree does not. There are spaces with subspaces narrow in them that are essentially discrete. Finally, we investigate natural partial orders on (functionally) narrow subspaces and when these orders are $\omega$- or $\omega_1$-closed.

math.GN↗
arXiv2020

Ends of non-metrizable manifolds: a generalized bagpipe theorem

We initiate the study of ends of non-metrizable manifolds and introduce the notion of short and long ends. Using the theory developed, we provide a characterization of (non-metrizable) surfaces that can be written as the topological sum of a metrizable manifold plus a countable number of "long pipes" in terms of their spaces of ends; this is a direct generalization of Nyikos's bagpipe theorem.

math.GN↗
arXiv2020

Collared and non-collared manifold boundaries

We gather in this note results and examples about collared or non-collared boundaries of non-metrisable manifolds. Almost everything is well known but a bit scattered in the literature, and some of it is apparently not published at all.

math.GN↗
arXiv2019

(Non-)contractible road spaces of trees

We prove that the road space of an R-special tree is contractible and that a locally metrizable space containing a copy of an uncountable $\omega_1$-compact subspace of a tree is not. We also raise some questions about possible generalizations.

math.GN↗
arXiv2016

Notes on linearly H-closed spaces and od-selection principles

A space is called linearly H-closed iff any chain cover possesses a dense member. This property lies strictly between feeble compactness and H-closedness. While regular H-closed spaces are compact, there are linearly H-closed spaces which are even collectionwise normal and Fr\'echet-Urysohn. We give examples in other classes, and ask whether there is a first countable normal linearly H-closed non-compact space in ZFC. We show that PFA implies a negative answer if the space is moreover either locally separable or locally compact and locally ccc. Ostaszewski space (built with $\diamondsuit$) is an example which is even perfectly normal. We also investigate Menger-like properties for the class of od-covers, that is, covers whose members are open and dense.

math.GN↗
arXiv2014

Directions in Type I spaces

A direction in a Type I space $X=\cup_{α<ω_1}X_α$ is a closed and unbounded subset $D$ of $X$ such that given any continuous $f:X\to\mathbb{L}_{\ge 0}$ (the closed long ray), if $f$ is unbounded on $D$ then $f$ is unbounded on each unbounded subset of $D$. A closed copy of $ω_1$ is a direction in any Type I space. We study various aspects of directions and show some independence results. A sample: There is an $ω$-bounded Type I space without direction; PFA implies that a locally compact countably tight $ω_1$-compact Type I space contains a direction; if there is a Suslin tree then there is an $ω_1$-compact Type I manifold without direction; there are Type I first countable spaces which contain directions and whose closed unbounded subsets contain each a closed unbounded discrete subset. We also study a naturel order on the directions of a given space and show that we may obtain various classical ordered types with the space a manifold (often $ω$-bounded).

math.GN↗
arXiv2013

Foliations on non-metrisable manifolds II: contrasted behaviours

This paper, which is an outgrowth of a previous paper of the authors, continues the study of dimension 1 foliations on non-metrisable manifolds emphasising some anomalous behaviours. We exhibit surfaces with various extra properties like Type I, separability and simple connectedness, and a property which we call `squat,' which do not admit foliations even on removal of a compact (or even Lindelöf) subset. We exhibit a separable surface carrying a foliation in which all leaves except one are metrisable but at the same time we prove that every non-metrisable leaf on a Type I manifold has a saturated neighbourhood consisting only of non-metrisable leaves. Minimal foliations are also considered. Finally we exhibit simply connected surfaces having infinitely many topologically distinct foliations.

math.GN↗
arXiv2012

Notes on the od-Lindel\"of property

A space is od-compact (resp. od-Lindel\"of) provided any cover by open dense sets has a finite (resp. countable) subcover. We first show with simple examples that these properties behave quite poorly under finite or countable unions. We then investigate the relations between Lindel\"ofness, od-Lindel\"ofness and linear Lindel\"ofness (and similar relations with `compact'). We prove in particular that if a $T_1$ space is od-compact, then the subset of its non-isolated points is compact. If a $T_1$ space is od-Lindel\"of, we only get that the subset of its non-isolated points is linearly Lindel\"of. Though, Lindel\"ofness follows if the space is moreover locally openly Lindel\"of (i.e. each point has an open Lindel\"of neighborhood).

math.GN↗
arXiv2012

Curves of constant diameter and inscribed polygons

A simple closed curve in the Euclidean plane is said to have property C_n(R) if at each point we can inscribe a unique regular $n$-gon with edges length $R$. C_2(R) is equivalent to having constant diameter. We show that smooth curves satisfying C_n(R) other than the circle do exist for all n, and that the circle is the only $C^2$ regular curve satisfying C_2(R) and C_4(R') where $R'=R/\sqrt{2}$. In an addendum, we show that the last assertion holds for any R and R'. The proofs use only elementary differential calculus and geometry.

math.MG↗
arXiv2011

Some steps on short bridges: Non-metrizable surfaces and CW-complexes

Among the classical variants of the Prüfer surface, some are homotopy equivalent to a CW-complex (namely, a point or a wedge of a continuum of circles) and some are not. The obstruction comes from the existence of uncountably many `infinitesimal bridges' linking two metrizable open subsurfaces inside the surface. We show that any non-metrizable surface that possesses such a system of infinitesimal bridges cannot be homotopy equivalent to a CW-complex. More than for the result on its own, we were motivated by trying to blend elementary techniques of algebraic and set-theoretic topology.

math.AT↗
arXiv2009

Foliations on non-metrisable manifolds: absorption by a Cantor black hole

We investigate contrasting behaviours emerging when studying foliations on non-metrisable manifolds. It is shown that Kneser's pathology of a manifold foliated by a single leaf cannot occur with foliations of dimension-one. On the other hand, there are open surfaces admitting no foliations. This is derived from a qualitative study of foliations defined on the long tube $\mathbb S^1\times {\mathbb L}_+$ (product of the circle with the long ray), which is reminiscent of a `black hole', in as much as the leaves of such a foliation are strongly inclined to fall into the hole in a purely vertical way. More generally the same qualitative behaviour occurs for dimension-one foliations on $M \times {\mathbb L}_+$, provided that the manifold $M$ is "sufficiently small", a technical condition satisfied by all metrisable manifolds. We also analyse the structure of foliations on the other of the two simplest long pipes of Nyikos, the punctured long plane. We are able to conclude that the long plane $\mathbb L^2$ has only two foliations up to homeomorphism and six up to isotopy.

math.GN↗
arXiv2006

Manifolds: Hausdorffness versus homogeneity

We analyze the relationship between Hausdorffness and homogeneity in the frame of manifolds, not confined to be Hausdorff. We exhibit examples of homogeneous non-Hausdorff manifolds and prove that a Lindelöf homogeneous manifold is Hausdorff.

math.GN↗