Castelnuovo polytopes

Akiyoshi Tsuchiya

arxiv: 2010.13617 · v6 · pith:JAY6RWHDnew · submitted 2020-10-26 · 🧮 math.CO · math.AG

Castelnuovo polytopes

Akiyoshi Tsuchiya This is my paper

Pith reviewed 2026-05-24 14:15 UTC · model grok-4.3

classification 🧮 math.CO math.AG

keywords Castelnuovo polytopesh*-vectorslattice polytopespolarized toric varietiessectional genusinteger decomposition property

0 comments

The pith

A characterization of all Castelnuovo polytopes is given in terms of their h*-vectors.

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

The paper establishes a characterization of every Castelnuovo lattice polytope by conditions on its h*-vector. This result generalizes a prior characterization that was limited to polytopes containing interior lattice points. A reader would value this because it translates a geometric property of the associated toric variety into a combinatorial check on the polytope. The work also supplies a sufficient condition for a lattice polytope to satisfy the integer decomposition property.

Core claim

The central claim is that Castelnuovo polytopes, defined as those lattice polytopes whose associated polarized toric varieties achieve the sectional genus bound, are precisely those whose h*-vectors satisfy a specific set of conditions that extend Kawaguchi's description for the case with interior points.

What carries the argument

The h*-vector of the lattice polytope, which serves as the combinatorial invariant used to encode the Castelnuovo property.

If this is right

A lattice polytope can be tested for the Castelnuovo property solely by examining its h*-vector.
The integer decomposition property holds for any lattice polytope meeting the sufficient criterion derived from the characterization.
Previous results on polytopes with interior points are recovered as a special case.

Where Pith is reading between the lines

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

This characterization may facilitate the classification of Castelnuovo polytopes in fixed dimension.
It connects the theory of Ehrhart polynomials more tightly to bounds from algebraic geometry on toric varieties.

Load-bearing premise

The definition equates a lattice polytope being Castelnuovo with the polarized toric variety it determines achieving the upper bound on sectional genus.

What would settle it

A counterexample would be a lattice polytope whose h*-vector obeys the stated conditions yet the sectional genus of its toric variety falls below the Castelnuovo bound, or vice versa.

read the original abstract

It is known that the sectional genus of a polarized variety has an upper bound, which is an extension of the Castelnuovo bound on the genus of a projective curve. Polarized varieties whose sectional genus achieves this bound are called Castelnuovo. On the other hand, a lattice polytope is called Castelnuovo if the associated polarized toric variety is Castelnuovo. Kawaguchi characterized Castelnuovo polytopes having interior lattice points in terms of their $h^*$-vectors. In this paper, as a generalization of this result, a characterization of all Castelnuovo polytopes will be presented. Finally, as an application of our characterization, we give a sufficient criterion for a lattice polytope to be IDP.

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 Kawaguchi's h*-vector characterization of Castelnuovo polytopes from the interior-point case to all of them and adds an IDP criterion.

read the letter

The core contribution is a generalization of Kawaguchi's result: Castelnuovo polytopes are now characterized by their h*-vectors without needing an interior lattice point. The paper also derives a sufficient condition for a lattice polytope to be IDP from that characterization. Both steps sit squarely inside the existing literature on toric varieties and lattice polytopes, so the advance is incremental but real within that niche. The abstract makes clear the argument proceeds by removing the interior-point restriction from the prior theorem rather than starting from scratch, which keeps the logical load low. The IDP application is a straightforward consequence and gives the work a concrete payoff. The definition of Castelnuovo polytopes via the sectional-genus bound on the associated polarized toric variety is standard and not invented here, so no circularity appears in the setup. The main limitation is scope: everything stays inside combinatorial algebraic geometry, and the result will not travel far outside it. Without the full proofs it is impossible to check whether the h*-vector condition holds in all edge cases or whether any post-hoc adjustments were needed, but the stress-test found no internal inconsistency in the stated claims. Readers already working on h*-vectors, IDP polytopes, or Castelnuovo bounds will get direct value; others can skip it. The paper is coherent on its own terms and formally grounded enough to warrant referee time rather than a desk reject.

Referee Report

0 major / 3 minor

Summary. The paper claims to characterize all Castelnuovo lattice polytopes (those for which the associated polarized toric variety achieves the sectional-genus bound) in terms of their h*-vectors, as a generalization of Kawaguchi's result restricted to the interior-lattice-point case; it then applies the characterization to obtain a sufficient criterion for a lattice polytope to be IDP.

Significance. If the stated characterization holds, the result supplies a purely combinatorial criterion for a geometric property of toric varieties and yields a practical test for the IDP property, both of which are of interest in Ehrhart theory and combinatorial algebraic geometry.

minor comments (3)

[Introduction] §1 (Introduction): the precise statement of Kawaguchi's theorem should be quoted or restated with its original numbering so that the generalization is immediately comparable.
[Abstract] The h*-vector condition in the main theorem is stated only after several pages of preparatory material; a brief forward reference in the abstract or §1 would improve readability.
[§2] Notation for the sectional-genus bound and the polarized toric variety is introduced without an explicit cross-reference to the definition of Castelnuovo polytopes; a single sentence linking the two would remove ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. The report contains no specific major comments to address point by point.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper defines Castelnuovo polytopes via the standard link to polarized toric varieties achieving the sectional genus bound, then states a characterization of all such polytopes (generalizing Kawaguchi's interior-point case) directly in terms of h*-vectors, plus an application to IDP polytopes. No step reduces a claimed prediction or central result to a fitted parameter or self-referential definition inside the paper; the cited prior result is external and the derivation remains self-contained against that benchmark.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Review performed from abstract alone; no explicit free parameters, axioms, or invented entities are stated in the provided text.

pith-pipeline@v0.9.0 · 5636 in / 1050 out tokens · 21006 ms · 2026-05-24T14:15:31.689383+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · 2 internal anchors

[1]

V . V . Batyrev, Lattice polytopes with a given h∗-polynomial, Contemp. Math. 423 (2007), 1–10

work page 2007
[2]

Computing the continuous discret ely

M. Beck and S. Robins, “Computing the continuous discret ely”, Undergraduate Texts in Mathematics, Springer, second edition, 2015

work page 2015
[3]

Betke and P

U. Betke and P . McMullen, Lattice points in lattice polyt opes, Monatsh. Math. 99 (1985), 253–265

work page 1985
[4]

D. Cox, J. Little and H. Schenck, Toric V arieties, Gradua te Texts in Mathematics, vol. 124, American Mathematical Society (2011)

work page 2011
[5]

Fujita, Classiﬁcation theories of polarized varieti es, London Mathematical Society Lecture Note Series, vol

T. Fujita, Classiﬁcation theories of polarized varieti es, London Mathematical Society Lecture Note Series, vol. 155, Cambridge University Press (1990)

work page 1990
[6]

Spanning Lattice Polytopes and the Uniform Position Principle

J. Hofscheier, L. Katth¨ an and B. Nill, Spanning lattice polytopes and the uniform position principle, arXiv:1711.09512

work page internal anchor Pith review Pith/arXiv arXiv
[7]

Hibi, Dual polytopes of rational convex polytopes, Combinatorica 12 (1992), 237–240

T. Hibi, Dual polytopes of rational convex polytopes, Combinatorica 12 (1992), 237–240

work page 1992
[8]

Hibi, A lower bound theorem for Ehrhart polynomials of convex polytopes, Adv

T. Hibi, A lower bound theorem for Ehrhart polynomials of convex polytopes, Adv. Math. 105 (1994), 162–165

work page 1994
[9]

Katth¨ an and K

L. Katth¨ an and K. Y anagawa, Graded Cohen–Macaulay doma ins and lattice polytopes with short h- vector, arXiv:1907.07214

work page arXiv 1907
[10]

Kawaguchi, Sectional genus and the volume of a lattic e polytope, J

R. Kawaguchi, Sectional genus and the volume of a lattic e polytope, J. Algebraic Combin. 53 (2021), 1253–1264

work page 2021
[11]

Oda, Convex Bodies and Algebraic Geometry, Springer , Berlin (1988)

T. Oda, Convex Bodies and Algebraic Geometry, Springer , Berlin (1988)

work page 1988
[12]

Problems on Minkowski sums of convex lattice polytopes

T. Oda, Problems on Minkowski sums of convex lattice pol ytopes, arXiv:0812.1418

work page internal anchor Pith review Pith/arXiv arXiv
[13]

R. P . Stanley, Decompositions of rational convex polyt opes, Ann. Discrete Math. 6 (1980), 333–342. 9 AKIYOSHI TSUCHIYA , G RADUATE SCHOOL OF MATHEMATICAL SCIENCES , U NIVERSITY OF TOKYO , KOMABA , M EGURO -KU, T OKYO 153-8914, J APAN Email address: akiyoshi@ms.u-tokyo.ac.jp 10

work page 1980

[1] [1]

V . V . Batyrev, Lattice polytopes with a given h∗-polynomial, Contemp. Math. 423 (2007), 1–10

work page 2007

[2] [2]

Computing the continuous discret ely

M. Beck and S. Robins, “Computing the continuous discret ely”, Undergraduate Texts in Mathematics, Springer, second edition, 2015

work page 2015

[3] [3]

Betke and P

U. Betke and P . McMullen, Lattice points in lattice polyt opes, Monatsh. Math. 99 (1985), 253–265

work page 1985

[4] [4]

D. Cox, J. Little and H. Schenck, Toric V arieties, Gradua te Texts in Mathematics, vol. 124, American Mathematical Society (2011)

work page 2011

[5] [5]

Fujita, Classiﬁcation theories of polarized varieti es, London Mathematical Society Lecture Note Series, vol

T. Fujita, Classiﬁcation theories of polarized varieti es, London Mathematical Society Lecture Note Series, vol. 155, Cambridge University Press (1990)

work page 1990

[6] [6]

Spanning Lattice Polytopes and the Uniform Position Principle

J. Hofscheier, L. Katth¨ an and B. Nill, Spanning lattice polytopes and the uniform position principle, arXiv:1711.09512

work page internal anchor Pith review Pith/arXiv arXiv

[7] [7]

Hibi, Dual polytopes of rational convex polytopes, Combinatorica 12 (1992), 237–240

T. Hibi, Dual polytopes of rational convex polytopes, Combinatorica 12 (1992), 237–240

work page 1992

[8] [8]

Hibi, A lower bound theorem for Ehrhart polynomials of convex polytopes, Adv

T. Hibi, A lower bound theorem for Ehrhart polynomials of convex polytopes, Adv. Math. 105 (1994), 162–165

work page 1994

[9] [9]

Katth¨ an and K

L. Katth¨ an and K. Y anagawa, Graded Cohen–Macaulay doma ins and lattice polytopes with short h- vector, arXiv:1907.07214

work page arXiv 1907

[10] [10]

Kawaguchi, Sectional genus and the volume of a lattic e polytope, J

R. Kawaguchi, Sectional genus and the volume of a lattic e polytope, J. Algebraic Combin. 53 (2021), 1253–1264

work page 2021

[11] [11]

Oda, Convex Bodies and Algebraic Geometry, Springer , Berlin (1988)

T. Oda, Convex Bodies and Algebraic Geometry, Springer , Berlin (1988)

work page 1988

[12] [12]

Problems on Minkowski sums of convex lattice polytopes

T. Oda, Problems on Minkowski sums of convex lattice pol ytopes, arXiv:0812.1418

work page internal anchor Pith review Pith/arXiv arXiv

[13] [13]

R. P . Stanley, Decompositions of rational convex polyt opes, Ann. Discrete Math. 6 (1980), 333–342. 9 AKIYOSHI TSUCHIYA , G RADUATE SCHOOL OF MATHEMATICAL SCIENCES , U NIVERSITY OF TOKYO , KOMABA , M EGURO -KU, T OKYO 153-8914, J APAN Email address: akiyoshi@ms.u-tokyo.ac.jp 10

work page 1980