{"id":"9fe48708-9dcc-4584-85bd-7fea6347fce9","arxiv_id":"2506.17791","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"For every closed orientable surface F, the paper constructs an explicit real algebraic function on a compact 3-manifold with a prescribed level set diffeomorphic to F.","lead":"This paper constructs explicit real algebraic functions whose fibers over a chosen value are a prescribed closed orientable surface. It solves a long-studied existence-and-construction problem in the real algebraic category for surfaces in dimension three.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"S_3 and each S_j are tangent at two points, so the §4 data violate Theorem 1's transversality hypothesis (3a); the non-singularity/smoothness step in the proof of Theorem 2 is not justified.","rationale":"The reader's CONDITIONAL verdict already identifies the transversality/non-singularity verification as the weak spot. My pass pins down a concrete violation: the explicitly displayed cylinders S_j are tangent to S_3 at two points each, so the proof's appeal to Theorem 1 is not merely missing details but false as written. This is an internal inconsistency in the construction, not a disagreement with external consensus, and it matters because the extraction of the prescribed preimage F depends on regularity of the boundary data. The flaw is plausibly repairable by adjusting the cylinder arrangement, so I would keep the CONDITIONAL verdict rather than escalate to REJECT. The surrounding Reeb graph discussion and citations do not compensate for the unverified explicit data on which the central claim rests.","tokens_in":9685,"tokens_out":25696,"duration_ms":275468,"concrete_test":"Set l_1=4, a=0, b=1, p_1=2, and form f_3=x_2^2+(x_3-1)^2-1 and f_4=(x_1-2)^2+x_2^2-1. At q=(2,1,0), ∇f_3=∇f_4=(0,2,0), so the Jacobian of the active boundary constraints has rank 1 instead of 2 and condition (3a) fails. Then replace the cylinder arrangement with one whose S_3∩S_j intersections are transverse, or with S_j shifted so the tangencies disappear, and recompute the Reeb graph of the x_1-projection on the fiber over x_3=a: the claimed genus l-2 count must be re-verified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 2 (§4), take n=3 and write S_3: x_2^2+(x_3-a)^2=(b-a)^2, S_j: (x_1-p_{j-3})^2+x_2^2=(b-a)^2 for j≥4. At q_j^±=(p_{j-3}, ±(b-a), a) both functions vanish, and their gradients are both (0, ±2(b-a), 0). Thus the tangent planes coincide, so dim(T_qS_3∩T_qS_j)=2, while Theorem 1 condition (3a) requires dim = n-2 = 1 for every non-empty intersection S_3∩S_j∩closure D. The proof's assertion that the 1st and 3rd conditions of Theorem 1 can be checked easily is therefore false for the displayed data. This non-transversality also makes the boundary of D non-smooth at q_j^±, so the preimage ~f^{-1}(a) is not shown to be a smooth surface diffeomorphic to F. The separate claim that the circle S_j∩{x_3=a} is tangent to L={(t,0,a)} is incompatible with the displayed equations, since a circle centered on L meets L in two points; however, the S_3–S_j tangency is the decisive failure.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies Problem 1: given a closed connected (m-1)-manifold F and real numbers aR that is the restriction of a canonical projection, has image [a,b], has b as its only singular value, and has f^{-1}(a) diffeomorphic to F. After recalling a theorem from the author's preprint (Theorem 1) that produces 'moment-like maps' from a family of hypersurfaces S_j bounding a region D, subject to transversality and combinatorial conditions, the paper states Theorem 2, which asserts an affirmative answer for all closed connected orientable surfaces when m=3. The proof builds an explicit region D in R^3 bounded by two parallel planes and several cylinders, forms the associated moment-like map, and identifies the preimage of a as an orientable surface of genus l-2 by projecting to the x_1-coordinate and analyzing the Reeb graph. Theorem 3 states a variant with two singular values and prescribed preimage at every point. Section 5 gives additional cases for genus 1, 2, and 3 and discusses open problems.","tokens_in":9945,"tokens_out":8115,"duration_ms":81601,"significance":"If the proof were complete, the paper would provide explicit real algebraic functions with prescribed preimage surfaces, addressing a construction problem that is indeed more difficult than mere existence. The moment-like construction and the use of Reeb-graph classification are promising, and the problem is well motivated. However, the explicit data in Section 4 fail a transversality hypothesis that is essential for Theorem 1, and several key verifications are only asserted. Consequently the main theorem is not established in the present form; the paper needs a corrected construction or a substantially more detailed verification before the result can be accepted.","major_comments":[{"comment":"The displayed hypersurfaces S_3: x_2^2+(x_3-a)^2=(b-a)^2 and S_j: (x_1-p_{j-3})^2+x_2^2=(b-a)^2 for j>=4 do not satisfy condition (3a) of Theorem 1. At the points q_j^+=(p_{j-3}, b-a, a) and q_j^-=(p_{j-3}, -(b-a), a), both functions vanish and their gradients are (0, +/-2(b-a), 0), so T_{q_j}S_3 = T_{q_j}S_j and the dimension of the intersection of the two tangent planes is 2, whereas Theorem 1(3a) with l_1'=2 and n=3 requires dimension n-l_1'=1. Thus the statement in the proof that the first and third conditions of Theorem 1 'can be checked easily' is false for the displayed data; the non-singularity of M and the smoothness of the preimage f^{-1}(a) as a surface diffeomorphic to F are consequently not established.","section":"Section 4, proof of Theorem 2 (data S_3 and S_j)"},{"comment":"The bullet after the displayed cylinder S_j states that the circle S_j intersect {x_3=a} and the straight line L={(t,0,a)} intersect in a one-point set and have agreeing tangent spaces at that point. This is incompatible with the equation (x_1-p_{j-3})^2+x_2^2=(b-a)^2 in the plane x_3=a: a circle centered on L meets L in two points, and its tangent at such a point is not tangent to L except in a degenerate case. This inconsistency indicates that the intended shape of the region D, and hence the subsequent Reeb-graph computation, is not faithfully represented by the displayed formulas; the geometry needs to be redrawn or the formulas corrected.","section":"Section 4, bullet defining S_j"},{"comment":"The proof of Theorem 2 depends on assertions that are not demonstrated: in Theorem 1 the non-singularity of M is justified by 'We have checked', and in Section 4 the polynomials f_j are said to be chosen 'canonically and suitably' so that the region D is surrounded by the S_j, with condition (1) and the signs defining D left unspecified. The genus identification also relies on a sketchy Reeb-graph argument and on Figures 1 and 2, with no explicit verification that the projected function on the preimage is Morse-Bott with the claimed numbers of critical points. For a construction paper whose main result is an explicit positive answer, these checks are load-bearing and must be supplied.","section":"Sections 2 and 4, verification of hypotheses and genus computation"}],"minor_comments":[{"comment":"The abstract contains a typo: 'explcit' should be 'explicit'.","section":"Abstract"},{"comment":"The text contains several typos, including 'defired map' (should be 'desired map') and 'stuides' (should be 'studies').","section":"Sections 4 and 5"},{"comment":"The notation switches between l_1 and l in the construction; the region uses l_1 hypersurfaces, but the Reeb-graph genus is stated as l-2. The relation between these parameters should be fixed and stated explicitly.","section":"Section 4, proof of Theorem 2"},{"comment":"Theorem 3 is stated with no proof beyond 'can be checked easily from the proof of Theorem 2'; since it is a separate claimed result, it should either be proved or stated as a corollary with a clear argument.","section":"Theorem 3"},{"comment":"The proof refers to Figures 1-4 as essential for the region D and the Reeb graph, but the figures are not included in the manuscript text; at minimum the combinatorial description of the Reeb digraph should be given in words, as it is used to compute the genus.","section":"Figures 1-4"}],"recommendation":"major_revision","confidential_remarks":"The paper relies very heavily on the author's own prior preprints, and Theorem 1 is the central tool without a fully self-contained proof. The editor may also wish to confirm that the claimed algebraic content of Theorem 2 is not just a restatement of known differentiable constructions; the explicit polynomial data currently fail the transversality condition, so the main theorem is unsupported. If the explicit data can be corrected, the paper could become a valuable contribution; in its present form, it requires substantial revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main construction in Theorem 2's proof violates the hypotheses of Theorem 1, and the violation is not subtle. You take S_3 as the cylinder x_2^2+(x_3-a)^2=(b-a)^2 and S_j as (x_1-p_j)^2+x_2^2=(b-a)^2. At the two points q_j^+ and q_j^- = (p_j, ±(b-a), a), both surfaces are smooth, but their tangent planes coincide: both gradients are (0, ±2(b-a), 0). So dim(T_qS_3 ∩ T_qS_j) = 2, while condition (3a) for l_1' = 2 requires dimension n-2 = 1. The author says the first and third conditions \"can be checked easily.\" They cannot. The stress-test note is correct, and the claimed check is false. The separate assertion that the circle S_j ∩ {x_3=a} meets the line L tangentially is also wrong: a circle centered on L of radius b-a intersects L in two points, and the tangent directions are perpendicular, not equal. These are not typos; they are load-bearing errors in the explicit data. Since Theorem 2 is proven by invoking Theorem 1 on these data, the proof collapses.\n\nThat said, the paper is not without merit. The problem it addresses is real, and the broad strategy is sensible: build a bounded region in R^3 from planes and cylinders, attach normal disk-bundles via the moment-like construction, then read off the genus of the preimage from the Reeb graph using Gelbukh's classification. That is a natural and potentially useful approach, and Theorem 1, if given a complete proof, could be a reusable tool. The paper also credits the smooth-category history fairly.\n\nBut the gaps are serious. Theorem 1's proof is itself a sketch, with \"We have checked that M is non-singular\" and no details. Theorem 3 is dismissed with \"can be checked easily.\" Even if the transversality issue were fixed by, say, taking cylinders of different radii or offsetting their axes, the current manuscript does not contain a valid proof.\n\nMy recommendation: do not desk-reject, but do not accept either. The idea is worth a referee's time, and a good referee could tell whether the construction can be repaired. The referee should be explicitly asked to verify the intersection geometry in Section 4. As it stands, the main theorem is unproven.","headline":"The proof of the main theorem fails a transversality condition the paper itself requires: the explicit cylinders are tangent, so the construction as written does not produce the claimed non-singular manifold.","tokens_in":676,"tokens_out":884,"would_cite":false,"duration_ms":61938,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14P05","14P25","57R45","58C05","57R19"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that every closed, connected, orientable surface can be realized as the preimage of a single point under a smooth function that is the restriction of a coordinate projection to a non-singular real algebraic manifold, with…","keywords":["real algebraic manifolds","real algebraic maps","Morse-Bott functions","Reeb graphs","moment-like maps","prescribed preimages","singular values","orientable surfaces"],"falsifier":"For a small case, such as the genus-2 example with l=4, write down the four polynomials defining the two planes and two cylinders, form M by the equations f_i(x)=||y_i||^2, and check that the Jacobian has full rank at every point where several f_i vanish; if any such point fails, M is not a non-singular real algebraic manifold. Alternatively, compute the Reeb graph of the fiber over a for that example and compare its first Betti number with 2.","tokens_in":9424,"feed_emoji":"🎯","tokens_out":8636,"duration_ms":80054,"temperature":0.7,"pith_summary":"The paper proves that Problem 1 has an affirmative answer whenever the prescribed manifold is a closed, connected, orientable surface. Concretely, for any such surface F and any interval [a,b], the author constructs a real algebraic function with image [a,b], with b as its only singular value, and with the fiber over a diffeomorphic to F. This is a construction result, not merely an existence result: the manifold and the function are given by explicit polynomial equations and coordinate projections. It answers the question in the real algebraic category for all orientable surfaces, generalizing earlier smooth-category constructions and the canonical projection of the sphere.","feed_headline":"One algebraic function realizes every orientable surface","feed_subtitle":"For any chosen genus, an explicit algebraic 3-manifold realizes that surface as its special fiber.","key_machinery":"The central object is the moment-like map reconstructed in Theorem 1. Starting with a bounded region D in R^n cut out by real polynomial inequalities f_j(x)>0 whose boundary components S_j satisfy a transversality condition, one forms the set M defined by the equations f_i(x)-||y_i||^2=0 in R^n times the product of Euclidean spaces; the theorem asserts M is a non-singular real algebraic manifold and that the canonical projection to R^n is a moment-like map with image D, locally a product of a Morse-Bott function and an identity map. In Theorem 2 this machinery is specialized to n=3, where D is bounded by two planes and a chain of cylinders, and the moment-like map is composed with the projection to one coordinate. The fiber over a is then understood through its Reeb graph, whose first Betti number encodes the genus of the fiber.","core_discovery":"Theorem 2 states that Problem 1 is affirmatively solved in the case F is a closed, connected and orientable surface in m=3. The proof builds a bounded region D in $R^{3}$ whose boundary is formed by two parallel planes and l-3 cylinders, uses Theorem 1 to reconstruct a non-singular real algebraic 3-manifold M from the polynomial equations f_i(x)=||y_i||^2, and then composes the resulting moment-like map with the projection to one coordinate. The fiber over a is shown to be a closed orientable surface whose genus is read off from the Reeb graph of a Morse-Bott function on the fiber: the graph has first Betti number l-2, so by the cited realization criterion the surface has genus l-2. Since l can be chosen arbitrarily, every genus occurs. Theorem 3 gives a companion construction in which a and b are the only two singular values and every level set is diffeomorphic to F.","pith_inferences":["If the transversality verification can be carried out in full detail, the same moment-like reconstruction should adapt to non-orientable surfaces by replacing some cylinders with one-sided hypersurfaces or by modifying the Reeb digraph; the paper does not claim this.","The region-and-polynomials template appears adaptable to higher-dimensional targets, as the paper's Problem 3 suggests: replacing the final projection with a projection to R^2 and using cylinders in R^4 could give maps whose fibers over interior points are higher-genus surfaces.","A testable consequence is that the genus of the prescribed fiber equals the number of cylinder walls minus two in the chain, so one could predict the level-set topology directly from the combinatorics of D and verify it computationally for small l."],"forward_implications":["For every genus g at least 0 there exists a non-singular real algebraic 3-manifold and a function on it with one singular value whose level set over a is a surface of genus g.","The construction is explicit: the manifold is the zero set of polynomial equations of the form f_i(x)=||y_i||^2, and the function is a coordinate projection, so the objects can be written down and checked.","The same interval endpoints can be shifted by affine change of coordinates, so any a