All Questions
Tagged with dg.differential-geometry at.algebraic-topology
639 questions
1
vote
0
answers
167
views
Spectral sequence for two fibrations
Given maps of fibrations, i.e. commutative diagrams of smooth manifolds
$$\begin{matrix}
\ F & \to & E &\to & B \\\
\downarrow & & \downarrow & & \downarrow \\\
\ F'...
1
vote
0
answers
97
views
about codimension two foliation
Are there examples of codimension 2 foliations on closed compact 4-manifolds or 5-manifold
I am curious about examples of codimension
Are there any previous studies or lecture notes of foliation ...
5
votes
0
answers
121
views
How to see $\delta_2(\hat{\chi}(V))=\chi(V)$ in differential cohomology?
I'm reading the paper "Differential Characters and Geometric Invariants" by Cheeger and Simons. In Page 62 the authors defined the differential Euler character $\hat{\chi}(V)\in \hat{H}^{2n-...
17
votes
1
answer
506
views
Topology of the space of embedded genus $g$ surfaces in $S^3$
Consider the space of smoothly embedded genus $g$ surfaces in the 3-sphere under the $C^\infty$ topology:
$$\mathcal E_g:=\operatorname{Emb}(\Sigma_g,S^3)/{\operatorname{Diff}(\Sigma_g)}$$
where $\...
3
votes
1
answer
95
views
Explicit examples of Classical, Flat $U(2)$-connections on a torus link complement with non-trivial holonomy
I am looking for non-trivial examples of flat $U(2)$ connections over the complement of a torus link $\mathcal{S}^3-L$ i.e.
$\mathcal{A}:\mathcal{S}^3-L \longrightarrow \mathfrak{U}(2)$ such that $F_{\...
10
votes
1
answer
569
views
Is every retraction homotopic to a smooth retraction?
I am not an expert in Differential Topology, so let me apologize if this question admits a straightforward answer. I checked some standard references, but I could not find one.
Let $M$ be a smooth $n$-...
4
votes
0
answers
196
views
Let $p : \tilde{M} \to M$ be the universal cover. Can we ever deduce curvature properties of $M$ from the curvature of $\tilde{M}$?
Let $M$ be a $C^{\infty}$-smooth, connected, paracompact manifold with universal cover $\tilde{M}$. Assume $M$ is not simply connected, so that the covering map $p : \tilde{M} \to M$ is not the ...
9
votes
1
answer
366
views
Which submanifolds are leaves of a foliation?
Question. Let $M^{n+1}$ be a closed manifold without boundary. Which closed submanifolds $\Sigma^n \subset M^{n+1}$ (of codimension one) are leaves of a foliation of $M$ minus some finite collection ...
3
votes
0
answers
195
views
Is there such an isotopy for every homology sphere?
Let $n \geq 3$, and $\Sigma^{n-1} \subset \mathbf{S}^n$ be a smoothly and properly embedded, orientable, and connected submanifold of the sphere. This divides the sphere into two open sets, $U_-$ and $...
-2
votes
1
answer
189
views
Topologies in the vicinity of Euclidean space
Given a smooth function $f:\mathbf R^n\to \mathbf R^m$ with $0$ as a regular value, I define the $(n-m)$ dimensional smooth manifold $M_f:=f^{-1}(0)$.
Let $f_0(x_1,...,x_n):=(x_1,...,x_m)$; $M_{f_0}$ ...
1
vote
0
answers
108
views
Positive $(p,p)$-current and subvariety
Let $X$ be a complex manifold. Any dimension $p$ subvariety(or reduced analytic subscheme) will determine a real closed positive $(p,p)$-current. But the converse is not true.
My question:
Is there a ...
5
votes
0
answers
133
views
On the vertical cohomology of a fibered manifold
Let $\pi:Y\rightarrow X$ be a $C^\infty$ fibered manifold (all constructions, unless otherwise stated are over the smooth manifold category) with $\Omega_k$ the sheaf of (smooth) $k$-forms on $Y$.
...
1
vote
0
answers
139
views
Cartesian product of spin manifolds [closed]
Is it true that the Cartesian product of two spin manifolds is spin?
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:\...
2
votes
1
answer
311
views
Vanishing cycles exact sequence for degeneration of curves
Let $f : X\rightarrow D$ be a family of smooth projective curves over the complex unit disk $D$, degenerating to a nodal curve $X_0$ above $0\in D$.
Let $\eta\in D - \{0\}$ be a general point, and let ...
2
votes
1
answer
130
views
Gluing isotopic smoothings
Let $M$ be a topological manifold which can be written as $M = U \cup V$ where $U$ and $V$ are open. Suppose both $U$ and $V$ admit smooth structures. Also assume that on the overlap $U \cap V$ the ...
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 ...
4
votes
0
answers
113
views
Is there a general definition of twisted Real equivariant cohomology theory?
There are some classical examples of Real equivariant cohomology theories and twisted cohomology theories, including equivariant KR-theory in Atiyah and Segal's paper, and the more general ...
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\...
11
votes
1
answer
593
views
Examples of 6-manifolds without an almost complex structure
Question: I am searching for examples for closed (hence orientable ), smooth $6$-manifolds without an almost complex structure.
Finding such an example is equivelant to finding a manifold where the ...
3
votes
0
answers
137
views
Intersection number for 4 manifold with boundary
Let $X$ be a closed oriented smooth $4$-manifold. Suppose there is an embedding $\Sigma\to X$, it is known that the self-intersection number satisfies $[\Sigma]\cdot [\Sigma]=\pm\int_\Sigma c_1(N)$, ...
2
votes
0
answers
137
views
Question about spin map
I'm confused with the following definition of a spin map.
A spin map is a map $f: N\to M$ between differentiable manifolds such that their second Stiefel-Whitney classes are related $\omega_2(N)=f^*\...
8
votes
3
answers
976
views
Examples and properties of spaces with only trivial vector bundles
Let $B$ be a paracompact space with the property that any (topological) vector bundle $E \to B$ is trivial. What are some non-trivial examples of such spaces, and are there any interesting properties ...
5
votes
2
answers
249
views
Patching up two trivial fibre bundles induces homology equivalence
I was wondering to ask this question may be it's a silly one. I could not prove or disprove it.
Let $X,Y$ be smooth connected manifolds. Let $X=X_1\cup X_2$ ($X_i$'s sub-manifold of $X$) and $X_1 \cap ...
5
votes
0
answers
280
views
Was an index theorem for manifold with local boundary condition proven?
I would like to ask a question on the bibliography of the index theorems on manifold with boundary.
Before my bibliographical research my understanding of the field was that for manifold with boundary,...
6
votes
1
answer
644
views
Torus bundles and compact solvmanifolds
I asked this question on MSE 9 days ago and it got a very helpful comment from Eric Towers providing the Palais Stewart reference, but no answers. So I'm crossposting it here.
Let
$$
T^n \to M \to T^m ...
6
votes
0
answers
297
views
Regarding homology of fiber bundle
Let $f: X\to Y$ be a smooth map between smooth manifolds, both connected. Let $Y=\cup_{i=1}^k Y_i$ be a finite union of disjoint locally closed submanifold $Y_i$ such that $f^{-1}(Y_i)\to Y_i$ is ...
5
votes
0
answers
132
views
geometry and connected sum of aspherical closed manifolds
Let $ G $ be a Lie group with finitely many connected components, $ K $ a maximal compact subgroup, and $ \Gamma $ a torsion free cocompact lattice. Then
$$
\Gamma \backslash G/K
$$
is an aspherical ...
8
votes
1
answer
530
views
Whitney's approximation theorem for Lipschitz manifolds
In the smooth setting, Whitney's approximation theorem says the following: If $M,N$ are smooth manifolds and $f,g:M\to N$ are smooth functions that are continuously homotopic (ie there is a continuous ...
0
votes
1
answer
309
views
About Alexander method in mapping class group
The Alexander Method in Farb and Maraglit's "A Primer on Mapping Class Groups"
For a surface $S$ with marked points, we say that a collection $\left\{\gamma_{i}\right\}$ of curves and arcs ...
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 ...
31
votes
1
answer
1k
views
What results about the topology of manifolds depend on the dimension mod 3?
There are a lot of interesting results about the topology of manifolds that depend on the dimension of the manifold mod 2, mod 4, or mod 8. The simplest ones involve the cup product
$$ \smile \colon ...
2
votes
1
answer
484
views
Mapping torus of orientation reversing isometry of the sphere
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}\DeclareMathOperator\O{O}\DeclareMathOperator\Iso{Iso}$
Let $ f_n $ be an orientation reversing isometry of the round ...
2
votes
0
answers
58
views
Dimension changes from global to local immersion
From Hatcher Corollary A.10. the (global) immersion for an $n-$dimensional CW complex is possible in some $\mathbb{R}^N$. I have started with $M(G,n)$ (Moore space of type $(G,n)$, $G$ is cyclic ...
4
votes
1
answer
622
views
Is there a compact complex manifold with $b_1(X)=b_2(X)=b_3(X)=b_4(X)=0$?
As the title suggests, I have the following question:
Is there a compact complex manifold with $b_1(X)=b_2(X)=b_3(X)=b_4(X)=0$?
Clarification:
Denote by $b_k$ the $k$th Betti number of a compact ...
6
votes
1
answer
289
views
Relationship between the holonomy pseudogroup and holonomy homomorphism (foliation)
This question is surely a duplication of https://math.stackexchange.com/questions/4343635/relationship-between-the-holonomy-pseudogroup-and-holonomy-homomorphism-foliati , however, I got no replies. ...
2
votes
0
answers
168
views
Geometric sets determined by chains (for integration and Stokes' theorem)
I have asked a similar question on mathSE more than a year ago, which received no answers, only a few comments which did not really help me. I am now re-asking this question here but reformulated ...
17
votes
1
answer
898
views
Does there exist a closed manifold with vanishing reduced rational cohomology but nonvanishing odd torsion cohomology?
Question: Let $p$ be an odd prime. Does there exist a closed manifold $M$ with $\widetilde H^\ast(M; \mathbb Q) = 0$ but $\widetilde H^\ast(M; \mathbb F_p) \neq 0$?
When $p = 2$, an example is given ...
0
votes
0
answers
266
views
Define a characteristic class on a simplicial complex (non-manifold)
Given a simplicial complex with only triangulation and only branching structure, is it enough to define Stiefel–Whitney class?
(Please provide Yes or No answers, and reasonings.)
Given a fixed ...
7
votes
1
answer
260
views
Bordism for oriented triangulable manifolds without smooth differentiable structures
We know the bordism group for oriented smooth differentiable structures such as $\Omega_d^{SO}$ that requires the special orthogonal group structure on the tangent bundle $TM$ of manifold $M$.
$$\...
9
votes
2
answers
1k
views
Hodge dual of de Rham cohomology and singular cohomology
We know that the de Rham cohomology is isomorphic to the singular cohomology, does the Hodge dual of differential forms induce a dual operation on de Rham cohomology, hence also on singular cohomology?...
0
votes
1
answer
154
views
Why does $X_0\times S^1\simeq X-X_0$? [closed]
Let $X$ be an $n$-dimensional connected smooth manifold, and let $X_0$ be an embedded $(n-2)$-dimensional compact submanifold of $X$ with the trivial normal bundle. How do we get inclusion?
$$X_0\...
8
votes
1
answer
426
views
Orbifolds are Thom-Mather stratified spaces
Where can I find a proof of (or if it is even true) that an (effective) orbifold is a Thom-Mather stratified space?
edit: after some search, I found the proof should be contained in either
GIBSON, C....
6
votes
2
answers
618
views
Classifying space $\text{BU}(n)$ from the differential-geometric point of view?
The classifying space of a topological group $G$ is the quotient of $EG$ (a topological space with vanishing homotopy groups) by a proper free action of $G$. The standard notation for the classifying ...
4
votes
1
answer
381
views
Injectivity of map of fundamental groups from totally geodesic hypersurface
Let $X$ be a compact manifold of non-positive sectional curvature which carries a connected totally geodesic hypersurface $X_0\subset X$. Let $K$ be any compact subset of $X-X_0$. That's to say we ...
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 ...
5
votes
1
answer
408
views
A question related to fiber bundle
Let $f:\mathbb{C}^3 \to \mathbb{C}$ be a morphism of varieties such that it is a smooth fiber bundle. Can I say that the fiber is $\mathbb{C}^2$?
3
votes
0
answers
40
views
Non-existence of local generators for Sobolev tangent subundles
Let $U\subset\mathbb R^n$ be a bounded open set, a rank $r\le n$ measurable tangent subbundle $\mathcal V$ on $U$ is a map to the Grassmannian $\mathcal V:U\to Gr(r,\mathbb R^n)$ which is only defined ...
4
votes
1
answer
304
views
Atiyah-Bott-Shapiro generalization to $U(n) \to ({Spin(2n) \times U(1)})/{\mathbf{Z}/4}$ for $n=2k+1$
Atiyah, Bott, and Shapiro paper on Clifford Modules around page 10 shows two facts.
1 - There is a lift $U(n) \to Spin^c(2n)$ from $U(n) \to SO(2n)\times U(1)$. Also an embedding (injective group ...
4
votes
0
answers
181
views
Specify the embedding of special unitary group in a Spin group via their representation map
How do we specify the embedding of a Lie group $G_1$ as a subgroup into a larger Lie group $G_2$, with $G_1 \subset G_2$ that agree with a constraint on the mapping between their representations?
By ...