8
$\begingroup$

I would like to understand whether the following multidimensional (partial) generalization of the A.D. Alexandrov gluing theorem is true and, if yes, whether there is a reference. (The original Alexandrov's gluing theorem was proven in dimension 2 only but under much weaker assumptions on the regularity of the metrics. It is actually much deeper than the situation I consider right now.)

Let $M_1, M_2$ be two smooth Riemannian manifolds with boundary with sectional curvatures at least $\kappa$. Let $f\colon \partial M_1\tilde\to \partial M_2$ be a Riemannian isometry between their boundaries. Define a new smooth manifold without boundary $M=M_1\cup_f M_2$ by identifying the boundaries of $M_1$ and $M_2$ via $f$.

One defines on $M$ an intrinsic metric: for two points $x,y\in M$ the distance between them is equal to the infimum of the lengths of all paths connecting them when the length of the parts of the path contained in $M_1$ (resp. $M_2$) is computed with respect to the Riemannian metric of $M_1$ (resp. $M_2$).

Remark. It is not hard to see that $M$ has a structure of $C^\infty$-smooth manifold, and the above metric is induced by a $C^0$-regular Riemannian metric.

Question. Whether the following is known to be true: $M$ has a bounded below curvature in the sense of Alexandrov if and only if the sum of the second fundamental forms of the boundaries of $M_1$ and $M_2$ (after the identification via $f$) is non-negative. In that case the curvature of $M$ is at least the above $\kappa$.

A reference would be helpful.

$\endgroup$
1
  • $\begingroup$ Why does the adjunction manifold have to be $C^\infty$? Consider the "spherical cap cylinder", which is the set of points at distance $1$ away from the nonpositive $x$-axis in $\mathbb{R}^3$. The cylindrical part of the space has Gaussian curvature $0$, and the spherical part has Gaussian curvature $1$. Hence the Gaussian curvature is discontinuous/not defined at the boundary, and so the surface is not $C^2$. It is $C^1$ though, and the cylindrical/spherical parts are $C^\infty$ and share a boundary. $\endgroup$ Aug 16, 2021 at 15:01

1 Answer 1

4
$\begingroup$

Just learned that the answer is positive, at least its main part saying that if the sum of second fundamental forms is non-negative then the curvature of $M$ is at least $\kappa$. The answer is published here: N. N. Kosovski˘ı, “Gluing of Riemannian manifolds of curvature ≥ κ”, Algebra i Analiz 14:3 (2002), 140–157.

$\endgroup$
1
  • $\begingroup$ Hi @MKO !! I'm interested in the source of your intuition about the assumption on the non-negativity of the sum of the second fundamental forms. Could you please give me a word on how is it that you could infer this? $\endgroup$ Oct 24, 2019 at 12:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.