On the Iitaka Conjecture $C_{n,m}$ for K\"ahler Fibre Spaces

Juanyong Wang

arxiv: 1907.06705 · v1 · pith:UA7ZSXF7new · submitted 2019-07-15 · 🧮 math.AG · math.CV· math.DG

On the Iitaka Conjecture C_(n,m) for K\"ahler Fibre Spaces

Juanyong Wang This is my paper

Pith reviewed 2026-05-24 21:16 UTC · model grok-4.3

classification 🧮 math.AG math.CVmath.DG

keywords Iitaka conjectureKähler manifoldsfibre spacesdirect imagespositivityjumping lociorbifolds

0 comments

The pith

The klt Kähler version of the Iitaka conjecture C_{n,m} holds for fibre spaces when the determinant of the direct image of a relative canonical power is big on the base or the base is a complex torus.

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

The paper shows that the Iitaka conjecture C_{n,m} holds in the klt Kähler category for morphisms between compact Kähler manifolds with connected general fibre. This is proven when the determinant of the direct image of some power of the relative canonical bundle is big on the base or when the base is a complex torus. The result also covers the orbifold version in the torus case. These findings matter because they extend known algebraic results to analytic Kähler settings, helping to understand Kodaira dimensions in fibre spaces.

Core claim

By applying the positivity theorem of direct images and a pluricanonical version of the structure theorem on the cohomology jumping loci à la Green-Lazarsfeld-Simpson, we show that the klt Kähler version of the Iitaka conjecture C_{n,m} for f:X→Y holds true when the determinant of the direct image of some power of the relative canonical bundle is big on Y or when Y is a complex torus. These generalize the corresponding results of Viehweg (1983) and of Cao-Paun (2017) respectively. We further generalize the later case to the geometric orbifold setting, i.e. prove that C_{n,m}^{orb} holds when Y is a complex torus.

What carries the argument

Positivity theorem of direct images and pluricanonical structure theorem on cohomology jumping loci

If this is right

Generalizes Viehweg's 1983 result to the Kähler setting.
Extends Cao-Paun's 2017 result to Kähler manifolds.
Proves the orbifold version C_{n,m}^{orb} when the base is a complex torus.
Applies to klt Kähler fibre spaces with connected general fibre.

Where Pith is reading between the lines

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

The approach may allow reduction of the full conjecture if other base cases can be handled similarly.
It suggests potential links to classification problems in Kähler geometry beyond the stated conditions.
Explicit examples of Kähler tori bases could be used to test the orbifold generalization.

Load-bearing premise

The positivity theorem of direct images and the pluricanonical structure theorem on cohomology jumping loci apply in the stated klt Kähler setting with connected general fibre.

What would settle it

A counterexample klt Kähler fibre space over a torus where the Kodaira dimension does not add up as predicted by the conjecture.

read the original abstract

By applying the positivity theorem of direct images and a pluricanonical version of the structure theorem on the cohomology jumping loci \`a la Green-Lazarsfeld-Simpson, we show that the klt K\"ahler version of the Iitaka conjecture $C_{n,m}$ (Ueno, 1975) for $f:X\to Y$ (surjective morphism between compact K\"ahler manifolds with connected general fibre) holds true when the determinant of the direct image of some power of the relative canonical bundle is big on $Y$ or when $Y$ is a complex torus. These generalize the corresponding results of Viehweg (1983) and of Cao-P\u aun (2017) respectively. We further generalize the later case to the geometric orbifold setting, i.e. prove that $C_{n,m}^{\text{orb}}$ (Campana, 2004) holds when $Y$ is a complex torus.

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 extends Viehweg and Cao-Paun to Kähler in the big-det and torus cases but rests on whether the positivity and Green-Lazarsfeld-Simpson theorems carry over to klt Kähler without extra work.

read the letter

The main contribution is a Kähler version of the Iitaka conjecture C_{n,m} for surjective maps of compact Kähler manifolds with connected general fibre and klt singularities on the total space. It shows the conjecture holds when the determinant of a power of the relative canonical bundle is big on the base, or when the base is a complex torus; the torus case is also lifted to the geometric orbifold setting. This directly generalizes the algebraic statements of Viehweg from 1983 and Cao-Paun from 2017, and the orbifold extension for tori is new. The argument reduces the problem to those two situations by quoting a positivity theorem for direct images and a pluricanonical version of the Green-Lazarsfeld-Simpson structure theorem on jumping loci. Those tools are applied in the Kähler category rather than the projective one. The reduction itself looks clean and the cases treated are the natural ones where the base positivity or torus structure can be exploited. The soft spot is exactly the one flagged in the stress test: both cited theorems were originally proved in the projective or algebraic setting, and their extension to non-projective Kähler manifolds with klt singularities is not automatic. The paper must supply the necessary analytic estimates or curvature arguments for the Kähler case; if those steps are only sketched or rely on unstated adaptations, the reduction does not go through. Without seeing the details of that justification, it is hard to judge how much new analytic work is actually done versus assumed. This is a technical paper aimed at specialists in birational geometry and Kähler geometry who already know the algebraic results. It is worth sending to referees because the target conjecture is central and the claimed extension is precise; any referee can check whether the analytic extensions are handled correctly. I would bring it to a reading group only if the group already works in this area.

Referee Report

1 major / 1 minor

Summary. The paper proves that the klt Kähler version of Iitaka's conjecture C_{n,m} holds for surjective morphisms f:X→Y of compact Kähler manifolds with connected general fibre, in the cases where det(f_*(K_{X/Y}^m)) is big on Y for some m>0, or where Y is a complex torus; the torus case is further extended to the geometric orbifold setting C_{n,m}^{orb}. The argument reduces these statements to known results by applying the positivity theorem for direct images of the relative canonical bundle and a pluricanonical version of the Green-Lazarsfeld-Simpson structure theorem on cohomology jumping loci.

Significance. If the invoked positivity and structure theorems extend rigorously to the klt Kähler category, the result would constitute a meaningful analytic generalization of Viehweg (1983) and Cao-Paun (2017), establishing new cases of the Iitaka conjecture outside the projective setting.

major comments (1)

[Introduction and the reduction argument (around the statements of Theorems 1.1 and 1.2)] The central reduction in the proof relies on the positivity theorem of direct images and the pluricanonical Green-Lazarsfeld-Simpson theorem holding for surjective morphisms of compact Kähler manifolds with klt singularities on X. The manuscript invokes these results but does not supply the necessary curvature or L^2 estimates to confirm their validity in the non-projective klt Kähler setting (as opposed to the projective or smooth cases where they were originally proved). This applicability is load-bearing for the claimed generalization.

minor comments (1)

Notation for the relative canonical bundle and its direct images should be made uniform across the introduction and the technical sections to avoid ambiguity when passing between the algebraic and Kähler settings.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the load-bearing assumption in our reduction argument. We address the single major comment below.

read point-by-point responses

Referee: [Introduction and the reduction argument (around the statements of Theorems 1.1 and 1.2)] The central reduction in the proof relies on the positivity theorem of direct images and the pluricanonical Green-Lazarsfeld-Simpson theorem holding for surjective morphisms of compact Kähler manifolds with klt singularities on X. The manuscript invokes these results but does not supply the necessary curvature or L^2 estimates to confirm their validity in the non-projective klt Kähler setting (as opposed to the projective or smooth cases where they were originally proved). This applicability is load-bearing for the claimed generalization.

Authors: We agree that the manuscript presents the positivity theorem for direct images and the pluricanonical Green-Lazarsfeld-Simpson theorem as applicable without supplying explicit curvature or L² estimates in the klt Kähler setting. The reduction therefore rests on an implicit extension of results originally proved in the projective or smooth categories. In the revised manuscript we will add a short subsection (or appendix) that (i) cites the precise statements of the positivity and structure theorems that are known to hold for klt Kähler pairs, (ii) indicates the additional analytic ingredients (curvature estimates on the relative canonical bundle and the relevant L² theory) needed for the non-projective case, and (iii) sketches why these ingredients carry over when the base is Kähler and the total space has klt singularities. If the required estimates are not already available in the literature, we will supply them. This revision will make the applicability of the reduction fully explicit. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies external theorems

full rationale

The paper derives its conditional result on the klt Kähler Iitaka conjecture C_{n,m} by directly invoking two external theorems—the positivity theorem of direct images and a pluricanonical version of the Green-Lazarsfeld-Simpson structure theorem on cohomology jumping loci—as independent inputs. These are cited from prior literature (Viehweg 1983, Cao-Paun 2017, and the original Green-Lazarsfeld-Simpson work) rather than derived or fitted within the paper. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citation chains appear in the derivation; the central claim remains a generalization conditional on the applicability of those cited results in the stated setting. This is the standard case of a self-contained argument against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on two standard theorems from the literature that are invoked as tools rather than derived in the paper.

axioms (2)

standard math Positivity theorem of direct images
Applied to establish positivity properties needed for the conjecture.
standard math Pluricanonical version of the structure theorem on the cohomology jumping loci à la Green-Lazarsfeld-Simpson
Used to control jumping loci in the Kähler setting.

pith-pipeline@v0.9.0 · 5702 in / 1233 out tokens · 31743 ms · 2026-05-24T21:16:25.363345+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.

By applying the positivity theorem of direct images and a pluricanonical version of the structure theorem on the cohomology jumping loci à la Green-Lazarsfeld-Simpson, we show that the klt Kähler version of the Iitaka conjecture Cn,m ... holds true when the determinant ... is big on Y or when Y is a complex torus.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

Theorem B. ... the torsion free sheaf Fm,Δ := f_*(K^m_{X/Y} ⊗ O_X(mΔ)) admits a canonical semi-positively curved singular Hermitian metric g^{(m)}_{X/Y,Δ} which satisfies the L2 extension property.

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.