Skip to main content

All Questions

2,364 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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:\...
DLIN's user avatar
  • 1,915
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'...
blancket's user avatar
  • 213
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 \...
Matt's user avatar
  • 208
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 ...
stupid_question_bot's user avatar
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$ ...
tota's user avatar
  • 585
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 ...
De vinci's user avatar
  • 399
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\...
James's user avatar
  • 133
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 (...
Mir Aaliya's user avatar
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\...
user127776's user avatar
  • 5,901
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 ...
Arshak Aivazian's user avatar
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,...
Josh Lackman's user avatar
  • 1,198
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,...
David Barnes's user avatar
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 ...
Nandakumar R's user avatar
  • 5,979
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? ...
M. Rahmat's user avatar
  • 411
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 ...
Andi Bauer's user avatar
  • 3,001
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 \...
Ola Sande's user avatar
  • 705
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 ...
Nick L's user avatar
  • 6,995
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 ...
yuan's user avatar
  • 51
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 ...
Carlos Adrián's user avatar
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 ...
Usa's user avatar
  • 119
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 ...
user472602's user avatar
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 ...
Joseph's user avatar
  • 31
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 ...
Totya's user avatar
  • 11
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 ...
user420620's user avatar
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 ...
gary's user avatar
  • 61
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 ...
wonderich's user avatar
  • 10.5k
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 ...
user123090's user avatar
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 ...
piper1967's user avatar
  • 1,177
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 ...
Uncool's user avatar
  • 191
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; ...
Mikhail Bondarko's user avatar
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 ...
Mark Grant's user avatar
  • 35.9k
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 ...
piper1967's user avatar
  • 1,177
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, \...
KoppeKToP's user avatar
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)$. ...
user127776's user avatar
  • 5,901
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 ...
Emily's user avatar
  • 11.8k
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 ...
Zhiqiang's user avatar
  • 891
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 ...
Till's user avatar
  • 479
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 $...
Totoro's user avatar
  • 2,535
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, ...
Jeff Strom's user avatar
  • 12.5k
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)\...
Nassim's user avatar
  • 51
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 ...
user119197's user avatar
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, ...
Faniel's user avatar
  • 673
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$, ...
Gael Meigniez's user avatar
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 ...
Anderias. C. D's user avatar
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?
user123090's user avatar
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$ ...
Eduardo Longa's user avatar
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 ...
Biller Alberto's user avatar
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 $\...
moep's user avatar
  • 67
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 ...
Francesco Genovese's user avatar
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 ...
Dima Sustretov's user avatar

1
39 40
41
42 43
48