We study the asymptotic of the Bergman kernel of the spin Dirac operator on high tensor powers of a line bundle.

Previously, we constructed examples of compact Kähler manifolds which do not have the homotopy type of a projective complex manifold. They were, however, obtained by blowing-up certain complex tori, which are themselves deformation equivalent to complex projective manifolds. Thus it remained possible that in higher dimension, a birational version of Kodaira's theorem, saying that a compact Kähler surface deforms to a projective surface, still holds. We construct in this paper compact Kähler manifolds, no smooth birational model of which, however, has the homotopy type of a projective manifold. Thus the possibility mentioned above is excluded, even at the topological level.

We generalize McShane's identity for the length series of simple closed geodesics on a cusped hyperbolic surface to a general identity for hyperbolic cone-surfaces (with all cone angles ≥ π), possibly with cusps and/or geodesic boundary. The general identity is obtained by studying gaps formed by simple-normal geodesics emanating from a distinguished cone point, cusp or boundary geodesic. In particular, by applying the generalized identity to the quotient orbifolds of a hyperbolic one-cone/one-hole torus by its elliptic involution and of a hyperbolic closed genus two surface by its hyperelliptic involution, we obtain general Weierstrass identities for the one-cone/one-hole torus, and an identity for the genus two surface, which are also obtained by McShane using different methods. We also give an interpretation of the general identity in terms of complex lengths of the cone points, cusps and geodesic boundary components.

Using techniques developed to solve the corresponding Euclidean problem, we produce a universal upper bound on the density of a packing of tubes in H³.

We prove that if Σ is a compact hypersurface in Euclidean space Rⁿ, its boundary lies on the boundary of a convex body C, and meets C orthogonally from the outside, then the total positive curvature of Σ is bigger than or equal to half the area of the sphere S^n-1. Also, we obtain necessary and sufficient conditions for the equality to hold.

Assuming uniform bounds for the curvature, the exponential convergence of the Kähler-Ricci flow is established under two conditions which are a form of stability: the Mabuchi energy is bounded from below, and the dimension of the space of holomorphic vector fields in an orbit of the diffeomorphism group cannot jump up in the limit.