REVIEW 2 major objections 3 minor
On arrangements of plane real quartics with respect to three lines
T0 review · 2 major / 3 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read Exactly one arrangement of a real quartic and three lines is realizable pseudoholomorphically but not algebraically, completing the classification.
desk verdict Plausibly completes the classification and offers the first algebraically unrealizable combinatorial patchworking, but the algebraic non-realizability proof has a load-bearing gap. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The proof has three load-bearing components. For realizability, it uses braid theory: an arrangement is converted, via a pencil of lines through a chosen point, into one or more L_p-schemes (fiberwise arrangements relative to the pencil), and each scheme yields a 6-braid; the arrangement is pseudoholomorphically realizable exactly when all such braids are quasipositive, meaning they factor into conjugates of positive half-twists. For algebraic non-realizability, it uses a Hilbert–Rohn–Gudkov pencil: deforming the quartic by f + t l = 0 until the first singular member appears, then constraining that member's singularity and the resulting oval evolution by Bezout and genus considerations. For
What would settle it
The cleanest way to test the central non-realizability claim is to attempt an explicit algebraic construction: find a real quartic and three real lines whose arrangement matches Figure 2. The paper predicts no such curve exists, so any concrete example would refute Theorem 2(a); running the deformation pencil on such an example would show precisely where the single-node assumption would fail.
Extended reading notes
Core claim
The central discovery is a genuine gap between algebraic and pseudoholomorphic realizability in degree four. The two arrangements shown in the paper's Figure 2 — one floatless, one obtained by adding a free oval — are pseudoholomorphically realizable: the paper encodes the possible fiberwise schemes as 6-braids, writes both braids as explicit products of conjugates of positive half-twists, and applies the known criterion that such quasipositive braids correspond to pseudoholomorphic curves. The same arrangements are not algebraically realizable: assuming an algebraic quartic exists and choosing an auxiliary line, the paper forms the pencil f + t l = 0 and argues that its first singular membe
Load-bearing premise
The algebraic non-realizability proof hinges on the unshown claim that the first singular curve in the pencil f + t l = 0 has a single node and cannot be reducible; if that singular member could instead be reducible or have a worse singularity, the contradictions that rule out the arrangement would not follow.
Editorial extensions
If this is right
- The earlier classification lists now become complete: algebraically realizable arrangements of a quartic with two lines and floatless arrangements with three lines are fully enumerated, and the pseudoholomorphic classification is obtained by adding exactly one floatless arrangement.
- The exceptional example is the first combinatorial patchworking that produces a piecewise-linear curve in the real projective plane whose arrangement relative to the coordinate axes is not realizable by an algebraic curve of the same degree.
- Perturbing the three lines into a cubic yields the corollary that the corresponding arrangement of a cubic curve and four lines is pseudoholomorphically realizable but algebraically unrealizable.
- Up to symmetry, the only combinatorial patchworkings of degree 4 realizing the exceptional arrangement are the two given in the paper, so the construction is essentially unique.
- The same methods, possibly automated, are expected to advance the much larger classification of all arrangements (not only floatless), where 8198 cases remain open.
Reading between the lines
- Because the pencil argument is the only algebraic obstruction, one could automate the Hilbert–Rohn–Gudkov step and apply it to the remaining 8198 open cases, turning a large part of the classification into a computational check.
- The existence of a degree-four gap suggests that algebraic and pseudoholomorphic classifications of real plane curves diverge much earlier than previously expected; higher-degree analogues may produce further gaps relevant to Hilbert's 16th problem.
- The explicit quasipositive braid factorizations provide a concrete certificate that could be used to identify all pseudoholomorphic realizations of the same arrangement, since any two such realizations should be related by standard braid moves.
- The paper's conjecture that the patchworking construction is not rigidly isotopic to the pencil construction could be tested by comparing invariants of the two curves; a positive answer would show the pseudoholomorphic category is not unique even when realizability holds.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper completes the classification of mutual arrangements of a smooth real algebraic (or pseudoholomorphic) quartic and two or three lines under the floatless condition. Building on Maletto's computational classification, the author proves that all remaining open floatless arrangements except one are not pseudoholomorphically realizable, and that the exceptional arrangement is pseudoholomorphically realizable but not algebraically realizable. The algebraic non-realizability proof uses a Hilbert-Rohn-Gudkov pencil argument; the pseudoholomorphic realizability is established both via braid-quasipositivity and via a combinatorial patchworking on an irregular triangulation. The paper claims the first example of a combinatorial patchworking producing a PL curve whose coordinate-line arrangement is algebraically unrealizable.
Significance. If the proofs are correct, this is a significant contribution to the topology of real algebraic and pseudoholomorphic curves. It closes the open cases of a recent classification and provides a sharp algebraic-versus-pseudoholomorphic separation, with a novel combinatorial patchworking example. The paper uses established tools (Orevkov's braid method, Viro patchworking, Hilbert-Rohn-Gudkov) and extends them to a new setting. The author also gives explicit quasipositive decompositions for the key braids, which is a concrete, checkable contribution. The main caveat is the heavy reliance on external computer-assisted lists from Maletto's work, but this is a natural dependency for this type of classification.
major comments (2)
- [§4 (proof of Theorem 2(a))] The proof depends on the sentence 'It is easy to see that Ct0 cannot be reducible: it is enough to look at the evolution of the intersection of Ct with some auxiliary lines.' No auxiliary lines are specified and the evolution argument is not given. The first singular member of a pencil of quartics can be reducible (line plus cubic or two conics) even when the preceding members are nonsingular and isotopic, so the claim is not a routine consequence. The subsequent dichotomy—real node in the white region versus imaginary node in the gray region—and the contradictions with arrangement no. 29 and with the free-oval argument rely on Ct0 being irreducible with a single node. Please provide a complete proof of irreducibility and the single-node assertion, or replace the argument.
- [§3 (Table (2), proof of Theorem 2(b))] Theorem 2(b) asserts a completeness classification, but for the entries marked MT and Lk the paper only states that the arrangements are excluded by the Murasugi-Tristram inequality or by linking numbers as in [7]. The braid words, Lp-schemes, and the computed invariants for these cases are not given. The same holds for the claim in the discussion of no. 44 that 'a computation of the linking numbers shows that b+1 is not [quasipositive].' Since these exclusions are essential to the 'only' part of Theorem 2(b), the supporting computational data should be included in an appendix, a supplementary file, or a repository so that the case analysis can be verified.
minor comments (3)
- [§1, paragraph 4] Typo: '49 floatless arrangements (C4, Lx, Lx, Lz)' should read '(C4, Lx, Ly, Lz)'.
- [§3, Equation (3)] The braid expressions are difficult to parse because superscripts and subscripts are easily confused. Please ensure the typesetting clearly distinguishes exponents (e.g., σ3^4) from generator indices.
- [§5, Proposition 1 proof] The proof that 'any irregular lattice triangulation' of the triangle is the one in Figure 7 (up to edge removals) is stated as 'well-known' without reference, and the final sign-distribution check is left as 'straightforward.' A citation or a short argument would make the uniqueness claim more credible, especially since it is used in the remark about the first non-algebraic patchworking.
Circularity Check
No circular derivation: explicit braid computations and an external pencil argument carry the main claims; the §4 'auxiliary lines' assertion is a proof gap, not a circular reduction.
full rationale
I traced the main derivation chains. (1) The pseudoholomorphic non-realizability of all but one arrangement in [4, Figure 20] is carried by the table in (2) and the braid/quasipositivity criterion from [7]; the special arrangement no. 44 is realized by explicit quasipositive factorizations of the braids b1 and b2, and the added-oval variants are handled by the explicit factorization of b2+ and a linking-number computation for b1+. These are concrete computations, not restatements of the classification being proved. (2) The algebraic non-realizability of Figure 2 is attempted in §4 via the pencil f + tl = 0 and a dichotomy: a real node in the white region gives the already-excluded arrangement no. 29, or an imaginary node in a gray region gives an impossible free oval. The only sentence that invites concern is 'It is easy to see that Ct0 cannot be reducible: it is enough to look at the evolution of the intersection of Ct with some auxiliary lines.' No auxiliary lines or evolution are described, so this is an omitted proof and a genuine rigor gap: the claimed dichotomy depends on Ct0 being irreducible with a single node. But that is a correctness/evidence problem, not a circularity problem: nothing in the text defines Ct0's irreducibility in terms of the target classification, and no fitted parameter or self-citation is used to force it. (3) The paper does rely on the author's earlier works [7], [8], [10], but they are used as prior theorems with stated assumptions that do not include the present target: [10] supplies the pseudoholomorphic quartic-conic classification, [7] supplies the braid criterion, and [8] supplies background. These are independently stated, parameter-free mathematical results, not predictions fitted to the current data. Under the quoted-reduction standard, I find no step in which a claim reduces by definition to its own input. Hence circularity score 0; the §4 gap should be assessed as a proof-completeness issue, not as circularity.
Assumptions & free parameters
assumptions (3)
- domain assumption The classification of arrangements of a nonhyperbolic quartic and a conic with 8 common points is complete in the pseudoholomorphic category ([10, Proposition 1]).
- domain assumption Pseudoholomorphic realizability of an Lp-scheme is equivalent to quasipositivity of the associated 6-braids ([7, Corollary 2.3]).
- domain assumption Combinatorial patchworking produces real pseudoholomorphic curves with the prescribed arrangement ([3]).
Cite this review
Pith. "Pith review of On arrangements of plane real quartics with respect to three lines." pith.science (2026). https://pith.science/paper/UQZ5XWQX
@misc{pith2026260719457,
author = {Pith},
title = {Pith review of: On arrangements of plane real quartics with respect to three lines},
year = {2026},
howpublished = {\url{https://pith.science/paper/UQZ5XWQX}},
note = {Machine review of arXiv:2607.19457}
}
abstract
We complete the classification of mutual arrangements of a smooth real algebraic or real pseudoholomorphic quartic curve and three lines under condition that each oval of the quartic intersects the union of the lines. This classification was started in a recent preprint by Maletto. There is one arrangement which is realizable pseudoholomorphically but not algebraically. It can be constructed in different ways, in particular, by a combinatorial patchworking on an irregular triangulation. This is the first example of a combinatorial patchworking which produces a PL curve in $RP^2$ whose arrangement relative to the coordinate axes is algebraically unrealizable.
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.