We prove the analogue of the Ax–Lindemann–Weierstrass theorem for not necessarily arithmetic lattices of the automorphism group of the complex unit ball $\mathbb{B}^{n}$ using methods of several complex variables, algebraic geometry and Kähler geometry. Consider a torsion-free lattice $\unicode[STIX]{x1D6E4}\,\subset \,\text{Aut}(\mathbb{B}^{n})$ and the associated uniformization map $\unicode[STIX]{x1D70B}:\mathbb{B}^{n}\rightarrow \mathbb{B}^{n}/\unicode[STIX]{x1D6E4}=:X_{\unicode[STIX]{x1D6E4}}$. Given an algebraic subset $S\,\subset \,\mathbb{B}^{n}$ and writing $Z$ for the Zariski closure of $\unicode[STIX]{x1D70B}(S)$ in $X_{\unicode[STIX]{x1D6E4}}$ (which is equipped with a canonical quasi-projective structure), in some precise sense we realize $Z$ as a variety uniruled by images of algebraic subsets under the uniformization map, and study the asymptotic geometry of an irreducible component $\widetilde{Z}$ of $\unicode[STIX]{x1D70B}^{-1}(Z)$ as $\widetilde{Z}$ exits the boundary $\unicode[STIX]{x2202}\mathbb{B}^{n}$ by exploiting the strict pseudoconvexity of $\mathbb{B}^{n}$, culminating in the proof that $\widetilde{Z}\,\subset \,\mathbb{B}^{n}$ is totally geodesic. Our methodology sets the stage for tackling problems in functional transcendence theory for arbitrary lattices of $\text{ Aut}(\unicode[STIX]{x1D6FA})$ for (possibly reducible) bounded symmetric domains $\unicode[STIX]{x1D6FA}$.

We classify up to automorphisms all left-invariant non-Einstein solutions to the Einstein–Maxwell equations on four-dimensional Lie algebras.

The mobility of a Kähler metric is the dimension of the space of metrics with which it is c-projectively equivalent. The mobility is at least two if and only if the Kähler metric admits a nontrivial hamiltonian 2-form. After summarizing this relationship, we present necessary conditions for a Kähler metric to have mobility at least three: its curvature must have nontrivial nullity at every point. Using the local classification of Kähler metrics with hamiltonian 2-forms, we describe explicitly the Kähler metrics with mobility at least three and hence show that the nullity condition on the curvature is also sufficient, up to some degenerate exceptions. In an appendix, we explain how the classification may be related, generically, to the holonomy of a complex cone metric.

We classify quadruples $(M, g, m, \tau)$ in which (M, g) is a compact Kähler manifold of complex dimension m > 2 and $\tau$ is a nonconstant function on M such that the conformally related metric $g/\tau^{2}$, defined wherever $\tau \ne 0$, is an Einstein metric. It turns out that M then is the total space of a holomorphic $\mathbb{C}{\rm P}^1$ bundle over a compact Kähler–Einstein manifold (N, h). The quadruples in question constitute four disjoint families: one, well known, with Kähler metrics g that are locally reducible; a second, discovered by Bérard Bergery (1982), and having $\tau \ne 0$ everywhere; a third one, related to the second by a form of analytic continuation, and analogous to some known Kähler surface metrics; and a fourth family, present only in odd complex dimensions $m \ge 9$. Our classification uses a moduli curve, which is a subset $\mathcal{C}$, depending on m, of an algebraic curve in $\mathbb{R}^2$. A point (u, v) in $\mathcal{C}$ is naturally associated with any $(M, g, m, \tau)$ having all of the above properties except for compactness of M, replaced by a weaker requirement of ‘vertical’ compactness. One may in turn reconstruct M, g and $\tau$ from (u, v) coupled with some other data, among them a Kähler–Einstein base (N, h) for the $\mathbb{C}{\rm P}^1$ bundle M. The points (u, v) arising in this way from $(M, g, m, \tau)$ with compactM form a countably infinite subset of \mathcal{C}$.

The requirement that a (non-Einstein) Kähler metric in any given complex dimension $m > 2$ be almost-everywhere conformally Einstein turns out to be much more restrictive, even locally, than in the case of complex surfaces. The local biholomorphic-isometry types of such metrics depend, for each $m > 2$, on three real parameters along with an arbitrary Kähler–Einstein metric $h$ in complex dimension $m - 1$. We provide an explicit description of all these local-isometry types, for any given $h$. This result is derived from a more general local classification theorem for metrics admitting functions that we call special Kähler–Ricci potentials.