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
1 answer
459 views

Clarification on smooth de Rham theorem

I am misunderstanding something in Theorem 2.1.9 in Dimca’s Sheaves in Topology: Let $X$ be a real smooth manifold. Then the natural morphism from the constant sheaf to the de Rham complex $$\mathbb{R}...
locally trivial's user avatar
2 votes
0 answers
103 views

Correct notion of "connected" for dga of bundle-valued forms

Consider a vector bundle $E$ over a manifold $M$ with flat connection, $\nabla$. From this data I can form the associative/unital differential graded algebra $\mathcal{A} = \left(\Omega^{\bullet}(M, ...
cheyne's user avatar
  • 1,396
11 votes
0 answers
246 views

Detecting topology change of tubular neighbourhoods via smoothness of volume function

Let $M$ be an embedded closed manifold in $\mathbb R^n$, define $M_r=\{x\in\mathbb R^n:d(x,M)<r\}$. Define $r\in\mathcal S_M$ iff $M_r\subset M_{r+\epsilon}$ is not a homotopy equivalence for all ...
Ariana's user avatar
  • 111
4 votes
1 answer
93 views

A formula in harmonic heat flow

Assume that $ (M,g) $ and $ (N,h) $ are two smooth closed manifold and $ N $ is embedded isometrically into $ \mathbb{R}^K $ for some $ K\in\mathbb{Z}_+ $. Assume that $ u\in C^{\infty}(M\times\mathbb{...
Luis Yanka Annalisc's user avatar
1 vote
1 answer
173 views

Is squared geodesic distance a Morse-Bott function on simply-connected Hadamard manifolds?

Let $M$ be a simply connected Hadamard manifold. That is, $M$ is a complete Riemannian manifold with sectional curvature bounded above by 0. Let $f(x,y)=\frac{1}{2}d^2(x,y)$, where $x,y \in M$, and $d(...
Spencer Kraisler's user avatar
2 votes
1 answer
137 views

Does composition on the right by a volume-preserving diffeomorphism preserve homotopy class?

Let $M, N$ be smooth manifolds with $M$ orientable and compact. Let $\sigma$ be some volume form on $M$ and consider the set $\mathcal{M}$ of smooth maps from $M$ to $N$ in a fixed homotopy class. Now ...
Dorado Toro's user avatar
6 votes
0 answers
132 views

S¹ action on a manifold which generates "non-torsion" loop in diffeomorphism group

I am interested in $S^1$-actions on smooth, closed, and oriented manifolds $M$. I suppose that the action has a fixed point (I also suppose $M$ is connected). Let $\operatorname{Diff}(M)$ denote the ...
onefishtwofish's user avatar
5 votes
3 answers
204 views

First usage of the terms pseudo-isotopy and concordance in manifold theory

I am hoping I can use the collective knowledge of the forum to piece together some history. I'm wondering where the terms pseudo-isotopy and concordance originated, in their modern forms as used in ...
Ryan Budney's user avatar
  • 42.8k
0 votes
0 answers
60 views

Proving an equality of differential forms by assuming some perhaps topological condition

Let say I want to show two differential forms $\omega_1$ and $\omega_2$ on a smooth manifold $M$ are equal. Of course it suffices to show $\omega_1=\omega_2$ locally, i.e. the equality holds over ...
Ho Man-Ho's user avatar
  • 1,087
5 votes
1 answer
292 views

Diagonalization of symmetric matrices of functions

I asked this question some time ago in MSE but I didn't recieved any feedback. https://math.stackexchange.com/questions/4672664/diagonalization-of-symmetric-matrices-of-functions This problem arised ...
user1234567890's user avatar
1 vote
0 answers
103 views

Existence of a smooth extension

In the three dimensional Euclidean space $\mathbb R^3$ let us define the hypersurface $$ S= \{(x,y,z) \in \mathbb R^3\,:\, z^2= x^2+y^2\}.$$ Suppose that $f \in C^{\infty}(S)$. Does there exist $u\in ...
Ali's user avatar
  • 4,045
2 votes
1 answer
156 views

Are these the only first eigenfunctions on a hemisphere?

Let $\mathbb{S}^2_+$ denote the closed upper hemisphere of the unit round sphere in $\mathbb{R}^3$. It is well known that the first positive eigenvalue of the Laplacian on the closed unit sphere is $2$...
Eduardo Longa's user avatar
2 votes
0 answers
40 views

$1$-parameter family of metrics preserving the normal direction

Let $(M^n,g)$ be a compact Riemannian manifold with boundary, $n \geq 2$, and let $N$ be the unit outward normal to $\partial M$. Denote by $S^2(M)$ the symmetric covariant $2$-tensors, by $S^2_0(M)$ ...
Eduardo Longa's user avatar
9 votes
0 answers
161 views

Changing coordinate to smoothen a function

Let $U\subset \mathbb{R}^2$ be an open neighborhood of the origin $0$, and let $f:U\to \mathbb{R}$ be a continuous function which is smooth on $U\setminus\left\{0\right\}$. Let's say that $f$ is ...
user49822's user avatar
  • 2,033
2 votes
0 answers
228 views

Is the square of a primitive cohomology class always primitive?

Let $M$ be a closed manifold (in my case $\dim M=3$). Take $\alpha\in H^1(M;\mathcal{Or})$, where $\mathcal{Or}$ is the orientation local system for $M$ with coefficients $\mathbb Z$. Suppose $\alpha$ ...
Andrey Ryabichev's user avatar
8 votes
2 answers
516 views

Compactly-supported harmonic tensors

Let $({M},g)$ be a connected and non-compact Riemannian manifold without boundary. If $L:\Gamma^{\infty}(E)\to \Gamma^{\infty}(E)$ is a linear second order elliptic operator on some smooth $\mathbb{R}$...
B.Hueber's user avatar
  • 987
3 votes
0 answers
171 views

Implicit function theorem in Riemannian manifold and Wasserstein space

My question is about to what extent can we extend the implicit function theorem to Riemannian manifolds. In the Euclidean space, consider a bivariate function $F \colon \Theta \times \mathcal{X} \...
Steve's user avatar
  • 1,117
4 votes
1 answer
162 views

Is the intersection of such a triple of minimal surfaces in the 3-ball a single point?

Let $S_1,S_2,S_3$ be three simple closed curves on the 2-sphere $\mathbb{S}^2$. (With no smoothness or rectifiability assumption) For each $i$, let $M_i$ denote the minimal surface (i.e. disc) bounded ...
Agelos's user avatar
  • 1,844
6 votes
1 answer
353 views

Difference between parallel transport and ambient projection

Consider a $d$-dimensional complete embedded Riemannian submanifold $(M,g)$ of a Euclidean space $\mathbb{R}^D$ (The major examples we consider are sphere and Stiefel manifold). Assume the sectional ...
Jason Li's user avatar
  • 125
1 vote
0 answers
123 views

Proving the canonical form of a vector field near a regular point on the boundary [closed]

I'm trying to solve Theorem 9.35 of Lee's Introduction to smooth manifolds: Let $M$ be a smooth manifold with boundary and let $V$ be a smooth vector field on $M$ that is tangent to $\partial M$. If $...
Livetrack's user avatar
5 votes
1 answer
903 views

Basic question on the de Rham theorem

There is a modern nice proof of the de Rham theorem based on sheaf theory. The de Rham theorem says that for a smooth manifold $M$ there is a canonical isomorphism $$H^i_{dR}(M,\mathbb{R})\simeq H^i_{...
asv's user avatar
  • 21.1k
3 votes
0 answers
131 views

Isotopy-classes of oriented Schoenflies spheres in $S^4$ is a group under oriented connect-sum

Given two oriented, smoothly-embedded copies of $S^3$ in $S^4$ (called Schoenflies spheres), one can take an oriented connect-sum of the pairs $(S^4, M_1) \# (S^4, M_2)$. This puts a monoidal ...
Ryan Budney's user avatar
  • 42.8k
4 votes
0 answers
292 views

Hodge decomposition on non-compact manifolds

Let $(\mathcal{M},g)$ be a compact Riemannian manifold without boundary. Then we have the well-known Hodge decomposition $$\Omega^{k}(\mathcal{M})\cong\mathcal{H}^{k}(\mathcal{M})\oplus\mathrm{ran}(\...
B.Hueber's user avatar
  • 987
3 votes
1 answer
128 views

When is compactness of fiber components an open condition?

Consider a smooth map $f:M\rightarrow N$ between smooth manifolds. Ehresmann's theorem states that if $f$ is a proper submersion, then it is locally trivializable; in particular, this implies that ...
Nikhil Sahoo's user avatar
  • 1,175
3 votes
1 answer
151 views

Existence of eigen basis for elliptic operator on compact manifold

Let $M$ be a compact Riemannian manifold. Let $E$ be a vector bundle over $M$ equipped with a Hermitian (or Euclidean) metric on its fibers. Let $D$ be a linear elliptic differential operator acting ...
asv's user avatar
  • 21.1k
10 votes
1 answer
698 views

Hodge decomposition in elliptic complexes

EDIT: In the book "Principles of Algebraic Geometry" by Griffiths and Harris the authors prove the Hodge decomposition for the Dolbeault operator $\bar\partial$ on differential forms on a ...
asv's user avatar
  • 21.1k
2 votes
0 answers
74 views

Question about stable manifold theorem and Frobenius integrability theorem

I have a question about Anosov diffeomorphism (Wikipedia: Anosov diffeomorphisms) For hyperbolic fixed point $p$, $W^{s}(p)$ is a smooth manifold and its tangent space has the same dimension as the ...
WaoaoaoTTTT's user avatar
8 votes
0 answers
185 views

A reference on a result by Steve Schanuel

In the Author Commentary section of the TAC reprint of the paper of 1968 Diagonal arguments and cartesian closed categories., Bill Lawvere wrote: ‘Nilpotent infinitesimals fall far short of even one-...
Evgeny Kuznetsov's user avatar
5 votes
3 answers
483 views

Poisson equation on manifolds

Let $(\mathcal{M},g)$ be a compact Riemannian manifold with Levi-Civita connection $\nabla$. It is well-known that the Poisson equation $$\Delta u=f$$ does have a solution on $C^{\infty}(\mathcal{M})$ ...
B.Hueber's user avatar
  • 987
1 vote
0 answers
80 views

Poisson equations for tensors on compact Riemannian manifold

Let $({M},g)$ be a compact Riemannian manifold with Levi-Civita connection $\nabla$. It is well known that the Poisson equation $$\Delta f=S$$ where $\Delta:C^{\infty}({M})\to C^{\infty}({M})$ denotes ...
B.Hueber's user avatar
  • 987
3 votes
1 answer
162 views

When can vector fields span the tangent space at each point?

If the tangent bundle of a smooth manifold is a smoothly trivial smooth fiber bundle, is it a trivial smooth vector bundle? Since this question got no answer in MathExchange, I am migrating it here. ...
enihcamemit's user avatar
8 votes
2 answers
360 views

Two different spin structures of the real projective space $\Bbb RP^3$

It is known that every orientable 3-manifold has a spin structure, because its tangent bundle is trivial. Also it is known that if a manifold $X$ has a spin structure, then the number of distinct spin ...
user302934's user avatar
2 votes
1 answer
207 views

Sufficient condition for the union of two submanifolds to be a submanifold

I have two smoothly embedded orientable surfaces $S_1,S_2\subset S^3 \times [0,1]$ with boundary such that $(i)$ $S_1\cap S_2$ is a smoothly embedded surface without boundary and $(ii)$ $\overline{...
Euler Characteristic's user avatar
1 vote
0 answers
110 views

Integral flow that can commute to Laplacian operator

Firstly, considering the vector field in $ \mathbb{R}^3 $, $ X=x_2e_1-x_1e_2 $, we can see that $$ \phi(t,x)=\phi(t,x_1,x_2,x_3)=(t,x_1\cos t+x_2\sin t,-x_1\sin t+x_2\cos t,x_3) $$ is the ...
Luis Yanka Annalisc's user avatar
4 votes
0 answers
138 views

Applications of Strong Whitney Embedding

I am looking for applications of the strong Whitney's embedding theorem that have an advantage over weak theorems. That is, applications where it's important that the dimension of the Euclidian space ...
Ludwik's user avatar
  • 237
7 votes
0 answers
140 views

Are these two concepts of a differential form on the loop space equivalent?

Notation: Let $X$ denote a smooth manifold (without boundary) and define $LX = C^{\infty}(S^1, X)$ to be the loop space on $X$. In the context of loop space homology and the supersymmetric path ...
ChenIteratedIntegral's user avatar
3 votes
0 answers
72 views

Leaves of bounded genus

Let $\mathcal{F}$ be a codimension one foliation in a closed $3$-manifold $M$. Does there exist an upper bound for the genus of the compact orientable leaves? That is, does there exist $G >0$ such ...
Eduardo Longa's user avatar
4 votes
1 answer
158 views

What integral formula is being used here?

I am trying to read the paper "Simple closed geodesics on convex surfaces" by E.Calabi and J. Cao and a certain passage is unclear for me. Before, let me contextualize and set up some ...
Eduardo Longa's user avatar
1 vote
1 answer
177 views

Decomposition of tensor field on hypersurface

Let $(\mathcal{M},g)$ be a Lorentzian manifold, which is globally of the form $\mathcal{M}\cong I\times\Sigma$, where $I\subset\mathbb{R}$ ("time") and $\Sigma$ ("space") is some $...
B.Hueber's user avatar
  • 987
2 votes
1 answer
338 views

What is an analogous version of the Ornstein–Uhlenbeck process on Riemannian manifolds?

Recall that the Ornstein–Uhlenbeck (OU) process in $\mathbb{R}^d$ is defined by the following SDE, $$ d Z_t=\frac{-1}{2} Z_t d t+d W_t, \quad t \geqslant 0 $$ where $\left(W_t\right)_{t \geqslant 0}$ ...
Student's user avatar
  • 601
5 votes
1 answer
428 views

Threefolds with the same Betti numbers and the same Chern numbers

By a threefold, I mean a compact complex manifold of dimension three. My question is a simple one: Are there known INFINITELY many non-homeomorphic threefolds that have the same Betti numbers and the ...
Basics's user avatar
  • 1,821
5 votes
1 answer
193 views

How to formalize this isotopy?

I'm studying the H-Cobordism theorem following the Lectures of John Milnor, and in the proof of the Whitney trick for cancel pairs of self-intersection points I have the next problem with an isotopy ...
Ludwik's user avatar
  • 237
2 votes
0 answers
104 views

Unstably dualizable maps

Call a map between compact, connected framed $n$-manifolds $f:M \rightarrow N$ unstably dualizable if there exists an $f':N \rightarrow M$ such that the following diagram commutes up to homotopy: $$\...
Connor Malin's user avatar
  • 5,191
4 votes
2 answers
279 views

Equivalence between two Sobolev norms on manifolds

On a compact Riemannian manifold $(M,g)$ without boundary, there are two ways to define a Sobolev norm on $M$. Assume that $f\in C^\infty(M)$ in the following. Use pseudo-differential operators on $M$...
kuuga's user avatar
  • 71
3 votes
0 answers
90 views

The tangent bundle of $G \times_H M$

Let $G$ be a Lie group with a closed subgroup $H$, and let $M$ be a smooth $H$-manifold. I am searching for a reference where it is proved that the tangent bundle of $G \times_H M$ is isomorphic to ...
Lukas's user avatar
  • 198
11 votes
1 answer
314 views

Does the Lie algebra of vector fields $\mathfrak{X}(M)$ determine the diffeomorphism class of a manifold $M$?

Let $M_1,M_2$ be two simply connected, connected, compact smooth manifolds without boundary and of the same dimension. Assume that $\mathfrak{X}(M_1)\cong \mathfrak{X}(M_2)$ as Lie algebras. ...
Amr's user avatar
  • 1,025
1 vote
1 answer
174 views

Invariance of mutual information under injective functions

Let $X\colon \Omega\to\mathcal X$ and $Y\colon \Omega\to \mathcal Y$ be two random variables. In M.S. Pinkser's Information and information stability of random variables and processes mutual ...
Paweł Czyż's user avatar
1 vote
0 answers
166 views

Fourier transform of functions mapping manifolds, is there a definition?

$\DeclareMathOperator\SO{SO}$I have a problem which boils down to the analysis of functions of the form $$ f : \mathbb{R} \to \SO(3)^n $$ Since $\SO(3)$ is a compact group so is $\SO(3)^n$. Now if ...
user8469759's user avatar
3 votes
0 answers
105 views

"Practical" references on mapping spaces as infinite-dimensional manifolds

I am studying spaces of the form $C^{k}(\mathcal{M},\mathcal{N})$ between manifolds ($k=\infty$ allowed) and I am looking for extensive references, especially analysing their topology and smooth ...
B.Hueber's user avatar
  • 987
14 votes
1 answer
481 views

Can the product of an exotic torus and a circle be the standard torus?

As discussed in this question from last week, if $M$ is a closed manifold such that $M\times S^1$ is homeomorphic to the torus $T^{n+1}$, then $M$ is homeomorphic to $T^n$. Is the corresponding ...
Michael Albanese's user avatar

1
2
3 4 5
25