REVIEW 3 major objections 3 minor 31 references
Le tissu dual d'un pr\'e-feuilletage convexe r\'eduit sur $\mathbb{P}^{2}_{\mathbb{C}}$ est plat
T0 review · 3 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read The paper proves that every reduced convex pre-foliation of degree at least 3 on the complex projective plane has a flat Legendre dual web: its Blaschke curvature vanishes identically.
desk verdict A credible proof of the natural generalization of Marín-Pereira to reduced convex pre-foliations; referee it, but ask for the compact proof of Proposition 7.1(3) to be expanded. 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 central objects are the Legendre transform web $\mathrm{Leg}\,\mathscr{F}$ and its Blaschke curvature $K$. The web is the $d$-web on the dual projective plane defined by the implicit differential equation obtained by substituting the equation of a variable line into the 1-form defining the foliation; a web is flat when $K$ vanishes. The proof is carried by four interlocking tools: the discriminant formula $\Delta(\mathrm{Leg}\,\mathscr{F})=\check{\mathcal{C}}\cup\check{\Sigma}^{\mathcal{C}}_{\mathcal{F}}\cup\check{\Sigma}^{\mathrm{rad}}_{\mathcal{F}}$ for reduced convex pre-foliations (Corollary 3.2); local decompositions of $\mathrm{Leg}\,\mathscr{F}$ near components of its discriminant, such as $W_n\boxtimes W_\tau\boxtimes W_{d-n-\tau}$ near the dual of a singular point and $\mathcal{F}_0\boxtimes W_2\boxtimes W_{d-3}$ near the dual of a non-line component of $\mathcal{C}$; a curvature decomposition formula expressing $K$ of a product of webs as a combination of curvatures of smaller webs; and the structural Proposition 7.1, which says that in a reduced convex foliation every non-radial singularity is simple and has no invariant curve other than its two invariant lines. Together these reduce flatness of the full web to holomorphy of the curvature along a finite set of dual lines, and then to zero.
What would settle it
Compute the residue of the Blaschke curvature $K(\mathrm{Leg}\,\mathscr{F})$ along the dual line $\check{s}$ of the intersection point of two invariant lines in one of the explicit reduced convex pre-foliations of Section 8, with the curve completed by one non-line invariant component. The theorem forces the residue to vanish, since the curvature has at most a simple pole there and the canonical-divisor argument kills it; any nonzero residue would be a direct counterexample to Theorem 1. Equivalently, exhibiting a reduced convex foliation with a non-radial singularity on an invariant curve of degree at least 2 would destroy Proposition 7.1(3), the step on which the proof's reduction relies.
Extended reading notes
Core claim
The central claim is Theorem 1: if $\mathscr{F}=\mathcal{C}\boxtimes\mathcal{F}$ is a reduced convex pre-foliation of degree $d\ge 3$ on $\mathbb{P}^{2}_{\mathbb{C}}$, then the $d$-web $\mathrm{Leg}\,\mathscr{F}$ is flat. The proof establishes a finer statement (Theorem 6.1 and Corollary 6.4): for a convex pre-foliation the curvature $K(\mathrm{Leg}\,\mathscr{F})$ is holomorphic on the dual plane away from the duals of the non-radial singular points of $\mathcal{C}$ and the duals of the non-simple singularities of $\mathcal{F}$; in the reduced convex case only the lines dual to $\Xi^{\mathcal{C}}_{\mathcal{F}}=\mathrm{Sing}\,\mathcal{C}\setminus\Sigma^{\mathrm{rad}}_{\mathcal{F}}$ can obstruct flatness, and the web is flat exactly when the curvature is holomorphic along them. The remainder of the proof shows those lines cannot carry poles: when the curve has at most one invariant line the exceptional set is empty; with exactly two invariant lines the possible pole at the dual of their intersection has at most order one and is killed by a degree argument on the canonical divisor; with three or more invariant lines a decomposition formula reduces the curvature to previously settled cases. The theorem thereby generalizes the flatness result for the foliation-only and line-only settings to an arbitrary reduced invariant curve.
Load-bearing premise
The proof assumes that in a reduced convex foliation a non-radial singular point is simple, with only the two invariant lines through it, so that an invariant curve of degree at least two cannot pass through such a point; if that failed, the exceptional set of dual lines would be nonempty and the reduction would break.
Editorial extensions
If this is right
- For every reduced convex pre-foliation of degree $d\ge 3$, the dual $d$-web is flat; in particular the flatness result now covers arbitrary reduced invariant curves, not just unions of invariant lines.
- The discriminant of the dual web has the explicit form $\Delta(\mathrm{Leg}\,\mathscr{F})=\check{\mathcal{C}}\cup\check{\Sigma}^{\mathcal{C}}_{\mathcal{F}}\cup\check{\Sigma}^{\mathrm{rad}}_{\mathcal{F}}$, so the only possible polar locus is the dual curve plus duals of radial singularities and singular points of the invariant curve.
- Flatness of $\mathrm{Leg}\,\mathscr{F}$ is equivalent to holomorphy of its Blaschke curvature along the duals of the singular points of $\mathcal{C}$ that are not radial singularities of $\mathcal{F}$; the theorem shows that, for reduced convex pre-foliations, those dual lines carry no poles.
- For a reduced convex foliation, every non-radial singularity is simple, has exactly two invariant lines, and lies on no invariant curve of degree at least 2; any non-line invariant curve meets the foliation only in radial singularities.
- The explicit families treated in Section 8 give concrete flat dual webs: every invariant algebraic curve for the degree-$d$ homogeneous foliation, for the two Hessian foliations, and for the degree-5 foliation whose only invariants are lines.
Reading between the lines
- Inference: the curvature-holomorphy criterion of Theorem 6.1 gives a concrete route toward the paper's Conjecture 2: for a convex but not reduced pre-foliation, one need only compute residues of $K$ along the duals of the non-radial singular points of $\mathcal{C}$ and the non-simple singularities of $\mathcal{F}$.
- Inference: since Section 8 obtains new flat webs by degenerating already flat webs to the boundary of the automorphism-group orbit, flatness of Legendre dual webs is plausibly a closed condition in families of convex pre-foliations; proving that directly would turn the examples into a general principle.
- Inference: the same architecture — a discriminant formula, subweb decompositions, a curvature splitting formula, and a canonical-divisor pole count — may adapt to Legendre-type transforms of foliations with invariant divisors in higher dimensions, where a flatness notion for webs on dual spaces is less studied.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves Theorem 1: if F = C ⊠ F is a reduced convex pre-foliation of degree d ≥ 3 on P^2_C, with C invariant by F, then the dual Legendre web LegF is flat. The proof computes the discriminant of LegF, gives local normal forms of LegF near the components of that discriminant (Lemmas 4.1, 4.3, 5.1, 5.3), establishes a curvature criterion (Theorem 6.1 and Corollary 6.4), and then reduces flatness to controlling the exceptional set Ξ_C^F = SingC \ Σ_rad^F. The final reduction uses Proposition 7.1 to force singularities on non-linear invariant components to be radial, and then treats the cases where C has zero, one, two, or at least three invariant lines. The paper also provides examples for Fermat, Hesse, and Hilbert modular foliations and states two conjectures.
Significance. If the proof is correct, the theorem is a genuine extension of the previous results in [10] and [11] from invariant curves that are unions of lines to arbitrary reduced invariant curves in a reduced convex pre-foliation. The curvature criterion in Corollary 6.4 and the explicit discriminant decomposition of Lemma 3.1 are useful tools. The paper is written in the standard style of the subject and contains substantial, concrete examples. The main caveat is that the final reduction depends on a Camacho–Sad product identity that is asserted without proof or reference, and the manuscript leans on the unpublished preprint [11] for several central curvature decompositions.
major comments (3)
- [§7, Proposition 7.1(2)] The identity CS(F, ℓ_m^(1), m) · CS(F, ℓ_m^(2), m) = 1 is stated without proof or reference. This is not a general identity for arbitrary pairs of invariant curves through a singular point, and at this stage of the argument simplicity of m has not yet been established, so the identity cannot be assumed as a consequence of the conclusion it is meant to prove. Since part (3) of Proposition 7.1, and hence the reduction preceding Theorem 1, relies on the simplicity statement, this is load-bearing. Please supply a proof of the product formula under the hypotheses of part (2), or cite an exact statement in [6] or [8] that implies it.
- [§7, proof of Theorem 1; §6, Proposition 6.2] The proof uses [11, Lemma 2.1] and [11, Theorem 1] as black boxes, but [11] is an unpublished arXiv preprint by the author. In particular, the curvature decomposition used in the n ≥ 3 case of Theorem 1 is exactly [11, Lemma 2.1], and the case where C is a union of invariant lines is delegated to [11, Theorem 1]. For a journal publication, the necessary statements from [11] should either be included in the paper or the reference should be updated to a published version.
- [§7, proof of Theorem 1, n = 2 case] The step 'En reprenant un argument de la démonstration de [11, Proposition 2.2]' is vague at the precise point where the proof needs the pole order of K(LegF) along ˇs to be at most one. That bound is essential for the canonical-divisor argument that yields K(LegF) ≡ 0. Please state the quoted proposition or spell out the argument, since the conclusion of the whole n = 2 case depends on it.
minor comments (3)
- [§4, Lemma 4.3] The proof cites [16, Lemme 2.5] for the inequality mult(Δ(W), C0) ≥ n − 1 for a totally invariant component; for readability, please state the needed form of that lemma, since it is used twice in the proof.
- [§9, Conjecture 1] The sentence about the validity of Conjecture 1 for d ∈ {2,3} is terse: it would help to indicate explicitly which cited result covers which of the three alternatives in the dichotomy.
- [§8, Section 8.1] In the display after the definition of F_0^d, the notation for the forms defining H_0^d, H_1^d and F_1^d is easy to confuse because ω^d_1 and Ω^d_1 differ only by a font; please disambiguate the names of the forms and the foliations.
Circularity Check
No circularity: the general flatness theorem is not assumed in the proof; self-citations are prior special cases and technical lemmas with independent proofs.
full rationale
The derivation chain does not reduce the target conclusion to an input assumption. Theorem 1 separates into the known union-of-lines case [11, Théorème 1], the case where Ξ_C^F is empty via Proposition 7.1(3), and the n≥2 lines case handled by the curvature decomposition identity [11, Lemme 2.1] together with flatness of sub-pre-foliations already proved in the same argument. Proposition 7.1 is load-bearing, but its inputs are prior geometric facts about invariant lines, Camacho-Sad indices, and simplicity of singularities; they are logically prior to, and independent of, flatness of Leg F. The cited works [10], [11], [6], [8] are by the same author or with coauthors, but they are prior, distinct statements with published proofs, and [12, Corollaire 3.8] is an external source. The curvature holomorphy criteria in Theorem 6.1, Corollary 6.4, and Proposition 6.2 are technical tools derived from local decompositions of the algebraic and dual webs, not restatements of the flatness conclusion. No fitted parameters, no renamed known result, and no imported uniqueness theorem force the conclusion by definition. Any concern about the scope of [8, Corollaire 3.3] or the unstated product identity CS(F,ℓ_1)CS(F,ℓ_2)=1 is a correctness or foundational issue, not circularity.
Assumptions & free parameters
assumptions (8)
- domain assumption Flatness of a web on P2 is equivalent to holomorphy of its Blaschke curvature at generic points of its discriminant.
- domain assumption Discriminant formula Δ(LegF) = G_F(I_F^tr) ∪ ˇΣ^{τ≥2}_F from [3, Lemma 2.2].
- domain assumption Curvature decomposition formula for a product of webs from [11, Lemma 2.1].
- domain assumption Holomorphy criteria for curvature of products with regular webs from [16, Prop 2.6], [10, Prop 3.9] and [10, Rem 3.10].
- domain assumption Structural properties of reduced convex foliations: every non-radial singularity is simple, has exactly two invariant lines, and its Camacho-Sad indices avoid R_+ ([6, Lemme 3.1, Prop 3.2], [8, Cor 3.3]).
- domain assumption A simple singularity of a foliation admits no invariant curve other than its two invariant lines ([12, Cor 3.8]).
- domain assumption At a radial singularity, the local branches of a reduced F-invariant curve have distinct tangents ([19, Theorem 8]).
- standard math Standard algebraic and analytic tools: Weierstrass preparation, duality of plane curves, and facts on discriminants of algebraic webs ([18, §1.4.2]).
Cite this review
Pith. "Pith review of Le tissu dual d'un pr\'e-feuilletage convexe r\'eduit sur $\mathbb{P}^{2}_{\mathbb{C}}$ est plat." pith.science (2026). https://pith.science/paper/L66DTSUS
@misc{pith2026241113246,
author = {Pith},
title = {Pith review of: Le tissu dual d'un pr\'e-feuilletage convexe r\'eduit sur $\mathbbP^2_\mathbbC$ est plat},
year = {2026},
howpublished = {\url{https://pith.science/paper/L66DTSUS}},
note = {Machine review of arXiv:2411.13246}
}
abstract
A holomorphic pre-foliation $\mathscr{F}=\mathcal{C}\boxtimes\mathcal{F}$ on $\mathbb{P}^{2}_{\mathbb{C}}$ is the data of a reduced complex projective curve $\mathcal{C}$ of $\mathbb{P}^{2}_{\mathbb{C}}$ and a holomorphic foliation $\mathcal{F}$ on $\mathbb{P}^{2}_{\mathbb{C}}$. When the foliation $\mathcal{F}$ is convex (resp. reduced convex) and the curve $\mathcal{C}$ is invariant by $\mathcal{F}$, we say that the pre-foliation $\mathscr{F}=\mathcal{C}\boxtimes\mathcal{F}$ is convex (resp. reduced convex). We prove that the dual web of a reduced convex pre-foliation on $\mathbb{P}^{2}_{\mathbb{C}}$ is flat. This generalizes our previous result obtained in the case where the associated curve consists only of invariant lines.
Reference graph
Works this paper leans on
-
[11]
Exemples de pré-feuilletages convexes réduits Dans ce paragraphe, nous allons donner des exemples de pré-f euilletages convexes réduits dont le feuilletage associé est donné par la Table 1 de [ 16], à savoir : le feuilletage de F ERMAT F d 0 de degré d, le pinceau de HESSE F 4 H de degré 4, le feuilletage modulaire de H ILBERT F 5 H de degré 5 et le feuil...
-
[10]
Alors toutes les singularités de F sur C sont radiales, i.e
Soit C ⊂ P2 C une courbe irréductible invariante par F qui n’est pas une droite. Alors toutes les singularités de F sur C sont radiales, i.e. Σ C F ⊂ Σ rad F . Démonstration. — Le premier point est tiré de [ 6, Lemme 3.1]. Montrons le deuxième point. Soit m ∈ SingF \ Σ rad F . D’après [ 6, Proposition 3.2], pour i = 1, 2, il existe un feuilletage homogène...
-
[6]
Nous le particularisons ensuite au cas où F est convexe réduit
Caractérisation de la platitude du tissu dual d’un pré-fe uilletage convexe sur P2 C Dans cette section, nous démontrons un théorème qui caractérise la platitude du tissu dual d’un pré-feuilletage convexe F sur P2 C. Nous le particularisons ensuite au cas où F est convexe réduit. 8 SAMIR BEDROUNI Théorème 6.1. — Soit F = C ⊠ F un pré-feuilletage convexe d...
-
[8]
Par toute singularité non radiale m de F passent exactement deux droites ℓ(1) m et ℓ(2) m invariantes par F
-
[1]
Nous renvoyons à [ 4] et [ 10] pour les définitions et notations utilisées
Introduction Cet article est une continuation de l’étude de la platitude des tissus duaux des pré-feuilletages du plan projectif complexe, initiée dans [ 10] et poursuivie dans [ 11]. Nous renvoyons à [ 4] et [ 10] pour les définitions et notations utilisées. 1.1. Pré-feuilletages convexes sur P2 C. — Soient 0 ≤ k ≤ d des entiers. Un pré-feuilletage holomo...
-
[2]
Rappel sur les singularités et le diviseur d’inflexion d’u n feuilletage de P2 C Un feuilletage holomorphe F de degré d sur P2 C est défini en coordonnées homogènes [x : y : z] par une 1-forme du type ω = a(x, y, z)dx + b(x, y, z)dy + c(x, y, z)dz, où a, b et c sont des polynômes homogènes de degré d + 1 sans facteur commun satisfaisant la condition d’E ULE...
-
[3]
Discriminant du tissu dual d’un pré-feuilletage sur P2 C Dans ce paragraphe nous allons établir une formule pour le di scriminant du tissu dual d’un pré-feuilletage sur P2 C. Pour ce faire, rappelons d’abord que si F est un feuilletage sur P2 C, l’application de G AUSS est l’application rationnelle GF : P2 C /axisshort/axisshort/arrowaxisrightˇP2 C définie...
-
[4]
Description des tissus algébriques près du discriminant Dans ce paragraphe, nous décrivons, pour une courbe project ive réduite C ⊂ P2 C, le tissu algébrique Leg C près d’une composante irréductible de son discriminant ∆ (LegC ). Le lemme suivant traite le cas de la droite ˇs duale d’un point s ∈ C ( ˇs ⊂ ∆ (LegC ) ⇐ ⇒s ∈ SingC ). Lemme 4.1. — Soient C ⊂ ...
Show all 31 references
-
[5]
Nous commençons par traiter le cas de la droite ˇ s duale d’une singularité s de F sur C de multiplicité algébrique 1
Description du tissu dual d’un pré-feuilletage convexe s ur P2 C près de son discriminant Nous nous intéressons ici à la description du tissu dual Leg F d’un pré-feuilletage F = F ⊠ C sur P2 C près de certaines composantes irréductibles du discriminant ∆ (LegF ), en nous focal...
-
[7]
Proposition 7.1
Preuve du Théorème 1 Avant de démontrer le Théorème 1, nous avons besoin de la proposition suivante. Proposition 7.1. — Soit F un feuilletage convexe réduit sur P2 C
-
[9]
En particulier, toute singularité non radiale de F est simple
Pour tout m ∈ SingF \ Σ rad F et pour tout i ∈ {1, 2}, nous avons CS(F , ℓ(i) m , m) ⁄∈R+. En particulier, toute singularité non radiale de F est simple
-
[12]
Conjectures Nous concluons cet article en proposant deux conjectures. L a première porte sur la classification des feuilletages convexes de P2 C, et la seconde affirme que le tissu dual de tout pré-feuilleta ge convexe F sur P2 C est plat, ce qui étendrait le Théorème 1 au cas o...
-
[13]
Blaschke and J
W . Blaschke and J. Dubourdieu. Invarianten von Kurvenge weben. Abh. Math. Semin. Hamb. Univ. , 6 :198–215, 1928
1928
-
[14]
A. Beltrán. W ebs planos y foliaciones Galois. PhD thesis, Pontificia Universidad Católica del Perú, 2014 . Available on https://tesis.pucp.edu.pe/repositorio/handle/20.500.12404/5658
2014
-
[15]
Beltrán, M
A. Beltrán, M. Falla Luza, and D. Marín. Flat 3-webs of deg ree one on the projective plane. Ann. Fac. Sci. T oulouse Math. (6), 23(4) :779–796, 2014
2014
-
[16]
Bedrouni and D
S. Bedrouni and D. Marín. Tissus plats et feuilletages ho mogènes sur le plan projectif complexe. Bull. Soc. Math. France, 146(3) :479–516, 2018
2018
-
[17]
Bedrouni and D
S. Bedrouni and D. Marín. Une nouvelle démonstration de l a classification des feuilletages convexes de degré deux sur P2 C. Bull. Soc. Math. France, 148(4) :613–622, 2020
2020
-
[18]
Bedrouni and D
S. Bedrouni and D. Marín. Convex foliations of degree 4 on the complex projective plane. Math. Z., 295 : 381–394, 2020
2020
-
[19]
Bedrouni and D
S. Bedrouni and D. Marín. Classification of foliations of degree three on P2 C with a flat Legendre transform. Ann. Inst. F ourier (Grenoble), 71(4) :1757–1790, 2021
2021
-
[20]
Bedrouni and D
S. Bedrouni and D. Marín. Convex foliations of degree 5 on the complex projective plane. Publ. Mat., 65(2) :409– 429, 2021
2021
-
[21]
Bedrouni and D
S. Bedrouni and D. Marín. Geometry of certain foliations on the complex projective plane. Ann. Sc. Norm. Super . Pisa Cl. Sci. (5) , 25(1) :611–648, 2024
2024
-
[22]
Bedrouni
S. Bedrouni. Pre-foliations of co-degree one on P2 C with a flat Legendre transform. Geom. Dedicata , 219, no. 1, Paper No. 10, 39 pp., 2025
2025
-
[23]
Bedrouni
S. Bedrouni. Platitude des tissus duaux de certains pré -feuilletages convexes du plan projectif complexe, arxiv:2405.05464, 2024
2024 arXiv
-
[24]
F. Cano, D. Cerveau, and J. Déserti. Théorie élémentaire des feuilletages holomorphes singuli ers. Echelles. Belin, 2013
2013
-
[25]
Chenciner
A. Chenciner. Courbes algébriques planes . Publ. Math. Univ. Paris VII, No. 4, 1978
1978
-
[26]
Favre and J
C. Favre and J. V . Pereira. Webs invariant by rational ma ps on surfaces. Rend. Circ. Mat. Palermo (2), 64(3) :403– 431, 2015
2015
-
[27]
L. G. Mendes and J. V . Pereira. Hilbert modular foliatio ns on the projective plane. Comment. Math. Helv. 80(2) :243–291, 2005
2005
-
[28]
Marín and J
D. Marín and J. V . Pereira. Rigid flat webs on the projecti ve plane. Asian J. Math. 17(1) :163–191, 2013
2013
-
[29]
J. V . Pereira. V ector fields, invariant varieties and linear systems. Ann. Inst. F ourier (Grenoble), 51(5) :1385–1405, 2001
2001
-
[30]
J. V . Pereira and L. Pirio. An invitation to web geometry , volume 2 of IMPA Monographs. Springer, Cham, 2015
2015
-
[31]
Seidenberg
A. Seidenberg. Reduction of singularities of the diffe rential equation Ady = Bdx. Amer . J. Math., 90 :248–269, 1968. 22 janvier 2025 SAMIR BEDROUNI , Faculté de Mathématiques, USTHB, BP 32, El-Alia, 16111 Bab -Ezzouar, Alger, Algérie E-mail : sbedrouni@usthb.dz
1968
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.