**5**

votes

**0**answers

281 views

### Kernel of Bianchi operator: Is a (smooth tame) Frechet manifold?

Let $M$ be a smooth compact manifold, $\mathcal{S}=\Gamma(\odot^2T^*M)$ the smooth tame Frechet space of smooth symmetric $2$-covariant tensors, and $\mathcal{M}=\Gamma(\odot^2_+T^*M)$ the smooth tame ...

**-1**

votes

**0**answers

80 views

### Is there a version of decomposition theorem for smooth open manifolds in dimensions grater than 3? [on hold]

Is there a version of decomposition theorem http://www.jstor.org/stable/2034963
for smooth open manifolds in dimensions grater than 3?
There is two things about the cited theorem: it is for ...

**1**

vote

**0**answers

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

**2**

votes

**0**answers

132 views

### Volume of a complex manifold

Is there a theorem which states the following?
Let $\mathcal{M}$ be a $k$ -dimensional complex submanifold of $\mathbb{C}^n, \ 1 \le k \le n$. Let $V \subset M$ be open, relatively compact in $M$, so ...

**6**

votes

**2**answers

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

**19**

votes

**0**answers

557 views

### Do there exist exotic 4-tori?

More precisely: are there known manifolds which are homeomorphic, but not diffeomorphic to the standard 4-torus? Are there any nice invariants distinguishing such manifolds?
Related: if such a ...

**1**

vote

**0**answers

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

**3**

votes

**1**answer

73 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:
...

**2**

votes

**0**answers

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

**11**

votes

**1**answer

1k views

### How well can we localize the “exoticness” in exotic R^4?

My question concerns whether there is a contradiction between two particular papers on exotic smoothness, arxiv:0807.4248v1 and arxiv:gr-qc/9404003v1. The former asserts:
"Let $M$ be a smooth closed ...

**9**

votes

**0**answers

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

**3**

votes

**0**answers

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

**0**

votes

**0**answers

57 views

### Cohomology operators inducing local basis of $1-$forms

Suppose that $\partial$ is a non-trivial ($\partial \neq 0$) cohomology operator on an $m-$dimensional manifold $M$ (that is: $\partial:\Omega(M)\to\Omega(M)$ is a degree $1$ derivation such that ...

**2**

votes

**1**answer

173 views

### Ehresmann fibration theorem for manifolds with boundary

All manifolds in consideration may have nonempty boundary and may be disconnected.
Let me fix a definition first. A map between smooth manifolds $M\rightarrow N$ is a fiber bundle, iff it's locally ...

**6**

votes

**2**answers

326 views

### Relating different topologies on $C^{\infty}_c(M)$

This is somehow connected to this question.
I can think of at least four topologies to put on $C_c(M)$:
Topologize $C^{\infty}_c(M)\subseteq C^{\infty}(M)$ as a subspace with the weak Whitney ...

**1**

vote

**1**answer

89 views

### Are normal deformations of an embedding open in the $C^{\infty}$-space of embeddings of a compact smooth manifold`

Let $M$ be a compact smooth manifold (closed, for simplicity), $n\in\mathbb{N}$ and equip the space of embeddings $Emb(M,\mathbb{R^n})$ wih the Whitney-$C^{\infty}$-topology. (The weak and the strong ...

**5**

votes

**0**answers

172 views

### Schoenflies and symplectic topology

The final report from a workshop on Morse theory in low-dimensional and symplectic topology includes the following question, posed by Michael Hutchings: Can we apply symplectic geometry to solve the ...

**5**

votes

**1**answer

202 views

### Strange problem about triplets of differential forms

Suppose we have the following map:
$$(\Omega^1(\mathbb{R}^n))^3\longrightarrow(\Omega^2(\mathbb{R}^n))^3$$
...

**7**

votes

**2**answers

617 views

### Stokes theorem with corners

I've found the following version of Stokes' theorem in G. Stolzenberg's lecture notes 19:
Notation:
for $1 \le n \le m$
$\Lambda(m, n) = \{ \lambda: \{1,...,n\} \rightarrow \{1,...,m\} \ | \ ...

**3**

votes

**2**answers

156 views

### Modifying the Reeb vector field by multplying by a function

Given a contact 3-manifold $(M,\omega)$ and its Reeb vector field $R$ and contact structure $\Delta$, I want to understand in some sense 'how large' is the set of Reeb vector fields supported by ...

**0**

votes

**1**answer

138 views

### Functional Calculus and Fredholm index

Let $-\Delta: W^{2,2} \subset L^2(\mathbb{S}^2) \rightarrow L^2(\mathbb{S}^2)$. Then it is "easy" to show that $-\Delta $ is self-adjoint. Now, I am looking for closed operators $T$ and $T^*$ of order ...

**5**

votes

**3**answers

2k views

### A metric for Grassmannians

I'm reading an article by Ricardo Mañé, Hausdorff dimension is diffeomorphism. I'm having a technical problem. Sorry for my ignorance, but I would like a reference which explains how to equip the ...

**0**

votes

**0**answers

45 views

### Wedge product of Endomorphism-Valued Forms

To define characteristic classes in smooth vector bundles $E\longrightarrow M$ there is a more or less standard procedure: to choose a connection $\nabla$ and to derive the curvature $\Omega$, which ...

**1**

vote

**1**answer

86 views

### Global geometry measures for Riemannian manifolds

I'm working on a stochastic algorithm and considering it to apply in case of any curved space (manifolds). But in order to make the algorithm as efficient as possible I want to include in it some ...

**9**

votes

**2**answers

193 views

### Neighborhoods of the identity in diffeomorphism groups

Finite dimensional Lie groups have the nice property that if $V$ is a small neighborhood of the identity, and $U \subset V$ another neighborhood, then $V$ is covered by $U^k$ (the set of all products ...

**7**

votes

**1**answer

1k views

### De Rham homology

Suppose M is an arbitrary smooth manifold and D is its bundle of 1-densities.
On the category of finite-dimensional vector bundles over M and linear differential operators between them
there is a ...

**1**

vote

**1**answer

123 views

### Is there a name for the function on $TTM$ swapping the 2nd and 3rd coordinates?

I'm not so good on geometry, so I fear this is a relatively basic question.
For any $N \in \mathbb{N}$, let us identify the tangent bundle of $\mathbb{R}^N$ with $\mathbb{R}^{2N}$ in the obvious ...

**14**

votes

**1**answer

578 views

### The cone on a manifold

I believe that I have run across the statement that if $X$ is a compact smooth manifold and $CX$ is the cone on $X$, i.e. $[0,1] \times X$ modulo $(0,x)\sim(0,y)$ for all $x,y \in X$, then $CX$ admits ...

**5**

votes

**0**answers

197 views

### Is there a citeable reference for star-shaped open subsets of R^n being diffeomorphic to R^n?

A folk theorem says that star-shaped open subsets of R^n are diffeomorphic to R^n.
Is there a citeable reference for this result?
For the sake of being definite, let's say that
“citeable” means ...

**0**

votes

**1**answer

183 views

### Some quantities which definitions are (somehow) similar to the classical Divergence

Motivated by classical formulas $L_{X}=d\circ i_{X}+i_{X}\circ d$ and $L_{X} \Omega=Div(X) \Omega$ and the essential role of the diff operator $d$ in definition of divergence, we define some ...

**4**

votes

**1**answer

281 views

### Atlas of a manifold as a Sheaf

--Hopefully this question does not dublicate another--
In this question Tom Goodwillie pointed out, that the 'atlas part' of
the definition of a smooth manifold can be redefined in terms of
sheaves. ...

**5**

votes

**1**answer

284 views

### Geodesics on manifolds with boundary

Let $(M,g)$ be a Riemannian manifold with non-empty boundary. Is there any notion of injectivity radius on $(M,g)$ in points away from the boundary? By this I mean points lying in $M- \partial M$. ...

**7**

votes

**1**answer

319 views

### Intuitive Aproach to Dolbeault Cohomology [closed]

(Duplicated from math.stackexchange)
I would like to understand an intuitive approach to the definitions of Dolbeault Cohomology (using $\partial$ and $\bar{\partial}$) similar to the one given here. ...

**1**

vote

**1**answer

190 views

### Linearisation of Einstein operator

Let $(M,g)$ be a $(m+1)$-dimensional Riemannian manifold with Levi-Civita connection $\nabla$.
The Ricci curvature can be viewed as a differential operator ...

**11**

votes

**1**answer

418 views

### Homotopy spheres with vanishing and non-vanishing $\alpha$-invariant

I'm unsure whether this question is appropriate for mathoverflow, so feel free to criticize.
All manifolds are closed, smooth and have dimensions $n\ge 5$.
The Atiyah-Shapiro-Bott-Orientation gives ...

**4**

votes

**1**answer

188 views

### The heat kernel as an exponential of an integral

In $\mathbb{R}^n$, if $\gamma$ is a line segment between $x_0 = \gamma (0)$ and $x = \gamma (t)$, one has the following formula:
$$\frac {\mathbb{e}^{- \frac{1}{4} \int_0^t <\dot{\gamma}, ...

**0**

votes

**0**answers

74 views

### Equivalence of Kahler structures of based loop group and its Grassmannian model

In Pressley-Segal's Loop Groups, we have the following spaces equipped with Kahler structures. Let $G$ be a compact, connected, (simply connected) group with Lie algebra $\mathfrak g$.
Let ...

**6**

votes

**1**answer

204 views

### Is there an analog of compactified moduli spaces(/stacks) for smooth manifolds?

This question has been inspired by an answer to the question Reference request: Topology on the space of smooth compact submanifolds; I've asked it in a comment to that answer but then decided to make ...

**0**

votes

**1**answer

126 views

### Gluing submanifolds along their common boundary

This might be too elementary for this site, but I asked first on math.stackexchange and didn't get an answer even after offering 250 bounty points.
Let $M$ be a smooth $m$-manifold and $N_1$, $N_2$ ...

**4**

votes

**0**answers

89 views

### Connected sum of chiral manifolds

Let $M,N$ be two closed, smooth, orientable manifolds of the same dimension and assume that these manifolds are chiral, i.e. they do not admit an orientation reversing automorphism. Then there are two ...

**1**

vote

**1**answer

131 views

### Sequence of smooth maps converging to the identity [closed]

Let $\{g_{n}:B_{1}(0) \rightarrow \mathbb{R}^{2}\}_{n\in \mathbb{N}}$ be a sequence of smooth maps where $B_{1}(0)=\{x\in \mathbb{R}^{2} \mid |x|<1\}$ is the unit ball in $\mathbb{R}^{2}$. Assume ...

**1**

vote

**0**answers

44 views

### Measurability of eigenelements $s \mapsto (\varphi_k(s), \lambda_k(s))$ of Laplace-Beltrami on $M_s$

For each $s \in [a,b]$, let $M_s$ be a compact Riemannian manifold with no boundary.
Under what conditions on $s \mapsto M_s$ do the eigenvalues and eigenfunctions $(\varphi_k(s), \lambda_k(s))_{k ...

**3**

votes

**2**answers

221 views

### Heat equation and evolution of number of critical points

Let $u_0$ be a smooth function on the unit sphere $S^1$ and assume that $u(t,x)$ is a smooth solution of the heat equation with initial data $u(0,x)=u_0(x)$. How one can apply the maximum principle to ...

**4**

votes

**1**answer

210 views

### Are “Unions” of small exotic $\mathbb{R}^4$'s small?

Suppose $M$ is a smooth 4-manifold, and $U,V \subset M$ are exotic $\mathbb{R}^4$'s, i.e. homeomorphic to standard $\mathbb{R} ^4$.
Further more suppose $U$ an $V$ intersect nicely sucht that $U \cup ...

**-1**

votes

**1**answer

127 views

### cartan killing metric [closed]

I know that we can define the killing form on a lie algebra. However, when going to the group manifold, does this give rise to a metric on the manifold? I thought that would be the case, but I cant ...

**4**

votes

**0**answers

279 views

### A vector space associated with a vector field on a symplectic manifold

Let $(M,\omega)$ be a $2n$ dimensional symplectic manifold and $X$ is a smooth vector field on $M$. Consider the following subvector space of $\chi^{\infty}(M)$: $$S(X)=\{Y\in ...

**1**

vote

**1**answer

82 views

### Existence of a fixed-point free map in a manifold [closed]

I'm having some to proof a question. I have to show that a compact manifold that admits a nowhere vanishing smooth vector field has a smooth map fixed-point free homotopic to the identity map.
I know ...

**4**

votes

**1**answer

444 views

### Elementary Proof of the Uniqueness of Smooth Structures on R

Is there any 'elementary' proof of the uniqueness of smooth structures on $\mathbb{R}$? By elementary, I mean that the proof does not use any sophisticated topological machinery. In particular, I'm ...

**26**

votes

**2**answers

1k views

### Unifying Geometry for Characteristic Classes

When working with characteristic classes (more concretely Chern classes), one finds at least four essentially distinct approaches:
Axiomatic Approach. See, for instance, Vector Bundles and K-Theory, ...

**3**

votes

**1**answer

141 views

### Co-rank of a group with $a^2b^2c^2=1$ (fundamental group of non-orientable surface)

What is the co-rank of a group $$G=\langle a_1,a_2,\dots,a_h\mid a_1^2a_2^2\dots a_h^2=1\rangle,$$ that is, finitely generated group with $h$ generators and one relation?
By co-rank, I mean the ...