pith. sign in

arxiv: 2507.15210 · v3 · submitted 2025-07-21 · 🧮 math.AG

Del Pezzo surfaces of degree one and examples of Zariski multiples

Ichiro Shimada This is my paper

Pith reviewed 2026-05-19 04:35 UTC · model grok-4.3

classification 🧮 math.AG
keywords del Pezzo surfacesZariski N-tuplesWeyl groupE8monodromyfundamental groupsplane curveslines on surfaces
0
0 comments X

The pith

The E8 Weyl group action on the 240 lines of a degree-one del Pezzo surface produces Zariski N-tuples with large N.

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

The paper constructs examples of Zariski N-tuples with large N. It does so by applying the monodromy action of the Weyl group of type E8 to the 240 lines on a del Pezzo surface of degree one. This action distinguishes the configurations through the fundamental groups of their complements in the projective plane. A sympathetic reader cares because the examples show how an algebraic surface can generate many distinct topological types of plane curve arrangements that share the same degrees and singularities.

Core claim

The central claim is that the monodromy action of the Weyl group of type E8 on the set of 240 lines in a del Pezzo surface of degree one can be used to construct examples of Zariski N-tuples with large N, where the distinct orbits produce curve configurations whose complements have non-isomorphic fundamental groups.

What carries the argument

The monodromy action of the Weyl group of type E8 on the 240 lines of a del Pezzo surface of degree one, which generates distinct fundamental groups for the complements of the constructed curve configurations.

Load-bearing premise

Different orbits under the E8 Weyl group action produce curve configurations whose complements have non-isomorphic fundamental groups.

What would settle it

An explicit isomorphism between the fundamental groups of the complements for two configurations coming from different orbits under the E8 action would show that the monodromy does not distinguish them as claimed.

Figures

Figures reproduced from arXiv: 2507.15210 by Ichiro Shimada.

Figure 4.1
Figure 4.1. Figure 4.1: Orbits in L(Xb) {2} size 37800 size 120960 size 90720 size 1120 size 30240 [PITH_FULL_IMAGE:figures/full_fig_p013_4_1.png] view at source ↗
Figure 4.2
Figure 4.2. Figure 4.2: Orbits in L(Xb) {3} • There exist exactly 8 lines li with h-degree 0. Their iB-partners are of h-degree 6: the sextic curve β(iB(li)) ⊂ P2 has a triple point at pi , and double points at the 7 points in {p1, . . . , p8} \ {pi}. • There exist exactly 28 lines lij with h-degree 1, where 1 ≤ i < j ≤ 8. The line lij is mapped by β to the line in P2 passing through pi and pj . Their iB-partners are of h-degre… view at source ↗
Figure 5.1
Figure 5.1. Figure 5.1: Birational map πp 5.2. Birational map πp. Recall that Q ⊂ P 3 is a quadric cone with the vertex V ∈ Q. Then Q is ruled by lines passing through V . We choose a smooth point p ∈ Q \ {V }. Then the projection from p induces a birational map πp : Q 99K P 2 . This birational map πp defines a frame (A,Λ) in P 2 as follows. We describe πp in detail. Let rp ⊂ Q be the line in the ruling passing through p, and l… view at source ↗
read the original abstract

We construct examples of Zariski N-tuples with large N using the monodromy action of the Weyl group of type E8 on the set of 240 lines in a del Pezzo surface of degree one.

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

2 major / 2 minor

Summary. The paper constructs examples of Zariski N-tuples with large N by using the monodromy action of the Weyl group of type E8 on the set of 240 lines of a del Pezzo surface of degree one, descending these configurations to the plane to produce distinct curve arrangements.

Significance. If the distinction of fundamental groups holds, the construction supplies a geometric source of many Zariski multiples by exploiting the E8 root lattice and its action on lines, which could enlarge the known stock of examples in the study of complements of plane curves.

major comments (2)
  1. [Main construction and monodromy argument] The central step from the E8 Weyl group action on the 240 lines to non-isomorphic fundamental groups of the complements of the descended plane curves is not accompanied by an explicit computation of the induced monodromy representation on π1 or by a reference to a theorem guaranteeing the groups differ for distinct orbits. This link is load-bearing for the claim that the resulting configurations form genuine Zariski N-tuples.
  2. [Section on descent to plane curves] The manuscript invokes the standard E8 action on the Picard lattice of the degree-one del Pezzo surface but does not verify that the specific orbit representatives chosen after blowing down produce topologically inequivalent complements; without this verification the large-N claim rests on an unproven separation property.
minor comments (2)
  1. [Abstract] The abstract states the construction but omits the achieved value of N and the precise definition of the descended curve configurations; adding these would improve readability.
  2. [Preliminaries on del Pezzo surfaces] Notation for the lines and the Weyl group orbits could be introduced earlier with a short table listing representative classes.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the positive evaluation of its potential significance in providing a geometric source of Zariski N-tuples via the E8 Weyl group action. We address each major comment below and will revise the manuscript to clarify the points raised.

read point-by-point responses

  1. Referee: [Main construction and monodromy argument] The central step from the E8 Weyl group action on the 240 lines to non-isomorphic fundamental groups of the complements of the descended plane curves is not accompanied by an explicit computation of the induced monodromy representation on π1 or by a reference to a theorem guaranteeing the groups differ for distinct orbits. This link is load-bearing for the claim that the resulting configurations form genuine Zariski N-tuples.

    Authors: We agree that the connection between distinct Weyl group orbits and non-isomorphic fundamental groups merits a more explicit treatment to make the argument self-contained. In the revised version we will add a dedicated paragraph (or short subsection) that recalls the standard fact that the E8 Weyl group acts faithfully on the set of 240 lines and that the induced action on the complement of the descended plane curve arrangement distinguishes the fundamental groups via the different combinatorial types of the line configurations. We will also supply a reference to the literature on monodromy representations for del Pezzo surfaces (e.g., results relating the Weyl group action to the topology of the complement) so that the separation of the groups for distinct orbits is justified by an existing theorem rather than left implicit. revision: yes

  2. Referee: [Section on descent to plane curves] The manuscript invokes the standard E8 action on the Picard lattice of the degree-one del Pezzo surface but does not verify that the specific orbit representatives chosen after blowing down produce topologically inequivalent complements; without this verification the large-N claim rests on an unproven separation property.

    Authors: The referee is right that an explicit verification that the chosen orbit representatives yield topologically inequivalent complements after descent is necessary for the large-N claim. We will revise the descent section to include a brief verification: we will show that the chosen representatives correspond to distinct orbits under the E8 action on the Picard lattice, and that this distinction is preserved under the blow-down map, resulting in plane curve arrangements whose complements are not homeomorphic (as detected by the different sets of lines and their incidence relations). This will be supported by a short computation of the relevant invariants or by citing the known faithfulness of the Weyl group action on the line configuration. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation uses external standard Weyl group action on del Pezzo lines

full rationale

The paper's construction of Zariski N-tuples applies the known monodromy action of the E8 Weyl group on the 240 lines of a degree-1 del Pezzo surface, a standard fact from the theory of root systems and Picard lattices of rational surfaces that is independent of this manuscript. No equation or step reduces a claimed prediction or distinction of fundamental groups to a fitted parameter, self-definition, or load-bearing self-citation chain. The distinction among configurations is asserted via the external group action rather than by renaming or smuggling an ansatz from the authors' prior work. This is the most common honest finding for a paper whose central object is an application of a pre-existing mathematical structure.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The construction relies on the existence of a degree-one del Pezzo surface containing 240 lines and the standard faithful action of the E8 Weyl group on the Picard lattice. These are standard facts in algebraic geometry rather than new postulates.

axioms (1)
  • domain assumption A smooth del Pezzo surface of degree one exists and contains exactly 240 lines whose classes generate the Picard lattice with the E8 root system.
    Invoked implicitly when the paper uses the set of 240 lines and the E8 Weyl group action.

pith-pipeline@v0.9.0 · 5539 in / 1351 out tokens · 32565 ms · 2026-05-19T04:35:56.878304+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

20 extracted references · 20 canonical work pages

  1. [1]

    Arbarello, M

    E. Arbarello, M. Cornalba, P. A. Griffiths, and J. Harris. Geometry of algebraic curves. Vol. I, volume 267 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, New York, 1985

    work page 1985

  2. [2]

    Artal-Bartolo

    E. Artal-Bartolo. Sur les couples de Zariski. J. Algebraic Geom., 3(2):223–247, 1994

    work page 1994

  3. [3]

    Artal Bartolo, J

    E. Artal Bartolo, J. I. Cogolludo, and H. Tokunaga. A survey on Zariski pairs. In Algebraic geometry in East Asia—Hanoi 2005 , volume 50 of Adv. Stud. Pure Math. , pages 1–100. Math. Soc. Japan, Tokyo, 2008

    work page 2005

  4. [4]

    S. Bannai. A note on splitting curves of plane quartics and multi-sections of rational elliptic surfaces. Topology Appl., 202:428–439, 2016

    work page 2016

  5. [5]

    Bannai and M

    S. Bannai and M. Ohno. Two-graphs and the embedded topology of smooth quartics and its bitangent lines. Canad. Math. Bull. , 63(4):802–812, 2020

    work page 2020

  6. [6]

    Bannai, H

    S. Bannai, H. Tokunaga, and M. Yamamoto. A note on the topology of arrangements for a smooth plane quartic and its bitangent lines. Hiroshima Math. J. , 49(2):289–302, 2019

    work page 2019

  7. [7]

    J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, and R. A. Wilson. ATLAS of finite groups. Oxford University Press, Eynsham, 1985. Maximal subgroups and ordinary characters for simple groups, With computational assistance from J. G. Thackray

    work page 1985

  8. [8]

    Demazure

    M. Demazure. Surfaces de del Pezzo, II, III, IV, V. In S´ eminaire sur les Singularit´ es des Surfaces, volume 777 of Lecture Notes in Mathematics, pages 23 – 69. Springer, Berlin, 1980. Held at the Centre de Math´ ematiques de l’´Ecole Polytechnique, Palaiseau, 1976–1977

    work page 1980

  9. [9]

    GAP – Groups, Algorithms, and Programming, Version 4.13.0 , 2024

    The GAP Group. GAP – Groups, Algorithms, and Programming, Version 4.13.0 , 2024. https://www.gap-system.org

    work page 2024

  10. [10]

    J. Harris. Galois groups of enumerative problems. Duke Math. J. , 46(4):685–724, 1979

    work page 1979

  11. [11]

    S. Kondo. Algebraic K3 surfaces with finite automorphism groups. Nagoya Math. J. , 116:1– 15, 1989

    work page 1989

  12. [12]

    K. Lamotke. The topology of complex projective varieties after S. Lefschetz. Topology, 20(1):15–51, 1981

    work page 1981

  13. [13]

    Y. I. Manin. Cubic forms. Algebra, geometry, arithmetic , volume 4 of North-Holland Mathe- matical Library. North-Holland Publishing Co., Amsterdam, second edition, 1986. Translated from the Russian by M. Hazewinkel

    work page 1986

  14. [14]

    Roulleau

    X. Roulleau. An atlas of K3 surfaces with finite automorphism group. ´Epijournal G´ eom. Alg´ ebrique, 6:Art. 19, 95, 2022

    work page 2022

  15. [15]

    I. Shimada. Equisingular families of plane curves with many connected components. Vietnam J. Math., 31(2):193–205, 2003

    work page 2003

  16. [16]

    I. Shimada. Topology of curves on a surface and lattice-theoretic invariants of coverings of the surface. In Algebraic geometry in East Asia—Seoul 2008 , volume 60 of Adv. Stud. Pure Math., pages 361–382. Math. Soc. Japan, Tokyo, 2010

    work page 2008

  17. [17]

    I. Shimada. Zariski multiples associated with quartic curves. J. Singul., 24:169–189, 2022

    work page 2022

  18. [18]

    I. Shimada. Del Pezzo surfaces of degree one and examples of Zariski multiples: computational data, 2025. Zenodo, https://doi.org/10.5281/zenodo.16148577. Also available from https: //home.hiroshima-u.ac.jp/ichiro-shimada/ComputationData.html

    work page doi:10.5281/zenodo.16148577 2025

  19. [19]

    O. Zariski. A theorem on the Poincar´ e group of an algebraic hypersurface. Ann. of Math. (2), 38(1):131–141, 1937

    work page 1937

  20. [20]

    O. Zariski. The topological discriminant group of a Riemann surface of genus p. Amer. J. Math., 59(2):335–358, 1937. Department of Mathematics, Graduate School of Science, Hiroshima University, 1- 3-1 Kagamiyama, Higashi-Hiroshima, 739-8526 JAPAN Email address: ichiro-shimada@hiroshima-u.ac.jp

    work page 1937