**4**

votes

**1**answer

78 views

### $E \times_H \mathbb{R}^n$ is isomorphic to the total space of the tautological bundle $\gamma^n$ over $G_n(\mathbb{R}^{n+k})$?

Let $H$ be the subgroup of $\text{GL}(n + k, \mathbb{R})$ consisting of matrices whose lower $n \times k$ block is empty; i.e. consisting of matrices of the form$$\begin{pmatrix} A & * \\ 0 & ...

**0**

votes

**0**answers

95 views

### Unit sphere of a norm is a submanifold implies the norm is smooth?

Let us call a norm on $\mathbb{R}^n$ smooth if its restriction $\| \cdot \|:\mathbb{R}^n\setminus \{ 0 \} \to \mathbb{R}$ is a smooth map.
Suppose the unit sphere of a norm $\| \cdot \|$ is an ...

**4**

votes

**0**answers

93 views

### Higher tangent bundles of manifolds with non integer dimension

One way to define the tangent space of a manifold at a point $p\in M$ is the following: We define an equivalent relation on the space of curves passing $p$ as follows: Two curves $\alpha, \beta$ are ...

**3**

votes

**2**answers

267 views

### Ricci flow on Kähler manifold

Knowing the Ricci flow on Riemann surfaces, see e.g.
Ricci flow on Riemann surfaces
How could we write the Ricci flow on Kähler manifold? Thanks for the reply!

**8**

votes

**2**answers

285 views

### Spectrum of Ring of Smooth Functions on $\mathbb{R}^n$

When we define smooth manifold, we starting with topological space $M$ which localy homeomorphic to $\mathbb{R}^n$ and setting up sheaf $\mathscr{F}(M)$ of functions on it which localy isomorphic to ...

**1**

vote

**1**answer

153 views

### Schauder estimate for the heat equation on compact manifolds

I asked this question on math.stackexchange.com, however I didn't get any answers so I'll try it here.
Let $M$ be a compact manifold without boundary. Consider $Lu:=\partial_tu-\Delta u$. Let $f\in ...

**4**

votes

**1**answer

177 views

### Exterior derivative as only (up to multiple) natural operator $\Lambda ^kT^\ast \rightsquigarrow \Lambda ^{k+1}T^\ast$

In Kolar, Michor, & Slovak's book Natural Operations in Differential Geometry, it is proved the exterior derivative is universal in the following sense.
Proposition 25.4. For $k>0$ all natural ...

**4**

votes

**2**answers

331 views

### Natural operators in differential geometry - why are they natural?

I'm reading bits and pieces of Kolar, Michor, & Slovak's Natural Operations in differential Geometry, and I'm having "doubt" about some of the definitions. All I'm trying to do is sheafify some of ...

**15**

votes

**1**answer

195 views

### Smooth manifolds as idempotent splitting completion

The nlab has a particularly interesting thing to say about the category of smooth manifolds: it is the idempotent-splitting completion of the category of open sets of Euclidean spaces and smooth maps.
...

**2**

votes

**2**answers

250 views

### Is the following 3-manifold irreducible?

We start with product manifold $ X := S_g \times (0,1)$, where $S_g$ is a closed, orientable surface of genus $g \geq 1$. Since this has $\mathbb R^3$ as its universal cover, $X$ is irreducible. Now ...

**5**

votes

**2**answers

226 views

### global section of affine $C^\infty$-scheme

I'm reading Algebraic Geometry over $C^\infty$-rings.
It is written that "If $\mathfrak{C}$ is not finitely generated then $\Phi_{\mathfrak{C}}:\mathfrak{C}\rightarrow ...

**0**

votes

**0**answers

41 views

### Hilbert Manifold structure on global sections of a sheaf

Let $<U_i,\phi_i>$ be an atlas on a Hilbert manifold $M$. If $F(M,U_i)$ is a Hilbert space for every $U_i$ then does this imply that $F(M,M)$ can be made into a Hilbert manifold also with ...

**4**

votes

**2**answers

170 views

### Unique Kahler-Einstein metric $g$ with $\mathrm{Ricc}(g)=-g$ when first Chern class $C_1(M)<0$: $\mathrm{Ricc}(h)=-g\,\Rightarrow\,h=cg$ for $c>0$?

On a compact Kahler manifold, let $g$ be the unique Kahler-Einstein metric with $\mathrm{Ricc}(g)=-g$, proved to exist by Yau and Aubin when the first Chern class $C_1(M)<0$.
Question: Does $g$ ...

**5**

votes

**1**answer

229 views

### Does every smooth manifold carry a gaussian random field?

Let $M$ be an arbitrary finite-dimensional smooth manifold. For simplicity, let's assume that $M$ has no boundary. Does there always exist a gaussian random field with constant variance on $M$? If ...

**6**

votes

**0**answers

172 views

### A tangential fixed point property for manifolds embedded in Euclidean spaces

Assume that $M$ is a compact orientable manifold which is embedded in some Euclidean space $\mathbb{R}^{N}$
We say that $M\subset \mathbb{R}^{N}$ has the tangential fixed point property if for ...

**3**

votes

**0**answers

125 views

### Is $C^\infty(M,\mathbb{R})$ an ind-(smooth manifold)?

Let $\mathrm{Man}$ be the category of smooth manifolds (2nd countable, Hausdorff, no boundary, not necessarily compact) and smooth maps, and let $M$ be an object thereof. Is the presheaf $S \mapsto ...

**7**

votes

**1**answer

455 views

### Does pullback in the category of smooth manifolds always exists?

I am looking for an example where $f:Y\to X$ and $f':Y'\to X$, are both smooth maps of smooth manifolds, but the pullback does not exist.
Remarks:
1) A pullback in a certain category is defined as ...

**3**

votes

**1**answer

87 views

### Closed leaves on foliations of $\mathbb{R}^n$

I want to know if there exists a characterization of k-foliations of $\mathbb{R}^n$ which have all the leaves closed.
Do exists a $k$-foliation of $\mathbb{R}^n$ with a non-closed leaf?
In general, ...

**23**

votes

**6**answers

2k views

### How to get convinced that there are a lot of 3-manifolds?

My question is rather philosophical : without using advanced tools as Perlman-Thurston's geometrisation, how can we get convinced that the class of closed oriented $3$-manifolds is large and that ...

**9**

votes

**3**answers

802 views

### Is each closed convex set a manifold with corners?

Assume that $C$ is a convex set in $\mathbb{R}^{n}$ with non empty interior.
Then consider its closure, is it a smooth manifold with corners?
Edit:
1) The closure of $C$ should be a smooth manifold ...

**12**

votes

**0**answers

128 views

### Which spherical space forms embed in $S^4$?

Is there any hope of getting a classification of which 3-dimensional spherical space forms are smoothly embeddable in $S^4$? I read that lens spaces cannot embed in $S^4$, but some other spherical ...

**7**

votes

**3**answers

399 views

### Examples of Stiefel-Whitney classes of manifolds

Let $M$ by an compact, connected $n$-dimensional manifold without boundary.
Are there any other computable examples of the Stiefel-Whitney class $w(M)$ except for $M=S^m, \mathbb{R}P^m,\mathbb{C}P^m, ...

**7**

votes

**0**answers

274 views

### Question about theorem in Arnold's book on action-angles variables

I have a question about the action-angle theorem on p. 283 in Arnold's textbook on classical mechanics.(I added the link to this book in the last part of this question)
If you don't have the book or ...

**11**

votes

**1**answer

220 views

### Homotopies with prescribed regular values

Let $M_1$ and $M_2$ be connected smooth manifolds and let $f_0,f_1:M_1 \rightarrow M_2$ be homotopic smooth maps such that some fixed point $p \in M_2$ is a regular value for both $f_0$ and $f_1$. ...

**1**

vote

**2**answers

99 views

### Retract embedding of $S^{n}$ in its unit tangent bundle

Acording to the comment of Mark Grant and the answer of Ryan Budney, I revise the question:
For what even $n$, there is a retract embedding of of $S^n$ in its unit tangent bundle?

**7**

votes

**1**answer

220 views

### Hodge de Rham operator and orientability

Let $(M,g)$ be a Riemannian manifold. One can consider the exterior algebra bundle $\Lambda(T^*M)$. The sections of this bundle are differential forms, to be noted by $\Omega^k(M)$. One can consider ...

**3**

votes

**1**answer

475 views

### characteristic classes of homotopy equivalent manifolds

Let $M,N$ be two manifolds of different dimensions. Suppose $M\simeq N$, i.e. $M$ is homotopy equivalent to $N$. Do the Stiefel-Whitney classes of the tangent bundles of $M$ and $N$ equal
$$
...

**3**

votes

**1**answer

85 views

### Set of density matrices

A density matrix is a matrix $\rho \in \mathscr{D}:=\{A \in \mathbb{C}^{n \times n}; A^*=A; \operatorname{tr}(A)=1; A \ge 0\}.$
In Quantum Mechanics it is natural to look at a group action
$\Phi: ...

**1**

vote

**2**answers

129 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

**1**answer

126 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

**1**answer

113 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$ ...

**5**

votes

**2**answers

388 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

**0**answers

125 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

**2**answers

163 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

**1**answer

143 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

**1**answer

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

**5**

votes

**0**answers

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

**5**

votes

**1**answer

126 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

**1**answer

141 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

**0**answers

107 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

**0**answers

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

**14**

votes

**3**answers

638 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

**1**answer

250 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

**0**answers

118 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

**1**answer

55 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

**1**answer

110 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

**1**answer

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

**4**

votes

**1**answer

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

**3**

votes

**1**answer

223 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

**1**answer

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