On generalized canonical bundle formula and boundedness of complements in complex analytic setting

Kenta Hashizume

arxiv: 2603.17485 · v2 · submitted 2026-03-18 · 🧮 math.AG

On generalized canonical bundle formula and boundedness of complements in complex analytic setting

Kenta Hashizume This is my paper

Pith reviewed 2026-05-15 08:52 UTC · model grok-4.3

classification 🧮 math.AG

keywords generalized canonical bundle formulalc-trivial fibrationscomplex analytic geometrydiscriminant b-divisormoduli b-divisorboundedness of complementsirrational coefficients

0 comments

The pith

Generalized canonical bundle formula established for lc-trivial fibrations with irrational coefficients over non-compact analytic bases.

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

The paper establishes the generalized canonical bundle formula for generalized lc-trivial fibrations that may have irrational coefficients and non-compact bases in the complex analytic setting. It also proves that the discriminant b-divisor and moduli b-divisor remain compatible when restricting to arbitrary open subsets. This work extends previous results from more restricted algebraic or compact settings to broader analytic contexts. The author further discusses the boundedness of complements under these conditions.

Core claim

For generalized lc-trivial fibrations with irrational coefficients over non-compact bases in the complex analytic setting, the generalized canonical bundle formula holds, with the discriminant b-divisor and moduli b-divisor compatible with restriction to arbitrary open subsets.

What carries the argument

The generalized canonical bundle formula, which expresses the canonical class of the total space as the pullback of a divisor on the base plus the discriminant and moduli contributions.

If this is right

The formula applies directly to fibrations over non-compact bases in the analytic category.
Irrational coefficients in the boundary divisors are permitted.
The discriminant and moduli b-divisors restrict properly to any open subset of the base.
Boundedness results for complements can be considered in this generalized setting.

Where Pith is reading between the lines

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

This may facilitate applications in contexts like complex geometry where bases are Stein spaces or other non-compact varieties.
It opens the possibility of extending similar bundle formulas to settings with more general singularities.
Future work could test boundedness of complements explicitly in analytic examples over non-compact bases.

Load-bearing premise

The fibrations must be generalized lc-trivial, satisfying log canonical conditions and having trivial relative canonical bundle adjusted by the boundary divisor.

What would settle it

A counterexample would be a generalized lc-trivial fibration with irrational coefficients over a non-compact complex analytic base where the canonical bundle does not decompose according to the predicted formula involving the discriminant and moduli b-divisors.

read the original abstract

We establish the generalized canonical bundle formula for generalized lc-trivial fibrations with irrational coefficients over non-compact bases in the complex analytic setting, and we show that the discriminant b-divisor and moduli b-divisor are compatible with restriction to arbitrary open subsets. We also discuss the boundedness of complements in this setting.

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 extends the generalized canonical bundle formula to irrational coefficients and non-compact bases in the complex analytic setting by reducing locally to the algebraic case, which is a useful technical step but not a deep conceptual advance.

read the letter

The new piece is the statement of the formula for generalized lc-trivial fibrations with irrational coefficients over non-compact bases in the analytic category, plus the compatibility of the discriminant and moduli b-divisors with restriction to arbitrary open sets. They also sketch some boundedness of complements in this setting. The argument works by passing to local analytic charts, applying the known algebraic formula there, and using b-divisors to manage the non-compactness; irrational coefficients come from continuity on the rational case. That reduction is clean and avoids reinventing the algebraic machinery, which is the main practical gain. The compatibility under restriction follows directly once the local expressions are in place. No obvious gaps in the logic appear from the outline. The main limitation is that it stays close to existing algebraic results rather than developing new analytic tools, so the boundedness discussion feels preliminary and may need more detail to be usable. The citation pattern looks standard for this corner of birational geometry. This is for people already working on moduli or MMP questions that hit analytic or non-compact cases. If those restrictions have been blocking applications, the formula here removes a technical hurdle. I would send it to peer review; the core reduction holds up enough to merit a referee's time even if some sections need tightening.

Referee Report

0 major / 2 minor

Summary. The manuscript establishes the generalized canonical bundle formula for generalized lc-trivial fibrations with irrational coefficients over non-compact bases in the complex analytic setting. It proves that the discriminant b-divisor and moduli b-divisor are compatible with restriction to arbitrary open subsets and discusses the boundedness of complements.

Significance. If the result holds, this provides a valuable extension of the algebraic canonical bundle formula to the complex analytic category, particularly useful for non-algebraic complex manifolds and fibrations involving irrational coefficients. The reduction to the algebraic case via local analytic charts, combined with the use of b-divisors to handle non-compactness and continuity arguments for irrational coefficients, represents a technically sound approach that broadens applicability in birational geometry.

minor comments (2)

The introduction would benefit from a brief explicit statement of how the analytic reduction differs from prior algebraic treatments to better highlight the novelty.
Notation for b-divisors and the precise definition of generalized lc-trivial fibrations in the analytic setting could be recalled or cross-referenced more frequently in the main arguments for improved readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The report accurately captures the main contributions regarding the generalized canonical bundle formula in the complex analytic setting.

Circularity Check

0 steps flagged

No significant circularity: derivation reduces to known algebraic results via local charts

full rationale

The paper's central derivation proceeds by reducing generalized lc-trivial fibrations in the complex analytic setting to the algebraic case on local analytic charts, then invoking the established algebraic generalized canonical bundle formula on those charts. Non-compactness is managed by defining b-divisors locally and verifying restriction compatibility directly from the local expressions; irrational coefficients are handled by continuity from the rational case using the same local data. No step equates a claimed prediction or formula to its own fitted inputs, self-defines a quantity in terms of the result, or relies on a load-bearing self-citation whose justification collapses into the present work. The argument is self-contained against external algebraic benchmarks and prior results, yielding a score of 0.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters, axioms, or invented entities; the result rests on standard domain assumptions of birational geometry such as log canonical pairs and lc-trivial fibrations.

axioms (1)

domain assumption Generalized lc-trivial fibration condition
The formula is stated for generalized lc-trivial fibrations, which is a standard but non-trivial assumption in the minimal model program.

pith-pipeline@v0.9.0 · 5329 in / 1253 out tokens · 32012 ms · 2026-05-15T08:52:43.393159+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/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

We establish the generalized canonical bundle formula for generalized lc-trivial fibrations with irrational coefficients over non-compact bases in the complex analytic setting

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.