Extension of Hodge norms at infinity

1. Problem Statement and Context

The Core Problem:
The paper addresses a fundamental problem in Hodge theory: generalizing the Satake–Baily–Borel (SBB) compactification from Hermitian symmetric spaces to arbitrary period maps. While a proper topological SBB-type completion ($\mathcal{P}$) of a period map $\Phi: B \to \Gamma \backslash D$ has been constructed (by Green, Griffiths, and Robles in [GGR25]), it remains an open problem to prove that this completion is an algebraic variety (specifically, a projective algebraic space).

The Reduction:
The algebraicity of the completion has been reduced to a local analytic problem. Specifically, one must show that for every compact, connected fiber $A$ of the "Stein factorization" of the period map, there exists a neighborhood $X \subset B$ satisfying two properties:

1. The restriction of the map to $X$ is proper.
2. Holomorphic extension property: Holomorphic functions defined on certain divisors $Y \subset X$ "at infinity" extend to the entire neighborhood $X$.

The Obstacle:
Standard extension theorems (like Ohsawa–Takegoshi) require the domain $X$ to be pseudoconvex (admitting a plurisubharmonic exhaustion function). While neighborhoods satisfying the properness condition exist, constructing a global pseudoconvex exhaustion function $\rho$ on $X$ that behaves correctly relative to the fibers of the period map is the outstanding challenge.

The Specific Goal:
The paper aims to construct a specific function that facilitates this pseudoconvexity. The author seeks to extend Hodge norms (defined on the strata of the boundary at infinity) to the entire neighborhood $X$ in a way that allows for the construction of a plurisubharmonic exhaustion function.

---

2. Methodology and Mathematical Framework

The paper utilizes advanced tools from Hodge theory, Lie theory, and complex geometry.

Key Definitions and Setup:

• Period Map: $\Phi: B \to \Gamma \backslash D$, where $D$ is a Mumford–Tate domain parameterizing pure, effective, weight $n$, $\mathbb{Q}$-polarized Hodge structures on a vector space $V$.
• Boundary Strata: The boundary of the compactification is stratified by $Z_I = \cap_{i \in I} Z_i$. The period map induces limiting period maps $\Phi_I$ on these strata.
• Induced Hodge Structure: To handle the line bundle $\Lambda$ (defined via determinants of Hodge filtration bundles), the author constructs an induced Hodge structure on a tensor product space $H$. This allows the problem to be framed in terms of a single line bundle $\Lambda \to B$.
• Limiting Mixed Hodge Structures (LMHS): Using the Nilpotent Orbit Theorem, the behavior of the period map near the boundary is analyzed via LMHS $(W, F, \sigma)$, where $W$ is the weight filtration and $\sigma$ is the nilpotent cone of monodromy logarithms.

The Construction Strategy:

1. Period Matrix Representation: The author fixes a limiting LMHS and chooses a basis for the vector space $H_C$ adapted to the Deligne splitting. This yields a "period matrix" representation involving holomorphic functions $z_j$ and $z_{a,j}$ on the universal cover.
2. Defining the Function $h$: The core of the paper is the construction of a real-valued function $h$ on the neighborhood $X$.
   • It is defined on the open part $B \cap X$ using the Hodge metric on the line bundle $\Lambda$.
   • Specifically, $h$ is constructed via the pairing $Q(\eta_0, \lambda \eta_\infty)$, where $\eta_0$ and $\eta_\infty$ are specific sections derived from the period matrix framing, and $\lambda$ is a scalar relating basis vectors.
3. Extension to the Boundary: The paper proves that this function, initially defined only on the open stratum, extends continuously to the entire neighborhood $X$ (including the boundary strata $Z_I$) and remains smooth on each stratum.

---

3. Key Contributions and Results

Theorem 1.8 (Main Result):
The neighborhood $X$ can be chosen to admit a continuous function $h: X \to \mathbb{R}$ such that:

• $h$ is smooth on each stratum $Z^*_I \cap X$ (including $B \cap X$).
• $h$ is constant on the fibers of the period map $\Phi'_{SBB}$.
• Crucial Property: If a stratum $Z^*_I$ intersects the fiber $A$ nontrivially, the restriction of $h$ to $Z^*_I$ is a positive multiple of the Hodge norm-squared ($h_I$) associated with the line bundle $\Lambda$ on that stratum.
• Consequently, $-\log h$ is plurisubharmonic (psh) on each stratum.

Technical Breakthroughs:

• Simultaneous Extension: The paper solves the difficult problem of extending Hodge norms from all relevant boundary strata simultaneously into the interior of the neighborhood $X$.
• Continuity and Smoothness: The author proves that the constructed function $h$ is continuous on the whole space $X$ and smooth on the strata. This is non-trivial because the limit of the Hodge metric at the boundary involves singular terms (logarithms of coordinates) which must cancel out or behave predictably.
• Constancy on Fibers: It is proven that $h$ descends to the quotient space $\mathcal{P}'$, meaning it is constant along the fibers of the period map. This is essential for using $h$ to define an exhaustion function on the base of the fibration.

Special Cases (Hermitian Symmetric Domains):

• Theorem 4.1: If the domain $D$ is Hermitian symmetric, the function $h$ is smooth everywhere on $X$, and $-\log h$ is a strictly plurisubharmonic exhaustion function. This confirms Conjecture 1.4 in the classical Hermitian case.
• Theorem 5.1: Smoothness of $h$ holds under the weaker condition that the subspace $\mathfrak{s}^\perp_F$ (related to the Deligne splitting) is contained in $W_0(\mathfrak{g}_C)$.

Counter-examples and Limitations:

• The paper notes (Remark 1.9 and Remark 5.2) that in the general non-Hermitian case, $-\log h$ may not be plurisubharmonic on the entire space $X$, and $h$ may fail to be smooth. This indicates that the general proof of the algebraicity conjecture requires further work beyond just extending the norms, though this extension is a necessary prerequisite.

---

4. Significance and Impact

1. Progress on the Algebraicity Conjecture: This paper resolves the "missing link" in the reduction of the algebraicity of the SBB compactification. By establishing the existence of the function $h$ with the correct boundary behavior, it provides the necessary ingredients to construct the pseudoconvex exhaustion function required for Ohsawa–Takegoshi type extension theorems.
2. Generalization of Hodge Theory: The results move Hodge theory beyond the classical Hermitian symmetric setting. The techniques for handling limiting mixed Hodge structures and extending norms to stratified spaces are applicable to a broader class of period maps arising in arithmetic geometry and mirror symmetry.
3. Foundation for Future Work: The paper explicitly sets the stage for proving Conjecture 1.1 (that the topological completion is projective algebraic). While the general case of pseudoconvexity remains open, the construction of $h$ is the critical first step. The paper also highlights specific non-Hermitian cases (e.g., weight 2 with $p_g=2$) where the conjecture has been proven using these methods.
4. Technical Rigor: The detailed analysis of the nilpotent orbit theorem, the Deligne splitting, and the interaction between weight filtrations and the period matrix provides a robust framework for analyzing the asymptotic behavior of period maps at infinity.

In summary, Colleen Robles provides a rigorous construction of a function that extends Hodge norms from the boundary strata into the interior of a period map's neighborhood. This function serves as the foundational tool required to prove that the topological Satake–Baily–Borel compactification of arbitrary period maps is indeed an algebraic variety.