An approach to the abundance conjecture for K\"ahler varieties via algebraic reduction

Zhiyuan Jiang

arxiv: 2604.03879 · v1 · submitted 2026-04-04 · 🧮 math.AG

An approach to the abundance conjecture for K\"ahler varieties via algebraic reduction

Zhiyuan Jiang This is my paper

Pith reviewed 2026-05-13 16:59 UTC · model grok-4.3

classification 🧮 math.AG

keywords abundance conjectureKähler varietiesalgebraic reductionKähler fourfoldssemi-amplenessinduction on dimensioncanonical bundle

0 comments

The pith

Abundance for Kähler varieties reduces to the projective case by induction on algebraic dimension via the algebraic reduction fibration.

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

The paper sets up an inductive proof of the abundance conjecture for Kähler varieties. It shows that the conjecture on a Kähler variety follows once it is known for the base and for the general fiber of its algebraic reduction fibration. The fibration extracts the algebraic part of the variety while carrying the necessary positivity data for the canonical bundle. In dimension four this produces some new cases, including non-projective fourfolds and fourfolds with trivial canonical class. The reduction matters because abundance decides when the canonical bundle is semi-ample and therefore controls the birational geometry of the variety.

Core claim

We establish a strategy to the abundance conjecture for Kähler varieties via induction on algebraic dimension. Our strategy is to reduce the abundance conjecture for Kähler varieties to the abundance conjecture for projective varieties using the algebraic reduction fibration. In dimension 4, we apply our inductive strategy to obtain some cases of the abundance conjecture for Kähler fourfolds that are not algebraic or have trivial K_X.

What carries the argument

The algebraic reduction fibration, which extracts the maximal algebraic structure from a Kähler variety so that semi-ampleness of the canonical bundle on the total space follows from the corresponding statements on the base and on the general fiber.

If this is right

Abundance holds for the indicated classes of Kähler fourfolds once it holds for the corresponding projective varieties and fibers.
The conjecture for Kähler varieties in any dimension reduces inductively to the projective case.
New instances of abundance are obtained in dimension four for non-algebraic varieties and for varieties with trivial canonical class.

Where Pith is reading between the lines

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

If the abundance conjecture is settled for all projective varieties, the same statement would follow for all Kähler varieties by repeating the reduction.
The method supplies a template that could be applied to other birational conjectures once the fibration is shown to respect the relevant positivity conditions.
Explicit checks on known families of non-algebraic Kähler threefolds would test whether the fibration step works without hidden assumptions.

Load-bearing premise

The algebraic reduction fibration preserves positivity and semi-ampleness properties of the canonical bundle so the inductive step from base and fiber to total space holds without further restrictions on the Kähler class or singularities.

What would settle it

A Kähler fourfold whose algebraic reduction fibration has base and general fiber satisfying abundance but whose own canonical bundle fails to be semi-ample.

read the original abstract

In this article, we establish a strategy to the abundance conjecture for K\"ahler varieties via induction on algebraic dimension. Our strategy is to reduce the abundance conjecture for K\"ahler varieties to the abundance conjecture for projective varieties using the algebraic reduction fibration. In dimension 4, we apply our inductive strategy to obtain some cases of the abundance conjecture for K\"ahler fourfolds that are not algebraic or have trivial $K_X$.

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

The paper sketches an inductive reduction for the Kähler abundance conjecture via algebraic reduction but leaves the semi-ampleness lifting step unverified.

read the letter

The main claim is a strategy that reduces abundance for a Kähler variety X to the projective base Y of its algebraic reduction together with the fibers of algebraic dimension zero, allowing induction on algebraic dimension. In dimension 4 this produces some concrete cases for non-algebraic fourfolds or those with trivial canonical bundle. The reduction idea itself is straightforward and builds on existing results about algebraic reductions, so the outline is easy to follow and the dim-4 applications are a modest but genuine step forward. What is new is the explicit use of this fibration to handle the non-projective Kähler setting rather than working directly with the Kähler class. The soft spot is the inductive step. For the argument to close, semi-ampleness on the base and fibers must imply semi-ampleness on the total space, and the Kähler class on X must restrict compatibly without creating extra base points or positivity obstructions. The abstract gives no indication of a relative base-point-free theorem or Kähler-adapted vanishing result that would justify this lifting, and the stress-test concern about the class not being a pull-back plus fiber class looks real. If the full text supplies a detailed verification or cites a result that covers it, the strategy strengthens; otherwise it remains a plausible plan rather than a completed reduction. This is for readers already working on the abundance conjecture or classification of Kähler manifolds. Someone tracking new approaches to the non-projective case will get value from the outline even if the details need filling in. It deserves a serious referee because the target is a central open problem and the proposed reduction is specific enough that referees can check the lifting or request the missing arguments.

Referee Report

3 major / 2 minor

Summary. The manuscript outlines a strategy to approach the abundance conjecture for Kähler varieties through induction on algebraic dimension. It reduces the Kähler case to the projective case using the algebraic reduction fibration and applies this in dimension 4 to obtain partial results for non-algebraic Kähler fourfolds and those with trivial canonical class.

Significance. Should the inductive step be verified rigorously, this approach would offer a valuable bridge between the Kähler and projective settings for the abundance conjecture, building on established results in the projective category. The dimension-4 applications constitute concrete progress in an area where full resolution remains open.

major comments (3)

[Inductive strategy (algebraic reduction section)] The preservation of semi-ampleness properties under the algebraic reduction fibration is asserted but lacks a detailed proof or reference to a Kähler-adapted version of the base-point-free theorem. This is load-bearing for the induction to hold, as the strategy reduces abundance on X to semi-ampleness on the projective base Y and on the fibers.
[Dimension 4 application] In the dimension-4 application for varieties with trivial K_X, the argument assumes the fibration does not introduce positivity obstructions or singularities that break semi-ampleness lifting; an explicit verification via relative vanishing or a concrete check is needed to confirm the claim.
[Inductive hypothesis and fibration properties] The reduction assumes compatibility of the Kähler class restriction to the fibers (algebraic dimension 0) without additional assumptions; the manuscript does not supply a Kähler-specific Kawamata–Viehweg vanishing or relative base-point-free result to close this step.

minor comments (2)

[Introduction] Notation for the algebraic reduction fibration f:X→Y could be introduced with a diagram or explicit local description in the introduction for clarity.
Update references to the projective abundance conjecture to include the most recent partial results.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will revise the manuscript to provide the requested details and strengthen the exposition of the inductive strategy.

read point-by-point responses

Referee: The preservation of semi-ampleness properties under the algebraic reduction fibration is asserted but lacks a detailed proof or reference to a Kähler-adapted version of the base-point-free theorem. This is load-bearing for the induction to hold, as the strategy reduces abundance on X to semi-ampleness on the projective base Y and on the fibers.

Authors: We agree that a more detailed treatment of this step is needed to make the argument fully rigorous. In the revised manuscript we will include a self-contained proof of the preservation of semi-ampleness under the algebraic reduction fibration, adapting the base-point-free theorem to the Kähler setting via the results of Demailly–Peternell–Schneider and subsequent Kähler MMP developments. revision: yes
Referee: In the dimension-4 application for varieties with trivial K_X, the argument assumes the fibration does not introduce positivity obstructions or singularities that break semi-ampleness lifting; an explicit verification via relative vanishing or a concrete check is needed to confirm the claim.

Authors: We acknowledge the need for explicit verification in this case. The revised version will contain a dedicated paragraph that applies the relative Kawamata–Viehweg vanishing theorem on the Kähler fourfold to confirm that the fibration introduces no positivity obstructions when K_X is trivial, together with a direct check for the possible singular fibers that can arise in algebraic dimension 1 or 2. revision: yes
Referee: The reduction assumes compatibility of the Kähler class restriction to the fibers (algebraic dimension 0) without additional assumptions; the manuscript does not supply a Kähler-specific Kawamata–Viehweg vanishing or relative base-point-free result to close this step.

Authors: This observation is correct. We will add a short subsection that recalls the Kähler-specific Kawamata–Viehweg vanishing theorem (as stated in the literature for Kähler manifolds with algebraic dimension zero fibers) and verifies that the restriction of the Kähler class remains compatible with the inductive hypothesis on the fibers. A reference to the appropriate relative base-point-free result will also be supplied. revision: yes

Circularity Check

0 steps flagged

No circularity: inductive reduction treats projective abundance as external input

full rationale

The paper's central strategy reduces the Kähler abundance conjecture to the projective abundance conjecture via the algebraic reduction fibration and induction on algebraic dimension. This treats the projective case as an independent external assumption rather than deriving it from the same data or self-referential steps. No self-definitional equations, fitted parameters renamed as predictions, or load-bearing self-citations appear in the abstract or described chain. The induction step assumes preservation of semi-ampleness under the fibration but does not reduce any claim to a tautology or prior self-result by construction. The derivation remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background results in Kähler geometry and the minimal model program; no new free parameters or invented entities are introduced.

axioms (2)

domain assumption Existence and basic properties of the algebraic reduction fibration for Kähler varieties
Invoked to reduce the conjecture to the projective base.
domain assumption Abundance conjecture holds for projective varieties
Used as the inductive base case.

pith-pipeline@v0.9.0 · 5357 in / 1219 out tokens · 29101 ms · 2026-05-13T16:59:30.795677+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/ArithmeticFromLogic.lean reality_from_one_distinction unclear

?

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

Theorem 1.1. Let (X,Δ) be a Kähler klt log pair. ... reduce the abundance conjecture for Kähler varieties to the abundance conjecture for projective varieties using the algebraic reduction fibration.
IndisputableMonolith/Cost/FunctionalEquation.lean J_uniquely_calibrated_via_higher_derivative unclear

?

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

Proposition 3.8. ... pullback compatibility of Zariski decomposition ... P(f^*D+E)=f^*P(D).

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.

Reference graph

Works this paper leans on

3 extracted references · 3 canonical work pages

[1]

MR4954870 40 ZHIYUAN JIANG [Hir75] Heisuke Hironaka,Flattening theorem in complex-analytic geometry, Amer. J. Math.97(1975), 503–547. MR393556 [HP15] Andreas H¨ oring and Thomas Peternell,Mori fibre spaces for K¨ ahler threefolds, J. Math. Sci. Univ. Tokyo22(2015), no. 1, 219–246. MR3329195 [HP16] ,Minimal models for K¨ ahler threefolds, Invent. Math.203(...

work page 1975
[2]

Algebraic Geom.16(2007), no

MR1420223 [Tak07] Shigeharu Takayama,On the invariance and the lower semi-continuity of plurigenera of algebraic varieties, J. Algebraic Geom.16(2007), no. 1, 1–

work page 2007
[3]

MR2257317 [Uen75] Kenji Ueno,Classification theory of algebraic varieties and compact complex spaces, Lecture Notes in Mathematics, vol. Vol. 439, Springer-Verlag, Berlin- New York, 1975. Notes written in collaboration with P. Cherenack. MR506253

work page 1975

[1] [1]

MR4954870 40 ZHIYUAN JIANG [Hir75] Heisuke Hironaka,Flattening theorem in complex-analytic geometry, Amer. J. Math.97(1975), 503–547. MR393556 [HP15] Andreas H¨ oring and Thomas Peternell,Mori fibre spaces for K¨ ahler threefolds, J. Math. Sci. Univ. Tokyo22(2015), no. 1, 219–246. MR3329195 [HP16] ,Minimal models for K¨ ahler threefolds, Invent. Math.203(...

work page 1975

[2] [2]

Algebraic Geom.16(2007), no

MR1420223 [Tak07] Shigeharu Takayama,On the invariance and the lower semi-continuity of plurigenera of algebraic varieties, J. Algebraic Geom.16(2007), no. 1, 1–

work page 2007

[3] [3]

MR2257317 [Uen75] Kenji Ueno,Classification theory of algebraic varieties and compact complex spaces, Lecture Notes in Mathematics, vol. Vol. 439, Springer-Verlag, Berlin- New York, 1975. Notes written in collaboration with P. Cherenack. MR506253

work page 1975