Questions tagged [smooth-manifolds]

Smooth manifolds and smooth functions between them. For manifolds with additional structure, see more specific tags, such as [riemannian-geometry]. For more topological aspects, see [differential-topology].

Filter by
Sorted by
Tagged with
4 votes
0 answers
124 views

Homotopy type of space of embeddings of a disk

Let $M^n$ be a smooth $n$-dimensional manifold and let $\mathbb{D}^n$ be the open unit disk in $\mathbb{R}^n$. Consider the space $\text{Emb}(\mathbb{D}^n,M^n)$ of smooth embeddings of $\mathbb{D}^n$ ...
user avatar
  • 39.8k
2 votes
1 answer
210 views

Manifolds whose tangent spaces have a special behavior

Consider an $n$-dimensional complex manifold $M\subset\mathbb{C}^N$ and let $$f:\mathcal{U}\subset\mathbb{C}^n\rightarrow \mathcal{V}\subset M\subset\mathbb{C}^N$$ be a local parametrization of $M$. ...
user avatar
  • 91
0 votes
0 answers
40 views

Does a vector over the field of meromorphic functions describe a manifold?

Assume that the variables $\mathbf x=(x_1,...,x_n)$ are coordinates on the solution manifold of a differential equation $\mathbf D(\mathbf x,\dot{\mathbf x},\ldots,\mathbf x^{(\alpha)})=\mathbf 0$ ...
user avatar
  • 131
6 votes
2 answers
381 views

The convex hull of a manifold whose cobordism class is trivial

Let $M$ be a compact orientable $n$ dimensional manifold. Assume that $M$ has trivial cobordism class. Is there an embedding of $M$ in some Euclidean space $\mathbb{R}^m$ such that the convex ...
user avatar
4 votes
1 answer
109 views

If tangent vectors are a vector space of same dimension at every point, does one has a manifold? [closed]

Let $M$ be a non-empty subset of $\mathbb R^n$, $n \geq 2$. Recall that a vector $v$ is tangent to $M$ at the point $m \in M$ if it exists a differentiable curve $\gamma : I \to M$ such that $\gamma(0)...
user avatar
  • 564
5 votes
0 answers
189 views
+100

Is the volume functional analytic in the space of embeddings? What about locally?

Let $(M^{n+1},g)$ be an analytic Riemannian manifold and let $\Sigma^n$ be a closed analytic manifold. Denote by $\operatorname{Emb}(\Sigma, M)$ the space of all smooth (or maybe analytic) two-sided ...
user avatar
1 vote
0 answers
203 views

Proof of Ehresmann's theorem

In Huybrechts' book Complex geometry: An introduction p.269, Proposition 6.2.2, the author gives a proof of the following theorem (Ehresmann) Let $\pi:\mathcal X\to B$ be a proper family of ...
user avatar
  • 115
7 votes
1 answer
232 views

On fixed point sets of actions of compact Lie groups

Let a compact Lie group $G$ act smoothly on a compact smooth manifold $M$. For any compact subgroup $H\subset G$ denote by $E^H$ the image in $M/G$ of the fixed point set of $H$ in $M$. Is it true ...
user avatar
  • 19k
3 votes
0 answers
92 views

Geometric intuition behind definition of $\delta$-necklike points of the Ricci flow

In "The Ricci Flow: An Introduction", the authors define a $\delta$-necklike point of the Ricci flow as a point $(x, t)$ where $$\|\text{Rm} - R (\theta \otimes \theta)\| \leq \delta \|\text{...
user avatar
-3 votes
1 answer
117 views

Pull back a vector field [closed]

In Voisin's book Hodge theory and complex algebraic geometry, I Section 9.1.2, p.223, the author writes: Let $\phi:\mathcal X\to B$ be a family fo complex manifolds. The differential $\phi_*$ is a ...
user avatar
  • 115
10 votes
1 answer
382 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 ...
user avatar
  • 6,338
11 votes
1 answer
248 views

Does every smooth map of rank at most d factor through a d-manifold?

Suppose $d≥0$, $m≥0$, $n≥0$, and $\def\R{{\bf R}} f\colon \R^m→\R^n$ is a smooth map whose rank at any point of $\R^m$ is at most $d$. Here and below, smooth means infinitely differentiable. Can we ...
user avatar
3 votes
1 answer
287 views

How to show that $\text{Man}(M,\mathbb{R}^n)\cong \mathbb{R}\text{-Alg}(C^\infty(\mathbb{R}^n),C^\infty(M))$?

I'm trying to show that manifolds are affine, i.e. $\text{Man}(M,N)\cong \mathbb{R}\text{-Alg}(C^\infty(N),C^\infty(M)) $. If I could show this for $N=\mathbb{R}^n$, then I know how to do the rest ...
user avatar
  • 203
14 votes
2 answers
691 views

Must a space that is locally injective image of $\mathbb{R}^n$ be a manifold?

Suppose $X\subseteq\mathbb{R}^m$ s.t. for any $x\in X$ and any open $U\subseteq\mathbb{R}^m$ that contains $x$, there exists a smaller open set $V\subseteq U$ also containing $x$, so that $V\cap X$ is ...
user avatar
  • 271
8 votes
0 answers
217 views

A conjecture about homotopy $S^1\times B^3$'s

$\textbf{Conjecture}:$ Let $X^4$ be a homotopy $S^1\times B^3$ with the following properties: Attaching a four dimensional 2-handle gives a standard $B^4$. The $k$-fold cyclic cover is diffeomorphic ...
user avatar
13 votes
1 answer
243 views

Mapping torus of Klein bottle

This got 5 upvotes but no answers on MSE (Mapping torus of Klein bottle), so I'm cross-posting to MO: The mapping torus of a Klein bottle $ K $ is a compact flat 3 manifold. The mapping class group of ...
user avatar
2 votes
1 answer
211 views

Path lifting property for $\pi:M\rightarrow M/G$ for $G$ compact Lie acting smoothly and freely

Let $M$ be a smooth manifold and let $G$ be a compact Lie group acting smoothly and freely over $M$. Let $\pi:M\rightarrow M/G$ be the canonical projection, and endow $M/G$ with the unique ...
user avatar
  • 261
3 votes
0 answers
63 views

Application of Santalo’s formula

Suppose that $(M,g)$ is a compact smooth Riemannian manifold with a smooth boundary and suppose that $f$ is a smooth function on $M$ with the property that $$ \int_I f(\gamma(t))\,dt=0,$$ for any ...
user avatar
  • 2,858
3 votes
0 answers
47 views

The boundary of the transversal pre-image of a submanifold with boundary

A similar question on MSE without answer. Let $M, N$ be smooth manifolds such that $\partial N=\varnothing$. Let $A$ be a smoothly embedded submanifold of $N$ such that $\partial A\neq \varnothing$. ...
user avatar
  • 277
1 vote
1 answer
88 views

Transversal pre-image of a small enough trivial tubular neighborhood contains a trivial tubular neighborhood

A similar post on MSE without answer. Let $f\colon M'\to M$ be a smooth map between two orientable closed smooth manifolds and $S$ be a smoothly embedded closed orientable submanifold of $M$ of co-...
user avatar
  • 277
7 votes
1 answer
430 views

Intuition/meaning behind/physical content of the concept of a smooth structure

Some mathematical structures are visualized very well. I imagine how a shapeless bunch of points (a set; the only property of which is quantity) is collected in one or another soft form (topological ...
user avatar
2 votes
0 answers
32 views

Find weak approximation by smooth unit vector fields for Sobolev fields on manifold

I am considering the Sobolev space of unit tangent vector fields on a compact manifold: $Γ_{W^{1,2}}(M, UTM)$. I would like to approximate those weakly with smooth vector fields ($Γ_{C^∞}(M, UTM)$). ...
user avatar
  • 121
1 vote
1 answer
86 views

Smoothness of the asymptotic parametrization of a ruled surface

Let $S$ be a smooth developable surface in $\mathbb{R}^{3}$. It is well known that, if $S$ is free of planar points, then it admits a local parametrization of the form $$\begin{align} \sigma \colon I \...
user avatar
  • 749
5 votes
0 answers
93 views

How is this product of tensors defined?

I am reading the paper “ The first eigenvalue of a small geodesic ball in a riemannian manifold”, by Karp and Pinsky, from where I took the following: Here, $\Delta_{-2}$ denotes the usual Laplacian ...
user avatar
2 votes
1 answer
115 views

Quantitative results for stabilizing tangent bundles of homology spheres

I'll begin with a broad question: if $M$ is a smooth manifold and $E \to M$ is a stably trivial bundle, can one determine lower bounds on the rank $k$ of the trivial bundle needed such that $E \oplus \...
user avatar
  • 438
1 vote
0 answers
70 views

Target space of Green's operator on $L^p$-differential forms on closed manifolds

Let $M$ be a closed (i.e., compact without boundary) smooth oriented Riemannian manifold endowed with a regular atlas in the sense of C. Scott [1], i.e., with a finite atlas $\mathcal{A}$ so that for ...
user avatar
  • 213
2 votes
1 answer
167 views

Equidistant points on a compact Riemannian manifold

Let $(M,g)$ be a compact Riemannian manifold. To this Riemannian manifold, we associate a natural number $K(M,g)$ as follows: $K(M,g)$ is the maximum of all $n\in \mathbb{N}$ such that we have at ...
user avatar
7 votes
0 answers
179 views

A weak analogue of smooth manifolds (reformulated)

It is widely known that $C^1$ manifolds are topological spaces locally homeomorphic to Euclidean spaces and possessing $C^1$ chart-converters. They have a tangent space at every point, regarding as ...
user avatar
  • 685
1 vote
0 answers
52 views

Submersion function from a product space

Let $\Phi(x,y) \colon U_N \times U_M \to \mathbb{C}^n$ be a submersion, where $U_N \subset \mathbb{C}^N$ and $U_M \subset \mathbb{C}^M$. Under which condition on $\Phi$ can I find some $s \in \...
user avatar
6 votes
0 answers
132 views

Submersion vs fiber bundle

If one starts with a fiber bundle $f: X \to Y$ so that fibers having trivial integral homology by using spectral sequence one can get the induced map $f_*: H_*(X;\mathbb{Z}) \to H_*(Y;\mathbb{Z})$ is ...
user avatar
  • 851
4 votes
1 answer
244 views

Poincaré–Bendixson Theorem on a compact, connected, orientable, two-dimensional manifold

I'm currently reading the article "A Generalization of a Poincaré–Bendixson Theorem to Closed Two-Dimensional Manifolds" by Arthur Shwartz. The paper first establishes a result for minimal ...
user avatar
2 votes
0 answers
104 views

Proper isotopy of proper embeddings of manifolds

We know from Theorem 2.2 in(http://www.map.mpim-bonn.mpg.de/Embeddings_of_manifolds_with_boundary:_classification#6.2) that Any two smooth embeddings of closed oriented $n$-manifold(n>1) in $\...
user avatar
  • 21
3 votes
1 answer
179 views

Classification of "homogeneous" submanifolds of ℝⁿ

I define a subset $M$ of $\mathbb R^n$ to be a "homogeneous Euclidean manifold" if: it is a closed connected smooth submanifold of $\mathbb R^n$, for every $p, q$ in $M$, there is a ...
user avatar
3 votes
1 answer
190 views

Global choice of eigenvectors on an open surface

Let $(M^2,g)$ be a noncompact orientable Riemannian surface without boundary. Let $A \in \Gamma(\operatorname{Sym}(TM))$ be a section of the bundle of symmetric endomorphisms of $TM$, that is, for ...
user avatar
1 vote
0 answers
118 views

Is this generalization of differentiable manifolds to mixed dimensions a known object?

Suppose you are studying the evolution of some electromagnetic quantity in a conductor consisting of objects of several dimensions, i.e. wires, plates and balls. This would amount to studying the ...
user avatar
5 votes
0 answers
79 views

Fundamental groups and cellular walks

Suppose $M$ is a smooth manifold (compact if desired) with a cell structure or other nice stratification. Call a path $\gamma : [0,1] \to M$ transverse to the stratification if there is a finite ...
user avatar
4 votes
0 answers
85 views

Coordinates on quotient manifold $\mathrm{SO}(3)/\Gamma$

$\DeclareMathOperator\SO{SO}$Say I have coordinates for $\SO(3,\mathbb{R})$, e.g., a parametrization by Euler angles. Is there a reasonable way to explicitly prescribe coordinates on the quotient ...
user avatar
3 votes
0 answers
68 views

Vietoris-Begle type result for differentiable fiber bundle

In Vietoris-Begle Theorem, we consider a closed and surjective map between two paracompact and Hausdorff spaces and we get some relation involving the homologies of the fiber, total space, and the ...
user avatar
  • 851
5 votes
1 answer
140 views

SRB measure and Gibbs u-state

I have been reading the famous paper of Alves, Bonatti, and Viana where they proved that there is an SRB measure for partially hyperbolic systems. Since I am new to this field, I have some basic ...
user avatar
  • 761
2 votes
1 answer
246 views

In which dimensions is it true that every topological ball embedded by a smoothly embedded sphere is a smoothly embedded ball?

I asked a question on MSE with no answer. Here is my question in the generalized version. Question 1: Suppose we are given a connected three-manifold $M$ (possibly non-compact, or non-orientable) and ...
user avatar
  • 277
2 votes
1 answer
145 views

Isometry and gluing between smooth manifolds - some references

I have a doubt that assails me. The technique of gluing along edges between manifolds is generally considered in the topological context. I don't know if there are other gluing techniques. I was ...
user avatar
8 votes
1 answer
363 views

Let $X$ be a manifold. Is it true that $\beta X\cong \operatorname{Specm}(C^\infty(X))$?

Let $X$ be a (smooth) manifold. It's well known that its Stone-Cech compactification $\beta X$ is homeomorphic to $\operatorname{Specm}(C(X))$, with its Zariski topology. Is $\beta X$ also ...
user avatar
  • 1,317
2 votes
0 answers
138 views

Reference request for Poincaré–Lefschetz duality as an intersection pairing

I believe the following is well known after talking to some experts, but I am unable to find a reference for the case with boundary. Fix a field $F$ and an oriented $n$-manifold $(M,\partial M)$. We ...
user avatar
  • 3,164
6 votes
0 answers
292 views

Atiyah–Singer Index theorem for the pedestrian / layperson

So I came across the so-called Atiyah–Singer Index Theorem (ASIT) and claims of it being an extremely powerful and versatile tool. Question. What is a truly simple application of the ASIT to obtain a ...
user avatar
  • 5,580
4 votes
0 answers
191 views

Jet Nestruev's proof that the exterior derivative $d$ on a real line is not a Kähler differential $d_{C^\infty(\mathbb{R})/\mathbb{R}}$

The relation between the exterior derivative $d:C^\infty(\mathbb{R})\to\Omega^1\mathbb(\mathbb{R})$ and the Kähler differential $d_{C^\infty(\mathbb{R})/\mathbb{R}}:C^\infty(\mathbb{R})\to\Omega_{C^\...
user avatar
  • 1,535
1 vote
1 answer
278 views

Is the manifold of complex points of a quotient of compact groups just the tangent bundle?

In great generality a Lie group mod its maximal compact subgroup is contractible (for example this is true for all connected Lie groups). Whenever this is true then the Lie group $ D $ is ...
user avatar
5 votes
1 answer
164 views

Stable smoothing of topological manifolds relative to an embedding

Let $M$ be a topological manifold. We know that $M$ is stably smoothable if and only its tangent microbundle, up to stabilization, admits a reduction to vector bundle. Now I wonder if there is a ...
user avatar
  • 751
1 vote
1 answer
96 views

Conditions for Lipschitzness of boundary normal vector, almost everywhere

Let $C$ be a nonempty closed subset of $\mathbb R^n$. It is known that any such set satisfies the following condition (Unique CPP a.e). For almost every $x \in \mathbb R^n$, there exists a unique ...
user avatar
  • 5,580
0 votes
1 answer
125 views

Does a submanifold of nonzero codimension have measure zero under the product of non atomic measures?

Let $A$ be a non atomic measure on $\mathbb R$. Consider the product measure $\mu := A \times \dots \times A$ on $\mathbb R^n$. Question: Let $M$ be a $n-1$ dimensional smooth submanifold of $\mathbb ...
user avatar
  • 1,149
8 votes
1 answer
392 views

What motivated Thom to relate the cobordism groups with some homotopy groups?

I would like to know what motivated or led Thom to think that the (un)oriented cobordism groups would correspond with the homotopy groups of some structure (Thom spectum), or with the coefficient ...
user avatar
  • 499

1
2 3 4 5
22