Riemannian Geometry is a subfield of Differential Geometry, which specifically studies "Riemannian Manifolds", manifolds with "Riemannian Metrics", which means that they are equipped with continuous inner products.

learn more… | top users | synonyms

1
vote
1answer
93 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
2answers
85 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
1answer
161 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 ...
5
votes
1answer
189 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
1answer
186 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
0answers
113 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
0answers
132 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
2answers
392 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 ...
7
votes
2answers
415 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
0answers
114 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 ...
3
votes
1answer
161 views

A surface on which all regular curves have nowhere vanishing curvature

Let $S$ be a surface in $\mathbb{R}^{3}$ such that every regular curve $\gamma\subset S$ has nowhere vanishing curvature, that is $\kappa(z)\neq 0$ for all $z\in \gamma$. Does this imply that ...
2
votes
2answers
118 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
1answer
88 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
0answers
109 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
1answer
110 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
2answers
148 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
1answer
102 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
1answer
174 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
0answers
106 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}$ ...
13
votes
4answers
776 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
1answer
122 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
1answer
115 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
1answer
94 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
1answer
868 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
2answers
321 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
1answer
141 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
2answers
213 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
0answers
60 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
2answers
189 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
2answers
184 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
1answer
143 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 ...
11
votes
1answer
308 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
1answer
715 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
1answer
234 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
0answers
56 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
1answer
161 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
1answer
135 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
1answer
181 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 ...
32
votes
6answers
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 ...
4
votes
0answers
280 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
1answer
685 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
2answers
161 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
1answer
424 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
0answers
146 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
2answers
583 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 ...
13
votes
3answers
906 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
0answers
157 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
1answer
106 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
0answers
207 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$ ...
3
votes
1answer
182 views

The complex heat kernel on a Riemann manifold

There is a vast literature available for the heat kernel. Nevertheless, I haven't been able to find almost anything useful about the kernel of the equation $\frac{1}{\mathbb{i}} \frac{\partial ...