# Differential Geometry (math.DG)

• Mar 29 2017 math.DG arXiv:1703.09629v1
This note gives sufficient conditions (isothermic or totally nonisothermic) for an immersion of a compact surface to have no Bonnet mate.
• For collapsing sequences of Riemannian manifolds which satisfy a uniform lower Ricci curvature bound it is shown that there is a sequence of scales such that for a set of good base points of large measure the pointed rescaled manifolds subconverge to a product of a Euclidean and a compact space. All Euclidean factors have the same dimension, all possible compact factors satisfy the same diameter bounds and their dimension does not depend on the choice of the base point (along a fixed subsequence).
• Cubic spline interpolation on Euclidean space is a standard topic in numerical analysis, with countless applications in science and technology. In several emerging fields, for example computer vision and quantum control, there is a growing need for spline interpolation on curved, non-Euclidean space. The generalization of cubic splines to manifolds is not self-evident, with several distinct approaches. One possibility is to mimic the acceleration minimizing property, which leads to Riemannian cubics. This, however, require the solution of a coupled set of non-linear boundary value problems that cannot be integrated explicitly, even if formulae for geodesics are available. Another possibility is to mimic De~Casteljau's algorithm, which leads to generalized Bézier curves. To construct C2-splines from such curves is a complicated non-linear problem, until now lacking numerical methods. Here we provide an iterative algorithm for C2-splines on Riemannian symmetric spaces, and we prove convergence of linear order. In terms of numerical tractability and computational efficiency, the new method surpasses those based on Riemannian cubics. Each iteration is parallel, thus suitable for multi-core implementation. We demonstrate the algorithm for three geometries of interest: the $n$-sphere, complex projective space, and the real Grassmannian.
• We answer a question of Ranjan'86, showing that Riemannian foliations with connected totally geodesic leaves on compact Lie groups with bi-invariant metrics are isometric to homogeneous foliations.
• We give a classification for connected complete locally irreducible Riemannian manifolds with nonpositive curvature operator, which admit a nonzero closed or co-closed conformal Killing $L^{2}-$form. Moreover, we prove vanishing theorems for closed and co-closed conformal Killing $L^{2}-$forms on some complete Riemannian manifolds.
• Defining the $m$-th stratum of a closed subset of an $n$ dimensional Euclidean space to consist of those points, where it can be touched by a ball from at least $n-m$ linearly independent directions, we establish that the $m$-th stratum is second-order rectifiable of dimension $m$ and a Borel set. This was known for convex sets, but is new even for sets of positive reach. The result is based on a new criterion for second-order rectifiability.
• We extend the Lyapunov-Schmidt analysis of outlying stable CMC spheres in the work of S. Brendle and the second-named author to the "far-off-center" regime and to include general Schwarzschild asymptotics. We obtain sharp existence and non-existence results for large stable CMC spheres that depend very delicately on the behavior of scalar curvature at infinity.
• It is an important problem in differential geometry to find non-naturally reductive homogeneous Einstein metrics on homogeneous manifolds. In this paper, we consider this problem for some coset spaces of compact simple Lie groups. A new method to construct invariant non-naturally reductive Einstein metrics on normal homogeneous Einstein manifolds is presented. In particular, we show that on the standard homogeneous Einstein manifolds, except for some special cases, there exist plenty of such metrics. A further interesting result of this paper is that on some compact semisimple Lie groups, there exist a large number of left invariant non-naturally reductive Einstein metrics which are not product metrics.
• We give a moment map interpretation of some relatively balanced metrics. As an application, we extend a result of S. K. Donaldson on constant scalar curvature Kähler metrics to the case of extremal metrics. Namely, we show that a given extremal metric is the limit of some specific relatively balanced metrics. As a corollary, we recover uniqueness and splitting results for extremal metrics in the polarized case.
• We prove that the configuration space of equidistant triples on the Heisenberg group equipped with the Korányi metric, is isomorphic to a hypersurface of $\mathbb{R}^3$.
• Mar 29 2017 math.DG arXiv:1703.09408v1
We introduce the notion of pseudo-Poisson Nijenhuis manifolds. These manifolds are generalizations of Poisson Nijenhuis manifolds by Magri and Morosi \citeMM. We show that any pseudo-Poisson Nijenhuis manifold has an associated quasi-Lie bialgebroid as in the case of Poisson quasi-Nijenhuis manifolds by Sti$\acute{\mathrm{e}}$non and Xu \citeSX. Hence, since a quasi-Lie bialgebroid has an associated Courant algebroid, we have new materials to construct Courant algebroids. In the "nondegenerate" case, we show that the conditions of pseudo-Poisson Nijenhuis structures can be reduced. Therefore we can provide lots of non-trivial examples of pseudo-Poisson Nijenhuis manifolds.
• In this note we use the strong maximum principle and integral estimates prove two results on minimal hypersurfaces $F:M^n\rightarrow\mathbb{R}^{n+1}$ with free boundary on the standard unit sphere. First we show that if $F$ is graphical with respect to any Killing field, then $F(M^n)$ is a flat disk. Second, if $M^n = \mathbb{D}^n$ is a disk, we show that either $F(M^n)$ is a flat disk, or the supremum of the curvature squared on the interior is bounded below by $n$ times the infimum of the curvature squared on the boundary. These may be combined the give an impression of the curvature of non-flat minimal disks of higher intrinsic dimension.
• For two complex vector bundles admitting a homomorphism with odd-dimensional sphere singularity between them, we give a formula to compute the relative Chern characteristic number of these two complex vector bundles. As a consequence, for the $\spin$ manifold admitting some bundle strucutre, we give a formula to express the index of twisted Dirac operator by using localization method.
• For $n\geq 4$ we show that generic closed Riemannian $n$--manifolds have no nontrivial totally geodesic submanifolds, answering a question of Spivak. An immediate consequence is a severe restriction on the isometry group of a generic Riemannian metric. Both results are widely believed to be true, but we are not aware of any proofs in the literature.

Andrey Karchevsky Feb 17 2017 09:51 UTC

Dear Authors,

This is in reference of your preprint arxiv 1702.0638.

Above all I must say that I am puzzled with the level of publicity your work has got at http://www.nature.com/news/long-awaited-mathematics-proof-could-help-scan-earth-s-innards-1.21439. Is this a new way for mathematicians t

...(continued)
Zoltán Zimborás Oct 31 2016 23:12 UTC

There is a lot of discussion about the paper by Atiyah (claiming to solve this famous question) in the math community - with a bit of skeptical edge - both on reddit and on mathoverflow: