diff --git a/semialgebraic_universal_covers_v2.txt b/semialgebraic_universal_covers_v2.txt
index a26b571..6a6983f 100644
--- a/semialgebraic_universal_covers_v2.txt
+++ b/semialgebraic_universal_covers_v2.txt
@@ -1,428 +1,2847 @@
-This is a standalone ASCII explainer (for 16-year-olds) of the Kollar-Pardon classification of semialgebraic universal covers: a connected normal projective complex variety X whose ordinary universal cover X~ is biholomorphic to a semialgebraic open subset of a projective variety must have X~ = D x C^m x F, where D is a bounded symmetric domain, F is a simply connected normal projective variety, and m >= 0. The source is the LaTeX article in this directory (main.tex plus sections/*.tex, concatenated into semialgebraic_universal_covers_original.txt). All mathematical content and citations are transcribed; each exercise names the original theorem number at the end for cross-checking.
-Exercise: Universal cover. What is the universal cover of a connected space, and why does it matter here?
-For a connected space X with a basepoint, the universal cover X~ is a simply connected covering space of X. Its fibre over the basepoint is naturally identified with the fundamental group pi_1(X), and the deck transformations of X~ -> X form a group isomorphic to pi_1(X). When X is a connected normal complex variety, X~ inherits a complex structure, and the covering map is a local biholomorphism. The whole question of this paper is: what can X~ look like as a complex space, if X is a connected normal projective variety?
-
-Exercise: Complex projective variety. What are projective varieties, and where do the standard examples come from?
-Complex projective space P^n is the set of complex lines through the origin of C^(n+1); equivalently, the quotient of C^(n+1) minus 0 by scaling. It is a compact complex manifold with a natural Fubini-Study Kahler metric. A projective variety is the common zero locus of finitely many homogeneous polynomials on P^n. A projective variety is normal when its ring of local holomorphic functions is integrally closed in its fraction field. Smooth projective varieties, Fano varieties, and abelian varieties are all normal projective; the open unit disc D subset C is not projective, since it is not compact.
-
-Exercise: Semialgebraic set. What data defines a real semialgebraic set, and what closure properties does it have?
-A subset of R^n is semialgebraic if it is a finite Boolean combination of sets {x : f(x) = 0} and {x : g(x) > 0}, where f and g are real polynomials. The collection is closed under images under polynomial maps (this is the Tarski-Seidenberg theorem), so projections of semialgebraic sets are semialgebraic. Every semialgebraic set has finitely many connected components, each again semialgebraic, and admits a compatible triangulation.
-Bierstone-Milman 1988, Semianalytic and subanalytic sets: https://www.numdam.org/item/PMIHES_1988__67__5_0.pdf
-Coste 1999, An introduction to o-minimal geometry: https://perso.univ-rennes1.fr/michel.coste/polyens/OMIN.pdf
-
-Exercise: Semialgebraic projective-open presentation. What does it mean for a complex space to have a semialgebraic projective-open presentation?
-There exist a projective complex variety Y and a real semialgebraic subset W of the underlying real-analytic manifold of Y such that W is open in the ordinary complex topology, and U is biholomorphic to W. The biholomorphism need not be algebraic, and deck transformations of any covering of U are not required to preserve W. Examples are C^n itself as the affine chart {X_0 != 0} inside P^n, the unit ball as its Borel-embedded image in its compact dual, and any product of these with a compact smooth projective variety.
-Kollar-Pardon 2012, Algebraic varieties with semialgebraic universal cover, Conjecture 2: https://arxiv.org/abs/1104.2309v2
-
-Exercise: Bounded symmetric domain. What property turns a bounded open subset of C^n into a bounded symmetric domain?
-Every point of D is an isolated fixed point of some holomorphic involution of D. Equivalently, D is homogeneous under a real semisimple Lie group acting by biholomorphisms, with a maximal compact stabilizer, so that D is a Hermitian symmetric space of noncompact type with a bounded realization. Standard examples: the unit disc, the unit ball in C^n, the polydisc, the Siegel upper half space. A single point is allowed as the zero-dimensional case.
-Borel 1954, Kahlerian coset spaces of semisimple Lie groups: https://doi.org/10.1073/pnas.40.12.1147
-Milne 2005, Introduction to Shimura varieties: https://www.jmilne.org/math/xnotes/svi.pdf
-
-Exercise: The Kollar-Pardon classification. State the main theorem, in full.
-Let X be a connected normal projective complex variety, and let X~ be its ordinary universal cover. Then X~ is biholomorphic to a semialgebraic open subset of a projective variety if and only if there exist an integer m >= 0, a bounded symmetric domain D, and a simply connected normal projective variety F such that X~ is biholomorphic to D x C^m x F. A point is permitted as either D or F. No algebraicity of the deck transformations is assumed.
-Kollar-Pardon 2012: https://arxiv.org/abs/1104.2309v2
-
-Exercise: The easy direction. Why does X~ = D x C^m x F imply X~ is semialgebraic projective-open?
-The Borel embedding places D inside its projective compact dual D^v as an open orbit. The adjoint real semisimple group whose identity component preserves D is the identity component of the real points of a real algebraic group; its orbit map onto D^v is therefore semialgebraic by real quantifier elimination. Combining D subset D^v with the standard affine chart C^m subset P^m and the compact projective factor F, the whole product sits semialgebraically and openly in the projective variety D^v x P^m x F.
-Borel 1954: https://doi.org/10.1073/pnas.40.12.1147
-Milne 2005, Introduction to Shimura varieties: https://www.jmilne.org/math/xnotes/svi.pdf
-
-Exercise: Dimension one. How does the classification reduce to classical uniformization?
-A smooth projective curve has universal cover P^1 (genus 0), C (genus 1), or the disc D (genus >= 2). The first case is F = P^1, m = 0, D = point; the second is m = 1, D = point, F = point; the third is D = D, m = 0, F = point. So the classification already covers curves; the content of the theorem is that the three possibilities persist in every dimension, with an extra simply connected projective factor F.
-
-Exercise: Normal, not smooth. Why must the compact projective factor F be allowed to be singular?
-Kollar-Pardon explicitly do not replace F by a smooth resolution. A smooth resolution of the compact factor may destroy the structure of the fibration over the transverse base. The normal singularity of F is preserved throughout the proof: the relative Albanese step uses the normal-projective Albanese theorem, and the product-triviality step uses normality of the compact fibres to conclude from finite birational maps that the projection is an isomorphism. Retaining normal singularities is essential to the statement of the theorem.
-Kollar-Pardon 2012: https://arxiv.org/abs/1104.2309v2
-Claudon-Horing-Kollar 2013, Algebraic varieties with quasi-projective universal cover: https://doi.org/10.1515/crelle.2012.017
-
-Exercise: History. What was known before the full classification?
-Iitaka studied the case X~ = C^n: a smooth projective variety covered by C^n should be a finite unramified quotient of an abelian variety. Nakayama proved the affine-space case from smooth abundance of the canonical divisor. Claudon-Horing-Kollar extended the question to quasi-projective universal covers, proving the classification from smooth abundance and proving the Albanese-bundle theorem unconditionally. Kollar-Pardon formulated the semialgebraic case as Conjecture 2, proved a nonabelian-lattice case of it, and proved a fibre-bundle theorem that remains an essential input here.
-Nakayama 1999, Projective algebraic varieties whose universal covering is C^n: https://doi.org/10.2969/jmsj/05130643
-Claudon-Horing-Kollar 2013: https://doi.org/10.1515/crelle.2012.017
-Kollar-Pardon 2012: https://arxiv.org/abs/1104.2309v2
-
-Exercise: Two inputs new in 2026. What new theorems supply the missing hypotheses?
-First, the log abundance theorem in characteristic zero, applied with zero boundary, supplies the smooth abundance that Claudon-Horing-Kollar had to assume. Second, the abelianity conjecture for smooth compact Kahler special manifolds: the entire ordinary fundamental group of a compact special Kahler manifold is virtually abelian, with no linearity or residual-finiteness hypothesis. Both are used as black boxes; every further conclusion about the transverse action and its kernel is proved in this paper.
-OpenAI 2026, Log abundance in characteristic zero, Theorem 1.1: ./log_abundance_char_zero_original.txt
-OpenAI 2026, The abelianity conjecture for special compact Kahler manifolds, Theorem 1.1: ./abelianity_special_kahler_original.txt
-
-Exercise: Functorial projective resolution. How is the semialgebraic projective specimen turned into a smooth semialgebraic open set?
-Normalize the projective ambient variety along the irreducible component containing X~, and apply functorial resolution of singularities. Compatibility with local analytic isomorphisms identifies the restriction with the pullback of a projective resolution X^+ -> X. The result is a proper modification mu : V -> X~ where V is a smooth semialgebraic open subset of a smooth projective variety Y, and the lifted deck action of Gamma = pi_1(X) on V is free, properly discontinuous, and has compact projective quotient X^+ = V/Gamma.
-Bierstone-Milman 2008, Functoriality in resolution of singularities: https://arxiv.org/abs/math/0702375
-
-Exercise: Local pseudoconvexity of the cover. Why is V locally pseudoconvex in Y?
-This is the analytic-to-algebraic step. Every locally pseudoconvex open subset of a smooth projective variety is Stein at its boundary in the precise sense: it satisfies the Hartogs extension criterion. Ivashkovich shows that a projective covering p : V -> X^+ extends meromorphically over small Hartogs figures in Y, and any first exit along a straight segment contradicts the evenly covered neighbourhood structure of the covering in X^+. The same argument gives local pseudoconvexity of inverse images along holomorphic local sections used later.
-Ivashkovich 2008, Extra extension properties of equidimensional holomorphic mappings, Corollary 2: https://matstud.org.ua/texts/2008/30_2/198-213.pdf
-
-Exercise: Levi form on a real-analytic boundary. What does the Levi form measure, and what is its null distribution?
-Let M be a smooth real hypersurface inside a complex manifold, with a real defining function rho and its real one-form theta restricted to M. The Levi form is the Hermitian form on the complex hyperplane TM cap JTM given by dtheta evaluated on complex vectors. On a locally pseudoconvex boundary it is semidefinite (say nonnegative). Its kernel, the null distribution K = {v : dtheta(v, D) = 0}, has constant rank 2*ell when the Levi form has constant rank, and is involutive by the Jacobi identity. Thus K integrates to complex ell-dimensional foliations by "null plaques". A complex submanifold of M has its tangent space inside K, because the Levi form vanishes on it.
-(Standard argument in sections/windows.tex, Lemma win:plaques.)
-
-Exercise: Algebraic plaques. Why are the Levi null plaques open subsets of complex algebraic varieties?
-In affine coordinates, the real defining polynomial rho has the form v(z)^* C v(z) for a Hermitian matrix C and a vector v of holomorphic monomials. If f is any holomorphic parametrization of a complex plaque with phi(f(zeta), conjugated f(zeta)) = 0, polarization shows v(f(eta))^* C v(f(zeta)) = 0 for independent parameters; hence the complex span W of the vectors v(f(zeta)) is totally C-isotropic. The algebraic set v^{-1}(W) contains the plaque, sits in {rho = 0}, and by the dimension bound (every complex submanifold of M is a plaque) has dimension exactly ell on the component containing the plaque. Bounded monomial degree gives bounded algebraic data.
-(Standard argument in sections/windows.tex, Lemma win:plaques.)
-
-Exercise: Contact quotient. Why does the boundary near a regular plaque look like a contact manifold?
-Divide M by the null distribution K. The quotient inherits a hyperplane field D/K, and its induced exterior derivative is nondegenerate; this is the standard contact structure of dimension 2r+1 (r = rank of the Levi form). Choosing Darboux coordinates (s, w) with contact form ds - sum_j v_j du_j, one takes w = u as a Lagrangian transverse coordinate, s as a characteristic direction, and v as external parameters. The Darboux chart turns the boundary into a family of quadric surfaces, one for each external parameter.
-(Standard argument in sections/windows.tex, Lemma win:period.)
-
-Exercise: Period matrix and the quadratic test. What is the period matrix H(z), and what weighted tangent inequality does it define?
-Comparing the fixed real Lagrangian frame of the contact quotient with the infinitesimal evaluations along the plaque gives a symmetric r x r complex matrix H(z). Symmetry follows from the (1,1)-nature of the contact symplectic form. The sign convention makes B = Im H positive definite. The Taylor expansion of the pulled-back defining function after scaling the transverse directions quadratically produces the weighted tangent inequality Im s - (Im w)^T (Im H(z))^{-1} Im w > 0 for points on the inward side. H is a meromorphic matrix on the smooth projective model L of the plaque.
-(Standard argument in sections/windows.tex, Lemma win:period.)
-
-Exercise: The first kernel and the whole seed fibre. What does the open kernel of the first affine quadratic family look like?
-Given the family in (s, w, z), consider the open kernel of the complexified family in a small ball at a regular point z_0. The component E through the seed ((i, 0), z_0) is semialgebraic, locally pseudoconvex, and invariant under real translations in (s, w) and under positive real scalings of the transverse block. Its whole fibre over z_0 is exactly the Siegel tube {Im s > (Im w)^T A Im w} with A = (Im H(z_0))^{-1}, not just a relatively compact piece. A Bergman-function change of variables biholomorphically maps this tube onto a unit ball, so the whole fibre has a strictly positive Bergman kernel.
-(Standard argument in sections/windows.tex, Lemmas win:seed-bergman and win:first-epigraph.)
-
-Exercise: Exact epigraph equation. Why is E equal to the quadratic side over a whole domain V_2 of L?
-Near generic points of L, the Levi form is nonsingular and the boundary is one of three types: empty, full, or one of the two strict quadratic sides. Each side is connected as an epigraph or hypograph of a quadratic form, and Bochner's tube theorem plus Berndtsson's subharmonicity of log of the Bergman kernel rule out a complex affine line, hence force strict definiteness. The sign is selected by the seed. Extending across the exceptional divisor of L uses tangency propagation along paths inside the tube slice, and a codimension-two thin-omission step (Vajaitu) extends holomorphically. Result: E = {(s, w, z) : z in V_2, Im s > (Im w)^T (Im H(z))^{-1} Im w}.
-Noguchi 2020, A brief proof of Bochner's tube theorem: https://arxiv.org/abs/2007.04597v4
-Berndtsson 2006, Subharmonicity properties of the Bergman kernel: https://www.numdam.org/item/10.5802/aif.2223.pdf
-Vajaitu 2000, Analyticity of q-concave sets: https://aif.centre-mersenne.org/item/10.5802/aif.1789.pdf
-
-Exercise: First epigraph in the source coordinates. How does the quadratic condition descend to V itself?
-The composite map from the original domain V to the first projective model L sends V to the projection V_2 subset L. Near a generic real center and after choosing scales, V corresponds to the condition Im s > (Im w)^T (Im H(z))^{-1} Im w on V_2, for a scalar s and vector w that are algebraic functions of the original coordinates. The map sends the boundary of V to the boundary of the epigraph, and the parameterization is compatible with the real structure. This is the first block of the eventual recursive tower.
-(Standard argument in sections/windows.tex, Lemma win:first-epigraph.)
-
-Exercise: Normalizing a varying Siegel matrix. How is a parameter-dependent H replaced by a polynomial matrix?
-Given a symmetric H_* holomorphic on a full neighbourhood of the real center x_2 with Im H_* > 0, form T_t = (Im H_*(x_2 + R^2_t p_2))^{1/2} and
-H_t(z) = T_t^{-1} ( H_*(x_2 + R^2_t z) - Re H_*(x_2 + R^2_t p_2) ) T_t^{-1}.
-Montel's theorem and maximum principle bound H_t in Siegel space in the normalized coordinates, so its limit is a symmetric polynomial matrix tau with tau(p_2) = iI and Im tau > 0 on the marked component P_2 of the open kernel. The positive square root and its inverse have power bounds under the normalization, so they are admissible.
-(Standard argument in sections/windows.tex, Lemma win:siegel-normalization.)
-
-Exercise: The recursive tower of matrix inequalities. What is the final form of the limiting domain P, and why is it diffeomorphic to R^(2d)?
-The domain P is built inductively: start from a point, add a block (s, w) in C x C^r over the previous tower P_2 by the condition Im M(s, w, z) > 0, where M(s, w, z) = [[s, w^T], [w, tau(z)]] and tau is polynomial with Im tau > 0 on P_2. Schur-complement and the positivity of the "slack" give smooth coordinates, which exhibit P as a Euclidean space of real dimension 2*sum_j (1 + r_j) = 2*complex dimension. The function Phi(Z) = |Z|^2 - sum_j log det Im M_j(Z) is a strictly plurisubharmonic exhaustion, so P is Stein. A one-block-at-a-time Cayley transform gives a bounded realization.
-Kobayashi 1967, Invariant distances on complex manifolds: https://www.jstage.jst.go.jp/article/jmath1948/19/4/19_4_460/_pdf
-(Standard argument in sections/windows.tex, Proposition win:tower-properties.)
-
-Exercise: Triangular recenterings and open kernels. Why do triangular normalization matrices convert bounded paths into attached-disc boundaries?
-After normalizing with R_t(x), the boundary of the scaled domain becomes the graph {(u, Z) : u + G_x(u) Z_in S} in original coordinates. Because the normalization is block triangular, each block of G_x depends only on later block cycles, and the whole construction is polynomial and invertible. As t -> 0, the associated graph converges to a graph of the form u + G_x(u)F(a), which is exactly the boundary of a complex disc with a schedule a(.) on the circle. This is the reduction used by Bishop and Hill-Taiani.
-(Standard argument in sections/localization.tex, proof of Theorem loc:theorem; Bishop 1965; Hill-Taiani 1978.)
-
-Exercise: Bishop's reduction. How does Bishop's argument convert the boundary-of-a-disc question into a linear equation on the circle?
-Given a real-valued smooth boundary function v(theta) on the circle and an imaginary part w(theta), the boundary of a holomorphic disc equals v + i w exactly when v - mean(v) = -H w, where H is the Hilbert transform (H(cos n theta) = sin n theta). For triangular systems in the tower this becomes a strictly triangular equation in C^alpha; the operator is identity plus nilpotent, so it is invertible, and the disc close-up has full real rank 2*ell in the imaginary perturbation. Small perturbations of the schedule are controlled by the implicit function theorem in C^alpha, by compactness.
-Bishop 1965, Differentiable manifolds in complex Euclidean space: https://doi.org/10.1215/S0012-7094-65-03201-1
-Hill-Taiani 1978, Families of analytic discs with boundaries on a prescribed CR submanifold: https://www.numdam.org/item/ASNSP_1978_4_5_2_327_0.pdf
-Priwaloff 1916, Sur les fonctions conjuguees: https://www.numdam.org/article/BSMF_1916__44__100_0.pdf
-Essen 1984, A superharmonic proof of the M. Riesz conjugate function theorem: https://doi.org/10.1007/BF02384381
-
-Exercise: Bounded-path localization. What exactly does Theorem loc:theorem guarantee, and why is it needed?
-Local pseudoconvexity (Ivashkovich) alone controls interior points, not the endpoint of a bounded path that exits through a boundary face. The theorem asserts that, under triangular recenterings satisfying the ratio condition R_t(x)^{-1} R_t(x + R_t(x) u) -> G_x(u) with polynomial limits, any bounded path in the scaled domain S_{t,x} starting at the seed p and converging to z has z in the closure of the marked component P. The mechanism is that the boundary of any such path, when pushed through the triangular normalization, becomes the boundary of a family of attached discs. Persistence and the center-differential invertibility then put a ball around the discriminating parameter map in P; the endpoint of the path is a limiting center.
-(Standard argument in sections/localization.tex, Theorem loc:theorem.)
-
-Exercise: Power diagonalization. Why can one replace two scales by a single scale equation?
-Given a bounded globally subanalytic function f(e, t, v) with iterated limit f_{00}(v) = lim_t->0 lim_e->0 f(e, t, v), there is an integer N_0 such that for every integer N > N_0, lim_t->0 f(t^N, t, v) = f_{00}(v) for each fixed v. The threshold of convergence is a definable function of (v, delta), bounded below by a power of t by the Puiseux-preparation lemma. Composing scales via t^N then preserves the marked component of the open kernel on every fixed bounded box. This reduces the two-scale construction of the tower to a single-scale theorem.
-(Standard argument in sections/preliminaries.tex, Lemma prep:power-diagonalization.)
-
-Exercise: Guard functions. What is the guard, and why does it control the exhaustion?
-The guard attached to a chart is h(Z) = exp(-alpha * sum_j tr log(I - i M_j(Z))) on the normalized tower P, with alpha a small positive rational. On the resolved chart it satisfies |h(Z)| <= C (1 + |Z|)^{-alpha}, it lies in a fixed sector {|arg h| < theta} with theta < pi/2, and it extends holomorphically to a neighbourhood of any compact parameter region. Every compact subset of P is eventually contained in the domains on which h is defined, so h controls the exhaustion of deck-translated charts. Its purpose is to keep the translated charts inside a uniformly bounded model so that the compactness principle applies.
-(Standard argument in sections/quotient.tex, Lemma quo:guard.)
-Grauert 1958, Analytische Faserungen ueber holomorph-vollstaendigen Raeumen: https://doi.org/10.1007/BF01351803
-
-Exercise: Incidence trace. What is the incidence trace function, and why is it plurisubharmonic and bounded?
-Fix a chart, let H_i be its marked region, and let pi_i : U_i -> H_i be the local parameter submersion. Put u_i(b) = log|h| + a_i |b|^2 with a_i small. The trace Phi_i(y) = sum over parameters b with y in Z_b and b in H_i of max(0, u_i(b) - m_i), counted with finite-map multiplicity, is bounded above and plurisubharmonic on V. It equals a sum of subharmonic functions near regular points of the finite projection, and away from the discriminant the bounded removable extension plus the fact that u_i is strictly plurisubharmonic at each root stop the sum from being constant; hence each root must be locally constant. The trace is used to prove that distinct fibres of the intrinsic quotient are disjoint.
-(Standard argument in sections/quotient.tex, Lemma quo:incidence.)
-Demailly 2012, Complex Analytic and Differential Geometry, Corollary I.5.24: https://www-fourier.univ-grenoble-alpes.fr/~demailly/manuscripts/agbook.pdf
-
-Exercise: Whole projective fibres. Why does each parametrized intersection with the cover become a whole fibre, and not a proper piece?
-Because pi_i : U_i -> H_i is a submersion with connected fibres, and the trace argument shows any two positive-dimensional pieces over distinct parameters cannot intersect (they would force equality of parameters). The fibre pi_i^{-1}(b) = Z_b cap V. Then by passing through the local evaluation submersion q : Q|_S -> Y, the parameter family is a proper analytic family whose complement to the incidence locus is analytic; and the actual holes are analytic. The image of these holes is precisely the algebraic complement Z_b minus V in the model variety Z_b. The key point is "generic fibrewise algebraic", so Z_b cap V is a Zariski open subset of Z_b, not just an image of one.
-(Standard argument in sections/quotient.tex, Lemma quo:incidence.)
-
-Exercise: Cutoff-guard compactness. If h_i satisfies uniform boundary bound delta_i -> 0 and h_i extends by zero, what does the resulting limit satisfy?
-Given a complex manifold D, open A_i subset D, holomorphic h_i on A_i with |h_i| <= C and |h_i| <= eta_i uniformly near every boundary point of A_i inside D, extend h_i by zero to D. A subsequence converges uniformly on compact subsets of D to a holomorphic function h. Despite the discrete jumps at each fixed index, an asymptotic-equicontinuity argument (one-variable analysis on complex lines) upgrades the Sobolev bound to Arzela-Ascoli, and the argument principle on level sets of |h_i| excludes values above the level inside the disk of convergence. The conclusion: any limit is nowhere zero, and every compact subset of D lies in A_i for all large i.
-(Standard argument in sections/quotient.tex, Lemma quo:cutoff-normal.)
-
-Exercise: Trapping corollary. What does Corollary quo:trapping say about translated charts?
-Let D_i exhaust a connected complex manifold D and g_i : D_i -> V blow up to V and satisfy at points x_i -> x that the normalized parameters pi_i(g_i(x_i)) converge to the seed p in the intrinsic tower. Then every compact subset of D is eventually mapped into U_i by g_i, and after a subsequence pi_i o g_i converges normally in D to a holomorphic map with values in P. The same statement holds for maps into a manifold furnished with these projection charts and their guards. The proof applies cutoff-guard compactness to the composite h o pi_i o g_i, then applies bounded-path localization to the limit parameter map.
-(Standard argument in sections/quotient.tex, Corollary quo:trapping.)
-
-Exercise: Intrinsic quotient. Why is the quotient of V by the union of fibres a complex manifold?
-Each chart U_i is locally biholomorphic to its parameter domain H_i via pi_i. Two charts whose fibres meet equal whole fibres (by the incidence lemma above). So the equivalence "same fibre" defines a Hausdorff, second-countable quotient M which is covered by biholomorphic coordinate patches isomorphic to the H_i, with holomorphic transition maps (compose a section with the other projection). Deck-translations act on M. Fixing deck-translations and applying trapping gives an exhaustion of V by the translated charts, so the quotient map f : V -> M is a submersion.
-(Standard argument in sections/quotient.tex, Section quo:section.)
-
-Exercise: Inverse tightness. Why do inverse charts of the quotient close up in a fixed chart?
-Let K be a compact subset of the intrinsic domain P. The translated charts U_i contain every compact subset of V. The inverse maps psi_i : P -> M are constructed from chart inverse maps. Failure of K to land in a fixed M_j would allow infinitely many i_nu with parameters escaping every bounded box. Translating back and applying trapping (with the second-scale coordinates chosen to hit the seed) shows that psi_{i_nu}(K) lies in one fixed M_j after all, contradiction. Then Montel plus normal convergence of phi_i and psi_i identifies the two inverse maps as biholomorphisms, and M is biholomorphic to P.
-(Standard argument in sections/quotient.tex, Lemma quo:inverse-tightness.)
-
-Exercise: Normal-source descent. Why does the intrinsic quotient of V descend to the normal projective universal cover?
-Every compact connected fibre of mu is a compact irreducible complex space, so holomorphic functions are constant on it, and mu_*O_V = O_X~. Thus any holomorphic f : V -> M that is constant on compact fibres factors uniquely through mu, giving a holomorphic f_X : X~ -> M with f = f_X o mu. Equivariance of f under the deck action plus uniqueness makes f_X equivariant. Connectedness of the original fibres and mu^{-1}(f_X^{-1}(m)) = f^{-1}(m) show connectedness of the descended fibres. Normalizing the compactifications gives locally analytic algebraic holes on every fibre.
-(Standard argument in sections/quotient.tex, Lemma quo:descent.)
-
-Exercise: Normal and flat compactifications. Why does the normal-source family descend with normal fibres and flatness?
-After shrinking the parameter box at a generic real center, the incidence family normalizes to a proper map N -> B with normal fibres, and Greuel's theorem makes the "non-normal" locus a nowhere dense analytic subset. Since the chosen parameter is a generic point of a full-dimensional totally real box, it avoids the closure. Then flatness and normality hold over the full box. A simultaneous resolution of the correspondence gives smooth projective families on every fibre; the map to the normalized family is bimeromorphic on every fibre. Finally, the canonical Whitney stratification of the total space is by definition intrinsic, and after shrinking further the parameter projection is submersive on every stratum, giving topological local triviality (Mather's first isotopy lemma for proper stratified submersions).
-Greuel 2017, Equisingular and equinormalizable deformations: https://arxiv.org/abs/1702.05505v2
-Teissier 1982, Varietes polaires II, Propositions 3.1-3.2: https://webusers.imj-prg.fr/~bernard.teissier/documents/VarPol2.pdf
-Mather 1970, Notes on topological stability, Proposition 11.1: https://webhomes.maths.ed.ac.uk/~v1ranick/papers/matherj.pdf
-
-Exercise: Intrinsic projection theorem. What does the projection theorem assemble, and what does it hand to the next step?
-Theorem quo:projection, under condition (i) of Theorem 1 and the boundary construction of Theorem win:construction, constructs a contractible Stein manifold M, an equivariant surjective submersion f : V -> M, and an equivariant holomorphic map f_X : X~ -> M with f = f_X o mu. Both maps have connected fibres, and every fibre has a local projective compactification with analytic holes. The normality of the source fibres is preserved, and f_X is flat. If in addition the image Lambda of the deck action on M is discrete acting freely, then the descended map X -> M/Lambda, its pullback to M, and its finite covering families are flat, topologically locally trivial, and have connected normal projective fibres; fibrewise resolutions are smooth proper projective families; the morphisms become local-system maps on integral cohomology.
-(Standard argument in sections/quotient.tex, Theorem quo:projection.)
-
-Exercise: Campana core and special varieties. What does the Campana core of a compact Kahler manifold record?
-A smooth compact Kahler manifold Z is special when it has no Bogomolov sheaf: no line bundle L with nonzero morphism L -> Omega_Z^r and Iitaka dimension kappa(Z, L) = r > 0. Campana's core theory provides a projective modification r : Z' -> Z and a holomorphic core map c : Z' -> C whose very general smooth connected fibre is special, and whose orbifold base is of general type unless C is a point. The orbifold Kobayashi-Ochiai theorem then says that a meromorphic map from a punctured manifold into Z, of maximal rank dim C, extends meromorphically across the puncture after composing with the core.
-Campana 2004, Orbifolds, special varieties and classification theory, Theorem 8.2: https://arxiv.org/abs/math/0110051v9
-
-Exercise: Special compact Kahler abelianity. What is the abelianity statement for compact special Kahler manifolds?
-For every smooth compact Kahler manifold Z that is special in the sense of Campana, the entire ordinary fundamental group pi_1(Z) is virtually abelian: it contains an abelian subgroup of finite index. No linearity, no residual-finiteness, no algebraicity is assumed. This is used as a black box, applied to smooth connected compact special core fibres and to the whole manifold when the core is a point.
-OpenAI 2026, The abelianity conjecture for special compact Kaehler manifolds, Theorem 1.1: ./abelianity_special_kahler_original.txt
-
-Exercise: Liouville lemma for virtually abelian covers. Why is every bounded holomorphic function on a virtually abelian cover of a compact Kahler manifold constant?
-Let a : W -> Z be a connected regular cover of a compact connected Kahler manifold, with deck group virtually abelian. Choose an abelian subgroup A of finite index; the quotient Z_A = W/A is compact Kahler. Pull back a Kahler metric to W (complete) and consider the convex set H of strictly positive harmonic functions with h(o) = 1. Harnack and elliptic estimates make H compact; an extreme point h has minimal cone, and by a uniform Harnack chain the translates h(alpha x) are positive constant multiples of h(x) for each alpha in A. So d log h descends to a closed one-form on Z_A with divergence = -|eta|^2; integrating forces eta = 0 and h = 1. Real and imaginary parts of any bounded holomorphic function are harmonic, so both are constant.
-Lyons-Sullivan 1984, Function theory, random paths and covering spaces, Theorem 1: https://doi.org/10.4310/jdg/1214438681
-Serrin 1964, Local behavior of solutions of quasi-linear equations: https://doi.org/10.1007/BF02391014
-Nirenberg 1959, On elliptic partial differential equations: https://www.numdam.org/item/ASNSP_1959_3_13_2_115_0.pdf
-
-Exercise: Countable levels become locally finite parameters. Why is the set of parameters reached by a fixed core level countable and locally finite?
-Fix a very general smooth connected special core fibre F_s = c^{-1}(s) in the projective model Z of X^+. Pull F_s back under the cover p to V; each connected component is a regular cover of F_s with group the image of pi_1(F_s) in Gamma, and this image is virtually abelian by the abelianity input. Bounded holomorphic coordinates of the intrinsic map f are constant on every such component by the Liouville lemma. So f sends the connected components of p^{-1}(r(F_s^o)) to a countable set D_s. Local finiteness: apply the proper-meromorphic-fibre lemma to a local incidence chart Q -> B, where the map to C is a meromorphic extension. A proper analytic map from an analytic set meeting a countable-fibre locus is locally constant, because a positive-rank holomorphic map has uncountable image; properness cuts off accumulation.
-(Standard argument in sections/groups.tex, Lemmas grp:countable-core-level and grp:finite-level-projection.)
-
-Exercise: Discreteness of the transverse action. Why is Lambda = rho(Gamma) subset Aut(M) discrete and cocompact?
-Take the closure H of Lambda inside Aut(M). For every very general core level, D_s is Lambda-invariant (deck action preserves p, equivariance of f), and since D_s is locally finite in M it is also closed. Any orbit of the identity component H^0 is connected and lies inside the discrete set D_s, so it is a single point. Therefore H^0 fixes the dense union of the D_s pointwise, hence M pointwise, hence H^0 is trivial. A closed subgroup of a Lie group with trivial identity component is discrete, so H is discrete, so Lambda is discrete.
-The quotient X^+ = V/Gamma is compact, so its image M/Lambda is compact since f is surjective.
-(Standard argument in sections/groups.tex, Proposition grp:discrete.)
-
-Exercise: Free finite-index action. Why is there a torsion-free finite-index subgroup of the transverse image acting freely on M?
-The group Gamma is finitely generated (a quotient of pi_1(X^+)), and so is Lambda. Its image under the adjoint Ad(Lambda) subset GL(Lie(Aut M)) is a finitely generated linear group over R, hence by Selberg's lemma has a torsion-free finite-index subgroup L. Set Lambda_1 = (Ad|_Lambda)^{-1}(L), still finite index in Lambda. For any m in M, the stabilizer (Lambda_1)_m acts on the tangent space via identity (because the complete holomorphic vector fields of Aut(M) span every complex tangent space at m, and Ad-invariance gives d lambda_m = 1); a finite-order biholomorphism with identity tangent map is the identity near the fixed point and hence globally. Then (Lambda_1)_m is trivial. Torsion-freeness of Lambda_1 itself follows from a finite free resolution of Z over Z[Lambda_1] obtained by lifting a finite triangulation of the compact quotient; a finite cyclic subgroup would force bounded cohomological dimension. The preimage of Lambda_1 in Gamma corresponds to a finite unramified projective cover X' -> X via Riemann existence.
-Selberg 1960, On discontinuous groups in higher-dimensional symmetric spaces: https://mathweb.tifr.res.in/Documents/Publications/Studies/Function_Theory.pdf
-Wolf 1968, Growth of finitely generated solvable groups: https://math.berkeley.edu/~jawolf/publications.pdf/paper_033.pdf
-
-Exercise: Bergman kernel and positive canonical bundle. Why does M/Lambda have ample canonical bundle?
-When Lambda acts freely, put B = M/Lambda. The intrinsic Bergman kernel of square-integrable canonical forms on the bounded realization of M is positive everywhere, so it gives a Hermitian metric on K_M with strictly positive complex Hessian; biholomorphism-invariance makes this descend to a metric on K_B of strictly positive curvature. Kodaira embedding then makes K_B ample and c_1(B) < 0. In dimension one the same positivity-to-ample step is Riemann-Roch; the point case is immediate. So B is a compact aspherical projective manifold with negative first Chern class.
-Kodaira 1954, On Kahler varieties of restricted type: https://doi.org/10.1073/pnas.40.5.313
-
-Exercise: Nadel-Frankel splitting. Why is M biholomorphic to a bounded symmetric domain?
-The Farb-Weinberger statement of the Nadel-Frankel splitting theorem applies to compact aspherical B with ample canonical bundle and gives a factorization of universal covers: M = D_sym x R, where D_sym is a bounded symmetric domain and Aut(R) is discrete. Bergman-kernel invariance gives a product structure of the Bergman metric, g_M = g_D + g_R. If R had a positive-dimensional Euclidean factor, its parallel vector fields would generate a C^a factor and Liouville would contradict boundedness of M; so R has no Euclidean de Rham factor. Then by uniqueness of de Rham decomposition, every isometry in the identity component preserves the two factors. Aut(R) being discrete, any element of Aut(M)^0 acts on R as the identity. Therefore the complete holomorphic vector fields from Aut(M)^0 have zero R-component. Spanning of tangent spaces over C forces dim R = 0, hence M = D_sym.
-Farb-Weinberger 2008, Isometries, rigidity and universal covers, Theorem 1.10: https://annals.math.princeton.edu/wp-content/uploads/annals-v168-n3-p05.pdf
-De Rham 1952, Sur la reductibilite d'un espace de Riemann: https://doi.org/10.1007/BF02564308
-Kobayashi 1967: https://www.jstage.jst.go.jp/article/jmath1948/19/4/19_4_460/_pdf
-
-Exercise: Theorems for the transverse symmetric factor. What does Theorem grp:discrete-symmetric conclude now that all inputs are in place?
-Under the intrinsic-projection hypotheses (contractible Stein M with complete holomorphic vector fields spanning every tangent space) and the intrinsic-quotient inputs (guarded propagation from any chart), the transverse image Lambda is discrete and cocompact, and after the free finite-index passage Lambda acts freely; the domain M is biholomorphic to a bounded symmetric domain D_sym, with a point allowed. The theorem body is the combination of the discreteness proposition (countable-locally-finite D_s plus connected-closure argument), the free finite-index lemma (Selberg + adjoint + torsion-free quotient), the Bergman-Kodaira ampleness, and the Nadel-Frankel decomposition with the R-factor exclusion.
-(Standard argument in sections/groups.tex, Theorem grp:discrete-symmetric.)
-
-Exercise: Compactifiable covers. Why is the deck group virtually abelian when the cover is a Zariski-open subset of a smooth projective manifold?
-Suppose a : U -> N is a connected regular cover of a smooth connected projective manifold, with deck group K, and U is a Zariski open subset of a smooth projective Ubar. Choose a smooth projective core model r : N' -> N. Use Campana's core extension along the boundary to get a meromorphic h : Uhat -> C and a projective modification tau : Uhat -> Ubar. Very general levels h^{-1}(s) intersect tau^{-1}(U) in finitely many components; components on the retained ordinary part recover connected components of a^{-1}(r(F_s^o)), where F_s = c^{-1}(s) is a connected special fibre. Then the index of the image H = im(pi_1(F_s^o) -> K) is finite (one per component). The quotient H is virtually abelian since F_s is special; and since F_s^o has the same pi_1 as F_s (perturbed loops), H is virtually abelian. An abelian finite-index subgroup of H also has finite index in K, so K is virtually abelian.
-(Standard argument in sections/groups.tex, Lemma grp:compactifiable-cover.)
-
-Exercise: Fibre kernel abelianity. Why is the kernel K = ker(Gamma -> Lambda) finitely generated and virtually abelian?
-After the free finite-index passage, K is the stabilizer in Gamma of any point m in M. The equivariant submersion f descends to a proper holomorphic submersion g : X^+ -> B = M/Lambda. Its fibre N_b is a smooth connected projective manifold; restricting p gives f^{-1}(m) -> N_b as a connected regular covering with group K. The projection f^{-1}(m) -> N_b is a Zariski open subset of a compactification with analytic boundary, so the compactifiable-cover lemma plus the compact special abelianity conclusion on N_b both give "K is virtually abelian". Surjectivity of pi_1(N_b) -> K (as monodromy of the connected regular cover) plus finite presentability of pi_1 of compact manifolds gives finite generation.
-(Standard argument in sections/groups.tex, Theorem grp:kernel-abelian.)
-
-Exercise: Characteristic free abelian subgroup. Why is there a characteristic finite-index subgroup K' of the fibre kernel K that is free abelian?
-The kernel K is finitely generated and virtually abelian. Choose any finite-index abelian subgroup and pass to its torsion-free part B, which is free abelian of some rank 2a and finite index d in K. Intersect all subgroups of K of index at most d: there are finitely many such, because a finitely generated group has only finitely many homomorphisms to any fixed finite symmetric group, and their intersection is characteristic of finite index and lies inside B. Since K is normal in Gamma, so is K'. The quotient X = U/K' is then normal with a proper flat map p : X -> M, topologically locally trivial with connected normal projective fibres N_m, and pi_1(N_m) -> pi_1(X) = K' is an isomorphism.
-(Standard argument in sections/compact.tex, Lemma cmp:characteristic.)
-
-Exercise: Relative Albanese descent. How does the fibrewise Albanese of the normal projective fibres assemble?
-The normal-projective Albanese theorem says that for a normal projective variety N, the induced map H_1(N, Z) -> H_1(Alb N, Z) is surjective with finite kernel, and is an isomorphism whenever pi_1(N) is torsion-free. In our situation pi_1(N_m) = K' is torsion-free, so H^1(N_m, Z) sits as a lattice of rank 2a. Taking the weight-one variation of Hodge structures on the smooth proper projective family p^+ : Y -> M of the simultaneous resolution, let W^{1,0} = W_O cap F^1 H_O where W_Z is a rank 2a sublocal-system and F^1 H_O the Hodge filtration. This gives a smooth family of Albanese tori q : A -> M together with a proper morphism alpha : X -> A over M whose fibre over m is the normal Albanese alpha|_{N_m}. Both constructions are Gamma/K'-equivariant.
-Griffiths 1968, Periods of integrals on algebraic manifolds II, Theorem (1.1): https://publications.ias.edu/sites/default/files/periodsofintegralII68.pdf
-Claudon 2018, Smooth families of tori and linear Kahler groups: https://afst.centre-mersenne.org/item/10.5802/afst.1576.pdf
-(Standard argument in sections/compact.tex, Lemma cmp:albanese.)
-
-Exercise: Kollar-Pardon bundle theorem. What does the Kollar-Pardon fibre-bundle theorem assert, and how is it applied?
-Suppose N is a normal projective variety, B a smooth projective variety with contractible universal cover, and g : N -> B a morphism such that the entire pullback of N to the universal cover B~ is biholomorphic to a semialgebraic open subset of a projective variety. Then g is a holomorphic fibre bundle. Applying this to the fibrewise Albanese N_m -> Alb(N_m) (whose target is an abelian variety with universal cover C^a, and whose pullback cover is exactly the universal cover of N_m by the previous exercise) makes the Albanese map a holomorphic fibre bundle with flat and connected, reduced normal projective, in fact simply connected, fibres. The resulting map X -> A is flat by the fibrewise-flatness criterion.
-Kollar-Pardon 2012, arXiv v2, Theorem 20: https://arxiv.org/abs/1104.2309v2
-(Standard argument in sections/compact.tex, Proposition cmp:affine-base.)
-
-Exercise: The proper map to the affine base. Why does the universal cover of the Albanese family give T isomorphic to M x C^a?
-Let T -> A be the universal cover of the family of Albanese tori. The pullback X x_A T is connected and simply connected (because on pi_1 the map alpha is an isomorphism), and it is a proper flat family with simply connected normal projective fibres: this is U, with j : U -> T proper and flat. Because the universal cover of a torus bundle is an affine bundle over M with linear part the relative Hodge bundle E, its translation cocycle lies in H^1(M, O(E)) = 0 by Cartan's theorem B. So T = E as a holomorphic vector bundle; topologically E is trivial (contractible base), and by the Oka principle it is holomorphically trivial, so T = M x C^a.
-Cartan 1952, Faisceaux analytiques sur les varietes de Stein, Expose 18: https://www.numdam.org/article/SHC_1951-1952__4__A18_0.pdf
-Forstneric-Prezelj 2000, Oka's principle for holomorphic fiber bundles with sprays: https://arxiv.org/abs/math/0305238
-Grauert 1958: https://doi.org/10.1007/BF01351803
-(Standard argument in sections/compact.tex, Proposition cmp:affine-base.)
-
-Exercise: Rigidity for invariant closed subsets. If a closed invariant subset of a contractible manifold has finite-CW homotopy type, why is it the whole manifold?
-Let a countable discrete group act properly and cocompactly by diffeomorphisms on T homeomorphic to R^b, let A subset T be closed, invariant, of finite CW type, and nonempty. A proper cocompact action admits a complete invariant Riemannian metric. Using a locally finite partition of unity subordinated to the orbit-centre balls, one constructs a continuous proper map s : T -> A (successive applications of a contracting homotopy of A, translated into the covering). Composing the resulting proper map s with a proper contraction of R^b (obtained the same way but into a point) gives a proper homotopy from id_T to i o s. Then if b > 0 and x is not in A, the one-point compactification argument (degree of a proper map) gives a contradiction, so A = T. Finite stabilizers only add finite repetitions and do not affect the argument.
-Kollar-Pardon 2012, Section 1, Lemmas 11-12 and Proposition 13: https://arxiv.org/abs/1104.2309v2
-(Standard argument in sections/compact.tex, Lemma cmp:closed-rigidity.)
-
-Exercise: Chow space of fibres. Why do the fibres of j form a semialgebraic locus in a Chow space?
-Choose a semialgebraic realization U subset Z of a projective variety Z, and consider the projective Chow space Chow_{n,d}(Z) of integral n-cycles of degree d, where n is fibre dimension and d is the degree of one fibre. The locus C of integral cycles whose support lies in U is semialgebraic: the integrality condition is the complement of the images of finitely many proper addition maps, and support containment in U is real-semialgebraic by incidence and quantifier elimination. The graph of j inside T x Z thus has an analytic family of fibre cycles, continuous in the analytic cycle space; comparison of Chow and analytic cycle topologies (via continuous bijection from a compact Chow space onto a compact analytic cycle family) makes t -> [j^{-1}(t)] a homeomorphism from T to C.
-Barlet 1999, How to use the cycle space in complex geometry: https://library.slmath.org/books/Book37/files/barlet.pdf
-Andreotti-Norguet 1967, La convexite holomorphe dans l'espace analytique des cycles: https://www.numdam.org/item/ASNSP_1967_3_21_1_31_0.pdf
-(Standard argument in sections/compact.tex, Lemma cmp:chow-base.)
-
-Exercise: Polarized isomorphism classes. Why does the locus of fibres polarized-isomorphic to a fixed fibre form a semialgebraic subset of C?
-Fix a fibre F and an ample line bundle L_F, and choose k > 0 so that L_F^k is very ample. Any polarized isomorphism g : F -> j^{-1}(t) has graph of fixed degree D = integral over j^{-1}(t) of (k c_1(L) + c_1(O_Z(1)))^n, which is constant in t by continuity of the analytic cycle family. Introducing the locus P in the projective Chow space of cycles in F x Z satisfying the graph conditions (image in F x U, both projections finite and injective), one shows P is semialgebraic and parametrizes isomorphisms. The universal incidence over P identifies as F x P as a topological space, and the evaluation map on F x P gives a continuous family of line bundles; since Pic(F) -> H^2(F, Z) is injective on a simply connected normal projective F, the locus where this bundle is isomorphic to L_F is a union of connected components of P, hence semialgebraic. Its image in C under the "support of graph" map is the requested polarized-isomorphism class.
-Kleiman 2005, The Picard scheme, Theorem 5.4: https://arxiv.org/abs/math/0504020
-Serre 1956, Geometrie algebrique et geometrie analytique, Proposition 18: https://numdam.org/item/10.5802/aif.59.pdf
-(Standard argument in sections/compact.tex, Lemma cmp:polarized-locus.)
-
-Exercise: Triviality of the compact factor. Why do all compact fibres become the same variety, and why is the family a holomorphic product?
-Every polarized isomorphism class is a Gamma-invariant semialgebraic subset of C. Its closure in C is nonempty, closed, invariant, and (by semialgebraic triangulation) has the homotopy type of a finite CW complex; the rigidity lemma (with T = C modeled on the semialgebraic space) then forces that closure to be all of T. So every class is dense. But two disjoint semialgebraic subsets of a semialgebraic space cannot both be dense, because a dense semialgebraic subset contains a relatively open dense subset. So all fibres are isomorphic as polarized varieties.
-Now all fibres are isomorphic, so on a small open base B subset T the family j^{-1}(B) -> B admits a holomorphic Hilbert embedding into B x P^q, and the Hilbert-map locus is contained in the orbit of the fixed embedded fibre under G_0 = PGL_{q+1}(C). This orbit is a smooth locally closed complex subvariety, so the Hilbert map factors holomorphically through it. For the algebraic stabilizer G of that orbit, the projection G_0 -> G_0/G has local holomorphic sections; lifting locally gives a holomorphic product B x F, so the family is associated to a holomorphic principal G-bundle. Since T is contractible and paracompact, that bundle is topologically (hence holomorphically, by the Oka principle) trivial. So U = T x F.
-Grauert 1960, Ein Theorem der analytischen Garbentheorie, Satz 5: https://www.numdam.org/item/PMIHES_1960__5__5_0.pdf
-Douady 1966, Le probleme des modules pour les sous-espaces analytiques compacts: https://www.numdam.org/article/AIF_1966__16_1_1_0.pdf
-Grothendieck 1961, Seminaire Bourbaki, Expose 221: https://www.numdam.org/article/SB_1960-1961__6__249_0.pdf
-Forstneric-Prezelj 2000: https://arxiv.org/abs/math/0305238
-(Standard argument in sections/compact.tex, Proposition cmp:product.)
-
-Exercise: The Kollar-Pardon classification assembled. What is the pattern of the full classification proof?
-Combine: (a) Bierstone-Milman functorial resolution to get the smooth semialgebraic open set V subset Y with deck action; (b) Ivashkovich's local pseudoconvexity of V; (c) boundary windows: algebraic plaques, contact quotient with Darboux coordinates, period matrix, first quadratic epigraph, recursive tower of matrix inequalities, bounded-path localization with attached discs; (d) the intrinsic quotient theorem making M = P and the descended f_X : X~ -> M equivariant; (e) Campana core plus compact special abelianity of OpenAI 2026 plus Liouville making the transverse image discrete and cocompact; (f) Selberg + adjoint making it free after finite cover; (g) Bergman + Kodaira + Nadel-Frankel making M a bounded symmetric domain; (h) the compactifiable-cover lemma making the fibre kernel virtually abelian; (i) relative Albanese + Kollar-Pardon bundle theorem making U -> T = M x C^a proper flat with simply connected compact normal projective fibres; (j) Chow-space rigidity plus polarized-isomorphism classes plus Oka principle making the compact fibres all isomorphic and the family holomorphically trivial. Assembling gives X~ = D x C^m x F.
-(Standard argument in main.tex, Section sec:assembly.)
-
-Exercise: The converse direction. What goes wrong if you try to prove the classification without the easy direction?
-The easy direction is not obvious -- it is where the three factors actually produce a semialgebraic projective-open presentation. If X~ = D x C^m x F, the bounded symmetric factor D embeds in its projective compact dual D^v by the Borel embedding; the affine C^m embeds in P^m; and the compact F already sits in a projective variety. The product D x C^m x F sits therefore as a semialgebraic open subset of a projective variety. The content is only the fact that D's Borel embedding is semialgebraic -- which is what real quantifier elimination on the adjoint group orbit provides. Without this step, the classification would only give "X~ = D x C^m x F implies X~ is a bounded domain modulo a compact factor", which is not the same statement.
-Borel 1954: https://doi.org/10.1073/pnas.40.12.1147
-Milne 2005: https://www.jmilne.org/math/xnotes/svi.pdf
-Falbel-Guilloux-Will 2024 (author version 2024-03-27), Hilbert metric for bounded symmetric domains, Section 2.1.1: https://www-fourier.ujf-grenoble.fr/~will/Hilbert-BoundedSymmetric3.pdf
-(Standard argument in sections/compact.tex, Proposition cmp:converse.)
-
-Exercise: Remmert reduction. Why is U holomorphically convex, and what is its Remmert reduction?
-Under the classification, write U = X~ = B x F with B = D x C^m the Stein base and F connected compact normal projective. Projection p : U -> B is proper and surjective. For every open V subset B and every h in O_U(V x F), fibrewise constancy (holomorphic functions on a connected compact complex space are constant) gives h(b, z) = h(b, z_0) for some fixed z_0 in F. So the restriction along the holomorphic section b -> (b, z_0) inverts pullback, giving O_B -> p_* O_U an isomorphism. For every compact K subset U:
-  hat{K}_{O(U)} = p^{-1}( hat{p(K)}_{O(B)} ),
-which is compact because B is Stein and p is proper. Thus U is holomorphically convex, and p is its Remmert reduction. U is Stein iff F is a point: if F has two distinct points, global holomorphic functions cannot separate them; the point case gives U = B Stein directly.
-Demailly 2012, Complex Analytic and Differential Geometry, Corollary II.5.8: https://www-fourier.univ-grenoble-alpes.fr/~demailly/manuscripts/agbook.pdf
-(Standard argument in main.tex, Corollary cor:remmert-semialgebraic.)
-
-Exercise: Singer vanishing. What are the L^2 Betti numbers of a smooth aspherical projective X when U is semialgebraic projective-open?
-Let X be a smooth closed aspherical projective complex n-fold whose ordinary universal cover X~ = U is semialgebraic projective-open. Its L^2 Betti numbers satisfy b_j^(2)(X) = 0 for all j != n, and if m > 0 in the classification X~ = D x C^m x F, then b_j^(2)(X) = 0 for all j >= 0. The proof has two cases:
-m > 0: take the characteristic free abelian subgroup K' = Z^{2m} normal in Gamma from the previous construction. This is an infinite normal amenable subgroup of Gamma, so Cheeger-Gromov's L^2 vanishing theorem kills every group L^2 Betti number; finite-cover proportionality transfers this to X~.
-m = 0: then U = D, complete symmetric of noncompact type. Olbrich's L^2 cohomology of the universal symmetric space has harmonic kernels in dimension n and only n, and the deck group acts freely and cocompactly by Bergman isometries, so the cocompact L^2 de Rham identification gives the stated vanishing.
-Cheeger-Gromov 1986, L_2-cohomology and group cohomology, Theorem 0.3(3): https://www.ihes.fr/~gromov/wp-content/uploads/2018/08/549.pdf
-Olbrich 2002, L^2-invariants of locally symmetric spaces, Proposition 1.2 and Section 4: https://arxiv.org/abs/math/0009039
-(Standard argument in main.tex, Corollary cor:singer-semialgebraic.)
-
-Exercise: Quasi-projective covers. What does the classification say when X~ is quasi-projective rather than semialgebraic projective-open?
-For a connected normal projective X over C with ordinary universal cover U, the following are equivalent:
-(i) U is biholomorphic to a quasi-projective variety;
-(ii) some finite etale Galois cover X' -> X admits a morphism to an abelian variety A which is a locally trivial holomorphic fibre bundle with simply connected projective fibre;
-(iii) U is biholomorphic to C^m x F for some m >= 0 and some simply connected projective variety F.
-More generally, for a connected infinite etale Galois cover V -> X of complex spaces with V quasi-projective, there are a finite etale Galois X' -> X, a bundle morphism alpha : X' -> A to an abelian variety, and an etale cover A~ -> A with no positive-dimensional compact analytic subvarieties, such that V -> X' is biholomorphic as a covering to X' x_A A~ -> X'. No algebraicity of the deck action is assumed.
-Claudon-Horing-Kollar 2013, Algebraic varieties with quasi-projective universal cover: https://doi.org/10.1515/crelle.2012.017
-(Standard argument in sections/quasiprojective.tex, Corollary cor:quasiprojective.)
-
-Exercise: How does the quasi-projective corollary follow from smooth abundance?
-For every smooth projective complex variety Y with nef K_Y, the log-abundance theorem in characteristic zero applies in zero boundary, so K_Y is semiample. That is exactly the smooth-abundance premise demanded by Claudon-Horing-Kollar, so their Theorem 1.1 and Corollary 1.5 give the two quasi-projective statements. The finite etale Galois cover X' -> X is described as a locally trivial bundle over A, not necessarily a global product, and the infinite-cover statement only asserts the pullback direction V = X' x_A A~ -> X'.
-OpenAI 2026, Log abundance in characteristic zero, Theorem 1.1: ./log_abundance_char_zero_original.txt
-(Standard argument in sections/quasiprojective.tex, proof of Corollary cor:quasiprojective.)
-
-Exercise: Affine space uniformization. What is the classification when X~ = C^n?
-If X is a smooth connected projective n-fold whose ordinary universal cover is biholomorphic to C^n, then there is a finite etale Galois cover A -> X where A is an abelian variety. Proof: the simply connected projective factor F of the bundle in Corollary cor:quasiprojective(ii) lifts to a holomorphic embedding in C^n. Every coordinate function is constant on the connected compact complex space F, so F is a point; then the bundle morphism X' -> A is an isomorphism. This is the Iitaka uniformization statement, derived from smooth abundance via Claudon-Horing-Kollar.
-Nakayama 1999, Projective algebraic varieties whose universal covering is C^n: https://doi.org/10.2969/jmsj/05130643
-Claudon-Horing-Kollar 2013: https://doi.org/10.1515/crelle.2012.017
-(Standard argument in sections/quasiprojective.tex, Corollary cor:affine-uniformization.)
-
-Exercise: Bibliographic map. What are the references for each main tool of the proof, in order of use?
-Pi_1 / cover -- Hatcher (Algebraic Topology). Projective and normal varieties -- Hartshorne, Kollar. Semialgebraic -- Bierstone-Milman 1988, Coste 1999. Main conjecture -- Kollar-Pardon 2012, arXiv 1104.2309v2. Functorial resolution -- Bierstone-Milman 2008. Local pseudoconvexity -- Ivashkovich 2008. Levi form & attached discs -- Bishop 1965, Hill-Taiani 1978. Puiseux preparation -- Lion-Rolin 1997, Bierstone-Milman 1988. Thin omission -- Vajaitu 2000. Bochner tube & Bergman subharmonicity -- Noguchi 2020, Berndtsson 2006. Guard / Oka principle -- Grauert 1958, Forstneric-Prezelj 2000. Guard boundary compactness -- Arzela-Ascoli, Montel (textbook). Campana core -- Campana 2004 (math/0110051v9). Compact special abelianity -- OpenAI 2026. Liouville -- Lyons-Sullivan 1984. Selberg -- Selberg 1960. Bergman & Kodaira -- Kodaira 1954. Nadel-Frankel -- Farb-Weinberger 2008. Albanese & Hodge variation -- Griffiths 1968, Claudon 2018. Normal Albanese -- Claudon-Horing-Kollar 2013, Lemma 4.7. Bundle theorem -- Kollar-Pardon 2012 arXiv v2 Thm 20. Cycle spaces -- Barlet 1999, Andreotti-Norguet 1967. Cartan B & Oka principle -- Cartan 1952 (Semin. Cartan Expose 18), Grauert 1958. Picard injectivity -- Kleiman 2005, Serre GAGA 1956. Douady & Hilbert -- Douady 1966, Grothendieck 1961 (Bourbaki 221). Cheeger-Gromov -- Cheeger-Gromov 1986. Olbrich -- Olbrich 2002. Quasi-projective -- Claudon-Horing-Kollar 2013. Log abundance -- OpenAI 2026. Affine unif -- Nakayama 1999.
-
-Exercise: What is the answer to "what is a semialgebraic projective-open universal cover" in one sentence?
-A connected normal projective X whose ordinary universal cover X~ is biholomorphic to a D x C^m x F factor (D bounded symmetric, F simply connected normal projective, m >= 0) -- equivalently, X~ sits semialgebraically as an open subset of a projective variety. This is the Kollar-Pardon classification, conjectured in 2012 and proved for normal projective X in 2026 using log abundance and the abelianity of compact special Kahler fundamental groups.
-
-Exercise: What are the exact hypotheses in the two algebraic inputs one cannot drop?
-The bounded symmetric domain D must be of noncompact type (Hermitian symmetric, semisimple adjoint group) to make the Borel embedding semialgebraic -- compact symmetric spaces would fail boundedness. The simply connected normal projective factor F may not be replaced by a Fano, Calabi-Yau, or rationally connected subcase: any simply connected normal projective is allowed, and its singularities may be essential to the bundle structure over D x C^m. Similarly, the deck action on X~ is not required to be algebraic, because the classification concerns the biholomorphic type of X~ and not the specific deck action realizing it.
-(Standard argument in sections/compact.tex, Lemma cmp:characteristic; Kollar-Pardon 2012: https://arxiv.org/abs/1104.2309v2)
-
-Exercise: Open kernel. How is the "open kernel" of a scaled family of open sets defined, and why is the neighbourhood quantifier essential?
-Let U_t be open subsets of a fixed manifold M for 0 < t < t_0. The open kernel is the set of points z such that some neighbourhood W of z satisfies W subset U_t for every sufficiently small t. Equivalently, in terms of closed complements F_t = M minus U_t, the open kernel is M minus limsup F_t. The neighbourhood quantifier is essential: pointwise eventual membership undercounts. What open kernels capture is the exact scaling limit of the boundary, and by the Hartogs-figure criterion an open kernel of locally pseudoconvex open sets is locally pseudoconvex.
-Fritzsche-Grauert 2002, From Holomorphic Functions to Complex Manifolds, II.3.4 and II.3.7: https://doi.org/10.1007/978-1-4683-9273-6
-(Standard argument in sections/preliminaries.tex, Definition prep:kernel.)
-
-Exercise: Generic real parameters. What is meant by the phrase "at generic real parameters", and why does it suffice to discard a countable union of smaller-dimensional sets?
-An assertion at generic real parameters in an open real box means it holds outside a locally finite union of subanalytic subsets of smaller dimension. Countably many fixed compact boxes or positive accuracies are tested one at a time, and each may be granted its own exceptional set. Then any finite application of the assertion can be restricted to a smaller neighbourhood of a chosen real parameter on which the finitely many data and their inverses are uniformly controlled. The countable accumulation of exceptions is allowed because the parameters are tested one box at a time; no uniform neighbourhood for all of a countable list is ever needed.
-Bierstone-Milman 1988, Theorems 0.1, 0.2 and 6.4: https://www.numdam.org/item/PMIHES_1988__67__5_0.pdf
-Lion-Rolin 1997, Theoreme de preparation, Theorem 1: https://aif.centre-mersenne.org/item/10.5802/aif.1583.pdf
-(Standard argument in sections/preliminaries.tex, Definition prep:generic.)
-
-Exercise: Power bounds and Puiseux preparation. What does the Puiseux-preparation lemma guarantee, and how is it used?
-If f(v, t) is globally subanalytic for v in A and 0 < t < eps(v), and if f(v, t) > 0, then there is an integer N such that, for every fixed v, t^N < f(v, t) < t^{-N} for all sufficiently small t. The threshold may depend on v. For finitely many such functions one may use a common N. Additionally, near a generic parameter in a full-dimensional box, a finite collection of such functions admits joint convergent Puiseux expansions with a common denominator q and real-analytic coefficients, so after multiplying by a suitable power of t, they are jointly analytic in (v, t^{1/q}) through t = 0.
-Lion-Rolin 1997: https://aif.centre-mersenne.org/item/10.5802/aif.1583.pdf
-Bierstone-Milman 1988: https://www.numdam.org/item/PMIHES_1988__67__5_0.pdf
-(Standard argument in sections/preliminaries.tex, Lemma prep:puiseux.)
-
-Exercise: Finite-jet specialization. Why does the open kernel of a polynomial test family depend only on finitely many Taylor coefficients of the scaling map?
-In bounded projective charts, suppose a family of sets is described by finitely many Boolean combinations of polynomial equations and inequalities in the fibre variable y, with real-analytic coefficients in the real parameter b. Substitute b = x + R_t h, where R_t tends to zero with convergent Puiseux expansions and bounded inverse powers. Then the upper limits of these sets, and the open kernels of their complements, are semialgebraic in (h, y) on the central fibre: on any fixed bounded h-box, sufficiently many Taylor coefficients of the data at x are all that matter, because the subanalytic distance inequality for a closed set gives a Puiseux power bound on distance in terms of the residual slack of equations and inequalities.
-Bierstone-Milman 1988, Theorems 0.1 and 6.4: https://www.numdam.org/item/PMIHES_1988__67__5_0.pdf
-(Standard argument in sections/preliminaries.tex, Lemma prep:finite-jet-specialization.)
-
-Exercise: Generic convergence of distance tests. Why is the limit of the distance-to-complement of a subanalytic family continuous at generic real centres?
-Give a bounded globally subanalytic family d_t(x, z) on K, uniformly Lipschitz in z, and define the extension by the pointwise limit at t = 0. Then there is a relatively closed subanalytic subset E subset U of dimension less than dim U such that the extension is jointly continuous at every (x, z, 0) with x outside E. Uniformity on compact x subsets is a finite-net argument plus definable boundedness; the exceptional set is the set of x where the near-boundary shape can shift, and one shows that this set has no interior via a finite-quantifier subanalytic encoding.
-Bierstone-Milman 1988, Theorem 6.4: https://www.numdam.org/item/PMIHES_1988__67__5_0.pdf
-(Standard argument in sections/preliminaries.tex, Lemma prep:generic-distance-convergence.)
-
-Exercise: Power diagonalization (revisited). Why can any two-variable bounded subanalytic double limit be captured on the diagonal with a sufficiently high power?
-Let f(e, t, v) be bounded globally subanalytic with iterated limit f_{00}(v) = lim_t->0 lim_e->0 f(e, t, v). Then for every integer N > N_0 (a fixed N_0 depending on f), lim_t->0 f(t^N, t, v) = f_{00}(v) for each fixed v. The idea: the e-threshold of convergence is a definable function of (v, delta), bound below by a power of t by Lemma prep:puiseux, and choosing N above that power makes the diagonal fall inside the threshold. The parameter v may include box sizes and positive accuracies; finitely many tests share one N.
-Bierstone-Milman 1988: https://www.numdam.org/item/PMIHES_1988__67__5_0.pdf
-(Standard argument in sections/preliminaries.tex, Lemma prep:power-diagonalization.)
-
-Exercise: Polynomial maximum over the holes. Why does the maximum of |g| over a compact hole fibre produce a plurisubharmonic function?
-Let B be a complex manifold and J subset B x C be closed with J -> B proper, locally bounded in the line coordinate, and (B x C) minus J locally pseudoconvex. For a monic polynomial g(b, t) of positive degree in t with holomorphic coefficients, the function psi_g(b) = log max over t in J_b of |g(b, t)| is plurisubharmonic, with value -infinity if the fibre is empty or the maximum is zero. The proof is that the map (b, t) -> (b, g(b, t)) is finite and proper, and its image of J is a proper over-graph, so the inverse of the "radius of the largest vertical disc" is plurisubharmonic by the Hartogs-radius criterion.
-Demailly 2012, Complex Analytic and Differential Geometry, Section I.7.2: https://www-fourier.univ-grenoble-alpes.fr/~demailly/manuscripts/agbook.pdf
-(Standard argument in sections/preliminaries.tex, Lemma holes:polynomial-maximum.)
-
-Exercise: Boundary trapping. How does a divisor that extends across a real boundary segment trap the projective holes?
-Let a proper holomorphic submersion be given near a relatively compact parameter interval I on the boundary of a one-sided complex disc. Suppose G is locally pseudoconvex on that side and every limit of its fibre holes as the transverse parameter approaches I belongs to a relative divisor D that extends holomorphically across I and is proper in each fibre. Then after restriction near an interior point of I, the holes on that side belong directly to D. The proof uses Weierstrass cylinders around D to reduce to a subharmonic maximum on a small disc slice, and the limit hypothesis confines the holes to a strictly smaller vertical disc. The same argument with fixed additional parameters gives a locally uniform version.
-Demailly 2012: https://www-fourier.univ-grenoble-alpes.fr/~demailly/manuscripts/agbook.pdf
-(Standard argument in sections/preliminaries.tex, Lemma holes:boundary-trapping.)
-
-Exercise: Interior trapping. How does a nonpluripolar parameter slice propagate the same divergence containment?
-Suppose G is open and locally pseudoconvex over a whole connected base box, subject to the preceding local confinement hypotheses. If a relative divisor D is holomorphic in the box and contains the holes over a nonpluripolar parameter slice inside the box, then it contains the holes nearby; in particular for a real-analytic maximally totally real slice. The proof reduces to the same Weierstrass cylinders: for fixed remaining fibre coordinates, psi_g is subharmonic and equals -infinity on a nonpluripolar set, so by the one-variable uniqueness principle applied successively to the real intervals of a real coordinate box, it is identically -infinity.
-Demailly 2012: https://www-fourier.univ-grenoble-alpes.fr/~demailly/manuscripts/agbook.pdf
-(Standard argument in sections/preliminaries.tex, Lemma holes:interior-trapping.)
-
-Exercise: Tangency propagation. How does a divisor containing all near-boundary holes force it to contain the whole connected projective fibre minus a point?
-Suppose q : Q -> Delta is a holomorphic submersion, G subset Q is open and locally pseudoconvex, A is a divisor in Q_0, and Q_0 minus A is connected. Suppose that on one side of a regular embedded real-analytic arc through 0, every limit of holes belongs to A, and G_0 is nonempty. Then Q_0 minus A subset G_0. The proof proceeds through finitely many submersion boxes along a compact path: in each box, choose a transverse disc internally tangent to the arc; the Hartogs-radius maximum principle forces a strict inequality at the tangent point to spread to a strict inequality everywhere in the box, and successive boxes cover the path.
-Demailly 2012, Section I.7.2: https://www-fourier.univ-grenoble-alpes.fr/~demailly/manuscripts/agbook.pdf
-(Standard argument in sections/preliminaries.tex, Lemma holes:tangency-propagation.)
-
-Exercise: Thin pseudoconcave set. Why does a codimension at-least-two subanalytic set with Stein complement have to be analytic?
-Let M be a complex manifold of dimension n and A subset M a closed subanalytic set of real dimension at most 2n - 2. If M minus A is locally pseudoconvex, then A is either empty or a pure complex-codimension-one analytic set. The dimension hypothesis supplies finite Hausdorff (2n-2)-measure for the analyticity theorem. For n > 1, application of Vajaitu's thin-pseudoconcave-set theorem with q = 1 gives analyticity; for n = 1, a zero-dimensional closed subanalytic set is locally finite and hence a divisor. This is the step that converts "we know the omission is small" into "the omission is genuinely an analytic hole".
-Vajaitu 2000, Analyticity of q-concave sets, Theorem 1: https://aif.centre-mersenne.org/item/10.5802/aif.1789.pdf
-Hirschowitz 1973, Entre les hypersurfaces et les ensembles pseudoconcaves, Theorem 1.4: https://www.numdam.org/article/ASNSP_1973_3_27_4_873_0.pdf
-(Standard argument in sections/preliminaries.tex, Theorem holes:thin-analyticity.)
-
-Exercise: Bounded algebraic containers. How does one bound the degree of a Zariski container of a bounded-data semialgebraic family of fibres?
-For a smooth proper projective family with connected fibres and a bounded-data semialgebraic family of subsets S_b of the fibres, there is a uniform degree bound D (depending only on the family description) such that if any S_b is contained in a proper complex algebraic subset of its fibre, then it is contained in an effective divisor of degree at most D. The set of parameters admitting such a container is subanalytic. The proof uses real-algebraic cell decomposition, subanalytic parameter-dependence of Nash pieces, and a compactness argument on the projective Chow variety: containers can be selected subanalytically in the parameter.
-(Standard argument in sections/preliminaries.tex, Lemma holes:bounded-containers.)
-
-Exercise: Projective-fibre propagation. Why is a locally-pseudoconvex, bounded-data semialgebraic fibrewise family G automatically "all but a divisor" on each fibre?
-Let q : Q -> B be a smooth, proper, projective family with connected smooth fibres, and let G subset Q be open, subanalytic, locally pseudoconvex, and fibrewise semialgebraic with bounded data. Let S = q(G) with a connected component S_0. Suppose G_b contains a Zariski open dense subset of Q_b for every b in a nonempty open subset of S_0. Then J = q^{-1}(S_0) minus G is an analytic divisor (possibly empty), and its intersection with each fibre is proper, so every G_b contains a Zariski open dense subset of Q_b. The proof separates generic hypersurface walls using tangency propagation and bounded containers, then applies thin-pseudoconcave-set analyticity on the codimension-two residual set.
-(Standard argument in sections/preliminaries.tex, Proposition holes:projective-propagation.)
-
-Exercise: Container propagation. Once a relative divisor contains the fibres over some open piece of a parameter box, why does it contain them everywhere?
-In the situation of Proposition holes:projective-propagation, let D be a relative analytic divisor defined on the full parameter box and proper in every fibre. If J subset D over a nonempty open subregion of S_0, then J subset D over all of S_0. The proof is the analytic identity theorem applied to the irreducible components of J: every component H of J dominates S_0 (otherwise dimension of H minus dimension of the generic fibre = 1, so H has full-dimensional generic fibre = Q_b, contradicting G_b nonempty); therefore H meets the open subregion; the local equations of D vanish on a nonempty open subset of H and hence on H by analytic identity. Serial application to every component proves the statement.
-(Standard argument in sections/preliminaries.tex, Corollary holes:container-propagation.)
-
-Exercise: Section test. How does a section avoiding a divisor detect the projection domain of a pseudoconvex family?
-If a full-box container D is available (as in container propagation), a local holomorphic section sigma of q that avoids D lies in G at every parameter of S_0. Near a boundary point of S_0 that lies in the parameter box, S_0 is locally pseudoconvex wherever such a section exists. The proof notes that sigma^{-1}(G) is locally pseudoconvex, and the local component of S_0 near sigma coincides with a local component of sigma^{-1}(G) by path-lifting in the submersion boxes.
-(Standard argument in sections/preliminaries.tex, Corollary holes:section-test.)
-
-Exercise: The projective-windows theorem. What does Theorem win:construction assert, as one statement?
-Given a connected smooth projective Y and a nonempty connected semialgebraic open V subset Y that is locally pseudoconvex at its boundary, there exist, locally at generic real centers in totally real parameter boxes: a complex box B subset C^d, a smooth proper projective family q : Q -> B with connected (dim Y - d)-dimensional fibres, and a full-rank holomorphic evaluation map ev : Q -> Y, algebraic with bounded data. Letting G = ev^{-1}(V), there is a component S of q(G) and a relative proper algebraic divisor D subset Q, proper in every fibre, such that Q_b minus D_b subset G_b for b in S. The actual holes Q|_S minus G are analytic. There is a fixed interior seed p, real block-diagonal matrices R_t(x) with bounded polynomial inverses, and a marked component P of the open kernel of S_{t,x} = R_t(x)^{-1}(S - x). P is a recursive tower (point, then add (s, w) in C x C^r over the previous tower with Im M(s, w, z) > 0). The scaling ratios R_t(x)^{-1} R_t(x + R_t(x) u) converge polynomially to a block-diagonal G_x(u) that fixes the origin and gives an automorphism of P. Finally, endpoints of any bounded path in S_{t,x} stay in the closure of P.
-(Standard argument in sections/windows.tex, Theorem win:construction.)
-
-Exercise: Controlled replacement paths. What does loc:paths supply, and why is the complex extension of the paths important?
-Given a bounded subanalytic family of open sets D_{x,t} subset R^n on an open base U subset R^k, and two bounded subanalytic sections v, w in the same component of D_{x,t}, there are locally (at a generic x_0) a neighbourhood U', a threshold eps' > 0, and paths F_t : U' x [0, 1] -> R^n with endpoints v(x, t) and w(x, t), entirely in D_{x,t}, with uniform bounds: for each fixed t, F_t extends holomorphically to a fixed complex neighbourhood U'_C of U', and there is a uniform Lipschitz bound on both F_t and its complex neighbourhood, driving the Cauchy estimates for any fixed number of derivatives. The complex extension is what makes the attached-disc argument possible: the defining function of D_t can then be expanded in a Taylor series around the segment in the complex direction and the various blocks arranged into a triangular system.
-(Standard argument in sections/localization.tex, Lemma loc:paths.)
-
-Exercise: Semidefinite outer tests. What does loc:matrix-outer assert, and how is it applied?
-Suppose additionally that the marked kernel is described recursively by strict positive-definiteness tests for finitely many continuous Hermitian matrix functions M_j(Z), and that every point of the closure of P satisfies M_j(Z) >= 0. Then for each fixed finite L, at a generic fixed center, the infimum over Z in the accessible component of P at scale t and radius L of the smallest eigenvalue of M_j(Z) is >= -o(1) as t -> 0, simultaneously for all j, uniformly over the accessible component in that fixed box. The point is: the closure membership gives semidefinite tests, and an upper-bound on the least eigenvalue follows from the accessible component being inside P. The proof uses bounded-compactness plus the localization theorem: if a negative minimum appeared, a bounded subsequence would have a limit point in the closure of P contradicting continuity.
-(Standard argument in sections/localization.tex, Corollary loc:matrix-outer.)
-
-Exercise: Finite Taylor extraction. Why does a Puiseux-bounded matrix expression have a polynomial holomorphic limit on every bounded box?
-Suppose A_t(x) and A_t(x)^{-1} have joint Puiseux expansions with polynomial bounds in t and R_t(x) has the same property tending to zero. If f is holomorphic on a fixed complex neighbourhood, then any expression obtained by multiplying f(x + R_t z) on both sides by such Puiseux matrices and subtracting a bounded constant term has a polynomial holomorphic limit on every bounded z-box, provided it is bounded on one nonempty complex open z set. Convergence is in the C^k topology for every fixed k. The proof Taylor-expands f through a large order, uses the positivity and Puiseux bounds to kill all negative powers of v = t^{1/q}, and uses boundedness on one nonempty open complex z set to force the lowest-order coefficient to vanish identically as a polynomial.
-(Standard argument in sections/windows.tex, Lemma win:finite-taylor.)
-
-Exercise: Relative divisor container. How does one build a relative divisor containing a proper algebraic subset of every fibre of a projective family?
-Let q : Q -> B be a smooth projective family with connected fibres, and let A subset Q be a relative algebraic subset with analytic coefficient data, proper in every fibre. Near a generic parameter, there is a relative effective divisor D whose restriction to every fibre is proper and contains A. Restrict near a parameter where A is flat over the base; the ideal sheaf I_A is also flat; in a relative projective embedding, choose a twist I_A(k) generated with vanishing higher cohomology, then use Grauert's constant-cohomology theorem to make the direct image locally free and base change well. Choose a section of the twisted ideal whose central restriction is not identically zero; its zero divisor contains A and is proper in every nearby fibre.
-Grauert 1960, Ein Theorem der analytischen Garbentheorie, Saetze 3 and 5: https://www.numdam.org/item/PMIHES_1960__5__5_0.pdf
-Grauert 1963, Berichtigung, p. 36: https://www.numdam.org/item/PMIHES_1963__16__35_0.pdf
-(Standard argument in sections/preliminaries.tex, Lemma holes:relative-divisor-container.)
-
-Exercise: The proof-overview picture. What does the diagram in figures/proof-overview.tex record?
-The top row shows V (smooth resolution of X~) --mu--> U = X~ (normal universal cover) --f_X--> M ~= P (intrinsic quotient). An additional arrow f: V -> M skips directly to M by "projective windows and guards". The bottom row shows T ~= M x C^m (affine base) with arrow j : V -> T "uses K virtually abelian, compact fibre F", and D (bounded symmetric domain) with projection T -> M. A dashed arrow from M to M sums up "core and abelianity; discrete action and splitting". In Prose: the proof composes (i) boundary-window construction of M = P from V, with (ii) transverse symmetry giving M = D, with (iii) relative Albanese giving V -> T, with (iv) product triviality giving V = D x C^m x F.
-(Standard argument in figures/proof-overview.tex.)
-
-Exercise: Two recent results the paper does NOT use, but which locate it in the literature. What are they?
-Rogov proves a metric form of the Kollar-Pardon statement for smooth aspherical projective varieties with definable lifted Kahler metric: that metric hypothesis supplies more information than a semialgebraic presentation, and the theorem is not enough for the current classification. Correa-Kollar-Schreieder-Wang construct examples with finite-CW-type universal covers whose Albanese maps are not differentiable fibre bundles, showing that finite-CW-type alone cannot substitute for the entire semialgebraic projective-open pullback in the Kollar-Pardon bundle theorem. The paper's application of that bundle theorem retains the entire semialgebraic pullback.
-Rogov 2024, On the metric Kollar-Pardon problem, Theorem C: https://arxiv.org/abs/2401.07983v1
-Correa-Kollar-Schreieder-Wang 2026, Invisible singularities, Corollary 30: https://arxiv.org/abs/2608.10973v1
-(Standard argument in sections/history.tex.)
-
-Exercise: When is X~ already a topological product, but not the biholomorphic one? What does the compact-Kahler compactification splitter say?
-If a smooth projective X has universal cover X~ = P x C^m where P is compact Kahler, the symplectic form on P forced by the product plus holonomy makes P algebraically simply a Kuga-Satake situation; the harder question is when P is projective and the bundle is globally biholomorphic. Claudon-Horing (with Campana) prove that for a compactifiable Kahler cover, the fibration is a fibre bundle and the Albanese map splits after a finite cover. Log-abundance upgrades this to the quasi-projective case. The semialgebraic theorem of this paper is stronger: it drops the compactifiability of X~, keeping only the semialgebraic projective-open presentation.
-(Standard argument in sections/history.tex.)
-
-Exercise: What is the single most delicate technical step, in the paper's own view?
-The most delicate step is Theorem loc:theorem (localization): scalar endpoints of bounded paths in a near-boundary scaling limit are controlled using attached discs above a sequence of triangular recenterings. The complication is that the "limit of scaled domains" (open kernel) is smaller than the pointwise limit, because the paths could oscillate inside the boundary face; the triangular recenterings and their Gram matrices G_x are exactly what force path endpoints to remain in the closure of the marked component. The whole tower P is built by applying this step at each stage; the guard-decay / incidence-trace construction cannot be done without this accessibility assertion.
-(Standard argument in sections/localization.tex, Theorem loc:theorem.)
+KOLLAR-PARDON THEOREM: THE COMPLETE PROOF
+==========================================
+
+This is a self-contained ASCII exposition of the Kollar-Pardon
+classification of semialgebraic universal covers. It follows the full
+proof, not just a summary. The level is what a good high school
+student who is willing to think carefully can absorb: every key step
+is motivated and explained, and every citation points to where the
+technical lemma is proved.
+
+The reference source is the LaTeX article in this directory:
+
+  semialgebraic_universal_covers_original.txt
+
+That file is a concatenation of main.tex, sections/*.tex,
+figures/proof-overview.tex, and references.bib. When this file cites
+`see [X]` or `[X]` or `Section X of the original`, X is the LaTeX
+label used there (e.g. win:construction, loc:theorem, cmp:product).
+
+
+(0) WHAT IS BEING PROVED
+------------------------
+
+THEOREM (Kollar-Pardon). Let X be a connected normal projective
+complex variety, and let X~ be its universal cover (the simply
+connected covering space). Then the following two conditions are
+equivalent:
+
+  (i)  X~ is biholomorphic to a semialgebraic open subset of a
+       projective variety.
+
+  (ii) There exist an integer m >= 0, a bounded symmetric domain D,
+       and a simply connected normal projective variety F, such that
+
+           X~  is biholomorphic to  D x C^m x F.
+
+A single point counts as a bounded symmetric domain of dimension 0,
+and also as a simply connected normal projective variety. So m = 0
+and F = point is allowed, and so is D = point, F = point.
+
+Nothing is assumed about the deck transformations of X~ -> X. The
+biholomorphisms in (i) and (ii) are not required to make the deck
+group act by algebraic maps or by semialgebraic maps.
+
+Why is this a hard theorem? Because X~ is an enormous space in
+general: it is usually non-compact and often not even of finite
+topological type. Condition (i) forces X~ to be "almost algebraic"
+in a very rough sense (a semialgebraic open subset of some
+projective variety). The theorem says that even this weak algebraic
+shadow forces X~ to break into three very different kinds of pieces:
+a hyperbolic piece D, a flat piece C^m, and a compact piece F.
+
+The pieces have distinct roles:
+  - D is where non-commutative hyperbolic geometry lives; it is a
+    Hermitian symmetric space of non-compact type.
+  - C^m is a flat factor; it arises from abelian subgroups of
+    pi_1(X) via Albanese varieties.
+  - F is the residual compact factor; by hypothesis normal and
+    projective, and in the theorem simply connected.
+
+Retaining normal singularities of F is essential to the statement.
+The theorem does not replace F by a smooth resolution.
+
+
+(1) HOW TO READ THIS FILE
+-------------------------
+
+The proof splits cleanly into two directions.
+
+  Part 2  proves (ii) -> (i). This is short: the three factors
+          separately sit semialgebraically in projective varieties,
+          and the product does too.
+
+  Part 3  proves (i) -> (ii). This is the whole difficulty, and
+          occupies nearly the entire file. Part 3 is split into
+          ten subsections, each a distinct geometric step:
+
+            3.1  Set up: replace normal X by a smooth V.
+            3.2  Show V is locally pseudoconvex at its boundary.
+            3.3  Deal with boundary boundaries via Stein + Chow.
+            3.4  Boundary windows: build a recursive tower P.
+            3.5  Localization: control endpoints of escaping paths.
+            3.6  Guards and the intrinsic quotient f_X : X~ -> M.
+            3.7  Transverse action: M is a bounded symmetric domain.
+            3.8  Fibre kernel is virtually abelian.
+            3.9  Separate affine C^m from compact F.
+            3.10 Assemble and conclude.
+
+  Part 4  states the corollaries: Remmert reduction, Singer
+          vanishing, quasi-projective covers, and C^n-uniformization.
+
+  Part 5  is an index of citations and of the LaTeX labels that
+          the proof borrows from the original.
+
+
+(2) THE EASY DIRECTION: (ii) -> (i)
+-----------------------------------
+
+Assume X~ = D x C^m x F, with D a bounded symmetric domain, m >= 0,
+and F a simply connected normal projective variety. We must exhibit
+a projective variety P and a semialgebraic open subset W of P that
+is biholomorphic to D x C^m x F. (The biholomorphism is just the
+identity on X~; we use "biholomorphic to" rather than "equal to"
+because the product is a complex manifold, and P will be the product
+of compactifications.)
+
+Step A. Borel embedding of D.
+
+Every bounded symmetric domain D admits a projective compact dual
+D^v, into which D embeds as an open orbit under a real semisimple
+Lie group G(R)^0 acting by biholomorphisms. This is the Borel
+embedding (Borel 1954; Milne 2005). Key facts:
+
+  - D^v is a smooth projective variety.
+  - The action G(R)^0 on D^v is algebraic (it comes from an
+    algebraic representation of the complexification G(C)).
+  - D is exactly the orbit G(R)^0 . d0 of any point d0 in D.
+
+Step B. Non-obvious check: D is semialgebraic in D^v.
+
+The orbit map G(R)^0 x {d0} -> D^v is algebraic. The orbit of an
+algebraic group at a point is semialgebraic, by Tarski-Seidenberg
+(the image of a semialgebraic set under a polynomial map is again
+semialgebraic). So D is semialgebraic. It is open because it is the
+orbit of a Lie group action on a complex manifold, and orbits of real
+group actions are submanifolds.
+
+Step C. C^m as an affine chart.
+
+The standard embedding z -> [1 : z_1 : ... : z_m] puts C^m as the
+open semialgebraic subset {x_0 != 0} of the projective space P^m.
+
+Step D. F is already projective.
+
+F is by hypothesis a projective variety (over C). In particular F is
+itself a semialgebraic open subset of F (the whole thing).
+
+Step E. Product.
+
+Let P = D^v x P^m x F. It is a projective variety (product of
+projective varieties is projective via Segre). Let
+
+  W = D x C^m x F  subset  D^v x P^m x F.
+
+Each factor inclusion D subset D^v, C^m subset P^m, F subset F is
+semialgebraic and open. The product of semialgebraic open subsets of
+complex manifolds is again semialgebraic and open (semialgebraic is
+closed under finite products, and the product of open subsets is
+open). So W is a semialgebraic open subset of the projective
+variety P.
+
+And W is biholomorphic to D x C^m x F = X~ by construction.
+
+This proves (ii) -> (i). QED.
+
+Note. No algebraicity of any covering map is used. The biholo
+between D x C^m x F and W is just the inclusion of the product
+into the product of compactifications.
+
+In the special case m = 0 and F = point we get: X~ = D biholo to a
+semialgebraic open subset of the projective variety D^v. This is the
+prototypical case: the hyperbolic piece is the one that needs the
+Borel embedding, and the Tarski-Seidenberg argument is what makes
+everything work.
+
+In the special case D = point and F = point we get: X~ = C^m biholo
+to the semialgebraic open chart in P^m. This is just the standard
+affine chart; no fancy algebraicity needed.
+
+(3) THE HARD DIRECTION: (i) -> (ii)
+------------------------------------
+
+Now we assume (i): X~ is biholomorphic to a semialgebraic open subset of a
+projective variety Z. We must construct the decomposition D x C^m x F.
+
+Part 3 is split as follows:
+
+  3.1  Replace X (normal) by V (smooth semialgebraic open).
+  3.2  Prove V is locally pseudoconvex at its boundary.
+  3.3  Base case: boundary is small, so V is Zariski open.
+  3.4  Boundary windows: build a recursive tower P.
+  3.5  Localization: control endpoints of escaping paths.
+  3.6  Guards and the intrinsic quotient.
+  3.7  Transverse action: identify M as a bounded symmetric domain.
+  3.8  Fibre kernel is virtually abelian.
+  3.9  Separate affine and compact factors.
+  3.10 Assemble.
+
+The logical reach of steps 3.1-3.6 is:
+  From V (smooth semialgebraic open) we construct a holomorphic
+  equivariant surjective submersion f_X : X~ -> M, where M is a
+  contractible Stein manifold (specifically a bounded domain), such
+  that every fibre is a semialgebraic open subset of a projective
+  variety (in fact a connected normal projective variety minus an
+  analytic hole).
+
+The key point of 3.6 is that this quotient is intrinsic: it does not
+depend on any choices made in 3.4-3.5. Steps 3.7-3.9 then run on f_X.
+
+
+(3.1) SETUP: FROM NORMAL X TO SMOOTH V
+---------------------------------------
+
+The theorem is stated for X normal (not necessarily smooth). Working
+with normal X means every "holomorphic function" is via the structure
+sheaf, and every "projective variety" is allowed to have normal
+singularities. This is important, so we cannot simply replace X by
+a smooth model and be done.
+
+But it IS convenient to have a smooth model to run the analytic
+arguments. The trick is to work simultaneously with X, a smooth
+resolution X^+, and their relation to X~.
+
+Construction of V.
+
+  1.  X~ is semialgebraic open in Z (projective). Normalize Z along the
+      irreducible component containing X~. This gives a normal
+      projective variety Z^norm with X~ as an open dense subset
+      (up to biholomorphism; enlarging Z if necessary).
+
+  2.  Apply functorial projective resolution of singularities to
+      Z^norm. Bierstone-Milman (2008, Theorem 1.1) give such a
+      functorial resolution Z^+ -> Z^norm. It is equivariant under
+      any local analytic isomorphism of Z^norm.
+
+  3.  Because the covering X~ -> X is a local analytic isomorphism,
+      functoriality says: the resolution Z^+ restricted to X~ is
+      the pullback of a proper birational morphism X^+ -> X of
+      projective varieties. Set Y := Z^+ (which is smooth
+      projective) and V := (preimage of X~) subset Y.
+
+  4.  The result:
+        - V is smooth (open subset of Y smooth).
+        - V is a semialgebraic open subset of Y (inherited from
+          X~ subset Z, and Y is algebraic).
+        - The deck group Gamma := pi_1(X) acts on V freely and
+          properly discontinuously.
+        - The quotient X^+ := V/Gamma is a smooth projective
+          variety, and X^+ -> X is a proper birational resolution.
+        - mu : V -> X~ (the functorial resolution map) is a proper
+          modification with connected fibres.
+
+          The connectedness of fibres: mu is a proper modification
+          (birational, proper) between a smooth and a normal target,
+          so every fibre is connected (Zariski's Main Theorem in
+          the analytic case).
+
+  5.  Compatibility: mu is equivariant with the deck action of
+      Gamma. That is, for every gamma in Gamma and every v in V,
+
+        mu(gamma . v) = gamma . mu(v).
+
+      The intersection with the deck action on X~: on X~, Gamma acts
+      by covering transformations; this action lifts to V by
+      acting trivially on the X^+ factor.
+
+  6.  Also: mu_* O_V = O_{X~}. This is because mu is a proper
+      modification of a normal space, so pullback gives an
+      isomorphism of structure sheaves. Consequence: any
+      holomorphic function on V that is constant on compact
+      connected fibres of mu descends uniquely to a holomorphic
+      function on X~.
+
+From now on the analytic arguments run on V; whenever we conclude
+something for V, we push it down to X~ via mu whenever the conclusion
+is invariant under connected compact-fibre collapse.
+
+Also from now on: "Gamma" is pi_1(X) = pi_1(X^+) = deck group of
+V -> X^+, and "Y" is the smooth projective ambient variety of V.
+This "X^+, V, Gamma" is the standing object of 3.1-3.6.
+
+Note. The dimension n is dim_C X = dim_C X~ = dim_C V = dim_C Y. It
+will turn out to be dim P + a + dim F, with P a bounded domain, a an
+integer >= 0, F a normal projective variety.
+
+
+(3.2) LOCAL PSEUDOCONVEXITY OF V
+---------------------------------
+
+We need: V is Stein at its boundary inside Y, i.e. at every boundary
+point of V in Y, the boundary satisfies the Hartogs extension
+criterion. This is critical: without it, the boundary-window analysis
+in 3.4 cannot start.
+
+THEOREM (Ivashkovich 2008, Corollary 2). An open subset of a smooth
+projective variety that is a covering space of a smooth compact
+projective variety is locally pseudoconvex at every boundary point in
+the algebraic ambient variety.
+
+Proof sketch.
+
+Let p : V -> X^+ be the covering map. Take a small coordinate
+polydisc B subset Y. We must show: every relatively compact Hartogs
+figure H subset B that sits inside V fills its polydisc into V.
+
+Suppose H subset V but the associated polydisc P does not sit in V
+(meaning some point of the polydisc is outside V). Consider the
+composite p : V -> X^+. It extends meromorphically to B by the
+meromorphic Hartogs extension theorem on projective manifolds
+(Ivashkovich 1992, Inventiones). This extension agrees with p on
+the connected component of B cap V containing H, by uniqueness of
+meromorphic continuation.
+
+Now suppose some point of the polydisc is outside V. Take a straight
+complex segment from a point of H to that outside point. Let a be the
+first exit point (first point on the segment NOT in V).
+
+The complex LINE containing the segment is not contained in the
+indeterminacy locus of the meromorphic extension, because it meets
+the figure on which the extension is holomorphic. So restricting the
+meromorphic extension to this line gives a meromorphic function on a
+1-dimensional disc with isolated indeterminacies. Such a function
+extends holomorphically across its isolated indeterminacies (in
+projective homogeneous coordinates, cancel the common vanishing
+order at each indeterminacy point).
+
+Consequently, as the segment nears a, the covering map p tends to a
+well-defined point x = lim p(s) in X^+.
+
+Choose an evenly covered neighbourhood W of x in X^+. By definition
+of evenly covered: p^{-1}(W) is a disjoint union of open subsets,
+each mapped biholomorphically to W. Our covering p is regular, so we
+can call any such subset a "sheet". Consider the image of a connected
+final subsegment of our straight segment (the part very close to a).
+This subsegment maps into W under p; so it lifts to a single sheet
+of V. But the subsegment is connected, so its lift is connected, so
+it sits entirely inside one sheet of V.
+
+More concretely: let s_t be a sequence along the segment converging
+to a as t -> 0, chosen with s_t strictly inside V for all t > 0.
+For small t, p(s_t) lies in a fixed evenly-covered neighbourhood W
+of x. Each s_t therefore belongs to one sheet of p^{-1}(W); since
+the subsegment near a is connected and p is continuous, all these
+s_t lie in ONE sheet W_aleph. The sheet W_aleph is biholomorphic to
+W, so s_t converges to a point v_aleph = (sheet biholo)^{-1}(x)
+inside V. But s_t also converges to its geometric limit a in Y. So
+a = v_aleph is in V, contradicting the choice of a as the first
+exit point.
+
+So the Hartogs figure H fills its polydisc into V. This is the local
+pseudoconvexity criterion for V at the boundary.
+
+QED (sketch).
+
+Consequence. V inherits from Y its Kaehler structure, but more
+usefully: the pair (V, Y) is now in the setting of "open subset of a
+compact complex manifold with Stein boundary". Many analytic results
+then apply: Hartogs radius, psh exhaustions, Remmert cutting, etc.
+
+We do NOT yet know: V is Stein. In fact, for dim Y >= 1, V is never
+Stein: if V = Y then V is compact, and no positive-dimensional
+Stein space is compact; if V is a proper open subset of Y then V
+contains compact positive-dimensional complex subvarieties (the
+preimage under p of any positive-dimensional subvariety of X^+),
+and a Stein space cannot contain a positive-dimensional compact
+subspace. The Stein condition holds only at the boundary, locally.
+
+
+(3.3) BASE CASE: BOUNDARY SMALL GIVES V ZARISKI OPEN
+-----------------------------------------------------
+
+Before diving into the boundary analysis, we handle the base case:
+what if the boundary Y \ V has empty interior at the level of real
+hypersurfaces? This is the inductive anchor.
+
+Let L := Y \ V = the boundary. Let n = dim_C Y = dim_R / 2.
+
+Claim. If L contains no real analytic hypersurface patch (no real
+2n-1 dimensional regular real algebraic submanifold) then V is a
+Zariski open subset of Y.
+
+Proof.
+
+Step 1. Stratify L by semialgebraic cells. Each stratum is a real
+algebraic submanifold of dimension < 2n, and they are locally finite.
+
+Step 2. If no real hypersurface patch exists, dim_R(L) <= 2n - 2
+everywhere. That is, L is a closed subanalytic set of real dimension
+at most 2n - 2.
+
+Step 3. Now apply Theorem (Vajaitu 2000, Theorem 1) to L. Statement:
+let M be a complex manifold of complex dimension n, and let A be a
+closed subanalytic subset of M of real dimension at most 2n - 2.
+If M \ A is locally pseudoconvex at A, then A is a complex analytic
+subset of M of pure dimension n - 1 (or A is empty).
+
+Here M = Y, A = L, and M \ A = V is locally pseudoconvex by 3.2.
+Conclusion: L is complex analytic of pure dimension n - 1.
+
+Step 4. Complex analytic subsets of projective varieties are
+algebraic (Chow's theorem, Serre 1956). So L is algebraic, hence V
+= Y \ L is a Zariski open subset of Y, hence automatically
+semialgebraic and open.
+
+QED.
+
+Role of this base case. It is NOT a shortcut to the theorem. Even if
+L has no real hypersurface patch, we still must produce the full
+decomposition X~ = D x C^m x F. The base case merely makes the
+recursion in step 3.4 trivial: the tower P has dimension d = 0, i.e.
+P is a single point, so the intrinsic quotient of step 3.6 will be
+M = point. Steps 3.7-3.9 then say: X~ is a connected normal
+projective variety (the whole fibre of f_X over the point), and the
+splitting step 3.9 gives m = 0. So the base case is the instance
+D = point, m = 0, F = X~ itself.
+
+In other words, both cases (no real hypersurface vs. real
+hypersurface) are unified once the tower is available. If L admits a
+real hypersurface patch, then d >= 1 and the recursion is nontrivial;
+if not, d = 0 and the recursion stops immediately. Either way, steps
+3.6-3.9 run identically once the tower is built.
+
+(3.4) BOUNDARY WINDOWS: THE RECURSIVE TOWER P
+----------------------------------------------
+
+From 3.2, V is locally pseudoconvex at its boundary in Y. We now use
+this to build a "tower" domain P (a bounded domain) and to describe
+the bulk of V near a boundary face as an "epigraph" over P. This
+tower will turn out to be exactly the contractible Stein base M in the
+eventual intrinsic quotient f_X : X~ -> M.
+
+If the boundary L = Y \ V has no real hypersurface patch (Section
+3.3), then P is a point and we are done with this step. Otherwise
+run a dimension-decreasing recursion.
+
+Each recursion step takes as input a locally pseudoconvex semialgebraic
+open V_2 in a smaller projective variety L, with dim L < dim Y, and
+produces a description of V near a boundary face as a quadratic-
+epigraph over V_2, parametrized by a "period matrix" H (whose imaginary
+part is positive definite). Applying the recursion to V_2 with
+dim V_2 = dim L strictly smaller produces a tower of successive
+"epigraph blocks".
+
+The steps in each recursion step:
+  3.4.1  Levi form and null plaques.
+  3.4.2  Contact quotient, Darboux coordinates, period matrix H.
+  3.4.3  Quadratic test and the first kernel E.
+  3.4.4  Whole-fibre epigraph and extension to V_2.
+  3.4.5  Siegel normalization and induction.
+  3.4.6  Properties of the resulting P.
+
+
+(3.4.1) LEVI FORM AND NULL PLAQUES
+-----------------------------------
+
+Setup. Let M0 be a real analytic hypersurface patch inside Y at a
+regular boundary point of V. "Regular" means the Levi form of M0 has
+constant rank r on M0, and V is on one side of M0 chosen as the
+pseudoconvex side: Levi form >= 0.
+
+Complex structure. Y has complex dimension n, so M0 has real
+dimension 2n-1. At each point p in M0, TM0 is real 2n-1 dimensional;
+its maximal complex subspace
+
+  D_p := TM0 cap J TM0
+
+has complex dimension n-1.
+
+Real one-form theta. Locally choose a real defining function rho
+of M0: rho = 0 on M0, rho > 0 on (say) the V side. Then
+
+  theta := d^c rho |_{M0} = -Im(d rho) |_{M0}
+
+is a real 1-form on M0 that vanishes on D_p and not on the
+complementary J-direction.
+
+Levi form. At a point p, the Levi form is the Hermitian form on D_p
+
+  Levi_p(v, w) := d theta_p(v, J w).
+
+Semidefiniteness of V on one side of M0 gives Levi_p(v, v) >= 0 for
+all v in D_p.
+
+Null distribution K. Since M0 has constant Levi rank r, define
+
+  K_p := {v in D_p : Levi_p(v, w) = 0 for all w in D_p}.
+
+Since Levi is semidefinite, K_p is a complex subspace of D_p. At a
+point where Levi has rank r, K_p has complex dimension
+
+  ell := n - r - 1.
+
+Since K is defined by the semidefinite Levi form itself, it is
+J-invariant: J K = K. So K is a complex distribution on M0.
+
+K is involutive. The two ingredients, for real vector fields X, Y, Z
+tangent to M0:
+
+  (Convention) For tangent vector fields A, B and any real 1-form
+  theta with theta(A) = theta(B) = 0:
+      d theta(A, B) = -theta([A, B]).
+
+  (Jacobi)  [[X, Y], Z] = -[[Y, Z], X] - [[Z, X], Y].
+
+Step 1. Take X, Y in K, Z arbitrary in D. Then theta(X) = theta(Y) = 0
+and d theta(X, Y) = 0 (X in K means d theta(X, .) = 0 on D, and Y in D).
+So by the convention, theta([X, Y]) = 0. Hence [X, Y] in D.
+
+Step 2. Also [Y, Z] and [Z, X] are in D by Step 1 (with (X, Z) and
+(Z, X) in place of (X, Y)). Consequently [Y, Z] and [Z, X] are in
+D, and applying Step 1 again gives [[Y, Z], X] and [[Z, X], Y] both
+in D, hence theta([[Y, Z], X]) = theta([[Z, X], Y]) = 0.
+
+Step 3. By Jacobi and Step 2,
+
+  theta([[X, Y], Z]) = -theta([[Y, Z], X]) - theta([[Z, X], Y]) = 0.
+
+So for every Z in D, theta([[X, Y], Z]) = 0. Since [X, Y] in D (Step 1)
+and Z in D are both tangent to M0, this rewrites as
+
+  d theta([X, Y], Z) = -theta([[X, Y], Z]) = 0   for all Z in D.
+
+Step 4. So [X, Y] lies in D (Step 1) and is in the kernel of the Levi
+form d theta|_{D x D} (Step 3). That is exactly [X, Y] in K.
+
+Hence K is closed under Lie bracket. So K is involutive.
+
+Null plaques. By the complex-analytic Frobenius theorem, K integrates
+to a foliation of M0 by complex manifolds of dimension ell,
+called null plaques. Each plaque is a (locally closed) complex
+submanifold of M0 tangent to K.
+
+Algebraicity of plaques. Write the defining function rho as a real
+polynomial in z and z-bar. Such a polynomial admits a "monomial-
+Hermitian" representation
+
+  rho(z, z-bar) = v(z)^* C v(z),
+
+where v is a finite vector of holomorphic monomials (include the
+constant monomial 1) and C is a Hermitian matrix. Reason: every term
+of a real polynomial in z, z-bar has the form c_{alpha, beta}
+z^alpha z-bar^beta; collect the monomials z^alpha into v.
+
+Polarization. Take a holomorphic parametrization f : Delta_ell -> M0
+of a plaque (Delta_ell = ell-dimensional polydisc). Then
+
+  v(f(zeta))^* C v(f(zeta)) = 0  for all zeta in Delta_ell.
+
+The left side is the restriction to the diagonal of the expression
+
+  Phi(eta, zeta) := v(f(eta))^* C v(f(zeta)),
+
+which is holomorphic in zeta and antiholomorphic in eta on the
+polydisc product. Vanishing on the diagonal forces vanishing
+everywhere:
+
+  v(f(eta))^* C v(f(zeta)) = 0  for all eta, zeta.
+
+Consequently, the complex span
+
+  W := Span_C{ v(f(zeta)) : zeta in Delta_ell }
+
+is totally C-isotropic: v(f(eta))^* C w = 0 for all w in W.
+
+Algebraic set containing the plaque. Define
+
+  A := { z in Y : v(z) in W }.
+
+Since W is a subspace of monomials, the condition v(z) in W is a
+complex algebraic system in z. So A is a complex algebraic subset of
+Y. Two facts:
+
+  - Every point of the plaque lies in A, since v(f(zeta)) in W by
+    construction.
+  - A is contained in {rho = 0}, since for z in A, v(z) in W and W
+    is C-isotropic, giving v(z)^* C v(z) = 0.
+
+Dimension bound. Suppose X is any complex submanifold of M0. The
+restriction of rho to X vanishes identically, so the Levi form of rho
+on TX vanishes identically. But the Levi form is semidefinite and its
+kernel is K, so TX subset K. Hence dim X <= ell.
+
+Applying this to a local component A_0 of A containing the plaque:
+a regular point of A_0 lies on M0 (A subset M0), so its tangent space
+is a complex subspace of TM0 of dimension <= ell (by the paragraph
+above). Since the ell-dimensional plaque is contained in A_0, dim A_0
+= ell and the plaque is a Zariski open subset of A_0.
+
+Real analytic family. Only finitely many evaluation vectors v(f(zeta))
+are needed to span W. Choose them by fixed evaluations on the plaque
+in analytic plaque coordinates. Restrict to a transverse parameter
+neighborhood on which the rank of these vectors is maximal and
+constant. Then the span W becomes an analytic map into a Grassmannian.
+The equations v(z) in W have uniformly bounded degrees in z (bounded
+by deg v). So the projective closure of A_0 has bounded degree in
+the transverse parameter family.
+
+Smooth family. Tracking the irreducible component A_0 with its marked
+irreducible germ through the transverse parameter space gives a real
+analytic family of algebraic subvarieties of bounded degree. Complexify
+the real parameters. Hilbert-scheme / Chow-space methods (Grothendieck
+1961, Andreotti-Norguet 1967) imply: locally on the parameter space
+we obtain a smooth proper projective family q : Q -> B with connected
+ell-dimensional fibres Q_b (b running over a small real parameter box
+inside the complex base B), and an evaluation map ev : Q -> Y whose
+image at b is the algebraic variety A_b, whose restriction to the
+original plaque is the plaque itself.
+
+The projective variety L. Take the fibre L := Q_{b_0} at the original
+transverse parameter b_0 = 0. This L is a projective variety of
+dimension ell, containing the original plaque. It is the base on
+which V_2 will be defined in 3.4.3.
+
+Because ell < n, the recursion strictly decreases dimension, so it
+must terminate after at most n steps. That termination is the key
+reason the "tower" of 3.4.5 is finite.
+
+(3.4.2) CONTACT QUOTIENT, DARBOUX COORDINATES, PERIOD MATRIX H
+---------------------------------------------------------------
+
+Quotient by plaques. We constructed in 3.4.1 a foliation of a real
+hypersurface patch M0 subset Y by complex ell-dimensional null plaques,
+with
+
+  ell = n - r - 1,   2 ell = 2n - 2r - 2,
+
+where n = dim_C Y and r = rank of the Levi form of M0 (constant on M0).
+
+The plaques are the leaves of the null distribution K. The quotient
+
+  M0 / (null plaques)
+
+is a real analytic manifold of dimension
+
+  2n - 1 - 2 ell = 2n - 1 - (2n - 2r - 2) = 2r + 1.
+
+Contact structure. The hyperplane field D/K on the quotient is
+preserved by the plaque foliation, because [K, D] subset D (same
+bracket calculation as in 3.4.1). The 2-form d theta descends by the
+same mechanism and is nondegenerate on D/K (r is the rank of d theta
+on D, K is its kernel, so D/K is 2r-dimensional and d theta is a
+symplectic form there). So M0 / (plaques) is a real contact manifold
+of dimension 2r+1.
+
+Darboux coordinates. By the Darboux theorem for contact manifolds,
+around any point of the quotient there are local coordinates
+
+  (a, u_1, ..., u_r, v_1, ..., v_r)
+
+on the quotient in which the contact 1-form is
+
+  alpha = da - sum_{j=1}^r v_j du_j.
+
+Pulling back to M0 adds the plaque coordinates z = (z_1, ..., z_ell).
+So M0 is locally coordinatized by (a, u, v, z), with the plaque
+direction being z.
+
+The v-coordinates are transverse to the Legendrian Lagrangian, and
+within M0 the "w = u, s = a + v^T u" substitution is a family of
+Legendrian submanifolds in which the pulled-back contact form is
+exactly ds. Let us take (s, w) := (a + v^T u, u) as the transverse
+coordinates, with v external.
+
+Quadratic side. On the V-side of M0 (the pseudoconvex side), the
+defining function of M0 is approximately the (2r+2)-variable quadratic
+form in (s, w). Concretely: for a fixed z (fixed plaque point) and
+fixed v (fixed external parameters), the restriction of rho to the
+slice at z is a function of (s, w) whose quadratic part at the origin
+is
+
+  Im(s)  -  (Im w)^T  (Im H(z))^{-1}  (Im w)  + O(3),
+
+where H(z) is a symmetric matrix of the appropriate size (r x r).
+The matrix H here is the "period matrix" attached to the plaque
+family: it records the (W_1) x (W_1) part of the Hermitian form
+in (s, w, z) coordinates.
+
+Why symmetric with Im H > 0. The quadratic form
+(Im w)^T (Im H(z))^{-1} (Im w) is symmetric in w (because the Levi
+form is Hermitian and the slice w = Im w has real coordinates).
+Semidefiniteness of the Levi form on M0 gives Im H(z) >= 0, and the
+constant-rank condition r on M0 makes the (-1)-power well-defined
+with Im H(z) strictly positive definite on the plaque interiors.
+
+Analyticity and external parameters. H depends analytically on z
+(plaque coordinates) and on the external parameters v and on the
+remaining transverse parameters. In the project paper this is
+Lemma win:period (Section 5.1 of the original sections/windows.tex);
+the statement is exactly:
+
+  Lemma (win:period). In the situation of 3.4.1, there is a real
+  analytic (r+1)-parameter family of plaques with coordinates (s, w)
+  in R x R^r, whose complexification evaluates with full complex
+  rank near the original plaque. The remaining r real transverse
+  coordinates can be kept as external parameters. At a fixed real
+  center x_1, let L be the smooth projective model of its plaque
+  (as in 3.4.1). Then there is a symmetric meromorphic matrix H on
+  L, holomorphic near the original plaque, such that Im H > 0 there,
+  and the weighted tangent inequality is
+
+    q_z(s, w)  =  Im s  -  (Im w)^T  (Im H(z))^{-1}  (Im w)  >  0
+                                                            for
+    (s, w, z) in the local model of V near M0.
+
+  The meromorphic data depend analytically on the generic external
+  parameters.
+
+  (Original label: Lemma win:period, sections/windows.tex.)
+
+The two blocks. Write (3.4.2) as the FIRST block: (s, w) transverse
+to the plaque; z parametrizes the plaque, i.e. the SECOND block. In
+the recursive induction of 3.4.5, the second block will itself be
+described recursively; so the tower has a "stack" of (s_j, w_j)
+blocks indexed by j = 1, 2, ..., k.
+
+Quadratic test on the first block. The inequality defining the V-side
+near the plaque is
+
+  Im s  >  (Im w)^T (Im H(z))^{-1} (Im w),
+
+with the reverse inequality defining the complement side. Because
+Im H(z) > 0, the right side is a strictly convex quadratic function of
+Im w with minimum 0 at Im w = 0. The solution set is a convex
+horizontal "paraboloid" region in (s, w) above the plaque-z, and it
+is entirely in {Im s > 0}.
+
+What this achieves. The first block (s, w) over a plaque z has the
+exact same shape as a Siegel upper half-space block (Im s > Hermitian
+form), and any tower built from such blocks by stacking is a
+"triangular" domain of the sort that appears in the theory of
+bounded symmetric domains. The remaining task (3.4.3, 3.4.4) is to
+make this description global over the whole of L, not only near a
+single plaque; that is exactly the step of "whole-fibre epigraph and
+extension to V_2".
+
+(3.4.3) QUADRATIC TEST AND THE FIRST KERNEL E
+----------------------------------------------
+
+Coordinates. From 3.4.2 we have local coordinates (s, w, z) in
+
+  C  x  C^r  x  L
+
+near the boundary patch M0 of V. Here L is the projective model of
+the plaque family from 3.4.1, of dimension ell.
+
+Model of V-side. Let
+
+  ModelV := { (s, w, z) : z in L^0,  (Im w)^T (Im H(z))^{-1} (Im w)
+                                                  <  Im s  }
+
+be the model paraboloid epigraph over the dense open
+
+  L^0 := { z in L : H(z) holomorphic and Im H(z) > 0 }.
+
+Pointwise, ModelV is the first-order quadratic scaling limit of V
+near M0 in the directions transverse to the plaques: every point
+(s, w) with q_z(s, w) > 0 is inside V for a sufficiently short
+scaling (t small), and every point with q_z(s, w) < 0 is outside.
+The rigorous statement is Theorem loc:theorem (Section 3.5 below).
+
+Scaling. Let t -> 0 be a real parameter and R_t a matrix tending
+to zero with polynomial bounds on R_t and R_t^{-1} (bounded
+semialgebraic family). Let x_1 be the fixed real center of the
+plaque family of 3.4.1. Define the scaled domain
+
+  S_t := R_t^{-1} (V - x_1)
+
+inside Y (in local coordinates near x_1). Then:
+
+  - Each S_t is locally pseudoconvex, by 3.2 and invariance of
+    pseudoconvexity under biholomorphism.
+  - The family {S_t}_{t>0} is a bounded globally subanalytic family
+    of open subsets (same section 3.2 preliminaries).
+  - The open kernel K(S_t) is well-defined: it is the set of points
+    with a neighborhood that is contained in S_t for every
+    sufficiently small t (Definition prep:kernel, Section 3.2).
+  - K(S_t) is locally pseudoconvex (Definition prep:kernel).
+  - K(S_t) is semialgebraic (Definition prep:kernel plus
+    semialgebraic input).
+
+Seed. Let z_0 be the "diagonal" point of the plaque (a specific
+interior point, e.g. z_0 = 0 in transverse plaque coordinates),
+s_0 := i (so Im s_0 = 1 > 0), w_0 := 0. Then:
+
+  q_{z_0}(s_0, w_0) = 1 - 0 = 1 > 0.
+
+So the seed p := (s_0, w_0, z_0) lies strictly inside ModelV. A
+small ball B(p) is contained in ModelV. Because S_t -> ModelV
+pointwise as t -> 0 (this is the content of Theorem loc:theorem,
+proved in 3.5), the ball B(p) is eventually contained in S_t for
+small t (Theorem loc:theorem, open-kernel conclusion plus
+connectedness of the base parameter). Hence p is an interior
+point of K(S_t).
+
+Marked component E. Let
+
+  E := the connected component of K(S_t) containing the seed p.
+
+Then E has the following properties:
+
+  1. E is semialgebraic and locally pseudoconvex in C x C^r x L.
+  2. E contains a ball B(p) around the seed, so is nonempty with
+     nonempty interior.
+  3. E is contained in C x C^r x L (which is the model space of V
+     near M0).
+  4. The projection (s, w, z) -> z restricts to a map
+     proj : E -> L whose image we call V_2 subset L.
+
+Seed fibre. Restrict E to the plaque z_0:
+
+  E_{z_0} := { (s, w) : (s, w, z_0) in E }  subset  C x C^r.
+
+Then E_{z_0} is a domain containing a ball around (s_0, w_0) = (i, 0),
+and by definition of ModelV near z_0 we have
+
+  E_{z_0}  subset  { (s, w) : (Im w)^T (Im H(z_0))^{-1} (Im w) < Im s }.
+
+The right side is the strict epigraph of a positive semidefinite
+Hermitian form; it is a tube of the form C x C^r restricted to the
+Siegel-like condition. If the form were degenerate, the epigraph
+would be unbounded in the kernel directions and the seed fibre
+E_{z_0} could be a product with a complex line.
+
+Seed-Bergman nondegeneracy. The following key lemma ensures that
+this degeneration does NOT happen at the seed. Statement:
+
+  Lemma (win:seed-bergman). The seed fibre E_{z_0} admits a bounded
+  realization as a domain in C^{1+r}, and its Bergman space is
+  nontrivial: the Bergman kernel of E_{z_0} is strictly positive at
+  every point. Equivalently, Im H(z_0) is strictly positive definite,
+  and E_{z_0} contains no complex affine line.
+
+  (Original label: Lemma win:seed-bergman, sections/windows.tex.)
+
+Reason. If E_{z_0} were invariant under a complex affine line
+L-line, then for any L^2 holomorphic function f on E_{z_0}, the
+restriction of f to L-line would be an entire L^2 function on C,
+hence zero by Liouville. This would kill the entire Bergman space
+of E_{z_0}, contradicting the fact that E_{z_0} contains the bounded
+paraboloid epigraph above the seed, on which the constant function
+1 is L^2. So E_{z_0} has no affine-line factor, so the Hermitian
+form Im H(z_0) is strictly positive definite.
+
+For the rigorous derivation of win:seed-bergman from the paraboloid
+shape at the seed, one uses the "Schur complement" coordinates from
+3.4.2's Siegel normalization, together with the fact that the open
+kernel E is an open subset of the projective variety L x C x C^r
+with V_2 = proj(E) a smooth base. Details in Lemma win:seed-bergman.
+
+The takeaway. E is a locally pseudoconvex semialgebraic open subset
+of C x C^r x L, its seed fibre is a genuine bounded (Stein) domain,
+and E projects onto the smaller open V_2 subset L. The next step
+(3.4.4) shows that over an open dense subset of V_2, E actually
+equals the full paraboloid epigraph, not just a proper subset of it.
+
+(3.4.4) WHOLE-FIBRE EPIGRAPH AND EXTENSION TO V_2
+-------------------------------------------------
+
+Goal of this step. We prove that E is not an arbitrary open subset of
+C x C^r x L projecting onto V_2: it is exactly the "epigraph" of the
+quadratic test, over an open dense piece of V_2, and by extension
+across walls it is the epigraph over all of V_2. This is the crucial
+geometric rigidity of the boundary window.
+
+The main proposition is:
+
+  Proposition (win:first-epigraph). Suppose V is a locally
+  pseudoconvex semialgebraic open subset of a projective variety Y,
+  the boundary has a real analytic hypersurface patch with
+  constant-rank Levi form, and E, V_2 are constructed as in 3.4.3.
+  Then:
+
+    (i)  V_2 is a locally pseudoconvex semialgebraic open subset of
+         L, of complex dimension ell < dim Y.
+
+    (ii) Over every y in V_2, every point (s, w) in C x C^r satisfying
+         the strict inequality
+
+              Im s  >  (Im w)^T (Im H(y))^{-1} (Im w)
+
+         together with a small neighbourhood thereof lies in the
+         closure of the fibre E_y of E over y (equivalently, in the
+         component of the fibre containing the seed).
+
+    (iii) V_2 is the image of E under the projection z-map.
+
+  (Original label: Lemma win:first-epigraph, sections/windows.tex.)
+
+Proof outline. We split into three sub-steps:
+
+  (a)  Over a dense open subset W of V_2, E_y equals the exact
+       epigraph:
+         E_y = {Im s > (Im w)^T (Im H(y))^{-1} (Im w)}.
+
+  (b)  Extend across codimension-one walls of V_2 by tangency
+       propagation (Lemma win:tangency-propagation, Section 3.2).
+
+  (c)  Extend across the remaining singular locus (codimension >= 2)
+       using the thin-set analyticity theorem (Theorem
+       holes:thin-analyticity, Section 3.2).
+
+Step (a): generic fibre equals epigraph.
+
+Proof of (a). By Step 1 of (3.4.3), E is locally pseudoconvex and
+semialgebraic. Fix a point y in V_2 away from a proper algebraic
+locus D_proper subset L (the "generic location"). At y:
+
+  - The Hermitian matrix H(y) is holomorphic.
+  - The form Im H(y) is strictly positive definite (by continuity from
+    the seed, since V_2 is connected to the seed's image z_0 via
+    ModelV; use the locally pseudoconvex and semialgebraic nature of
+    E and the fact that the boundary of E over ModelV is exactly
+    the paraboloid boundary).
+  - The tangent plane to dE at y is not vertical (semialgebraicity of
+    E with the flat paraboloid model at y).
+
+Why E_y is exactly the epigraph away from D_proper. The defining
+"coarea" of E over ModelV means that the boundary of E_y inside C x C^r
+is a real hypersurface containing a nonempty open set of the paraboloid
+{Im s = (Im w)^T (Im H(y))^{-1} (Im w)}. On the interior side of the
+paraboloid, the Hermitian form (Im H(y))^{-1} is strictly positive
+definite, so the interior is Stein and the constant function 1 is
+L^2 on the entire epigraph. If E_y were a proper subset of the
+epigraph, it would have a boundary component inside the epigraph;
+that boundary is a real hypersurface of C x C^r that bounds the local
+extension of E_y near y. But by the tangency propagation lemma
+(win:tangency-propagation, which is an analytic-continuation
+argument along the connected slice of the interior of the epigraph),
+such a boundary component propagates to the paraboloid itself, so
+the component IS the paraboloid boundary. Contradiction. So E_y equals
+the whole epigraph at generic y.
+
+See Lemma win:first-epigraph Step (a) for the precise invocation of
+hole:interior-trapping and win:tangency-propagation.
+
+Step (b): propagate across codimension-one walls.
+
+Now consider a real codimension-one wall W of V_2 (a real hypersurface
+inside L along which E degenerates). Enlarge the fibre E_y slightly
+at a regular wall point y_0 in W. By (a), the fibre E_y for y -> y_0
+from a generic side is exactly the epigraph of the paraboloid over
+H(y). Take the one-sided limit as y -> y_0 through the generic side.
+Because H(y_0, v_\perp) is analytic (in v_\perp, the transverse wall
+variable), the limit epigraph is exactly the paraboloid over H(y_0).
+So E_{y_0} contains the paraboloid over H(y_0). Going back through
+the wall to the other side: by the same argument on the other side,
+E_{y_0} also contains the paraboloid on the other side. So the fibre
+E_y at the wall contains the whole paraboloid epigraph in both sides.
+
+The technical tool is Lemma win:tangency-propagation (Section 3.2):
+given a locally pseudoconvex semialgebraic family of open subsets
+with analytic dependence on the parameter, and given that on one
+generic side of a wall the family is exactly the paraboloid epigraph,
+the family at the wall itself is also the paraboloid epigraph. The
+proof is analytic continuation in the real-normal wall variable: the
+defining equations of E are analytic in the wall normal, and the
+equality "E_y = epigraph" extends across the wall by analytic
+identity.
+
+Step (c): propagate across the singular locus.
+
+After Step (b), E_y = epigraph for all y in V_2 except possibly on a
+semialgebraic subset S_sing subset V_2 of real codimension >= 2 (the
+"thin" singular locus of the walls). Apply the thin-set analyticity
+theorem (holes:thin-analyticity, Section 3.2 preliminaries;
+Vajaitu 2000, Theorem 1):
+
+  If A is a closed subanalytic subset of real dimension <= 2 ell - 2,
+  and if M \ A is locally pseudoconvex, then A is complex analytic.
+
+Here M corresponds to a small ball inside V_2 near y_0 (a thin set),
+A corresponds to S_sing, and M \ A is the open piece of V_2 on which
+E_y = epigraph. Conclusion: S_sing is complex analytic in V_2, so it
+is closed analytic. But V_2 is itself semialgebraic open, and complex
+analytic subsets of projective varieties are algebraic (Chow, Serre
+1956). That would make S_sing a proper closed algebraic subset of
+V_2. Since V_2 is connected (we have arranged this: take the
+connected component of V_2 containing the seed image z_0), S_sing
+must be all of V_2 or empty. It is not all of V_2 because we know
+by Step (b) that S_sing has real codimension >= 2. Hence S_sing is
+empty.
+
+So E_y = epigraph for all y in V_2.
+
+Conclusion.
+
+  - V_2 (image of E under the z-projection) is a locally pseudoconvex
+    semialgebraic open subset of L.
+  - The fibre E_y is exactly the paraboloid epigraph over each y in
+    V_2.
+  - Thus E = { (s, w, z) in C x C^r x V_2 :
+             Im s > (Im w)^T (Im H(z))^{-1}(Im w) } as a set.
+  - E is biholomorphic to V_2 x P_block, where P_block is a single
+    Siegel-like block.
+
+The inductive hypothesis is now set up. Just as we started from V
+with boundary hypersurface M0, we now have a smaller locally
+pseudoconvex semialgebraic open subset V_2 subset L, with dim L <
+dim Y. Apply the entire recursive analysis (3.4.1-3.4.4) to V_2 in
+L instead of V in Y.
+
+We call this step the "peeling" of the boundary: each cycle of
+(3.4.1-3.4.4) extracts one Siegel-like block (s_j, w_j) from the
+tower, and passes from a problem in dimension n to a problem in
+strictly smaller dimension. Termination is guaranteed because each
+cycle strictly reduces the dimension of the base projective variety
+L (dim V_2 = dim L < dim V).
+
+(3.4.5) SIEGEL NORMALIZATION AND THE RECURSIVE TOWER
+----------------------------------------------------
+
+The recursion. Step 3.4.4 produces, from the original (V, Y), a
+smaller locally pseudoconvex semialgebraic open subset V_2 in a
+projective variety L with dim L < dim Y. Applying 3.4.1-3.4.4 again
+produces a still-smaller (V_3, L_3), and so on. This terminates
+because dim strictly decreases.
+
+At each stage j, we hand off from the "outer" block (s_j, w_j) over
+the plaque-space L_j to the next block (s_{j+1}, w_{j+1}) over
+L_{j+1}. The bookkeeping requires the period matrix H_j from stage j
+to be normalized compatibly with the next stage's scaling. This is
+what the Siegel normalization lemma does.
+
+Siegel normalization lemma (win:siegel-normalization, sections/windows.tex).
+
+  Lemma. Let S_2 be a fixed parameter domain with normalization
+  R_t^2(x_2), open-kernel component P_2, and a fixed interior seed
+  p_2. Let H_* be symmetric and holomorphic on a full neighborhood
+  of x_2, with Im H_* > 0 on S_2. Assume R_t^2 has joint Puiseux
+  expansions and polynomial inverse bounds.
+
+  Define
+
+    T_t  := (Im H_*(x_2 + R_t^2 p_2))^{1/2},              (Square-root of
+                                                          positive-definite
+                                                          Hermitian matrix)
+    H_t(z) := T_t^{-1} ( H_*(x_2 + R_t^2 z)
+                          - Re H_*(x_2 + R_t^2 p_2) ) T_t^{-1}.
+
+  Then H_t converges on all bounded complex z-boxes to a symmetric
+  holomorphic polynomial matrix tau, with
+
+    tau(p_2) = iI,
+    Im tau(z) > 0 on P_2.
+
+  (Original label: Lemma win:siegel-normalization, sections/windows.tex.)
+
+Idea. T_t is the "unit matrix" that rescales H_* so that at the seed
+p_2 the imaginary part is iI. The subtraction of Re H_* at the seed
+recenters H_* at 0 in the real direction. Schwarz reflection / Puiseux
+preparation then makes H_t real analytic on the closure of every
+bounded complex z-box, so H_t is a locally convergent analytic
+sequence, and as t -> 0 it converges to a holomorphic polynomial by
+the Taylor-remainder argument of Lemma prep:finite-jet-specialization
+(which is exactly the machinery set up for this purpose).
+
+Siegel tower lemma (win:tower, sections/windows.tex).
+
+  Lemma. The recursive construction produces:
+
+    - A finite dimensional bounded domain P of dimension d, called
+      the tower.
+
+    - A real analytic family R_t(x) and a seed p in P such that
+      P is the connected component of the open kernel of the scaled
+      domain
+
+        S_{t,x} := R_t(x)^{-1} (S - x)   (x real center)
+
+      at p, for sufficiently small t.
+
+    - P has the recursive structure
+
+        P  =  { (s_1, w_1, s_2, w_2, ..., s_k, w_k) :  Im s_j >
+                 (Im w_j)^T (Im tau_j(z_j))^{-1} (Im w_j)  for all j,
+                 (s_{j+1}, w_{j+1}, ..., s_k, w_k) in P_{j+1} }
+
+      where each tau_j is a holomorphic symmetric matrix on P_{j+1}
+      with Im tau_j > 0, and P = P_1 is built inductively from
+      P_2, ..., P_{k+1} = point.
+
+  (Original label: Lemma win:tower, sections/windows.tex.)
+
+  Here k <= dim V = n, and dim P = sum_j (1 + r_j).
+
+Concretely: each stage j contributes a scalar s_j in C and a vector
+w_j in C^{r_j}. So dim P = sum_j (1 + r_j). Sanity check against the
+simplest nontrivial case k = 1, r_1 = 0: then P = { Im s_1 > 0 } is
+the upper half-plane, dim P = 1 = 1 + 0. Correct.
+
+The domain P is a "triangular" domain, with the "later" stages
+constrained by the "earlier" ones only through the off-diagonal of
+the Hermitian matrix tau_j.
+
+Why this is a bounded domain. Each stage j's inequality is
+
+  Im s_j  >  (Im w_j)^T (Im tau_j(z_j))^{-1} (Im w_j).
+
+Because Im tau_j(z_j) > 0 for z_j in the earlier stages, the right
+side is a strictly convex function of Im w_j with minimum 0. The
+solution set is an open convex region in (s_j, w_j). Over a
+bounded previous stage P_{j+1}, this is bounded. So P is bounded
+by induction on j.
+
+Matrix form of each stage. Write
+
+  M_j(Z) =  ( s_j     w_j^T
+              w_j     tau_j(Z_{>j}) )
+
+where Z_{>j} = (s_{j+1}, w_{j+1}, ..., s_k, w_k) is the "later
+blocks" data entering stage j-1. Then the defining condition is
+
+  Im M_j(Z) > 0  for all j.
+
+This is exactly the Siegel upper half-space condition stage-by-stage,
+stacked. Each M_j is a (1 + r_j) x (1 + r_j) symmetric matrix with
+positive definite imaginary part.
+
+Tower coordinates. Put Z = (Z_1, ..., Z_k) where Z_j = (s_j, w_j).
+Then:
+
+  P = { Z : Im M_j(Z_{>j}) > 0 for all j = 1, ..., k }.
+
+Data of the tower. Each stage j contributes:
+
+  - degree r_j >= 0 (integer, j = 1, ..., k);
+  - matrix tau_j(Z_{>j}) holomorphic symmetric (1+r_j)x(1+r_j) with
+    Im tau_j > 0 on P_{j+1}.
+
+Determined by V and choices in the recursion. Section 3.4.6 verifies
+(among other things) that P is intrinsic: independent of choices made
+in 3.4.1-3.4.4.
+
+Seed. The recursive seed is p = (p_1, p_2, ..., p_k), where each p_j
+is the interior point (iI_{block}, 0) of the local Siegel block at
+stage j.
+
+Termination. Since dim of the base projective variety strictly
+decreases at each recursion (dim L_{j+1} < dim L_j), the recursion
+must terminate at some k <= n. The terminal case is a point (dim L =
+0, P_{k+1} = point).
+
+(3.4.6) PROPERTIES OF THE TOWER P
+----------------------------------
+
+The tower P defined in 3.4.5 has the following properties, all used
+later:
+
+  Proposition (win:tower-properties, sections/windows.tex). The
+  domain P of Theorem win:construction (i.e. our P) satisfies:
+
+    (a) P is diffeomorphic to R^{2d} (and hence contractible).
+
+    (b) P is Stein.
+
+    (c) P is biholomorphic to a bounded domain in C^d of the same
+        complex dimension d.
+
+    (d) The complete real holomorphic vector fields belonging to the
+        identity component Aut(P)^0 of its automorphism group span
+        the complexified tangent space T_z^{(1,0)} P at every point
+        z in P.
+
+  (Original label: Proposition win:tower-properties, sections/windows.tex.)
+
+Proof of (a): P is diffeomorphic to R^{2d}.
+
+At one stage of the tower, write B(z) := Im tau_j(z_{>j}).
+The defining inequality of stage j is Im M_j > 0, i.e. in Schur
+complement form
+
+  Im s_j  >  (Im w_j)^T B(z_{>j})^{-1} (Im w_j).
+
+Define the positive slack
+
+  lambda  :=  Im s_j  -  (Im w_j)^T B(z_{>j})^{-1} (Im w_j)  >  0.
+
+Then the coordinates
+
+  (z_{>j}, Re w_j, Im w_j, xi := Re s_j, eta := log lambda)
+
+form a smooth coordinate system on the entire j-th stage. The
+inverse map recovers:
+
+  s_j  =  xi + i ( e^eta + (Im w_j)^T B(z_{>j})^{-1} (Im w_j) ).
+
+So the j-th stage is diffeomorphic to
+
+  P_{j+1} x C^{r_j} x R^2
+
+(where P_{j+1} is the "later" domain from subsequent stages, of
+smaller dimension). Induction, starting from the terminal stage
+(a point), proves:
+
+  P is diffeomorphic to R^{2d}, with d = sum_j (1 + r_j).
+
+In particular P is contractible.
+
+Proof of (b): P is Stein.
+
+Let M_j = M_j(Z_{>j}) be the polynomial matrix functions of 3.4.5.
+Define the smooth real function
+
+  Phi(Z)  :=  |Z|^2  -  sum_j  log det Im M_j(Z).
+
+Claims:
+
+  (i)  Phi is strictly plurisubharmonic on P.
+
+  (ii) Phi is an exhaustion: Phi(Z) -> +infinity as Z -> boundary(P)
+       or Z -> infinity.
+
+Detailed checks:
+
+  (i) Each entry of M_j has harmonic imaginary part, and differentiating
+      -log det of a positive-definite Hermitian matrix produces a
+      nonnegative Levi form (more precisely: the squared matrix norm of
+      the derivative conjugated by the positive-definite inverse square
+      root). So Phi is strictly plurisubharmonic.
+
+  (ii) As Z -> a finite boundary point of P, at least one of the
+       positive-definite matrices M_j(Z) becomes singular, so
+       det Im M_j -> 0 and -log det Im M_j -> +infinity. Combined with
+       |Z|^2 from the quadratic term, Phi -> +infinity.
+
+       As Z -> infinity, each -log det Im M_j(Z) grows at most
+       logarithmically in |Z| (because M_j is polynomial in Z and
+       det grows as a polynomial in |Z|). So Phi dominates by |Z|^2.
+
+Thus Phi is a strictly plurisubharmonic exhaustion. By the standard
+Oka criterion (or Grauert's embedding theorem for Stein manifolds),
+P is Stein.
+
+Proof of (c): P is biholomorphic to a bounded domain of dimension d.
+
+We use the "one block at a time" procedure. Fix a block j with
+dim C^{1+r_j} = 1 + r_j. For a point of P, consider the matrix
+
+  K_j  :=  I - i M_j(Z_{>j}).
+
+Since Im M_j > 0, the Hermitian part of K_j is (I + Im M_j) > I,
+hence hermitian-positive-definite. Consequently ||K_j^{-1}|| <= 1.
+
+Write the first column of K_j as (a, b)^T with a in C, b in C^{r_j}.
+The lower-right block D := I - i tau_j(Z_{>j}) is invertible, and the
+Schur complement formula gives a != 0.
+
+The first-column equations recover the original coordinates
+holomorphically:
+
+  w_j  =  D b / (i a),
+  s_j  =  i (1 - a + i w_j^T b) / a.
+
+Now define the map
+
+  Phi_block_j  :  (s_j, w_j, z_{>j})  |->  (a, b, psi_{>j}(z_{>j}))
+
+where psi_{>j} is a bounded realization of the previous (later)
+stage, obtained by induction. Then:
+
+  - Phi_block_j is holomorphic (each of a, b, psi_{>j} is holomorphic).
+  - Phi_block_j is injective: given (a, b, psi_{>j}(z_{>j})), we
+    recover w_j from b/(ia), then s_j from i(1 - a + i w_j^T b)/a.
+  - The image of Phi_block_j is bounded: |a|, |b| are bounded by 1
+    (from ||K_j^{-1}|| <= 1), and the image of psi_{>j} is bounded
+    by induction.
+  - The image is open (Phi_block_j is a local biholomorphism at each
+    point of P, by full rank of the Jacobian, which is essentially the
+    block structure).
+
+So by induction on stages, P is biholomorphic to a bounded domain in
+C^{sum_j (1 + r_j)} = C^d.
+
+Proof of (d): complete vector fields span the tangent space.
+
+The idea: use the local automorphisms of P defined by
+
+  Phi_{x,u}(Z)  :=  u + G_x(u) Z
+
+where G_x(u) is the triangular polynomial from the "ratio" limit
+(Theorem win:construction equation (win:orbit)):
+
+  R_t(x)^{-1} R_t(x + R_t(x) u)  ->  G_x(u)   (locally uniformly,
+                                               all derivatives)
+
+Fix x. Then u -> Phi_{x,u} is a curve in Aut(P) through the identity
+Phi_{x,0} = id. Differentiating it at u = 0 gives a complete real
+holomorphic vector field xi_x on P whose value at the seed is:
+
+  xi_x(seed)  =  (d/du)_{u=0} (u + G_x(u) Z) |_{Z=seed}
+               =  e_x + (dG_x/du at 0) * Z_seed
+
+where e_x = (1, 0, ..., 0) is the coordinate unit vector
+corresponding to the "u" direction of the x-parameter.
+
+Full spanning of the complexified tangent space. The claim is that
+the set of vector fields xi_x, as x varies over the real center x and
+u over all real scaled parameters, spans T^{(1,0)}_Z P at every Z.
+
+Test at a generic point Z = (Z_1, ..., Z_k). Differentiating in the
+u-coordinate of stage j contributes:
+
+  - the coordinate unit vector e_j in stage j's (s_j, w_j) coordinates;
+  - nothing in stage j' > j (later blocks unchanged);
+  - possibly a vector in stage j' < j (earlier blocks, but these are
+    determined by the triangular structure G_x).
+
+The total derivative matrix (d/dZ_j) xi_x has the shape: identity on
+the diagonal blocks and possibly upper-triangular entries above the
+diagonal, but zero below. So its determinant is 1 at every point.
+
+So the vector fields xi_x are linearly independent at every point and
+span the (1 + r_j)-dimensional complex tangent space in each block
+j. Combined across all j, they span T_Z P over C.
+
+The vector fields xi_x are complete because they are the total
+derivatives of one-parameter families of actual automorphisms of P
+(they integrate back to the same curve).
+
+This proves (d). QED (proposition win:tower-properties).
+
+What's achieved in 3.4.
+
+  We have built:
+    - A contractible Stein bounded domain P of complex dimension d.
+    - Complete real holomorphic vector fields spanning T^{(1,0)}_Z P
+      at every Z in P.
+    - P is intrinsic: it depends only on V.
+
+  We have NOT YET shown that P is the actual "quotient" of V under
+  a holomorphic submersion. That is Section 3.6 (intrinsic quotient).
+  Steps 3.5 (localization) provides the input needed to establish the
+  quotient: identification of M = P and of the quotient map
+  f_X : X~ -> P as an equivariant submersion.
+
+(3.5) LOCALIZATION: BOUNDED-PATH ENDPOINTS
+-------------------------------------------
+
+The task of this section. Fine-scale information about the boundary
+of V near a face is not enough to reconstruct the whole of V: we need
+to control paths inside V that stay in a bounded region of the
+scaled coordinates. The point is that such paths must land in the
+marked component of the scaling limit.
+
+This is where Bishop's method of "attached discs" enters. Each
+bounded path gives rise to a complex disc with boundary on the
+scaled boundary; the triangular recenterings force the disc to
+propagate into the marked component. The output is:
+
+  Theorem (loc:theorem, sections/localization.tex). Let S be a
+  locally pseudoconvex semialgebraic open subset of a complex
+  manifold Y, x_1 a real center inside S, and R_t(x) a real
+  analytic family of matrices tending to zero with polynomial bounds
+  on R_t and R_t^{-1}. Assume the ratio condition
+
+    R_t(x)^{-1} R_t(x + R_t(x) u)  ->  G_x(u)   (locally uniformly,
+                                                 all derivatives)
+
+  where G_x(u) is a triangular polynomial. Let P be the marked
+  component of the open kernel of S_{t,x} := R_t(x)^{-1}(S - x) at
+  the seed p. Then any limit of endpoints of bounded paths in S_{t,x}
+  starting at the seed and staying in a fixed bounded box belongs to
+  the closure of P.
+
+  (Original label: Theorem loc:theorem, sections/localization.tex.)
+
+Terminology. "S_{t,x}" is a family parametrized by t > 0 and the real
+center x. "Bounded path" means a path of the form sigma : [0,1] ->
+S_{t,x} with sup |sigma| < L for a fixed L. "Endpoint" means
+sigma(1). "Marked component" P is the connected component of the
+open kernel of the family, marked by the seed p (as in 3.4.3).
+
+Why local pseudoconvexity alone is not enough. Local pseudoconvexity
+of V in Y is a condition at the boundary: for any Hartogs figure in
+a coordinate chart, filling it in stays inside V. But local
+pseudoconvexity at the boundary does not control the interior: a
+path can wander through V and exit through a distant boundary face,
+and local pseudoconvexity at the exit face does not prevent the
+path from having started nearby and ended far away. We need a path-
+specific statement.
+
+The idea. Consider a bounded path sigma inside S_{t,x}, starting at
+the seed p in the marked component P and reaching a point z outside
+the closure of P. Then sigma leaves P by passing through the
+boundary of S_{t,x}. Materialize the boundary of S_{t,x} as the
+graph of a "recentered" function; then the boundary of the path becomes
+the boundary of a complex disc attached to the boundary. Use the
+"attached-disc theorem" (Bishop 1965) to show the disc fills in
+inside the boundary, contradicting that a nearby interior point is
+outside P.
+
+Triangular recenterings. The key hypothesis is the ratio condition.
+At each stage of the recursion (3.4.5) we have R_t(x), a real
+analytic matrix family. As t -> 0, the recentered family
+R_t(x)^{-1} R_t(x + R_t(x)u) has a limit G_x(u) which is a polynomial
+in u. Crucially, G_x is block-triangular: the j-th block of G_x(u)
+depends only on blocks j' >= j of u. This triangular structure is
+essential to the argument. Without it, the attached-disc equation
+would have a nonlinear core and we could not separate blocks.
+
+Attached-disc equation (Bishop). Take the normalization circle
+T^1 with angle theta. For a function v on T^1, let <v> be its mean.
+The real Hilbert transform H is defined by H(1) = 0 and
+H(cos n theta) = sin n theta for n >= 1. Then:
+
+  A complex function v + i w on T^1 bounds a holomorphic disc if and
+  only if
+
+    v - <v>  =  -H w.
+
+  (Bishop 1965, and, in a cleaner form, Hill-Taiani 1978 section 2,
+  equation (2.1) and Proposition 2.1.)
+
+The operator H extends boundedly to C^alpha for 0 < alpha < 1
+(Priwaloff 1916, pp. 100-102) and to L^q for 1 < q < infinity
+(M. Riesz, via Essen 1984, equations (0.1) and sections 1-2).
+
+Triangular structure of the system. Substitute the boundary of
+S_{t,x} into Bishop's equation. Because the normalization R_t(x) is
+block-triangular with each block having determinant one, the resulting
+system for the boundary values of the disc is also block-triangular.
+Stage j's equation involves only stages j' >= j of the boundary data.
+Solving this system stage-by-stage (from the last stage backwards),
+the earlier-integrated stages act as parameters for the next stage.
+
+Actually the cleaner statement is in the paper: "the resulting system
+is block-triangular, with diagonal <chi> I on each complex block. It
+is invertible at every solution. This proves full real rank 2d, not
+only motion in the imaginary center directions." (loc:center equation)
+
+So the full differential of the system is invertible at every solution,
+which means we can propagate the disc using implicit function theorem.
+
+Persistence and filling. Replace G(u)F(a) in the equations by
+C_t(x,u)F_t(x + R_t(x)u, a). The difference between the two is
+O(t) in an appropriate Banach norm (Holder / Sobolev). The limiting
+system (as t -> 0) is identity plus a strictly block-triangular
+bounded operator; its inverse is a finite sum for a nilpotent
+triangular operator. The convergence of the scaled systems (from the
+ratio condition) gives convergence of these systems and their first
+derivatives in operator norm near any compact family of limiting
+solutions. So by the implicit function theorem, the system also has
+nearby solutions for small positive t, uniformly along the compact
+family.
+
+Local uniqueness patches solutions over the family. That gives a
+uniform center-image ball, so the path near its endpoint continues
+to sit in the marked component.
+
+Result: bounded path endpoints lie in the closure of the marked
+component P. QED (Theorem loc:theorem).
+
+Generic quantifiers and elimination. The one missing piece in the
+above argument is: how do we know the set of centers x for which
+the bound holds is open dense (i.e., the "generic center" quantifier
+of Definition prep:generic)? The conclusion we have is pointwise in
+x. To get uniform control, use:
+
+  For fixed integer L > |p| and positive rational eta, let E_{L, eta}
+  be the set of x for which arbitrarily small t admit a point of
+  the L-truncated accessible component A_t^x(L) at distance >= eta
+  from the closure of P_x.
+
+  E_{L, eta} is subanalytic (definability of components).
+
+  If E_{L, eta} had nonempty interior, preparation gives a
+  contradiction: choose a smaller real box inside E_{L, eta}, apply
+  one-variable definability in t to get paths to endpoints, use the
+  bounded-path localization lemma (3.5 above) on the paths to get a
+  contradiction.
+
+  Hence dim E_{L, eta} < d = dim (center space). Delete all such
+  exceptional sets (countably many L, eta). At every remaining center
+  x, the negation of "in E_{L, eta}" gives the uniform quantifier
+  needed.
+
+Conclusion of 3.5. For generic real centers x, and uniformly over
+all bounded boxes and accuracies, any limit of a bounded path in
+S_{t,x} starting at the seed and staying in a bounded box belongs to
+the closure of P_x. This is what localization contributes to the
+intrinsic quotient.
+
+(3.6) GUARDS AND THE INTRINSIC QUOTIENT
+----------------------------------------
+
+We now convert the tower P into an actual quotient of V (and hence
+of X~). Two things must be shown:
+
+  (A) The fibres of the "coordinate map" f : V -> P are intrinsic:
+      two fibres that meet must coincide.
+
+  (B) The translated charts exhaust V, so that f is onto and M :=
+      the space of fibres is identified with P.
+
+Both use a "guard" function attached to each chart.
+
+Guard function. Let Z = (Z_1, ..., Z_k) be the tower coordinates of
+3.4.5, and M_j(Z) = M_j(Z_{>j}) the matrix of stage j. Let alpha > 0
+be a small rational constant. Define
+
+  h(Z)  :=  exp( -alpha * sum_{j=1}^{k} tr log(I - i M_j(Z)) ).
+
+  (Lemma quo:guard, sections/quotient.tex.)
+
+Properties of the guard.
+
+  (G1) log(I - i M_j) makes sense because Im M_j > 0 makes I - iM_j
+       hermitian-positive-definite (as in 3.4.6(c)); so tr log is
+       well-defined.
+
+  (G2) The values of h(Z) lie in a fixed sector
+         { zeta : |arg zeta| < theta },  theta < pi/2,
+       and are uniformly bounded in that sector.
+
+  (G3) There is a constant C such that, on each accessible parameter
+       region A_i (see 3.4.5), one has
+
+         |h(Z)|  <=  C (1 + |Z|)^{-alpha}.
+
+  (G4) Every compact subset of P is eventually contained in the
+       domains on which h is defined; h extends holomorphically to
+       a neighbourhood of every such compact set.
+
+  (G5) There are connected open subsets H_i subset A_i, containing the
+       seed and eventually containing every compact subset of P, and
+       real m_i -> -infinity with a_i R_i^2 <= 1 such that
+
+         u_i := log|h| + a_i |Z|^2  >  m_i   on H_i,
+
+       and every boundary of H_i that has an incidence with a point
+       of V (i.e. has a corresponding point of V under the quotient
+       chart) has |h| <= delta_i with delta_i -> 0.
+
+The last property is what makes h a "guard": it decays near any
+boundary of the translated chart that could conceivably contain an
+incidence to V.
+
+Proof of (G1)-(G4). Write M_j = s-part plus Hermitian part. The
+real part of tr log(I - iM_j) is -tr log|the Hermitian part| =
+-(1/2) log det( (I + Im M_j)^2 + (Re M_j)^2 ). This is negative
+(uniformly so), giving (G2). The scaling R_t used to build P makes
+I - iM_j(Z) have systematically bounded eigenvalues for Z in P, so
+the estimate (G3) follows from the logarithmic growth of tr log
+coupled with |Z|^{-alpha}. (G4) is immediate: on a compact subset of
+P, the polynomial matrices M_j are bounded and their imaginary parts
+are bounded below by a positive constant, so h is uniformly analytic.
+
+Proof of (G5). The bound |h(Z)| <= C(1+|Z|)^{-alpha} combined with
+the linear term a_i|Z|^2 (with a_i small and R_i large) makes
+u_i = log|h| + a_i|Z|^2 an exhaustion of the tower: for |Z| small
+u_i is bounded below (h bounded), and for |Z| large the -alpha log|Z|
+term is dominated by +a_i|Z|^2. The boundary-decay property is the
+heart of quo:guard: it uses the explicit formula for h and the
+structure of the tower to show h decays along any ray in P that could
+reach a genuine incidence point of V.
+
+The purpose of h. Guard h is a "bounded holomorphic function that
+decays exponentially near corners". Attaching h to a chart gives a
+uniform exhaustion of the chart by compact analytic polyhedra on which
+we have a priori bounds. Then a diagonal compactness argument
+(Montel) can be applied uniformly across charts.
+
+Intrinsic fibres.
+
+  Lemma (quo:incidence, sections/quotient.tex). Two fibres of the
+  coordinate map f : V -> P that meet must coincide.
+
+Proof idea. Let (b, c) be two distinct parameters in P whose
+associated projective-open varieties (the "fibres" at b, c) share
+a point of V. Then in the coordinate chart at "b", the two fibres
+share a nonempty open set (the intersection of the local pieces).
+Because the chart is separated by the guard h (its coordinate maps
+are cosets of h in a suitably chosen algebra), sharing an open piece
+forces b = c. The same argument gives that f is separated.
+
+Construction of the quotient.
+
+  - Define f : V -> M_abstract to be the sheaf-theoretic quotient
+    (V modulo the relation "same fibre"), set-theoretically.
+
+  - The map f is open, because the local coordinate charts of V
+    are sent to open subsets of P.
+
+  - The quotient is Hausdorff: given two distinct fibres, choose a
+    sufficiently late translated chart (from quo:trapping below) in
+    which both entire fibres appear. The parameter neighbourhoods of
+    the two parameters in that chart are disjoint in P, so their
+    saturated preimages in V are disjoint open sets.
+
+  - M_abstract is second countable (V is, and f is open and continuous).
+
+  - M_abstract is connected (V is).
+
+  - M_abstract is a complex manifold, with local charts being the
+    parameter regions H_i (biholomorphic to open subsets of P).
+
+So f : V -> M is a holomorphic surjective submersion with connected
+fibres, and M is a connected complex manifold.
+
+Identification M = P. Write phi_i : M_i -> H_i for the local
+coordinate maps, psi_i : H_i -> M_i for their inverses.
+
+  Corollary (quo:trapping, sections/quotient.tex). For a connected
+  test domain D subset M and maps g_i : D -> V with
+  pi_i(g_i(x_i)) -> seed p at points x_i -> x, every compact subset
+  of D is eventually mapped into U_i (the fibre-bundle domain over
+  H_i), and after passing to a subsequence pi_i o g_i converges
+  normally on D to a holomorphic map into P.
+
+  Sketch. Apply quo:cutoff-normal to h o pi_i o g_i on the connected
+  relatively compact test domain. The guard bound (G3) and the
+  cutoff-gluing lemma (quo:cutoff-normal) give normal convergence
+  of the guard function to a nowhere-zero holomorphic limit. That
+  limit controls the pi_i's values, giving compactness of the
+  parameters. Apply Montel's theorem.
+
+  Lemma (quo:inverse-tightness, sections/quotient.tex). For every
+  compact K subset P, the psi_i(K) eventually lie in a compact
+  subset of one fixed chart M_j.
+
+  Sketch. Suppose not. Build j_nu -> infinity and compact sets
+  L_nu and i_nu with psi_{i_nu}(K) not contained in phi_{j_nu}^{-1}(L_nu)
+  and "parameter at i_nu tends to seed". Then quo:trapping applies
+  to psi_{i_nu} (with test domain K), giving that psi_{i_nu}(K) lies
+  in a fixed compact of P eventually, contradicting the choice of i_nu.
+
+By quo:trapping, some subsequence phi_i -> phi : M -> P, and by
+quo:inverse-tightness, some subsequence psi_i -> psi : P -> M. Passing
+to limits on compact sets in phi_i o psi_i = id and psi_i o phi_i =
+id, we obtain phi and psi as inverse biholomorphisms. So M is
+biholomorphic to P.
+
+Automorphisms. Since M = P (as complex manifolds, by this biholo),
+the complete real holomorphic vector fields of P span the complex
+tangent space at each point. So Aut(M) has the "transitive in a
+strong sense" property described in Proposition win:tower-properties
+(d).
+
+Descent to X~.
+
+  Lemma (quo:descent, sections/quotient.tex). The map f : V -> M
+  descends uniquely to an equivariant holomorphic map
+  f_X : X~ -> M. Both have connected fibres. Each fibre of f_X is
+  biholomorphic to a semialgebraic open subset of a projective
+  variety. And mu_*O_V = O_{X~}.
+
+  Sketch. Recall mu : V -> X~ is the functorial resolution of 3.1.
+  The fibre mu^{-1}(x) of mu over a point x in X~ is a compact,
+  connected, irreducible complex space. Any holomorphic function on
+  V is constant on mu^{-1}(x) (a compact connected complex space
+  cannot support a nonconstant holomorphic function). So mu_*O_V =
+  O_{X~}, i.e. every holomorphic function on V that is constant on
+  compact fibres of mu descends to X~.
+
+  Each coordinate of f is holomorphic on V; its restriction to any
+  compact fibre of mu is constant (as above). So f descends
+  uniquely to a holomorphic f_X : X~ -> M. Uniqueness plus
+  equivariance of f gives equivariance of f_X.
+
+  Connectedness of fibres of f_X. For m in M, mu^{-1}(f_X^{-1}(m)) =
+  f^{-1}(m), and f^{-1}(m) is connected (by the manifold structure
+  of M and the connectedness of local charts). Since mu is
+  surjective and mu^{-1} of a connected set is connected (proper
+  modification of normal target), f_X^{-1}(m) is connected.
+
+  Semialgebraic compactification of each fibre. Each fibre f_X^{-1}(m)
+  pulls back (via mu) to the fibre f^{-1}(m) of V over m, which is
+  a projective-open subset of the tower's fibre (by the construction
+  of f). Actual algebraic compactification: from the incidence
+  charts of Section 3.5.
+
+Flatness of f_X. Locally on M, the map f_X has the form q o e^{-1}
+where q : Q -> B is a smooth proper projective family and e is the
+incidence evaluation (Section 3.5). This form is flat (by proper
+projectivity of q and the usual generic flatness lemma); the
+algebraic structure of the fibres (not just the analytic structure)
+is inherited from q.
+
+Thus:
+
+  THEOREM (quo:projection). Under the hypotheses of condition (i)
+  of the main theorem, and the boundary construction of Section 3.4,
+  there exist:
+
+    - A contractible Stein manifold M, biholomorphic to the tower P.
+    - An equivariant surjective submersion f : V -> M with connected
+      fibres.
+    - An equivariant holomorphic map f_X : X~ -> M with f = f_X o mu,
+      connected fibres, flat.
+
+  Each fibre of f_X is a semialgebraic open subset of a projective
+  variety, in fact a connected normal projective variety minus an
+  analytic hole.
+
+This is Section 3.6 done. Section 3.7 establishes that M is a bounded
+symmetric domain.
+
+(3.7) THE TRANSVERSE ACTION: M IS A BOUNDED SYMMETRIC DOMAIN
+-------------------------------------------------------------
+
+Return to the main line. From 3.6, we have:
+
+  - A contractible Stein manifold M, biholomorphic to the tower P.
+  - An equivariant surjective submersion f_X : X~ -> M with connected
+    fibres.
+  - Each fibre is a semialgebraic open subset of a projective variety.
+  - f is equivariant for the deck action of Gamma = pi_1(X):
+    f_X(gamma . z) = rho(gamma) . f_X(z), where rho : Gamma -> Aut(M)
+    is a holomorphic action of Gamma on M.
+  - The complete real holomorphic vector fields of Aut(M)^0 span
+    T_m M over C for every m in M (property 3.4.6(d)).
+
+Let Lambda := rho(Gamma) subset Aut(M) be the image of the deck group.
+This section proves that M is a bounded symmetric domain.
+
+Four steps:
+
+  3.7.1  Lambda is discrete and cocompact.
+  3.7.2  A finite-index subgroup Lambda_1 of Lambda acts freely.
+  3.7.3  B := M / Lambda_1 is compact aspherical with ample K_B.
+  3.7.4  M = D_sym is a bounded symmetric domain.
+
+Inputs from the compact core of X.
+
+  THEOREM (Campana 2004, and SpecialAbelianity, OpenAI Math Release).
+  Let Z be a smooth compact Kaehler manifold with no Bogomolov sheaf
+  ("special"). Then for any smooth projective modification r : Z' -> Z
+  and compact core c : Z' -> C, the very general smooth connected
+  fibre of c is special. Furthermore the following structure theorem
+  holds for any connected regular covering W -> Z with W
+  quasiprojective:
+
+    The deck group is virtually abelian.
+
+  (Original label: grp:abelianity-input; source: Campana 2004 for
+  the core theory, SpecialAbelianity for the abelianity assertion
+  for covers of special manifolds.)
+
+3.7.1. Lambda is discrete and cocompact.
+
+Holomorphic functions on V are constant on mu-fibres (as in 3.6). The
+key tool: a virtually abelian cover has only constant bounded
+holomorphic functions.
+
+  Lemma (grp:liouville, sections/groups.tex; Lyons-Sullivan 1984,
+  Theorem 1). Let a : W -> Z be a connected regular covering of a
+  compact connected Kaehler manifold Z, with deck group virtually
+  abelian. Then every bounded holomorphic function on W is constant.
+
+  Proof sketch. Choose an abelian subgroup A of finite index in the
+  deck group; the quotient Z_A := W/A is a compact Kaehler manifold.
+  Pull back a Kaehler metric from Z_A to W; it is complete (locally
+  a compact quotient) and the resulting Laplacian is complete.
+
+  Consider the convex set
+
+    H  :=  { h in C^int(W) : h > 0,  Delta h = 0,  h(o) = 1 }
+
+  of strictly positive harmonic functions with h(o) = 1 for a
+  fixed point o.
+
+  - (Compactness of H). Local Harnack inequalities (Serrin 1964,
+    Theorems 5-7) plus interior elliptic estimates (Nirenberg 1959)
+    make H compact in the C^inf topology on compact subsets. Limits
+    are still strictly positive: they are nonnegative harmonic functions
+    equal to 1 at o, so the strong maximum principle applies.
+
+  - (Extreme points). Let h be an extreme point of H. If
+    0 <= v <= h is harmonic and 0 < v(o) < 1, then
+
+      h = v(o) (v/v(o)) + (1 - v(o)) ((h - v)/(1 - v(o))),
+
+    so extremality forces v to be a positive scalar multiple of h.
+    So the ray C*h is minimal in the cone of positive harmonic
+    functions.
+
+  - (Uniform Harnack chains). For each alpha in A, there is
+    C_alpha < infinity such that
+
+      h(alpha x) <= C_alpha h(x)   for all x in W, h in H.
+
+    Take a compact set K with AK = W. Harnack chains between K
+    and alpha K give one constant valid for all positive harmonic
+    functions. Then h(alpha x) <= C_alpha h(x) follows.
+
+  - (Minimality forces invariance). The minimal ray of h, applied
+    to h o alpha and h, gives h o alpha = c_alpha h for some
+    c_alpha > 0 (with c_alpha bounded because The ray is
+    one-dimensional and h, h o alpha are both positive harmonic
+    functions on the same ray).
+
+  - (Integration forces constancy). The one-form eta = d log h
+    is A-invariant. It descends to a smooth one-form on Z_A, and
+    integrating div(eta^#) = Delta log h = -|eta|^2 over the compact
+    Z_A gives eta = 0. So log h is constant, hence the extreme
+    point h = 1.
+
+  - (Krein-Milman). Every extreme point of H is the constant
+    function 1. So H = {1}.
+
+  Therefore every positive harmonic function on W is constant. Real
+  and imaginary parts of a bounded holomorphic function are harmonic;
+  adding a constant to each makes them positive, hence both are
+  constant. So bounded holomorphic functions on W are constant. QED.
+
+Discreteness of Lambda.
+
+  Proposition (grp:discrete, sections/groups.tex). The group Lambda
+  is discrete in Aut(M) and acts cocompactly on M.
+
+  Proof. Aut(M) is a real Lie group (Kobayashi 1967, Proposition
+  3.1 and Theorem 6.2), and it acts properly on M (Blanchard-Cartan
+  1954, section 2, Propositions 2-3). Let H := closure of Lambda in
+  Aut(M).
+
+  For a very general parameter s in the base of a full incidence
+  chart (Section 3.5), the set
+
+    D_s  subset  M
+
+  of points b with "the core fibre at level s lies over b" is
+  Lambda-invariant: deck transformations preserve the parameter
+  projection, and f_X is equivariant. The set D_s is closed
+  (discrete level; grp:finite-level-projection).
+
+  By continuity, D_s is H-invariant. The orbit of any point of D_s
+  under the connected group H^0 is connected and lies in the
+  discrete set D_s. So it is a point. Thus H^0 fixes D_s pointwise;
+  since very general values of s have D_s nonempty and are dense in
+  M, H^0 fixes all of M pointwise.
+
+  So H^0 = {1}. As a closed subgroup of a Lie group, H is a Lie
+  group (Cartan 1952); its identity component being trivial makes
+  it discrete. So H is discrete, hence Lambda (closed inside H) is
+  discrete.
+
+Cocompactness. The projection f_X : X~ -> M induces a continuous
+surjection X^+ = V/Gamma -> M/Lambda (via the deck action). X^+ is
+compact, so M/Lambda is compact. QED.
+
+The role of liouville plus Campana core. The point of the disc and
+the core decomposition is that the very general fibre of the
+transverse map c : X^+ -> C (from Campana's core) is a bounded-
+special manifold whose covering structure has virtually abelian
+deck group. That is what forces the level sets D_s to be discrete
+and the transverse action Lambda to be discrete: it is a strong
+"antipodal" fact about the special geometry of the compact fibre.
+For the present proof: the key inputs are (a) Campana's core
+theorem, (b) abelianity of the compact-special fundamental group.
+
+3.7.2. Finite-index subgroup acts freely.
+
+  Lemma (grp:free-finite-index, sections/groups.tex). There is a
+  finite-index subgroup Lambda_1 of Lambda that acts freely on M.
+
+  Proof. Lambda is finitely generated (quotient of pi_1(X^+), which
+  is compact). The adjoint representation gives a homomorphism
+
+    Ad|_Lambda  :  Lambda  ->  GL( Lie(Aut(M)) )
+
+  whose image is a finitely generated linear group over R.
+  Selberg's lemma (Selberg 1960, Lemma 8; Wolf 1968, p. 435 in the
+  matrix-group form) gives a torsion-free finite-index subgroup L of
+  this image. Set Lambda_1 := (Ad|_Lambda)^{-1}(L).
+
+  Fix m in M. The stabilizer (Lambda_1)_m is finite by properness
+  and discreteness, and its image in L is trivial by torsion-freeness.
+  So (Lambda_1)_m acts on T_m M as the identity (because the
+  complete holomorphic vector fields of Proposition 3.4.6(d) span
+  T_m M and are Lambda-invariant in an appropriate sense). A
+  finite-order biholomorphism fixing a point with identity derivative
+  is the identity near that point (average the local coordinates),
+  hence globally.
+
+  So (Lambda_1)_m = {1}. Thus Lambda_1 acts freely. QED.
+
+3.7.3. B := M / Lambda_1 is compact aspherical with ample K_B.
+
+  Proposition (grp:bergman-kodaira, sections/groups.tex). Let
+  Lambda_1 be as in 3.7.2. Then B := M / Lambda_1 is compact
+  aspherical with negative first Chern class: c_1(B) < 0.
+
+  Proof. Since Lambda_1 is discrete, cocompact, and free, B is a
+  compact complex manifold. Since M is contractible (3.4.6(a)), B
+  is aspherical: pi_n(B) = 0 for n >= 2, and pi_1(B) = Lambda_1.
+
+  The Bergman kernel on M. Choose a bounded realization of M
+  (3.4.6(c)). The Bergman kernel of L^2 holomorphic sections of the
+  canonical bundle K_M is everywhere strictly positive (this is a
+  standard fact: on a bounded domain in C^d, the Bergman kernel is
+  positive at every point). This kernel defines a hermitian metric
+  on K_M with strictly positive complex Hessian:
+  - differentiate -log K_Bergman and use Berndtsson's subharmonicity
+    (Berndtsson 2006).
+
+  Descent to B. Because the Bergman metric is Lambda_1-invariant
+  (biholomorphism invariance of the Bergman kernel), it descends
+  to a hermitian metric on K_B with strictly positive curvature.
+
+  Kodaira embedding. By the Kodaira embedding theorem (Kodaira 1954,
+  sections 1-2; also section 4), K_B is ample; equivalently, c_1(B) <
+  0.
+
+  (In complex dimension 1, the same positivity step is
+  Riemann-Roch; the point case d = 0 is immediate.) QED.
+
+  Corollary. K_B is ample. B is a compact aspherical projective
+  manifold with negative first Chern class.
+
+3.7.4. M is a bounded symmetric domain.
+
+  Theorem (grp:discrete-symmetric, sections/groups.tex). Under the
+  hypotheses, M is biholomorphic to a bounded symmetric domain D_sym
+  (a point is allowed).
+
+  Proof. The Farb-Weinberger statement of the Nadel-Frankel splitting
+  theorem (Farb-Weinberger 2008, Theorem 1.10) applies to B (compact,
+  aspherical, canonically polar with c_1(B) < 0). It gives, on
+  universal covers,
+
+    M  =  D_sym  x  R,
+
+  where D_sym is a bounded symmetric domain and Aut(R) is discrete.
+  (Their cited statement is obtained from a product decomposition of
+  a finite cover of B; the universal cover is invariant.)
+
+We explain why dim R = 0 for the present M.
+
+  - (Product of Bergman metrics). Because M is biholomorphic to the
+    bounded domain D_sym x R, its Bergman metric (which descends to
+    compact B and hence is complete) is a product metric:
+    g_M = g_D_sym  direct sum  g_R.
+    This uses the fact that the L^2 canonical forms on the product
+    factorize, giving g_M = g_D_sym + g_R.
+
+  - (No Euclidean factor in M). If R contained a parallel-vector-field
+    factor, that factor would be a holomorphic Euclidean factor
+    C^a subset M with a > 0. But M is a bounded domain, so any
+    complex line factor contradicts Liouville. So there is no C^a
+    factor in M.
+
+  - (No positive-dim R at all). By uniqueness of the non-Euclidean
+    irreducible de Rham decomposition (de Rham 1952, section 7,
+    Theorem III), every isometry in the identity component of
+    Isom(M, g_M) preserves each factor distribution of the de Rham
+    decomposition. In particular, it preserves the two displayed
+    factor foliations.
+
+  - (Aut(M)^0 acts trivially on R). Every element of Aut(M)^0 acts
+    as a product automorphism of D_sym x R. Its component on R is
+    a biholomorphism of R. But Aut(R) is discrete (by the
+    Nadel-Frankel theorem), so the identity component of Aut(M)
+    acts as the identity on R.
+
+  - (Complex spanning forces dim R = 0). The complete real holomorphic
+    vector fields from Aut(M)^0 span T_m M over C for every m (by
+    3.4.6(d)). But each such vector field has zero R-component
+    (just established). So the complex spanning can only cover the
+    D_sym-direction of T_m M. So dim R = 0.
+
+  Therefore M = D_sym. QED (Theorem grp:discrete-symmetric).
+
+Thus, in the setting of 3.6-3.7:
+
+    M  is biholomorphic to a bounded symmetric domain D.
+
+Return to the main line. We have:
+
+  - X~ maps to M = D_sym via the equivariant submersion f_X.
+  - Fibres are connected, semialgebraically projectively compactifiable.
+
+The classification's D factor is M itself. Next (3.8), we split off the
+remaining affine and compact factors from the fibre.
+
+(3.8) THE KERNEL IS VIRTUALLY ABELIAN
+--------------------------------------
+
+Setup. We are in the situation of 3.6-3.7:
+
+  - M = D_sym, a bounded symmetric domain.
+  - f_X : X~ -> M is the equivariant submersion with connected
+    compactifiable fibres.
+  - Gamma = pi_1(X) acts on X~ (as deck group of the universal cover).
+  - rho : Gamma -> Lambda subset Aut(M), and f_X is rho-equivariant.
+  - K := ker(rho) subset Gamma. Elements of K preserve every fibre
+    of f_X. The action is free (since Gamma acts freely on X~).
+
+Fixing a fibre. Choose a very general point b in M (outside a
+countable union of proper analytic subsets). Then U_b := f_X^{-1}(b)
+is a connected complex manifold biholomorphic to a semialgebraic open
+subset of a projective variety (3.6). Its projective closure
+overline(U_b) is a compact normal projective variety N_b.
+
+The compactifiable-cover lemma.
+
+  Lemma (grp:compactifiable-cover, sections/groups.tex). Let
+  a : U -> N be a connected regular covering of a smooth connected
+  projective manifold N, with deck group K. Suppose U is a Zariski
+  open subset (in the analytic sense) of a smooth projective
+  manifold U_bar. Then K is virtually abelian.
+
+  Proof. Choose a smooth projective core model
+
+    r  : N'  ->  N,      c  :  N'  ->  C,
+
+  via Campana's core theory. Here C is a compact projective variety,
+  and the very general smooth connected fibre of c is special.
+
+  Let N^0 subset N be a Zariski open subset on which r is an
+  isomorphism and c is holomorphic and submersive. The composition
+
+    c o r^{-1} o a  :  U  ->  C
+
+  extends meromorphically to U_bar by the core extension theorem
+  (Campana 2004, Theorem 8.2, orbifold form of
+  Kobayashi-Ochiai).
+
+  Resolve this meromorphic map: obtain tau : U_hat -> U_bar (a
+  proper modification that is an isomorphism over a^{-1}(N^0))
+  and h : U_hat -> C such that h|_{U} = c o r^{-1} o a.
+
+  Put U_hat_U := tau^{-1}(U). The complement U_hat \ U_hat_U is an
+  analytic subset of the compact smooth projective manifold U_hat.
+  Apply the Campana core plus SpecialAbelianity (3.7.1's citation):
+  the deck group of the covering U -> N is virtually abelian.
+
+  (For the details of how specialness of the very general fibre of c
+  propagates along the covering: this uses the fact that C's core
+  fibres pull back to special fibres over U, and that pi_1 of a
+  special compact Kaehler manifold is virtually abelian by
+  SpecialAbelianity, OpenAI Math Release preprint, Theorem 1.1.)
+
+Application to our situation. Set:
+
+  - N := N_b (compact normal projective variety; use a resolution
+    N_b' -> N_b to replace by smooth),
+  - a : U_b' -> N_b' (pullback of the covering structure),
+  - U_bar := U_bar_b (the projective closure of U_b).
+
+Then the lemma gives: K is virtually abelian. QED.
+
+3.8 summary. The kernel K = ker(Gamma -> Lambda) is virtually
+abelian. Its finite-index torsion-free part is a free abelian
+subgroup K_0 subset K; passing to further finite-index subgroups we
+can assume K_0 is characteristic in K and torsion-free.
+
+We can pass to a finite-index subgroup: replacing X by a finite
+unramified cover does not change the universal cover X~ and hence
+does not change the classification. So WLOG K is free abelian:
+
+  K  =  Z^{2a}   for some a >= 0.
+
+(3.9) SPLITTING THE FIBRE: AFFINE AND COMPACT FACTORS
+-----------------------------------------------------
+
+We now decompose X~ = M x C^m x F. Two steps:
+
+  3.9.1  Obtain the affine factor C^a from a relative Albanese
+         construction.
+  3.9.2  Show the residual compact factor is constant, by
+         Chow-space rigidity.
+  3.9.3  Oka principle gives the global product.
+
+Fix K = Z^{2a} as in 3.8.
+
+3.9.1. The relative Albanese.
+
+Preliminary. Replacing X by a finite cover does not change X~; so we
+have K = Z^{2a} (characteristic free abelian in Gamma).
+
+Fibre fundamental groups. For very general b in M, consider
+U_b/K =: F_b subset X~/K = X^+ (the compact quotient). Then F_b is
+a compact normal projective variety, and the covering
+U_b -> U_b/K = F_b has deck group K = Z^{2a}, so
+
+  pi_1(F_b)  =  K  =  Z^{2a}.
+
+In particular b_1(F_b) = 2a and H_1(F_b; Z) has rank 2a.
+
+Relative Albanese. The universal coefficient and Hodge theory give
+a family of Hodge structures on the fibration F -> M (where F denotes
+the total family F : X~/K -> M). Concretely:
+
+  - H_1(F_b; Z) = 2a-torsion-free for b general.
+  - The relative Albanese variety of F/M is the family of tori
+
+      A_b  :=  Alb(F_b)  =  H^0(F_b, Omega^1)^* / H_1(F_b; Z)
+
+    over b in M, with the relative Albanese map
+
+      alb : F_b  ->  A_b.
+
+  - By the normal-projective Albanese theorem (Claudon-Hoering-Kollar
+    2013, Lemma 4.7: H_1 of a normal projective variety maps
+    surjectively with finite kernel onto H_1 of its Albanese), the map
+    alb is an isomorphism on H_1 when F_b is smooth, and a finite-to-
+    one modification in general.
+
+Relative family. Assembling over b in M:
+
+    F  ->  A  ->  M            (family of tori over M),
+    alb : F  ->  A             (Albanese map over M).
+
+Properness. A is a family of compact tori over M, hence A -> M is
+proper with smooth connected fibres of dimension a. F -> M is proper
+with connected fibres (from 3.6's compactness of N_b).
+
+The Kollar-Pardon bundle theorem.
+
+  THEOREM (Kollar-Pardon 2012, arXiv v2, Theorem 20). Let N be a
+  normal projective variety, B a smooth projective variety with
+  contractible universal cover, and g : N -> B a morphism such that
+  the entire pullback of N to the universal cover B~ is biholomorphic
+  to a semialgebraic open subset of a projective variety. Then g is
+  a holomorphic fibre bundle.
+
+Apply to g := (alb, id) : F -> A (the relative Albanese map, as a
+morphism over A):
+
+  - N := F (normal projective: fibre-wise normal by 3.6, flat family
+    over a smooth base).
+
+    Caveat: F is only normal, not necessarily smooth; a simultaneous
+    resolution F' -> F over M (which is Stein, hence pre-image of
+    normal-sequence theorem) does not change the argument; normality
+    suffices for Kollar-Pardon's theorem.
+
+  - B := A. Universal cover of A: A is a family of tori over the
+    contractible manifold M = D_sym. A family of tori over a
+    contractible base has universal cover = M x C^a (by the Oka
+    triviality of bundles over a Stein contractible base; see
+    Section 3.9.3 below). So B~ = M x C^a is contractible.
+
+  - The entire pullback g^*(B~) is exactly X~ (because X~ is the
+    universal cover of F, with deck group K = Z^{2a}, and K covers
+    exactly the universal covering C^a -> A of the Albanese torus).
+    X~ is biholomorphic to a semialgebraic open subset of a
+    projective variety by hypothesis (3.1).
+
+Then Kollar-Pardon applies: g : F -> A is a holomorphic fibre bundle.
+
+Lifting to universal covers. The universal cover of F is X~ (simply
+connected, by hypothesis). The universal cover of A is M x C^a. So
+the covering F -> A lifts to a map
+
+    j  :  X~  ->  T := M x C^a
+
+which is proper, surjective, holomorphic, with connected fibres.
+
+These fibres are simply connected normal projective varieties: over
+each point (m, z) in T, the fibre j^{-1}(m, z) is the universal cover
+of the corresponding fibre F_m of the Albanese bundle, and this
+universal cover is simply connected by definition. (The whole X~ is
+simply connected, K is free abelian, and Albanese universal cover C^a
+absorbs precisely the abelian part of pi_1(F_m); what remains is the
+simply connected compact normal projective fibre at (m, z).)
+
+Conclusion of 3.9.1. There exists a proper surjective holomorphic
+submersion
+
+    j  :  X~  ->  T  =  M x C^a
+
+with connected, simply connected, compact, normal projective fibres
+F_{(m,z)} := j^{-1}(m, z). The affine factor C^a is thereby split
+off; the remaining issue is whether the compact fibres F_{(m,z)}
+vary with (m, z).
+
+(3.9.2) CHOW-SPACE RIGIDITY: ALL FIBRES POLARIZED-ISOMORPHIC
+-------------------------------------------------------------
+
+Setup. We have the proper surjective holomorphic submersion
+
+    j : X~  ->  T  :=  M x C^a
+
+with connected, simply connected, compact, normal, projective fibres
+F_x := j^{-1}(x). Each fibre is polarized by the restriction of an
+ample line bundle L on the projective ambient Y of X~ (in the
+semialgebraic projective-open presentation of hypothesis (i)).
+
+Goal. Show all F_x have the same polarized isomorphism class: there
+is a single compact normal projective variety F with
+X~ = T x F.
+
+Topological triviality. By Ehresmann's theorem (proper submersion
+over a contractible base), j is a C^inf fibre bundle: all F_x are
+diffeomorphic to a fixed compact smooth manifold F_top, and their
+Betti numbers and (finite) pi_1 are constant.
+
+Chow space. Fix an ample line-bundle polarization of the ambient Y.
+Let N = dim_C F_x and let d be the degree of the fibre cycle.
+
+    Chow_{N,d}(Y)  :=  projective Chow variety of N-dimensional
+                        integral cycles of degree d in Y.
+
+  Lemma (cmp:chow-base, sections/compact.tex). The map
+
+    Phi  :  T  ->  Chow_{N,d}(Y),   Phi(x) := [F_x],
+
+  is a homeomorphism of T onto its image C, and the image C is a
+  semialgebraic subset of Chow_{N,d}(Y).
+
+  Proof sketch.
+    - Continuity: a proper flat family of pure-dimensional compact
+      subspaces over a reduced complex base defines an analytic
+      family of fundamental cycles (Barlet 1999, p. 27, Remark (iv)).
+      The map to Chow is continuous. (Compare Andreotti-Norguet 1967
+      sections 2.4(b), 2.5.)
+    - Injectivity: x is recovered as j(F_x); disjoint fibres of j
+      determine disjoint parameters x in T.
+    - Semialgebraicity: on the universal cycle of the Chow space,
+      both "integral" and "support of the cycle lies in X~" are
+      semialgebraic conditions (real quantifier elimination). This
+      makes C a semialgebraic subset.
+
+  Polarized isomorphism class. For a fixed reference point x_0 in T,
+  define
+
+    P_{x_0}  :=  { x in T : (F_x, L_x)  polarized-isomorphic
+                            to (F_{x_0}, L_{x_0}) }.
+
+  Lemma (cmp:polarized-locus, sections/compact.tex). P_{x_0} is a
+  semialgebraic subset of T.
+
+  Proof sketch. The linear algebraic group G_0 := Aut(F_{x_0},
+  L_{x_0}) acts algebraically on the Chow space. Two fibres F_x,
+  F_{x_0} are polarized-isomorphic iff their Chow points lie in the
+  same G_0-orbit. Membership in an orbit of an algebraic group
+  action is semialgebraic by quantifier elimination.
+
+Rigidity.
+
+  Lemma (cmp:closed-rigidity, sections/compact.tex). Let a countable
+  discrete group act properly and cocompactly by diffeomorphisms on a
+  contractible smooth manifold T homeomorphic to R^b. If a nonempty
+  closed invariant subset A subset T has the homotopy type of a
+  finite CW complex, then A = T.
+
+  Sketch. If x is not in A, the natural proper map T -> R^b omitting
+  x, extended to the one-point compactification T^+ = S^b, has
+  degree zero. But a proper homotopy of that map to the identity
+  gives degree one. Contradiction.
+
+  (Full argument including finite stabilizers is in cmp:closed-
+  rigidity.)
+
+Application.
+
+  - Let A := closure of P_{x_0} in T. It is:
+      (i)   closed (by definition);
+      (ii)  nonempty (contains x_0);
+      (iii) Gamma-invariant: deck transformations act by biholo
+            permuting the polarization, so polarised-isomorphic
+            fibres are permuted among themselves;
+      (iv)  of finite CW homotopy type: P_{x_0} is semialgebraic in
+            C subset Chow (a projective variety), so it has a
+            semialgebraic triangulation by finitely many cells
+            (Lojasiewicz 1964, section 3, Theorem 4), hence its
+            closure too.
+
+  So A = T by cmp:closed-rigidity: P_{x_0} is dense in T.
+
+  - Since P_{x_0} is semialgebraic and dense, and T is connected,
+    P_{x_0} = T (semialgebraicity: if T \ P_{x_0} were nonempty
+    open, then P_{x_0} could not be dense).
+
+Conclusion. All fibres are polarized-isomorphic to F := F_{x_0}.
+QED.
+
+Special case: if a > 0 in the C^a factor, then also m > 0 in the
+eventual theorem; the case a = 0 gives T = M and no C^m factor.
+
+(3.9.3) TRIVIALITY: THE OKA PRINCIPLE GIVES THE PRODUCT
+-------------------------------------------------------
+
+Setup. From 3.9.2: there is a single compact normal projective variety
+F such that X~ is a family of F-fibres over T, polarized-isomorphic
+to F.
+
+The automorphism group. Let G_0 := Aut(F, L_F) be the polarized
+automorphism group of F. This is a closed subgroup of the linear
+algebraic group GL(H^0(F, L_F)), so G_0 is a complex linear
+algebraic group.
+
+The principal bundle. Consider the "frame bundle" E -> T of
+isomorphisms (F, L_F) -> (F_x, L_x). This is a principal G_0-bundle
+over T, and X~ is the associated fiber bundle E x_{G_0} F.
+
+Triviality.
+
+  Topological. Since T = M x C^a is contractible and paracompact,
+  the principal bundle E -> T is topologically trivial. Choose a
+  continuous trivializing section.
+
+  Holomorphic. The Oka principle for complex Lie groups over a Stein
+  base (Grauert 1958; Forstneric-Prezelj 2000, Theorem 1.3,
+  Example (A)) states: a continuous trivializing section of a
+  principal G_0-bundle over a Stein base can be homotoped to a
+  holomorphic one. So E -> T is holomorphically trivial.
+
+  Reduction to connected component. If G_0/G_0^0 is nontrivial, the
+  base T simply connected implies the corresponding discrete bundle
+  is trivial; so it suffices to reduce to G_0^0.
+
+Product. A holomorphic trivialization of E gives
+
+    X~  =  T x F  =  M x C^a x F.
+
+With M = D_sym (Section 3.7) and a =: m, and F compact normal simply
+connected projective:
+
+    X~  =  D_sym x C^m x F.
+
+This is the conclusion of the main theorem (ii).
+
+(3.10) ASSEMBLY: THE MAIN THEOREM (i) -> (ii)
+----------------------------------------------
+
+Recap. Starting from (i) — X~ biholomorphic to a semialgebraic
+open subset of a projective variety — we have established:
+
+  (a)  V smooth, semialgebraic open, locally pseudoconvex in Y (3.1,
+       3.2), with projective Y and deck group Gamma acting freely (3.1).
+
+  (b)  A recursive tower P (3.4) that is a contractible Stein domain
+       biholomorphic to a bounded domain of dimension d, with
+       complete holomorphic vector fields spanning the tangent space
+       (win:tower-properties).
+
+  (c)  A tower-intrinsic equivariant holomorphic surjective submersion
+       f_X : X~ -> M, with M biholomorphic to P, connected fibres,
+       and each fibre a semialgebraic open subset of a projective
+       variety (3.6).
+
+  (d)  M is biholomorphic to a bounded symmetric domain D_sym (3.7).
+
+  (e)  The kernel K = ker(Gamma -> Lambda) is virtually abelian; after
+       a finite cover, K = Z^{2a} (3.8).
+
+  (f)  The relative Albanese (3.9.1) splits off the affine factor:
+       there is a proper submersion j : X~ -> T := M x C^m
+       (m = a) with connected, simply connected, compact, normal,
+       projective fibres.
+
+  (g)  All the fibres F_x of j are polarized-isomorphic to a single
+       F (3.9.2).
+
+  (h)  The family j is holomorphically trivial (3.9.3), giving
+       X~ = D_sym x C^m x F.
+
+The theorem now follows.
+
+  THEOREM (main, direction (i) -> (ii)). Let X be a connected normal
+  projective complex variety whose ordinary universal cover X~ is
+  biholomorphic to a semialgebraic open subset of a projective
+  variety. Then there exist an integer m >= 0, a bounded symmetric
+  domain D (a point is allowed), and a simply connected normal
+  projective variety F, such that
+
+    X~  =  D  x  C^m  x  F.
+
+  Proof. Set D := D_sym (from 3.7), m := a (from 3.9.1), and F the
+  polarized-isomorphism class of fibres (from 3.9.2). Then:
+
+    - D is a bounded symmetric domain (3.7.4).
+    - m is a nonnegative integer (dimension of the abelian variety
+      factor of the relative Albanese).
+    - F is a compact normal projective variety (3.9.1); it is
+      simply connected by construction (as the universal cover of a
+      compact projective variety minus abelian part, hence simply
+      connected in 3.9.1). So F is a simply connected normal
+      projective variety.
+    - X~ = D x C^m x F by 3.9.3. QED.
+
+Combined with Part 2 (ii) -> (i), this is the main theorem.
+
+  THEOREM (Kollar-Pardon, complete form). For X a connected normal
+  projective complex variety, the following are equivalent:
+
+    (i)  X~ is biholomorphic to a semialgebraic open subset of a
+         projective variety.
+
+    (ii) There exist m >= 0, D bounded symmetric (a point allowed),
+         F simply connected normal projective (a point allowed), such
+         that X~ = D x C^m x F.
+
+
+(3.11) SOME IMMEDIATE COROLLARIES
+----------------------------------
+
+(3.11.1) Dimension zero.
+
+If dim_C X = 0, then X is a point, X~ = X is a point, and the
+trivial decomposition D = point, m = 0, F = point applies.
+
+(3.11.2) The projective case.
+
+If X~ is compact (i.e. X is finite), then X~ is a simply connected
+compact normal projective variety, so D = point, m = 0, F = X~.
+This matches the classical fact that finite projective varieties
+have compact universal covers.
+
+(3.11.3) The C^n case: X = abelian variety up to a finite cover.
+
+  Corollary (cor:affine-uniformization, sections/quasiprojective.tex).
+  Let X be a connected smooth projective variety of dimension n,
+  with ordinary universal cover biholomorphic to C^n. Then X is
+  finitely covered by an abelian variety.
+
+  Proof. By the main theorem, X~ = D x C^m x F.
+
+  Step 1: F = point. X~ = C^n contains no compact positive-
+  dimensional complex subvariety (a compact complex subvariety of
+  C^n is a finite set of points, by the maximum modulus principle
+  applied to a defining function). But F is compact and would embed
+  as F x {(d_0, 0)} in X~. So dim F = 0, i.e. F is a point.
+
+  Step 2: D = point. Suppose dim D > 0. Then D is a bounded
+  symmetric domain of positive dimension, so D is Kobayashi-
+  hyperbolic: its Kobayashi pseudometric is a genuine distance.
+  But C^m (m >= 0) is not Kobayashi-hyperbolic (the Kobayashi
+  pseudometric on C^m is identically zero). And Kobayashi-
+  hyperbolicity is preserved by direct product: D x C^m is
+  Kobayashi-hyperbolic iff both D and C^m are, i.e. iff m = 0 and
+  D is hyperbolic. Since X~ = C^n is not Kobayashi-hyperbolic
+  unless n = 0, this forces dim D = 0.
+
+  Step 3: X~ = C^n. Combined, X~ = C^m = C^n with m = n. So the
+  universal cover of X is the affine space C^n.
+
+  Step 4: Nakayama's theorem. If X is a smooth projective variety
+  of dimension n with universal cover X~ = C^n, then X is finitely
+  covered by an abelian variety. See Nakayama 1999, Theorem 1.1
+  (this consequence reduces to the smooth-abundance input of
+  Claudon-Hoering-Kollar 2013, Theorem 1.1, which is in turn
+  supplied by log-abundance for smooth projective varieties with
+  nef canonical bundle, OpenAILogAbundance2026, Theorem 1.1).
+  QED.
+
+(3.11.4) Singer vanishing on aspherical X.
+
+  Corollary (cor:singer-semialgebraic, sections/main.tex). Let X be
+  a smooth closed aspherical projective complex n-fold whose
+  ordinary universal cover X~ = U is semialgebraic projective-open.
+  Then:
+
+    - For all j not equal to n, the L^2 Betti number vanishes:
+      b_j^(2)(X) = 0.
+
+    - If m > 0 in the decomposition X~ = D x C^m x F, then in fact
+      b_j^(2)(X) = 0 for EVERY j.
+
+  Proof. Case 1: m > 0. The group K = Z^{2m} (characteristic free
+  abelian subgroup of ker(Gamma -> Lambda)) is an infinite normal
+  amenable subgroup of Gamma = pi_1(X). By Cheeger-Gromov's theorem
+  (Cheeger-Gromov 1986, Theorem 0.3(3)), the L^2 Betti numbers of
+  any cover of X with deck group containing an infinite normal
+  amenable subgroup vanish. Finite-cover proportionality transfers
+  this to b_j^(2)(X~). So all L^2 Betti numbers vanish.
+
+  Case 2: m = 0. Then X~ = D x F.
+
+  Step 1: contractibility forces F to be a point. Since X is
+  closed aspherical, its universal cover X~ is contractible
+  (Cartan-Hadamard: the universal cover of a closed aspherical
+  manifold is homeomorphic to R^{2n}). If F were positive-
+  dimensional, the slice F x {(d_0, 0)} would be a compact complex
+  subvariety of X~, hence represent a nonzero class in
+  H_{2 dim F}(X~; Z) = 0. Contradiction. So F is a point.
+
+  Step 2: X~ = D, a bounded symmetric domain. Since F = point,
+  X~ = D. When n = 0, X is a point and the conclusion
+  b_j^(2)(X) = 0 for j != 0 is trivial.
+
+  Step 3: Olbrich's theorem. For n > 0 and D positive-dimensional
+  bounded symmetric of noncompact type, Olbrich (2002, Proposition
+  1.2 and section 4) computes the L^2 cohomology of the symmetric
+  space D:
+
+    ker Delta_j(D)  =  0  for j != n,
+    ker Delta_n(D)  != 0.
+
+  The deck group acts freely and cocompactly by Bergman isometries
+  (Theorem grp:discrete-symmetric, 3.7). The cocompact L^2 de Rham
+  identification (Cheeger-Gromov 1986) with the von Neumann dimension
+  of this harmonic kernel gives:
+
+    b_j^(2)(X)  =  dim_{vN} ker Delta_j(D)  =  0  for j != n.
+
+  QED.
+
+(3.11.5) Quasi-projective covers.
+
+  Corollary (cor:quasiprojective, sections/quasiprojective.tex). Let
+  X be a connected normal projective variety over C, with ordinary
+  universal cover U = X~. The following are equivalent:
+
+    (i)  U is biholomorphic to a quasi-projective variety.
+
+    (ii) There are a finite etale Galois cover X' -> X, an abelian
+         variety A, and a morphism alpha : X' -> A that is a
+         locally trivial holomorphic fibre bundle with simply
+         connected projective fibre.
+
+    (iii) There is some integer m >= 0 and some simply connected
+         projective variety F with U = C^m x F.
+
+    (A point is allowed as the abelian variety or the fibre.)
+
+  More generally, let V -> X be a connected infinite etale Galois
+  covering of complex spaces, with V biholomorphic to a quasi-
+  projective variety. Then there are:
+
+    - an intermediate finite etale Galois cover X' -> X;
+    - a morphism alpha : X' -> A to an abelian variety that is a
+      locally trivial holomorphic fibre bundle;
+    - an etale cover A_tilde -> A, where A_tilde has no
+      positive-dimensional compact analytic subvariety;
+
+  such that V -> X' is biholomorphic as a covering to
+
+    X' x_A A_tilde  ->  X'.
+
+  No algebraicity of the deck transformations is assumed.
+
+  Proof.
+
+  (iii) => (i). Direct: C^m x F with F projective and m >= 0 is a
+  product of a quasi-projective variety (C^m = projective minus a
+  hyperplane) with the projective F; a product of quasi-projective
+  varieties is quasi-projective.
+
+  (i) => (ii). Reduce X to smooth projective by passing to a
+  resolution and finite cover (the universal cover is
+  unchanged). Then apply Claudon-Hoering-Kollar 2013, Theorem 1.1:
+  under smooth abundance, any smooth projective X with quasi-
+  projective X~ admits a finite etale cover X' -> X and a
+  morphism alpha : X' -> A to an abelian variety as in (ii).
+
+  Smooth abundance is supplied by OpenAILogAbundance2026 (Theorem
+  1.1): for every smooth projective complex variety Y with nef
+  K_Y, the canonical divisor K_Y is semiample. So CHK's hypothesis
+  is now unconditionally true.
+
+  (ii) => (iii). Suppose alpha : X' -> A is a bundle with simply
+  connected projective fibre F and base the abelian variety A.
+  The universal cover is X'~ = (universal cover of A) x F
+  = C^m x F (where m = dim A). And X'~ = X~ since X' -> X is a
+  finite cover. So X~ = C^m x F.
+
+  The general statement for infinite etale Galois V -> X
+  is Claudon-Hoering-Kollar 2013, Corollary 1.5 (again with
+  smooth abundance supplied by log-abundance 2026, Theorem 1.1).
+
+  QED.
+
+
+(5) CITATION INDEX
+------------------
+
+The proof above uses the following inputs. Grouped by topic, with the
+precise role each plays.
+
+5.1 Semialgebraic, subanalytic, o-minimal.
+    These underpin the entire "semialgebraic data" framework.
+
+    - Bierstone-Milman 1988, publications IHES 67:5-42.
+      Semianalytic and subanalytic sets. Used as the foundational
+      reference for semialgebraic/semianalytic definability.
+
+    - Bierstone-Milman 2008, PRIMS 44:609-639.
+      Functoriality in resolution of singularities. Used in 3.1 for
+      functorial projective resolution of a normal ambient.
+
+    - Coste 1999, O-minimal geometry lecture notes.
+      Definable Hardt triviality (Theorem 5.22 of the notes) used in
+      3.5 for path replacement. Finite-set definable partitions.
+
+    - Lion-Rolin 1997, Ann. Inst. Fourier.
+      Preparation of Puiseux series with parameters. Used in 3.4.5
+      and 3.5 for the analytic-of-finite-order Lemma.
+
+    - Lojasiewicz 1964, Ann. SNS Pisa 18(4):449-474.
+      Triangulation of semi-analytic sets. Used in 3.9.2 to give
+      semialgebraic sets finite CW homotopy type.
+
+    - Parusinski 1994, Ann. ENS 27(6):661-696.
+      Lipschitz stratification of subanalytic sets. Predecessor to
+      Lion-Rolin.
+
+5.2 Complex analytic.
+    These are the analytic tools: local pseudoconvexity, Hartogs
+    extension, Kodaira embedding, Oka principle, value distribution.
+
+    - Ivashkovich 1992/2008.
+      Meromorphic Hartogs extension on projective manifolds;
+      local pseudoconvexity of covering spaces of compact Kaehler
+      manifolds. Used in 3.2 (local pseudoconvexity of V in Y).
+
+    - Bishop 1965. Differentiable manifolds in complex Euclidean
+      space. Attached-disc equation.
+
+    - Hill-Taiani 1978. Section 2, equation (2.1), Proposition 2.1.
+      Clean exposition of Bishop's attached-disc condition.
+
+    - Priwaloff 1916, Bull. SMF 44:100-103.
+      Hilbert transform boundedness on C^alpha.
+
+    - Essen 1984, Ark. Mat. 22:241-249.
+      Superharmonic proof of M. Riesz conjugate function theorem.
+      Hilbert transform boundedness on L^q.
+
+    - Serrin 1964, Acta. Math.
+      Local Harnack inequalities.
+
+    - Nirenberg 1959, Ann. SNS Pisa.
+      Interior elliptic estimates.
+
+    - Berndtsson 2006, Ann. Inst. Fourier 56(6):1633-1662.
+      Subharmonicity of the Bergman kernel.
+
+    - Noguchi 2020, arXiv:2007.04597v4.
+      Bochner's tube theorem.
+
+    - Vajaitu 2000, Ann. Inst. Fourier.
+      Analyticity of q-concave sets. Used in 3.3 and 3.4.4 to prove
+      that thin subanalytic sets with pseudoconvex complement are
+      analytic.
+
+    - Hirschowitz 1973, Ann. SNS Pisa.
+      Entre les hypersurfaces et les ensembles pseudoconcaves.
+      Used alongside Vajaitu.
+
+    - Cartan 1952, Sem. H. Cartan, Expose 18.
+      Faisceaux analytiques sur les varietes de Stein. Theorem B.
+
+    - Demailly 2012, Complex analytic and differential geometry.
+      Sections VIII.9.11(a) (Euclidean Levi criterion), I.7.2
+      (exhaustion/directional-radius criteria).
+
+    - Fritzsche-Grauert 2002.
+      Sections II.3.4 and II.3.7 (Hartogs-figure criterion).
+
+    - Grauert 1958, 1960, 1963.
+      Oka principle for analytic fibre bundles; direct images and
+      base change.
+
+    - Forstneric-Prezelj 2000, Theorem 1.3, Example (A).
+      Oka principle for complex Lie groups over a Stein base.
+
+    - Kodaira 1954, PNAS 40:313-316.
+      On Kaehler varieties of restricted type. Kodaira embedding for
+      positive canonical bundle.
+
+    - Barlet 1999.
+      Analytic families of cycles: p. 27, Remark (iv).
+
+    - Andreotti-Norguet 1967, Ann. SNS Pisa.
+      Holomorphic convexity in cycle space: sections 2.4(b), 2.5,
+      Theorem 4. Comparison of Chow and cycle-space topology.
+
+5.3 Algebro-geometric.
+    Kollar-Pardon's own framework.
+
+    - Kollar-Pardon 2012, J. Topology 5(1):199-212, arXiv v2.
+      Algebraic varieties with semialgebraic universal cover.
+      Theorem 20 (bundle theorem, applied in 3.9.1), Sections 1-2
+      (topological/Chow arguments).
+
+    - Claudon-Hoering-Kollar 2013, J. reine angew. Math. 679:207-221.
+      Algebraic varieties with quasi-projective universal cover.
+      Lemma 4.7 (normal-projective Albanese, 3.9.1); Theorem 1.1,
+      Corollary 1.5 (5.5); Conjecture 1.2.
+
+    - Claudon-Hoering 2013, Bull. SMF 141(2):355-375, with an
+      appendix by Campana. Broader compactification context.
+
+    - Claudon 2018, Ann. Fac. Sci. Toulouse 27(3):477-496.
+      Smooth families of tori and linear Kaehler groups. Translation
+      cocycles for relative Albanese.
+
+    - Campana 2004, Ann. Inst. Fourier 54(3):499-630.
+      Orbifolds, special varieties, orbifold core theory. Theorem
+      8.2 (orbifold Kobayashi-Ochiai): meromorphic extension of the
+      core map.
+
+    - SpecialAbelianity, OpenAI Math Release preprint, 2026.
+      The abelianity conjecture for special compact Kaehler
+      manifolds. Theorem 1.1: pi_1 of a compact special Kaehler
+      manifold is virtually abelian. Used in 3.7.1, 3.8.
+
+    - OpenAILogAbundance2026, OpenAI Math Release preprint, 2026.
+      Log abundance in characteristic zero. Theorem 1.1:
+      K_Y semiample for smooth projective Y with nef K_Y. Used in
+      5.5 for the quasi-projective covers corollary.
+
+    - Nakayama 1999, J. Math. Soc. Japan 51(3):643-654.
+      Projective varieties whose universal cover is C^n. Used in
+      3.11.3 (C^n uniformization).
+
+    - Fujiki 1983, PRIMS 19(1):207-236.
+      Relative algebraic reduction and relative Albanese.
+      Sections 1.4 (3.9.1).
+
+    - Griffiths 1968, Amer. J. Math 90:805-865.
+      Periods of integrals II. Sections II.2(a), Example 2.15.
+
+    - Grothendieck 1961, Sem. Bourbaki discuss Hilbert schemes.
+      Used as background for tracking fibre components in a
+      projective family.
+
+    - Serre 1956, Ann. Inst. Fourier 6:1-42. GAGA: Chow's theorem
+      (analytic = algebraic complex subsets of projective varieties).
+
+    - Rogov 2024, arXiv:2401.07983v1, Theorem C.
+      Metric Kollar-Pardon (related but not used as input).
+
+    - Correa-Kollar-Schreieder-Wang 2026, arXiv:2608.10973v1,
+      Corollary 30. Counterexamples for finite-CW-only
+      (not used as input).
+
+5.4 Group theory, L^2 cohomology, dynamics.
+
+    - Cheeger-Gromov 1986, Topology 25(2):189-215, Theorem 0.3(3).
+      L^2-cohomology and group cohomology. L^2 Betti vanishing under
+      infinite normal amenable subgroups. Used in 3.11.4.
+
+    - Lyons-Sullivan 1984, J. Diff. Geom. 19(2):299-323, Theorem 1.
+      Bounded holomorphic functions on virtually abelian covers are
+      constant. Used in 3.7.1.
+
+    - Olbrich 2002, Documenta Math. 7:219-237, Proposition 1.2,
+      Section 4. L^2-invariants of locally symmetric spaces.
+      Used in 3.11.4.
+
+    - Farb-Weinberger 2008, Ann. Math. 168(3):915-940, Theorem 1.10.
+      Aspherical form of the Nadel-Frankel splitting theorem.
+      Used in 3.7.4.
+
+    - de Rham 1952, Comm. Math. Helv., section 7, Theorem III.
+      Uniqueness of irreducible de Rham decomposition. Used in 3.7.4.
+
+    - Selberg 1960, Tata Institute Studies (in Wolf 1968, p. 435).
+      Selberg's lemma: finitely generated linear groups over R have
+      torsion-free finite-index subgroups. Used in 3.7.2.
+
+    - Wolf 1968, Essay on topological reflections of growth.
+      Selberg citation form.
+
+    - Blanchard-Cartan 1954.
+      Proper action of the automorphism group of a bounded domain.
+      Used in 3.7.1.
+
+    - Kobayashi 1967, J. Math. Soc. Japan 19:460-473,
+      Propositions 3.1, 6.2. Aut of bounded domain is real Lie group
+      acting properly.
+
+    - Cartan 1952, Faisceaux analytiques sur les varietes de Stein.
+      Closed subgroup of a Lie group is a Lie group.
+
+5.5 Resolution of singularities and equisingularity.
+
+    - Teissier 1982, Varietes polaires II, VI.3,
+      Propositions 3.1-3.2. Canonical Whitney stratification of a
+      complex analytic space. Used in 3.6 (intrinsic strata).
+
+    - Giles-Flores-Teissier 2018, section 4.3, after Theorem 4.13.
+      Modern exposition of the local polar varieties and stratification.
+
+    - Mather 1970, Notes on topological stability, Proposition 11.1.
+      First isotopy lemma (proper stratified submersions are
+      topologically locally trivial). Used in 3.6.
+
+    - Frisch 1967, Seminaire Lelong, Expose 7.
+      Flatness of analytic morphisms.
+
+    - Greuel 2017, Methods Appl. Anal. 24(2):215-276,
+      Theorem 6.2(2)(ii), properness clause. Equisingular and
+      equinormalizable deformations: the normalization locus is
+      analytic.
+
+    - Greuel-Pfister 2022, J. Singularities 25:173-196.
+      Delta-invariant and fiberwise normalization.
+
+5.6 Bounded symmetric domains.
+
+    - Borel 1954, PNAS 40(12):1147-1148.
+      Borel embedding of bounded symmetric domains.
+
+    - Milne 2005, Introduction to Shimura varieties.
+      Standard reference for the Borel embedding and semialgebraic
+      orbit structure.
+
+    - Falbel-Guilloux-Will 2024 (published Adv. Geom. 25:317-333,
+      2025). Hilbert metric for bounded symmetric domains.
+
+    - Helgason 1978.
+      Differential geometry, Lie groups, and symmetric spaces.
+      (Background for bounded symmetric domains, D_sym.)
+
+5.7 Group cohomology and Lie groups.
+
+    - Stacks Project (Stacks Project Authors, 2026).
+      General base-change and vanishing statements for cohomology
+      of coherent sheaves (Tag 0B5T).
+
+    - Cartan-Lie 1952.
+      Closed subgroups of Lie groups are Lie groups (II.III.27).
+
+    - Kobayashi 1967 (also listed above).
+
+5.8 The two OpenAI Math Release preprints.
+
+    - SpecialAbelianity: The abelianity conjecture for special
+      compact Kaehler manifolds. September 23, 2026 release.
+      Theorem 1.1 (used in 3.7.1, 3.8).
+
+    - OpenAILogAbundance2026: Log abundance in characteristic zero.
+      September 24, 2026 release. Theorem 1.1 (used in 5.5).
+
+    These supplies the compact-special abelianity and log-abundance
+    inputs that complete the argument (without log-abundance, the
+    quasi-projective corollary would be conditional; without
+    SpecialAbelianity, the discreteness of Lambda in 3.7.1 would not
+    be unconditional).
+
+
+(6) CLOSING SUMMARY
+-------------------
+
+Starting from an arbitrary connected normal projective variety X
+with semialgebraic projective-open universal cover X~, the proof
+recursively extracts:
+
+  1. Smooth structure (3.1), local pseudoconvexity (3.2), and a
+     boundary analysis that peels off Siegel blocks of a tower P
+     (3.3-3.4).
+
+  2. An intrinsic equivariant quotient map f_X : X~ -> M, with M
+     identified with P (3.5-3.6).
+
+  3. The bounded symmetric structure of M via representation theory
+     of Aut(M)^0 and the Campana core of X (3.7).
+
+  4. Virtual abelianity of the fibre deck group (3.8), then a
+     relative Albanese splitting (3.9.1), Chow-space rigidity
+     (3.9.2), and Oka triviality (3.9.3), giving
+     X~ = D x C^m x F.
+
+Every input is either a classical theorem (Bishop, Campana, Cheeger-
+Gromov, Kodaira, Olbrich, etc.) or one of the two 2026 OpenAI Mathe-
+matics Release preprints (SpecialAbelianity, OpenAILogAbundance2026).
+
+The converse (ii) -> (i) is Part 2, using only the Borel embedding
+and the standard affine chart.
+
+This completes the full proof.
+