All Questions
2,364 questions with no upvoted or accepted answers
1
vote
0
answers
246
views
Relation between the pushback closed form of sphere bundle and the pullback closed form of ball bundle
Let $B$ be a closed oriented $n$-manifold, and $\pi_N:N\to B$ be an oriented $m$-dim ball bundle, i.e. each fiber is an oriented $m$-dim ball(disk) $D^m$. We have a sphere bundle $\pi_\partial:\...
1
vote
0
answers
305
views
The mapping cylinder of a map between spaces that are homotopy equivalent to CW complexes
Suppose $X$ and $Y$ are spaces that are homotopy equvialent to CW complexes, and let $f:X\to Y$ be a continuous map. I am trying to show that the pair $(M_f,X)$ is homotopy equivalent to a CW pair.
I'...
1
vote
0
answers
96
views
Is there terminology for a sum of maps where every map is not null-homotopic?
Consider maps $f_1,\dots,f_m \colon \Sigma X \longrightarrow Y$, where $X$ and $Y$ are CW complexes.
When considering the sum of either the maps themselves
$$\bigvee f_i \colon \Sigma X \...
1
vote
0
answers
157
views
Decomposing the homology of a connected sum of surfaces in a way which highlights the combinatorics of gluing
For each $i = 1,2$ and $j = 1,\ldots,n$, let $C_{i,j}$ be a connected compact oriented surface with $k$ boundary components. For $i = 1,2$, let $C_i = \sqcup_{j=1}^n C_{i,j}$, and let $C$ be the ...
1
vote
0
answers
200
views
Question regarding affine fibre bundles
Let $f:X\to Y$ be a morphism of affine varieties such that it is a fibre bundle with fibre $F$. Let $\pi_1(Y)=\Gamma$ be a free group (non abelian) of finite rank and $\pi_1(F)$ is a finite group $G$ ...
1
vote
0
answers
165
views
distance between two orthogonal projection matrices and its covering number
Let $X, Y \in \mathbb{R}^{n\times p}$ such that $\Vert X- Y \Vert_{HS} \leq \delta$ (Hilbert-Schmidt norm). Also, assume that both $X, Y$ have full column rank. Let the orthogonal prpjection operator ...
1
vote
0
answers
32
views
Results on compact slices in a regular foliation
Let $(M,\mathcal{F}$) be a smooth and regular foliation (not necessarily of comdimension 1). I am wondering if there are known (partial) results on the existence of compact, connected submanifolds $F\...
1
vote
0
answers
93
views
What is t-equivalence in function spaces?
In $C_p$-Theory monographs, it is said that two topological spaces $X$ and $Y$ are said to be $t$-equivalent means that $C_p(X)$ is homeomorphic to $C_p(Y)$. Then they also define $u$-equivalences (...
1
vote
0
answers
123
views
Algebraic deformation retract of subvarieties
Let $X$ be a complex projective variety. Let $V_1$ and $V_2$ be two closed subvarieties of $X$. We say $V_2$ admits an algebraic deformation retract to $V_1$ in $X$, if the closed immersion $V_1\...
1
vote
0
answers
133
views
What are the obstacles for a complex to be a space of loops?
It is known that any space of loops is an H-space. So my question has two parts:
What are the obstacles for a complex to be an H-space? Is there any hope to somehow reasonably classify/characterize ...
1
vote
0
answers
123
views
Cohomology of bisimplicial set is the cohomology of the total simplicial set?
Given a bisimplicial manifold (or set, topological space) there is the bar construction, which assigns to it a simplicial manifold, called the total simplicial manifold.
Now stepping back for a moment,...
1
vote
0
answers
142
views
Direct limit of groups rings of finite quotients of a profinite group
Background:
Let $G$ be a profinite group, for $M \leqslant N$ open normal subgroups we have the projection map $p_{M,N} \colon G/M \to G/N$
which induces a transfer map on rational group rings
$$
p_{M,...
1
vote
0
answers
57
views
To partition planar convex regions into n mutually non-congruent convex pieces of equal area and perimeter
This post continues Cutting a spherical surface into mutually non-congruent pieces of equal area.
Question: Given a planar convex region C and an integer n, how does one decide if C can be divided ...
1
vote
0
answers
110
views
Zeroth homology of the complement of a closed set
Suppose $F$ is a closed set in $\mathbb{R}^n$ with $n>1$.
Are there some known conditions that must be imposed on $F$ so that its complement in $\mathbb{R}^n$ has a finite number of components? ...
1
vote
0
answers
35
views
Are there local maps of simplicial (co-)cycles on $d$-manifolds beyond cohomology operations?
I'm interested in locally defined maps of cocycles/chains on manifolds of a fixed dimension $d$ which are compatible with cohomology. To be concrete about what "local" means, let me consider ...
1
vote
0
answers
384
views
Are elliptic curves infinite loop spaces?
Is the group action on an elliptic curve reflecting the fact that it is a space with with transfers?
Through the recognition principle
$$\mathrm{Mon}_{\mathbb{E}_\infty}(\mathrm{Spc})^{gp}\simeq \...
1
vote
0
answers
155
views
Topology of spinor varieties
I am looking for a reference about the topology of spinor varieties. Is there some place where the Betti numbers, Chern numbers, cohomology ring etc. of spinor varieties is given (including general ...
1
vote
0
answers
284
views
A question on existence of gradient vector field on manifold with boundary
Let $M$ be a compact manifold with smooth boundary $\partial M$. Does $M$ admit a gradient vector field $\nabla u$, which has no zeros, i.e. $\nabla u(x)\neq 0$, $\forall x\in M\cup\partial M$?
Thanks ...
1
vote
0
answers
143
views
End space of non-compact 2-manifolds described with proper rays
I am wondering if the classification of noncompact surfaces given by Ian Richards can be stated with proper rays instead of nested sequences of connected open subsets with compact boundary. I asked ...
1
vote
0
answers
132
views
definition of generic function
what is definition of generic function in following paper ? i need a reference for definition generic function .
"A. Hatcher, W. Thurston, A presentation for the mapping class group of a closed ...
1
vote
0
answers
243
views
When is a topological manifold which is not an almost complex manifold algebraic?
When is a topological manifold which is not an almost complex manifold isomorphic to a real algebraic variety in the sense of locally ringed space?
It is well known that Serre's GAGA theorem solves ...
1
vote
0
answers
120
views
Local description of the universal family $\pi: \overline{\mathbf{U}}_{0,n} \longrightarrow \overline{\mathbf{M}}_{0,n}$
I would like to get an understanding of the notion of geometric fibers of the universal family:
$$\pi: \overline{\mathbf{U}}_{0,n} \longrightarrow \overline{\mathbf{M}}_{0,n}.$$
In fact Knudsen show ...
1
vote
0
answers
125
views
Homotopy of sheaves
On a certain topological space $X$ I want to think about sheaves up to homotopy, i.e., homotopies in the space of sheaves over $X$, and then see what homotopy classes of sheaves I get. Is there a good ...
1
vote
0
answers
150
views
Lifting theorem for finite spaces: replacing perfect normality by normality
In the Lifting theorem for finite spaces (Thm. 3.5, Eric Wofsey, quoted below),
can one relax the condition "$A$ is a closed subset of a perfectly normal $X$" to
"$A\to X$ has the right ...
1
vote
0
answers
194
views
Existence of Morse function on suspension
Let $X$ be a smooth simply connected compact manifold of dimension $n$ with boundary. Let $Y$ be a smooth compact manifold of dimension $n+1$ without boundary such that $H_{i+1}(Y)=H_{i}(X)$(reduced ...
1
vote
0
answers
138
views
Automorphism group of indefinite orthogonal Lie group $G=O(p,q)$ vs that of a double covering group $\tilde{G}$
Previously I mentioned in Automorphism group of a Lie group $G$ vs that of a double covering group $\tilde{G}$: same or not? that the automorphism group of a Lie group 𝐺 may be the same as that of ...
1
vote
0
answers
102
views
DA structure of a Dehn twist
I am trying to find the DA bordered homology structure of a Dehn twist.In https://arxiv.org/pdf/0810.0687v6.pdf page 255 bottom the authors tabulate the differentials of the right module(A side) of ...
1
vote
0
answers
191
views
Questions related to Morse theory
I asked this question long back but could not get a satisfying answer. Starting with a finite CW complex $X$ of dimension $n\geq 3$. I have embedded it inside $R^{2n}$. Now take a tubular neighborhood ...
1
vote
0
answers
222
views
Cohomology spectral sequence of a CW complex filtered by its skeletons
Let $X$ be a CW complex. Suppose, $$\emptyset\subset X^0\subset X^1\subset \cdots \subset X^p\subset \cdots \subset X= \bigcup_{i=0}^{\infty} X^i,$$
is a filtration of $X$ by its skeletons $X^i$. Now ...
1
vote
0
answers
86
views
Terminology: are there any names for "quotients" of cellular towers in stable categories?
A cellular tower in SH or in a "more general stable homotopy category" is a chain of morphisms $\dots X^{(n)}\stackrel{g^n}{\to} X^{(n+1)}\to \dots$ along with some more data and conditions; ...
1
vote
0
answers
181
views
Homotopy section but no pointed homotopy section
Can anyone give an example of a pointed map $p:(E,e)\to (B,b)$ between connected pointed spaces (reasonably nice, say of the homotopy type of CW complexes) such that $p$ admits a homotopy section but ...
1
vote
0
answers
218
views
How to check a fiber bundle is trivial
Given a smooth fiber bundle $X \to S^1,$ such that the fiber, $F$, is homotopic to $S^2 \vee S^2.$ Is it true that this is always a trivial fiber bundle?
In general, how to check a fiber bundle is ...
1
vote
0
answers
97
views
Homotopy type of complement to a union of linear subspaces
Im not sure if this question is appropriate for MO, but I'm looking for a hint about some questions about homotopy type of complement to a union of linear subspaces in vector space $\mathbb{R}^n, \...
1
vote
0
answers
90
views
Regular mapping space vs continuous mapping space for affine schemes
Let $A$ and $B$ be Zariski open affine sub-schemes of $\mathbb{A}_{\mathbb{C}}^{n}$ and $\mathbb{A}_{\mathbb{C}}^m$ respectively. We denote the infinite symmetric product of $B$ by $Sym^{\infty}(B)$. ...
1
vote
0
answers
146
views
Do all $\mathbb{E}_{k}$-comonoids in $\mathcal{C}_*$ come from “freely-pointed” $\mathbb{E}_{k}$-comonoids on $\mathcal{C}$?
In Coalgebras in symmetric monoidal categories of spectra, Péroux and Shipley prove the following (Lemma 2.4):
Let $\mathcal{C}=\mathsf{Sets},\mathsf{Top}$, or $\mathsf{sSets}$. The free basepoint ...
1
vote
0
answers
160
views
Contractible four-manifold which admits a decomposition
Let $M^4$ be a noncompact, contractible, smooth manifold. Suppose there exists an exhaustion $M=\bigcup_{i\ge 1} U_i$ by open sets such that (1) $\bar U_i \subset U_{i+1}$ and (2) each $U_i$ is ...
1
vote
0
answers
412
views
History of simplicial complex
It is easy to find the definition of a simplicial complex:
https://en.wikipedia.org/wiki/Simplicial_complex
I am interested in the history and first occurrences of the concept.
When did people start ...
1
vote
0
answers
129
views
Open cone homeomorphic to the Euclidean space
Let $X$ be a topological space and the open cone $C(X)$ over $X$ is defined to be $X \times [0,1)$ with $X \times \{0\}$ identified. Suppose $C(X)$ is homeomorphic to $\mathbb R^4$, can we prove that $...
1
vote
0
answers
139
views
Terminology for an kind-of principal fibration
My interest is in topological monoids, but I think the question may make sense (in some fashion) for monoids of sets.
Let $M$ be a topological monoid, and let $X$ be a pointed space that $M$ acts on, ...
1
vote
0
answers
259
views
Spaces homotopy equivalent over the topologist's sine curve
Consider $$T=\left\{ \left( x, \sin \tfrac{1}{x} \right ) : x \in [-1, 0)\cup(0,1] \right\} \cup \{(0,0)\}\subset \mathbb{R}^2$$
with the subspace topology.
Denote $p=(-1, \sin -1), q=(1, \sin 1)\...
1
vote
0
answers
99
views
topological dimension of inverse limit of compact spaces
Let $X$ be a compact metric space with topological dimension ${\rm dim}(X)>0$. Let $f: X\times X\to X$ be a continuous and surjective map. Define a family of maps $f_n: X^{n+1}\to X^{n}$ for $n\ge ...
1
vote
0
answers
298
views
Boundary map in Mayer-Vietoris sequence of cohomology
Suppose $M$ is a 3-manifold with connected boundary. Let $T$ be a tangle in $M$, i.e., $T$ is a embedded connected 1-submanifold whose boundary is on $\partial M$ ($T$ is not closed). Moreover, ...
1
vote
0
answers
231
views
transition in homotopy theory
I guess that the following are true; maybe classical? Is there a reference?
Let $X, Y, Z$ be connected pointed CW-complexes, $f:X\to Y$ and $g:X\to Z$ pointed maps. Assume that
for every $k\ge 1$, ...
1
vote
0
answers
213
views
Defining path on the prime spectrum
If $p$ and $q $ are two prime ideals of a commutative ring $R $ such that $p \subseteq q$, then we can easily define a continuous function (a path) $f$ from the unit interval $ [0,1]$ to the prime ...
1
vote
0
answers
151
views
Density of $G$-invariant morse functions
Let $G$ be a finite group acting on a compact manifold $M$. Let $f$ be a $G$-invariant smooth function. Can it be approximated by $G$-invariant Morse functions?
1
vote
0
answers
101
views
Rational systole of a manifold
I also posted this question on MSE, but since it may be a delicate question, I decided to post it here.
Given a Riemannian manifold $(M^n,g)$ and an integer $1 \leq k \leq n-1$, the $k$-systole of $M$ ...
1
vote
0
answers
80
views
A characterization for a space that is similar to locally connected spaces
Let $X$ be a $T_0$ topological space with the property that there exists a basis $\{O_i\}_{i\in I}$ for $X$ such that for each $J\subseteq I$ the subspace $\bigcap_{i\in J}O_i$ has only finitely many ...
1
vote
0
answers
85
views
Vanishing cycles and relative homology of I_n fiber
Suppose $\pi: X \rightarrow D$ is a smooth elliptic fibration with a section over the closed disk without multiple fibers, such that all special fibers are in the interior of $D$. The boundary $\...
1
vote
0
answers
179
views
Zeroth cohomology of tensor product of complexes concentrated in nonpositive degrees
This is probably an easy problem, but I can't find any reference.
Let $V$ and $W$ be cochain complexes over some commutative ring, and assume that they have both cohomologies concentrated in ...
1
vote
0
answers
331
views
why is monodromy weight filtration compatible with cup product?
This question is about a statement I took for granted in this question.
If $f: X \to S$ is a moprhism from a complex manifold to a punctured disc then the monodromy operator $T$ is quasi-unipotent, so ...