# Tagged Questions

**7**

votes

**0**answers

78 views

### Closed geodesics avoiding points in hyperbolic surfaces

Let $\Sigma$ be a closed hyperbolic surface. Is it true that for any finite collection of points $x_1,\ldots,x_n\in\Sigma$ there exists a closed geodesic $\gamma$ containing none of them?
Remark: It ...

**5**

votes

**0**answers

105 views

### Have heat kernels for generalized Laplacians on non-compact manifolds been constructed?

Let $M$ be a non-compact Riemannian manifold which is "nice enough", and $D$ a generalized Laplacian on it. The construction of the heat kernel for the Laplace-Beltrami operator on $M$ seems to be ...

**2**

votes

**0**answers

75 views

### Besse p134 Riemann tensor in dimension 4

Does someone have a reference for the proof of 4.72 page 134 of Einstein Manifolds? It is said that
$$\check{R}-\vert R\vert^2g/4=S/3 (Ric-S/4) +2\mathring{W}(Ric -S/4) $$
because we are in dimension ...

**5**

votes

**2**answers

196 views

### Geodesics and Riemannian submersions

Let $X,Y$ be Riemannian manifolds, and $f\colon X\to Y$ be a Riemannian submersion.
Let $\gamma$ be a geodesic on $X$ starting at a point $x\in X$ and which is orthogonal to the fiber $f^{-1}(f(x))$.
...

**7**

votes

**1**answer

149 views

### A question on the twistor space of a manifold

Let $M$ be either (a) self-dual conformal 4-manifold, or (b) hypercomplex $4n$-manifold.
In either case one can construct the twistor space $Z$ (in the case (b) $Z=\mathbb{C}\mathbb{P}^1\times M$ as a ...

**0**

votes

**0**answers

97 views

### Coordinate charts on converging Riemann surfaces

Let $S$ be a $2-$dim manifold and $q \in S$. Furthermore, let $j_{n}$ be a sequence of complex structures on $S$ converging in $C^{\infty}_{\text{loc}}$ to a complex structure $j$ on $S$ as ...

**10**

votes

**0**answers

86 views

### Canonical Immersion of the Double Torus

It is easy to check that the immersion $\mathbb{T}^2=\mathbb{S}^1\times \mathbb{S}^1\longrightarrow\mathbb{R}^4$, $(\alpha,\beta)\longmapsto(\cos\alpha,\sin\alpha,\cos\beta,\sin\beta)$ induces the ...

**1**

vote

**0**answers

113 views

+50

### The geometry of the holomorph of a Lie group

Every Lie group $G$ is naturally contained in its holomorph Hol($G$) = $G \rtimes $ Aut($G$)
Is Hol$(G)$ always a Lie group?
If the answer is yes our main questions:
1.For a left ...

**2**

votes

**1**answer

80 views

### Parallel transport on a Hadamard manifold

Suppose, $X$ is a Hadamard manifold, i.e., a simply connected manifold of non-positive sectional curvature. Fix a point $w$ in $X$. Consider any three points $x, y, z$ in $X$. Let $\tau_{x, w}$ and ...

**3**

votes

**1**answer

81 views

### Certain construction of the Itô integral on manifolds

Let $M$ be a compact Riemannian manifold and let $X \in \mathfrak{X}(\mathbb{R}\times M)$ be a time-dependent vector field on $M$. I want to construct the Itô integral
$$ I(X) = \int_0^T \langle X(t, ...

**1**

vote

**1**answer

337 views

### Compact riemannian manifolds with boundary that have infinite volume?

I am looking for references in the literature pertaining to (essentially riemannian) metric spaces that are compact of infinite volume, such in the following example. Consider a riemannian metric on ...

**14**

votes

**2**answers

572 views

### Exact Definition of Dirac Operator

Many definitions of the Dirac operator in the tradition of the Physics literature are hard to grasp for a mathematician. I would like to ask for a precise, general, definition of the Dirac operator ...

**1**

vote

**1**answer

86 views

### Isotopy of positively curved surfaces of revolution in $\mathbb{R}^3$

Consider a surface of revolution of positive curvature. My question is, what are the surfaces (with boundary) in $\mathbb{R}^3$ which are isotopic to the surface of revolution, provided each member of ...

**1**

vote

**2**answers

63 views

### Reference request: minimal (maximal) Lorentzian surfaces in $\mathbb{R}^{1,2}$

Let $R^{1,2}$ be the Minkowski 3-space, I would like to know any references about minimal (maximal) orientable Lorentzian surfaces in $\mathbb{R}^{1,2}$, including examples and maybe general theories, ...

**1**

vote

**1**answer

144 views

### Compact surfaces with boundary of constant negative curvature

Consider a surface (with boundary) diffeomorphic to $S^1 \times [0, 1]$ and with constant negative curvature, sitting inside $\mathbb{R}^3$. All the examples I know of such surfaces are "part of" (or ...

**4**

votes

**1**answer

122 views

### Commutative spectral triples

The corresponence between compact Hausdorff topological spaces and commutative unital $C^*$-algebras is rather well known: Gelfand Najmark theorem gives perfect correspondence between these ...

**0**

votes

**1**answer

148 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

**0**answers

75 views

### Isometries of Compact Semisimple Lie Groups

In this delightful question, the poster mentioned that the isometry group of a compact Lie group $G$, equipped with the metric from the Killing form, is $G\times G/Z(G)$, where $Z(G)$ is the center of ...

**3**

votes

**0**answers

93 views

### Bounded functions dense in Sobolev Spaces

Let $M$ be a complete Riemannian manifold. Is it always true that the subspace $C^2_b(M)\cap W^{2,p}(M)$ is dense in $W^{2, p}(M)$, where $C^2_b(M)$ denotes the space of functions that are uniformly ...

**4**

votes

**2**answers

310 views

### Distance function to a submanifold

Let $M$ be a compact Riemannian manifold and $\Sigma\subset M$ a closed submanifold. Given $x\in M$ we define the distance function to $\Sigma$ by $$d_\Sigma(x):=\inf\{d(x,y):y\in \Sigma\},$$ where ...

**6**

votes

**2**answers

394 views

### Do geodesics in SL2R map to geodesics in the hyperbolic plane?

I am looking for a reference/proof/disproof of the following statement.
Equip the Lie group $SL_2(\mathbb{R})$ with the left-invariant Riemannian metric, whichis given on the Lie algebra by $\langle ...

**0**

votes

**0**answers

98 views

### A consequenc of a Lie group act on a Riemannian manifold by isometry

I am learning differential geometry for using this topic in my research. I am stuck to prove following Result which I got in a article.
Formulation:
Let $ f: [0, 1]\rightarrow \mathbb{R}^2$ be a ...

**2**

votes

**2**answers

111 views

### Dilatation of surface diffeomorphisms

Let $S$ be a higher genus surface, let $f\colon S\to S$ be a diffeomorphism and let $f_*\colon H_1(M)\to H_1(M)$ be the induced homology automorphism.
Define dilatation of $f_*$ as the largest ...

**3**

votes

**1**answer

76 views

### Classification of spherical polygons

I need some sort of classification (up to isometry) of spherical polygons (i.e. polygons in $\mathbb{S}^2$ whose edges are given by geodesics) subject to the interior angles and the perimeter of the ...

**1**

vote

**0**answers

98 views

### Continuous family of constant scalar curvature metrics

The question is as follows: Does there exist an example of a (continuous) family of metrics $g_t$ on a compact manifold such that the following properties hold?
All metrics $g_t$ have constant ...

**2**

votes

**1**answer

100 views

### Is the on-diagonal heat kernel “local” with respect to the metric?

Question
Let $X$ be a manifold, and $\mu_A$, $\mu_B$ two Riemannian metric on it which agree on an open subset $U\subset X$, i.e. $\mu_{A\,|U} = \mu_{B\,|U}$. Let $K_A(t;z,w)$ resp. $K_B(t;z,w)$ be ...

**0**

votes

**2**answers

133 views

### Frobenius condition

Suppose X and Y are two unit length vector fields on a Riemannian manifold which are orthogonal at each point. Is it true that the lie bracket of X, Y belongs to the span of the vector fields at each ...

**0**

votes

**1**answer

91 views

### Complex transport equation

Consider an n dimensional Riemannian manifold with boundary.
Let $\Phi$ be a complex valued smooth function defined in M. Does there exist a NONE VANISHING complex valued function $u$ that solves the ...

**1**

vote

**1**answer

165 views

### Sectional curvature as a Hamiltonian on the Grassmanization of the tangent bundle

Edit: According to the comments to the previous version of this question, I remove my essential errors in the question. I thank the commenters very much.
Let $M$ be a n dimensional manifold. ...

**0**

votes

**0**answers

88 views

### Evolution of local oscillation of scalar curvature under Ricci flow

I apologize in advance if the question will turn out to have an obvious answer but my knowledge of Ricci flow is quite limited. Let $(M,g)$ be a smooth compact Riemannian manifold. I denote by $d_{g}$ ...

**12**

votes

**4**answers

563 views

### Green's operator of elliptic differential operator

Let $P:\Gamma(E)\rightarrow\Gamma(F)$ be an elliptic partial differential operator, with index $=0$ and closed image of codimension $=1$, between spaces $\Gamma(E)$ and $\Gamma(F)$ of smooth sections ...

**3**

votes

**1**answer

107 views

### Surfaces with specific types of second fundamental form

Given a three dimensional Riemannian manifold $(M,g)$ and a surface $\Sigma \subset M$ can one categorize surfaces where the second fundamental form of $\Sigma$ is a scalar multiple of the induced ...

**4**

votes

**1**answer

101 views

### New setting for tensor definition

This is the standard definition for a tensor in a smooth manifold (Nakahara, for example):
But while reading Salamon's Riemannian Geometry and Holonomy Groups I have found this rather different ...

**5**

votes

**1**answer

85 views

### metric on ${\bf SPD}_n({\mathbb R})$

The cone ${\bf SPD}_n({\mathbb R})$ of symmetric positive definite matrices is endowed with a nice geometrical structure. The midpoint of the (unique) geodesic between $A$ and $B$ is the so-called ...

**9**

votes

**1**answer

707 views

### Formula for the Perimeter of a spherical triangle?

Consider the ordinary sphere $\mathbb{S}^2\subset \mathbb{R}^3$ and a spherical triangle $T\subset \mathbb{S}^2.$ I'm looking for a formula from which the perimeter $P$ of $T$ is "computable" given ...

**5**

votes

**2**answers

237 views

### Poincare-like inequality on compact Riemannian manifolds

I am looking for a Poincare Inequality on balls but instead of euclidean space, I have a compact Riemannian manifold without boundary. The inequality I am looking for is the equivalent of
$$ ...

**4**

votes

**1**answer

113 views

### Minimal surfaces + Semi-Geodesic Coordinates

Let $(M,g)$ be a three dimensional smooth Riemannian manifold and suppose that $\Gamma$ is an embedded minimal surface in $M$. Define the Fermi or semigeodesic coordinates around this surface through ...

**3**

votes

**2**answers

196 views

### Isothermal-related functions in higher dimensions

I am interested in getting some geometrical or analytical perspective in studing the following complex pde. I would appreciate any help.
Consider $ (M,g)$ to be a 3 dimensional Riemannian manifold ...

**2**

votes

**0**answers

56 views

### Obstructions for existence of a Riemannian metric such that a given function is harmonic

Let $f:\mathbb{R}^{n}\to \mathbb{R}$ be a smooth function. What type of obstructions exist for existence of a Riemannian metric $g$ on $\mathbb{R}^{n}$ such that $f$ is a harmonic ...

**1**

vote

**2**answers

156 views

### Handle body of 3-manifold with boundary

We know from Morse theory that smooth manifold(with or without boundary) is a handlebody.
However, I found a paper "Three-dimensional manifolds with boundary of nonnegative Ricci curvature" by Ananov, ...

**0**

votes

**2**answers

174 views

### Frobenius Condition for a specific first order pde

I would appreciate it if Someone would be kind enough to share some insights about the following question:
Suppose $(M,g)$ is a 3 dimensional Riemannian manifold. Consider the following system of ...

**5**

votes

**1**answer

131 views

### Averaging maps of Riemannian manifolds

Let $M$ be a compact Riemannian manifold. We know how to average functions $f\colon M\to {\mathbb R}$; the integral $\frac{\int_M f}{\int_M 1}$ returns a value in ${\mathbb R}$. If intead $f\colon ...

**7**

votes

**0**answers

174 views

### Flat manifolds and irreducible representations

Let $M$ be a compact Riemannian manifold with vanishing curvature of Levi-Civita connection. Such manifolds were classified by Bieberbach; sometimes they are called Bieberbach manifolds. According to ...

**8**

votes

**1**answer

657 views

### How large can you draw an island on a map?

A cartographer friend asked me this question: could you classify (shapes of) islands by how much space they occupy on a map (comparatively to how much space is occupied by water) if you draw them as ...

**3**

votes

**1**answer

161 views

### Relationship between Laplacian and Hessian on compact Lie groups

If $f: \mathbb{R}^n \rightarrow \mathbb{R}$ is smooth and compactly supported, one has
$$\int |\Delta f(\mathbf{x})|^2\,d\mathbf{x} = \int \| Hf(\mathbf{x}) \|_F^2\,d\mathbf{x}\,,$$
where $\Delta$ ...

**4**

votes

**0**answers

49 views

### Bi-Lipschitz classification of germs of conformal metrics at a singularity

First let me introduce some definitions.
By a germ of conformal metrics at a singularity, or simply a germ, I mean a conformal Riemannian metric $g$ defined on a punctured neighborhood $U$ of $0$ in ...

**2**

votes

**1**answer

154 views

### Divergence invariant lifting of a vector field via a submersion

What is an example of a smooth submersion $P:S^{3}\to S^{2}$ for which the following statment is Not true:
For every vector field $X$ on $S^{2}$ there is a non vanishing vector field ...

**3**

votes

**1**answer

123 views

### Gaussian Curvature of Exponentiated 2-Planes

Consider a Riemannian manifold $M$ with sectional curvatures $K\ge 0$ and let $\Pi$ be a 2-plane in the tangent space of $M$ at a point $p$. In a small enough neighborhood $U$ of 0 the exponential map ...

**0**

votes

**1**answer

131 views

### Green's function and eigenvalues with multiplicity

Green's function of a differential operator contains a lot of information of that operator. In particular, if we have a differential operator on a compact manifold with discrete spectrum, then Green's ...

**28**

votes

**6**answers

2k views

### Synthetic vs. classical differential geometry

To provide context, I'm a differential geometry grad student from a physics background. I know some category theory (at the level of Simmons) and differential and Riemannian geometry (at the level of ...