Let M⊂CN be a generic real-analytic submanifold of finite type, M′⊂CN′ be a real-analytic set, and p∈M, where we assume that N,N′⩾2. Let H:(CN,p)→CN′ be a formal holomorphic mapping sending M into M′, and let EM′ denote the set of points in M′ through which there passes a complex-analytic subvariety of positive dimension contained in M′. We show that, if H does not send M into EM′, then H must be convergent. As a consequence, we derive the convergence of all formal holomorphic mappings when M′ does not contain any complex-analytic subvariety of positive dimension, answering by this a long-standing open question in the field. More generally, we establish necessary conditions for the existence of divergent formal maps, even when the target real-analytic set is foliated by complex-analytic subvarieties, allowing us to settle additional convergence problems such as e.g. for transversal formal maps between Levi-non-degenerate hypersurfaces and for formal maps with range in the tube over the light cone.

Let f : X .仺 Y be a holomorphic map of complex manifolds, which is proper, K丯ahler, and surjective with connected fibers, and which is smooth over Y \ Z the complement of an analytic subset Z. Let E be a Nakano semi-positive vector bundle on X. In our previous paper, we discussed the Nakano semi-positivity of Rqf(KX/Y . E) for q . 0 with respect to the so-called Hodge metric, when the map f is smooth. Here we discuss the extension of the induced metric on the tautological line bundle O(1) on the projective space bundle P(Rqf(KX/Y . E)) 乬over Y \ Z乭 as a singular Hermitian metric with semi-positive curvature 乬over Y 乭. As a particular consequence, if Y is projective, Rqf(KX/Y . E) is weakly positive over Y \ Z in the sense of Viehweg.

We classify compact anti-self-dual Hermitian surfaces and compact four-dimensional conformally flat manifolds for which the group of orientation preserving conformal transformations contains a two-dimensional torus. As a corollary, we derive a topological classification of compact self-dual manifolds for which the group of conformal transformations contains a two-dimensional torus.

We construct a new equivariant cohomology theory for a certain class of differential vertex algebras, which we call the chiral equivariant cohomology. A principal example of a differential vertex algebra in this class is the chiral de Rham complex of Malikov-Schechtman-Vaintrob of a manifold with a group action. The main idea in this paper is to synthesize the algebraic approach to classical equivariant cohomology due to H. Cartan, with the theory of differential vertex algebras, by using an appropriate notion of invariant theory. We also construct the vertex algebra analogues of the Mathai-Quillen isomorphism, the Weil and the Cartan models for equivariant cohomology, and the Chern-Weil map. We give interesting cohomology classes in the new theory that have no classical analogues.

Given a negatively curved geodesic metric space M, we study the almost sure asymptotic penetration behavior of (locally) geodesic lines of M into small neighborhoods of points, of closed geodesics, and of other compact (locally) convex subsets of M. We prove Khintchine-type and logarithm law-type results for the spiraling of geodesic lines around these objets. As a consequence in the tree setting, we obtain Diophantine approximation results of elements of non-archimedian local fields by quadratic irrational ones.