**1**

vote

**0**answers

60 views

### coordinate system in AF manifold

we know that an end of $(M,g)$ is asymptotically flat if it is diffeomorphic to the complement of a compact set $K$ in $\mathbb{R}^3$, and the metric tensor $g$ satisfies ...

**3**

votes

**2**answers

225 views

### The group of diffeomorphisms with compact support

Let $M$ be a topological/differentiable manifold. Is there any topology on the group of homeomorphisms/diffeomorphisms with compact support, turning it into a (locally-)compact topological group?
(My ...

**0**

votes

**1**answer

280 views

### How to prove this Weitzenbock formula?

In Hutchings and Taubes lecture note on Seiberg-Witten equation HERE, above equation (4.20) the authors claim that there is a version of Weitzenbock formula reads (where $\beta \in \Omega^{0,2}(M, ...

**0**

votes

**0**answers

42 views

### Special family of Metrics on Transitive Lie Algebroids?

Let $\rho:E\longrightarrow TM$ is a transitive Lie Algebroid, then $L=ker\rho$ is bundle of lie algebras. Suppose $\Gamma:TM\longrightarrow E$ be a linear splitting. Define
$$\nabla_X ...

**1**

vote

**1**answer

94 views

### Which book will discuss torsion tensor and affine connection in detail? [closed]

Which book about differential geometry will have these formula about torsion tensor?
$$\nabla_{j}T^{i}_{kl}+\nabla_{k}T^{i}_{lj}+\nabla_{l}T^{i}_{jk}=R^{i}_{jkl}+R^{i}_{klj}+R^{i}_{ljk}$$
...

**3**

votes

**1**answer

143 views

### Deformation of Hitchin-Simpson correspondence

Let $X$ be a compact Riemann surface, Hitchin-Simpson correspondence over $X$ says that irreducible representations of $\pi_1(X)$ one-to-one correspondend to stable Higgs bundles with vanishing Chern ...

**0**

votes

**0**answers

98 views

### positive eigenfunction on complete Riemannian manifold

Let $(M^n,g)$ be a complete(non-compact) Riemannian manifold. Consider the positive solution to the equation
$$
\Delta u = u
$$
where $\Delta=\nabla_i \nabla_i$ is negative semi-definite. Is there ...

**7**

votes

**2**answers

406 views

### Obtain Lorentzian manifolds from Riemannian ones by Wick rotation

In some cases, Wick rotation of a metric, formally consisting in substituting a coordinate with i times the coordinate itself, allows one to construct a Riemannian manifold starting from a Lorentzian ...

**2**

votes

**0**answers

257 views

### The twisted kiss of the curvaceous cubic and the staid tetrahedron (references)

(Migrated from MSE)
While investigating some operators, I came across some relations between the twisted cubic curve and the tetrahedron that link together some notions in differential geometry, ...

**1**

vote

**0**answers

46 views

### Allen Cahn Equation with Dirichlet Data

consider the 'Allen-Cahn Equations' given by $ \epsilon^2\Delta_g u + u - u^3=0 $ It is known that if $\Gamma$ is a non degenerate minimal surface then there exists a sequence of solutions ...

**1**

vote

**1**answer

369 views

### A multilinear question and its smooth version

Let $E$ and $F$ be two finite dimensional vector spaces. For every $k\in \mathbb{N}$, $E^{k}$ has a natural vector space structure and is isomorphic to $E\otimes \mathbb{R}^{k}$, in a natural way.
...

**1**

vote

**1**answer

102 views

### metric has morse index 2

I am reading Richard Schoen's classical example on the multiplicity of solutions of yamabe problem. He says on $S^1(T)\times S^{n-1}$, there exists a critical number $T_0$ such that if $T\leq T_0$, ...

**5**

votes

**1**answer

364 views

### On bi-invariant metrics on groups

I'm looking for a quick, snap-your-fingers proof of the following result:
A continuous length metric on $\mathbb{R}^n$ that is invariant under translations comes from a norm.
To be clear about ...

**5**

votes

**0**answers

146 views

### Non-trivial isometric embedding of the standard sphere into $\mathbb{R}^n$? [closed]

Let $S$ be the unit sphere in $\mathbb{R}^3$. Is it possible to embed $S$ isometrically into some $\mathbb{R}^n$, $n>3$, such that the image does not lie on any 3-dimensional affine subspace?
More ...

**3**

votes

**1**answer

130 views

### All symplectic manifolds have $Mp^c$-structures?

Let $(M,\omega)$ be a symplectic manifold, and $Mp^c(n)=Mp(n)\times_{\mathbb Z_2}U(1)$ which $Mp(n)$ here is Metaplectic group which is the double cover of symplectic group. I am looking for a ...

**6**

votes

**0**answers

126 views

### Characterize spin cobordism invariants in dimer models

The paper by Cimasoni and Reshetikhin http://arxiv.org/abs/math-ph/0608070 shows that one can map problems about spin structures on a Riemann surface into problems about dimmer configurations on a ...

**2**

votes

**0**answers

171 views

### Generalizing a result of Paul Andi Nagy

I am trying to generalizate a result of Paul Andi Nagy which says that in a almost Kähler manifold with parallel torsion we have $\langle \rho,\Phi-\Psi\rangle $ is a nonnegative number; in fact
$$
...

**0**

votes

**0**answers

72 views

### Comparison of support of a divisor and its class in de Rham cohomology

Let $X$ be a smooth surface over $\mathbb{C}$ and $D$ be an effective divisor. Suppose that the linear system corresponding to $D$ is zero dimensional. Denote by $[D] \in H^2(X,\mathbb{Z})$ the ...

**2**

votes

**0**answers

101 views

### Notions of convexity for the boundary of a Riemannian manifold

Let $(M,g)$ be a compact smooth Riemannian manifold with boundary $\partial M\subset M$.
Question: What does it mean to say that the boundary is convex and strictly convex?
Alternatively: What ...

**2**

votes

**0**answers

185 views

### Existence of diagonalizing coordinates for the metric tensor

Solving for metrics that are Einstein, i.e that satisfy $R_{\mu \nu} = \Lambda g_{\mu \nu}$ is highly non-trivial as soon as $g_{\alpha \beta}$ is allowed to have off-diagonal components. However, ...

**5**

votes

**1**answer

154 views

### How does the kernel of the map $\Omega^{\bullet}(X)\rightarrow \Omega^{\bullet}(G\times X)$ relate to equivariant cohomology?

This question may be trivial for experts. Consider a (compact, connected) smooth manifold $X$ and a (compact connected) Lie group $G$ act on $X$. Then we have the action map
$$
\mu: G\times ...

**15**

votes

**1**answer

590 views

### When is the Gromov--Hausdorff limit of a sequence of manifolds itself a manifold?

Suppose a metric space $X$ is the Gromov--Hausdorff limit of a sequence of Riemannian three-manifolds $M_i$ with Ricci curvature bounded from below and not collapsed. Is $X$ a manifold? What ...

**14**

votes

**3**answers

290 views

### Existence of sections of the evaluation map for the diffeomorphism group

Let $M$ be a closed connected oriented smooth manifold and $\mathrm{Diff}_{+}(M)$ the group of orientation preserving diffeomorphisms of $M$ endowed with the compact-open topology. Pick a base point ...

**5**

votes

**3**answers

474 views

### Non-continuous differentiability for differential forms

Generally when working with differential forms, one assumes that they are continuously differentiable, i.e. $C^r$ for some $1\le r \le \infty$. Under this hypothesis, one can define the exterior ...

**2**

votes

**0**answers

114 views

### A question on Hilbert geometries as metric-measure spaces

Recall that a Hilbert geometry is the interior of a convex body $K \subset \mathbb{R}^n$ provided with the metric
$$
d(x,y) = \frac{1}{2} \ln\left(\frac{|x-b|}{|y-b|}\frac{|y-a|}{|x-a|}\right) ,
$$
...

**1**

vote

**1**answer

142 views

### Relation between volume of reduced space and phase space

Let $G$ ba a compat Lie group and $\frak g$ be its Lie algebra, then by Marsden-Weinstein reduction theory we know that if $J:M\to \frak g^*$ be its equivariant moment map then the reduced space is ...

**4**

votes

**1**answer

369 views

### A question about Marsden-Weinstein reduction theory

Let $G$ ba a compat Lie group and $\frak g$ be its Lie algebra, then by Marsden-Weinstein reduction theory we know that if we take $M=T^*G$ and $J:M\to \frak g^*$ be its moment map then the reduced ...

**1**

vote

**1**answer

202 views

### A special type of transitivity

Let $M$ be a smooth orientable manifold with volume form $\Omega$. Fix two pints $x,y \in M$. Put $A$=all volume preserving diffeomorphism of M which maps $x$ to $y$.
Define $B$=All linear volume ...

**1**

vote

**1**answer

113 views

### Vertices of Curves and Eigenvectors of Hessian

This might be a trivial question, but I can't seem to figure it out. Suppose I have an implicitly defined curve in the plane given by $f(x,y) = t$.
This curve is strictly convex, and feel free to ...

**1**

vote

**0**answers

48 views

### Groups of equi-quasi-isometric diffeomorphisms of a Riemannian surface of bounded geometry

Let $M$ be an open Riemannian surface of bounded geometry. Let $\Gamma$ be a group of diffeomorphisms of $M$. Suppose that $\Gamma$ is equi-quasi-isometric; i.e., its elements are (differentiable) ...

**1**

vote

**0**answers

99 views

### infranilmanifolds: harmonic forms parallel?

I am studying Lott's paper : "On the spectrum of a finite volume negatively-curved manifold" and the satement is following:
We have an compact infranilmanifold $N$ which is finitely covered by a ...

**3**

votes

**1**answer

275 views

### Does the cohomology after Dehn surgery depend only on the original 3-manifold or also how the knot is situated?

For $f:S^1\to M$ a knot in a 3-manifold, we can construct a 3-manifold $N$ by a $0/1$-type Dehn surgery along $f$:
First remove from $M$ a solid torus which is a tubular neighbourhood of the knot ...

**3**

votes

**1**answer

243 views

### Derivation of yamabe flow

I am reading papers about yamabe flow. I have a problem about how people derive it as a gradient flow.
Suppose we have $(M,g_0)$, $g(t)=u^{\frac{4}{n-2}}(t)g_0$ is another conformal metric. Let ...

**2**

votes

**2**answers

199 views

### vector field on a curve as projection of a constant vector field on an embedding space

Suppose a tangent vector field is given on a planar curve and one asks the following question: What is the condition on this tangent vector field that it comes from the ordinary Euclidean projection ...

**1**

vote

**0**answers

46 views

### Question about embeddings of connected sum of manifolds [duplicate]

If $M_j,j=1,2$are smooth manifolds and we have two embeddings $i_j:M_j\to\mathbf{R}^k(j=1,2)$(with $k$ fixed). How can we construct a embedding of the connected sum $M_1\sharp M_2$ into ...

**3**

votes

**0**answers

85 views

### Proof of Lemma in “Harmonic maps and the self-duality equations” by Donaldson

I am referring to this paper by S. K. Donaldson. I could not find a freely available version, hence I feel uncomfortable to copy & paste parts of his paper, and won't do so. Nevertheless, I will ...

**3**

votes

**1**answer

164 views

### Equivalent definitions of Calabi-Yau manifolds [closed]

How do we prove that a compact Kahler manifold whose 1st Chern class vanishes admits a globally defined nowhere vanishing volume form? Thanks.

**4**

votes

**0**answers

95 views

### Concrete almost-complex structures on $3 \#CP^2$

The connect sum $X:=CP^2\# CP^2 \# CP^2$ supposedly supports almost-complex structures, i.e. endomorphisms $J$ of the tangent bundle such that $J^2=-id$. The existence of these almost-complex ...

**2**

votes

**0**answers

91 views

### Riemannian metric on complexification of Lie group

Let $G$ be a compact linear group and $G^c$ be its complexification. Then there is a diffeomorphism $f: G^c \to G \times Lie(G) $ given by $$ x e^{iA} \to (x,A).$$
Let $h$ be the pull back metric of ...

**0**

votes

**1**answer

79 views

### Decomposing connections on extensions of the frame bundle

I have posted this question on math.stackexchange, without success. I'll make it brief:
Let $E\rightarrow M$ be an orientable vector bundle of rank n equipped with some Riemannian metric, ...

**8**

votes

**2**answers

270 views

### A Scalar Curvature Computation in Brendle Marques Neves' Min-Oo Conjecture paper

I'm reading a paper on the Min-Oo Conjecture (http://arxiv.org/abs/1004.3088), and I'm stuck on the following step in a proposition:
Given a metric $g_0(t)$ on the upper hemisphere $\mathbb{S}^n_+$, ...

**0**

votes

**0**answers

79 views

### How to define the distributional Hessian for a convex function on a $C^0$ Riemannian manifold?

M is a $C^1$ manifold with a $C^0$ Riemannian metric, f is a convex function on M. How to define a functional on M which can represent $Hessf$?
For example: for $\Delta f$ we can define the ...

**3**

votes

**0**answers

146 views

### smoothing a current

Let $M$ be a smooth oriented manifold of dimension $n$ and $T$ a current of dimension $k$ on $M$. Let $\phi:P\times M \to M$ be a proper smooth family of diffeomorphisms of $M$ (i.e. $P$ is a smooth ...

**0**

votes

**2**answers

138 views

### lift of Riemannian metric to branched double cover

Let $\hat{M}$ be a branched double cover of $M$. Is there a way to lift a Riemannian metric $g$ on $M$ to get a smooth Riemannian metric $\hat{g}$ on $\hat{M}$. Moreover, if $g$ has nonnegative ...

**0**

votes

**1**answer

127 views

### extension of Riemannian metric on real affine variety

Given a Riemannian metric $g$ on the real part $X_R$ of a real affine variety $X$,
is there a "natural" way to extend $g$ to be a Riemannian metric on $X$?

**5**

votes

**1**answer

165 views

### Question about conjugate points

If there exist two geodesics from $p$ to $q$ that are not only different from each other but also infinitesimally close to each other, then it implies that $q$ is conjugate to $p$.
Can anyone give an ...

**2**

votes

**1**answer

191 views

### If there exists a nontrivial vector field $V$ such that $\nabla_{X}V=0$ for any vector field $X$, the manifold must be flat?

If there exists a nontrivial vector field $V\not=0$ in Riemannian manifold $M$ and an open set $U\subset M$ such that $\nabla_{X}V=0$ in $U$ for any vector field $X$ in $M$, then dose $U$ have to be ...

**1**

vote

**1**answer

91 views

### Factor of 2 In the Definition of Metric Contact Structure

In Blair's book and many many literatures, I see definition of a contact metric manifold which involves a relation
\begin{equation}
d\kappa \left( {X,Y} \right) = g\left( {X,\Phi Y} \right)
...

**5**

votes

**2**answers

182 views

### When distance nonincreasing map is an isometry

Let $f: M \to M$ be a distance nonincreasing map between a closed Riemannian manifold $M$
and $f$ is homotopic to the idendity map. Is it then $f$ an isometry?

**6**

votes

**1**answer

212 views

### Quotienting $SU(3)$ by $U(1)$?

As is well-known, if we quotient $SU(2)$ by the action of $U_1$, embedded in the diagonal as $(e^{i \theta}, e^{-i \theta})$, we get the $2$-sphere. As is also well-known, if we quotient $SU(3)$ on ...