We show that a properly immersed minimal hypersurface in M × R+ equals some M×{c} when M is a complete, recurrent ndimensional Riemannian manifold with bounded curvature. If on the other hand,M is not necessarily recurrent but has nonnegative Ricci curvature with curvature bounded below, the same result holds for any positive entire minimal graph over M.

No abstract uploaded!

Let M 4n be a complete quaternionic K¨ahler manifold with scalar curvature bounded below by .16n(n + 2). We get a sharp estimate for the first eigenvalue λ1(M) of the Laplacian, which is λ1(M) ≤ (2n + 1)2. If the equality holds, then either M has only one end, or M is diffeomorphic to R × N with N given by a compact manifold. Moreover, if M is of bounded curvature, M is covered by the quaterionic hyperbolic space QHn and N is a compact quotient of the generalized Heisenberg group. When λ1(M) ≥ 8(n+2) 3 , we also prove that M must have only one end with infinite volume.

In this follow-up of our earlier two works D (11.1)(arXiv: 1406.0929 [math. DG]) and D (11.2)(arXiv: 1412.0771 [hep-th]) in the D-project, we study further the notion of adifferentiable map from an Azumaya/matrix manifold to a real manifold'. A conjecture is made that the notion of differentiable maps from Azumaya/matrix manifolds as defined in D (11.1) is equivalent to one defined through the contravariant ring-homomorphisms alone. A proof of this conjecture for the smooth (ie C^{\infty} ) case is given in this note. Thus, at least in the smooth case, our setting for D-branes in the realm of differential geometry is completely parallel to that in the realm of algebraic geometry, cf.\arXiv: 0709.1515 [math. AG] and arXiv: 0809.2121 [math. AG]. A related conjecture on such maps to C^{\infty} , as a C^{\infty} -manifold, and its proof in the C^{\infty} case is also given. As a by-product, a conjecture on a division lemma in the finitely differentiable case that generalizes the division lemma in the smooth case from Malgrange is given in the end, as well as other comments on the conjectures in the general C^{\infty} case. We remark that there are similar conjectures in general and theorems in the smooth case for the fermionic/super generalization of the notion.

We carry out the programme of R. Liouville [19] to construct an explicit local obstruction to the existence of a Levi–Civita connection within a given projective structure [..] on a surface. The obstruction is of order 5 in the components of a connection in a projective class. It can be expressed as a point invariant for a second order ODE whose integral curves are the geodesics of [..] or as a weighted scalar projective invariant of the projective class. If the obstruction vanishes we find the sufficient conditions for the existence of a metric in the real analytic case. In the generic case they are expressed by the vanishing of two invariants of order 6 in the connection. In degenerate cases the sufficient obstruction is of order at most 8.