We develop the foundation of the complex symplectic geometry of Lagrangian subvarieties in a hyperk¨ahler manifold. We establish a characterization, a Chern number inequality, topological and geometrical properties of Lagrangian submanifolds. We discuss a category of Lagrangian subvarieties and its relationship with the theory of Lagrangian intersection. We also introduce and study extensively a normalized Legendre transformation of Lagrangian subvarieties under a birational transformation of projective hyperk¨ahler manifolds. We give a Pl¨ucker type formula for Lagrangian intersections under this transformation.

We characterize H¨older continuously differentiable m dimensional submanifolds of Euclidean space among m rectifiable sets S in terms of growth conditions on the m density ratios of the Hausdorff measure Hm S.

In this article we introduce higher order Bergman functions for bounded complete Reinhardt domains in a variety with possi- bly isolated singularities. These Bergman functions are invariant under biholomorhic maps. We use Bergman functions to deter- mine all the biholomorhic maps between two such domains. As a result, we can construct an infinite family of numerical invari- ants from the Bergman functions for such  domains in An variety (x, y, z) ∈ C3 : xy = zn+1 . These infinite family of numerical invariants are actually a complete set of invariants for either the set of all bounded strictly pseudoconvex complete Reinhardt domain in An variety or the set of all bounded pseudoconvex complete Reinhardt domains with real analytic boundaries in An variety. In particular the moduli space of these domains in An variety is constructed explicitly as the image of this complete family of numerical invariants. It is well known that An variety is the quo- tient of cyclic group of order n + 1 on C2. We prove that the moduli space of bounded complete Reinhardt domains in An vari- ety coincides with the moduli space of the corresponding bounded complete Reinhardt domains in C2. Since our complete family of numerical invariants are computable, we have solved the biholo- morphically equivalent problem for large family of domains in C2.

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.

In this companion piece to [9], some variations on the main results there are sketched. In particular, • the recursions in [9], which we interpreted as the quantum Lefschetz, is re- formulated in terms of Givental’s quantization formalism, or equivalently, a summation of finitely many graphs; • varietiesofmodificationoftheauxilliaryspaces(masterspaces)forthefixed point localization are given, leading to different (looking) recursions; • applications of this circle of ideas to derive (apparently) new relations of Gromov–Witten invariants.