**14**

votes

**2**answers

636 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

91 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

75 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

154 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

140 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

180 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

93 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

112 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

338 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

397 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

107 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

113 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

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

**2**

votes

**0**answers

106 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

104 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

143 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

97 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

170 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

99 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

610 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

113 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

105 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

88 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

782 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

254 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

124 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

202 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

166 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

176 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

137 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

185 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

689 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

173 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

53 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

157 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

125 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

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

**29**

votes

**6**answers

3k 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 ...

**2**

votes

**0**answers

137 views

### Why does Hodge decomposition fail in the pseudo-Riemannian case?

Why does Hodge decomposition fail in the pseudo-Riemannian case? Does there exist a special class of pseudo-Riemannian manifolds for which it does not fail, for example Lie groups?

**4**

votes

**0**answers

243 views

### Isometries of hyper-Kähler manifolds

For the purposes of this question, a hyper-Kähler manifold will be a complete connected Riemannian manifold $(\mathcal{M},g)$ whose holonomy representation is isomorphic to the natural representation ...

**11**

votes

**1**answer

578 views

### Thurston geometries in dimension 4

In the sense of W. Thurston here, there is 3 geometries in dimension 2 and there is 8 geometries in dimension 3.
Question: How many different geometries (in the sense of Thurston) do we have in ...

**0**

votes

**2**answers

145 views

### Can simply or not simply connected maximally symmetric (Semi-)Riemannian manifold be completely classified?

A m-dimensional completed and connected (Semi-)Riemannian manifold which has $m(m+1)/2$ independent global Killing vector fields is called maximally symmetric space.
Then what are all possibilities ...

**11**

votes

**1**answer

377 views

### Is the heat kernel more spread out with a smaller metric?

Suppose M is a smooth manifold, and we have two Riemannian metrics on M, say g and h, with g bigger than h (i.e. for every tangent vector at every point, the norm according to g is bigger than the ...

**1**

vote

**0**answers

137 views

### Question on a paper of Schoen and Yau

I am trying to understand the paper "Conformally flat manifolds, Kleinian groups and scalar curvature" by Schoen and Yau. In P.56, it says:
This implies that $\partial M$ has a zero $q$-capacity, ...

**8**

votes

**2**answers

553 views

### Is there some Riemannian manifold's version of Whitney theorem?

Given any Riemannian or Semi-Riemannian manifold $(M,g)$, does there exist a Eucildean space $(E,g^\prime)$ of enough high dimension with metric $g^\prime=diag\{-1,-1,...,+1,+1,...\}$ with any n ...

**11**

votes

**3**answers

588 views

### Riemann's formula for the metric in a normal neighborhood

I would love to understand the famous formula $g_{ij}(x) = \delta_{ij} + \frac{1}{3}R_{kijl}x^kx^l +O(||x||^3)$, which is valid in Riemannian normal coordinates and possibly more general situations.
...

**3**

votes

**0**answers

152 views

### Uniqueness of scalar curvature

I'm reading Gromov's notes
http://www.ihes.fr/~gromov/topics/SpacesandQuestions.pdf
and at page 7 they say that there is a unique second order differential operator $S$ from the space of Riemannian ...

**1**

vote

**1**answer

84 views

### What is the expression of first eigen function of Laplacian on Hyperbolic plane?

Let $\Delta$ be the Laplacian (a positive operator) on $H^2$ the hyperbolic plane. My question is what is the expression of the eigenfunction $\Delta f= f/4$? (say in the ploar coordiante)

**2**

votes

**0**answers

196 views

### Is there any progress on Problem 13 (from Schoen and Yau)?

This is closed related to the question asked here. I wonder if there is any progress on Problem 13 from the "Problem Section" in Schoen and Yau, page 281, problem 13, which asks:
Let $M_1$ and $M_2$ ...