Let U be a connected non-singular quasi-projective variety and f : A → U a family of abelian varieties of dimension g. Suppose that the induced map U → Ag is generically finite and there is a compactification Y with complement S = Y \U a normal crossing divisor such that Ω1 Y (log S) is nef and ωY (S) is ample with respect to U. We characterize whether U is a Shimura variety by numerical data attached to the variation of Hodge structures, rather than by properties of the map U →Ag or by the existence of CM points. More precisely, we show that f : A → U is a Kuga fibre space, if and only if two conditions hold. First, each irreducible local subsystem V of R1f∗CA is either unitary or satisfies the Arakelov equality. Second, for each factor M in the universal cover of U whose tangent bundle behaves like that of a complex ball, an iterated Kodaira-Spencer map associated with V has minimal possible length in the direction of M. If in addition f : A → U is rigid, it is a connected Shimura subvariety of Ag of Hodge type.

We prove a general maximum principle at infinity for properly immersed minimal surfaces with boundary in R^3. An important corollary of this maximum principle at infinity is the existence of a fixed sized regular neighborhood for any properly embedded minimal surface of bounded curvature.

We establish an analytic interpretation for the index of certain transversally elliptic symbols on non-compact manifolds. By using this interpretation, we establish a geometric quantization formula for a Hamiltonian action of a compact Lie group acting on a non-compact symplectic manifold with proper moment map. In particular, we present a solution to a conjecture of Michèle Vergne in her ICM 2006 plenary lecture.

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.

We discuss a sharp lower bound for the first positive eigenvalue of the sublaplacian on a closed, strictly pseudoconvex pseudohermitian manifold of dimension 2m + 1 ≥ 5. We prove that the equality holds iff the manifold is equivalent to the CR sphere up to a scaling. For this purpose, we establish an Obata-type theorem in CR geometry that characterizes the CR sphere in terms of a nonzero function satisfying a certain overdetermined system. Similar results are proved in dimension 3 under an additional condition.