{"id":"f3d0b00e-0844-402f-8991-c6b3c0704df3","arxiv_id":"1908.08197","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper completes the classification of compact complex surfaces admitting flat pencils of foliations with invariant tangency set, by handling the rational-fiber case left open in Lins Neto's work.","lead":"This paper classifies which compact complex surfaces can carry a flat pencil of holomorphic foliations whose tangency set is invariant. It completes a classification begun by Lins Neto, covering the rational-fiber case that the genus-one work had left open.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The unpublished Lemma 5.1 is the load-bearing bridge: without its rigidity claim, Proposition 5.5(1) does not exclude ∞∈IS(P), and the holonomy normal forms of Theorem 5.6 lack their premise.","rationale":"The reader's weakest_assumption flags both Lemma 3.5 and Lemma 5.1. I agree that, of these, Lemma 5.1 is the more serious: it is quoted from an unpublished preprint and is needed at a branching point in the argument. The central theorem is not obviously wrong: once the two holonomy normal forms are established, Lemma 5.7 and Theorem 5.8's case analysis are internally coherent, and the rationality of X follows from the existence of the genus-zero fibration alone. However, the paper should either prove Lemma 5.1 or replace it with a direct argument for Proposition 5.5(1), since the conclusion ∞∉IS(P) is essential for the decomposition of Δ(P) in Theorem 5.6. This does not change the CONDITIONAL verdict; it sharpens the condition: the referee should ask for a proof or published reference for Lemma 5.1 before accepting.","tokens_in":16478,"tokens_out":37950,"duration_ms":366502,"concrete_test":"Verify Lemma 5.1(1) in the minimal case: on a Hirzebruch surface, let F be the foliation tangent to the P1-fibration f and let G be a Riccati foliation with TG≅TF. Write G in the standard affine chart as dy+P(x,y)dx=0, with P of degree ≤2 in y and globally holomorphic, and solve the bundle-isomorphism condition TG≅TF. If the only solution is P=0, the rigidity statement is true and Proposition 5.5(1) admits a proof independent of [10]; if a nonzero P exists, construct the pencil P(F,G) and check whether Δ(P)=Tang(F,G) is invariant while F∞=F is regular (so ∞∈IS(P)), which would refute Theorem 5.6 and cascade to Theorem 5.8.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 5.8's proof reduces the gen(f)=0 case to Riccati holonomy via Proposition 5.5(1), which asserts ∞∉IS(P) when Δ(P) is invariant. The proof of that exclusion passes through Proposition 5.2, whose first step uses Lemma 5.1(1), quoted from the unpublished preprint [10, Lemma 3.2.1]: if a foliation with a genus-zero holomorphic first integral and another foliation have isomorphic tangent bundles, they coincide. This is a strong rigidity statement and is not proved in the manuscript. It is load-bearing: if it failed, one could have ∞∈IS(P) with gen(f)=0, so the decomposition Δ(P)=Σ n_j[f^{-1}(c_j)]+Σ C'_s in Theorem 5.6 would be unjustified and the two normal forms for the holonomy generators would not follow. The local formula Lemma 3.5 is also quoted, but it is published [12] and less concerning; the unpublished status of Lemma 5.1 is the real soft spot. The rest of the argument appears internally consistent: Lemma 5.7's finiteness conclusion follows by checking the translation conditions, and Theorem 5.8's case split is valid once the two normal forms are granted.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies flat pencils of holomorphic foliations on compact complex surfaces, focusing on two complementary problems. First, it classifies surfaces admitting a pencil with empty tangency set, proving that such surfaces are either complex tori or Hopf surfaces and that the pencil is generated by linear foliations; it also characterizes the parameter set Ip(P) of foliations in the pencil admitting a holomorphic first integral. Second, for flat pencils with invariant, non-empty tangency set, under the hypothesis that F∞ admits a holomorphic first integral f of genus zero, it proves that X is rational, gives explicit normal forms for the generators of the global holonomy group of each Fα, and concludes that Ip(P) is either finite, contains IS(P), or is of the form (λQ+β)∩IS(P) up to reparametrization. The proofs use Lins Neto's machinery of pencils, Brunella's classification of regular foliations, Ghys's results on torus foliations, and holonomy computations for Riccati foliations.","tokens_in":16745,"tokens_out":5428,"duration_ms":48605,"significance":"If the main results hold, they provide a substantial complement to Lins Neto's classification of flat pencils with first integrals of genus one, and they give a complete description of the surfaces and of the parameter set Ip(P) in the genus-zero invariant-tangency case. The explicit holonomy normal forms in Theorem 5.6 are a concrete and useful contribution. The paper is built on a coherent network of established results (Brunella, Ghys, Lins Neto's published work), and the arguments are detailed rather than merely sketched. However, one load-bearing ingredient, Lemma 5.1, is quoted from an unpublished preprint, and a second ingredient, Lemma 3.5, is quoted without proof from the published literature; the latter is acceptable, while the former leaves a gap that must be closed before the main theorem can be regarded as fully proved.","major_comments":[{"comment":"The proof of Lemma 4.2 contains a sign error in the intersection formula for a non-invariant curve. In equation (9) the manuscript writes NG·C = χ(C) − Tang(G,C), but the formula stated earlier in §2 (display before §3.3) and in Brunella's Lemme 2 is NF·C = χ(C) + Tang(F,C). With the correct formula, equation (9) becomes C·C − Tang(F,C) = NF·C = χ(C) + Tang(G,C), and since TF = NG one gets Tang(F,C) = Tang(G,C) = (C·C − χ(C))/2 = (−1−2)/2 = −3/2, an impossibility because tangency indices are nonnegative integers. Thus the contradiction still follows, and the lemma is true, but the displayed equation must be corrected.","section":"§4, Lemma 4.2, equation (9)"},{"comment":"Lemma 5.1 is stated as '[10, Lemma 3.2.1]' and is not proved in the manuscript. This lemma is load-bearing: Proposition 5.2 begins with 'As F0 ≠ F∞, by Lemma 5.1, we obtain that gen(f) ≥ 1', and Proposition 5.5(1) uses Proposition 5.2 to exclude ∞ ∈ IS(P) when gen(f)=0. Without Lemma 5.1(1), the decomposition Δ(P)=Σ n_j[f^{-1}(c_j)]+Σ C'_s in Theorem 5.6 and the two normal forms for the holonomy generators would lack their premise. Because [10] is an unpublished IMPA preprint, this is a genuine gap. The authors should either include a complete proof of Lemma 5.1 in the paper or replace it with a published, verifiable reference.","section":"§5, Lemma 5.1 and Proposition 5.2"},{"comment":"The argument ruling out gen(f) ≥ 2 is too terse and leaves a central step to an external reference. The assertion that Fγ(α,·) does not depend on α because Aut(Tc) is finite is plausible, but the jump from 'the holonomy maps are locally constant in α' to 'there exists a neighborhood V of β such that Fα = Fβ for all α ∈ V' needs a precise justification: one must show that coinciding global holonomy representations for a Riccati foliation relative to f force the foliations themselves to coincide. Since this is used to contradict F0 ≠ F∞, please expand this step or state and prove it as a lemma rather than citing '[10, p. 34]'.","section":"§5, proof of Proposition 5.5"}],"minor_comments":[{"comment":"The sentence 'From now on P = {F∞}α∈C is a flat pencil' appears to contain a typo: it should read P = {Fα}α∈C.","section":"§5, opening paragraph"},{"comment":"The symbol P is used both for the pencil and for the polynomial P(x,y) in the local expression ωα = dy + αP(x,y)dx. Please rename the polynomial (for example, Q(x,y)) to avoid confusion, especially in the phrase 'Since P is flat'.","section":"§5, proof of Theorem 5.6"},{"comment":"In equation (7), the constants λ, a, b are not defined locally; it would help the reader to specify that λ ∈ C*, a,b ∈ C depend on the generator and on the chosen cross-section, and that this is the form obtained from Lins Neto's computation.","section":"§3.4, equation (7)"},{"comment":"The sentence 'Inoue surfaces just admit at most two regular foliations, so they cannot contain a pencil of foliations with empty tangency set' would benefit from a specific citation to the part of [3] where this is proved, since it is used to exclude Inoue surfaces.","section":"§4, Theorem 4.5 proof"}],"recommendation":"major_revision","confidential_remarks":"The main unresolved issue for me is the reliance on the unpublished preprint [10] for Lemma 5.1, which is genuinely load-bearing for Theorem 5.8. If the authors can supply a full proof of Lemma 5.1, or point to a published version that contains it, I would be inclined to support acceptance after the sign error in Lemma 4.2 is fixed. The remaining issues are presentation-level. The paper fits the scope of the journal and makes a plausible, substantial contribution, but the incomplete sourcing of a central lemma is more than a cosmetic defect."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Z — quick take on 1908.08197. This is a real classification result: for flat pencils with invariant tangency set, it pins down the genus-zero case (Theorems 5.6 and 5.8) and gives the empty-tangency classification (Theorems 4.5 and 4.6). It genuinely complements Lins Neto's genus-one work, and the key technique — using flatness to force holonomy generators into two explicit normal forms — is appropriate. I believe the main theorem is true, conditional on one quoted lemma.\n\nWhere it's solid: the empty-tangency classification is well argued. The proof of Theorem 4.5 uses Brunella's regular-foliation classification, Kodaira, and a neat contradiction with Lemma 4.4 to exclude elliptic fibrations. The torus case via Ghys and Pereira-Pirio gives a clean characterization of Ip(P). The gen(f)=0 section is structurally sound: Proposition 5.5 reduces to Riccati foliations, Theorem 5.6 derives the two normal forms, Lemma 5.7 handles finiteness, and Theorem 5.8's case split is valid once the normal forms are granted.\n\nSoft spots, in order:\n\n1. Lemma 5.1 is quoted from Lins Neto's unpublished preprint [10] and is load-bearing. Proposition 5.2 uses it to conclude gen(f)≥1 when ∞∈IS(P); drop it and Proposition 5.5(1) no longer excludes ∞∈IS(P), which is needed for the Δ(P) decomposition in Theorem 5.6. The lemma — a rigidity statement about a genus-zero fibration foliation sharing its tangent bundle with another foliation — may well be true, but the manuscript depends on it without proof or a published reference.\n\n2. Lemma 4.2 has a sign error: for a non-invariant curve, NG·C = χ(C)+Tang(G,C), not minus. The lemma is repairable from TF=NF together with NF=NG forcing TF=TG, so this is a write-up flaw, not a broken result.\n\n3. Minor notational slips: the proof of Proposition 5.5 says items (1) and (2) follow from transversality, but (1) really follows from Prop 5.2; a line in Lemma 4.2 mixing TF and TG is garbled. Cosmetic.\n\nThe citation pattern is healthy: it builds on Brunella, Ghys, Lins Neto, and Pereira-Pirio without pretending to prove imported results. If Lemma 5.1 is supplied, I think the classification stands.\n\nBottom line: this deserves serious refereeing. Send it out, ask the author to give a proof or published source for Lemma 5.1, and fix the Lemma 4.2 sign issue. A specialist in holomorphic foliations will want to cite the main theorem once it is through.","headline":"A genuine completion of Lins Neto's flat-pencil classification, held together by one unpublished lemma that needs a proof.","tokens_in":17295,"tokens_out":6433,"would_cite":true,"duration_ms":53476,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["34C07","14J27","14D06","32S65"],"pacs":[],"model":"deepseek-v4-flash","headline":"A flat pencil of foliations with a rational first integral can only live on a rational surface, and the paper classifies which members admit first integrals.","keywords":["compact complex surfaces","flat pencils of foliations","invariant tangency set","meromorphic first integrals","holonomy","rational surfaces","Hopf surfaces","complex tori"],"falsifier":"Find a flat pencil with invariant tangency set on a compact non-rational surface whose member $F_\\infty$ has a genus-zero holomorphic first integral; Theorem 5.8 predicts no such pencil exists. A less global check is to compute the holonomy generators of the four explicit example pencils directly and look for any generator with a functional dependence on $\\alpha$ other than the two stated forms.","tokens_in":16281,"feed_emoji":"📐","tokens_out":8018,"duration_ms":74894,"temperature":0.7,"pith_summary":"The paper completes a corner of the classification of compact complex surfaces that carry flat pencils of foliations: it treats pencils whose tangency set is invariant and whose member $F_\\infty$ has a holomorphic first integral of genus zero. It proves that any such surface must be rational, and that the parameter set $I_p(\\mathcal{P})$ of members with meromorphic first integrals is tightly constrained: either finite, all parameters with isolated singularities, or a rational coset $(\\lambda\\mathbb{Q}+\\beta)$ intersected with the isolated-singularity set. For pencils with empty tangency set, it proves the surface is either a complex torus or a Hopf surface, with first integrals absent on Hopf surfaces and forced to be $\\mathbb{Q}$ or $\\mathbb{Q}(\\tau)$ on split elliptic tori. These results settle a rigid geometric question, reducing it to a short list of explicit surfaces and parameter sets with direct bearing on the classical problem of bounding invariant algebraic curves.","feed_headline":"Genus-zero flat pencils live only on rational surfaces","feed_subtitle":"The classification fixes which surfaces carry the pencils, and when members admit first integrals.","key_machinery":"The engine of the proof is the local flat normal form for a flat pencil: outside the tangency set, coordinates can be chosen so that every member $F_\\alpha$ is defined by $dy+\\alpha\\,dx=0$ (Lemma 3.5, quoted from earlier work). Around an invariant critical fiber of the rational first integral, $F_\\alpha$ is a Riccati foliation, and the holonomy representation along loops around those fibers yields explicit generators: either affine maps $f_{j,\\alpha}(z)=\\lambda_j z+a_j\\alpha+b_j$ or multiplicative maps $f_{j,\\alpha}(z)=\\exp(2\\pi i(\\mu_j\\alpha+\\nu_j))z$. The classification then runs on a finiteness criterion: if the global holonomy group is finite, each tangency component has positive GSV index, and the foliation has a local meromorphic first integral at its singularities, then the foliation admits a global meromorphic first integral (Lemma 5.4).","core_discovery":"On the paper's own terms, the central assertion is Theorem 5.8: if a compact complex surface $X$ carries a flat pencil $\\mathcal{P}$ with invariant tangency set and $F_\\infty$ has a holomorphic first integral $f:X\\to\\mathbb{P}^1$ of genus zero, then $X$ is rational and, after a reparametrization of the pencil, $I_p(\\mathcal{P})\\cap I_S(\\mathcal{P})$ is either finite, equals $I_S(\\mathcal{P})$, or equals $(\\lambda\\mathbb{Q}+\\beta)\\cap I_S(\\mathcal{P})$. The companion classification for empty tangency set says that $X$ is either a torus or a Hopf surface and the pencil is generated by linear foliations; on Hopf surfaces $I_p(\\mathcal{P})=\\varnothing$, while on a torus with at least three first-integral members, $X=E\\times E$ and $I_p(\\mathcal{P})\\setminus\\{\\infty\\}$ is $\\mathbb{Q}$ or $\\mathbb{Q}(\\tau)$, up to reparametrization. The paper thereby complements the earlier genus-one classification by settling the genus-zero case.","pith_inferences":["If the theorem extends to meromorphic first integrals after resolution, the rational-surface conclusion should survive for any first integral whose resolved fibration has genus zero; this would broaden the classification beyond holomorphic first integrals.","The affine-versus-multiplicative dichotomy in the holonomy generators suggests a normal form statement: flat pencils with rational first integrals are locally pullbacks of constant-coefficient pencils on $\\mathbb{P}^1\\times\\mathbb{P}^1$, which could be checked directly on the four explicit example pencils.","The $\\mathbb{Q}$ or $\\mathbb{Q}(\\tau)$ parameter sets in the torus case tie the classification to endomorphism rings of elliptic curves, so a computational search on a generic torus with fewer than three linear foliations admitting first integrals should confirm that no pencil has three first-integral members.","A concrete next step would be to classify which rational surfaces actually arise in each of the three cases of Theorem 5.8, since the theorem proves rationality but does not list the surfaces."],"forward_implications":["A flat pencil with invariant tangency and a genus-zero holomorphic first integral can only live on a rational surface; no torus, Hopf, K3, or other non-rational compact surface can carry one.","The set of parameters with first integrals in such a pencil is either finite, all isolated-singularity parameters, or a rational coset intersected with the isolated-singularity set, so no other configurations occur.","An empty tangency set pins the surface down to a torus or a Hopf surface, and the pencil is generated by linear foliations.","On Hopf surfaces no member of such a pencil admits a meromorphic first integral; on tori, three such members force the torus to split as $E\\times E$ and force the parameter set to be $\\mathbb{Q}$ or $\\mathbb{Q}(\\tau)$.","For rational genus-zero pencils, finiteness of the holonomy group together with local first integrals is enough to conclude that a member has a global meromorphic first integral, which is the mechanism behind the classification."],"supporting_citations":[{"why":"Defines pencils of foliations and curvature, and supplies the local flat-coordinate normal form used to compute holonomy generators.","marker":"[12]"},{"why":"Supplies the lemma forcing genus at most one for invariant tangency and the genus-one classification that this paper complements.","marker":"[10]"},{"why":"Gives the regular-foliation classification and index formulas used to rule out Inoue and non-minimal surfaces.","marker":"[3]"},{"why":"Provides the Enriques-Kodaira classification and the Hirzebruch-surface fact used to conclude rationality.","marker":"[1]"},{"why":"Gives the criterion that infinitely many compact invariant curves force a meromorphic first integral, used in Lemma 5.4.","marker":"[8]"},{"why":"Classifies regular foliations on complex tori, used in the empty-tangency torus case.","marker":"[7]"},{"why":"Supplies the characterization of torus first integrals used to identify $I_p(\\mathcal{P})$ in the torus case.","marker":"[13]"},{"why":"Provides the explicit example pencils and the flatness result for empty tangency set.","marker":"[11]"},{"why":"Provides the transverse-fibration holonomy formalism used throughout the paper.","marker":"[6]"}],"fun_headline_variants":["Flat pencil classification: genus zero forces rationality","Rational surfaces host all genus-zero flat pencils","Genus-zero flat pencils: classification complete","Flat pencils on complex surfaces: genus-zero resolved","Rational surfaces: only home for genus-zero flat pencils"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole computation of holonomy generators rests on the quoted local normal form lemma asserting that a flat pencil is conjugate to $dy+\\alpha\\,dx=0$ outside its tangency set; if that lemma fails, the two generator forms and the classification built on them do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Flat pencil classification: genus zero forces rationality","Rational surfaces host all genus-zero flat pencils","Genus-zero flat pencils: classification complete","Flat pencils on complex surfaces: genus-zero resolved","Rational surfaces: only home for genus-zero flat pencils"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000504,"raw_usage":{"total_tokens":2407,"prompt_tokens":840,"completion_tokens":1567,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":456,"completion_tokens_details":{"reasoning_tokens":1499}},"tokens_in":456,"tokens_out":1567,"duration_ms":11240,"temperature":1.0,"reasoning_tokens":1499,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:47:08.211509+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a flat pencil with invariant tangency set on a compact non-rational surface whose member $F_\\infty$ has a genus-zero holomorphic first integral; Theorem 5.8 predicts no such pencil exists. A less global check is to compute the holonomy generators of the four explicit example pencils directly and look for any generator with a functional dependence on $\\alpha$ other than the two stated forms.","supporting_citations":[{"cited_title":"Lins Neto","cited_arxiv_id":null,"evidence_quote":"Defines pencils of foliations and curvature, and supplies the local flat-coordinate normal form used to compute holonomy generators."},{"cited_title":"Lins Neto","cited_arxiv_id":null,"evidence_quote":"Supplies the lemma forcing genus at most one for invariant tangency and the genus-one classification that this paper complements."},{"cited_title":"Brunella","cited_arxiv_id":null,"evidence_quote":"Gives the regular-foliation classification and index formulas used to rule out Inoue and non-minimal surfaces."},{"cited_title":"Barth, C","cited_arxiv_id":null,"evidence_quote":"Provides the Enriques-Kodaira classification and the Hirzebruch-surface fact used to conclude rationality."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the criterion that infinitely many compact invariant curves force a meromorphic first integral, used in Lemma 5.4."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Classifies regular foliations on complex tori, used in the empty-tangency torus case."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the characterization of torus first integrals used to identify $I_p(\\mathcal{P})$ in the torus case."},{"cited_title":"Lins Neto","cited_arxiv_id":null,"evidence_quote":"Provides the explicit example pencils and the flatness result for empty tangency set."},{"cited_title":"Ehresmann","cited_arxiv_id":null,"evidence_quote":"Provides the transverse-fibration holonomy formalism used throughout the paper."}],"review_version":1}