Complex, contact, Riemannian, pseudo-Riemannian and Finsler geometry, relativity, gauge theory, global analysis.

learn more… | top users | synonyms (1)

1
vote
0answers
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
2answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
3answers
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
3answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
2answers
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
0answers
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
0answers
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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 ...