{"id":"f46fa19f-5a18-4f1f-b2db-52b00c2bdaf7","arxiv_id":"2610.30232","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"A general Chern-Simons construction yields all topological defects preserving a chiral continuous symmetry in two-dimensional Weyl fermions, with applications to abelian and non-abelian symmetries including non-invertible twist lines.","lead":"This paper constructs topological defects in two-dimensional Weyl fermions that preserve a continuous symmetry acting differently on left- and right-movers, using three-dimensional Chern-Simons theory. The method provides a systematic way to build symmetry-preserving boundaries for any conformally embedded symmetry, solving a long-standing problem in chiral fermion scattering.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek/deepseek-v4-flash","headline":"The existence of topological boundaries |A_{L,R}⟩ for arbitrary conformal embeddings is not proven in the super-modular setting; the construction assumes without general verification that the branching-rule algebra is Lagrangian.","rationale":"The reader’s weakest_assumption correctly identified that the construction requires conformal embedding, but took that as the primary limitation. My concern is sharper: even within the conformally embedded case, the paper does not prove that the boundary algebras arising from arbitrary branching rules are Lagrangian in the super-modular sense. It checks only two classes of examples. The mathematical claim ‘they always exist’ is thus supported by example, not by proof. This does not make the paper incorrect, but it means the general claim is less secure than the reader assumed. The verdict remains CONDITIONAL, because until this step is verified for a generic conformal embedding, the construction’s universality is uncertain. The reader’s agreement is ‘disagree’ because they judged the main concern to be the restriction to conformal embeddings, whereas I argue that even within that restriction a nontrivial gap exists.","tokens_in":62549,"tokens_out":5672,"duration_ms":59960,"concrete_test":"Pick a conformal embedding not treated in the paper, e.g., SU(3)_3 ⊂ SO(8)_1 (N=4, c=4). Compute the branching of 1 and V under this embedding, and construct the object A = ⊕ (branched lines) in Rep(SU(3)_3) ⊑ SO(8)_{-1}. Check: (i) all simple summands have topological spin 0; (ii) A is closed under fusion and braided-commutative; (iii) dim(A) = D(Rep(SU(3)_3))/\\sqrt{2} (since SO(8)_1 has D=2). If any condition fails, the topological boundary |A⟩ does not exist and the general construction collapses.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim requires that for each conformal embedding G_k → SO(2N)_1, the set of anyons that can end on the lower boundary of the Chern–Simons slab forms a Lagrangian algebra in the super-modular tensor category G_k ⊑ SO(2N)_{-1}. The paper asserts this because the coset is gapped, but in a fermionic (super-modular) theory a topological boundary further demands maximality (dimension D/\\sqrt{2}) and that all condensed lines have spin 0. These conditions are checked for the two example families (abelian U(1)^N and the SU(2)×SU(4)×U(1)^2 case), but no general argument is given that the branching rules of 1⊕V always produce an algebra satisfying them. A counterexample would break the construction before any bimodule can be defined, invalidating the claim that the symmetric defect always exists.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek/deepseek-v4-flash","summary":"The paper constructs topological defects in two-dimensional Weyl fermions that preserve a continuous symmetry G acting chirally (differently on left- and right-movers), for the case where G is conformally embedded in SO(2N)_1. Using a three-dimensional Chern–Simons slab, the defect is realized as a bimodule between Lagrangian algebras at the lower boundary. From this, the authors derive properties of the twist lines generated by scattering (including their fusion and monodromies), the boundary central charge, and the SPT class. The construction is illustrated with two families: abelian U(1)^N (reproducing known results) and a novel non-abelian example SU(2)×SU(4)×U(1)^2, where the twist lines are non-invertible, belonging to TY(Z_3×Z_3) or Rep(S_3)×Z_3 depending on the scattering direction.","tokens_in":62838,"tokens_out":3574,"duration_ms":37724,"significance":"If the construction holds for all conformally embedded symmetries, it provides a systematic and general method for building symmetry-preserving defects in free-fermion CFTs, directly applicable to the effective description of four-dimensional fermion–monopole scattering. The non-abelian example exhibits genuinely non-invertible twist lines, a feature absent in previously known equal-rank constructions. The paper also establishes a clean three-dimensional TQFT dictionary for computing scattering data and SPT classes.","major_comments":[{"comment":"The central existence claim ('They always exist') rests on the assertion that for any conformal embedding G_k → SO(2N)_1, the set of anyons obtained by branching 1⊕V forms a Lagrangian algebra in the super-modular tensor category. The authors check this condition (spin 0 and dimension D/√2) explicitly for the abelian U(1)^N family and for the non-abelian SU(2)×SU(4)×U(1)^2 example, but no general proof is given. Since this is a load-bearing step for the entire construction, the paper should either supply a general argument (e.g., using that the coset is gapped and that the algebra constructed is maximal and spin-0) or cite a theorem in the literature that guarantees it for arbitrary conformal embeddings in the fermionic setting. Without this, the claim that the symmetric defect always exists for the stated class is not established.","section":"§2.2, §2.5, and the applications in §3, §4","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The analysis of pushing Lagrangian algebras to boundaries (decomposition into haploid algebras, one-to-one correspondence with simple bimodules) relies on a theorem from [62] that was proven for bosonic modular tensor categories. The paper applies it to the super-modular (fermionic) setting without comment. A justification or caveat is needed, because the presence of transparent fermions and the modified dimension condition (2.44) may require a check that the theorem extends.","section":"§4.8","authors_acknowledge":null,"authors_acknowledge_p":null}],"minor_comments":[{"comment":"Equation (2.6) and surrounding text: the string-diagram notation and the meaning of Greek indices (µ, ν, etc.) could be briefly explained for readers less familiar with fusion categories.","section":"§2.1","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The relative Deligne product over sVec is mentioned but not defined; a short explanation or a more precise reference would help.","section":"Footnote 10 (p. 33)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The claim that one can always make K even by passing to a different basis is stated without justification. A short proof or a reference to the standard result would be useful.","section":"After Eq. (3.7)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The ancillary Mathematica notebook 'category_examples.nb' is cited for the explicit verification of gaugeable algebra structures. The authors should ensure that this file is included with the arXiv submission.","section":"Multiple places","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"Some references (e.g., [53]) are listed as 'to appear'. The text does not rely on the contents of these references for any essential step, so this is acceptable.","section":"General","authors_acknowledge":null,"authors_acknowledge_p":null}],"recommendation":"major_revision","confidential_remarks":"The paper presents a well-structured and interesting construction, but the central claim of existence for arbitrary conformal embeddings lacks a general proof. The authors check the crucial Lagrangian-algebra condition only for two families, but the abstract says 'They always exist'. I recommend revision: either add a short general argument that the branching-rule algebra is automatically Lagrangian for any conformal embedding (which may be a known fact in the RCFT literature), or qualify the claim to reflect that the existence is verified for the classes studied and expected to hold for all such embeddings. The rest of the paper is technically sound and the non-abelian example is a nice demonstration."},"author_rebuttal":null,"desk_editor":{"model":"deepseek/deepseek-v4-flash","letter":"This paper builds a general Chern–Simons bimodule construction for topological defects that preserve a continuous chiral symmetry in 2d Weyl fermions, provided the symmetry embeds conformally into SO(2N)_1. The main novelty is that the problem is reduced to classifying (A_L,A_R)-bimodules, which always exist and can be computed. The non-abelian example with SU(2)×SU(4)×U(1)^2 is genuinely new and yields non-invertible twist lines (TY(Z_3×Z_3) and Rep(S_3)×Z_3). The paper is clearly written and the mathematical framework is sound within its stated scope.\n\nThe soft spots are real but not fatal. The most important limitation is the conformal embedding condition itself. The authors are upfront about it, but the abstract phrase 'always exist' is misleading if you read it without the qualifier. The stress-test note raises a fair technical point: in the super-modular setting, does the branching-rule algebra of 1⊕V always satisfy maximality and spin-0? The paper checks this for two families but gives no general proof. The authors assume maximality follows from the coset being gapped, but in a fermionic theory a Lagrangian algebra also requires dim(A)=D(C)/√2 and all spins zero. This is not a fatal flaw — the construction is still plausible for all conformal embeddings — but it means the central claim is not fully proven. The authors should either supply a general argument or restrict the claim to the examples they check.\n\nMinor note: the relation to the upcoming work [30] is acknowledged but not quantified. That's fine for a preprint.\n\nWho is this for? Anyone working on symmetry-preserving boundaries, fermion-monopole scattering, or categorical symmetries in 2d. It deserves a serious referee. I would recommend acceptance after the authors address the Lagrangian algebra condition more carefully.","headline":"A systematic TQFT construction for chiral symmetry defects in 2d fermions — works for conformally embedded symmetries, but the general existence claim rests on an unverified assumption about Lagrangian algebras in the super-modular setting.","tokens_in":63383,"tokens_out":1345,"would_cite":true,"duration_ms":16460,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek/deepseek-v4-flash","headline":"For every conformally embedded continuous symmetry, a chiral topological defect exists in two-dimensional Weyl fermions.","keywords":["Chern–Simons theory","conformal embedding","topological defect","chiral symmetry","twist lines","non-invertible symmetry","fermion scattering","anyon braiding"],"falsifier":"Find a non-anomalous continuous symmetry $G$ acting on $N$ Dirac fermions with $c(G) < N$ (non-conformal embedding) that does not admit any $G$-preserving boundary condition; or exhibit a conformally embedded $G$ for which the $(A_L,A_R)$-bimodule construction fails to produce a topological interface because the induced bimodule decomposition does not yield a simple object.","tokens_in":64022,"feed_emoji":"","tokens_out":3639,"duration_ms":37796,"temperature":0.7,"pith_summary":"This paper proves that for any connected Lie group symmetry $G$ that embeds conformally into the chiral algebra $SO(2N)_1$ of $N$ right-moving Weyl fermions, there exists a topological defect that preserves $G$ while acting differently on left- and right-moving fermions. The defect is constructed explicitly via a bimodule between Lagrangian algebras in a three-dimensional Chern–Simons theory $G_k \\boxtimes SO(2N)_{-1}$. Scattering through the defect generates twist lines whose properties—including non-invertible fusion for non-abelian $G$—are determined by the braiding of bulk anyons. The construction yields the boundary central charge and the mod-2 SPT class of the corresponding folded boundary state, and it always produces a genuine boundary of the fermionic theory rather than a boundary with an extra Arf factor.","feed_headline":"Conformal symmetries always host chiral topological defects","feed_subtitle":"A Chern-Simons construction proves existence and computes the non-invertible twist lines that appear in scattering.","key_machinery":"The key machinery is a three-dimensional Chern–Simons slab: a slab of $G_k$ Chern–Simons theory with a gapless top boundary carrying the Weyl fermions and a topological bottom boundary given by a Lagrangian algebra $A$ in $G_k \\boxtimes SO(2N)_{-1}$, derived from the conformal embedding. The interface $B$ between two such topological boundaries (for different embeddings $L,R$) is an $(A_L,A_R)$-bimodule, studied via induction and decomposition of bulk anyons. All scattering data, including the generation of twist lines and their monodromies, follow from the braiding of anyons in the three-dimensional bulk.","core_discovery":"The central discovery is that any pair of conformal embeddings $L,R: G_k \\to SO(2N)_1$, encoding two inequivalent realizations of the same symmetry on the fermions, yields a topological interface $B$ in the product Chern–Simons theory $G_k \\boxtimes SO(2N)_{-1}$ that, after interval compactification, becomes the desired $G$-preserving defect. The interface $B$ is an $(A_L,A_R)$-bimodule, where $A_{L,R}$ are the Lagrangian algebras determined by the embeddings; such bimodules always exist and can be classified by decomposing induced bimodules. The twist lines generated by scattering are precisely the bulk anyons pushed against the opposite boundary, and their monodromy on local operators equals the braiding phases of those anyons. In the non-abelian case, these twist lines are intrinsically non-invertible and belong to a Tambara–Yamagami category or a group-theoretic fusion category, as demonstrated for the example $G = SU(2)\\times SU(4)\\times U(1)^2$.","pith_inferences":["The method likely extends to any rational conformal field theory with a conformal embedding, not just free fermions, providing a universal TQFT construction for symmetry-preserving defects.","The non-conformally embedded case remains open, but the paper outlines a path using gapless coset boundaries; a similar construction may exist but would require a conformal boundary condition of a heterotic CFT rather than a bimodule.","The example studied arises from fermion–monopole scattering in 4D abelian gauge theories; the non-invertible twist lines suggest that the outgoing excitation in four dimensions may be created by a non-invertible codimension-1 topological operator, whose existence would imply a 2-form symmetry in the 4D theory.","The SPT class diagnostic (whether the $V$ line of $\\operatorname{Spin}(2N)_1$ can end on the bimodule) gives a simple TQFT criterion that reproduces and generalizes earlier results for abelian symmetries."],"forward_implications":["All conformally embedded continuous symmetries in free 2D fermion theories admit symmetric topological defects, with the twist lines fully determined by anyon braiding.","The defect can always be realized as a half-space gauging defect for some finite categorical symmetry, providing a purely two-dimensional construction.","The method gives explicit computable expressions for the boundary central charge and the SPT class (vector vs. axial) of the defect.","For non-abelian symmetries, the twist lines are generically non-invertible, as seen in the $SU(2)\\times SU(4)\\times U(1)^2$ example where they belong to $\\operatorname{TY}(\\mathbb{Z}_3\\times\\mathbb{Z}_3)$ or $\\operatorname{Rep}(S_3)\\times\\mathbb{Z}_3$.","The construction settles the existence problem for symmetric boundaries in the conformally embedded regime, and the techniques generalize to arbitrary rational CFTs with conformal embeddings."],"supporting_citations":[{"why":"Establishes the correspondence between 2D RCFTs and 3D Chern–Simons theory, which is the foundation for the entire construction.","marker":"[24, 25]"},{"why":"Provides the mathematical theory of bimodules between Lagrangian algebras, which classifies the interfaces B.","marker":"[28]"},{"why":"Supplies the TFT construction of RCFT correlators, including the description of topological boundaries via Lagrangian algebras and induction.","marker":"[32]"},{"why":"Explains how to gauge a categorical symmetry in two dimensions and how the internal end construction identifies the algebra to gauge, which the paper uses to reinterpret the defect as a half-space gauging defect.","marker":"[42]"},{"why":"Provides the categorical framework of tensor categories that underpins the fusion, braiding, and module categories used throughout.","marker":"[36]"}],"fun_headline_variants":["Chern-Simons guarantees chiral topological defects","Non-invertible twist lines from conformal embeddings","Any conformal symmetry yields topological defects","Chern-Simons proves chiral defects always exist","Conformal embeddings always produce twist lines"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The construction requires that the symmetry $G$ is conformally embedded in $SO(2N)_1$, meaning its Sugawara central charge $c(G)$ equals $N$, so that the lower boundary of the Chern–Simons slab becomes topological.","fun_headline_variants_meta":{"raw":{"variants":["Chern-Simons guarantees chiral topological defects","Non-invertible twist lines from conformal embeddings","Any conformal symmetry yields topological defects","Chern-Simons proves chiral defects always exist","Conformal embeddings always produce twist lines"]},"model":"deepseek/deepseek-v4-flash","effort":"low","cost_usd":0.000111,"raw_usage":{"cost":0.000111215496,"is_byok":false,"cost_details":{"upstream_inference_cost":0.000111215496,"upstream_inference_prompt_cost":3.9644136e-05,"upstream_inference_completions_cost":7.157136e-05},"total_tokens":1714,"prompt_tokens":998,"completion_tokens":716,"prompt_tokens_details":{"audio_tokens":0,"video_tokens":0,"cached_tokens":256,"cache_write_tokens":0},"completion_tokens_details":{"audio_tokens":0,"image_tokens":0,"reasoning_tokens":646}},"tokens_in":998,"tokens_out":716,"cost_source":"openrouter_usage","duration_ms":6868,"image_pages":[],"temperature":1.0,"billed_attempts":1,"reasoning_tokens":646,"transport_provider":"openrouter","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-10-23T16:03:33.407049+00:00","model_set":{"reader":"deepseek/deepseek-v4-flash"},"falsifier":"Find a non-anomalous continuous symmetry $G$ acting on $N$ Dirac fermions with $c(G) < N$ (non-conformal embedding) that does not admit any $G$-preserving boundary condition; or exhibit a conformally embedded $G$ for which the $(A_L,A_R)$-bimodule construction fails to produce a topological interface because the induced bimodule decomposition does not yield a simple object.","supporting_citations":[{"cited_title":"Module categories, weak Hopf algebras and modular invariants","cited_arxiv_id":"math/0111139","evidence_quote":"Provides the mathematical theory of bimodules between Lagrangian algebras, which classifies the interfaces B."},{"cited_title":"TFT construction of RCFT correlators I: Partition functions","cited_arxiv_id":"hep-th/0204148","evidence_quote":"Supplies the TFT construction of RCFT correlators, including the description of topological boundaries via Lagrangian algebras and induction."},{"cited_title":"On finite symmetries and their gauging in two dimensions","cited_arxiv_id":"1704.02330","evidence_quote":"Explains how to gauge a categorical symmetry in two dimensions and how the internal end construction identifies the algebra to gauge, which the paper uses to reinterpret the defect as a half-space gauging defect."},{"cited_title":"Tensor Categories","cited_arxiv_id":null,"evidence_quote":"Provides the categorical framework of tensor categories that underpins the fusion, braiding, and module categories used throughout."}],"review_version":1}