# Differential Geometry (math.DG)

• We consider the wave equation on Reissner-Nordström-de Sitter and more generally Kerr-Newman-de Sitter black hole spacetimes with $\Lambda>0$. The strength of the blue-shift instability associated to the Cauchy horizon of these spacetimes has been the subject of much discussion, since-in contrast to the $\Lambda=0$ case-the competition with the decay associated to the region between the event and cosmological horizons is delicate. Of particular interest is the question as to whether generic, admissible initial data posed on a Cauchy surface lead to solutions whose local energy blows up at the Cauchy horizon, for this statement holds in the $\Lambda = 0$ case and would correspond precisely to the blow up required by Christodoulou's formulation of strong cosmic censorship. Some recent heuristic work suggests that the answer is in general negative for solutions arising from sufficiently smooth data, such that for all such data, the arising solutions have finite local energy at the Cauchy horizon. In this short note, we shall show in contrast that, by slightly relaxing the smoothness assumption on initial data, we are able to prove the analogue of the Christodoulou statement in the affirmative, i.e. we show that for generic data in our allowed class, the local energy blow-up statement indeed holds at the Cauchy horizon, for all subextremal black hole parameter ranges. We present two distinct proofs. Our slightly enlarged class of initial data is still sufficiently regular to ensure both stability and decay properties in the region between the event and cosmological horizons as well as the boundedness and continuous extendibility beyond the Cauchy horizon. This suggests thus that it is finally this class which may provide the correct setting to formulate the genericity condition in strong cosmic censorship.
• May 23 2018 math.DG arXiv:1805.08601v1
We study prolongation of Norden structures on manifolds to their generalized tangent bundles and to their cotangent bundles. In particular, by using methods of generalized geometry, we prove that the cotangent bundle of a complex Norden manifold $(M,J,g)$ admits a structure of Norden manifold, $(T^{\star}(M),\tilde J, \tilde g)$. Moreover if $(M,J,g)$ has flat natural canonical connection then $\tilde J$ is integrable, that is $(T^{\star}(M),\tilde J, \tilde g)$ is a complex Norden manifold. Finally we prove that if $(M,J,g)$ is Kähler Norden flat then $(T^{\star}(M),\tilde J, \tilde g)$ is Kähler Norden flat.
• Complex contact manifolds arise naturally in differential geometry, algebraic geometry and exterior differential systems. Their classification would answer an important question about holonomy groups. The geometry of such manifold $X$ is governed by the contact lines contained in $X$. These are related to the notion of a variety of minimal rational tangents. In this review we discuss the partial classification theorems of projective complex contact manifolds. Among such manifolds one finds contact Fano manifolds (which include adjoint varieties) and projectivised cotangent bundles. In the first case we also discuss a distinguished contact cone structure, arising as the variety of minimal rational tangents. We discuss the repercussion of the aforementioned classification theorems for the geometry of quaternion-Kähler manifolds with positive scalar curvature and for the geometry of second--order PDEs imposed on hypersurfaces.
• We introduce a systematic method to produce left-invariant, non-Ricci-flat Einstein metrics of indefinite signature on nice nilpotent Lie groups. On a nice nilpotent Lie group, we give a simple algebraic characterization of non-Ricci-flat left-invariant Einstein metrics in both the class of metrics for which the nice basis is orthogonal and a more general class associated to order two permutations of the nice basis. We obtain classifications in dimension 8 and, under the assumption that the root matrix is surjective, dimension 9; moreover, we prove that Einstein nilpotent Lie groups of nonzero scalar curvature exist in every dimension $\geq 8$.
• Suppose $M_{1}$ and $M_{2}$ are two closed (compact with no boundary) spherical CR manifolds with positive CR Yamabe constant. In this note, we show that the connected sum of $M_{1}$ and $M_{2}$ also admits a spherical CR structure with positive CR Yamabe constant.
• Two metrics on a manifold are geodesically equivalent if sets of their unparameterized geodesics coincide. In this paper we show that if two left $G$-invariant metrics of arbitrary signature on homogenous space $G/H$ are geodesically equivalent, they are affinely equivalent, i.e. they have the same Levi-Civita connection. We also prove that existence of non-proportional, geodesically equivalent, $G$-invariant metrics on homogenous space $G/H$ implies that their holonomy algebra cannot be full. We give an algorithm for finding all left invariant metrics geodesically equivalent to a given left invariant metric on a Lie group. Using that algorithm we prove that no two left invariant metric, of any signature, on sphere $S^3$ are geodesically equivalent. However, we present examples of Lie groups that admit geodesically equivalent, non-proportional, left-invariant metrics.
• Akyol, M. A and Şahin, B. [Conformal semi-invariant submersions, Commun. Contemp. Math. 19, 1650011 (2017).] introduced the notion of conformal semi-invariant submersions from almost Hermitian manifolds. The present paper deal with the study of conformal generic submersions from almost Hermitian manifolds which extends semi-invariant submersions, generic Riemannian submersions and conformal semi-invariant submersions a natural way. We mention some examples of such maps and obtain characterizations and investigate some properties, including the integrability of distributions, the geometry of foliations and totally geodesic foliations. Moreover, we obtain some conditions for such submersions to be totally geodesic and harmonic, respectively.

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: