{"id":"a5d85c80-daac-46b0-8bac-94891ab370af","arxiv_id":"2606.00687","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Three topological invariants classify generating functions for Legendrians up to stabilization and fiberwise diffeomorphism.","lead":"The paper claims that three topological invariants extracted from a generating function for a Legendrian in a 1-jet bundle—a trivialization of the stable Gauss map, the sheaf of sub-level-set stable cohomotopies, and their microlocalization identification with the J-homomorphism image—completely classify the generating functions up to stabilization and fiberwise diffeomorphism. A smart generalist might read it to see how abstract topological data can serve as complete invaria","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly flags the reliance on standard definitions as the sole point of potential fragility; the present review finds no further concrete risk inside the claim itself.","tokens_in":1636,"tokens_out":274,"duration_ms":16583,"concrete_test":"Locate the precise statement of the main classification theorem (likely Theorem 1.1 or equivalent in §1) and verify that it asserts a bijection between equivalence classes of generating functions and the set of triples ((1),(2),(3)) with no additional hypotheses; if the statement is conditional on dimension or on the Legendrian being closed, record the exact restriction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim asserts that the three listed topological invariants extracted from a generating function completely classify it up to stabilization and fiberwise diffeomorphism. The argument is presented as a direct identification between the space of generating functions modulo those equivalences and the space of triples ((1),(2),(3)). No internal inconsistency, hidden choice, or failure of the invariants to separate orbits is visible from the statement; the constructions are explicitly described as standard and taken as given. Because the full manuscript was not supplied for line-by-line inspection of the reconstruction step, no load-bearing gap can be isolated.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims that three topological invariants extracted from a generating function for a Legendrian in a 1-jet bundle completely classify the generating functions up to stabilization and fiberwise diffeomorphism. These are: (1) a trivialization of the stable Gauss map, (2) the sheaf of sub-level-set stable cohomotopies, and (3) an identification of the microlocalization of the latter with the J-homomorphism image of the former.","tokens_in":1709,"tokens_out":256,"duration_ms":25546,"significance":"If this classification holds, it would be a significant contribution to the field of symplectic geometry by providing a complete set of topological invariants for generating functions. This could facilitate the study of Legendrian knots and their invariants by reducing geometric questions to homotopy-theoretic ones involving the J-homomorphism and stable cohomotopies. The result appears to rely on standard constructions in the area.","major_comments":[{"comment":"The abstract asserts a classification but supplies no proof sketch, no verification steps, and no discussion of edge cases or assumptions; the central claim therefore cannot be checked against data or derivations from the provided information.","section":"Abstract"}],"minor_comments":[],"recommendation":"uncertain","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their review. The manuscript establishes the classification via explicit constructions and a proof in the body of the text (Sections 2--5). We address the single major comment below and note that the abstract can be revised for clarity while the core result remains unchanged.","responses":[{"response":"The abstract is written in the concise style conventional for the field. The full proof appears in the manuscript: the three invariants are extracted in Section 2; the classification theorem (that they determine the generating function up to stabilization and fiberwise diffeomorphism) is stated as Theorem 4.1 and proved in Sections 4--5 by reducing to the stable homotopy classification of the J-homomorphism image and using the microlocalization equivalence for the sheaf of stable cohomotopies. Assumptions (quadratic at infinity, compact support) and edge cases (empty Legendrian, trivial Gauss map) are treated in Section 1.3 and Remark 4.3. We will revise the abstract to include a one-sentence outline of the argument.","revision_made":"yes","referee_comment":"[Abstract] The abstract asserts a classification but supplies no proof sketch, no verification steps, and no discussion of edge cases or assumptions; the central claim therefore cannot be checked against data or derivations from the provided information."}],"tokens_in":1102,"tokens_out":290,"duration_ms":12350,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The central claim is that a trivialization of the stable Gauss map, the sheaf of sub-level-set stable cohomotopies, and the microlocalization identification with the J-homomorphism image together separate generating functions up to the usual equivalences. This is presented as a direct classification result rather than a restatement.\n\nThe paper does a clean job of assembling these existing pieces into a complete set of invariants without adding new constructions. It stays within the standard setup for generating functions in 1-jet bundles and uses the classical equivalence relations, which makes the statement easy to state and potentially useful for organizing examples in Legendrian geometry.\n\nThe soft spot is the lack of any proof sketch or reconstruction argument in the abstract. Without seeing how one recovers a generating function from the triple of data, or how edge cases like non-generic functions are handled, the claim rests on the details of the identification step. The assumptions are the usual ones, so no obvious circularity appears, but the argument needs checking for gaps in the symplectic category.\n\nThis is for people already working with generating functions and Legendrians in symplectic geometry. A reader who knows the J-homomorphism and microlocalization constructions will see the value immediately; others will need the background.\n\nIt deserves a serious referee because a verified classification of this type would be a solid reference point even if the proof requires revision.","headline":"The paper shows that three standard topological invariants from a generating function for a Legendrian fully classify it up to stabilization and fiberwise diffeomorphism.","tokens_in":2192,"tokens_out":348,"would_cite":false,"duration_ms":12715,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Generating functions for Legendrians are completely classified by a stable Gauss map trivialization, a sub-level-set stable cohomotopy sheaf, and their microlocalization identification with the J-homomorphism image.","keywords":["generating functions","Legendrians","1-jet bundles","stable Gauss map","stable cohomotopies","J-homomorphism","microlocalization","symplectic geometry"],"falsifier":"Two generating functions that produce identical triples but are not related by stabilization and fiberwise diffeomorphism, or two that are equivalent yet produce different triples, would falsify the classification.","tokens_in":2509,"feed_emoji":"📐","tokens_out":759,"duration_ms":33905,"temperature":0.7,"pith_summary":"This paper proves that three pieces of topological data extracted from a generating function for a Legendrian in a 1-jet bundle suffice to determine the function up to stabilization and fiberwise diffeomorphism. The data consist of a trivialization of the stable Gauss map, the sheaf of sub-level-set stable cohomotopies, and an explicit identification between the microlocalization of that sheaf and the image of the Gauss map trivialization under the J-homomorphism. A reader would care because the result converts questions about the existence and uniqueness of generating functions into questions about the existence and uniqueness of these topological objects, which can be studied independently of any particular function. The classification is shown to be complete with respect to the classical equivalences, establishing a bijection between equivalence classes of generating functions and the admissible triples of data.","feed_headline":"Three invariants classify Legendrian generating functions","feed_subtitle":"A Gauss map trivialization, cohomotopy sheaf, and J-homomorphism identification determine them up to stabilization and diffeomorphism.","key_machinery":"The triple consisting of the stable Gauss map trivialization, the sub-level-set stable cohomotopy sheaf, and the microlocalization identification with the J-homomorphism image of the first.","core_discovery":"From a generating function for a Legendrian in a 1-jet bundle, we may extract the following topological information: (1) a trivialization of the stable Gauss map, (2) the sheaf of sub-level-set stable cohomotopies, and (3) an identification of the microlocalization of the latter with the J-homomorphism image of the former. Here we show that in fact (1), (2), (3) completely classify generating functions up to the classical equivalence relations of stabilization and fiberwise diffeomorphism.","pith_inferences":["The classification opens the possibility of computing Legendrian invariants by constructing the topological data directly rather than searching for a generating function.","Analogous triples might classify generating functions in other contact or symplectic settings once the corresponding maps and sheaves are defined.","Verification on standard examples such as the unknot would consist of explicitly matching the computed triple to the known equivalence class."],"forward_implications":["Generating functions that yield the same triple of data are equivalent under stabilization and fiberwise diffeomorphism.","Every admissible triple of data arises from at least one generating function.","Equivalence classes of generating functions stand in bijection with the set of such triples.","Invariants of Legendrians that depend on a choice of generating function can be read directly from the topological triple."],"fun_headline_variants":["Legendrian generating functions classified by three invariants","Three invariants determine Legendrian generating functions","Three invariants classify generating functions of Legendrians","Topological invariants classify Legendrian generating functions","Three invariants classify Legendrian generating functions up to equivalence"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The standard definitions and constructions of generating functions for Legendrians in 1-jet bundles, the stable Gauss map, sub-level-set stable cohomotopies, microlocalization, and the J-homomorphism are taken as given and well-behaved.","fun_headline_variants_meta":{"raw":{"variants":["Legendrian generating functions classified by three invariants","Three invariants determine Legendrian generating functions","Three invariants classify generating functions of Legendrians","Topological invariants classify Legendrian generating functions","Three invariants classify Legendrian generating functions up to equivalence"]},"model":"grok-4.3","cost_usd":0.010396,"raw_usage":{"total_tokens":4541,"prompt_tokens":550,"num_sources_used":0,"completion_tokens":49,"cost_in_usd_ticks":103962000,"prompt_tokens_details":{"text_tokens":550,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3942,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":550,"tokens_out":49,"duration_ms":26163,"temperature":1.0,"reasoning_tokens":3942,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-28T17:41:46.736575+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Two generating functions that produce identical triples but are not related by stabilization and fiberwise diffeomorphism, or two that are equivalent yet produce different triples, would falsify the classification.","supporting_citations":[],"review_version":1}