IN 1970 Lawson [22] proved that two embedded closed diffeomorphic minimal surfaces in the unit three-dimensional sphere S3 in lRJ are ambiently isotopic in S3. Lawson proved this theorem by first proving that an embedded orientable closed minimal surface of genus y in a closed orientable Riemannian three-manifold Mwith positive Ricci curvature disconnects M-into two genus-8 handlebodics. A result of Frankel [7] was used to prove this. Lawson then applied a deep result of Waldhauscn [33] that states that decompositions of SJ into two genus-cl handlebodies arc unique up to ambient isotopy. More prcciscly. Waldhauscns uniqucncss thcorcm states that whenever a closed surface of genus y in S separates SJ into handlcbodics, then the embedding of the surface is as simple as possible; in other words, the surface is obtained from a two-sphere Sz c Sby adding handles in an unknotted manner.

We study a static, spherically symmetric system of (2j+ 1) massive Dirac particles, each having angular momentum j, j= 1, 2,..., in a classical gravitational and SU (2) Yang-Mills field. We show that for any black hole solution of the associated Einstein-Dirac-Yang/Mills equations, the spinors must vanish identically outside of the event horizon.

We find a concise relation between the moduli , of a rational Narain lattice (,) and the corresponding momentum lattices of left and right chiral algebras via the Gauss product. As a byproduct, we find an identity which counts the cardinality of a certain double coset space defined for isometries between the discriminant forms of rank two lattices.

We show how two topologically distinct spaces-the Kahler K3 x T^ 2 and the non-Kahler T^ 2 bundle over K3-can be smoothly connected in heterotic string theory. The transition occurs when the base K3 is deformed to the T^ 4/Z_2 orbifold limit. The orbifold theory can be mapped via duality to M-theory on K3 x K3 where the transition corresponds to an exchange of the two K3's.

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.