{"id":"57cd861e-7a9d-4957-b37f-88088ba3213b","arxiv_id":"2508.18759","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new proof of Thurston's jiggling lemma, including a full proof of the manifold case using relative jiggling and quantitative semitransversality.","lead":"This paper gives a new, conceptual proof of Thurston's jiggling lemma, which refines any triangulation into general position with respect to a distribution. It also supplies the first full proof of the manifold version, previously only sketched, via a relative jiggling technique.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Relative induction in Theorem 8.9 invokes Corollary 8.7 outside its hypotheses: Prop 8.8 assumes stratified transversality only on star(A), Cor 8.7 requires it on all of K, and Theorem 8.9 assumes only general position on A.","rationale":"The reader's weakest assumption already mentions the application of Corollary 8.7 in Proposition 8.8 as a secondary fragile point; I agree with that identification and elevate it to the primary load-bearing concern. The paper has a clear overall strategy, and much of the quantitative machinery is plausibly available from the companion paper [6], so I am not claiming the theorem is false. The issue is internal to the proof: the relative jiggling argument, which is the paper's main new contribution, is under-specified exactly at the point where hypotheses are transferred from a subcomplex to the whole complex. The concern is concrete and checkable: either a relative version of Corollary 8.7 must be proved, or Proposition 8.8 must be restated with the stronger global hypothesis, which would not suffice for Theorem 8.9 as stated. Because the gap is potentially repairable and there is no obvious counterexample, the reader's conditional verdict remains appropriate; no change in verdict is needed, but the paper should be revised to close this gap.","tokens_in":32840,"tokens_out":12460,"duration_ms":141332,"concrete_test":"Specialize to K = Delta^2, N = R^2, xi = horizontal distribution, A = one edge in general position, with f(Delta^2) not stratified transverse. Attempt to reproduce the proof of Prop 8.8 literally: check whether Corollary 8.7's hypothesis 'f stratified transverse with respect to K' holds for the whole K^bar at the call site; it does not. Then try to prove the needed relative version: jiggle the subdivision only on star(A,K^bar), fix it outside, and extend T_l to all of K. If this extension cannot be made with dC0(T_l,id)<(rmin/4)2^{-l} and (f|_{star(A)},T_l) in general position / epsilon-transverse, then Theorem 8.9 is unproved as stated; if it can be made, the gap is repairable and the conditional verdict stands.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim Theorem 8.9 is proved by chart-by-chart induction relying on Proposition 8.8. The load-bearing step is the call to Corollary 8.7 inside the proof of Proposition 8.8. Corollary 8.7 has a global hypothesis: f:|K|->N must be stratified transverse to xi with respect to K. Proposition 8.8, however, assumes only that (f,K) is stratified transverse on |star(A,K)|; and Theorem 8.9 assumes only that (f|_A,A) is in general position. In the proof of Prop 8.8 the sentence 'We jiggle the subdivision K^bar of K using Corollary 8.7' is therefore not justified as written: the input complex is the whole K^bar, but the hypothesis is verified only over star(A,K). No argument is given to localize Corollary 8.7 (or its sources, Corollary 8.6 and Lemma 8.5) to a subcomplex and extend the jiggled triangulation T_l to the rest of K while preserving dC0(T_l,id)<gamma/2^l and general-position control on star(A). This is not a stylistic gap: the subsequent interpolation over ring(A,T_l) and the 'relative case A != 0' in Theorem 8.9 both depend on having such a sequence (T_l). The sentence 'In the relative case ... treat it as K(-1)' does not supply the missing base case, because the induction step still needs stratified transversality on a star of the fixed subcomplex, while the theorem only supplies general position on A itself. Thus the proof as written has a gap in exactly the relative construction that is the paper's claimed new contribution.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a conceptual proof of Thurston's jiggling lemma, separating the piecewise map from the simplicial complex. The main theorem (Theorem 8.9) states that for a finite simplicial complex K, a manifold N with distribution ξ, a piecewise embedding f:|K|→N, and a subcomplex A on which f|_A is already in general position, there is a γ-jiggling (g,K') that agrees with f on A and is in general position everywhere. The proof plan is: crystalline subdivision estimates, linearization of piecewise maps, quantitative transversality via δ-semitransversality, one-vertex perturbation results (Section 7), Euclidean jiggling (Proposition 8.1), jiggling of subdivisions (Corollary 8.7), a relative Euclidean statement (Proposition 8.8), and a chart-by-chart induction (Theorem 8.9). The paper recovers Thurston's lemma as Corollary 8.10.","tokens_in":33273,"tokens_out":10028,"duration_ms":109547,"significance":"If correct, the result is a significant contribution: it gives a full jiggling proof for general manifolds, which was previously only sketched, and introduces a relative version useful for h-principle arguments. The paper's main strengths are the clean quantitative framework, the detailed induction in Proposition 8.1, and the uniform ε-transversality statement in Corollary 8.3. The set-up is careful and the reliance on the companion paper [6] is explicit. However, the relative construction, which is the paper's claimed new contribution, has a proof gap in the passage from local stratified transversality to the global hypotheses of the subdivision-jiggling statement; this gap is load-bearing for Theorem 8.9.","major_comments":[{"comment":"The sentence 'We jiggle the subdivision Kbar of K using Corollary 8.7' applies Corollary 8.7 outside its hypotheses. Corollary 8.7 requires f:|K|→N to be stratified transverse with respect to the whole complex K. Proposition 8.8 only assumes stratified transversality on |star(A,K)|. No localization or extension argument is provided to obtain a global sequence (Tℓ) from a jiggling of the subcomplex star(A,K). In particular, the required uniform bounds on rmin, rmax, Λ and the condition dC0(Tℓ,id)<(rmin/4)2^{-ℓ} over all of K do not follow merely from jiggling one subcomplex. This is not a stylistic point: the subsequent interpolation over ring(A,Tℓ) and the relative induction in Theorem 8.9 depend on having such a sequence defined on all of K with controlled quantitative properties.","section":"§8.3, proof of Proposition 8.8"},{"comment":"The relative case A≠∅ is not proved. The final sentence 'In the relative case where A ≠ 0 we apply jiggling relative to A throughout the proof by treating it as K(−1)' does not supply the missing base case or the needed hypotheses. Proposition 8.8 requires (f,K) to be stratified transverse on |star(A,K)|, whereas Theorem 8.9 assumes only that (f|_A,A) is in general position. General position of A does not imply stratified transversality of the simplices in star(A)\\A, and subdivision does not preserve general position. Moreover, in the induction step of the A=∅ case, the same issue appears: after extending f^{(i)} to |K|, the text invokes Corollary 8.7 to jiggle the subdivision \\tilde K^{(i)}, but Corollary 8.7 requires f^{(i)} to be stratified transverse with respect to the base complex, which is not established; the text only cites general position of f^{(i-1)} on the previous union. Th","section":"§8.4, proof of Theorem 8.9"},{"comment":"The paper delegates the proofs of several load-bearing quantitative results to the companion paper [6]: Lemma 3.8 (crystalline subdivision bounds), Proposition 4.2 (linearization estimates), Lemmas 4.5–4.8 and Corollary 4.9. These estimates control the scaling behavior in ℓ that is essential to Proposition 8.1 and Corollary 8.3. As submitted, the manuscript is not self-contained. If [6] is not yet accepted or publicly available in final form, the referee cannot verify the main theorem. Please either reproduce the necessary proofs or state explicitly the publication status of [6] and ensure the statements quoted here match [6].","section":"Sections 3–4"}],"minor_comments":[{"comment":"The definition of dC1 uses an auxiliary triangulation K of the polyhedron P, but K is not explicitly introduced in the statement. It should be stated that K is the fixed auxiliary triangulation used to define the C1-metric.","section":"Definition 2.7"},{"comment":"The chart is stated as a map to R^{d(n-d)}; for Gr(n,k) the correct dimension is k(n-k).","section":"§5.3.1"},{"comment":"The set D_i is defined using '⟨v_{j0},…,v_{jd}⟩ ∈ star(v_i)'. For d>1 a d-simplex cannot lie in the star of a vertex; this should be phrased in terms of the vertices being contained in vlink(v_i) or the simplex being incident to v_i.","section":"§8.1, induction step"},{"comment":"The bound dC0<γ/2^ℓ uses ℓ without a prior definition in the statement. It should be made explicit that ℓ is the order of crystalline subdivision used in the construction, or the bound should be stated with a named constant.","section":"Lemma 8.5 and Corollaries 8.6–8.7"},{"comment":"The constant E is listed in the statement but is never used in the displayed estimates. Remove it or explain its role.","section":"Lemma 3.8"}],"recommendation":"major_revision","confidential_remarks":"The main issue is the mismatch between the local hypothesis of Proposition 8.8 and the global hypothesis of Corollary 8.7. This is not a stylistic gap: the relative jiggling theorem is the paper's central new claim, and the proof of the relative case of Theorem 8.9 is left essentially at the level of a remark. I would be willing to recommend acceptance if the author supplies a correct relative version of Corollary 8.7 (or a direct proof of the required sequence (Tℓ) with the stated quantitative bounds) and repairs the induction in §8.4. Also, the editor should verify that the companion paper [6] is published or otherwise publicly available in a form that supports the delegated proofs."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is worth a look if you care about the jiggling lemma or semitransversality as a tool. What is actually new is the relative jiggling theorem (8.9) and the semitransversality framework that makes the manifold case tractable. The non-relative proof in Sections 6-7 is the strongest part: the estimates are stated carefully, the induction over vertices is transparent, and the compactness arguments on the Grassmannian are honest. That part deserves credit.\n\nThe soft spot is exactly where the stress-test points. Proposition 8.8 applies Corollary 8.7 to a map that is only stratified transverse on |star(A,K)|, while Corollary 8.7 requires stratified transversality on all of K. No localization argument is supplied, and you cannot just restrict to the subcomplex because the conclusion has to produce a triangulation of the whole polyhedron with general position on the fixed region. The same issue recurs in the chart-by-chart induction in Theorem 8.9, where Corollary 8.7 is invoked over a union of stars without checking the global hypothesis. This is not a cosmetic gap: the relative construction is the advertised contribution, and as written the proof does not go through.\n\nThere are also two smaller issues worth noting. First, the interpolation line in the proof of Proposition 8.8 reads \"h_l|Delta = interpolate(...)\" which is presumably a typo for g_l|Delta; the intended argument with Lemma 4.5 is plausible once the subdivision-jiggling step is fixed. Second, the paper leans heavily on the companion paper [6] for crystalline subdivision bounds and linearization estimates; that is acceptable if the companion is available and correct, but it makes the present paper not self-contained.\n\nWho gets value from this? Someone working in foliation theory or h-principle who wants a modern account of jiggling, and anyone who wants the semitransversality toolkit for quantitative transversality statements. The non-relative portion is solid enough to cite as an alternative proof of the Euclidean case. The relative theorem is the right kind of result, but it needs a repaired proof.\n\nRecommendation: send it to peer review, but tell the referees to focus on Proposition 8.8 and the use of Corollary 8.7. This is a conditional accept, not a reject.","headline":"A genuinely cleaner route to Thurston's jiggling, with a real but fixable gap in the relative theorem that is the paper's main new claim.","tokens_in":33737,"tokens_out":3746,"would_cite":true,"duration_ms":42672,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57R05","57Q65"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves a relative version of the jiggling lemma: any piecewise embedding of a finite complex into a manifold can be subdivided and C^1-perturbed into general position with respect to a distribution, while the map is fixed on a sub","keywords":["jiggling","triangulations","piecewise smooth","general position","transversality","semitransversality","crystalline subdivision","distributions"],"falsifier":"A concrete test: in R^3 with the horizontal foliation, take the 2-simplex spanned by the origin and two points in the xy-plane, fix the base edge, and ask how far the top vertex can be perturbed while the simplex stays transverse. The theorem predicts a positive, uniform δ-radius independent of the configuration; an explicit configuration in which the required δ shrinks to zero would falsify Proposition 7.9 and with it Proposition 8.1.","tokens_in":32748,"feed_emoji":"📐","tokens_out":7082,"duration_ms":79184,"temperature":0.7,"pith_summary":"The paper establishes the jiggling lemma in full generality. The lemma says that any triangulation of a manifold can be subdivided and slightly perturbed so that every simplex—top-dimensional and lower-dimensional faces alike—is transverse to a given distribution. Thurston introduced this technique in the 1970s and gave a detailed proof in Euclidean space, but only sketched the manifold case. The paper's main theorem, Theorem 8.9, proves a relative version: if the map is already in general position on a subcomplex, the jiggling can be chosen to fix that subcomplex exactly. This gives a complete proof of the manifold statement, replacing the extrinsic embed-and-project approach with an intrinsic chart-by-chart induction.","feed_headline":"Jiggling lemma proven in full for manifolds","feed_subtitle":"Any triangulation can be subdivided and slightly perturbed into general position, even with a region held fixed.","key_machinery":"The load-bearing mechanism is the projection criterion for semitransversality: a simplex join(p,∆) is transverse to a constant foliation precisely when the projection of p misses the projected affine span of ∆. Iterating this criterion, the author perturbs one vertex at a time while keeping a uniform semitransversality radius δ that depends only on the number of simplices and the scale of the subdivision, not on the configuration. Crystalline subdivisions provide the uniform simplex-shape bounds that make the radius scale correctly, and a chart-by-chart induction combined with jiggling the identity map rather than the map itself handles the manifold case.","core_discovery":"The central claim is Theorem 8.9: given a finite simplicial complex K, a manifold N with a distribution ξ, any piecewise embedding f:|K|→N, and a subcomplex A on which (f|_{|A|}, A) is already in general position, there is a γ-jiggling (g,K′) of (f,K) such that (g,K′) is in general position with respect to ξ and g equals f on |A|. The proof separates the map from the simplicial complex, works chart by chart, and uses a new \"relative jiggling\" step to glue charts without losing transversality. Corollary 8.10 recovers Thurston's original jiggling lemma for triangulations of manifolds.","pith_inferences":["Because Theorem 8.9 fixes A, a direct corollary not stated in the paper is a boundary-relative jiggling: triangulate a compact manifold with boundary, set A to a neighborhood of the boundary, and jiggle the interior while preserving the already-transverse boundary structure.","The skeleton-preserving deformation of the identity is a reusable gadget: it converts a transverse triangulation into a nearby triangulation subdividing a prescribed refinement, which may simplify other constructions where triangulations must be refined without losing transversality.","One could test the quantitative core numerically on small examples, such as a 2-simplex in R^3 with a fixed edge, by measuring the largest δ-radius achievable in Proposition 7.9 and comparing it with the paper's uniform bound; such a check would expose any hidden dependence of δ on the configuration."],"forward_implications":["Corollary 8.10: any smooth triangulation of a manifold can be made in general position over a given compact set by a C^1-small subdivision-and-perturbation, fixing any subcomplex where transversality already holds.","The relative theorem gives a clean way to glue jiggled local charts, which is why the manifold case can be proved without embedding the manifold into Euclidean space.","The proof yields sequences of jigglings whose transversality is uniformly bounded below, not just single jigglings, so the output is quantitative rather than merely existential.","The technique of jiggling a subdivision by deforming the identity map preserves skeleta; this addresses the fact that general position is not preserved under subdivision, a known obstacle for this kind of argument."],"supporting_citations":[{"why":"Supplies the crystalline subdivision bounds (Lemma 3.8), linearization estimates (Proposition 4.2), and perturbation bounds (Corollary 4.9) that the induction in Proposition 8.1 relies on; their proofs are not reproduced here.","marker":"[6]"},{"why":"The original statement of Thurston's jiggling lemma that this paper proves and recovers as Corollary 8.10.","marker":"[12]"},{"why":"A detailed published account of Thurston's proof, used as the reference point for the approach being replaced.","marker":"[1]"},{"why":"A recent variation establishing a jiggling result for symplectic forms, cited as motivation for why the lemma matters and as a benchmark for the method.","marker":"[2]"},{"why":"Provides the fact that a sufficiently small perturbation of a homeomorphism is a homeomorphism, used in Section 8.5 to turn the jiggled embedding into a triangulation.","marker":"[9]"},{"why":"Whitehead's result that smooth manifolds admit triangulations, which underlies the statement and application of the jiggling lemma.","marker":"[14]"}],"fun_headline_variants":["Jiggling lemma: new proof, manifold case settled","Thurston's jiggling gets conceptual proof for manifolds","General position via jiggling, now extended to manifolds","Jiggling lemma fully proven on manifolds","Alternative proof of jiggling lemma for manifolds"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The argument depends on quantitative bounds taken from the companion paper [6] about how subdivision shrinks simplices and how linearization approximates maps; those bounds are not proved here, and if they fail, the uniform control that makes the induction work is lost.","fun_headline_variants_meta":{"raw":{"variants":["Jiggling lemma: new proof, manifold case settled","Thurston's jiggling gets conceptual proof for manifolds","General position via jiggling, now extended to manifolds","Jiggling lemma fully proven on manifolds","Alternative proof of jiggling lemma for manifolds"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000535,"raw_usage":{"total_tokens":2334,"prompt_tokens":597,"completion_tokens":1737,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":341,"completion_tokens_details":{"reasoning_tokens":1656}},"tokens_in":341,"tokens_out":1737,"duration_ms":16208,"temperature":1.0,"reasoning_tokens":1656,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T16:14:07.342956+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete test: in R^3 with the horizontal foliation, take the 2-simplex spanned by the origin and two points in the xy-plane, fix the base edge, and ask how far the top vertex can be perturbed while the simplex stays transverse. The theorem predicts a positive, uniform δ-radius independent of the configuration; an explicit configuration in which the required δ shrinks to zero would falsify Proposition 7.9 and with it Proposition 8.1.","supporting_citations":[{"cited_title":"Jiggling: an h-principle without homotopical assumptions","cited_arxiv_id":"2501.13627","evidence_quote":"Supplies the crystalline subdivision bounds (Lemma 3.8), linearization estimates (Proposition 4.2), and perturbation bounds (Corollary 4.9) that the induction in Proposition 8.1 relies on; their proofs are not reproduced here."},{"cited_title":"The theory of foliations of codimension greater than one","cited_arxiv_id":null,"evidence_quote":"The original statement of Thurston's jiggling lemma that this paper proves and recovers as Corollary 8.10."},{"cited_title":"Triangulations and the stability theorem for foliations","cited_arxiv_id":null,"evidence_quote":"A detailed published account of Thurston's proof, used as the reference point for the approach being replaced."},{"cited_title":"Bertelson and J","cited_arxiv_id":null,"evidence_quote":"A recent variation establishing a jiggling result for symplectic forms, cited as motivation for why the lemma matters and as a benchmark for the method."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the fact that a sufficiently small perturbation of a homeomorphism is a homeomorphism, used in Section 8.5 to turn the jiggled embedding into a triangulation."},{"cited_title":"On C 1-complexes","cited_arxiv_id":null,"evidence_quote":"Whitehead's result that smooth manifolds admit triangulations, which underlies the statement and application of the jiggling lemma."}],"review_version":1}