**4**

votes

**1**answer

139 views

### Distance comparison in submanifold versus in the underlying manifold

Let $(M,g)$ be the (underlying) manifold, $(S,g|)$ be a submanifold. Let $a,b,c \in S$. It's not in general true that $d_M(a,b)\leq d_M(a,c) \implies d_S(a,b)\leq d_S(a,c)$.
QUESTION I:
The above ...

**6**

votes

**0**answers

91 views

### $H(M)$ necessarily highly non-integrable, i.e. forms contact structure?

Let$$M^{2n - 1} = \{z \in \textbf{C}^n : \textbf{h}(\textbf{z}, \textbf{z}) \equiv \textbf{z} \cdot \overline{\textbf{z}} = \textbf{1}\}$$be the unit sphere in $\textbf{C}^n$. Consider the real-...

**5**

votes

**0**answers

88 views

### Spectra of Dirac operators

1. Suppose that $M$ is a spin manifold. The spin structure of $M$ is not uniquely defined: in other words, $M$ may have many
nonequivalent spin structures. For each choice of spin structure there is ...

**0**

votes

**1**answer

82 views

### When are the minimizing geodesics of a totally geodesic submanifold also minimizing in the underlying manifold? [duplicate]

Also asked here: http://math.stackexchange.com/questions/1725787/when-are-the-minimizing-geodesics-of-a-totally-geodesic-submanifold-also-minimiz
A reference on totally geodesic submanifold (TGS):
...

**1**

vote

**1**answer

109 views

### Riemannian metric on a level set of a smooth function on a manifold

Also asked here: http://math.stackexchange.com/questions/1725491/riemannian-metric-on-a-level-set-of-a-smooth-function-on-a-manifold
Let $(M,g)$ be a finite or infinite dimensional Riemannian ...

**4**

votes

**1**answer

80 views

### Locally nilpotent algebraic section of tangent bundle is complete?

Suppose $X$ is a smooth affine algebraic variety over $\mathbb{C}$ and let $V$ be an algebraic vector field (i.e. an algebraic section of the tangent bundle). If $V$ is locally nilpotent, meaning that ...

**11**

votes

**1**answer

391 views

### Differential geometric interpretation of cohomology

I'm not sure whether this is an appropriate question for this forum. I'm afraid that this is not a research level question however:
1. It's about reference request therefore the answer does not ...

**2**

votes

**1**answer

122 views

### Local form of Dirac operator

I have the following question.
Provided that $E\to M$ is vector bundle and that a Clifford module $Cl(T^*M)$ acts on $\Gamma(E)$ via Clifford multiplication $c$, the Dirac operator of this Clifford ...

**4**

votes

**1**answer

171 views

### Difference between the Laplacian and the sub-Laplacian of a Lie group

Given a Lie group $G$, what is the difference between the Laplacian $\Delta$ and the sub-Laplacian $\Delta_{sub}$ of $G$. And what are the properties that we lose when going from sub-Laplace to ...

**0**

votes

**1**answer

65 views

### Douglass integral and harmonic maps

Let $F$ be the family $f:U\to R^3$ of smooth mappings of the unit disk onto $R^3$ mapping the boundary $T$ onto a smooth Jordan curve $\Gamma\subset R^3$. Form the energy integral $$E[f]=\int_U \|f_x\|...

**21**

votes

**1**answer

318 views

### Is the normal bundle of a torus trivial?

Question:
Let $T^k \subseteq \mathbb{R}^n$, $ n > k$, be a smoothly embedded $k$-torus. Is its normal bundle trivial?
What about the normal bundle of $S^k \subseteq \mathbb{R}^n$, $n > k$, the $...

**1**

vote

**1**answer

81 views

### Property of Lie algebroid morphism: $\#_B\circ \Phi=d\phi\circ \#_A$?

Let $A\longrightarrow M$ and $B\longrightarrow N$ be Lie algebroids with anchors $\#_A$ and $\#_B$, respectively.
A morphism of Lie algebroids is a morphism of vector bundles $\Phi:A\longrightarrow ...

**7**

votes

**0**answers

251 views

### Can any smooth triangulation of a smooth manifold be blurred?

For the purposes of this question, let's say that a blurring
of a smooth triangulation $T$ of a smooth manifold $X$
is a smooth homotopy $h\colon [0,1] \times X \to X$ such that $h_0=\operatorname{id}...

**2**

votes

**1**answer

261 views

### Existence of non-constant solutions for this equations

This question is related to this question: "Solutions of equations characterizing a complex structure." Where, here we suppose the Euclidean space instead of Sphere and the following equations happen ...

**16**

votes

**1**answer

419 views

### Just how close can two manifolds be in the Gromov-Hausdorff distance?

Suppose that we have two compact Riemannian manifolds $(M,g)$ and $(N,h)$. Define the Gromov-Hausdorff distance between them in your favorite way, I'll use the infimum of all $\epsilon$ such that ...

**6**

votes

**2**answers

172 views

### Criterion for deciding the conformal class of a metric on a complete surface

For orientable closed Riemannian surfaces $(S,g)$, there is a constant curvature metric $\overline{g}$ on $S$ that is conformal to $g$ in the sense that $\overline{g} = e^ug$ for some smooth function $...

**4**

votes

**1**answer

271 views

### On the complexification of a Riemannian manifold

Let $(M,g)$ be a Riemannian manifold and $TM$ be its tangent bundle. If we suppose $TM\otimes\mathbb{C}$ is the complexification of $TM$ then how can we define a natural metric on the complex bundle $...

**10**

votes

**1**answer

285 views

### A symmetric embedding of manifolds

Assume that $M$ is a manifold.
Is there an embedding of $M$ in some $\mathbb{R}^{n}$ such that the image of $M$ in $\mathbb{R}^{n}$ is invariant under each reflection $(x_{1},x_{2},\ldots x_{i},\...

**1**

vote

**0**answers

39 views

### Continuity of Busemann-Hausdorff area density

I am trying to find out why the Busemann-Hausdorff area density as defined by Burago and Ivanov is continuous. Here, $GC_m(V)\subset \Lambda^m(V)$ denotes the simple $m$-vectors in an $n$-dimensional ...

**0**

votes

**0**answers

154 views

### About the homotopy type of diffeomorphism groups

In this paper by Antonelli, Burghelea and Kahn (Topology, 1972), a homomorphism $L :\pi_i(\operatorname{Diff}(S^n, D_+^{n})) \rightarrow \Gamma^{n+i+1}$ was used as a tool to detect non-triviality of ...

**0**

votes

**0**answers

63 views

### Integral of gradient between level sets of Lipschitz functions

Start with a compact metric measure space $(X,d)$, with a doubling measure $\mu$ and a local regular Dirichlet form $\mathcal E$ that supports a Poincare inequality. $d$ can be taken to be the ...

**13**

votes

**2**answers

305 views

### Classification of $O(2)$-bundles in terms of characteristic classes

I had asked this question in stackexchange but there seems to be no consensus in the answer
It is well-known that $SO(2)$-principal bundles over a manifold $M$ are topologically characterized by ...

**2**

votes

**2**answers

136 views

### Finding a specific Global Smooth Function

Any help with this problem would be appreciated. Thanks
Suppose $(M^3,g)$ is a smooth compact Riemannian manifold with smooth boundary and $\gamma$ is a simple smooth orientable curve in $M$. Does ...

**0**

votes

**1**answer

101 views

### Variation of normals along loops

I've constructed a quotient space $M/\sim$ in $\mathbb{R}^d$ that must be a $2$-manifold. If $M/ \sim$ is a sphere then I know that its normal spaces must vary at least 90 degrees. That is $M / \sim$ ...

**4**

votes

**1**answer

73 views

### Orientability of orbit type strata of Lie group actions

Let $G$ be a compact Lie group that acts on a smooth, finite dimensional, oriented manifold $M$, and suppose that such action preserves orientation, i.e., for each $g\in G$, the diffeomorphism $\mu_g$ ...

**3**

votes

**1**answer

179 views

### The space of homotopy classes of maps of products of spheres

Proposition 17.6.1 of "Differential form in Algebraic Topology" by Bott and Tu proves the following beautiful result:
$[S^{q}, X]\simeq \frac{\pi_{q}(X,x)}{\pi_{1}(X,x)}$
where $S^{q}$ is the $q$-...

**1**

vote

**0**answers

82 views

### Tightening a loop

Consider two $d$-dimensional convex polytopes $c_1, c_2$ that share a $(d-1)$-dimensional face $f$. Let $M$ be a surface ($2$-manifold) that intersects each of $c_1$ and $c_2$ in a $2$-ball. Suppose ...

**3**

votes

**1**answer

119 views

### When is the semidirect product of principal fiber bundles a fiber bundle

Let $P_{H}$ be a principal bundle over a manifold $M$ with fiber the Lie group $H$ and let $P_{G}$ be a principal bundle with fiber the Lie group $G$ over the same manifold $M$. Let $h_{ab}\colon U_{...

**1**

vote

**0**answers

112 views

### Equation of the form $\overline{\partial}_{J}f=g$ made holomorphic

In section 2.6 of the book "Holomorphic curves in symplectic geometry" by Audin and Lafontaine there is explained when one can transform a perturbed holomorphic curve in a holomorphic curve. I tried ...

**2**

votes

**1**answer

72 views

### Reference for Bonnet Fundamental theorem of surfaces in Lorentzian spaces

I am looking for a reference for the following folklore theorem, which is the Lorentzian analogue of the Bonnet fundamental theorem of surface in Euclidean space, hyperbolic space or $3$d sphere.
...

**1**

vote

**0**answers

80 views

### Pushforward for differentiable stacks/ Lie groupoids

Let $X$ be a differentiable stacks, and let $(G_{0}, G_{1}, s,t)$ be a Lie groupoid representing $X$. Let $NG_{\bullet}$ be the nerve of the above groupoid. The De rham complex of $X$ can be defined ...

**2**

votes

**0**answers

108 views

### Generalized Isotropic almost complex structures

Let $(M,g)$ be a Riemannian manifold, $TM$ it's tangent bundle, $\mathcal{H}TM$ be the horizontal sub-space of $TTM$ with respect to $g$, $\mathcal{V}TM$ be the vertical sub-space of $TTM$ and $K$ be ...

**1**

vote

**1**answer

76 views

### Triviality of a circle fibration induced by an almost complex structure

Let $E→M$ be a plane bundle endowed with an almost complex structure $J.$
$J$ induces a natural positive definite inner product in the associated bundle $End(E)→M$,denoted by $<,>$. More ...

**4**

votes

**0**answers

239 views

### Narasimhan-Simha Hermitian metric vs Weil-Petersson metric

What is relation between Weil-Petersson metric on holomorphic fibre space $f:X\to Y$ of compact complex manifolds $X,Y$ . (let fibres are Calabi-Yau manifolds)
And Ricci curvature of Narasimhan-Simha ...

**3**

votes

**0**answers

118 views

### Distance to the level sets of an almost linear function

While reading about the almost-splitting theorem of Cheeger and Colding, I thought about the following question, which asks about wether the level sets of a function which is close to being a linear ...

**2**

votes

**0**answers

122 views

### The minimum value of a energy integral

Let $D \subset {\mathbb{R}^3}$ a simple connected open domain with volume $\int_{\bar D} {dV = 1} $. $\varphi :{\mathbb{R}^3} \to \mathbb{R}$ is ${C^1}$, $\varphi (\infty ) = 0
$ and
$${\nabla ^2}\...

**0**

votes

**0**answers

46 views

### Foliation by Umbilic Surfaces

Suppose $(M,g)$ is a simply connected 3 dimensional Riemannian Manifold which is a foliation by Umbilic surfaces.
Can I make the claim that there exists a coordinate system $(x_1,x_2,x_3)$ in which ...

**9**

votes

**2**answers

502 views

### Do smooth manifolds admit linear atlases? [duplicate]

There is a theorem of Whitney showing that a smooth manifold can be endowed with a compatible real-analytic atlas (later, it was proven that this analytic structure is essentially unique).
I am ...

**-1**

votes

**1**answer

114 views

### Parallel transport on simplicial manifold? [closed]

Do you know some reference about the notion of parallel transport for simplicial manifolds?

**2**

votes

**0**answers

61 views

### Singularities of Families of Differential Equations

Suppose you are given a family of differential equations with rational coefficients: $\partial_x^ny+a_1(x,x_1,\dots,x_m)\partial_x^{n-1}y+\dots+a_n(x,x_1,\dots, x_m)y=0$. At each point $X=(x_1,\dots, ...

**2**

votes

**0**answers

36 views

### Largest disk inside a spherical domain

It is known (Pestov-Ionin theorem) that if $k_{max}$ is the maximum curvature of a smooth planar loop $\gamma$, then there is a disk of radius $1/k_{max}$ inside $\gamma$. I wonder is there any ...

**1**

vote

**0**answers

54 views

### Momentum Map on cotangentbundle as submersion

Let $N$ be a homogeneous space. Therefore we find a Liegroup $G$ and a isotropy-subgroup $K$ of $G$, such that we can identify $N = G/K$. Then we have a canonical action $l\colon G \times G/K \to G/K$ ...

**3**

votes

**0**answers

72 views

### How to visualize the dual objects of jets of functions?

I work with a smooth $f: M \to \Bbb C$ and I would like to have an object mimicking the concept of "$k$-th order differential" from multivariate calculus. For various reasons that are not important ...

**-3**

votes

**1**answer

251 views

### Well-known name for a certain connection

Have $X \subset \mathbb{R}^3$ be a smoothly embedded surface. Then we try to define a connection on the tangent bundle $TX$ as follows. The tangent space $T\mathbb{R}^3$ is naturally a trivial $\...

**4**

votes

**0**answers

142 views

### Questions on Thurston's metric on Teichmüller space

I'm reading the famous "Minimal stretch maps between hyperbolic surfaces" by William Thurston and I'm trying to understand the key theorem 8.1. I have many unclear points so I hope someone can help me ...

**1**

vote

**1**answer

147 views

### Applying Cheeger and Colding segment inequality

The question turns out quite long and maybe a bit vague, I apologize in advance for that.
I am currently trying to understand Cheeger and Colding proof of the almost splitting theorem. Currently I ...

**3**

votes

**0**answers

49 views

### Prescribed curvature problem of a connection beyond the real analytic category for $SL(3,R)$ bundles?

With reference to the questions Does the Riemann-Christoffel curvature determine the connection? and When is a given matrix of two forms a curvature form?, and recalling the following important result ...

**2**

votes

**1**answer

195 views

### Tangent bundle of a homogeneous space and the euler exact sequence

Let $H \subset G$ be a closed subgroup of a lie group and $G/H$ the homogeneous coset space. There's an exact sequence of adjoint representations of $H$:
$$0 \to \mathfrak{h} \to \mathfrak{g} \to \...

**8**

votes

**1**answer

148 views

### Convex body with affine-equivalent cross-sections

I recently discovered the following fact: Let $K\subset\mathbb R^3$ be an origin-symmetric convex body with smooth and strictly convex boundary. Suppose that all central cross-sections of $K$ (that is,...

**2**

votes

**0**answers

117 views

### does there exist a generalization of a manifold [closed]

Does there exist a generalization of a manifold whereby instead of being locally $\mathbb{R}^n$, it's locally another specified space?