{"id":"460b0994-2255-4dbc-8cd1-90e778212aa2","arxiv_id":"1908.04442","paper_version":3,"verdict":"REJECT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Introduces B^k_{\\alpha,\\beta}-manifolds and proves conditional existence and adjunction theorems, but the central proof contains unproven steps.","lead":"This paper introduces a very general categorical notion of manifold, called B^k_{\\alpha,\\beta}-manifold, that is meant to cover G-structures, Sobolev manifolds, and bounded geometry as special cases. The main theorems claim full embeddings of certain presheaf categories and, under extra assumptions, that every C^k-manifold admits one of these structures.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The right-absorbing half of Theorem B rests on an unproved inversion-closure: Theorem 6.1 needs r(phi_ji)^{-1} to be a (B,k,alpha,beta)-function, but the Section 6 definition of Diff^k_{alpha,beta} only gives B-regular C^k diffeomorphisms.","rationale":"The reader's weakest assumption identifies the same load-bearing premise: the proof of Theorem 6.1 needs r(phi_ji)^{-1} to be a (B,k,alpha,beta)-function, but this is never established. I agree that this is the most direct obstruction to the central claim. The additional point about Proposition 2.1 being false is also valid and further weakens the supplied examples, but the inversion-closure gap alone is enough to make the right-absorbing version of Theorem B unsupported as written. Since the central existence theorem is not proven under the stated hypotheses, the reader's REJECT verdict remains appropriate.","tokens_in":28091,"tokens_out":18508,"duration_ms":189198,"concrete_test":"Check inversion-closure directly: instantiate B = L^p with alpha(i) = p and beta(i) = i in the standard vectorial intersection structure (Section 3, Example 3.4), and take a C^1 diffeomorphism f : R -> R with f' - 1 and f'' in L^p but f' arbitrarily small on a sequence of intervals whose total contribution makes D(f^{-1}) fail to lie in L^p. Compute D(f^{-1})(y) = 1/(f'(f^{-1}(y))) and the second-derivative expression f''(f^{-1}(y))/(f'(f^{-1}(y)))^3; if either fails to be in L^p, then Diff^k_{alpha,beta} is not closed under inverses and the assertion in Theorem 6.1 is false under the paper's own definitions. Alternatively, search Sections 5-6 for any axiom or lemma proving inverse closure; none appears.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 6.1 the new transition functions are written as phi_{k;l} ∘ phi_{j;i}^{-1} = r(phi_{kl}) ∘ phi_{li} ∘ r(phi_{ji})^{-1}. The text then asserts that r(phi_{ji})^{-1} is a (B,k,alpha,beta)-function and uses the ordering hypothesis to compose it with the left factor. This assertion is not derivable from the stated definition. In Section 6, Diff^k_{alpha,beta}(U,V;X) is defined as the largest subset of B^k_{alpha,beta}(U,V;X) for which a dotted arrow to Diff^k(U,V) exists; that is, a B-regular C^k diffeomorphism. Nothing in this definition or in the surrounding axioms says that the inverse of such a map is again a (B,k,alpha,beta)-function. C^k-invertibility does not imply B-invertibility for natural choices of B: for the L^p/Sobolev example the inverse derivative involves Df(f^{-1}(y))^{-1} and a Jacobian determinant factor, and there is no general reason it belongs to the same L^p-based intersection presheaf. The same unproved inversion step reappears in equations (9) and (11) of Theorem 6.2 and is needed in the right-absorbing/full-right-absorbing case of Theorem B. A left-absorbing version can avoid it by two applications of absorption (B ∘ C^k then B ∘ C^k), but the right-absorbing direction has no such regrouping, so the stated theorem is unsupported in that half. A repair must either add an explicit inversion-closure axiom for (B,k,alpha,beta)-diffeomorphisms, or change the construction so that r(phi_{ji})^{-1} is never required to lie in B.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a general framework of B^k_{\\alpha,\\beta}-manifolds, defined as C^k-manifolds whose transition functions and their derivatives belong to prescribed intersection presheaves B_{\\alpha(r)} \\cap C^{k-\\beta(r)}. It develops a presheaf-categorical machinery of (\\Gamma,\\epsilon)-spaces, intersection structures, and C^{k,\\alpha}_{n,\\beta}-presheaves, and proves two main results: Theorem A, giving full embeddings between categories of such presheaves under changes of k, n, and \\beta; and Theorem B, asserting that, under hypotheses of being ordered, fully left- or right-absorbing, and having retractible (B,k,\\alpha,\\beta)-diffeomorphisms, the forgetful functor from B^k_{\\alpha,\\beta}-manifolds to C^k-manifolds has adjoints, so that every C^k-manifold admits a B^k_{\\alpha,\\beta}-structure. The paper is written as the first in a planned series, with applications to G-structures, Sobolev manifolds, and bounded geometry as motivation.","tokens_in":28613,"tokens_out":15194,"duration_ms":150823,"significance":"The proposed framework is ambitious and, if fully established, would provide a unified categorical treatment of several established notions of geometric regularity, with Theorem B giving a clean adjunction statement and consequences for limits and colimits. The abstract embedding results of Theorem A are a genuine structural contribution, and the paper is honest about some of its own limitations, e.g., in Remark 4.1. However, the central existence theorem is not established as stated: the proof of Theorem 6.1 silently assumes that inverses of (B,k,\\alpha,\\beta)-diffeomorphisms are again (B,k,\\alpha,\\beta)-functions, an assumption that is not part of the definitions and is not derived from them. In addition, Proposition 2.1, used to certify the main examples of C^k_{n,\\beta}-presheaves, is false. Because these issues affect the load-bearing construction rather than only its presentation, the paper's central claim currently rests on unproved and, in one case, false assertions.","major_comments":[{"comment":"The proof of Theorem 6.1 uses without proof the assertion that r(\\varphi_{ji})^{-1} is a (B,k,\\alpha,\\beta)-function. By definition, Diff^k_{\\alpha,\\beta}(U,V;X) is only the largest subset of B^k_{\\alpha,\\beta}(U,V;X) for which a dotted arrow to Diff^k(U,V) exists: a C^k inverse is required, but the inverse itself is not required to belong to B^k_{\\alpha,\\beta}. Since the new transition functions are written as r(\\varphi_{kl}) \\circ \\varphi_{li} \\circ r(\\varphi_{ji})^{-1}, both the left-absorbing and the right-absorbing cases need r(\\varphi_{ji})^{-1} \\in B^k_{\\alpha,\\beta}; the ordering hypothesis only controls composition of two B-functions, not inversion. The same unproved step is used in equations (9) and (11) of Theorem 6.2 and is inherited by Theorem B. A repair would require either an explicit axiom that (B,k,\\alpha,\\beta)-diffeomorphisms are closed under inverses or a different construction that never requires r(\\varphi_{ji})^{-1} to lie in B.","section":"Section 6, proof of Theorem 6.1"},{"comment":"Proposition 2.1 is false as stated, and its proof is incorrect. Take V=W=V'=W'=\\mathbb{R} and Z=\\mathbb{R}^2, let T,T':\\mathbb{R}\\otimes\\mathbb{R}\\to\\mathbb{R}^2 be the linear maps sending 1\\otimes 1 to e_1 and e_2, respectively. Both multiplicative structures are nontrivial, but the pullback of T and T' is { (a,b) : a e_1 = b e_2 } = 0. Thus nontrivial multiplicative structures need not have nontrivial intersection in a vectorial intersection structure. This proposition is invoked in Examples 3.3 and 3.4 to conclude that the C^{k-} and L presheaves are C^k_{\\alpha,\\beta}-presheaves, so the intended instantiations of the hypotheses of Theorem B are not justified as they stand. The proposition should either be corrected with additional hypotheses or replaced by a direct verification in the examples.","section":"Section 2, Proposition 2.1"},{"comment":"The terminology 'left-absorbing' and 'right-absorbing' is inconsistent with the ideal terminology used in Proposition 6.1. In the lower square, a C^k map is composed on the right of a (B,k,\\alpha,\\beta)-diffeomorphism, i.e., the B-map is the outer left factor; this is a right-ideal property in the standard convention used in the preceding magma discussion, yet it is called left-absorbing. The upper square has the opposite behavior yet is called right-absorbing. Consequently the asserted equivalence in Proposition 6.1 is not correct under the stated definitions, and the proof of Theorem 6.2 uses an absorption direction that appears to be opposite to the one named in the text. The labels and equivalences should be fixed, and the adjunction directions in Theorem B should be rechecked after relabeling.","section":"Section 6, absorbing definitions and Proposition 6.1"}],"minor_comments":[{"comment":"The manuscript contains many typos and misspellings, including 'indenpendently' in Proposition 2.1, 'condiser' in Section 3, 'Simlarly' in Example 2.9, 'aborving' in the fully absorbing paragraph, 'presehaf' in Remark 5.2, and 'Straighforward' in several places. A careful proofread is needed.","section":"Throughout"},{"comment":"The definition of a retraction presheaf is hard to parse: the diagrams are said to be 'not necessarily making the first diagram commutative', but the quantifier over r_{U,V} and the precise retraction identities are not stated explicitly. Please spell out the exact equalities required of r_{U,V}.","section":"Section 6, after diagram (8)"},{"comment":"The proof of part (2) asserts that f^{-1} becomes an embedding when f is injective. This is used for presheaves of Fréchet spaces, not only presheaves of sets; the verification that hom-sets are mapped bijectively should be written out, especially the action on morphisms between (\\Gamma,\\epsilon)-spaces.","section":"Theorem 4.1(2)"}],"recommendation":"reject","confidential_remarks":"The manuscript is very ambitious and the categorical machinery is elaborate, but the central construction is not established: the inversion-closure gap in Theorem 6.1 is load-bearing and is not a matter of presentation. In addition, the false Proposition 2.1 undermines the examples intended to show the hypotheses are satisfiable. The retractible-diffeomorphism hypothesis is also so close to the conclusion that the theorem currently shifts most of the content into an unanalyzed assumption; before resubmission the authors would need to prove inversion closure for a concrete class of B, or restrict the statement of Theorem B accordingly. I would not recommend inviting a revision under the same statement of results."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague — here is the honest take on Ximenes Martins–Biezuner. The paper is a genuine piece of formalism: it defines a common generalization of G-structures and Sobolev/bounded-geometry manifolds via presheaves B^k_{α,β}, and the embedding theorem (Theorem A) appears to be a real result, modulo strong but clearly stated hypotheses. That part deserves credit.\n\nThe problem is the main existence/adjunction theorem. Theorem B rests on Theorem 6.1, and the proof needs the inverse of a (B,k,α,β)-diffeomorphism to again be one. That is not in the definition and is not generally true for the intended examples (L^p, Sobolev). The paper simply asserts it. Without it, the constructed charts do not have B-regular transitions. The stress-test note is right: the right-absorbing half cannot be rescued by regrouping, because the absorption direction does not match; a left-absorbing half might be repaired by two absorption steps, but that is not what the paper does. You would need to add an explicit inversion-closure axiom or change the construction.\n\nSecond, Proposition 2.1 is false. The pullback of two bilinear maps does not generally contain a copy of the four factors; for maps to a one-dimensional space it can be a single line. That proposition is used to show the main examples are C^{k,α}_{n,β}-presheaves, so those examples are not established as written. The framework might still work with a different intersection structure, but the paper's own examples do not currently justify it.\n\nThird, the hypotheses for Theorem B are very strong and no nontrivial example is shown to satisfy them. The retractibility and absorption conditions look hard to verify; the paper gives none. So even if the proof gap were fixed, the theorem might be vacuous.\n\nThere are also minor typos and index inconsistencies in the main statements, but those are not the issue. The core issue is that the central existence theorem is unsupported.\n\nWho is this for? A reader interested in categorical approaches to regularity structures might get ideas from the formalism and from Theorem A. But no one should rely on Theorem B as stated.\n\nRecommendation: if this lands on my desk, I would send it to a referee, because the framework is novel and the flaw is concrete and possibly repairable. A report that points to the inversion-closure gap and Proposition 2.1 could lead to a substantially better revision. As it stands, the main theorem should not be accepted.","headline":"Novel categorical framework with an unproved central existence theorem; Theorem B needs an explicit inversion-closure condition and Proposition 2.1 is false.","tokens_in":29029,"tokens_out":5365,"would_cite":false,"duration_ms":50832,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["58A05","53C10","18F20","46E35"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper defines a broad class of structured manifolds and proves that, under algebraic conditions on the structure presheaf, every $C^k$-manifold automatically carries such a structure.","keywords":["structured manifolds","G-structures","bounded geometry","presheaves of Frechet spaces","adjoint functors","Sobolev manifolds","transition functions"],"falsifier":"A concrete test: take $B$ to be the $L^p$ Sobolev presheaf with $1\\le p<\\infty$ and a single diffeomorphism of $\\mathbb{R}^n$ such as a translation or dilation, and check whether some splitting $r$ of the inclusion $B^k_{\\alpha,\\beta}(U;X)\\hookrightarrow C^k(U;\\mathbb{R}^n)$ sends it and its inverse into $\\operatorname{Diff}^{k}_{\\alpha,\\beta}$. If no such splitting exists, retractible $(B,k,\\alpha,\\beta)$-diffeomorphisms fail for this $B$, and the charts built in Theorem 6.1 need not have $B$-regular transitions. Alternatively, for the $G$-structure presheaf with $G=GL(n,\\mathbb{C})$, the hypotheses of Theorem B would force every $C^k$-manifold to admit an almost-complex structure; since $S^4$ admits none, testing which hypothesis fails for this presheaf would falsify or precisely delimit the theorem.","tokens_in":27874,"feed_emoji":"🗺️","tokens_out":19117,"duration_ms":154605,"temperature":0.7,"pith_summary":"This paper introduces $B^k_{\\alpha,\\beta}$-manifolds as a common generalization of smooth manifolds with $G$-structure and manifolds with $k$-bounded geometry: they are $C^k$-manifolds whose transition functions $\\phi_{ji}$ satisfy $\\partial^\\mu \\phi_{ji} \\in B_{\\alpha(r)} \\cap C^{k-\\beta(r)}$ for every multi-index $\\mu$ with $|\\mu|=r$, where $B=(B_r)_{r\\in\\Gamma}$ is a sequence of presheaves of Fréchet spaces and $\\alpha,\\beta$ are parameter functions. The paper's central claim is an existence theorem: if $B$ is ordered, fully left- or right-absorbing, and has retractible $(B,k,\\alpha,\\beta)$-diffeomorphisms, then the forgetful functor from $B^k_{\\alpha,\\beta}$-manifolds to $C^k$-manifolds has an adjoint that does not depend on the retraction, and as a consequence every $C^k$-manifold admits a $(B^k_{\\alpha,\\beta},X)$-structure. A sympathetic reader should care because the framework unifies two previously separate sources of extra regularity on manifolds — Lie-group reductions such as almost-complex or semi-Riemannian structures, and analytic bounds such as Sobolev or bounded-geometry atlases — and reduces the existence of more-regular geometric objects to the existence of such structured atlases. The paper additionally proves embedding theorems for the corresponding categories of structural presheaves, describing how these structures behave when the smoothness order, the ambient dimension, or the parameter function $\\beta$ changes.","feed_headline":"Every C^k-manifold inherits a structured atlas","feed_subtitle":"Absorption and retraction conditions give the forgetful functor adjoints, so structured atlases always exist","key_machinery":"The load-bearing object is the structural presheaf $B=(B_r)_{r\\in\\Gamma}$: a family of presheaves of nuclear Fréchet spaces on $\\mathbb{R}^n$ equipped with multiplicative, additive, distributive, and intersection structures, required to be compatible with the classical presheaf $C^{k-\\beta}$ in an intersection presheaf $X$ — this compatibility is what makes $B$ a $\\mathcal{C}^{k,\\alpha}_{n,\\beta}$-presheaf. Three named mechanisms carry the argument. The ordering property ensures that the composite of two $(B,k,\\alpha,\\beta)$-functions is again one, via Faà di Bruno's formula applied block-wise to higher derivatives (Lemma 5.1). The absorption properties ensure that composing a $(B,k,\\alpha,\\beta)$-diffeomorphism with an ordinary $C^k$-diffeomorphism on either side stays within the class. The retraction presheaf $r$ is a splitting of the inclusion $B^k_{\\alpha,\\beta}(U;X)\\hookrightarrow C^k(U;\\mathbb{R}^n)$ that is required to send $C^k$-diffeomorphisms to $(B,k,\\alpha,\\beta)$-diffeomorphisms; it is the mechanism that turns a plain atlas into a refined one chart by chart, and the adjointness theorem turns that refinement into a functor with a universal property.","core_discovery":"On the paper's own terms, the discovery is a pair of theorems about the categories of structured manifolds. Theorem A states that the category $\\mathcal{C}^{k,\\alpha}_{n,\\beta}$ of structural presheaves embeds fully into larger categories when the smoothness order is lowered (when $l\\le k$), when the model space $\\mathbb{R}^n$ is carried into $\\mathbb{R}^r$ by a continuous injective map, and when the parameter function $\\beta$ is lowered. Theorem B states that if $B$ is ordered, fully left-absorbing (respectively fully right-absorbing), and has retractible $(B,k,\\alpha,\\beta)$-diffeomorphisms in one intersection presheaf $X$, then any choice of retraction $r$ induces a left-adjoint (respectively right-adjoint) for the forgetful functor $F: \\operatorname{Diff}^{B,k}_{\\alpha,\\beta}(X)\\to\\operatorname{Diff}^k$, independent of $r$; if $B$ is fully absorbing, $F$ is ambidextrous. The decisive intermediate step, Theorem 6.1, constructs the structured atlas explicitly: from any $C^k$-atlas with charts $\\phi_i$ and transition functions $\\phi_{ji}=\\phi_j\\circ\\phi_i^{-1}$, the retraction produces new charts $\\phi_{j;i}=r(\\phi_{ji})\\circ(\\phi_i|_{U_{ij}})$, whose transition functions $\\phi_{k;l}\\circ\\phi_{j;i}^{-1}=r(\\phi_{kl})\\circ(\\phi_{li}|_{U_{ijkl}})\\circ r(\\phi_{ji})^{-1}$ lie in the $(B,k,\\alpha,\\beta)$-class precisely because of the absorbing, ordering, and retraction hypotheses. Restricted to the core category (diffeomorphisms only), the same construction yields a functor, and the fully absorbing version extends the adjunction from the core to all structured morphisms, so that the category of structured manifolds inherits limits and colimits from the category of $C^k$-manifolds.","pith_inferences":["The retraction hypothesis is the least algebraically anchored part of the theorem: the paper obtains $r$ as a vector-space splitting, but nothing forces a splitting to respect the diffeomorphism group, so the effective content of the hypothesis is a geometric existence claim. If it fails for a given $B$, the charts constructed in Theorem 6.1 need not have $B$-regular transitions.","For the $G$-structure presheaf with $G=GL(n,\\mathbb{C})$, the hypotheses would force every $C^k$-manifold to admit an almost-complex structure; since $S^4$ does not, one of the hypotheses must fail for that presheaf, and locating the failure would mark the exact boundary between this theorem and classical obstruction theory.","For the $L^p$ presheaf, the theorem implies every $C^k$-manifold should carry an atlas whose transition functions and derivatives up to order $k$ lie in $L^p\\cap C^{k-\\beta}$; this is a concrete analytic assertion that could be checked directly on simple diffeomorphisms before relying on the full adjunction.","Read categorically, the adjunction suggests viewing '$B^k_{\\alpha,\\beta}$-structurization' as a completion functor on manifolds, which may be the categorical shadow of analytic regularization results such as the existence of bounded-geometry metrics in conformal classes."],"forward_implications":["Under the hypotheses, every $C^k$-manifold admits a $(B^k_{\\alpha,\\beta},X)$-structure: the refinement $\\kappa_r(A')=r(A')$ produces the structured subatlas explicitly (Theorem 6.1).","The category $\\operatorname{Diff}^{B,k}_{\\alpha,\\beta}(X)$ inherits all small limits and colimits that exist in $\\operatorname{Diff}^k$, and in particular has finite products and coproducts when $B$ is fully absorbing (Corollary 6.2).","Left-adjointness (respectively right-adjointness) of the forgetful functor means that structured manifolds can be freely generated from, or cofreely coarsened from, plain $C^k$-manifolds, and the resulting structure does not depend on which retraction was chosen.","The classical motivating classes — $G$-structures and Sobolev or bounded-geometry structures — are instances of this framework, so the existence theorem applies to them whenever their structure presheaves satisfy the absorption and retraction hypotheses.","For ordered presheaves, composition of structured morphisms is well-defined, so the category $\\operatorname{Diff}^{B,k}_{\\alpha,\\beta}(X)$ genuinely exists and the adjunction is between honest categories (Proposition 5.2)."],"supporting_citations":[{"why":"Supplies Faà di Bruno's higher-derivative chain rule and the Sobolev-space structures behind the composition lemma and the $L^p$ example.","marker":"[13]"},{"why":"Defines $G$-structures on smooth manifolds, the motivating class that Example 1.1 recovers in the new framework.","marker":"[15]"},{"why":"Second standard source for $G$-structures, cited with [15] in the definition used in Example 1.1.","marker":"[20]"},{"why":"Introduced boundedness conditions on connection coefficients, one of the regularity problems motivating the framework and part of the $p=\\infty$ bounded-structure example.","marker":"[9]"},{"why":"Provides the bounded-geometry existence results that motivate the bounded-geometry instance of the framework.","marker":"[19]"},{"why":"Classical source for adjoint functors, core categories, and Kan extensions; carries the categorical machinery behind Theorem B.","marker":"[16]"},{"why":"Provides the splitting lemma guaranteeing the algebraic vector-space retraction that underlies the retractible-diffeomorphism hypothesis.","marker":"[11]"},{"why":"Handbook used for the preservation of limits and colimits by adjoints in Corollary 6.2.","marker":"[7]"}],"fun_headline_variants":["Retraction guarantees B-structures on every C^k-manifold","Adjunction gives B-structures on all C^k-manifolds","Every C^k-manifold inherits a B-structure via retraction","With absorbing retractions, every C^k-manifold gets a B-structure","Forgetful adjoint ensures B-structures on each C^k-manifold"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument rests on being able to choose the retraction $r$ so that it sends ordinary diffeomorphisms of Euclidean open sets to diffeomorphisms that stay inside the structured class, including their inverses, so that $r(\\phi_{ji})^{-1}$ is again a $(B,k,\\alpha,\\beta)$-function; the paper assumes such a retraction exists and uses it without proof in Theorem 6.1.","fun_headline_variants_meta":{"raw":{"variants":["Retraction guarantees B-structures on every C^k-manifold","Adjunction gives B-structures on all C^k-manifolds","Every C^k-manifold inherits a B-structure via retraction","With absorbing retractions, every C^k-manifold gets a B-structure","Forgetful adjoint ensures B-structures on each C^k-manifold"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001122,"raw_usage":{"total_tokens":4807,"prompt_tokens":1223,"completion_tokens":3584,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":839,"completion_tokens_details":{"reasoning_tokens":3499}},"tokens_in":839,"tokens_out":3584,"duration_ms":26162,"temperature":1.0,"reasoning_tokens":3499,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:44:21.883686+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete test: take $B$ to be the $L^p$ Sobolev presheaf with $1\\le p<\\infty$ and a single diffeomorphism of $\\mathbb{R}^n$ such as a translation or dilation, and check whether some splitting $r$ of the inclusion $B^k_{\\alpha,\\beta}(U;X)\\hookrightarrow C^k(U;\\mathbb{R}^n)$ sends it and its inverse into $\\operatorname{Diff}^{k}_{\\alpha,\\beta}$. If no such splitting exists, retractible $(B,k,\\alpha,\\beta)$-diffeomorphisms fail for this $B$, and the charts built in Theorem 6.1 need not have $B$-regular transitions. Alternatively, for the $G$-structure presheaf with $G=GL(n,\\mathbb{C})$, the hypotheses of Theorem B would force every $C^k$-manifold to admit an almost-complex structure; since $S^4$ admits none, testing which hypothesis fails for this presheaf would falsify or precisely delimit the theorem.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies Faà di Bruno's higher-derivative chain rule and the Sobolev-space structures behind the composition lemma and the $L^p$ example."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines $G$-structures on smooth manifolds, the motivating class that Example 1.1 recovers in the new framework."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Second standard source for $G$-structures, cited with [15] in the definition used in Example 1.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduced boundedness conditions on connection coefficients, one of the regularity problems motivating the framework and part of the $p=\\infty$ bounded-structure example."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the bounded-geometry existence results that motivate the bounded-geometry instance of the framework."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Classical source for adjoint functors, core categories, and Kan extensions; carries the categorical machinery behind Theorem B."},{"cited_title":"I., Manin, Y","cited_arxiv_id":null,"evidence_quote":"Provides the splitting lemma guaranteeing the algebraic vector-space retraction that underlies the retractible-diffeomorphism hypothesis."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Handbook used for the preservation of limits and colimits by adjoints in Corollary 6.2."}],"review_version":1}