**33**

votes

**0**answers

4k views

### Grothendieck's manuscript on topology

Edit: Infos on the current state by Lieven Le Bruyn: http://www.neverendingbooks.org/grothendiecks-gribouillis
Edit: Just in case anyone still thinks that Grothendieck's unpublished manuscripts are ...

**29**

votes

**0**answers

759 views

### Bidi: A new cardinal characteristic of the continuum?

This question assumes familiarity with combinatorial cardinal
characteristics of the continuum.
Identify an infinite set $a\subseteq\mathbb{N}$ with its increasing
enumeration. Thus, for each natural ...

**20**

votes

**0**answers

432 views

### Why are quasitopological spaces needed in sheaf theoretic approaches to the h-principle?

Recently I have been learning more about the h-principle and in particular the methods of "continuous sheaves". In many treatments of this I see people using "quasi-topological spaces" and I am trying ...

**20**

votes

**0**answers

1k views

### Subfields of $\mathbb{C}$ isomorphic to $\mathbb{R}$ that have Baire property, without Choice

While sitting through my complex analysis class, beginning with a very low level introduction, the teacher mentioned the obvious subfield of $\mathbb{C}$ isomorphic to $\mathbb{R}$, and I then ...

**19**

votes

**0**answers

503 views

### Are there “chain complexes” and “homology groups” taking values in pairs of topological spaces?

Throughout this question, notation of the form $(X,A)$ denotes a sufficiently nice pair of topological spaces. I think for most of what I'm saying here, it is enough to assume that the inclusion $A ...

**18**

votes

**0**answers

607 views

### The topologies for which a presheaf is a sheaf?

Given a set $S$, let $Top(S)$ denote the partially ordered set (poset) of topologies on $S$, ordered by fineness, so the discrete topology, $Disc(S)$, is maximal.
Suppose that $Q$ is a presheaf on ...

**17**

votes

**0**answers

504 views

### Can closed compacts in a topological group behave “paradoxically” with respect to unions, intersections, and one-sided translations?

Consider two closed compacts $A$ and $B$ in a topological group $\Gamma$. Let $A'$ be a left translation of $A$ and $B'$ a left translation of $B$:
$A' = aA$,
$B' = bB$.
Suppose it is known that ...

**16**

votes

**0**answers

525 views

### Is there a category of topological spaces such that open surjections admit local sections?

The class of open surjections $Q \to X$ is a Grothendieck pretopology on the category $Top$ of spaces, and includes the class of maps $\amalg U_\alpha \to X$ where $\{U_\alpha\}$ is an open cover of ...

**15**

votes

**0**answers

175 views

### Finite union of closed convex sets is triangulable?

I posted this question on Stackoverflow, but didn't get an answer.
Let $A_1, \ldots, A_k \subseteq \mathbb{R}^n$ be closed convex sets. Is the union $\bigcup_{i=1}^k A_i$ triangulable, that is, ...

**15**

votes

**0**answers

525 views

### Are amenable groups topologizable?

I've learned about the notion of topologizability from "On topologizable and non-topologizable groups" by Klyachko, Olshanskii and Osin (http://arxiv.org/abs/1210.7895) - a discrete group $G$ is ...

**15**

votes

**0**answers

616 views

### Which complete Boolean algebras arise as the algebras of projections of commutative von Neumann algebras?

Projections in an arbitrary commutative von Neumann algebra form a complete Boolean algebra.
Moreover, a morphism of commutative von Neumann algebras induces
a continuous morphism of the corresponding ...

**15**

votes

**0**answers

1k views

### Covers of $Z^k$

This is a question related to covers of $Z^\infty$. Is it possible to cover $Z^k$, $k>1$, with the $l_1$-metric by a constant (not depending on $k$) number of collections of subsets $U^0,...,U^c$ ...

**13**

votes

**0**answers

406 views

### Connected and locally connected, but not path-connected

Allow me to use some non-standard terminology:
A h-contractible space is a non-empty topological space $X$ such that, for any topological space $T$ and any pair of continuous maps $f_0, f_1 : T \to ...

**12**

votes

**0**answers

511 views

### Characterization of Fréchet-Urysohn spaces using sequential continuity at a point

A map $f \colon X \to Y$ is called sequentially continuous at the point $a$ if for every sequence $(x_n)$ such that $x_n\to a$, we also have $f(x_n)\to f(a)$.
$$x_n\to a \qquad \Rightarrow \qquad ...

**11**

votes

**0**answers

269 views

### Continuous extension of Riemann maps and the Caratheodory-Torhorst Theorem

If $G\subsetneq\mathbb{C}$ is a simply-connected plane domain, then by the Riemann mapping theorem there is a conformal isomorphism $\newcommand{\D}{\mathbb{D}}\varphi:\D\to G$, where $\D$ is the unit ...

**11**

votes

**0**answers

504 views

### Is every $\sigma$-algebra of sets *abstractly* the Borel algebra of a topology on perhps some other set?

Is every sigma-algebra the Borel algebra of a topology?
inspires the present question which asks for less.
Question: Given a $\sigma$-algebra ${\cal A}$ on a set $X$, does there exist a topology ...

**11**

votes

**0**answers

977 views

### Paracompact Hausdorff but not compactly generated?

I'm sorry to be asking a (possibly) elementary question, but I've run into a problem in point-set topology; I've just read that there exists paracompact Hausdoff spaces which are not compactly ...

**10**

votes

**0**answers

200 views

### Multiplicity of ball covering

Background. My questions are motivated by the following:
A. Conway and Sloane in "On the covering multiplicity of lattices" (Discrete
and Computational Geometry, 8 (1992) 109-130) considered the ...

**10**

votes

**0**answers

295 views

### Topology of marked groups for different number of generators

A $k$-marked groups is a pair $(G,S)$ where $G$ is a group and $S$ is an ordered set of $k$ generators of $G$. Each such pair can be identified with a normal subgroup of the free group $F_k$ of rank ...

**10**

votes

**0**answers

195 views

### Krull dimension and Morley rank

Definition : A Topological space $\mathcal{D}$ is called noetherian if it satisfies the descending chain condition for closed subsets. We define the dimension of $\mathcal{D}$ to be the supremum of ...

**10**

votes

**0**answers

304 views

### Linearly Lindelöf spaces with Lindelöf degree of uncountable cofinality

A space is linearly Lindelöf iff every open cover $C$ has a subcover $S$ with $\operatorname{cf} (|S|)= \aleph_{0}$.
Is there a linearly Lindelöf space $X$ with
$\operatorname{cf} (L(X))> ...

**10**

votes

**0**answers

268 views

### When is the one-point compactification well-pointed?

This is a follow up to my previous
question.
Question:
Is there a reasonably natural set of conditions which guarantee that the one-point
compactification $X^+$ of a locally compact Hausdorff ...

**10**

votes

**0**answers

320 views

### 3 manifolds with diffeomorphic unit tangent bundles

What can one say about two closed oriented 3-manifolds $M_1$ and $M_2$ such that $S^2 \times M_1$ is diffeomorphic to $S^2 \times M_2$?

**10**

votes

**0**answers

536 views

### Name for a topological space where every closed set contains a closed point

A coauthor and I have stumbled upon a useful topological property -- namely, we are interested in the property that every nonempty closed set contains a closed point. However, neither of us are ...

**10**

votes

**0**answers

604 views

### Characterization of Unusual Topologies of $\mathbb R$

Following some argument over a question on math.SE, I began to wonder:
We all know that in the standard topology there are no continuous bijections from $[0,1]$ to $(0,1)$ (for example by arguments ...

**9**

votes

**0**answers

131 views

### A compact T1 topological space has a proper dense subset to which it is homeomorphic. What can be said about the space?

Let $X$ be a compact T1 (so singleton subsets are closed) topological space. Suppose that there is a proper subset $D \subset X$ such that:
$D$ is dense in $X$;
$D$ is homeomorphic to $X$.
Note ...

**9**

votes

**0**answers

121 views

### Why must commuting maps (of an interval) without common fixed points have at least 11 fixed points for the composition?

I've been looking at the examples of commuting functions on a closed interval which have no common fixed points. These were discovered in 1967 by William M Boyce and J Philip Huneke.
Earlier work by ...

**9**

votes

**0**answers

82 views

### A 2 dimensional Sharkovskii type Theorem

Does there exist a homeomorphism of $\mathbb{R}^2$ with a periodic point of period three and no fixed points? Note that according to a theorem from Brouwer such homeomorphism must be orientation ...

**9**

votes

**0**answers

131 views

### The space of all compact metric spaces with Gromov-Hausdorff distance

Given two metric spaces $(X_1,d_1),(X_2,d_2)$ one can define $d_{GH}(X_1,X_2)$---the Gromov Hausdorff distance between them. It appears to be $0$ iff $X_1$ and $X_2$ are isometric. One can therefore ...

**9**

votes

**0**answers

182 views

### Is it possible to prove in ZF that a non-trivial compact connected Hausdorff space is uncountable?

Let $X$ be a compact, connected Hausdorff space with at least two points.
In $\mathrm{ZF}+\mathrm{AC}_\omega(\mathbb R)$, any countable compact Hausdorff space is metrizable, and from this it can be ...

**9**

votes

**0**answers

493 views

### A proof of the gluing axiom of a TQFT

I posted the following question on math stackexchange but I have not received any answer.
So I hope people here can help me.
In the book Lectures on tensor categories and modular functors by Bakalov ...

**9**

votes

**0**answers

182 views

### H-spaces without rational homology

Does there exist a simply connected, non-contractible manifold $M$, which is an $H$-space,
and whose rational homology groups vanish in positive degrees?
My space $M$ is in fact homotopy equivalent ...

**9**

votes

**0**answers

547 views

### A basic question on Stone-Cech compactification of $\mathbb{Z}$

Can the identity isomorphism on the additive group $\mathbb{Z}$ be extended to a non-identity semigroup isomorphism on $\beta\mathbb{Z}$, and still preserves $\beta\mathbb{Z}\setminus\mathbb{Z}$? ...

**9**

votes

**0**answers

599 views

### Does Urysohn's Lemma imply Dependent Choice?

It's widely known$^{1}$ that in the proof of Urysohn's Lemma (UL) one uses the Principle of Dependent Choice (DC). Inspired by the equivalence between DC and Baire's Category Theorem$^{2}$, I'd like ...

**8**

votes

**0**answers

134 views

### Why would we a priori expect $V(I)$ to satisfy axioms to define the closed sets for a topology on $\text{Proj}(S)$?

Reposted from math.stackexchange here.
The topological space $\text{Proj}(S)$ has the underlying set$$\text{Proj}(S) = \{\mathfrak{p} \text{ a homogeneous prime such that }S_+ \not\subseteq ...

**8**

votes

**0**answers

300 views

### Standard model structures on $Top$

Call a model structure on $Top$ (the category of topological spaces) standard, if the weak equivalences are the weak homotopy equivalences. In this nLab page, two standard model structures on $Top$ ...

**8**

votes

**0**answers

133 views

### Intersection of connected components in $\mathbb{R}^n$

Let $n$ be a positive integer and let $K\subseteq \mathbb{R}^n$ be compact. Pick $x^* \in \mathbb{R}^n\setminus K$.
Let $E$ be the connected component of $\mathbb{R}^n\setminus K$ that contains ...

**8**

votes

**0**answers

122 views

### Is $(\omega+1)^\omega$ with the box topology ultraparacompact?

Let $\omega+1$ be endowed with the interval topology, that is $U\subseteq (\omega+1)$ is open if $U\subseteq\omega$ or $(\omega+1)\setminus U$ is finite. We call $U\subseteq (\omega+1)$ basic if ...

**8**

votes

**0**answers

299 views

### Two questions about universally measurable sets

I have two questions about universally measurable sets:
(1) Is there a universally measurable set of reals which does not have the Baire property?
(2) Is there a universally measurable set of reals ...

**8**

votes

**0**answers

245 views

### Which topological spaces are coset spaces of locally compact groups?

What is a topological characterization of the class of spaces that have the form $G/H$ for a locally compact, Hausdorff group $G$ and a closed subgroup $H$ ?
Such a space $X=G/H$ necessarily ...

**8**

votes

**0**answers

293 views

### Is there in ZFC a topological space which is normal, ccc, countably compact, first countable and non-compact?

I am looking for a space as in the title and since many very similar spaces do exist in the literature, I wonder whether someone has a reference (different from the ones I cite below) or just some ...

**8**

votes

**0**answers

304 views

### Is the product of a discretely Lindelöf space with [0,1] discretely Lindelöf ?

A space $X$ is discretely Lindelöf iff given any discrete subset $D$ of $X$, its closure in $X$ is Lindelöf. Such spaces were introduced by Arkhangel'skii about 15 years ago (if I am not mistaken) ...

**8**

votes

**0**answers

555 views

### In ZF, when is a disjoint union of metrizable spaces metrizable?

It is easy to see that the disjoint union $\bigsqcup_i X_i$ of a collection of
metric spaces is metrizable, simply by rescaling or chopping off
the individual metrics to have diameter at most one, and ...

**8**

votes

**0**answers

494 views

### Pseudocycle definition of open Gromov-Witten invariants

I decided my original question was unnecessarily long, and have edited to simply ask the desired question directly (the below is much more direct than my original post, though it may seem just as ...

**8**

votes

**0**answers

689 views

### Is there a generalization of Brouwer's fixed point theorem?

In essence, this is the same problem as in
“The generalization of Brouwer's fixed point theorem?”.
But now I am determined to be careful. The main question is
the following:
Is there any ...

**8**

votes

**0**answers

358 views

### Quotients of topological groupoids

The issues that arise when moving from topological groups to topological groupoids are (at least to me) both subtle and interesting. Recently, I was reading a paper of R. Brown and J.P.L. Hardy from ...

**7**

votes

**0**answers

140 views

### A forked plane continuum

I came up with this question while trying to solve the following MO one:
Does every connected set that is not a line segment cross some dyadic square?
Suppose $C$ is a plane continuum (i.e. a ...

**7**

votes

**0**answers

162 views

### How much of general topology can be developed by taking the notion of “connected set” as the sole topological primitive

Let X be an infinite regular topological space which is connected and locally connected. If no point of X is a cut point, does X always have base of connected open sets whose complements (with respect ...

**7**

votes

**0**answers

225 views

### Spaces that never separate the Hilbert cube

I am interested in topological spaces such that whenever the space embeds into the Hilbert cube, the image of the embedding has a path-connected complement.
Any finite dimensional space has this ...

**7**

votes

**0**answers

219 views

### Construct a topologically $\infty$-dimensional separable metric space.

But don't assume knowledge of any topological dimension theory. Here is a specific approach (an open problem):
Does there exist a separable metric space $X$ such that the following two conditions ...