# Differential Geometry (math.DG)

• Consider a vector bundle over a Kähler manifold which admits a Hermitian Yang-Mills connection. We show that the pullback bundle on the blowup of the Kähler manifold at a collection of points also admits a Hermitian Yang-Mills connection, for Kähler classes on the blowup which make the exceptional divisors small. Our proof uses gluing techniques, and is hence asymptotically explict. This recovers, through the Hitchin-Kobayashi correspondence, algebro-geometric results due to Buchdahl and Sibley.
• Jul 25 2017 math.DG arXiv:1707.07595v1
We prove in a direct, geometric way that for any compatible Riemannian metric on a Lie manifold the injectivity radius is positive
• A Riemannian manifold is said to be almost positively curved if the sets of points for which all $2$-planes have positive sectional curvature is open and dense. We show that the Grassmannian of oriented $2$-planes in $\mathbb{R}^7$ admits a metric of almost positive curvature, giving the first example of an almost positively curved metric on an irreducible compact symmetric space of rank greater than $1$. The construction and verification rely on the Lie group $\mathbf{G}_2$ and the octonions, so do not obviously generalize to any other Grassmannians.
• We study non--degenerate CR geometries of hypersurface type that are symmetric in the sense that at each point, there is a CR transformation reverting the CR distribution at that point. We show that they are either flat or homogeneous. We show that non--flat non--degenerate symmetric CR geometries of hypersurface type are covered by CR geometries with a compatible pseudo--Riemannian metric preserved by all symmetries. We construct examples of simply connected flat non--degenerate symmetric CR geometries of hypersurface type that do not carry a compatible pseudo--Riemannian metric that would be preserved by some symmetry at each point.
• The object of this paper is to study $\eta$-Ricci solitons on $(\varepsilon)$-almost paracontact metric manifolds. We investigate $\eta$-Ricci solitons in the case when its potential vector field is exactly the characteristic vector field $\xi$ of the $(\varepsilon)$-almost paracontact metric manifold and when the potential vector field is torse-forming. We also study Einstein-like and $(\varepsilon)$-para Sasakian manifolds admitting $\eta$-Ricci solitons. Finally we obtain some results for $\eta$-Ricci solitons on $(\varepsilon)$-almost paracontact metric manifolds with a special view towards parallel symmetric (0,2)-tensor fields.
• The main aim of this survey paper is to gather together some results concerning the Calabi type duality discovered by Hojoo Lee between certain families of (spacelike) graphs with constant mean curvature in Riemannian and Lorentzian homogeneous 3-manifolds with isometry group of dimension 4. The duality is conformal and swaps mean curvature and bundle curvature, and we will revisit it by giving a more general statement in terms of conformal immersions. This will show that some features in the theory of surfaces with mean curvature $\frac{1}{2}$ in $\mathbb{H}^2\times\mathbb{R}$ or minimal surfaces in the Heisenberg space have nice geometric interpretations in terms of their dual Lorentzian counterparts. We will briefly discuss some applications such as gradient estimates for entire minimal graphs in Heisenberg space or the existence of complete spacelike surfaces, and we will also give an uniform treatment to the behavior of the duality with respect to ambient isometries. Finally, some open questions are posed in the last section.
• In this article, we discuss a probabilistic interpretation of McShane's identity as describing a finite measure on the space of embedded paths though a point.
• With several concrete examples of zero mean curvature surfaces in $\boldsymbol{R}^3_1$ containing a light-like line recently having been found, here we construct all real analytic germs of zero mean curvature surfaces by applying the Cauchy-Kovalevski theorem for partial differential equations. A point where the first fundamental form of a surface degenerates is said to be light-like. We also show a theorem on a property of light-like points of a surface in $\boldsymbol{R}^3_1$ whose mean curvature vector is smoothly extendable. This explains why such surfaces will contain a light-like line when they do not change causal types. Moreover, several applications of these two results are given.
• We present a condition for towers of fiber bundles which implies that the fundamental group of the total space has a nilpotent subgroup of finite index whose torsion is contained in its center. Moreover, the index of the subgroup can be bounded in terms of the fibers of the tower. Our result is motivated by the conjecture that every almost nonnegatively curved closed m-dimensional manifold M admits a finite cover M' for which the number of leafs is bounded in terms of m such that the torsion of the fundamental group of M' lies in its center.
• A major topic of investigation in differential geometry is the study of geodesic spheres, which in particular turns the understanding of spherical curves of great importance. In this respect, the consideration of rotation minimizing (RM) frames along curves play a prominent role. Indeed, due to their minimal twist, in many contexts these frames are preferable over the usual Frenet one and, in addition, they allow for a simple and elegant characterization of spherical curves in Euclidean space via a linear equation (a line not passing through the origin) involving the coefficients that dictate the frame motion, in contrast with a differential equation from a Frenet frame approach. In this work, we extend these investigations in order to characterize curves that lie on the (hyper)surface of geodesic spheres in a Riemannian manifold. Using that geodesic spherical curves are normal curves, i.e., the geodesics connecting the curve to a fixed point induce a normal vector field along the curve, we are able to characterize geodesic spherical curves in hyperbolic spaces and spheres through a linear equation (line not passing through the origin) involving the coefficients that dictate the RM frame motion. Finally, we also show that curves on totally geodesic submanifolds, which play the role of planes in Riemannian geometry, should be characterized by a line passing through the origin. In short, our results give interesting and significant similarities between hyperbolic, spherical, and Euclidean geometries.
• A conformal map from a Riemann surface to a Euclidean space of dimension greater than or equal to three is explained by using the Clifford algebra, in a similar fashion to quaternionic holomorphic geometry of surfaces in the Euclidean three- or four-space. The Weierstrass representation, the spin transform, the Darboux transforms, surfaces of parallel mean curvature vector, families of flat connections associated with a harmonic map from a Riemann surface to a sphere is explained. The degree of the spinor bundle associated with a conformal immersion is calculated. Analogues of a polar surface and a bipolar surface of a minimal immersion into a three-sphere are defined. They are shown to be minimal surfaces in a sphere.
• In this paper, we prove some rigidity theorems for compact Bach-flat $n$-manifold with the positive constant scalar curvature. In particular, our conditions in Theorem 1.4 have the additional properties of being sharp.
• Jul 25 2017 math.DG arXiv:1707.07173v1
By this short preface we show the main idea and we will bring some definitions and concepts in each section.
• The aim of this paper is to introduce a notion of mean curvature flow soliton general enough to encompass target spaces of constant sectional curvature, Riemannian products or, in increasing generality, warped product spaces.
• We study invariant metrics on Ledger-Obata spaces $F^m/\mathrm{diag}(F)$. We give the classification and an explicit construction of all naturally reductive metrics, and also show that in the case $m=3$, any invariant metric is naturally reductive. We prove that a Ledger-Obata space is a geodesic orbit space if and only if the metric is naturally reductive. We then show that a Ledger-Obata space is reducible if and only if it is isometric to the product of Ledger-Obata spaces (and give an effective method of recognising reducible metrics), and that the full connected isometry group of an irreducible Ledger-Obata space $F^m/\mathrm{diag}(F)$ is $F^m$. We deduce that a Ledger-Obata space is a geodesic orbit manifold if and only if it is the product of naturally reductive Ledger-Obata spaces.
• In a previous joint work of Xiao and the second author, the modified mean curvature flow (MMCF) in hyperbolic space $\mathbb{H}^{n+1}$: $$\frac∂\mathbfF∂t = (H-\sigma)\,\vnu\,,\quad \quad \sigma∈(-n,n)$$ was first introduced and the flow starting from an entire Lipschitz continuous radial graph with uniform local ball condition on the asymptotic boundary was shown to exist for all time and converge to a complete hypersurface of constant mean curvature with prescribed asymptotic boundary at infinity. In this paper, we remove the uniform local ball condition on the asymptotic boundary of the initial hypersurface, and prove that the MMCF starting from an entire locally Lipschitz continuous radial graph exists and stays radially graphic for all time.
• We introduce the notion of a symplectic hopfoid, which is a "groupoid-like" object in the category whose objects are symplectic manifolds and whose morphisms are given by canonical relations. Such groupoid-like objects arise when applying a version of the cotangent functor to the structure maps of a Lie groupoid. We show that such objects are in one-to-one correspondence with symplectic double groupoids, generalizing a result of Zakrezwski concerning symplectic double groups and Hopf algebra objects in the aforementioned category. The resulting constructions apply more generally to give a correspondence between double Lie groupoids and groupoid-like objects in the category of smooth manifolds and smooth relations, and we show that the cotangent functor relates the two constructions.
• This paper deals with linear connections on real manifolds. We give a new characterization of flat affine connections on real manifolds by means of certain affine representations of the Lie group of automorphisms preserving the connection. Then we specialize the characterization to the case of a left invariant connection on a Lie group. In the former case, we show the existence of a Lie group endowed with a flat affine bi-invariant connection containing the Lie group of automorphisms of the connection. The paper is illustrated with several examples.
• We deal with hypersurfaces in the framework of the 4-dimensional relative differential geometry. We consider a hypersurface $\varPhi$ of $\mathbb{R}^4$ with position vector field $\mathbf{x}$, which is relatively normalized by a relative normalization $\mathbf{y}$. Then $\mathbf{y}$ is also a relative normalization of every member of the one-parameter family $\mathcal{F}$ of hypersurfaces $\varPhi_\mu$ with position vector field $$\mathbfx_\mu = \mathbfx + \mu \u2009\mathbfy,$$ where $\mu$ is a real constant. We call every hypersurface $\varPhi_\mu \in \mathcal{F}$ relatively parallel to $\varPhi$. This consideration includes both the Euclidean hypersurfaces and the Blaschke hypersurfaces of the affine differential geometry. In this paper we express the relative mean curvature functions of a relatively parallel to $\varPhi$ hypersurface $\varPhi_\mu \in \mathcal{F}$ by means of those of $\varPhi$ and the "relative distance" $\mu$. Finally we prove several Bonnet's type theorems, namely we show that if two relative mean curvature functions of $\varPhi$ are constant, then there exists at least one relatively parallel hypersurface, whose a relative mean curvature function is constant.

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: