**29**

votes

**0**answers

4k views

### Grothendieck's manuscript on topology

Edit: Just in case anyone still thinks that Grothendieck's unpublished manuscripts are (by his letter) entirely out of sight: Declared as "national treasure", they seem to be in principle accessible ...

**19**

votes

**0**answers

466 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

555 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

462 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

480 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

482 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 ...

**13**

votes

**0**answers

232 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 ...

**13**

votes

**0**answers

509 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 ...

**11**

votes

**0**answers

355 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

938 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

252 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

578 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

159 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 ...

**9**

votes

**0**answers

270 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 ...

**9**

votes

**0**answers

276 views

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

Is there a linearly Lindelöf space $X$ with
$\operatorname{cf} (L(X))> \aleph_{0}$
(where $L$ is the cardinal function Lindelöf degree)?
$L(X)$ must be a limit cardinal, like $\aleph_{\omega_{1}}$ ...

**9**

votes

**0**answers

289 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$?

**9**

votes

**0**answers

464 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

170 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

510 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 ...

**8**

votes

**0**answers

464 views

### Is every continuous function measurable?

This question has already been asked on Math StackExchange here, but was too old to be migrated, and I think will be more appropriate to MathOverflow.
In non-Hausdorff topology it is standard to ...

**8**

votes

**0**answers

670 views

### Distributivity of group topologies on $\Bbb Z$

Let $\mathcal L$ be the set of all group topologies on $\Bbb Z$.
It is known that $(\mathcal L,\subseteq)$ is a modular complete lattice [1].
Is $(\mathcal L,\subseteq)$ distributive?
$$~$$
...

**8**

votes

**0**answers

404 views

### A group allowing exactly 7 group topologies

Is there a group $G$ allowing exactly 7 group topologies on $G$: $\mathcal T_{trivial}, \mathcal T_{discrete}, \mathcal T_1, \mathcal T_2,\mathcal T_3,\mathcal T_4, \mathcal T_5$ with
$$\mathcal ...

**8**

votes

**0**answers

80 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 ...

**8**

votes

**0**answers

290 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

470 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 ...

**8**

votes

**0**answers

501 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}$? ...

**8**

votes

**0**answers

504 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

537 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

460 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

677 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

350 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

135 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

154 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 ...

**7**

votes

**0**answers

191 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 ...

**7**

votes

**0**answers

258 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 ...

**7**

votes

**0**answers

205 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 ...

**7**

votes

**0**answers

135 views

### Generalized Skorokhod spaces

Skorokhod spaces of càdlàg functions are an extremely useful setting to describe stochastic processes. I'd like to understand the Skorokhod topology from a pure topological point of view, without ...

**7**

votes

**0**answers

356 views

### Is the set of real-valued lower semi-continuous functions measurable in epigraph topology (= topology of Gamma convergence)?

Let LSC = LSC([0,1]) be the set of non-negative, lower semi-continuous functions on the unit interval which take values in $\mathbb{R}_+ \cup \{\infty\}$. We use epigraph topology on LSC, i.e. a ...

**7**

votes

**0**answers

234 views

### The self-duality of topological compactness

The impatient reader can skip my attempt at motivation and go straight my "Question formulations for the impatient."
In a failed(?) attempt at discovering something new, some years ago I toyed ...

**6**

votes

**0**answers

98 views

### Face poset of a subcomplex complement

Let $P$ denote the face poset of a simplicial complex, $\Delta$ the order complex of a poset, and $\simeq$ homotopy equivalence. It's known that for any finite simplicial complex $\mathcal{K}$ that ...

**6**

votes

**0**answers

142 views

### A compactification of the non-negative rationals with the discrete topology

Let $S$ be the set of non-negative rational numbers. (If it makes any difference, feel free to take the non-negative dyadic rationals instead.) Let $B=\ell_\infty(S)$; as a ${\rm C}^*$-algebra this is ...

**6**

votes

**0**answers

165 views

### Zariski-homeomorphisms

This question is motivated by two questions at MO and
at MSE.
I am interested in homeomorphism types of (irreducible) complex-projective varieties with respect to the Zariski topology. Any two ...

**6**

votes

**0**answers

281 views

### Prokhorov's theorem for finite signed measures?

Prokhorov theorem provides a useful characterization of relatively compact sets w.r.t. narrow topology (topology induced by narrow convergence) in the space of probability measure.
Notation used ...

**6**

votes

**0**answers

90 views

### How to call a point in a space having the property that there is essentially one $\omega$-sequence converging to it?

Consider the point $x=\langle \omega_1,\omega\rangle$ in the Tychonov plank $(\omega_1 + 1)\times(\omega + 1)$. Then there is essentially only one sequence (of length $\omega$) converging to it, ...

**6**

votes

**0**answers

228 views

### Is there Ultracoproduct-like construction for topological spaces in general?

In
http://arxiv.org/pdf/math/9704205.pdf
they define the ultracoproduct of a sequence of compact Hausdorff spaces, $\sum_\mathcal{U}X_i$ along an ultrafilter $\mathcal{U}$ as the Wallman-Frink ...

**6**

votes

**0**answers

201 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 ...

**6**

votes

**0**answers

238 views

### Does local strict contractibility imply ANR?

Say that a space (= compact metrizable space) $X$ is locally strictly contractible if, for every $p\in X$ and neighborhood $U$ of $p$, there is a neighborhood $V$ of $p$ which can be contracted to $p$ ...

**6**

votes

**0**answers

287 views

### “Liftings” of L^\infty functions

This is motivated by this question: Is there an inclusion of $L_\infty(G)$ into $C_0(G)^{**}$? and Bill Johnson's comments there.
Let $X$ be a locally compact Hausdorff space and $\mu$ a Radon ...

**6**

votes

**0**answers

228 views

### How to use the Lefschetz trace formula on infinite dimensional spaces?

I think the Lefschetz trace formula says something like:
if $F: X \to X$ is a continuous map of compact manifolds, then
$\chi(X^F) = \sum (-1)^i \mathrm{Tr} f_*|_{H_i(X)}$
First of all, this ...

**6**

votes

**0**answers

296 views

### The Space of Cellular Maps

Let $X$ and $Y$ be CW complexes.
Inside of the space of maps $\mathrm{map}(X,Y)$, we have the subspace $\mathrm{CW}(X,Y)$, consisting of just the cellular maps from $X$ to $Y$. The Cellular ...