Extension of Hodge norms at infinity

Colleen Robles

arxiv: 2302.04014 · v2 · submitted 2023-02-08 · 🧮 math.AG

Extension of Hodge norms at infinity

Colleen Robles This is my paper

Pith reviewed 2026-05-24 09:27 UTC · model grok-4.3

classification 🧮 math.AG

keywords Hodge normsperiod mapsSatake-Baily-Borel compactificationplurisubharmonic functionspseudoconvexitystratified neighborhoodsextension theoremsalgebraic geometry

0 comments

The pith

There exists a function that simultaneously extends all Hodge norms from strata intersecting a compact fibre A to its neighborhood X.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper solves the remaining technical obstacle to showing that a known topological completion of period maps is algebraic. It proves the existence of one function that extends Hodge norms from all relevant strata in a stratified neighborhood X around a compact fibre A. With these extended norms in hand, a plurisubharmonic exhaustion function on X can be built, establishing that X is pseudoconvex. Pseudoconvexity in turn permits holomorphic functions defined on divisors at infinity to extend across X. A sympathetic reader cares because this step finishes the list of local properties required for the algebraic compactification.

Core claim

The neighborhood X is stratified and the strata admit Hodge norms which may be used to produce plurisubharmonic functions on the strata. The purpose of this paper is to show that there exists a function that simultaneously extends all the Hodge norms along the strata that intersect the fibre A nontrivially.

What carries the argument

A single extension function for Hodge norms defined on the strata that meet the fibre A nontrivially.

If this is right

The neighborhood X admits a plurisubharmonic exhaustion function.
Holomorphic functions on divisors at infinity extend to X.
All required local properties of the neighborhoods X are satisfied.
The topological SBB-type completion carries an algebraic structure.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same extension technique may apply to other stratified spaces where multiple geometric norms must be extended together.
It suggests a route to pseudoconvexity results in related compactification problems outside Hodge theory.
The construction could be tested on explicit low-dimensional period domains where the strata are known explicitly.

Load-bearing premise

The neighborhood X is stratified and the strata admit Hodge norms which may be used to produce plurisubharmonic functions on the strata.

What would settle it

An explicit stratified neighborhood X around some fibre A in which no single continuous function extends all the Hodge norms from the intersecting strata would falsify the claim.

read the original abstract

It is a long-standing problem in Hodge theory to generalize the Satake--Baily--Borel (SBB) compactification of a locally Hermitian symmetric space to arbitrary period maps. A proper topological SBB-type completion has been constructed, and the problem of showing that the construction is algebraic has been reduced to showing that the compact fibres A of the completion admit neighborhoods X satisfying certain properties. All but one of those properties has been established; the outstanding problem is to show that holomorphic functions on certain divisors "at infinity" extend to X. Extension theorems of this type require that the complex manifold X be pseudoconvex; that is, admit a plurisubharmonic exhaustion function. The neighborhood X is stratified, and the strata admit Hodge norms which are may be used to produce plurisubharmonic functions on the strata. One would like to extend these norms to X so that they may be used to construct the desired plurisubharmonic exhaustion of X. The purpose of this paper is show that there exists a function that simultaneously extends all the Hodge norms along the strata that intersect the fibre A nontrivially.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper supplies the missing simultaneous extension of Hodge norms to finish the reduction from topological to algebraic SBB compactification for period maps.

read the letter

The core advance is a function that extends all the relevant Hodge norms from the strata intersecting the fiber A to a neighborhood X, giving the plurisubharmonic exhaustion needed for pseudoconvexity. Prior work had already handled the topological completion and reduced algebraicity to this last analytic step; the paper targets exactly that gap. The construction relies on the given stratification and the plurisubharmonic behavior already known on the strata, then produces a global extension that works simultaneously for the norms that matter. That is a direct, useful contribution if the details hold up. The argument appears free of obvious circularity or dependence on fitted quantities. The main soft spot is that the abstract gives no explicit construction steps, regularity statements, or checks on how the extension behaves near the intersections of strata, so one cannot yet judge whether the resulting function is sufficiently smooth or positive to serve as an exhaustion. Those points will need verification in the body of the proof. No other load-bearing assumptions look fragile from the description. This is for people already working on compactifications of period domains and the algebraicity of moduli spaces attached to variations of Hodge structure. A reader who knows the earlier papers in the program will see immediately what has been completed. The paper deserves a serious referee because the claim is narrow, the context is established, and the result would close a stated open problem even if the write-up requires tightening on the estimates.

Referee Report

0 major / 2 minor

Summary. The manuscript proves the existence of a simultaneous extension of Hodge norms from the strata intersecting the fibre A nontrivially to a neighborhood X of A. This extension is used to construct a plurisubharmonic exhaustion function on X, completing the list of properties required to show that the proper topological SBB-type completion of a period map is algebraic.

Significance. If the result holds, it resolves the final analytic step in the program of algebraizing the SBB-type compactification for arbitrary period maps, a long-standing question in Hodge theory. The construction supplies a concrete plurisubharmonic function on a stratified neighborhood by extending Hodge norms, which is a technical contribution that may be reusable in other degeneration problems.

minor comments (2)

[Abstract] Abstract, line beginning 'the strata admit Hodge norms': the clause 'which are may be used' contains a typographical error and should read 'which may be used'.
[Introduction] The manuscript would benefit from an explicit statement, early in the introduction, of the precise functional-analytic or pluripotential-theoretic properties the extended norm must satisfy in order to produce the exhaustion (e.g., strict plurisubharmonicity outside a compact set).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and for recommending minor revision. The report accurately captures the main result: the existence of a simultaneous extension of the Hodge norms from the relevant strata to a neighborhood X of the fibre A, which supplies the missing plurisubharmonic exhaustion function. No major comments appear in the report, so we have no point-by-point replies to offer. We stand ready to incorporate any minor editorial suggestions once they are communicated.

Circularity Check

0 steps flagged

No significant circularity; derivation is a direct existence argument

full rationale

The paper's central claim is an existence result for a simultaneous extension of Hodge norms from strata to a neighborhood X, used to produce a plurisubharmonic exhaustion. The abstract frames this as the remaining step after other properties are established, with no equations, fitted parameters, or self-citations presented as load-bearing for the extension itself. No self-definitional reductions, fitted inputs renamed as predictions, or ansatz smuggling via citation are visible. The derivation is self-contained as a standard existence proof in complex geometry, consistent with the reader's assessment of only minor (or no) circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the prior topological construction of the completion and on the existence of Hodge norms on strata; no new free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption The neighborhood X is stratified and the strata admit Hodge norms usable for plurisubharmonic functions.
Invoked in the abstract as the setup needed to produce the exhaustion function.

pith-pipeline@v0.9.0 · 5711 in / 1144 out tokens · 24313 ms · 2026-05-24T09:27:14.809858+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The purpose of this paper is show that there exists a function that simultaneously extends all the Hodge norms along the strata that intersect the fibre A nontrivially. (Abstract; Thm 1.7)
IndisputableMonolith/Foundation/AbsoluteFloorClosure absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The neighborhood X is stratified, and the strata admit Hodge norms which may be used to produce plurisubharmonic functions on the strata.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.