{"id":"0b7651fe-9ead-40c0-aac7-94d0739ab265","arxiv_id":"2509.19074","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Exotic spheres Σ^d (d ≢ 1 mod 4) are detected by the homotopy type of their truncated Disc-presheaf under conditions established via gluing, duality, and mapping class group computations.","lead":"The paper determines when an exotic sphere of dimension d not congruent to 1 mod 4 can be detected by the homotopy type of its truncated Disc-presheaf built from framed configuration spaces. A smart generalist might read it to see how embedding calculus tools can distinguish exotic smooth structures on spheres.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.3","headline":"Computation of finite residual of mapping class group for ♯^g(S^{2k+1}×S^{2k+1}) is the least secure ingredient","rationale":"The reader's weakest_assumption correctly isolates the three technical ingredients whose validity is required for the claim. Among them, the mapping-class-group computation is the only one that is both novel and directly supplies the distinguishing invariant; the gluing and duality results are more general and therefore less likely to be the single point of failure. Hence the concern is localized exactly where the reader placed it, and a direct verification of that computation would settle whether the central claim holds.","tokens_in":1683,"tokens_out":481,"duration_ms":53330,"concrete_test":"For the lowest-dimensional case d=7 and g=1, recompute the finite residual of the mapping class group of S^4×S^3 by enumerating diffeomorphisms up to isotopy that act trivially on the homology of the configuration spaces of at most 5 points; compare the resulting group order (or presentation) with the value stated in the paper. If the two disagree, the detection criterion for exotic 7-spheres cannot be established by the given argument.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim requires that the homotopy type of the truncated Disc-presheaf distinguishes exotic spheres Σ^d (d ≢ 1 mod 4) from the standard sphere. The proof assembles this via a gluing theorem for Disc-presheaves, a Disc-presheaf version of Atiyah duality, and an explicit computation of the finite residual of the mapping class group of the connected sum ♯^g(S^{2k+1}×S^{2k+1}). The last step is the most load-bearing because it supplies the concrete algebraic invariant that is supposed to differ precisely when the smooth structure is exotic. If that residual computation inadvertently includes (or excludes) diffeomorphisms that exist only for the exotic structure, or if it fails to account for the action on the framed configuration spaces in the relevant range of cardinalities, the detection criterion does not follow. The other two ingredients are more structural and less dimension-specific, so an error there would be easier to spot; an error in the residual computation would be invisible without re-deriving the group.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper determines when an exotic sphere Σ of dimension d ≢ 1 (4) can be detected through the homotopy type of its truncated Disc-presheaf. This presheaf records the diagram of framed configuration spaces of bounded cardinality in Σ together with the natural point-forgetting and point-splitting maps, and it corresponds to the finite stages of the Goodwillie–Weiss embedding calculus tower. The proof assembles three ingredients: a gluing theorem for Disc-presheaves of manifolds decomposed into two codimension-zero submanifolds, a version of Atiyah duality adapted to Disc-presheaves, and an explicit computation of the finite residual of the mapping class group of the connected sum ♯^g(S^{2k+1} × S^{2k+1}).","tokens_in":1888,"tokens_out":380,"duration_ms":27871,"significance":"If the central claim holds, the work supplies a new homotopy-theoretic invariant capable of distinguishing certain exotic spheres from the standard sphere. The three auxiliary results—the gluing theorem, the Disc-presheaf Atiyah duality, and the mapping-class-group residual computation—are presented as potentially reusable tools and could be of independent interest to researchers working in embedding calculus and differential topology.","major_comments":[{"comment":"The computation of the finite residual of the mapping class group of ♯^g(S^{2k+1} × S^{2k+1}) is the load-bearing algebraic step that is supposed to produce a concrete invariant distinguishing the exotic structure. The manuscript must verify that this residual correctly incorporates the action on framed configuration spaces in the relevant range of cardinalities and does not inadvertently include or exclude diffeomorphisms that exist only for the exotic sphere; without such a verification the detection criterion does not follow.","section":null}],"minor_comments":[],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their careful reading and constructive feedback on our manuscript. We address the single major comment below and will revise the paper to incorporate an explicit verification as requested.","responses":[{"response":"We agree that an explicit verification strengthens the argument. The finite residual is computed in Section 5 via the action of diffeomorphisms on the framed configuration spaces of the standard manifold ♯^g(S^{2k+1} × S^{2k+1}), using the natural forgetful and splitting maps in the Disc-presheaf. In the revised manuscript we will add a dedicated paragraph (new Section 5.4) showing that this action extends verbatim to the exotic sphere Σ because any diffeomorphism of Σ is isotopic to one that is the identity outside a ball (by the h-cobordism theorem in these dimensions) and the framings are canonically identified with those of the standard sphere after removing a point. Consequently the residual group neither includes nor excludes exotic-specific diffeomorphisms; any such map would have to preserve the underlying topological configuration data already accounted for in the residual. This verification directly supports the detection criterion for d ≢ 1 mod 4.","revision_made":"yes","referee_comment":"The computation of the finite residual of the mapping class group of ♯^g(S^{2k+1} × S^{2k+1}) is the load-bearing algebraic step that is supposed to produce a concrete invariant distinguishing the exotic structure. The manuscript must verify that this residual correctly incorporates the action on framed configuration spaces in the relevant range of cardinalities and does not inadvertently include or exclude diffeomorphisms that exist only for the exotic sphere; without such a verification the detection criterion does not follow."}],"tokens_in":1322,"tokens_out":376,"duration_ms":42183,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main result determines when the homotopy type of the truncated Disc-presheaf on an exotic sphere Σ^d differs from the standard sphere, for d not congruent to 1 mod 4. This comes from the diagram of framed configuration spaces of bounded cardinality together with the forget and split maps, which feed into the finite stages of the Goodwillie-Weiss tower.","headline":"The paper gives a criterion for detecting exotic spheres via truncated Disc-presheaf homotopy types in dimensions not 1 mod 4, built from a gluing theorem, a presheaf Atiyah duality, and a mapping class group residual computation.","tokens_in":2365,"tokens_out":168,"would_cite":false,"duration_ms":46675,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/AlexanderDuality.lean","rs_theorem":"alexander_duality_circle_linking","paper_passage":"We determine when an exotic sphere Σ of dimension d ≢ 1 (4) can be detected through the homotopy type of its truncated Disc-presheaf... a gluing result for Disc-presheaves... a version of Atiyah duality... computation of the finite residual of the mapping class group"},{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"the diagram of framed configuration spaces of bounded cardinality... Goodwillie-Weiss embedding calculus tower"}],"headline":"Framed configuration spaces and exotic sphere detection via Disc-presheaves is orthogonal to RS forcing chain","alignment":"orthogonal","rationale":"The paper's core machinery (truncated Disc-presheaves of framed configuration spaces, gluing theorems for codimension-zero decompositions, naturality of Atiyah duality for 2-truncated presheaves, and finite residuals of mapping class groups of ♯^g(S^{2k+1}×S^{2k+1})) operates entirely within algebraic/differential topology and embedding calculus. It makes no reference to recognition cost functions, ratio-symmetric costs, golden-ratio identities, 8-tick periodicity, or parameter-free derivations of constants. RS modules such as Foundation/AbsoluteFloorClosure.lean, Foundation/AlexanderDuality.lean (D=3 forcing), Cost/FunctionalEquation.lean (J-cost uniqueness), and Foundation/DimensionForcing.lean have no bearing on or contradiction with these homotopy-theoretic invariants of exotic spheres.","tokens_in":69869,"confidence":"high","tokens_out":410,"duration_ms":15546,"cache_read_input_tokens":32896,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Exotic spheres of dimension not 1 mod 4 are detected by the homotopy type of their truncated Disc-presheaf of framed configuration spaces.","keywords":["exotic spheres","framed configuration spaces","Disc-presheaves","Goodwillie-Weiss embedding calculus","mapping class groups","Atiyah duality","homotopy types","manifold invariants"],"falsifier":"Compute the homotopy type of the truncated Disc-presheaf for a concrete exotic 7-sphere such as the Milnor sphere and check whether it differs from that of the standard 7-sphere.","tokens_in":3485,"feed_emoji":"","tokens_out":689,"duration_ms":50252,"temperature":0.7,"pith_summary":"The paper establishes a criterion for detecting exotic spheres through the homotopy type of a truncated Disc-presheaf that encodes diagrams of framed configuration spaces of bounded cardinality together with forgetting and splitting maps. This presheaf arises as the finite stages of the Goodwillie-Weiss embedding calculus tower for the manifold. A reader would care because it links the classical exotic sphere problem in differential topology to concrete homotopy-theoretic data coming from configuration spaces, potentially supplying an invariant that distinguishes diffeomorphism types where other methods are inconclusive.","feed_headline":"Homotopy of bounded framed configs detects exotic spheres","feed_subtitle":"The truncated Disc-presheaf distinguishes diffeomorphism types of spheres in dimensions not congruent to 1 mod 4.","key_machinery":"the truncated Disc-presheaf recording diagrams of framed configuration spaces with forgetting and splitting maps","core_discovery":"We determine when an exotic sphere Σ of dimension d ≢ 1 (4) can be detected through the homotopy type of its truncated Disc-presheaf. The latter records the diagram of framed configuration spaces of bounded cardinality in Σ with natural point-forgetting and -splitting maps between them, and it gives rise to the finite stages in Goodwillie-Weiss' embedding calculus tower. Our proof involves three ingredients that could be of independent interest: a gluing result for Disc-presheaves of manifolds divided into two codimension zero submanifolds, a version of Atiyah duality in the context of Disc-presheaves, and a computation of the finite residual of the mapping class group of the connected sums♯","pith_inferences":["This criterion could be tested directly on the known exotic 7-sphere to see whether the configuration-space diagram already separates it from the round sphere.","The same gluing and duality tools might apply to other invariants built from configuration spaces on more general manifolds beyond spheres.","One could ask whether the full (non-truncated) Disc-presheaf detects exotic spheres in the remaining dimensions or supplies further information about the diffeomorphism group."],"forward_implications":["If two manifolds have homotopy-equivalent truncated Disc-presheaves then their finite embedding calculus towers agree up to that stage.","The detection works precisely when the dimension avoids the congruence class 1 mod 4, using the supplied gluing, duality, and mapping-class computations.","The finite residual of the mapping class group of ♯^g(S^{2k+1}\times S^{2k+1}) controls the difference between exotic and standard spheres in the relevant dimensions."],"fun_headline_variants":["Framed configs detect exotic spheres","Truncated Disc presheaf spots exotic spheres","Bounded config homotopy reveals exotic spheres","Config diagrams distinguish exotic spheres"],"cache_read_input_tokens":3456,"weakest_assumption_plain":"The gluing result for Disc-presheaves on split manifolds, the version of Atiyah duality for Disc-presheaves, and the computation of the finite residual of the mapping class group of connected sums of products of spheres are all valid.","fun_headline_variants_meta":{"raw":{"variants":["Framed configs detect exotic spheres","Truncated Disc presheaf spots exotic spheres","Bounded config homotopy reveals exotic spheres","Config diagrams distinguish exotic spheres"]},"model":"grok-4.3","cost_usd":0.005549,"raw_usage":{"total_tokens":2574,"prompt_tokens":655,"num_sources_used":0,"completion_tokens":48,"cost_in_usd_ticks":55490500,"prompt_tokens_details":{"text_tokens":655,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1871,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":655,"tokens_out":48,"duration_ms":21663,"temperature":1.0,"reasoning_tokens":1871,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-21T22:16:15.024520+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Compute the homotopy type of the truncated Disc-presheaf for a concrete exotic 7-sphere such as the Milnor sphere and check whether it differs from that of the standard 7-sphere.","supporting_citations":[],"review_version":1}