We review some important ideas in the design and analysis of robust overlapping domain decomposition algorithms for high-contrast multiscale problems.

A classical set of birational invariants of a variety are its spaces of pluricanonical forms and some of their canonically defined subspaces. Each of these vector spaces admits a typical metric structure which is also birationally invariant. These vector spaces so metrized will be referred to as the pseudonormed spaces of the original varieties. A fundamental question is the following: Given two mildly singular projective varieties with some of the first variety9s pseudonormed spaces being isometric to the corresponding ones of the second variety9s, can one construct a birational map between them that induces these isometries? In this work, a positive answer to this question is given for varieties of general type. This can be thought of as a theorem of Torelli type for birational equivalence.

No abstract uploaded!

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.