**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

263 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

283 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

150 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

176 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

328 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

249 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

223 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

168 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

228 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

121 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

445 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

797 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

127 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

394 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

97 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

217 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

452 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

112 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

381 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

124 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

137 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

795 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

168 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

123 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

140 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

103 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

633 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

244 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

117 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

53 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

109 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

345 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

262 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

220 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

123 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

**1**answer

179 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

**1**answer

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