{"id":"36746bdd-d1ba-4ff7-8a0b-3c8bab0acc02","arxiv_id":"2411.19751","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors define a templicial A-infinity nerve functor that lifts Faonte's simplicial A-infinity nerve to vector-space-enriched templicial objects and prove it is a quasi-category in vector spaces.","lead":"This mathematics paper constructs a new 'nerve' operation that turns A-infinity categories, a flexible kind of category used in symplectic geometry, into a vector-space model of weak higher categories. The construction is shown to preserve the crucial quasi-category property, so homotopy-theoretic techniques can be transferred between the two settings.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.6 is not justified for arbitrary sums: checking elementary tensors does not prove the required isomorphism of nerve subspaces, and Proposition 3.9 depends on it.","rationale":"We agree with the reader's weakest-assumption: Lemma 3.6 is the load-bearing step for Proposition 3.9. The concern is real but not a demonstrated falsehood: the gap is in the proof's transition from pure tensors to arbitrary sums. We checked the other flagged point, the 'clear' TAN relation at g=id in Theorem 4.4; the definition of the missing face zδj is chosen so that the cross terms cancel (coefficient (−1)^{i−1}+(−1)^{i}=0), so that part is sound. Corollaries 4.2 and 4.3 are consistency checks and do not rescue the construction if Lemma 3.6 fails, since Corollary 4.2 uses Theorem 4.1 which presupposes NA∞_K(A) is templicial. We therefore keep the reader's CONDITIONAL verdict: the central claim is probably correct, but the proof needs an explicit argument for sums in Lemma 3.6 (or an alternative proof of Proposition 3.9). No change to the verdict is needed.","tokens_in":22191,"tokens_out":17838,"duration_ms":158817,"concrete_test":"Re-prove Lemma 3.6 for an arbitrary finite sum ξ=Σ_i x_i⊗y_i rather than a pure tensor. Let L be the product (over all injective g1:U1↪T1) of the TAN maps on the first factor and R the analogous product for T2; verify that the TAN equations for φ(ξ) are equivalent to (L⊗id)(ξ)=0 and (id⊗R)(ξ)=0. After choosing complements A′ of NA_{T1} and B′ of NA_{T2}, the first condition gives ξ∈NA_{T1}⊗W by injectivity of L|_{A′}⊗id, the second gives ξ∈V⊗NA_{T2}, and the intersection is NA_{T1}⊗NA_{T2}. If this argument cannot be completed, find a finite-dimensional counterexample (e.g., a one-object A∞ category with A=K[ε]/(ε^2), m3 nonzero) where the image of NA⊗NA is a proper subspace of NA_{T1∨T2}.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 3.9 identifies NA∞_K(A) with a templicial vector space exactly because the necklace-category composition maps are isomorphisms; that is Lemma 3.6. The proof treats only an elementary tensor x⊗y. For such a tensor the TAN equations in Definition 3.1 split into factors (TAN-condition on x at g1)⊗y_{g2} and x_{g1}⊗(TAN-condition on y at g2), and over a field one may conclude the stated pure-tensor iff. But the map whose bijectivity is claimed is from the tensor product of the two nerve subspaces, and a general element of the target is a finite sum of elementary tensors. An element of NA_{T1∨T2} need not be an elementary tensor, and knowing the pure-tensor criterion for each summand says nothing about sums. The paper does not provide the missing argument that the full TAN system for a sum ξ forces ξ∈NA_{T1}⊗NA_{T2} (e.g., by showing (L⊗id)(ξ)=0 and (id⊗R)(ξ)=0 for the defining linear maps and then using flatness/injectivity over a field). Thus the lemma is unproved at the exact point on which Proposition 3.9 and hence the whole construction rests; it is likely repairable, but currently not established.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs a functor NA∞_K from the category of strictly unital A∞-categories over a field K to the category of templicial vector spaces over K. For each necklace T, the nerve NA∞_K(A)_T is defined as the subspace of the direct sum over injective necklace maps g: U → T of shifted Hom-spaces, cut out by the 'templicial A∞-nerve' (TAN) relations (8). The authors prove that this assignment is functorial and that the associated necklace category has isomorphism composition maps (Proposition 3.9), yielding a templicial vector space. They also define templicial maps from A∞-functors (Proposition 3.17). The main results are: the underlying simplicial set of NA∞_K(A) is Faonte's simplicial A∞-nerve (Corollary 4.2); on dg-categories the nerve agrees with the templicial dg-nerve (Corollary 4.3); and for every A∞-category the nerve is a quasi-category in K-vector spaces (Theorem 4.4).","tokens_in":22409,"tokens_out":7365,"duration_ms":58246,"significance":"If the technical gaps identified below are repaired, the paper makes a valuable contribution: it provides the first templicial lift of Faonte's A∞-nerve, strengthening the analogy between simplicial quasi-categories and enriched quasi-categories and unifying the A∞-nerve with the templicial dg-nerve. The construction is explicit, the direct verification of the TAN relations is extensive, and the main theorems are clearly stated. The paper also gives a useful universal-property-style description of maps into the nerve (Theorem 4.1). However, the proof of Lemma 3.6 is incomplete at the exact point needed for the templicial structure, so the central construction is not yet fully established.","major_comments":[{"comment":"The proof of Lemma 3.6 only treats elementary tensors x ⊗ y. The canonical map (10) is an isomorphism between direct sums, but the claimed restriction to nerve subspaces is an isomorphism between NA_T1 ⊗ NA_T2 and NA_{T1∨T2}. An element of the target is a finite sum of elementary tensors, and the TAN relations are linear; knowing that each pure tensor satisfies the relations if and only if its factors do does not imply that an arbitrary sum satisfying the relations lies in NA_T1 ⊗ NA_T2. The argument does not show for a general sum ξ that the full TAN system forces ξ to decompose into a sum of pure tensors whose factors satisfy the respective relations, for example by proving (L⊗id)(ξ)=0 and (id⊗R)(ξ)=0 for the defining linear maps and then using injectivity or flatness over K. Consequently, the isomorphism claimed in Lemma 3.6 is not established. This is load-bearing: Proposition 3.9 and Construction 3.8 use this lemma to define the composition isomorphisms that make NA∞_K(A) a templicial vector space. The final sentence beginning 'Since K is a field' is also incorrect as written: it asserts a condition that would force x=0 or y=0 in the pure-tensor case, which conflicts with the intended statement. The gap is likely repairable, but a complete proof is required.","section":"3.1, Lemma 3.6"},{"comment":"The proof of the horn-filling property in Theorem 4.4 relies on several assertions that are not fully justified. After defining z, the proof states that the TAN relations hold at every g ≠ id, δj because y_i and x_k satisfy them; this requires a compatibility check for the chosen decompositions that is not supplied. The claim that the relation at g = id is 'clear' is not a calculation. The displayed computation for g = δj is the main substance, but it invokes identities such as z_{δi◦δl} = z_{δl◦δi−1} and the TAN relations at δi without spelling out the indexing sets and sign bookkeeping. Since Theorem 4.4 is the central result that NA∞_K(A) is a quasi-category in vector spaces, these omissions should be filled with a more detailed verification.","section":"4, Theorem 4.4"}],"minor_comments":[{"comment":"In the statement of Lemma 3.6, the tensor product on the left should be NA∞_K(A)_{T1} ⊗_Ob(A) NA∞_K(A)_{T2}, not NA∞_K(A)_{T1} twice.","section":"3.1, Lemma 3.6"},{"comment":"There are several typographical errors: 'lenght' (Definition 2.10), 'stritcly unital' (Example 2.3), 'generaliszation' (Section 2.3), and 'conecklicial' (Introduction).","section":"Throughout"},{"comment":"The bibliography lists [LM23] as arXiv:2005.04778v3, while the abstract cites version 4 of the same paper; please reconcile the version number.","section":"References"},{"comment":"In Definition 3.1, the phrase 'Given a necklace T = N ec' should read 'Given a necklace T ∈ N ec'.","section":"3.1, Definition 3.1"},{"comment":"The notation 'Mod(K)^{Nec^op}' in Construction 3.8 is not defined; it should be the functor category Fun(Nec^op, Mod K) or a similar standard notation.","section":"3.1, Construction 3.8"},{"comment":"In the proof of Theorem 4.1, the claimed bijection between the collections (α^g_n) and (β_n) is asserted without spelling out the inverse construction; a short explicit description would improve readability.","section":"4, Theorem 4.1"}],"recommendation":"major_revision","confidential_remarks":"The paper relies heavily on the authors' own prior framework ([LM23], [LM24], [MM24]) and cites an in-preparation paper [Mer] as a possible future simplification. This is acceptable given the context, but the editor may wish to confirm that Proposition 2.19 and Lemma 2.13, which are cited from earlier papers, are publicly available in final form. The main technical concern is the incomplete proof of Lemma 3.6; I believe it is fixable by adding an argument for general sums, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper builds a templicial lift of Faonte's simplicial A-infinity nerve, landing in templicial vector spaces. That object is genuinely new, and the three main results are exactly the right consistency checks: it recovers Faonte's nerve after applying the underlying simplicial set functor, it agrees with the existing templicial dg-nerve on dg-categories, and every value is a quasi-category in vector spaces. The comparison proofs are substantial and largely direct, and the use of the necklace category framework is natural rather than forced. This is a solid contribution to the templicial program, not a repackaging of known material.\n\nThe soft spots are real but localized. Lemma 3.6 is the one that matters. The proof checks only an elementary tensor x⊗y, and for such tensors the TAN equations do split over a field. But the lemma claims an isomorphism of subspaces, not just a pure-tensor criterion. An arbitrary element of NA_{T1∨T2} is a finite sum of elementary tensors, and the TAN conditions for a sum do not follow from the pure-tensor conditions on each summand. The paper needs an argument that the full TAN system forces decomposability, or a different proof of surjectivity. Without that, Proposition 3.9, which identifies the necklace category as a templicial vector space, has no support. The lemma is likely repairable—this looks like a missing argument rather than a false claim—but currently it is unproved at a load-bearing point. There is also a smaller gap in Theorem 4.4, where the TAN relation at g = id is dismissed as \"clear\" after a nontrivial choice of z_id and z_δj. That calculation should be displayed. The garbled final sentence of Lemma 3.6, which reads as \"(x satisfies TAN or y=0) and (x=0 and y satisfies TAN)\", does not inspire confidence in the written argument.\n\nThe paper leans on the authors' own templicial framework and cites an in-preparation paper for a possible simplification. That is not a flaw; the cited framework is the natural setting, and the core comparison with Faonte's nerve anchors the construction independently.\n\nThis paper deserves a serious referee. The main idea is good, the consistency results are compelling, and the gap in Lemma 3.6 is specific enough to fix. I would send it to review with a clear request to repair that lemma and expand the \"clear\" step in Theorem 4.4. Once those are addressed, the paper should be a useful reference for anyone working on enriched quasi-categories and A-infinity nerves.","headline":"A genuine new construction with good consistency checks, but the key Lemma 3.6 is currently unproved for sums, and that gap sits under the whole nerve.","tokens_in":23003,"tokens_out":6112,"would_cite":true,"duration_ms":54705,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18G70","18N60"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every strictly unital $A_\\infty$-category admits a templicial nerve that is a quasi-category in vector spaces.","keywords":["A-infinity categories","templicial vector spaces","quasi-categories in vector spaces","simplicial nerve","dg-nerve","necklaces","enriched quasi-categories"],"falsifier":"Let $K=\\mathbb{Q}$ and let $A$ be a strictly unital $A_\\infty$-category with two objects and a single non-identity morphism in degree 1, with $m_2$ nontrivial; compute $NA^\\infty_K(A)$ on the two-bead necklace $\\Delta^1 \\vee \\Delta^1$ directly from the (TAN) relation. If the canonical map (10) from the tensor product of the two one-simplex nerves to this subspace is not surjective — for instance, if a sum of two valid tensors fails the relation at the composite vertex — then Lemma 3.6 is false and the nerve construction collapses at Proposition 3.9.","tokens_in":21945,"feed_emoji":"","tokens_out":12564,"duration_ms":94254,"temperature":0.7,"pith_summary":"The paper constructs, for every strictly unital $A_\\infty$-category $A$ over a field $K$, a templicial vector space $NA^\\infty_K(A)$, called its templicial $A_\\infty$-nerve. The construction is functorial, and it is a lift of the simplicial $A_\\infty$-nerve: the underlying simplicial set of $NA^\\infty_K(A)$ is naturally isomorphic to the classical nerve. The main theorem says that $NA^\\infty_K(A)$ is a quasi-category in vector spaces, and the same construction recovers the templicial dg-nerve when $A$ is a dg-category. A sympathetic reader would take this as evidence that $A_\\infty$-categories fit into the templicial program, where enriched quasi-categories become amenable to homotopy-theoretic and deformation-theoretic methods.","feed_headline":"Templicial nerve exists for every A-infinity category","feed_subtitle":"It is a quasi-category in vector spaces, lifts the simplicial A-infinity nerve, and matches the dg-nerve on dg-categories.","key_machinery":"The load-bearing object is the necklace category attached to the nerve, together with the (TAN) relation that defines its hom-objects. A necklace is a wedge of simplices glued at their endpoints; the nerve's value at $T$ is assembled from data on all injective necklace maps $U \\hookrightarrow T$, and the (TAN) relation (8) encodes the $A_\\infty$-structure as a family of equations indexed by those maps. The canonical isomorphism (10), obtained by the direct divisibility of necklace maps, is shown in Lemma 3.6 to restrict to an isomorphism between nerve subspaces, and this is exactly what makes the composition maps of the necklace category isomorphisms. By the fully faithful embedding of necklace categories into templicial vector spaces (Proposition 2.19), these isomorphisms certify that the construction is a templicial vector space. The proof of the main quasi-category theorem then runs through the horn-filling condition for the necklicial hom-objects, with the (TAN) relation supplying the required filler $z$.","core_discovery":"The central claim is that there is a functor $NA^\\infty_K : A_\\infty\\mathrm{Cat}^{su} \\to S\\otimes \\mathrm{Mod}(K)$ (Proposition 3.17) whose value on any strictly unital $A_\\infty$-category is a templicial vector space. For each necklace $T$, the vector space $NA^\\infty_K(A)_T$ consists of collections $y=(y_g)$ indexed by injective necklace maps $g: U \\hookrightarrow T$, with components in $(sA)_U$, satisfying the (TAN) relation (8). Wedge-together composition is an isomorphism by Lemma 3.6, so the associated necklace category satisfies the condition of Proposition 2.19 and therefore is a templicial vector space. The paper proves that this nerve is a quasi-category in vector spaces (Theorem 4.4), that its underlying simplicial set is exactly the simplicial $A_\\infty$-nerve (Corollary 4.2), and that on dg-categories it is isomorphic to the templicial dg-nerve (Corollary 4.3). The nerve also has a workable universal property: maps from any templicial vector space into it are equivalent to quiver maps $\\beta_n : X_n \\to A_{n-1}$ satisfying equations (12) and (13) (Theorem 4.1).","pith_inferences":["Editorial inference: because templicial vector spaces are set up to support infinitesimal deformation theory, the nerve functor suggests a route to studying deformations of $A_\\infty$-categories via deformations of their templicial nerves, a direction the paper does not explore.","Editorial inference: Remark 3.7 indicates that the field assumption is only used in Lemma 3.6; if that lemma is proved under a flatness assumption over a commutative ring, the whole construction should extend to templicial modules over arbitrary rings.","Editorial inference: the extensive case-checking in the proofs of Lemma 3.4 and Proposition 3.14 hints at a cleaner structural explanation, and the paper itself notes that a general framework for templicial nerves from cosimplicial data should make the verifications formal.","Editorial inference: the existence of a quasi-category in vector spaces for every $A_\\infty$-category invites homotopy-theoretic questions the paper does not address, such as whether the nerve preserves or reflects Dwyer-Kan equivalences and whether it induces an equivalence between suitable homotopy theories."],"forward_implications":["Under the forgetful functor to simplicial sets, the templicial nerve of $A$ is naturally isomorphic to the simplicial $A_\\infty$-nerve, so the new construction is a faithful lift, not a new nerve with different underlying data.","When restricted to dg-categories, the templicial $A_\\infty$-nerve is isomorphic to the templicial dg-nerve, so the dg-case is a special case.","Every strictly unital $A_\\infty$-category provides an example of a quasi-category in vector spaces, substantially enlarging the supply of such enriched quasi-categories.","The universal property of Theorem 4.1 gives a practical way to construct maps into the nerve: specify quiver maps $\\beta_n : X_n \\to A_{n-1}$ satisfying the differential equation (13) and the degeneracy conditions (12)."],"supporting_citations":[{"why":"defines the simplicial $A_\\infty$-nerve whose lift is constructed here.","marker":"[Fao17]"},{"why":"introduces templicial vector spaces, quasi-categories in vector spaces, and the necklace-category embedding used throughout.","marker":"[LM24]"},{"why":"constructs the templicial dg-nerve that the new nerve recovers on dg-categories.","marker":"[LM23]"},{"why":"supplies the factorization system, direct divisibility, and signature identities for necklace maps used in the TAN relations.","marker":"[MM24]"},{"why":"supplies the combinatorial description of necklaces and their maps that the paper uses.","marker":"[DS11]"}],"fun_headline_variants":["A-infinity nerve lifts to templicial vector spaces","Templicial nerve turns A-infinity categories into quasi-categories","Every A-infinity category gets a templicial quasi-category nerve","Templicial nerve extends dg-nerve to all A-infinity categories"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction depends on Lemma 3.6, which asserts that the canonical isomorphism (10) restricts to an isomorphism between the nerve subspaces; its proof uses that $K$ is a field and verifies only simple tensors, so the surjectivity direction for general sums is not fully demonstrated. If that lemma fails, the composition maps of the necklace category would not be isomorphisms and $NA^\\infty_K(A)$ would not be a templicial vector space.","fun_headline_variants_meta":{"raw":{"variants":["A-infinity nerve lifts to templicial vector spaces","Templicial nerve turns A-infinity categories into quasi-categories","Every A-infinity category gets a templicial quasi-category nerve","Templicial nerve extends dg-nerve to all A-infinity categories"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00118,"raw_usage":{"total_tokens":4883,"prompt_tokens":962,"completion_tokens":3921,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":578,"completion_tokens_details":{"reasoning_tokens":3842}},"tokens_in":578,"tokens_out":3921,"duration_ms":22993,"temperature":1.0,"reasoning_tokens":3842,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T05:53:34.808194+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Let $K=\\mathbb{Q}$ and let $A$ be a strictly unital $A_\\infty$-category with two objects and a single non-identity morphism in degree 1, with $m_2$ nontrivial; compute $NA^\\infty_K(A)$ on the two-bead necklace $\\Delta^1 \\vee \\Delta^1$ directly from the (TAN) relation. If the canonical map (10) from the tensor product of the two one-simplex nerves to this subspace is not surjective — for instance, if a sum of two valid tensors fails the relation at the composite vertex — then Lemma 3.6 is false and the nerve construction collapses at Proposition 3.9.","supporting_citations":[],"review_version":1}