Zariski closures of images of algebraic subsets under the uniformization map on finite-volume quotients of the complex unit ball

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}$.

Dual Algebras and A-Measures

Weak-star closures of Gleason parts in the spectrum of a function algebra are studied. These closures relate to the bidual algebra and turn out both closed and open subsets of a compact hyperstonean space. Moreover, weak-star closures of the corresponding bands of measures are reducing. Among the applications we have a complete solution of an abstract version of the problem, whether the set of nonnegative A-measures (called also Henkin measures) is closed with respect to the absolute continuity. When applied to the classical case of analytic functions on a domain of holomorphyΩ⊂Cn, our approach avoids the use of integral formulae for analytic functions, strict pseudoconvexity, or some other regularity ofΩ. We also investigate the relation between the algebra of bounded holomorphic functions onΩand its abstract counterpart—thew* closure of a function algebraAin the dual of the band of measures generated by one of Gleason parts of the spectrum ofA.