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].

learn more… | top users | synonyms (1)

0
votes
2answers
103 views

Does an analytic tensorial Lie structure on $S^2$ gives a fiberwise Abelian Lie algebra structure?

Motivated by the answer to this question we ask: Is it true to say that for every real analytic tensorial Lie algebra structure $\alpha$ on $\chi^{\infty}(S^2)$, all fibers are necessarily ...
1
vote
1answer
112 views

Manifold_Lie algebra compatibility

In this question we try to improve some parts of this post as follows: What is an example of a manifold $M$ and a Lie algebra $L$ (with the same dimension) such that $M$ does not admit ...
3
votes
1answer
84 views

Existence of tubular neighborohoods of locally flat topological embeddings

Suppose $X$ is a topological manifold and $Y \subset X$ is a locally flat submanifold. We know that $Y$ doesn't necessarily have a tubular neighborhood. My definition of a tubular neighborhood of $Y$ ...
4
votes
2answers
293 views

Riemannian metrics preserved by diffeomorphisms

Let $f \neq Id$ be a diffeomorphism (of a smooth manifold $M$) which admits some Riemannain metric on $M$ making it an isometry. How many different metrics are preserved by $f$? Note that ...
4
votes
0answers
92 views

No irreducible parallelizable manifold of given dimension

What is an example of a closed 4-manifold $M$ such that $M$ is parallelizable and $M$ is topologically (or at least smoothly) irreducible? Topological irreducible: it is not homemorphic to ...
3
votes
2answers
134 views

Vanishing of sheaf cohomology with compact support

Let $X$ be a smooth manifold. Let $F$ be a sheaf of $\mathbb{R}$-vector spaces on $X$. I have three closely related questions. 1) Under what sufficient conditions on $F$ for any compact subset ...
3
votes
1answer
88 views

Calculating Homology of the Boundary of a Handlebody

Given a manifold $M$ with boundary $W = \partial M$, I know that having a handle decomposition of $M$ allows one to compute its homology, at least in nice cases, by - for example - using the Morse ...
14
votes
1answer
673 views

Is it possible for a metric on a smooth manifold to be smooth?

Are there any smooth manifolds $M$ with the following property: There exist a realizing metric $d$ (i.e $d$ induces the topology on $M$), and $d$ is smooth on all of $M \times M$? If not, is it ...
6
votes
0answers
146 views

Intuition behind the following theorem of Reeb?

What is the intuition behind the following theorem of Reeb? If a compact manifold admits a function with only two critical points which are non degenerate, it is homeomorphic to the sphere.
4
votes
1answer
78 views

Submersion theorem for smooth tame Frechet manifolds

If $M$ and $N$ are Banach manifolds, $f:M\rightarrow N$ is a smooth map, and $q\in N$ is a regular value, so $f$ is a submersion on $f^{-1}(q)$, it is well known that the level set $f^{-1}(q)$ is a ...
3
votes
1answer
110 views

Stokes-like Theorem for Dolbeault Operator

I have a simple question regarding complex geometry: is there an analog for the Stokes Theorem for the Dolbeault Operator $\bar{\partial}$? For instance, suppose that $M$ is a closed complex manifold ...
0
votes
0answers
62 views

Suitable reference on smooth manifolds for qualifying exam study?

Is there a single suitable reference to study for the smooth manifold (geometry) half of a typical Topology/Geometry PhD preliminary exam at an average AMS group I school? (Note: I know details about ...
1
vote
0answers
69 views

Poisson algebra automorphisms of a symplectic manifold

Let $(M,\omega)$ be a symplectic manifold. Let $V=\mathcal{C}^\infty(M)$ be the Lie algebra of smooth real valued functions. Suppose $f:\rightarrow V$ be an Lie-algebra isomorphism (an algebra ...
13
votes
3answers
575 views

Can the Laplace operator on $n-$ manifolds be represented as a sum of $n$ second order derivational operators

EDIT: According to some comments on this post I revise the title to remove the misunderestanding. Assume that $M$ is a Riemannian manifold of dimension $n$. The natural Laplace operator associated ...
3
votes
1answer
131 views

Smooth manifolds for which every metric is geodesically convex

Are there non compact smooth manifolds which have the property that every Riemannian metric is geodesically convex? Note that a manifold for which every Riemannian metric is complete must be compact. ...
1
vote
0answers
82 views

How close (Homology-wise) can we approximate a topological manifold with a PL or smooth one?

Sorry if this question is to naive or badly phrased. I am curious about the following problem, given a manifold $M$, how "close" can we find a smooth or PL manifold, $N$, with a map $f:N\to M$. The ...
1
vote
1answer
32 views

Tube formula for r-neighbourhood of a manifold

Let $P$ be a topologically embedded submanifold in a Riemannian manifold $M$. Then the tube $T(P, r)$ of radius $r \geq 0$ about $P$ is the set of all points $m \in M$ such that there exists a ...
3
votes
1answer
94 views

Generalized functions on a product of two manifolds

Let $X,Y$ be smooth compact manifolds. Let $C^\infty(X)$ and $C^{-\infty}(X)$ denote the spaces of smooth and generalized functions on $X$ respectively. We have the obvious canonical linear map ...
0
votes
1answer
299 views

Dimension of two homotopy equivalent manifolds [closed]

Let $M,N$ be a closed (connected, without boundary, say smooth) manifolds which are homotopy equivalent. Does it follows that they are of the same dimension? One should be aware of examples of ...
3
votes
1answer
242 views

What is the (co-)homology of $K(\mathbb{R}_\delta,n)$?

To elaborate on the question from the title, $\mathbb{R}_\delta$ is the additive group of real numbers (without any topology) and $K(\mathbb{R}_\delta,n)$ is an Eilenberg-MacLane space. I would like ...
2
votes
1answer
192 views

Construction of appropriate Morse functions

I am interested in the properties of connectedness of level sets of Morse functions. Let $M$ a compact smooth $n$-manifold, and $1\leq k<n$. Is it possible to construct $k$ Morse functions ...
1
vote
1answer
114 views

Reference request: $\mathcal{C}^\infty_c(M)$ is a topological vector space with the Whitney topology

Let $M$ be a smooth manifold and let $\mathcal{C}^\infty(M)$ be the space of all smooth real valued functions with the (strong) Whitney topology. This space is a topological vector space iff $M$ is ...
4
votes
1answer
113 views

Differential Operators On A Curve And On Osculating Circle

Given a 1D Riemannian manifold $\Gamma$ embedded in 2D Euclidean space (e.g. a parametric curve on a plane $\mathbb{R}^{2}$ ), and point $x_{0}\in \Gamma$, we denote $S^{1}(x_{0})$ the circle ...
5
votes
1answer
167 views

Automorphism group of a fiber bundle surjects onto diffeomorphism group?

This should surely be well-known by I have not been able to find a good reference to the following question: Given a smooth fiber bundle $\pi\colon P \longrightarrow M$ over a smooth manifold $M$ with ...
3
votes
1answer
157 views

Reference request: Intrinsic definition of the strong Whitney topology on $\mathcal{C}^{\infty}(M,\mathbb{R})$ without using charts or jets

Let $M$ and $N$ be smooth manifolds. There is a description of the strong Whitney topology on $\mathcal{C}^{\infty}(M,N)$ in terms of partial derivative in charts (using locally finite sets of charts ...
2
votes
0answers
353 views

Differential and pre-differential of Jacobi identity

Let M be a manifold. To what extent all Lie algebra structures with tensorial property on $\chi^{\infty}(M)$ are studied? That is a Lie algebra structure for which $[X,fY]=f[X,Y]$. (For ...
4
votes
2answers
186 views

Exponential rule for Whitney-$\mathcal{C}^{\infty}$-topology

Let $M,N,X$ be smooth manifolds. Equip the space of smooth functions between two manifolds with the (strong) Whitney- $\mathcal{C}^\infty$-topology. The evaluation map $$ev\colon ...
6
votes
1answer
181 views

Closed orientable 4-manifold with $H^1(M;\Bbb Z_2)=\Bbb Z_2$ and non-zero cup product $H^1\times H^1\to H^2$

I am looking for an example of a closed orientable 4-manifold $M$ with $H^1(M;\Bbb Z_2)=\Bbb Z_2$ and non-zero cup product $H^1(M;\Bbb Z_2)\times H^1(M;\Bbb Z_2)\to H^2(M;\Bbb Z_2)$. A non-orientable ...
0
votes
0answers
96 views

Certain principal bundle structure on $\mathbb{R}^{n} \setminus \{0\}$

I ask this question in MSE and I received no answer, so I repeat it here: Is there a right action of $\mathbb{H}^{2}$ on some $\mathbb{R}^{n}\setminus \{0\}$ such that this action gives us a ...
1
vote
0answers
57 views

Taylor expansion in Riemannian foliations

Take: $M$ a Riemannian manifold, ${X_0}\in M$, $N_{X_0}$ a submanifold of $M$ going through ${X_0}$, and $Z \in N_{X_0}$ in a neighborhood of ${X_0}$. At ${X_0} \in N_{X_0}$, we consider the ...
6
votes
1answer
459 views

Symplectic reversing diffeomorphisms on a compact symplectic manifold

I Ask this question in MSE and I received interesting comments and ideas. I repeat the question here for more discussion: Let $(M,\omega)$ be a compact symplectic manifold. Is there a ...
0
votes
0answers
79 views

a construction on Stiefel manifolds

Are there any references concerning the following space $V(k,N,X)$ and $U(k,N,X)$? And the cohomology of these spaces? Thanks.
-2
votes
1answer
80 views

Exponential map and convergence [closed]

I posted this question on Math Stack Exchange, but nobody answered so I decided to ask this question here. Suppose that $M$ is smooth compact manifold and let $y \to x$. Let also $f \in C^{\infty}(M)$ ...
17
votes
1answer
488 views

Differential Topology over $\mathbb{Q}$

I have a specific question in mind, but it requires some explanation and context before it can be formally stated. To summarize it in a sentence, this is it: Are every two rational manifolds of the ...
2
votes
0answers
42 views

Second derivative in auto-parallel equation

I am trying to derive the auto-parallel equation for a curve. Consider a smooth manifold $M$ with chart map $x$, and let $\gamma$ be a smooth curve in $M$. The action of its tangent vector ...
-1
votes
1answer
53 views

Glueing smooth functions give a smooth function if reparametrized [closed]

Given $\mathbf{r}:(t_0-\varepsilon, t_0+\varepsilon)\to\mathbb{R}^2$ be a $C^{1}$ application, with $\mathbf{r}'(t)=(0,0)\Longleftrightarrow\ t=t_0$, and $$\mathbf{r}(t)=\begin{cases} \mathbf{r}_1 ...
2
votes
1answer
119 views

Nowhere vanishing, normalized vector field with bounded derivatives

It is well-known that any non-compact manifold admits a nowhere vanishing vector field. If we have a Riemannian metric we may pick such a vector field and normalize it so that at every point it has ...
1
vote
1answer
76 views

Cayley Subspaces in a Calibrated 8-Space

Suppose we are given $(\mathbb{R}^8,\Phi)$, where $\Phi$ is the self-dual 4-form that defines $Spin(7)\subset SO(8)$ (Cayley calibration, see Notes on the Octonians, page 23). Now some 4-subspaces $V$ ...
-1
votes
1answer
121 views

Uniqueness of a smooth function [closed]

Let $x,y:[a,b]\to\mathbb{R},\ a<b, a,b\in\mathbb{R}$ be two smooth functions ($x,y\in C^{\infty}([a,b])$). How can I prove that there is a unique function $\theta:[a,b]\to\mathbb{R},\ \theta\in ...
8
votes
1answer
242 views

is there a diffeomorphism with only finite orbits but of infinite order?

I asked this in stackexchange, but got no answer, so I am trying here. Is it possible for a diffeomorphism $\phi$ (of a smooth manifold $M$) to have the following properties: All its orbits are ...
1
vote
1answer
236 views

symplectic reduction for pair $(M,D)$

Let $M$ be a symplectic manifold with divisor $D$. Then how can we define symplectic reduction for pair $(M,D)$?
1
vote
0answers
69 views

Real algebraic surface

Let $f(u,v,z)\in \mathbb{Q}[u,v,z]$ be a polynomial in three variables such that $X_{\mathbb{R}}\subset \mathbb{R}^{3} $ (the associated surface of real solution) is smooth. Suppose that the set of ...
7
votes
3answers
393 views

When a homeomorphism is a diffeomorphism w.r.t to a suitable smooth structure?

Assume we have a homeomoprhism $\phi:M\rightarrow M$, where $M$ is a topological manifold which admits at least one smooth structure. Is it always possible to construct a smooth structure on $M$ ...
2
votes
0answers
42 views

References to study Weak and Strong Topologies and aproximations on function spaces of manifolds

I´m studing weak and strong topologies and aproximations on the function space $C^{\infty}(M,N)$ of two manifolds $M$ and $N$. I´m using the book Differential Topology of Morris Hirsch but it is a ...
6
votes
2answers
296 views

Charts needed for an atlas

I just read this question link and asked myself, if there is any easy way to decide how many charts you actually need to cover a given compact manifold in $\mathbb{R}^3$, maybe at least in this ...
3
votes
1answer
86 views

Polygons with centroid at origin and vertices on compact codimension one submanifold of $\mathbb{R}^{n}-\{0\}$

Let $M$ be a compact codimension one submanifold of $\mathbb{R}^{n}$ which does not contaion $0$ and the origin lies in the bounded component of$\mathbb{R}^{n}-\{0\}$. Is it true to say that: ...
4
votes
0answers
170 views

manifold branched covering space for orbifolds

An orbifold structure on some topological space $X$ is a covering of $X$ with local quotient charts $V/G$, where $V$ is some connected manifold and $G$ effectively acts on $V$ via a finite group of ...
2
votes
0answers
135 views

(co)limits in the category of diffeological spaces vs. category of smooth manifolds

I am wondering which (co)limits that exist in the category of smooth manifolds are preserved by the inclusion into the category of diffeological spaces? Are there any results that allow us to ...
3
votes
0answers
77 views

Reference request: linearly independent cycles in a manifold

The following seems to be well known to experts, but I would be happy if there is a paper or textbook that I can cite. Note: all of the manifolds are assumed to be without boundary. Suppose that $C$ ...
9
votes
0answers
214 views

Reference for a proof of the fiberwise Stokes theorem

The fiberwise Stokes theorem says that given a differential form on a smooth fiber bundle whose fibers have boundary, the difference between the fiberwise integral of the differential and the ...