{"id":"60e6be93-c401-402a-98ac-5968539efc66","arxiv_id":"1908.04821","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Extends the classical fundamental theorem of surface theory to proper frontals, singular surfaces with empty interior singular set, using a moving-base decomposition and characterizing wave fronts via new relative curvatures.","lead":"This paper proves a version of the classical fundamental theorem of surfaces for singular surfaces called frontals, showing when a set of geometric data defines such a surface. It also introduces new relative curvatures that detect whether a frontal is a wave front.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Sign error in \\barΓ2 (eq. 75) makes the claimed compatibility transfer in Theorem 5.1 unproven as written.","rationale":"The paper's central claim is Theorem 5.1, an existence/uniqueness theorem for proper frontals with prescribed fundamental-form data. The proof proceeds by extending T1,T2 from the regular set, building a 3x3 frame W by Frobenius, and integrating Dx = ΩΛ^T. The most delicate step is transferring the classical Gauss–Mainardi–Codazzi equations on the dense regular set to flatness of the auxiliary pair (\\barT1,\\barT2), via Lemma 5.2 and the matrices \\barΓ1,\\barΓ2. A componentwise check of (75) against the defining relation (63b) shows that the (1,3) and (2,3) entries of \\barΓ2 have the wrong sign: they must be +f and +g, while (75) displays -f and -g. With the displayed signs, the identity \\barI\\barΓ2^T + \\barΓ2\\barI = \\barIv fails in general, so Lemma 5.3 and the uniqueness argument for the solution of (79) are not justified as written. This is a concrete, local flaw in the written proof, not a challenge to the theorem's plausibility; correcting the sign likely restores the argument. The reader's weakest assumption (empty interior) is explicitly part of the theorem's hypotheses, so it is not where the proof as written breaks. The verdict remains CONDITIONAL, but the required revision is more specific: fix the sign in (75).","tokens_in":25485,"tokens_out":34121,"duration_ms":296671,"concrete_test":"Recompute \\barΓ2 from the defining relation \\barΓ2\\barΛ = \\barΛ\\barT2 + \\barΛv using (35)-(36) and (61b), and compare with the displayed (75). Independently, take the explicit surface x(u,v) = (u, v, uv) (where f ≠ 0, E = 1+v^2, F = uv, G = 1+u^2, e = g = 0) and verify componentwise whether \\barI\\barΓ2^T + \\barΓ2\\barI = \\barIv holds with the signs in (75). If the (1,3) and (2,3) entries of \\barΓ2 are corrected to +f and +g, the proof's compatibility argument goes through; if the printed signs persist, Theorem 5.1's existence proof lacks a proven Frobenius integrability condition for (77).","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The proof of Theorem 5.1 contains a sign inconsistency in the displayed definition of \\barΓ2 (equation (75)). For a frontal with Dx = ΩΛ^T and II = ΛIIΩ, the relation \\barΓ2\\barΛ = \\barΛ\\barT2 + \\barΛv (equation (63b)) forces the (1,3) entry of \\barΓ2 to be f, since \\barΛ\\barT2 has (1,3) entry λ11 f1Ω + λ12 gΩ = f by (61b). But (75) gives \\barΓ2_{13} = -f and \\barΓ2_{23} = -g, with third row +f, +g. Consequently, the identity \\barI\\barΓ2^T + \\barΓ2\\barI = \\barIv, which the proof asserts by (74) and (75), is false in general: its (1,3) component is (E-1)f, not 0. Lemma 5.2 therefore cannot be applied: the transfer from the formal Gauss–Mainardi–Codazzi equations on U \\ λ^{-1}(0) to the compatibility condition \\barT1_v - \\barT2_u + [\\barT1,\\barT2] = 0 for the frame system (77) is not justified as written. The empty-interior hypothesis is explicitly assumed and is not the weak point; the sign error is the most load-bearing gap in the otherwise coherent construction.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper extends the classical fundamental theorem of surfaces in Euclidean 3-space to the class of proper frontals, i.e., smooth maps with a unit normal field whose singular set has empty interior. The main result, Theorem 5.1, states that given smooth functions E,F,G,e,f,g with E≥0, G≥0, EG−F^2≥0, admitting a decomposition through a moving base Ω with positive definite IΩ and with det(Λ)^{-1}(0) having empty interior, and satisfying the formal Gauss and Mainardi–Codazzi equations on the regular set, there exists a frontal realizing these data as its first and second fundamental forms, unique up to translation and a proper orthogonal transformation. The paper also introduces relative curvatures KΩ and HΩ that characterize wave fronts, derives singular compatibility equations, and proves the theorem by constructing a frame via Frobenius' theorem and then integrating the surface.","tokens_in":25577,"tokens_out":20898,"duration_ms":171209,"significance":"The claimed result is a substantial contribution to the differential geometry of singular surfaces: it provides a fundamental theorem for the entire class of proper frontals, going substantially beyond the classical regular case and previous restricted results for wave fronts. The method is coherent and mostly self-contained, with a clean use of a moving-base decomposition Dx=ΩΛ^T, density arguments for extending identities across the singular set, and explicit compatibility equations. The paper also gives a useful characterization of wave fronts via relative curvatures, and it honestly acknowledges overlap with the framed-surfaces work of Fukunaga and Takahashi. If the local proof gaps identified below are repaired, the theorem is likely correct and valuable.","major_comments":[{"comment":"The displayed definition of \\barΓ2 is inconsistent with the relation (63b) that the proof uses immediately afterward. Since \\barT2 is defined as the matrix Q in (36), the relation \\barΓ2\\barΛ−\\barΛ_v = \\barΛ\\barT2 forces \\barΓ2 e3 = (f,g,0)^T. The displayed matrix in (75) instead has \\barΓ2 e3 = (α21,α22,0)^T (in the first equality) or (−f,−g,0)^T (in the second equality), so the proof's assertion that (72a)–(72b) imply (63a)–(63b) is false for the displayed \\barΓ2. Consequently the subsequent application of Lemmas 5.2 and 5.3 to transfer the Gauss and Mainardi–Codazzi compatibility from \\barΓ1,\\barΓ2 to \\barT1,\\barT2 is not justified as written. The correct \\barΓ2 is \\barΓ2 = (\\barΛ\\barT2 + \\barΛ_v)\\barΛ^{-1} on the regular set, whose third column is (f,g,0)^T and whose third row is (α21,α22,0)^T; with this matrix the identity \\barI\\barΓ2^T+\\barΓ2\\barI=\\barI_v holds and the proof goes through. This error is local and repairable, but it is load-bearing for the existence part of Theorem 5.1.","section":"Section 5, Eq. (75)"},{"comment":"The rigidity proof chooses ρ∈SO(3) with ρΩ(u0,v0)=¯Ω(u0,v0). If the second tangent moving base ¯Ω induces the opposite orientation of the normal at (u0,v0), no proper orthogonal transformation exists with this property, and the hypotheses of Theorem 5.1 as stated do not explicitly require the moving bases to be compatibly oriented. This issue can arise even for trivial data, for instance a planar frontal with IIΩ=0. The statement should either assume that Ω and ¯Ω are compatible (in the sense of Definition 3.4) or allow ρ to be an orthogonal transformation and adjust the rigidity argument accordingly.","section":"Section 5, rigidity statement and proof"}],"minor_comments":[{"comment":"The proof twice refers to 'proposition 3.22'; the intended reference is Proposition 3.21, which gives the 2×2 minor criterion for a front.","section":"Theorem 3.22 proof"},{"comment":"The proof headings read 'Teorema 5.1'; these should be 'Theorem 5.1'.","section":"Section 5"},{"comment":"In the statement, '¯Ω : U→R^3' should be '¯Ω : U→M_{3×2}(R)', since ¯Ω is a moving base with two columns.","section":"Theorem 5.1, rigidity paragraph"},{"comment":"The symbol 'I2' is used for the 2×2 identity matrix but is not defined at that point; this should be clarified.","section":"Remark 3.7"},{"comment":"The paper contains a number of small typos, such as 'restringing' for 'restricting' and inconsistent notation for the second fundamental-form coefficients (f1Ω and f2Ω appear where the reader might expect a symmetric matrix). A careful editorial pass is recommended.","section":"General presentation"}],"recommendation":"major_revision","confidential_remarks":"The central construction is sound in conception and the main theorem is likely correct after correcting the displayed matrix \\barΓ2 in (75). The error is local but is in a load-bearing position in the proof, so I cannot recommend acceptance before the authors fix it and explicitly address the orientation issue in the rigidity statement. The novelty overlap with Fukunaga–Takahashi is honestly acknowledged and does not undermine the paper."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague, here is my read on Medina-Tejeda's fundamental theorem paper.\n\nThe headline: this is a real attempt to extend the classical fundamental theorem from regular surfaces to all proper frontals, and the strategy is basically sound: use the moving-base decomposition to define smooth connection matrices T1,T2, construct an orthonormal frame by Frobenius, then integrate the frontal. If the main theorem stands, it fills a genuine gap in the literature, and the author is honest that the curvature-based wave-front characterization overlaps with Fukunaga–Takahashi.\n\nNow the soft spots. The stress-test note is right: equation (75) is wrong as written. The displayed \\barΓ2 has -f and -g in the third column, but equation (63b) forces the (1,3) entry to be +f (since λ11 fΩ + λ12 gΩ = f from (61b)). With the displayed signs, the identity \\barI\\barΓ2^T + \\barΓ2\\barI = \\barIv used to apply Lemma 5.3 fails in general—the (1,3) component is (E-1)f + F g, not 0—so the transfer from Gauss–Mainardi–Codazzi to \\barT1,\\barT2 is not justified as written. This is load-bearing, but it looks like a typesetting/layout error rather than a conceptual flaw: the third column and third row appear to be swapped and sign-flipped relative to the intended matrix. The author needs to fix (75) and re-check the surrounding derivation.\n\nOther issues are minor. The abstract promises 'the entire class of frontals', but the theorem actually requires proper frontals and an a priori moving-base decomposition; that should be stated. The acknowledged overlap with framed surface theory could use a more detailed comparison to pinpoint what is genuinely new. And there is a stray reference to 'Proposition 3.22' in the proof of Theorem 3.22 that should be Proposition 3.21.\n\nWho should read this: people working on singular surfaces, wave fronts, and the geometry of frontals. The exposition is mostly clear, the examples help, and the main theorem is a genuine contribution if the proof is repaired. It deserves a serious referee, not a desk reject, but the referee should be asked to verify the corrected (75) and the compatibility transfer carefully before acceptance.","headline":"Genuine generalization to proper frontals with a sound strategy, but eq. (75) has a sign/layout error that breaks the proof as written—fixable, but mandatory.","tokens_in":26266,"tokens_out":20893,"would_cite":true,"duration_ms":163814,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53A40","53A05","57R45"],"pacs":[],"model":"deepseek-v4-flash","headline":"For any proper frontal, compatible first and second fundamental forms are realized by a unique singular surface up to rigid motion.","keywords":["singular surface","frontal","wave front","relative curvature","first fundamental form","second fundamental form","singular compatibility equations","moving base"],"falsifier":"Take a smooth data set $E,F,G,e,f,g$ with a decomposition as in Theorem 5.1 that satisfies the compatibility conditions on $U$ minus the singular set, then perturb the compatibility conditions slightly on a tiny interval inside the singular set while keeping them on the regular set; if the theorem's conclusions still hold, the density assumption would be violated. More directly, construct a non-proper frontal such as a map that is constant on a small open disk, and check that the construction of $T_1,T_2$ or the limiting relative curvatures breaks down, as the paper's remark indicates.","tokens_in":25096,"feed_emoji":"📐","tokens_out":4652,"duration_ms":42678,"temperature":0.7,"pith_summary":"The classical fundamental theorem of surfaces says that first and second fundamental forms satisfying the Gauss and Mainardi-Codazzi equations are realized by a unique regular surface. This paper extends that theorem to the whole class of proper frontals—smooth maps into $\\mathbb{R}^3$ whose differential drops rank only on a set with empty interior, so singularities such as cuspidal edges, swallowtails, and cuspidal cross-caps are allowed. The price is that the data must admit a decomposition through a moving base $\\Omega$, with a $2\\times 2$ coefficient matrix $\\Lambda$ whose determinant vanishes only on a set with empty interior, and the Gauss and Mainardi-Codazzi equations need hold only away from that singular set. The realization is unique up to translation and a proper orthogonal transformation, and the same decomposition yields two new relative curvatures that detect exactly when the frontal is a wave front.","feed_headline":"Singular surfaces now get the fundamental theorem","feed_subtitle":"Cuspidal edges, swallowtails, and all proper frontals are realized from compatible fundamental forms, uniquely up to motion.","key_machinery":"The argument runs on the decomposition $Dx = \\Omega\\Lambda^T$, where $\\Omega$ is a moving base (two linearly independent vector fields spanning the limiting tangent plane) and $\\Lambda$ is a $2\\times 2$ coefficient matrix. The fundamental forms factor as $I=\\Lambda I_\\Omega\\Lambda^T$ and $II=\\Lambda II_\\Omega$, which lets the classical Christoffel symbols and Weingarten matrix be extended across the singular set: conditions (22a) and (22b) guarantee that the combinations $\\Lambda^{-1}(\\Gamma_i\\Lambda - \\Lambda_{u/v})$ extend smoothly, defining $T_1$ and $T_2$. The proof then reduces the Gauss and Mainardi-Codazzi equations, via a lemma, to integrability conditions for a moving-frame system and solves them with the Frobenius theorem; the compatibility of the system for $x$ itself is exactly the singular compatibility equations (44). Density of the regular set supplies extension of all identities to the singular set.","core_discovery":"The central claim is Theorem 5.1: given smooth functions $E,F,G,e,f,g$ with $E\\geq 0$, $G\\geq 0$, $EG-F^2\\geq 0$ that admit a decomposition through a moving base $\\Omega$ with $I_\\Omega$ positive definite and $\\lambda_\\Omega^{-1}(0)$ having empty interior, and that satisfy the Gauss and Mainardi-Codazzi equations on the regular set, there exists a frontal $x$ with a tangent moving base $\\Omega$ such that $Dx=\\Omega\\Lambda^T$, $I_\\Omega$ and $II_\\Omega$ match the given data, and $x$ has $E,F,G,e,f,g$ as its first and second fundamental forms. Moreover, the realization is unique up to a translation and a proper orthogonal transformation. The theorem is an extension, not just a formal analog: the singular set may be nonempty, and the proof shows that the wave-front case is detected by the relative curvatures $(K_\\Omega,H_\\Omega)$ failing to vanish together on the singular set.","pith_inferences":["The moving-base decomposition suggests viewing frontals as 'ladder surfaces': the pair $(\\Omega,\\Lambda)$ functions like a moving frame with a singular part, and the compatibility conditions are exactly the Maurer-Cartan equations for that ladder; this may generalize to higher-dimensional frontals with the same density argument.","Because the theorem only needs Gauss-Mainardi-Codazzi on the regular set plus the decomposition conditions, it might be possible to relax the 'empty interior' hypothesis to 'nowhere dense' or to allow $\\Lambda$ to vanish on regions where the image is a curve, though the density argument would need a replacement.","The relative curvatures satisfy $K_\\Omega = \\lambda_\\Omega K$ and $H_\\Omega = \\lambda_\\Omega H$ on the regular set; a natural test is to compute them for known examples and verify that they match the paper's characterization of wave fronts.","The decomposition conditions (22a) and (22b) are not implied by the factorization $I=\\Lambda I_\\Omega\\Lambda^T$ alone, as the paper's Whitney cross-cap example shows; understanding which extra conditions the moving base must satisfy could yield a cleaner algebraic characterization."],"forward_implications":["Any proper frontal in $\\mathbb{R}^3$ is determined, up to rigid motion, by its fundamental forms plus the extra structure of a moving-base decomposition, so the invariant content of singular surfaces matches the regular case once the right decomposition is chosen.","Wave fronts are exactly the frontals whose relative curvature pair $(K_\\Omega,H_\\Omega)$ does not vanish at singular points, giving a computable criterion from the fundamental data alone.","The theorem turns the local existence question into an algebraic one: checking the compatibility conditions (39), (38g), and (38h) replaces solving PDEs with arbitrary initial data.","The relative curvatures $K_\\Omega$ and $H_\\Omega$ are independent of the choice of compatible moving base up to zero locus and sign, so features like cuspidal edges and swallowtails can be read from the fundamental forms.","The uniqueness clause extends to the singular setting: two realizations with the same data differ by a translation and a proper orthogonal transformation, even across singularities."],"supporting_citations":[{"why":"States the classical fundamental theorem of regular surfaces, which this paper generalizes.","marker":"[2]"},{"why":"Provides the version of the Frobenius theorem used to construct the moving frame and the frontal.","marker":"[14]"},{"why":"Gave earlier sufficient conditions for realizing a singular first fundamental form as a wave front, which the paper improves on for all proper frontals.","marker":"[9]"},{"why":"Introduced orthonormal moving frames and invariants for framed surfaces; the paper's wave-front characterization parallels their curvature characterization.","marker":"[4]"},{"why":"Proved the necessity direction for the $H_\\Omega$ characterization of fronts with dense regular points, which Theorem 3.22 extends to all fronts.","marker":"[10]"},{"why":"Supplies the standard notion of wave front and the geometry of fronts used throughout the paper.","marker":"[13]"},{"why":"Defines frontals and their singularity theory, providing the class of maps under study.","marker":"[7]"}],"fun_headline_variants":["Fundamental theorem now covers frontals","Singular surfaces get a fundamental theorem","Frontals: existence and uniqueness from forms","Cuspidal edges and swallowtails: a theorem","The fundamental theorem, extended to cusps"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The singular set where the coefficient matrix $\\Lambda$ has determinant zero must have empty interior, because the proof extends identities from the dense regular set to the whole domain by limits.","fun_headline_variants_meta":{"raw":{"variants":["Fundamental theorem now covers frontals","Singular surfaces get a fundamental theorem","Frontals: existence and uniqueness from forms","Cuspidal edges and swallowtails: a theorem","The fundamental theorem, extended to cusps"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00045,"raw_usage":{"total_tokens":2222,"prompt_tokens":856,"completion_tokens":1366,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":472,"completion_tokens_details":{"reasoning_tokens":1298}},"tokens_in":472,"tokens_out":1366,"duration_ms":13117,"temperature":1.0,"reasoning_tokens":1298,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:33:34.794452+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a smooth data set $E,F,G,e,f,g$ with a decomposition as in Theorem 5.1 that satisfies the compatibility conditions on $U$ minus the singular set, then perturb the compatibility conditions slightly on a tiny interval inside the singular set while keeping them on the regular set; if the theorem's conclusions still hold, the density assumption would be violated. More directly, construct a non-proper frontal such as a map that is constant on a small open disk, and check that the construction of $T_1,T_2$ or the limiting relative curvatures breaks down, as the paper's remark indicates.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"States the classical fundamental theorem of regular surfaces, which this paper generalizes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the version of the Frobenius theorem used to construct the moving frame and the frontal."},{"cited_title":"Kossowski, Realizing a singular first fundamental form as a nonimmersed surface in Eu- clidean 3-space, J","cited_arxiv_id":null,"evidence_quote":"Gave earlier sufficient conditions for realizing a singular first fundamental form as a wave front, which the paper improves on for all proper frontals."},{"cited_title":"Fukunaga, M","cited_arxiv_id":null,"evidence_quote":"Introduced orthonormal moving frames and invariants for framed surfaces; the paper's wave-front characterization parallels their curvature characterization."},{"cited_title":"Singularities of a surface given by Kenmotsu-type formula in Euclidean three-space","cited_arxiv_id":"1804.01671","evidence_quote":"Proved the necessity direction for the $H_\\Omega$ characterization of fronts with dense regular points, which Theorem 3.22 extends to all fronts."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the standard notion of wave front and the geometry of fronts used throughout the paper."}],"review_version":1}