{"id":"6ce84194-5c34-4c8b-9b0b-154b1544aab2","arxiv_id":"1908.07941","paper_version":4,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For spaces of real monic polynomials with prescribed forbidden root-multiplicity patterns, the fundamental group is presented explicitly, is often free, and stabilizes for large degree.","lead":"This paper computes the fundamental group, a topological invariant, for spaces of real polynomials whose root multiplicities are constrained to avoid certain patterns. It gives explicit group presentations, shows the groups are often free, and proves they stabilize as the degree grows.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's weakest_assumption identifies the imported cell-structure theorem as load-bearing, and I agree that this is the least externally secured link in the chain. But a load-bearing dependency is not the same as a detected flaw. I checked the internal steps: (1) the graph G_d is the subdivision of the dual graph G'_d, and the Euler characteristic computation for its rank is correct; (2) the admissible words and the gamma_{ij} form a free group basis consistent with the graph; (3) the van Kampen argument in Proposition 2.10 correctly produces pi1(P^{cTheta}_d) as a quotient by the meridians of the removed codimension-2 strata; and (4) the general-position reasoning justifying that higher-codimension strata do not affect pi1 is standard. The only issue I noted is a typo in the proof of Proposition 2.10 where the last gamma^{-1}_{i,j+l} is written with a repeated index, but the statement of the proposition and Example 2.13 confirm the intended relation. Since Example 2.13 would not yield Z/2Z under the misprinted relation, the presentation itself is internally consistent. The concrete test I propose would independently verify the whole chain, including the external cell-structure theorem, for a nontrivial case.","tokens_in":26405,"tokens_out":35738,"duration_ms":312930,"concrete_test":"Implement the cell complex for d=6 with the poset Theta from Example 2.13 using only the raw stratification (explicit polynomial parameterizations of each stratum and its closure), then compute pi1 of the complement of the union of the Theta-strata by a standard algorithm on the resulting 2-complex. If the result is not Z/2Z, then either Proposition E or the relation list in Proposition 2.10 is wrong.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After tracing the central derivation, the internal logic of Proposition 2.10 is coherent and I found no load-bearing flaw. The graph model for the complement of the codimension-2 skeleton is consistent, the admissible-word description of its fundamental group checks out, and the van Kampen argument for imposing one relation per removed codimension-2 stratum is sound. The least externally secured point remains the imported cell-structure theorem, Proposition E (from [Ka, Theorem 4.1]), which fixes the boundary adjacency by merge and insertion operations and the codimension formula |omega|'. If that theorem were wrong, the graph G_d, the wall-crossing words, and all relations in Proposition 2.10 would not describe pi1(P^{cTheta}_d). However, the paper's own geometric descriptions of the merge and insertion adjacencies are plausible and consistent with the small examples, and I found no internal evidence that the theorem fails. This is therefore an external dependency rather than a detected error.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the spaces P^{cΘ}_d of real monic degree-d polynomials whose real root multiplicity patterns avoid a given closed poset Θ. The main results are an explicit presentation of π1(P^{cΘ}_d) as a quotient of a free group by relations associated to the removed codimension-two strata (Proposition 2.10), freeness and rank computations in several cases (Theorems 2.4 and 2.11), a stabilization theorem for large d (Theorem 2.15), and an interpretation of the fundamental group in the maximal case as a cobordism group of immersed 1-manifolds in the cylinder S^1 × R (Theorem 3.3). The paper thus generalizes classical results of Arnold and Vassiliev on spaces of real polynomials with bounded root multiplicities.","tokens_in":26513,"tokens_out":47429,"duration_ms":386749,"significance":"If the results are correct, the paper provides a complete, parameter-free combinatorial description of the fundamental groups for a broad family of real-polynomial spaces, together with a stabilization result and a geometric bordism interpretation. The main ideas are transparent and largely checkable: the graph model, the admissible-word calculus, and the van Kampen handle-attachment argument are explicit and do not rely on fitted data. The principal external input is the cell-structure theorem imported from the first author's earlier work [Ka, Theorem 4.1] (Proposition E); all subsequent statements inherit this dependency. I found no circular reasoning, but I did find two substantive proof issues in Section 2.2 that need to be repaired.","major_comments":[{"comment":"The nerve-cover proof of Theorem 2.4 is not valid as written. The cover X = {X_ω} by unions of each codimension-one cell with its two adjacent d-cells is claimed to have only empty or contractible finite intersections, so that [Ha, Corollary 4G.3] applies. This is false when two different codimension-one cells lie between the same pair of d-cells. For d = 3, the two walls (2,1) and (1,2) both lie between the d-cells (1,1,1) and (1), so X_(2,1) ∩ X_(1,2) = R^(1,1,1)_3 ∪ R^(1)_3, a disjoint union of two open balls, which is not contractible. The nerve of this cover is a single edge, hence contractible, whereas P^{cΩ<3],|ω|'≥2}_3 is homotopy equivalent to S^1. Thus the stated hypotheses of the nerve theorem are not satisfied and the proof of homotopy equivalence to the graph G_d fails as written; the authors should replace this argument with a correct deformation-retraction argument, e.g., via a regular neighborhood of the dual graph.","section":"Section 2.2 (Theorem 2.4)"},{"comment":"The count of codimension-one compositions in Lemma 2.3 is incorrect for odd d. The displayed equality |Ω⟨d],|∼|′=1| = Σ_{k=1}^{⌊d/2⌋}(2k−1) = ⌊d/2⌋^2 holds for even d but not for odd d. For d = 2m+1, the codimension-one compositions (one part equal to 2 and the rest equal to 1) have total size 3, 5, ..., 2m+1, and their number is Σ_{r=1}^{m} 2r = m(m+1) = (d^2−1)/4, not m^2. If the stated count were used, the Euler-characteristic computation would give β_1(G_d) = (d−1)(d−3)/4 for odd d, contradicting the lemma's claimed (d−1)^2/4. The final rank formula is, in fact, correct when the count is repaired, but the proof as written must be corrected.","section":"Section 2.2 (Lemma 2.3)"}],"minor_comments":[{"comment":"In the proof of the (22) relations, the displayed word ends with a duplicated factor: it reads γ_{i+j,𝓁}γ_{i+j+2,𝓁}γ^{-1}_{i,j+𝓁+2}γ^{-1}_{i,j+𝓁+2} = 1. The second γ^{-1}_{i,j+𝓁+2} should be γ^{-1}_{i,j+𝓁}, matching the statement of the proposition.","section":"Section 2.3 (Proposition 2.10, proof of case (22))"},{"comment":"The proof of Lemma 2.14 contains two apparent typos that make the stabilization argument hard to follow. The sentence 'The relations of type (22), corresponding to ω∈ cΘ_{=2} with |ω| = 2' should presumably read 'with |ω| = d', and the opening sentence listing '|ω|∈{d,d−2}' should be rephrased to distinguish the relations already present in the presentation for d−2 from the genuinely new relations of size d.","section":"Section 2.3 (Lemma 2.14)"},{"comment":"The map q is defined as q : P_d × [0,∞) → P_d, but one sentence restricts λ to [0,1]; the intended homotopy uses λ ∈ [0,1], so the domain should be P_d × [0,1] or the wording should be adjusted consistently.","section":"Section 2.1 (Lemma 2.1)"},{"comment":"The graph G_d is described as a 1-dimensional simplicial complex, but later constructions allow several distinct edges with the same endpoints (e.g., for d=3 the two walls (2,1) and (1,2) give two edges between the same two d-cells). The paper should explicitly state that G_d is a 1-dimensional CW-complex or multigraph, not a simplicial complex, to avoid a technical inconsistency.","section":"Section 2.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the journal's scope and the main theorems appear to be correct in substance, but Section 2.2 needs real work: the nerve-cover proof of Theorem 2.4 is invalid as written, and the odd-d count in Lemma 2.3 is wrong. Both are fixable locally, so I am not recommending rejection. I would also ask the editor to have a referee familiar with [Ka, Theorem 4.1] verify Proposition E, since it is the main unproved input and all later results depend on it."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nQuick take: this is a real contribution. It takes Arnold’s and Vassiliev’s isolated computations, recasts the whole family as complements of unions of strata indexed by a closed poset Θ of compositions, and gives an explicit presentation of π₁ in terms of the codimension-2 strata removed. The core machinery—a graph model G_d dual to the codim-1 skeleton, admissible words, then one van Kampen relation per removed codim-2 stratum—is transparent and the logic checks out. The freeness criteria in Theorem 2.11, the stabilization Theorem 2.15, and the Z/2 example showing that torsion can appear are genuinely new. The cobordism interpretation in §3 is a nice analogue of Arnold’s Theorem B and is proved in considerable detail.\n\nI was initially wary of the paper’s reliance on the first author’s earlier cell-structure theorem [Ka, Theorem 4.1], which fixes the boundary adjacency by merge and insertion operations. But that theorem is structural, parameter-free, and does not presuppose the fundamental-group results; the geometric descriptions in the present paper are consistent with it. I would treat it as an external dependency worth checking, not as a flaw in this paper.\n\nThe soft spots are minor. In the proof of Proposition 2.10, case (22), the displayed relation is correct but the proof writes the factor γ^{-1}_{i,j+l+2} twice — a typo that could confuse a careful reader. The step in Theorem 2.11(ii) where all generators collapse to one is terse; I would want a sentence spelling out the induction on d′ and the index shifts. Lemma 2.14 and Theorem 2.15 are sound, though the notation Θ_{=2}, cΘ_{=2}, and |ω|′ takes some getting used to. None of this bears on the main argument as far as I can see.\n\nWho this is for: anyone working on spaces of polynomials, discriminant complements, or configuration spaces with multiplicity constraints. It deserves a serious referee — the presentation result is precise enough to verify, and the stabilization and freeness questions give concrete targets for the sequel. Send it out.","headline":"Solid generalization of Arnold–Vassiliev fundamental-group computations to arbitrary closed root-multiplicity posets, with a clean graph presentation and only minor exposition blemishes.","tokens_in":27062,"tokens_out":1959,"would_cite":true,"duration_ms":19797,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55Q05"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every closed family of forbidden real-root patterns yields an explicit presentation of the fundamental group of the polynomial complement, and in the maximal case the group is free of rank quadratic in the degree.","keywords":["real univariate polynomials","root multiplicity patterns","fundamental group","discriminant variety","cell decomposition","compositions","free groups","immersed curves"],"falsifier":"For $d=6$, take $\\Theta$ to be the smallest closed poset containing the eight patterns $(3,1)$, $(1,3)$, $(1,3,1,1)$, $(1,1,3,1)$, $(2,2,1,1)$, $(1,2,2,1)$, $(1,1,2,2)$, and $(2,1,1,2)$; the paper's presentation predicts $\\pi_1(P^{c\\Theta}_6)\\cong\\mathbb{Z}/2\\mathbb{Z}$. An independent computation of that fundamental group, say by building the cell complex directly or by another stratification, that yields any group not isomorphic to $\\mathbb{Z}/2\\mathbb{Z}$ would refute the presentation, and with it the cell-structure theorem it rests on.","tokens_in":26180,"feed_emoji":"🧮","tokens_out":18932,"duration_ms":339527,"temperature":0.7,"pith_summary":"This paper studies the spaces of real monic univariate polynomials of degree $d$ whose real-root patterns avoid a prescribed poset $\\Theta$: a composition is the ordered list of root multiplicities, and $P^{c\\Theta}_d$ keeps exactly the polynomials whose pattern is not in $\\Theta$. For any closed $\\Theta$ (closed under merging adjacent roots and inserting a double root) whose forbidden patterns all have codimension at least two, the paper gives a complete presentation of the fundamental group $\\pi_1(P^{c\\Theta}_d)$: it is the free group generated by crossings of the codimension-one walls between chambers, modulo one explicit relation for each codimension-two pattern that remains present. In the maximal case, where every pattern with at least two non-simple roots is forbidden, $P^{c\\Theta}_d$ is homotopy equivalent to a wedge of circles, so its fundamental group is free of rank $d(d-2)/4$ for even $d$ and $(d-1)^2/4$ for odd $d$, and the space is a $K(\\pi,1)$. The same mechanism shows that $\\pi_1(P^{c\\Theta}_d)$ stabilizes as the degree grows in steps of two and that the loops have a description as bordism classes of immersed curves in a cylinder. The result extends the classical study of polynomials with bounded root multiplicity from a single bound to arbitrary closed families of forbidden multiplicity patterns, with the fundamental group determined purely by the combinatorics of the poset.","feed_headline":"Avoiding root patterns gives explicit fundamental groups","feed_subtitle":"Every closed set of multiplicity patterns yields a generators-and-relations description of π1, free in key cases.","key_machinery":"The machinery is a cell decomposition of the polynomial space by real-root multiplicity patterns. The stratum labeled by a composition $\\omega=(\\omega_1,\\dots,\\omega_l)$ is the set of monic polynomials whose ordered real roots have those multiplicities; this stratum is an open cell of codimension $|\\omega|'=\\sum_i(\\omega_i-1)$, and the adjacency of cells is controlled by two operations: merging two adjacent real roots into one root, and inserting a new double root into the ordered list. The paper forms the dual graph $G_d$ whose vertices are the chambers of polynomials with all real roots simple and the walls with exactly one double root, with edges between a chamber and a wall when the wall lies on the chamber's boundary; the letters $\\gamma_{i,j}$ are loops crossing the wall $(1^i,2,1^j)$. Around each codimension-two stratum of type $(1^i,3,1^j)$ or $(1^i,2,1^j,2,1^l)$, a small normal circle reads off a word in these letters, giving exactly the two families of relations. Applying Seifert--van Kampen as the present codimension-two strata are added back to the complement of the codimension-two skeleton turns these local readings into a presentation, and in the maximal case the wall-crossing words are in bijection with based loops in the graph, proving the wedge-of-circles homotopy type.","core_discovery":"The central claim is that the fundamental group of $P^{c\\Theta}_d$ is a purely combinatorial invariant of $\\Theta$. For $\\Theta$ downward closed under the merge and insertion operations and contained in the codimension-at-least-two patterns, $\\pi_1(P^{c\\Theta}_d)$ is the free group $G_d$ generated by letters $\\gamma_{i,j}$ (one for each wall $(1^i,2,1^j)$ in the discriminant), factored by two families of relations. For each codimension-two pattern $(1^i,3,1^j)$ not in $\\Theta$, the relation is $\\gamma_{i,j+1}\\gamma_{i+1,j}^{-1}=1$; for each pattern $(1^i,2,1^j,2,1^l)$ not in $\\Theta$, the relation is $\\gamma_{i+j,l}\\gamma_{i+j+2,l}\\gamma_{i,j+l+2}^{-1}\\gamma_{i,j+l}^{-1}=1$. In the maximal case, the space $P^{c\\Theta}_d$ is homotopy equivalent to a wedge of $d(d-2)/4$ circles for even $d$ and $(d-1)^2/4$ for odd $d$, so $\\pi_1$ is free of that rank and $P^{c\\Theta}_d$ is a $K(\\pi,1)$. The paper further proves that these fundamental groups stabilize as the degree is increased by two, that in several natural families they are free of rank equal to the rank of $H_{d-2}(\\overline{P}^{\\Theta}_d;\\mathbb{Z})$, and that the free group in the maximal case is isomorphic to a group of bordism classes of immersed $1$-manifolds in the cylinder $S^1\\times\\mathbb{R}$ avoiding the prescribed tangency patterns.","pith_inferences":["Because the presentation is purely combinatorial, the natural next step not taken in this paper is algorithmic: enumerate closed posets $\\Theta$ for small $d$ and decide computationally which presentations are free, which would test the paper's open question about freeness directly.","The stabilization of $\\pi_1$ suggests that the full homotopy type of $P^{c\\Theta}_d$ may stabilize as $d$ grows with parity fixed; if so, the stable object could be described by a direct limit of the posets $\\Theta_d$, in the spirit of configuration-space stabilization.","The curve-bordism model, proved only in the maximal case, should extend to general $\\Theta$ by permitting exactly the tangency patterns in the complement of $\\Theta$; such an extension would give a geometric interpretation of the relations in the presentation.","The wall-crossing mechanism is reminiscent of the way braid groups arise from configuration spaces, so these fundamental groups may admit faithful actions on or interpretations as subgroups of braid-like groups for special families of forbidden patterns."],"forward_implications":["Every closed $\\Theta$ of codimension at least two has its fundamental group encoded by the two relation families, so computing $\\pi_1(P^{c\\Theta}_d)$ becomes a finite combinatorial problem in the poset $\\Theta$.","For the maximal forbidden set, $P^{c\\Theta}_d$ is a wedge of $d(d-2)/4$ circles for even $d$ and of $(d-1)^2/4$ for odd $d$; its fundamental group is free of that rank, and the space is a $K(\\pi,1)$.","Under either of the two hypotheses singled out in the paper, the fundamental group is free; in the family where the forbidden codimension-two patterns are exactly the $(1^i,3,1^j)$ patterns, it is $\\mathbb{Z}$ for $d\\ge 4$.","For a fixed $\\Theta$, the fundamental group does not change once the degree is raised by two: $\\pi_1(P^{c\\Theta_{d'}}_{d'})\\cong\\pi_1(P^{c\\Theta_{d+2}}_{d+2})$ for all $d'\\ge d+2$ of the same parity.","In the maximal case and for even $d$, $\\pi_1(P^{c\\Theta}_d)$ is isomorphic to a cobordism group of immersed closed curves in $S^1\\times\\mathbb{R}$ whose vertical tangencies avoid the codimension-two patterns, giving a geometric face to the generators."],"supporting_citations":[{"why":"Supplies the cell-structure theorem (Proposition E) that each stratum is an open cell and that boundary adjacency is generated by merge and insertion operations; the graph presentation stands on it.","marker":"[Ka]"},{"why":"Provides the classical theorems on spaces of functions and polynomials with bounded root multiplicity that the paper generalizes and whose cobordism statement is adapted in Section 3.","marker":"[Ar]"},{"why":"Supplies the broader theory of complements of discriminants that motivates and frames the poset-constrained spaces.","marker":"[Va]"},{"why":"Supplies the nerve theorem used to prove that the polynomial complement is homotopy equivalent to the graph $G_d$.","marker":"[Ha]"},{"why":"Supplies the topological-methods result identifying the nerve of the graph cover with the graph in the proof of the free-group theorem.","marker":"[Bj]"},{"why":"Supplies the local normal-form lemma used in Proposition 3.1 to realize an immersed curve as the zero set of a polynomial family.","marker":"[Ka2]"},{"why":"Provides the canonical form for tangency singularities used in the immersion-to-polynomial lift.","marker":"[Mor1]"},{"why":"Completes the canonical-form statement for the tangency branches used in the same lift.","marker":"[Mor2]"}],"fun_headline_variants":["Root multiplicity patterns yield explicit π1 presentations","Fundamental groups of polynomial spaces: free and explicit","Polynomial spaces' π1: combinatorial patterns to free groups","Explicit π1 for polynomials avoiding root patterns","Stabilized free π1 from constrained real divisors"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the cell-structure theorem that every fixed-pattern stratum is an open cell and that its boundary cells come exactly from merging two adjacent roots or inserting a double root; if that model is even slightly wrong, the graph, generators, and relations would not describe the fundamental group.","fun_headline_variants_meta":{"raw":{"variants":["Root multiplicity patterns yield explicit π1 presentations","Fundamental groups of polynomial spaces: free and explicit","Polynomial spaces' π1: combinatorial patterns to free groups","Explicit π1 for polynomials avoiding root patterns","Stabilized free π1 from constrained real divisors"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000605,"raw_usage":{"total_tokens":2901,"prompt_tokens":1106,"completion_tokens":1795,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":722,"completion_tokens_details":{"reasoning_tokens":1720}},"tokens_in":722,"tokens_out":1795,"duration_ms":11874,"temperature":1.0,"reasoning_tokens":1720,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:53:55.639705+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For $d=6$, take $\\Theta$ to be the smallest closed poset containing the eight patterns $(3,1)$, $(1,3)$, $(1,3,1,1)$, $(1,1,3,1)$, $(2,2,1,1)$, $(1,2,2,1)$, $(1,1,2,2)$, and $(2,1,1,2)$; the paper's presentation predicts $\\pi_1(P^{c\\Theta}_6)\\cong\\mathbb{Z}/2\\mathbb{Z}$. An independent computation of that fundamental group, say by building the cell complex directly or by another stratification, that yields any group not isomorphic to $\\mathbb{Z}/2\\mathbb{Z}$ would refute the presentation, and with it the cell-structure theorem it rests on.","supporting_citations":[],"review_version":1}