{"id":"3105d4fe-2273-479d-bf4f-61bfe25f1b5e","arxiv_id":"2508.19636","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The orbit component of a smooth function on a Klein bottle that splits into two Möbius bands is homotopy equivalent to the product of the orbit components of its restrictions to the two bands.","lead":"This mathematics paper studies the space of smooth functions on a Klein bottle, up to reparametrization by deformations. For functions that split the bottle into two Möbius bands, it proves that this space has the same homotopy type as the product of the two analogous spaces on the bands.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.1.1—the key linearization theorem—is only sketched and depends on an unpublished preprint [15]; the contractibility of D_+(K,α) and hence Theorem 1.1.2 hinge on it.","rationale":"I read the paper as a continuation of the program computing homotopy types of orbits of smooth functions on surfaces. The novel case is Klein bottle functions of type (a). The paper's structure is standard: classify via Kronrod-Reeb graph, reduce to diffeomorphism groups, use known stabilizer computations. The main geometric statements—Lemma 1.1.1, Lemma 5.2, Lemma 5.3—are plausible and mostly internally consistent. The single load-bearing external dependency is Theorem 3.1.1. It is used to prove D_+(K,α) contractible, which is essential for Lemma 5.2's identification of relative homotopy groups. The paper itself flags that this theorem lacks a published proof. The proof sketch relies on an unpublished linearization theorem; while likely true, the current manuscript does not make the argument checkable. This matches the reader's weakest_assumption. My concrete test would close the gap by proving the special case from published results. The verdict should remain CONDITIONAL: accept only if Theorem 3.1.1 is supplied. I did not find a circularity or fitting issue; the dependency is external, not internal inconsistency.","tokens_in":23821,"tokens_out":6748,"duration_ms":66813,"concrete_test":"Provide a complete proof of Theorem 3.1.1 for the special case needed: X = ∂M, a boundary circle of a Möbius band M (equivalently, a two-sided circle α in K). Concretely, verify that the inclusion D_nb(M,∂M) → D(M,∂M) is a homotopy equivalence by (a) writing an explicit fibration D_nb(M,∂M) → D(M,∂M) → C^∞(∂M,(0,∞)) via the 'transversal derivative' Tfib, (b) checking local triviality and that the base is contractible, and (c) confirming the fiber is exactly D_nb(M,∂M). If this cannot be established without quoting [15], then Theorem 1.1.2 should be marked as conditional on [15]. Alternatively, compute π0 and π1 of D_+(K,α) directly from known results (Earle–Schatz, Gramain) to see whether it is indeed contractible.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's main theorem 1.1.2 is proved through Lemma 5.2 and Lemma 5.3. Lemma 5.2 requires D_α = Did(K,α) to be contractible and π1D ≅ Z, facts obtained from Theorem 3.2.3. The contractibility of D_+(K,α) in Theorem 3.2.3 is deduced from Theorem 3.1.1, which asserts that D_nb(M,X) → D_+(M,X) is a homotopy equivalence for two-sided codimension-1 submanifolds. The authors explicitly state that no formal proof exists in the literature and cite their own unpublished preprint [15] for the 'linearization theorem' that makes the proof work. The proof sketch in Section 3.1 depends on three nonstandard ingredients: (i) D(M,X,p) ⊂ D(M,X) is a homotopy equivalence, (ii) Tfib is a locally trivial fibration with local cross-sections, and (iii) its image on D_+ is the contractible space C^∞(X,(0,∞)). If any of these fails for X=α in the Klein bottle (or for X=∂M_i in a Möbius band), D_+(K,α) may not be contractible, and Lemma 5.1(4)-(5) and the exact sequences in Lemma 5.2 lose their foundation. The conclusion O_f(f) ≃ O_{f1}(f1)×O_{f2}(f2) then has no proof. This is a genuine dependency on unpublished work, not a mere citation gap, because the main theorem's proof is not self-contained at this point.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"Let D(M) act on C^∞(M,R) by (f,h) ↦ f∘h. For f ∈ F(M), O_f(f) is the path-component of the orbit containing f. This paper treats functions on the Klein bottle K that satisfy case (a) of Lemma 1.1.1: a regular contour α splits K into two open Möbius bands with closures M1, M2. The main result, Theorem 1.1.2, asserts that O_f(f) is homotopy equivalent to O_{f1}(f1) × O_{f2}(f2), where fi = f|Mi, and that this equivalence is obtained through the orbit O^+(f,α) of f under diffeomorphisms fixed on α and preserving both M1 and M2. The proof in Section 5 has two parts: Lemma 5.2 proves the inclusion O_α ⊂ O is a homotopy equivalence by a diagram chase over exact sequences of pairs and by explicitly constructing a generator of π1(S,Sα) that maps to a generator of π1Did(K); Lemma 5.3 proves the restriction map to the two Möbius-band orbits is a homotopy equivalence by reducing to diffeomorphisms supported near α. Corollary 2.7 translates the result into an algebraic description of π1O_f(f).","tokens_in":24289,"tokens_out":27122,"duration_ms":277516,"significance":"If the missing input is supplied, the paper would close one of the remaining open cases in the long-standing program of computing homotopy types of orbits of smooth functions on surfaces. The reduction to previously computed Möbius-band orbits is natural, and the geometric construction in Lemma 5.2 is explicit and convincing. The paper is transparent about its main unproved input, Theorem 3.1.1, and about its dependence on the authors' unpublished preprint [15]; that transparency is helpful in assessing the result, but it is not a substitute for a proof. Apart from this dependency, I found no circularity in the main derivation.","major_comments":[{"comment":"Theorem 3.1.1 is load-bearing for Theorem 1.1.2. The authors explicitly state that no formal proof exists in the literature, and the proof they give depends on an unpublished 'linearization theorem' from [15] for two essential assertions: (i) D(M,X,p) ⊂ D(M,X) is a homotopy equivalence, and (ii) Tfib has local sections and is a locally trivial fibration over a union of path components of GL(E,X). Theorem 3.2.3 then uses Theorem 3.1.1 for (K,α) and (M_i,∂M_i) to conclude D_+(K,α) is contractible. This contractibility is used in Lemma 5.1(4) to identify S′(f,α) with S(f,α), in Lemma 5.2 to obtain (5.2) and the isomorphism ∂_{Dα,Sα}, and in Lemma 5.3 through the contractibility of D_α and D_i. If any of these unproved ingredients fails for X=α or X=∂M_i, the proof of Theorem 1.1.2 collapses. The manuscript itself supplies no proof of Theorem 3.1.1, and [15] is unpublished. This is not a mer","section":"§3.1, Theorem 3.1.1; used in Theorem 3.2.3 and Lemmas 5.1–5.3"},{"comment":"Table 2.1 states contractibility for Did(M,X), not for the full group D(M,X). In the proof of Theorem 3.2.3, the authors write 'by Table 2.1 (first line) the groups D(M_i, α) are contractible'; taken literally this is false, since the full diffeomorphism group of a Möbius band with fixed boundary has nontrivial path components. What is needed is Did(M_i, α). The same ambiguity occurs in Lemma 5.3, where D_i := D(f_i, ∂M_i) is introduced and then asserted to be contractible; it must mean Did(M_i, ∂M_i). Because the contractibility of these groups is essential to Lemmas 5.2 and 5.3, the notation should be corrected and a consistent convention stated.","section":"§3.2 and §5.3, notation D vs Did"}],"minor_comments":[{"comment":"The notation D(M,X,p) is defined twice in the same paragraph, and the phrase 'assumption that X is one-sided' should read 'two-sided' (or 'codimension-one') to agree with the theorem's hypotheses.","section":"§3.1, proof of Theorem 3.1.1"},{"comment":"Relative homotopy groups such as π1(S,Sα) and π1(D,S) are treated as groups in the Five Lemma argument. In general π1(X,A) is only a pointed set; the identifications with π1D+(α) and π1O coming from (5.2) and the fibration exact sequences should be stated explicitly so that the group structure is unambiguous.","section":"§5.2, diagram in Lemma 5.2"}],"recommendation":"major_revision","confidential_remarks":"The main concern is whether the unpublished preprint [15] can be trusted. I do not view the heavy self-citation pattern as disqualifying, since most cited results are published and concern other surfaces. The correct fix is to make Theorem 3.1.1 self-contained or to replace it with a published proof. Otherwise the paper appears to be a serious contribution to the program."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First: this is a solid, useful paper in the Maksymenko school's long-running project on homotopy types of orbits of smooth functions on surfaces. The new result is that for a function on a Klein bottle with a regular contour splitting the bottle into two Möbius bands, the orbit component O_f(f) is homotopy equivalent to the product of the orbit components of the restrictions to the two Möbius bands. That is the first computation of this kind for the Klein bottle, and it is a real increment: it yields explicit fundamental groups via the known Möbius band data. The trichotomy lemma for F(K,R) (tree with two Möbius band sides / tree with one critical contour / one cycle) is also new and proved cleanly with a nice directed-tree argument.\n\nThe main proof is a competent diagram chase. Lemma 5.2 reduces the inclusion of orbit components to an isomorphism of relative fundamental groups, then constructs an explicit isotopy near α to show the map η is an isomorphism. Lemma 5.3 is a short, believable fibration argument. The reliance on prior results from the same group is heavy, but each imported result is either published or clearly cited; no fitting or circularity. The authors are also honest about what is not yet settled.\n\nThe soft spot is exactly where the reader and the authors put their finger on it: Theorem 3.1.1, that D_nb(M,X) → D_+(M,X) is a homotopy equivalence for two-sided codimension-one submanifolds. The proof is only a sketch, and the load-bearing linearization theorem sits in the unpublished preprint [15]. That theorem is what makes D_+(K,α) contractible in Theorem 3.2.3, and without it Lemma 5.2 loses its foundation. The statement itself is plausible and close to standard in diffeomorphism group theory, so I do not think the main theorem is false—but the paper as written is not self-contained at a critical juncture. The authors acknowledge this, which is fair, but it still needs fixing: either a complete proof of Theorem 3.1.1 or a published reference for the linearization step.\n\nVerdict: worth sending to a referee, with the expectation that the report will ask for that gap to be closed. The paper is coherent, new, and correctly packaged for the specialist audience. If I worked on orbit spaces of functions, I would cite it. For a general reading group it might be too deep into the weeds; for the topology-of-function-spaces community it is exactly on target.","headline":"Genuine first Klein bottle orbit computation in an established program, but the proof leans on an unpublished linearization theorem that needs a real reference.","tokens_in":24705,"tokens_out":5845,"would_cite":true,"duration_ms":61566,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57S05","57R45","37C05"],"pacs":[],"model":"deepseek-v4-flash","headline":"A Klein-bottle function split by a regular contour has an orbit homotopy equivalent to the product of its two Möbius-band restrictions.","keywords":["Klein bottle","Möbius band","orbit of function","homotopy type","diffeomorphism group","Kronrod-Reeb graph","Morse functions","stabilizer"],"falsifier":"Take a Möbius band and a two-sided circle X in its interior; compute the homotopy groups of the quotient D_+(M,X)/D_nb(M,X). If any are nonzero, Theorem 3.1.1 is false and the contractibility of D_+(K,α) would not follow, breaking the proof of the main theorem. A simpler check: verify whether the inclusion D_nb(M,X) → D_+(M,X) induces an isomorphism on π0 for X a circle in a disk.","tokens_in":23734,"feed_emoji":"✂️","tokens_out":8916,"duration_ms":83081,"temperature":0.7,"pith_summary":"This paper computes the homotopy type of the orbit of a smooth function on a Klein bottle under the surface's diffeomorphism group, for the class of functions that have a regular contour cutting the bottle into two Möbius bands. The central result is that this orbit is homotopy equivalent to the product of the orbits of the two restricted functions on the Möbius bands. Since the orbit types on Möbius bands were computed earlier, the theorem turns an open case—the Klein bottle—into a known one, and describes the fundamental group of the orbit explicitly as a product of wreath-product groups. The proof works by showing that restricting to diffeomorphisms that preserve the cutting contour and the two bands loses no homotopical information, and that projecting to the two bands is a homotopy equivalence.","feed_headline":"Klein-bottle function orbits factor into Möbius-band pieces","feed_subtitle":"Cutting a Klein bottle along a regular contour splits the orbit's homotopy type into two known parts","key_machinery":"The central mechanism is a pair of maps between orbit spaces: j, the inclusion of the orbit under diffeomorphisms that fix the cutting contour α and preserve the two Möbius bands, and ρ, which restricts such a deformed function to each band. The argument reduces the homotopy comparison to diffeomorphism groups. Theorem 3.1.1 states that on a surface, diffeomorphisms fixed near a two-sided codimension-1 submanifold are homotopy equivalent to those fixed on it and preserving its two sides; this (given only a proof sketch, with the key linearization result cited to an unpublished preprint) is used to prove that D_+(K,α)—diffeomorphisms of the Klein bottle fixed on α and preserving both bands—is","core_discovery":"Let f be a smooth function on the Klein bottle whose critical points are locally equivalent to homogeneous polynomials, and suppose a regular contour α splits K into two open Möbius bands M1, M2. Theorem 1.1.2 states that the path component O_f(f) of the orbit of f is homotopy equivalent to O_{f1}(f1) × O_{f2}(f2), where fi is the restriction of f to the closed band Mi. The proof factorizes through the orbit O_f^+(f, α) of f under diffeomorphisms fixing α and leaving the two bands invariant: the inclusion j: O_f^+(f,α) → O_f(f) is a homotopy equivalence (Lemma 5.2), and the restriction map ρ: O_f^+(f,α) → O_{f1}(f1) × O_{f2}(f2) is a homotopy equivalence (Lemma 5.3). Because both orbits are","pith_inferences":["The same 'split along a regular contour and multiply the pieces' strategy could be tested on other surfaces admitting a similar one-sided decomposition, for instance higher-genus non-orientable surfaces with a separating two-sided curve.","Because the proof depends on a linearization theorem that is only sketched, a fully checkable version of the paper would need a published proof of Theorem 3.1.1; until then, the main theorem should be read as conditional on that statement.","The geometric generator loop—a symmetry that turns once around α—suggests a hands-on way to compute generators of π1 of stabilizers for any function with a circle family of contours, possibly giving a direct route to the fundamental group without passing through the full orbit computation.","If the product decomposition holds at the level of fundamental groups, the homotopy equivalence likely descends to the whole aspherical space, so homological invariants of the orbit would combine multiplicatively via the Künneth theorem."],"forward_implications":["The orbit O_f(f) is an aspherical space, so its homotopy type is captured by its fundamental group, which now has an explicit description as a product of one group from class B and two Möbius-band wreath-product factors.","For the class of functions in case (a), the previously computed orbit types on Möbius bands in [25] become directly applicable to the Klein bottle.","Diffeomorphisms that fix the splitting contour and preserve the two bands already capture the full deformational symmetry of f up to homotopy; no homotopical information is lost by restricting to them.","The remaining two classes of Klein-bottle functions—those with a unique critical contour bounding a disk, and those whose Kronrod–Reeb graph contains a unique cycle—are left to a sequel, so this paper establishes the first of three cases."],"supporting_citations":[{"why":"Supplies the explicit homotopy types of orbits of functions on Möbius bands, the factors that the product formula combines.","marker":"[25]"},{"why":"Establishes the general structure theorem for stabilizers and orbits of Morse functions on surfaces (orbit is a Fréchet submanifold; fibration by stabilizer).","marker":"[27]"},{"why":"Provides the f-regular neighborhood lemma used to replace stabilizers by their 'fixed near a contour' versions in the restriction argument.","marker":"[34]"},{"why":"The unpublished preprint containing the linearization theorem on which Theorem 3.1.1, and hence the contractibility of D_+(K,α), rests.","marker":"[15]"},{"why":"Classifies simple closed curves in the Klein bottle and supplies the Y-homeomorphism and Dehn-twist generators used to describe π0 of the diffeomorphism group.","marker":"[26]"},{"why":"Gives the homotopy type of the identity component of the diffeomorphism group of the Klein bottle (and other compact surfaces), used in Theorem 3.2.3.","marker":"[13]"},{"why":"Provides the implicit-function theorem giving the orbit the structure of a finite-codimension Fréchet submanifold with a locally trivial action fibration.","marker":"[41]"},{"why":"Used to show the restriction map from the stabilizer to the circle α is a locally trivial fibration, yielding the relative homotopy groups in Lemma 5.1.","marker":"[14]"}],"fun_headline_variants":["Klein bottle functions decompose into Möbius band orbits","Orbit of Klein bottle function splits into two Möbius parts","Klein bottle orbit equals product of Möbius band orbits","Splitting a Klein bottle yields product orbit type"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The proof leans on the claim—for which the paper gives only a sketch and cites an unpublished preprint—that on a surface, diffeomorphisms fixed in a neighborhood of a two-sided circle are homotopy equivalent to diffeomorphisms fixed on the circle and preserving its two sides.","fun_headline_variants_meta":{"raw":{"variants":["Klein bottle functions decompose into Möbius band orbits","Orbit of Klein bottle function splits into two Möbius parts","Klein bottle orbit equals product of Möbius band orbits","Splitting a Klein bottle yields product orbit type"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000769,"raw_usage":{"total_tokens":3374,"prompt_tokens":1001,"completion_tokens":2373,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":745,"completion_tokens_details":{"reasoning_tokens":2301}},"tokens_in":745,"tokens_out":2373,"duration_ms":17485,"temperature":1.0,"reasoning_tokens":2301,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T15:36:24.316076+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a Möbius band and a two-sided circle X in its interior; compute the homotopy groups of the quotient D_+(M,X)/D_nb(M,X). If any are nonzero, Theorem 3.1.1 is false and the contractibility of D_+(K,α) would not follow, breaking the proof of the main theorem. A simpler check: verify whether the inclusion D_nb(M,X) → D_+(M,X) induces an isomorphism on π0 for X a circle in a disk.","supporting_citations":[{"cited_title":"Deformational symmetries of smooth functions on non- orientable surfaces","cited_arxiv_id":null,"evidence_quote":"Supplies the explicit homotopy types of orbits of functions on Möbius bands, the factors that the product formula combines."},{"cited_title":"Maksymenko","cited_arxiv_id":null,"evidence_quote":"Establishes the general structure theorem for stabilizers and orbits of Morse functions on surfaces (orbit is a Fréchet submanifold; fibration by stabilizer)."},{"cited_title":"Khokhliuk and S","cited_arxiv_id":null,"evidence_quote":"The unpublished preprint containing the linearization theorem on which Theorem 3.1.1, and hence the contractibility of D_+(K,α), rests."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Classifies simple closed curves in the Klein bottle and supplies the Y-homeomorphism and Dehn-twist generators used to describe π0 of the diffeomorphism group."},{"cited_title":"Le type d’homotopie du groupe des diff´ eomorphismes d’une surface compacte","cited_arxiv_id":null,"evidence_quote":"Gives the homotopy type of the identity component of the diffeomorphism group of the Klein bottle (and other compact surfaces), used in Theorem 3.2.3."},{"cited_title":"Un th´ eor` eme de fonctions implicites sur certains espaces de Fr´ echet et quelques applications","cited_arxiv_id":null,"evidence_quote":"Provides the implicit-function theorem giving the orbit the structure of a finite-codimension Fréchet submanifold with a locally trivial action fibration."},{"cited_title":"Khokhliuk and S","cited_arxiv_id":null,"evidence_quote":"Used to show the restriction map from the stabilizer to the circle α is a locally trivial fibration, yielding the relative homotopy groups in Lemma 5.1."}],"review_version":1}