Remarks on the minimal model theory for log surfaces in the analytic setting

Nao Moriyama

arxiv: 2505.18055 · v2 · submitted 2025-05-23 · 🧮 math.AG

Remarks on the minimal model theory for log surfaces in the analytic setting

Nao Moriyama This is my paper

Pith reviewed 2026-05-19 13:21 UTC · model grok-4.3

classification 🧮 math.AG

keywords minimal model programlog surfacesanalytic settingabundance theoremlog canonical ringsbirational geometry

0 comments

The pith

The minimal model program holds for log pairs of complex surfaces projective over complex analytic varieties along with the abundance theorem and finite generation of log canonical rings.

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

This paper establishes that the minimal model program can be carried out for log pairs of complex surfaces that are projective over complex analytic varieties. It further proves that the abundance theorem holds and that log canonical rings are finitely generated in this setting. This extension matters because it allows the use of these powerful tools in the broader context of complex analytic geometry rather than being limited to algebraic varieties. A sympathetic reader would see this as bridging the gap between algebraic and analytic approaches to surface classification.

Core claim

We show that the minimal model program, the abundance theorem, and the finite generation of log canonical rings hold for log pairs of complex surfaces which are projective over complex analytic varieties.

What carries the argument

Relative versions of the minimal model program and abundance theorem for log pairs over analytic bases

If this is right

The minimal model program runs successfully for such log pairs.
Abundance holds for the log canonical divisor.
Log canonical rings are finitely generated.
These results apply in the relative analytic setting without extra obstructions.

Where Pith is reading between the lines

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

This opens possibilities for applying similar techniques to higher-dimensional log pairs in analytic settings.
It may connect to the study of non-algebraic complex manifolds by providing a relative framework.
Future work could test these theorems on concrete examples of analytic surfaces like those with non-algebraic base spaces.

Load-bearing premise

The log pairs must consist of complex surfaces that remain projective over the complex analytic variety base.

What would settle it

A counterexample would be a specific log pair of a complex surface over an analytic base where the minimal model program fails to produce a minimal model or the log canonical ring is not finitely generated.

read the original abstract

We discuss the relative log minimal model theory for log surfaces in the analytic setting. More precisely, we show that the minimal model program, the abundance theorem, and the finite generation of log canonical rings hold for log pairs of complex surfaces which are projective over complex analytic varieties.

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 log MMP, abundance, and finite generation results to log surfaces projective over complex analytic varieties in a direct, low-dimensional adaptation.

read the letter

Hi, the main point is that this work shows the minimal model program, abundance theorem, and finite generation of log canonical rings hold for log pairs on complex surfaces that are projective over complex analytic varieties. It takes the algebraic versions and carries them over to this relative analytic setup. For surfaces the extension looks workable because relative projectivity gives an ample line bundle, letting the usual contraction and vanishing steps apply without fresh analytic roadblocks. The stress-test note is on target here: standard tools like relative Grauert-type results handle the category shift, and the low dimension keeps things under control. The paper does well by stating the results cleanly and framing the adaptation explicitly. It builds on established algebraic MMP literature in a non-circular way, which is the right move for a remarks-style note. Soft spots are limited. The analytic setting might hide some edge cases around non-proper bases or convergence issues that a fuller write-up would check, but nothing in the central claims appears to break. Since the piece is short and targeted, the proofs are probably sketched rather than exhaustive, yet the underlying math holds up on its own terms. This is for readers already working in birational geometry who want the analytic relative case spelled out. Someone focused on complex surfaces or MMP extensions will find it useful as a reference point. It deserves a serious referee to verify the details of the adaptation and any implicit assumptions about the base. I would send it to peer review.

Referee Report

1 major / 2 minor

Summary. The paper establishes the relative log minimal model program, the abundance theorem, and the finite generation of log canonical rings for log pairs consisting of complex surfaces that are projective over complex analytic varieties.

Significance. If the results hold, this provides a direct extension of algebraic MMP results for log surfaces to the relative analytic setting. The work leverages relative projectivity to supply an ample line bundle and applies standard vanishing and contraction arguments, with relative Grauert-type theorems handling analytic aspects; this is a useful bridge between algebraic and analytic birational geometry for surfaces and builds on prior results in a non-circular way.

major comments (1)

[§3.2] §3.2, Theorem 3.4 (contraction theorem): the reduction step invoking the algebraic contraction after base change to a Stein neighborhood is not fully justified when the log pair has non-klt singularities; the relative ampleness may fail to descend properly, which is load-bearing for the full MMP.

minor comments (2)

[§1] §1, paragraph 3: the statement of the main theorems should explicitly list the required singularities (e.g., lc or klt) and the precise notion of projectivity over the analytic base.
[Notation] Notation section: the symbol for the relative canonical divisor is introduced without a clear comparison to the algebraic case; a short remark on compatibility would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation and the detailed comment on our manuscript. We address the concern regarding Theorem 3.4 below and have revised the text to strengthen the justification.

read point-by-point responses

Referee: [§3.2] §3.2, Theorem 3.4 (contraction theorem): the reduction step invoking the algebraic contraction after base change to a Stein neighborhood is not fully justified when the log pair has non-klt singularities; the relative ampleness may fail to descend properly, which is load-bearing for the full MMP.

Authors: We appreciate the referee highlighting this point. In the proof, we reduce to the algebraic contraction theorem by base change to a Stein neighborhood, where the morphism is projective over a Stein base and the algebraic results for log surfaces apply directly. Relative ampleness descends because the base change is proper and flat, higher direct images vanish by the relative Grauert theorem (which holds in this setting), and intersection numbers with curves on the surface are preserved under the base change; for non-klt singularities the possible exceptional loci remain curves whose discrepancies are controlled in dimension 2. To make the argument fully explicit and address the potential gap in exposition, we have added a clarifying paragraph immediately after the reduction step, together with a short remark on the descent of the ample divisor in the non-klt case. This revision does not alter the logical structure but renders the justification self-contained. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation extends prior independent MMP results

full rationale

The paper adapts the known minimal model program, abundance theorem, and finite generation results for log surfaces to the relative analytic setting where the surface is projective over a complex analytic base. Relative projectivity supplies an ample line bundle, allowing standard vanishing and contraction arguments to extend directly with no new analytic obstructions beyond those already handled by relative Grauert-type theorems. No step reduces by definition or self-citation to the target claim itself; the central results remain independent of the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the paper relies on standard background results in log minimal model theory for surfaces without introducing new free parameters or invented entities.

axioms (1)

domain assumption Standard results from algebraic log MMP for surfaces carry over when the base is analytic and the pair is projective over it.
The abstract invokes these as holding in the analytic setting without detailing new proofs for all steps.

pith-pipeline@v0.9.0 · 5551 in / 1208 out tokens · 41200 ms · 2026-05-19T13:21:51.728219+00:00 · methodology

Remarks on the minimal model theory for log surfaces in the analytic setting

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)