# Tagged Questions

**1**

vote

**0**answers

74 views

### Riemann normal coordiantes and change of metric

Le $(M,g)$ be Riemannian manifold. Fix point $p\in M$. We can define the map
$$\exp: U \subset T_p M \rightarrow M$$
$$\exp(X) = \gamma_{p,X}(1)$$
where $t\mapsto \gamma_{p,X}(t)$ is geodesic such ...

**4**

votes

**1**answer

172 views

### Exercises around Diffeological Spaces or a Diffeologic Atlas Theory

Is there a Book or a bunch of exercises to get used to diffeological spaces from a practical point of view? It seems to me that papers on this topic are mostly concerned with their very good ...

**2**

votes

**1**answer

215 views

### undergraduate handle decomposition. Reference

As the title says, I'm searching for a nice textbook for introducing the theory of handle decomposition of manifolds to undergraduate students.

**3**

votes

**1**answer

194 views

### Exponential mapping versus flow

In Hamilton's article on the Nash-Moser Theorem, he gives the map that maps a vector field $X$ to its flow $e^{tX}$ in $\mathrm{Diff}(M)$ as an example where the implicit function theorem in Frechet ...

**3**

votes

**1**answer

186 views

### Is any smooth homeomorphism isotopic to a smooth embedding?

Let $f:D^m\to \mathbb{R}^m$ be a smooth map ($D^m$ is the unit ball).
We call $f$ embedding if it is a homeomorphism on the image and the
derivative $D_xf$ is nonsingular at each point $x\in D^m$ ...

**-1**

votes

**1**answer

137 views

### $S^n$ admit a real polarization $D\subset TS^n$?

When the $n$-sphere, $S^n$,admit a real polarization $D\subset TS^n$

**4**

votes

**1**answer

327 views

### Quantization of symplectic vector space and choice of lagrangian subspaces

My question is related to Geometric Quantization.
I don't undrestand the philosophy of following assertion
If $(V,\omega)$ be a symplectic vector space then the quantizations of
$V$ ...

**3**

votes

**1**answer

465 views

### Is it possible to define a structure of differentiable manifold on the Hilbert cube $[0,1]^\mathbb{N}$?

Is it possible to define a structure of differentiable (smooth) manifold on the Hilbert cube $[0,1]^\mathbb{N}$ ?
Has it been done in the literature?
In textbooks, only the Banach case is treated, ...

**2**

votes

**3**answers

221 views

### Fatou sets and topological entropy

Let us consider a diffeomorphism of a compact real manifold (complex manifold defined over the reals), and let us say that the diffeomorphism is birational. Hence, it extends to a birational map from ...

**1**

vote

**1**answer

247 views

### The space of generalized complex structures in sense of N.Hitchin is contractible?

Generalized complex structures were introduced by Nigel Hitchin in 2002. A generalized almost complex structure is an almost complex structure of the generalized tangent bundle which preserves the ...

**0**

votes

**0**answers

97 views

### transverse intersection of Whitney stratifications

Let $M$ be a smooth manifold. If $X$ and $Y$ are two Whitney objects, i.e. subsets with a given Whitney stratification, then $X$ and $Y$ are transverse if each stratum of $X$ is transverse to each ...

**4**

votes

**2**answers

261 views

### Is it impossible for the dimension of a topological space to increase under a smooth map?

First let me make a definition. Let $M$ be a smooth manifold and
$S \subset M $ a topological subspace of $M$. We say that $S$ has
"dimenion" at most $k$ if $S$ is a subset of
$$ X_1 \cup X_2 \ldots ...

**4**

votes

**1**answer

109 views

### Hilbert Manifolds and embedding

In the Wikipedia article on Hilber manifolds, it is claimed that every Hilbert manifold can be smoothly embedding onto an open subset of the model Hilbert space. However, no explicit reference is ...

**10**

votes

**1**answer

558 views

### Does the gluing procedure in Robert Wald’s book *General Relativity* yield a Hausdorff spacetime?

Before I state my problem, let me provide some definitions pertaining to the Cauchy Problem in General Relativity.
Definition 1: A triplet $ (\Sigma,h,k) $ is called an initial data set if $ ...

**0**

votes

**1**answer

107 views

### A version of implicit function theorem when sections are not everywhere smooth?

Let $V_1, V_2 \rightarrow M $ be smooth vector bundles over a manifold $M$ and $s_1: M \rightarrow V_1$
a smooth section transverse to the zero set and $s_2: M \rightarrow V_2$ a continuous section
...

**1**

vote

**0**answers

116 views

### Can one always extend a smooth section defined on a non compact submanifold to the whole manifold, provided it extends continuously to the closure?

Let $V \rightarrow M$ be a smooth vector bundle over a smooth compact manifold $M$
(without boundary) and $X \subset M$ a smooth submanifold of $M$, that is not necessarily closed.
Suppose $s: X ...

**2**

votes

**0**answers

72 views

### Squared displacement function on Lorentzian manifolds

Hi,
Let $\varphi$ be an isometry of a simply connected pseudo Riemannian manifold $M$. The squared displacement function of $\varphi$ is $d^2_{\varphi}(p):=d^2(\varphi (p),p)$, $p\in M$, where $d$ is ...

**2**

votes

**1**answer

332 views

### Is $C^\nu(X,Y)$ a Banach manifold and a Lindelöf space?

Suppose that $X$ is a compact, finite dimensional manifold and $Y$ is an infinite dimensional, second countable ($C^\infty$-)Banach manifold. Let $\nu \in \mathbb{N}$.
Question: Is the space ...

**10**

votes

**1**answer

444 views

### Strong Whitney embedding theorem for non-compact manifolds

$\newcommand{\RR}{\mathbb{R}}$The present question arises from some confusion on my part regarding the precise statement of the strong Whitney embedding theorem for non-compact manifolds.
The strong ...

**4**

votes

**1**answer

428 views

### Differentiable manifolds by Serge Lang question

I have started reading "Introduction to differentiable manifolds" by Serge Lang. In this book, Lang takes a different approach, by immediately introducing manifolds on arbitrary Banach spaces. His ...

**2**

votes

**1**answer

140 views

### Vector fields on a simplicial manifold.

Is there a known definition of vector fields on a simplicial manifold?
For me, it seems natural that the definition should be something along the lines: Let $M_{\bullet}$ be a simplicial manifold ...

**1**

vote

**1**answer

153 views

### Can elements of Weil algebras be detected by maps into truncated symmetric algebras?

Recall that a Weil algebra is a finite-dimensional real unital algebra that admits exactly one homomorphism to R.
Such algebras form the basis of the Weil approach to differential geometry, pioneered ...

**2**

votes

**2**answers

301 views

### if $S \times \Re$ is diffeomorphic to $T \times \Re$ then are S and T diffeomorphic?

Suppose that $S$ and $T$ are two smooth manifolds and '$ \Re$' be the reals with the normal manifold structure. And here I use '$=$' to mean diffeomorphism.
Is the statement below true?
$ S \times ...

**1**

vote

**1**answer

136 views

### finding effective 2-form corresponding to an equation

What is the effective 2-form corresponding to the equation
$det Hess v=(v-q_1v_{q_1}-q_2v_{q_2})^4$
you can find the definition of effective forms here

**9**

votes

**3**answers

421 views

### Characterizing Hessians among symmetric bilinear tensors

I apologize in advance if this is somewhat elementary, but:
Let $(M,g)$ be a compact Riemannian manifold. Is there a "characterization" of which symmetric bilinear tensors $B\in Sym^2(M)$ are ...

**1**

vote

**2**answers

292 views

### Is this surface diffeomorphic to a sphere(S^2)? [closed]

let $f:R^3 -> R \ \ \ \ \ \ \ \ f(x,y,z)=x^4 + y^6 +z^8 \\$
$M = f^{-1}(1)$
Is M is diffeomorphic to a sphere $S^2$ ?
I tried to solve this problem, but I realized that I have no tools to ...

**0**

votes

**1**answer

220 views

### A $C^\infty$-function on a submanifold which is not the restriction of a a $C^\infty$ on $M$

I am looking for an example showingthat
a function $f$ which is $C^\infty$ on a submanifold $N$ of $M$, but it cannot be written as
the restriction of a $C^\infty$-function on $M$.

**3**

votes

**2**answers

232 views

### Real analytic submanifolds of $\mathbb{R}^{n}$

Hallo,
Let $(M,g)$ be a Riemannian $k$-dim real analytic submanifold of $\mathbb{R}^{n}$. Is it true that $M$ in $\mathbb{R}^{n}$ looks locally (in a small neigbourhood around some point in $M$) as ...

**4**

votes

**1**answer

336 views

### What manifolds can have a (non-piecewise) linear structure?

By the definition I'm using, all manifolds are Hausdorff and second countable. For all non-negative integers $n$, I define $B_n$ to be $\bigl\{ \mathbf{v} \in \mathbf{R}^n : \lVert\mathbf{v}\rVert ...

**3**

votes

**2**answers

428 views

### Rotation in Hyperkähler manifolds

Any Hyperkähler manifold has 3 complex structures $I_{1}, I_{2}, I_{3}$. Assume that there is an additional complex structure $J$. Can this be written as $J = aI_{1} + bI_{2} + cI_{3}$, where $(a,b,c) ...

**4**

votes

**2**answers

352 views

### Do transvers foliations induce complex structure?

Hallo,
I have the following question: Let $M$ smooth analytic manifold of dimension 4n. Assume furthermore that $M$ admits two foliations $A$, $B$, both with leaves of dimension 2n such that the ...

**3**

votes

**1**answer

181 views

### Holonomy of a Kähler manifold

Hi,
I have the following question: Let $(M,J, \omega)$ be a Kähler manifold (not necessary compact). We know that the holonomy group is a subgroup of $U_{n}$. Let $\Omega$ be a constant ($\nabla ...

**1**

vote

**0**answers

167 views

### HyperKaehler manifolds are Ricci-flat

Hi,
I have the following question: Let $M$ be a Hyperkaehler manifold with complex structures $I,J,K$ and Hyperkaehler metric $g$. Let $\omega_{I} = g(I *, *), \omega_{J} = g(J *, *), \omega_{K} = ...

**1**

vote

**1**answer

258 views

### Holonomy group of a non-compact Kaehler manifold

Hallo,
I have the following question: Let $(M,I,\omega)$ be a not necessary compact Kaehler manifold of complex dimension $n$. Assume that there exists a nowhere vanishing holomorphic $(n,0)$-form ...

**0**

votes

**1**answer

393 views

### Geodesics on a twisted torus

This is a repost of a question I posted at MSE.
Mark L. Irons' paper The Curvature and Geodesics of the Torus gives a concise overview of the geodesics on the torus:
There are five clear-cut ...

**2**

votes

**2**answers

306 views

### Isometric embedding of a Kaehler manifold as a special Lagrangian in a Calabi-Yau manifold

Hallo,
I am reading the paper "Hyperkaehler structures on the total space of holomorphic cotangent bundles" by D.Kaledin and I am asking if it is possible to embedd a real-analytic Kähler manifold, ...

**2**

votes

**1**answer

114 views

### Can stabilizer groups in an orbifold have global twisting?

Can stabilizer groups in an orbifold have global twisting?
For example, consider the two groups $\mathbb Z/3\times\mathbb Z$ and $\mathbb Z/3\rtimes\mathbb Z$ (where $\mathbb ...

**0**

votes

**1**answer

205 views

### Unique symplectic form in an adapted complex structure

Hallo,
I ave the following question: Due to Stenzel, Lempert, Szöke ect. we know that a Riemannian manifold $(M,g)$ admits a complex structure on an neighbourhood of the cotangent bundle. This ...

**4**

votes

**0**answers

185 views

### Ricci-flat metrics on Cotangent bundles in adapted complex structure

greetings,
Let $(M,g)$ be a compact Riemannian manifold. On some neighbourhood $X$ of the zero section in the cotangent bundle $T^{*}L$ we have a complex structure $J$ and a Kähler form $\omega$ s.t. ...

**1**

vote

**1**answer

201 views

### Kähler manifold with Ricci-flat Kähler form

hallo,
I have the following problem: Let $X$ be a $n-$dim Kähler manifold with Ricci-flat Kähler form $\omega$. There is a known fact that then there exists a holomorphic (n,0)-form $\Omega$ such ...

**2**

votes

**1**answer

243 views

### holomorphic extension of forms

hallo,
I have the following question: Let $M$ be a $n-$dimensional complex manifold and $X \subset M$ be a compact $n-$dimensional totally real analytic Riemannian submanifold. Let furthermore ...

**5**

votes

**4**answers

530 views

### When does a hypersurface have contact-type?

In a symplectic manifold $(X^{2n},\omega)$, a hypersurface $Y\subset X$ has contact-type if there is a contact form $\lambda$ such that $d\lambda=\omega|_Y$. Recall that a contact form is a 1-form ...

**1**

vote

**1**answer

202 views

### Harmonic/conformal map composition between manifolds in either order?

Suppose $\mathcal{M}$, $\mathcal{N}$, and $\mathcal{P}$ are Riemannian manifolds (compact and of dimension 2, if it matters). It seems well-known that if $\phi:\mathcal{M}\rightarrow\mathcal{N}$ is ...

**0**

votes

**1**answer

167 views

### relation with jacobifields in a small neighbourhood

hi,
I have the following question: Let $(M,g)$ be a complete Riemannian manifold with all sectional curvatures non-positive. Let $p \in M$ and consider the function $d(x)=dist_{g}(x,p)$ in a ...

**2**

votes

**1**answer

662 views

### Manifolds are paracompact

By Definition, smooth manifolds are assumed to be Hausdorff and to satisfy the second countability axiom.
I have heard (but never seen written) that these assumptions imply paracompactness (and thus ...

**2**

votes

**1**answer

180 views

### gluing along a real analytic manifold

hi,
I have a general question. Assume we have a real analytic $n-$dim. manifold $X$ and $M$ a real analytic compact submanifold of $X$ (of dimension less that the dimension of $X$, say $k < n$). ...

**4**

votes

**1**answer

353 views

### complex manifold with corner

I was reading Dominic Joycee article on Manifold with corner. He talk about manifold with corner modeled over $[0,\infty)^k\times \mathbb R^{n-k}$ for some $k\leq n$. From here i moved to Melrose ...

**3**

votes

**2**answers

857 views

### What is the usual topology of $C^\infty_c(M) $

If $M$ is a smooth paracompact manifold, then what is the usual topology of $C^\infty_c(M) $, i.e., the smooth function with compact support?

**-3**

votes

**1**answer

397 views

### Holonomy group of calabi yau manifold

Let $(M,J,\omega, \Omega)$ be a calabi-yau manifold (not necessary compact). Does it follow that the holonomy group of $M$ is $SU_{n}$, where $n$ is the complex dimension of $M$ ?

**9**

votes

**4**answers

729 views

### Characterization of the Lie derivative

The exterior differential of differential forms on a manifold can be characterized as the unique super-derivation of degree 1 on the exterior algebra of forms such that $<df,X>=X(f)$
for $f$ a ...