pith. sign in

arxiv: 2606.28803 · v1 · pith:YIDX5X7Inew · submitted 2026-06-27 · 🧮 math.AG

Curves on irrational ruled surfaces whose complements are of non-general type

Hideo Kojima This is my paper

Pith reviewed 2026-06-30 08:46 UTC · model grok-4.3

classification 🧮 math.AG
keywords irrational ruled surfaceslogarithmic Kodaira dimensionIitaka dimensionlogarithmic multicanonical systemsP1-fibrationselliptic fibrationscurve complements
0
0 comments X

The pith

On an irrational ruled surface, the logarithmic Kodaira dimension of X minus B equals the Iitaka dimension of K_X plus B.

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

The paper proves an equality between the logarithmic Kodaira dimension of the complement of a curve B and the Iitaka dimension of the divisor K_X + B on an irrational ruled surface X. When this common value is less than two, it describes the rough shape that B must take. When the value is exactly one, it shows that the linear system given by multiples of the logarithmic canonical divisor, for m at least 12, defines a fibration that is either a P1-bundle or an elliptic fibration over the base curve of the ruling.

Core claim

We prove that the logarithmic Kodaira dimension of X-B equals the Iitaka dimension of K_X+B and give a rough configuration of B when the logarithmic Kodaira dimension of X-B is less than two. Next, we study the logarithmic multicanonical system of X-B when the logarithmic Kodaira dimension of X-B equals one and prove that its logarithmic m-canonical system gives either a P1-fibration or an elliptic fibration if m ≥ 12.

What carries the argument

The equality between the logarithmic Kodaira dimension of X-B and the Iitaka dimension of K_X + B, which is used to control the configuration of B and the behavior of its multicanonical systems.

If this is right

  • When the common dimension value is less than two, B must belong to a limited list of possible configurations on the ruling.
  • When the value equals one, the m-canonical map for m at least 12 is a fibration whose general fiber is either rational or elliptic.
  • The geometry of the open surface X-B is completely determined by the linear systems associated to K_X + B once the dimension is fixed.
  • These results apply uniformly to any effective curve B without further restrictions on its singularities.

Where Pith is reading between the lines

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

  • The equality may simplify the classification of open algebraic surfaces whose complements have Kodaira dimension zero or one.
  • The fibration statement for m ≥ 12 suggests that the base curve of the ruling controls the entire geometry once the dimension reaches one.
  • Similar equalities could be tested on other classes of surfaces with a fibration structure to see whether the same reduction holds.

Load-bearing premise

X is an irrational ruled surface and B is an effective curve, with the standard definitions of logarithmic Kodaira dimension and Iitaka dimension applying directly.

What would settle it

An explicit pair consisting of an irrational ruled surface X and a curve B on it such that the logarithmic Kodaira dimension of X-B differs from the Iitaka dimension of K_X + B.

read the original abstract

Let $B$ be a curve on an irrational ruled surface $X$. We prove that the logarithmic Kodaira dimension of $X-B$ equals the Iitaka dimension of $K_X+B$ and give a rough configuration of $B$ when the logarithmic Kodaira dimension of $X - B$ is less than two. Next, we study the logarithmic multicanonical system of $X-B$ when the logarithmic Kodaira dimension of $X - B$ equals one and prove that its logarithmic $m$-canonical system gives either a $\mathbb{P}^1$-fibration or an elliptic fibration if $m \geq 12$.

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.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to prove that for an effective curve B on an irrational ruled surface X the logarithmic Kodaira dimension of the complement X-B equals the Iitaka dimension of the divisor K_X + B; it supplies a rough configuration of B whenever this common value is less than 2, and shows that when the value equals 1 the logarithmic m-canonical system for m ≥ 12 induces either a P^1-fibration or an elliptic fibration.

Significance. If the configuration and fibration statements are correct they would give concrete geometric information about log pairs of non-general type on ruled surfaces over curves of genus ≥1. The identification of the two dimensions, however, is the standard definition of logarithmic Kodaira dimension and therefore carries no additional content.

major comments (1)
  1. [Abstract] Abstract: the asserted equality between the logarithmic Kodaira dimension of X-B and the Iitaka dimension of K_X + B is the definition of ar{\kappa}(X-B) (via the Iitaka dimension of K_X + B); the manuscript presents this as a result that is proved, but it holds tautologically and requires no separate argument.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the issue in the abstract. We agree that the equality in question is definitional and will revise the manuscript accordingly. The substantive contributions concern the configuration of B and the fibration statements.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the asserted equality between the logarithmic Kodaira dimension of X-B and the Iitaka dimension of K_X + B is the definition of ar{\kappa}(X-B) (via the Iitaka dimension of K_X + B); the manuscript presents this as a result that is proved, but it holds tautologically and requires no separate argument.

    Authors: We agree that ar{\kappa}(X-B) is defined to be the Iitaka dimension of K_X + B, so the equality holds by definition and requires no proof. The manuscript incorrectly presents this as a result. We will revise the abstract and introduction to remove any claim of proving the equality and instead state the definition explicitly, while retaining the configuration results for ar{\kappa} < 2 and the fibration theorem for ar{\kappa}=1 with m \geq 12 as the main contributions. revision: yes

Circularity Check

1 steps flagged

Central equality between log Kodaira dimension and Iitaka dimension is definitional

specific steps
  1. self definitional [Abstract]
    "We prove that the logarithmic Kodaira dimension of X-B equals the Iitaka dimension of K_X+B and give a rough configuration of B when the logarithmic Kodaira dimension of X - B is less than two."

    The logarithmic Kodaira dimension ar{\kappa}(X-B) is defined to be the Iitaka dimension of K_X + B (via the growth of sections of m(K_X + B)). The paper states this equality as something proved, but the identification is true by the definition of the quantities involved rather than by any derivation from the ruled-surface assumptions.

full rationale

The paper's lead claim is to prove that the logarithmic Kodaira dimension of X-B equals the Iitaka dimension of K_X+B. This equality holds by the standard definition of logarithmic Kodaira dimension in algebraic geometry, which is precisely the Iitaka dimension of the log canonical divisor K_X+B. The abstract presents this as a derived result rather than a definitional identity, after which the configuration statements and fibration results for m≥12 are developed. This matches the self-definitional pattern for the load-bearing initial step, though the ruled-surface geometry arguments that follow may be independent.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so a complete ledger cannot be extracted. The work relies on standard definitions from algebraic geometry rather than new postulates.

axioms (1)
  • standard math Standard properties of ruled surfaces, logarithmic Kodaira dimension, and Iitaka dimension as defined in the literature on algebraic surfaces.
    The statements presuppose these established notions without re-deriving them.

pith-pipeline@v0.9.1-grok · 5625 in / 1404 out tokens · 54838 ms · 2026-06-30T08:46:34.723334+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

17 extracted references

  1. [1]

    Bombieri and D

    E. Bombieri and D. Mumford, Enriques’ classification of surfaces in char.p, II, In: Complex analysis and algebraic geometry, Iwanami Shoten, Tokyo, 1977, pp. 23–42

    1977

  2. [2]

    R. V. Gurjar and A. J. Parameswaran, Open surfaces with non-positive Euler charac- teristic, Compositio Math.,99(1995), 213–229

    1995

  3. [3]

    Iitaka, The virtual singularity theorem and the logarithmic bigenus theorem, Tohoku Math

    S. Iitaka, The virtual singularity theorem and the logarithmic bigenus theorem, Tohoku Math. J.,32(1980), 337–351

    1980

  4. [4]

    Iitaka, Algebraic Geometry, Graduate Texts in Mathematics 76, Springer-Verlag, New York, Heiderberg, Berlin, 1981

    S. Iitaka, Algebraic Geometry, Graduate Texts in Mathematics 76, Springer-Verlag, New York, Heiderberg, Berlin, 1981

    1981

  5. [5]

    Kambayashi, On Fujita’s strong cancellation theorem for the affine plane, J

    T. Kambayashi, On Fujita’s strong cancellation theorem for the affine plane, J. Fac. Sci. Univ. Tokyo,27(1980), 535–548

    1980

  6. [6]

    Kawamata, On the classification of non-complete algebraic surfaces, Algebraic ge- ometry (Proc

    Y. Kawamata, On the classification of non-complete algebraic surfaces, Algebraic ge- ometry (Proc. Summer Meeting, Univ. Copenhagen, Copenhagen, 1978), pp. 215–232, Lecture Notes in Mathematics 732, Springer, Berlin, 1979

    1978

  7. [7]

    Katsura and K

    T. Katsura and K. Ueno, On elliptic surfaces in characteristicp, Math. Ann.,272 (1985), 291–330

    1985

  8. [8]

    Kobayashi, S

    R. Kobayashi, S. Nakamura and F. Sakai, A numerical characterization of ball quotients for normal surfaces with branch loci, Proc. Japan Acad. Ser. A Math. Sci.,65(1989), 238–241

    1989

  9. [9]

    Kojima, Open algebraic surfaces of logarithmic Kodaira dimension one, Affine Al- gebraic Geometry, pp

    H. Kojima, Open algebraic surfaces of logarithmic Kodaira dimension one, Affine Al- gebraic Geometry, pp. 135–159, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2013

    2013

  10. [10]

    Kojima, Irrational open algebraic surfaces of non-negative logarithmic Kodaira di- mension, Adv

    H. Kojima, Irrational open algebraic surfaces of non-negative logarithmic Kodaira di- mension, Adv. Stud. Pure Math.,75(2017), 189–206

    2017

  11. [11]

    Kojima, Logarithmic multicanonical systems of smooth affine surfaces of logarithmic Kodaira dimension one, Geom

    H. Kojima, Logarithmic multicanonical systems of smooth affine surfaces of logarithmic Kodaira dimension one, Geom. Dedicata,219(2025), Paper No. 23, 14pp

    2025

  12. [12]

    Miyanishi, Non-complete algebraic surfaces, Lecture Notes in Mathematics 857, Springer-Verlag, Berlin-New York, 1981

    M. Miyanishi, Non-complete algebraic surfaces, Lecture Notes in Mathematics 857, Springer-Verlag, Berlin-New York, 1981

    1981

  13. [13]

    Miyanishi, On affine-ruled irrational surfaces, Invent

    M. Miyanishi, On affine-ruled irrational surfaces, Invent. Math.,70(1982), 27–43

    1982

  14. [14]

    Miyanishi, Open algebraic surfaces, CRM Monograph Series 12, American Mathe- matical Society, Providence, RI, 2001

    M. Miyanishi, Open algebraic surfaces, CRM Monograph Series 12, American Mathe- matical Society, Providence, RI, 2001

    2001

  15. [15]

    Miyanishi and S

    M. Miyanishi and S. Tsunoda, Non-complete algebraic surfaces with logarithmic Ko- daira dimension−∞and with non-connected boundaries at infinity, Japan. J. Math. 10(1984), 195–242

    1984

  16. [16]

    Tsunoda, Structure of open algebraic surfaces, I, J

    S. Tsunoda, Structure of open algebraic surfaces, I, J. Math. Kyoto Univ.,23(1983), 95–125

    1983

  17. [17]

    Veys, Structure of rational open surfaces with non-positive Euler characteristic, Math

    W. Veys, Structure of rational open surfaces with non-positive Euler characteristic, Math. Ann.,312(1998), 527–548. (H. Kojima)Department of Mathematics, F aculty of Science, Niigata Uni- versity, 8050 Ikarashininocho, Nishi-ku, Niigata 950-2181, Japan Email address:kojima@math.sc.niigata-u.ac.jp

    1998