All Questions
5,185 questions
2
votes
0
answers
72
views
Topological Shape Operator More Sensitive than Inverse Limits
This is a very general sort of question, and the use of the phrase 'shape operator' is a bit sloppy since there is already an established "shape theory." But what I have are topological spaces that ...
- 439
2
votes
0
answers
49
views
Maps having the right lifting property against cofibrations of compact spaces
I would like to know the properties of the maps that have the right lifting property against cofibrations of compact spaces. By definition, they are acyclic Serre fibrations, but I would hope to be ...
- 765
2
votes
0
answers
333
views
A property of subspaces of a topological space
Let $X$ be a topological space and $A$ be a subset of $X$. Is there any nice condition on $A$ equivalent to the property that if $C$ is a connected component of $X$, then either $A\cap C=\emptyset$ or ...
- 21
2
votes
0
answers
158
views
When does $S \cap GL_4(\mathbb R)$ have precisely two connected components where $S \subset M_4(\mathbb R)$ is a linear subspace?
This is a cross-post to the question I asked at MSE.
Let $A \in M_4(\mathbb R)$ and $A = (e_2, x, e_4, y)$ where $e_2, e_4$ are standard basis in $\mathbb R^4$ and $x,y$ are undetermined variables. ...
- 195
2
votes
0
answers
72
views
Lifting clopen subsets
Let $A$ be a subset of a topological space $T$, we say that clopen subset of $A$ lift to $T$ whenever $L$ is a clopen subset of $A$ the there exists a clopen subset $H$ of $T$ such that $H\cap A=L$.
...
- 21
2
votes
0
answers
102
views
Square Peg Problem and curve density
Square Peg Problem (or conjecture) is so famous. See this article
Let $CS:=\{\gamma:S^1\longmapsto\mathbb{R}^2 | \;\;\text {Square Peg Problem is true}\}$ and $C=\{\Upsilon:S^1\longmapsto\mathbb{R}^2 ...
- 4,784
2
votes
0
answers
82
views
Enveloping a Jordan curve with a trace of another one
This question is inspired by this one, or rather the way I understood it.
Let $\gamma$ and $\delta$ be parametrised Jordan curves on the plane (i.e. homeomorphisms from $S^1$ onto its image in $\...
- 5,529
2
votes
0
answers
48
views
When $C_k(X,2)$ is Baire?
$C_k(X,2)$ is the family of all continuous function from $X$ to $\{0,1\}$ with compact-open topology.
for which kind of topological spaces $C_k(X,2)$ is Baire or meager?
Or is there something ...
- 123
2
votes
0
answers
98
views
Union of Two Faces, using the Jordan Curve Theorem
Consider four disjoint points in the plane, $v_{1}$, $v_{2}$, $v_{3}$ and $v_{4}$.
The cycle, $C:=v_1v_2v_{3}v_{4}v_{1}$, is the union of the (Jordan)
arcs, $A_{12}$, $A_{23}$, $A_{34}$, and $A_{41}$, ...
- 21
2
votes
0
answers
108
views
Homogeneity of the space of semicontinuous functions
I am interested in the topological homogeneity of function spaces.
Question. Let $X$ be a Tychonoff space, let $USC(X)$ be a space of upper semicontinuous functions on $X$ and let $USC(X)^+$ be a ...
- 1,101
2
votes
0
answers
80
views
Are the roots of an infinitely divisible probability infinitely divisible themselves?
Let $\mu$ be an infinitely divisible probability on a topological group $G$. If $\nu ^{* n} = \mu$ for some $n$, is $\nu$ an infinitely divisible probability too?
A sufficient criterion would be to ...
- 5,407
2
votes
0
answers
81
views
If $H$ and $Z$ are closed subgroups generating $G$, is $H \times Z \rightarrow G$ an open map?
Let $G$ be a Hausdorff topological group with center $Z$ and closed subgroup $H$. Suppose that $H.Z = G$. Is the product map
$$H \times Z \rightarrow G$$
necessarily an open map? That is, can we ...
- 6,180
2
votes
0
answers
64
views
On minimality of semitopological and quasitopological groups
The phenomemnon of minimality is well-studied in the realm of topological groups.
Let us recall that a topological group $X$ is minimal if each bijecive continuous homomorphism $h:X\to Y$ to a ...
- 42k
2
votes
0
answers
66
views
Two questions about subsequential spaces with countable $k$-network
This question was motivated by my answer to this MO question, which asked about the characterization of spaces that belong to the smallest class of topological spaces that is closed under taking ...
- 42k
2
votes
0
answers
102
views
Is this concrete set generically Haar-null?
This question is related to this problem on MO about generically Haar-null sets in locally compact Polish groups but is more concrete.
First we recall the definition of a generically Haar-null set in ...
- 42k
2
votes
0
answers
81
views
A semigroup property related to von Neumann regularity
A very common and useful notion in rings is that of von Neumann regular elements: those elements $a\in R$ such that there exists $b\in R$ satisfying $aba=a$. As this is a property defined solely ...
- 18.7k
2
votes
0
answers
50
views
Nonautonomous wave equation of memory type
I want to apply the semigroup approach of nonautonomous evolution equation for the following wave equation
$$u'' - \Delta u + \int\limits_0^t {g(s)} \Delta u(s)ds = 0$$
This problem can be written ...
- 617
2
votes
0
answers
169
views
What is the difference between a monosemiring and a semigroup?
What is the difference between a monosemiring and a semigroup?
The following definitions are for clarity of my question.
A semigroup $S$ is a non empty set that satisfies closure and associativity ...
- 203
2
votes
0
answers
63
views
QF-3 monoid algebras
A finite dimensional algebra $A$ is called QF-3 in case the injective envelope of the regular module is projective. For example all Frobenius algebras are QF-3.
Given a monoid algebra $kG$ of a finite ...
- 26.5k
2
votes
0
answers
91
views
Semigroups of nondecreasing functions
Consider some partially ordered set $(E,\leq)$. Assume either that it is countable with the discrete topology, or that it has some topology compatible with the order, preferably one that makes it into ...
2
votes
0
answers
97
views
First Betti number of a Reeb graph is not greater than that of the space?
(I have asked this question at math stackexchange, it was upvoted but got no answers; maybe you can help.)
It is well-known that $\beta_1(R(f))\le\beta_1(X)$, where $\beta_1$ is the first Betti ...
2
votes
0
answers
143
views
How to unify these three classes of topological spaces?
For a cardinal $\kappa$ let $\Box^\kappa\mathbb R$ be the box-product of $\kappa$-many lines and $\boxdot^\kappa\mathbb R:=\{x\in\Box^\kappa:|\{\alpha\in\kappa:x(\alpha)\ne 0\}<\omega\}$ be the $\...
- 42k
2
votes
0
answers
546
views
On Kalai's $3^{d}$ conjecture
I just learned the existence of Gil Kalai's $3^{d}$ conjecture, which according to Wikipedia, is proven for $d$ at most $4$. It states that every $d$ dimensional polytope with central symmetry has at ...
- 6,982
2
votes
0
answers
98
views
If $H$ is an atomic, unit-cancellative monoid such that the set of atoms of $H$ is finite up to associates, then $H$ is BF
In a previous version of this post, $H$ was an atomic commutative monoid such that the quotient $H/H^\times$ is finitely generated, and I was asking if such conditions were enough for $H$ to be BF. ...
- 10.5k
2
votes
0
answers
126
views
Local cohomology with supports in a constructible set
Let $X$ be a topological space (I'm interested in the case of $X$ being a complex algebraic variety with the Zariski topology) and $Z$ a constructible subset (i.e. a finite union of locally closed ...
- 3,079
2
votes
0
answers
65
views
Splitting of ordinals of oscillation ranks of a Baire $1$ function
Denny and Tang proved that
Theorem $2.3$ Let $(f_n)$ be a sequence in $\mathfrak{B}_1(K)$ converging pointwise to a function $f.$
Suppose $\sup\{ \beta(f_n):n\in\mathbb{N} \} \leq \beta_0$ and $\...
- 623
2
votes
0
answers
35
views
If the set of non-0 stalks of F is relatively open, is the same true of its Verdier dual?
Let $X$ be a complex manifold, $F$ a bounded complex of $\Bbb C_X$-modules with constructible cohomology. If the set $\{x: F_x\neq0\}$ is relatively open (i.e. open in its closure), is the same true ...
- 3,079
2
votes
0
answers
49
views
Does each weakly feathered topological group admit an injective homomorphism into a feathered topological group?
A topological group $G$ is called
$\omega$-$\mathit{narrow}$ if for each non-empty open set $U\subset G$ there exists a countable subset $C\subset G$ such that $G=CU=UC$;
$\mathit{feathered}$ if $...
- 42k
2
votes
0
answers
73
views
Is there a star Lindelöf topological group which is not star countable?
I'm interested in this question:
Is there a star Lindelöf topological group which is not star countable?
A topological space $X$ is said to be star countable if whenever $\mathscr{U}$ is an open ...
- 621
2
votes
0
answers
61
views
Looking for a weakly Lindel\"of Tychonoff Moore non-ccc space
Is there a weakly Lindel\"of Tychonoff Moore non-ccc space?
Note that here ccc denotes the countable chain condition; a space $X$ is called weakly Linde\"of if for any open cover $\mathcal U$ of $X$ ...
- 621
2
votes
0
answers
217
views
Constructible sets, I (Morphisms)
I have a number of questions on constructible sets. The first one is on morphisms: suppose $X$ and $Y$ are constructible sets, respectively in projective spaces $\mathbf{P}_1$ and $\mathbf{P}_2$ over ...
- 4,565
2
votes
0
answers
62
views
Extensions of an ideal-theoretic criterion for a monoid to be BF
Let $H$ be a multiplicatively written, commutative monoid. We denote by $H^\times$ the set of units (or invertible elements) of $H$, and by $\mathcal A(H)$ the set of atoms (or irreducible elements) ...
- 10.5k
2
votes
0
answers
192
views
Generalize upper semicontinuous regularization using Borel Hierachy
Let $X$ be a metric space. Suppose a real-valued function $f:X\rightarrow \mathbb{R}$ is upper semicontinuous class $2$ if for all $c \in \mathbb{R},$ its preimage $f^{-1}(-\infty,c)$ is $F_{\sigma}$.
...
- 623
2
votes
0
answers
138
views
Does any smooth oriented closed orbifold have a fundamental class
This thread:triangulation of orbifolds
has shown that any smooth closed orbifold has a triangulation. My further question is: if the difference of any two triangulations $P$ and $Q$ is a boundary of a ...
- 781
2
votes
0
answers
253
views
Special orthogonal groups over spheres
In Norman Steenrod's book "The Topology of Fibre Bundles", on page 37, one can find the following conjecture: if $n$ is a power of two then the fibre bundle with the projection $SO(n)\to SO(n)/SO(n-1)=...
2
votes
0
answers
114
views
Linear topologies on the finite dual of the polynomial algebra
Let $\Bbbk[X]$ be the polynomial algebra in one indeterminate over a field $\Bbbk$, endowed with the primitive-like bialgebra structure, i.e. $\Delta(X)=X\otimes1+1\otimes X$ and $\varepsilon(X)=0$.
...
- 718
2
votes
0
answers
80
views
Does compact Hausdorff exponentiable topology on opens of $X$ induce a compact Hausdorf topology on $C(X,Y)$
My question arose after I read Topologies on spaces of continuous functions of Martin Escardo and Reinhold Heckmann. Terminology of the question is similar to note. I avoid here of definitions of all ...
- 774
2
votes
0
answers
171
views
Existence of compatible almost complex structure of symplectic fibration with nice property
Let $\pi: E \to B$ be a fibration over a closed surface $B$ with fier $g(F) \ge 2$. Suppose that both of $B$ and $F$ are closed surfaces and $g(B) \ge2$ and $g(F) \ge 2$. Fix a Kahler structure $(...
- 185
2
votes
0
answers
51
views
Existence of a canonical embedding from a quotient of $\mathscr{F}^\ast(\mathcal A(H))$ to another
Let $H$ be a multiplicative, commutative monoid, and denote by $H^\times$ the group of units of $H$, by $\mathcal A(H)$ the set of atoms (or irreducible elements) of $H$, by $\mathscr{F}^\ast(\mathcal ...
- 10.5k
2
votes
0
answers
305
views
Are homotopy equivalent manifolds with homeomorpic boundaries themselves homeomorphic?
Let $f:M \to M′$ be a homotopy equivalence of topological manifolds with boundary such that $dim(M)=dim(M′)$ and $f:\partial M \to \partial M′$ is a homeomorphism. Does this imply the existence of a ...
- 79
2
votes
0
answers
62
views
The topology of the space of simple tensors [duplicate]
We identify the vector space tensor product $\mathbb{R}^{m} \otimes \mathbb{R}^{n}$ with $\mathbb{R}^{mn}$
Let $X$ be the space of all non zero simple tensors $X=\{a\otimes b \mid a\in \...
- 366
2
votes
0
answers
82
views
Uniquely divisible neighborhoods of identity in topological groups
Let $G$ be a (finite dimensional real) Lie group, and let $A\subset G$ be an open neighborhood of identity. If $A=\operatorname{Exp}(\mathcal{A})$ is the injective range of the exponential map from a ...
- 1,959
2
votes
0
answers
604
views
Valuation topology vs modified valuation topology
Let $K$ be a field with valuation $v:K\to G\cup\{\infty\}$ where $G$ is an ordered abelian group. In section 7.62 of the book "Foundations of analysis over surreal number fields." Vol. 141. Elsevier, ...
- 596
2
votes
0
answers
83
views
Sheaf of R-modules and modules over compactly supported functions
I'm looking for a reference for the following result:
Let $X$ be a locally compact Hausdorff topological space. let $\mathcal{R}$ be the sheaf of continuous functions with values in $\mathbb{R}$ over ...
- 42.4k
2
votes
0
answers
106
views
Descent of flatness from algebras to monoids II
This is a follow-up question to this one. There, Benjamin Steinberg showed that a morphism of commutative monoids $u$ need not be flat if the induced morphism of $R$-algebras $R[u]$ is flat for some ...
- 6,700
2
votes
0
answers
109
views
Compare two topologies: Three 2-tori inside $S^3 \times S^1 \# S^2 \times S^2$ glued from two different diffeomorphisms
We like to ask for the comparison of two topologies of three 2-tori inside the same 4-manifolds glued from two different diffeomorphisms (see the end).
Given an embedded torus $T$ with trivial normal ...
- 10.5k
2
votes
0
answers
279
views
Can a bounded open set in $R^n$ be always approximated from outside with a finite union of dyadic cubes?
Suppose we have a bounded open set $S$ in $R^n$. Consider the collection of closed dyadic cubes $C_k$'s (https://en.wikipedia.org/wiki/Dyadic_cubes). I was wondering if there always exists a finite ...
- 131
2
votes
0
answers
331
views
Why is a component of complement of Jordan curve 1-connected w/o Schoenflies?
The complement of a simple closed curve in the Riemann sphere has two connected components (Jordan). Schoenflies theorem implies that each of these components is homeomorphic to a disk and hence each ...
- 494
2
votes
0
answers
73
views
Dual equivalence for multioperators
This is a reference request question. But let's start with a few definitions.
Let $L$ and $M$ be two bounded lattices. A multioperator $p$ for $L$ and $M$ is an application $$p : L \to Ft(M)^{op}$$ ...
- 1,017
2
votes
0
answers
68
views
Topologies with the same convex closed sets
Let $\tau_1$ and $\tau_2$ be locally convex Hausdorff topologies on vector space $X$ such that $(X,\tau_1)^\ast = (X,\tau_2)^\ast$. It is well known that $(X,\tau_1)$ and $(X,\tau_2)$ have the same ...
- 105