pith. sign in

arxiv: 2604.26596 · v1 · submitted 2026-04-29 · 🧮 math.AG · math.GT

Topology of complex plane curves: braid monodromy, local and global problems

Enrique Artal Bartolo This is my paper

Pith reviewed 2026-05-07 11:02 UTC · model grok-4.3

classification 🧮 math.AG math.GT
keywords braid monodromycomplex plane curvesprojective embeddingsalgebraic topologysingularitiesglobal topologyalgebraic varieties
0
0 comments X

The pith

Embeddings of complex plane projective curves are studied topologically through braid monodromy, addressing both local singularities and global structures with historical context.

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

This paper reviews the embeddings of complex plane projective curves in the plane, which form a key part of understanding the topology of algebraic varieties. It examines local problems, such as the behavior near singularities, and global problems, such as the overall embedding in projective space. The review pays special attention to the historical progress in these areas, especially the development and use of braid monodromy. A sympathetic reader would care because these embeddings provide concrete ways to classify and distinguish algebraic curves by their topological invariants.

Core claim

The embeddings of complex plane projective curves in the plane are a cornerstone of the topological study of algebraic varieties. This work deals with the local and global aspects of these embeddings, with a special attention to its historical progress.

What carries the argument

Braid monodromy, the data of how loops around the curve's projection points induce braids on the fibers, which distinguishes local singularity types from global embedding properties.

Load-bearing premise

A historical review of braid monodromy and local/global problems for curve embeddings will meaningfully advance understanding without presenting new derivations or data.

What would settle it

A documented historical record or explicit computation for a specific curve that shows the reviewed account of braid monodromy progress misrepresents a key transition between local and global techniques.

Figures

Figures reproduced from arXiv: 2604.26596 by Enrique Artal Bartolo.

Figure 1
Figure 1. Figure 1: Standard Artin generator view at source ↗
Figure 2
Figure 2. Figure 2: Artin relations It is useful to interpret the braid and pure braid groups as fundamental groups. Let Xn := {(x1, . . . , xn) ∈ C n | #{x1, . . . , xn} = n}, the complement of the braid arrangement. The symmetric group Sn acts naturally on Xn and we are interested in its quotient Yn := Xn/Sn. Let us interpret Yn in an another way. Let Vn := {p(t) ∈ C[t] | deg p = n, p monic}. This space can be identified wi… view at source ↗
Figure 3
Figure 3. Figure 3: Conventions about projections The same conventions can be applied when we consider an element of the funda￾mental grupoid of Yn, i.e., the homotopy class of a path in Yn where the end points are not equal. We can then identify any braid (with equal or distinct end points) with an element in Bn as π1(Yn; {1, . . . , n}). Remark 1.1. The above identification can also be understood from the choice of fixed ho… view at source ↗
Figure 4
Figure 4. Figure 4: Examples of paths Γ. The identification is done using the following braids for σi as paths γ := (γ1, . . . , γn): [0, 1] → Xn defining loops in Yn, where γj is constant for j ̸= i, i+1, γi runs from xi to xi+1 to the right of Γi and γi+1 runs from xi+1 to xi to the left of Γi . The usual view at source ↗
Figure 5
Figure 5. Figure 5: Lexicographic geometric basis There is a natural action of Bn on Fn. It can be understood from the fact that the braid group is also the group of isotopy classes of homeomorphisms of C globally fixing {x1, . . . , xn} and being the identity outside of a compact set. There is another interpretation. Given a braid τ ∈ π1(Yn; x), let Xτ := (C × [0, 1]) \ τ (where τ is seen as the graph of the n-maps which def… view at source ↗
Figure 6
Figure 6. Figure 6: Non-Pappus symplectic arrangement Braid monodromy factorizations are a key invariant to study symplectic curves. In the previous paragraph Orevkov’s example has been described, but there are infinitely many previous examples prior to this one. They are in the outstanding paper of B. Moishezon [Moi94]. Moishezon gave a general construction, starting from a braid monodromy factorization τ of a curve C¯ of de… view at source ↗
read the original abstract

The embeddings of complex plane projective curves in the plane are a cornerstone of the topological study of algebraic varieties. In this work, we deal with the local and global aspects of these embeddings, with a special attention to its historical progress.

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

0 major / 2 minor

Summary. The manuscript provides an overview of the embeddings of complex plane projective curves, addressing local and global topological aspects with emphasis on the historical development of braid monodromy techniques.

Significance. As an expository synthesis of historical progress in braid monodromy for curve embeddings, the work could serve as a contextual reference in algebraic geometry and topology if the historical account is accurate and comprehensive. No new theorems, derivations, or computational results are presented, so significance rests on the clarity and utility of the review rather than advancing novel predictions or proofs.

minor comments (2)
  1. Abstract: The description of 'local and global aspects' and 'historical progress' remains high-level; naming specific problems (e.g., fundamental group computations or Zariski-van Kampen applications) or key historical milestones would improve reader orientation.
  2. As an overview paper, the absence of concrete examples, diagrams of braid monodromy factorizations, or explicit citations to foundational results (such as those by Moishezon or Libgober) limits immediate utility for researchers seeking technical details.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for reviewing our manuscript. This work is an expository survey synthesizing the historical development of topological methods, particularly braid monodromy, for studying embeddings of complex plane projective curves. We respond to the observations on significance and scope below.

read point-by-point responses

  1. Referee: As an expository synthesis of historical progress in braid monodromy for curve embeddings, the work could serve as a contextual reference in algebraic geometry and topology if the historical account is accurate and comprehensive. No new theorems, derivations, or computational results are presented, so significance rests on the clarity and utility of the review rather than advancing novel predictions or proofs.

    Authors: We agree that the manuscript is a survey without new theorems or computational results. Its intended contribution is to offer a clear, historically grounded overview that can serve as a reference for the field. We have endeavored to make the account accurate and comprehensive by drawing on key developments in the literature. If the referee can point to specific gaps in the historical coverage or areas where clarity could be improved, we would incorporate those revisions. revision: no

Circularity Check

0 steps flagged

No significant circularity: expository historical review without derivations or predictions

full rationale

The paper is a survey addressing local and global aspects of embeddings of complex plane projective curves, with emphasis on historical progress in braid monodromy techniques. No equations, theorems, predictions, or new derivations are claimed or present. The central content is descriptive and referential rather than deductive, so no steps reduce by construction to inputs, self-citations, or fitted parameters. The work is self-contained as an overview and does not invoke load-bearing uniqueness theorems or ansatzes from prior author work.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract indicates a survey paper; no free parameters, axioms, or invented entities are introduced or required for evaluation.

pith-pipeline@v0.9.0 · 5315 in / 1017 out tokens · 38156 ms · 2026-05-07T11:02:37.112125+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

49 extracted references · 49 canonical work pages

  1. [1]

    Artal, J

    E. Artal, J. Carmona, and J.I. Cogolludo, Braid monodromy and topology of plane curves, Duke Math. J. 118 (2003), no. 2, 261--278

    work page 2003

  2. [2]

    , Effective invariants of braid monodromy, Trans. Amer. Math. Soc. 359 (2007), no. 1, 165--183

    work page 2007

  3. [3]

    Artal, J

    E. Artal, J. Carmona, J.I. Cogolludo, and M. Marco, Topology and combinatorics of real line arrangements, Compos. Math. 141 (2005), no. 6, 1578--1588

    work page 2005

  4. [4]

    Izumiya, G

    , Invariants of combinatorial line arrangements and R ybnikov's example , Singularity theory and its applications (S. Izumiya, G. Ishikawa, H. Tokunaga, I. Shimada, and T. Sano, eds.), Advanced Studies in Pure Mathematics, vol. 43, Mathematical Society of Japan, Tokyo, 2007

    work page 2007

  5. [5]

    Artal, J.I

    E. Artal, J.I. Cogolludo, and J. Ortigas, Kummer covers and braid monodromy, J. Inst. Math. Jussieu 13 (2014), no. 3, 633--670

    work page 2014

  6. [6]

    Artin, Theorie der Z \"o pfe , Abh

    E. Artin, Theorie der Z \"o pfe , Abh. Math. Sem. Univ. Hamburg 4 (1925), 47--72

    work page 1925

  7. [7]

    , Theory of braids, Ann. of Math. (2) 48 (1947), 101--126

    work page 1947

  8. [8]

    Artal, Sur les couples de Z ariski , J

    E. Artal, Sur les couples de Z ariski , J. Algebraic Geom. 3 (1994), no. 2, 223--247

    work page 1994

  9. [9]

    Bessis, Variations on van K ampen's method

    D. Bessis, Variations on van K ampen's method. , J. Math. Sci., New York 128 (2005), no. 4, 3142--3150

    work page 2005

  10. [10]

    o rrer, Plane algebraic curves, Birkh \

    E.V. Brieskorn and H. Kn \"o rrer, Plane algebraic curves, Birkh \"a user Verlag, Basel, 1986, Translated from the German by John Stillwell

    work page 1986

  11. [11]

    Brauner, Z ur G eometrie der F unktionen zweier komplexer V er \"a nderlicher , Abh

    K. Brauner, Z ur G eometrie der F unktionen zweier komplexer V er \"a nderlicher , Abh. Math. Sem. Univ. Hamburg 6 (1928), 1--55

    work page 1928

  12. [12]

    Carmona, Monodrom \'i a de trenzas de curvas algebraicas planas , Ph.D

    J. Carmona, Monodrom \'i a de trenzas de curvas algebraicas planas , Ph.D. thesis, Universidad de Zaragoza, 2003

    work page 2003

  13. [13]

    Chisini, Una suggestiva rappresentazione reale per le curve algebriche piane, Ist

    O. Chisini, Una suggestiva rappresentazione reale per le curve algebriche piane, Ist. Lombardo, Rend., II. Ser. 66 (1933), 1141--1155

    work page 1933

  14. [14]

    Esnault, Fibre de M ilnor d'un c\^one sur une courbe plane singuli\`ere , Invent

    H. Esnault, Fibre de M ilnor d'un c\^one sur une courbe plane singuli\`ere , Invent. Math. 68 (1982), no. 3, 477--496

    work page 1982

  15. [15]

    Esnault and E

    H. Esnault and E. Viehweg, Rev\^etements cycliques, Algebraic threefolds ( V arenna, 1981), Lecture Notes in Math., vol. 947, Springer, Berlin-New York, 1982, pp. 241--250

    work page 1981

  16. [16]

    II (autour du th \'e or \`e me d'annulation de J

    , Rev \^e tements cycliques. II (autour du th \'e or \`e me d'annulation de J . K oll \'a r) , G \'e om \'e trie alg \'e brique et applications, II (La R \'a bida, 1984), Travaux en Cours, vol. 23, Hermann, Paris, 1987, pp. 81--96

    work page 1984

  17. [17]

    Fujita, On the topology of noncomplete algebraic surfaces, J

    T. Fujita, On the topology of noncomplete algebraic surfaces, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 29 (1982), no. 3, 503--566

    work page 1982

  18. [18]

    Griffiths and J

    P.A. Griffiths and J. Harris, Principles of algebraic geometry, Wiley-Interscience [John Wiley & Sons], New York, 1978, Pure and Applied Mathematics

    work page 1978

  19. [19]

    Gunning and H

    R.C. Gunning and H. Rossi, Analytic functions of several complex variables, AMS Chelsea Publishing, Providence, RI, 2009, Reprint of the 1965 original

    work page 2009

  20. [20]

    Griffiths, Introduction to algebraic curves, Translations of Mathematical Monographs, vol

    P.A. Griffiths, Introduction to algebraic curves, Translations of Mathematical Monographs, vol. 76, American Mathematical Society, Providence, RI, 1989, Translated from the Chinese by Kuniko Weltin

    work page 1989

  21. [21]

    Golla and L

    M. Golla and L. Starkston, The symplectic isotopy problem for rational cuspidal curves, Compos. Math. 158 (2022), no. 7, 1595--1682

    work page 2022

  22. [22]

    Guerville-Ball\' e , An arithmetic Z ariski 4-tuple of twelve lines , Geom

    B. Guerville-Ball\' e , An arithmetic Z ariski 4-tuple of twelve lines , Geom. Topol. 20 (2016), no. 1, 537--553

    work page 2016

  23. [23]

    Hamm and Lê D.T., Un th\' e or\`eme de Z ariski du type de L efschetz , Ann

    H.A. Hamm and Lê D.T., Un th\' e or\`eme de Z ariski du type de L efschetz , Ann. Sci. \' E cole Norm. Sup. (4) 6 (1973), 317--355

    work page 1973

  24. [24]

    van Kampen, On the fundamental group of an algebraic curve, Amer

    E.R. van Kampen, On the fundamental group of an algebraic curve, Amer. J. Math. 55 (1933), 255--260

    work page 1933

  25. [25]

    Kulikov and M

    Vik.S. Kulikov and M. Teicher, Braid monodromy factorizations and diffeomorphism types, Izv. Ross. Akad. Nauk Ser. Mat. 64 (2000), no. 2, 89--120

    work page 2000

  26. [26]

    Lefschetz, L'analysis situs et la g\' e om\' e trie alg\' e brique , Gauthier-Villars, Paris, 1950

    S. Lefschetz, L'analysis situs et la g\' e om\' e trie alg\' e brique , Gauthier-Villars, Paris, 1950. 33557

    work page 1950

  27. [27]

    , The geometry of the monodromy theorem, C

    Lê D.T. , The geometry of the monodromy theorem, C. P . R amanujam---a tribute, Tata Inst. Fundam. Res. Stud. Math., vol. 8, Springer, Berlin-New York, 1978, pp. 157--173. 541020

    work page 1978

  28. [28]

    , Le th\' e or\`eme de la monodromie singulier , C. R. Acad. Sci. Paris S\' e r. A-B 288 (1979), no. 21, A985--A988. 540373

    work page 1979

  29. [29]

    Libgober, Alexander polynomial of plane algebraic curves and cyclic multiple planes , Duke Math

    A. Libgober, Alexander polynomial of plane algebraic curves and cyclic multiple planes , Duke Math. J. 49 (1982), 833--851

    work page 1982

  30. [30]

    Reine Angew

    , On the homotopy type of the complement to plane algebraic curves, J. Reine Angew. Math. 367 (1986), 103--114

    work page 1986

  31. [31]

    Math., vol

    , Development of the theory of A lexander invariants in algebraic geometry , Topology of algebraic varieties and singularities, Contemp. Math., vol. 538, Amer. Math. Soc., Providence, RI, 2011, pp. 3--17

    work page 2011

  32. [32]

    Loeser and M

    F. Loeser and M. Vaqui \'e , Le polyn\^ome d' A lexander d'une courbe plane projective , Topology 29 (1990), no. 2, 163--173

    work page 1990

  33. [33]

    Moishezon, Stable branch curves and braid monodromies, Algebraic geometry (Chicago, Ill., 1980), Lecture Notes in Math., vol

    B.G. Moishezon, Stable branch curves and braid monodromies, Algebraic geometry (Chicago, Ill., 1980), Lecture Notes in Math., vol. 862, Springer, Berlin, 1981, pp. 107--192

    work page 1980

  34. [34]

    Math., vol

    , The arithmetic of braids and a statement of C hisini , Geometric topology ( H aifa, 1992), Contemp. Math., vol. 164, Amer. Math. Soc., Providence, RI, 1994, pp. 151--175

    work page 1992

  35. [35]

    Marco and M

    M. Marco and M. Rodríguez, SIROCCO : A library for certified polynomial root continuation , Mathematical Software - ICMS 2016, Lecture Notes in Comput. Sci., vol. 9725, Springer-Verlag, Berlin, 2016, pp. 191--197

    work page 2016

  36. [36]

    Michel and C

    F. Michel and C. Weber, Topologie des germes de courbes planes à plusieurs branches, Prépublication de l'Université de Genève, 1985

    work page 1985

  37. [37]

    Oka and K

    M. Oka and K. Sakamoto, Product theorem of the fundamental group of a reducible curve, J. Math. Soc. Japan 30 (1978), no. 4, 599--602

    work page 1978

  38. [38]

    Pham, Singularités des courbes planes : Une introduction à la géométrie analytique complexe, 1969-1970, Faculte des sciences de Paris

    F. Pham, Singularités des courbes planes : Une introduction à la géométrie analytique complexe, 1969-1970, Faculte des sciences de Paris

    work page 1969

  39. [39]

    Randell, Lattice-isotopic arrangements are topologically isomorphic, Proc

    R. Randell, Lattice-isotopic arrangements are topologically isomorphic, Proc. Amer. Math. Soc. 107 (1989), no. 2, 555--559

    work page 1989

  40. [40]

    Stein et al., Sage M athematics S oftware ( V ersion 10.3) , The Sage Development Team, 2024, http://www.sagemath.org

    W.A. Stein et al., Sage M athematics S oftware ( V ersion 10.3) , The Sage Development Team, 2024, http://www.sagemath.org

    work page 2024

  41. [41]

    Salvetti, Arrangements of lines and monodromy of plane curves, Compositio Math

    M. Salvetti, Arrangements of lines and monodromy of plane curves, Compositio Math. 68 (1988), no. 1, 103--122

    work page 1988

  42. [42]

    Uluda g , More Z ariski pairs and finite fundamental groups of curve complements , Manuscripta Math

    A.M. Uluda g , More Z ariski pairs and finite fundamental groups of curve complements , Manuscripta Math. 106 (2001), no. 3, 271--277

    work page 2001

  43. [43]

    U ber die V erzweigungen bei F unktionen von zwei V er\

    W. Wirtinger, \" U ber die V erzweigungen bei F unktionen von zwei V er\"anderlichen , Jahresberichte D. M. V 14 (1905), 517

    work page 1905

  44. [44]

    Zariski, On the linear connection index of the algebraic surfaces z^n=f(x,y) ., Proc

    O. Zariski, On the linear connection index of the algebraic surfaces z^n=f(x,y) ., Proc. Natl. Acad. Sci. USA 15 (1929), 494--501

    work page 1929

  45. [45]

    , On the P roblem of E xistence of A lgebraic F unctions of T wo V ariables P ossessing a G iven B ranch C urve , Amer. J. Math. 51 (1929), no. 2, 305--328

    work page 1929

  46. [46]

    , On the irregularity of cyclic multiple planes, Ann. of Math. (2) 32 (1931), no. 3, 485--511

    work page 1931

  47. [47]

    , On the P oincar \'e group of rational plane curves , Amer. J. Math. 58 (1936), 607--619

    work page 1936

  48. [48]

    , A theorem on the P oincar\'e group of an algebraic hypersurface , Ann. of Math. (2) 38 (1937), no. 1, 131--141

    work page 1937

  49. [49]

    , The topological discriminant group of a R iemann surface of genus p , Amer. J. Math. 59 (1937), 335--358

    work page 1937