{"id":"a027d757-eb79-48b6-a16f-4396b7704296","arxiv_id":"2506.01008","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Even lattices in an indefinite bilinear form classify two-dimensional conformal net extensions of Heisenberg nets under a discreteness assumption, with explicit rational and non-rational examples.","lead":"This paper builds a family of two-dimensional conformal field theories from even lattices, extending the free-boson Heisenberg theory, and proves that, under a discreteness condition, every such extension comes from a lattice. The examples include theories with non-rational left and right moving parts, giving a rigorous algebraic model of non-rational CFTs.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the classification is explicitly conditional on discreteness/direct-sum, and the non-discrete examples are openly acknowledged in the paper.","rationale":"The reader's weakest-assumption analysis correctly identifies the direct-sum/discreteness hypothesis in Theorem 5.5 as the main source of conditionality. However, I do not see this as an overclaim that requires a verdict change: the abstract explicitly qualifies the classification with a discreteness assumption, the theorem states the precise hypotheses, and Section 5 plus Example 3.5 openly discuss non-discrete extensions as outside the theorem. The reader's CONDITIONAL verdict with MODERATE confidence therefore remains appropriate. My partial disagreement is only about the framing: the paper is transparent about the condition, so the remaining uncertainty comes from the depth of the external results used and the technical Section 5 condition on diffeomorphism implementation, not from a misleading statement of the central theorem. I found no internal inconsistency and no fitted-parameter circularity.","tokens_in":40973,"tokens_out":30785,"duration_ms":297491,"concrete_test":"Recompute the charge-set decomposition of Example 3.5 for G=Q: verify that the representation of A_R⊗A_R on the extension Hilbert space is a direct sum over the countable, non-discrete additive subgroup {(q,q):q∈Q}, that the locality proof of Theorem 3.2 still goes through with the trivial cocycle, and that no even lattice L can have this dense charge set, since every discrete additive subgroup of R^2 is finitely generated. This confirms that the discreteness hypothesis in Theorem 5.5 is essential and that the paper's conditional formulation is the correct maximal reach of the classification argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central classification claim is conditional, not unconditional. Theorem 5.5 classifies only local conformal extensions whose vacuum representation restricts to A_ph⊗A_barph as a direct sum of irreducible sectors over a discrete set Q, under the Section 5 conformal-extension condition on the diffeomorphism implementation. This is stated in the theorem and flagged in Section 5, where the authors write that in full generality the problem is difficult. Example 3.5 gives local extensions with non-discrete charge sets, e.g. G=Q and G=R, which lie outside the theorem; the paper explicitly says it does not know whether extensions with non-discrete spectrum can be classified. The abstract's phrase 'with a certain discreteness assumption on the spectrum' is therefore a genuine qualifier, not an unqualified claim. I also looked for a hidden technical gap in the proof of Theorem 5.5: the construction of charge operators from the Arveson spectrum in Lemma 5.3, the derivation that Q is an even lattice in Lemma 5.4, and the reduction of the symmetric 2-cocycle to a coboundary via [Bau95, Lemma 3.4.2] all appear sound. The reliance on external results such as [BMT88], [TL97], [Gui19], and [AGT25] is substantial but not circular, and the paper's own Example 3.5 confirms that the discreteness hypothesis is load-bearing rather than decorative.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs two-dimensional conformal nets A_Q extending the tensor product A_ph ⊗ A_barph of Heisenberg nets, associated to an even lattice Q in a finite-dimensional real Hilbert space h with respect to the indefinite form (alpha|beta) = (p alpha, p beta)_h - (bar p alpha, bar p beta)_h. The construction uses a canonical 2-cocycle and twisted shift operators. Under a discreteness/direct-sum hypothesis, Theorem 5.5 gives a converse: every local conformal extension of the Heisenberg net whose vacuum representation restricts to a direct sum of irreducible sectors over a discrete set of charges is unitarily equivalent to some A_Q. The paper also studies explicit examples with h = R^2, showing that the chiral components can be rational or non-rational depending on R^2, constructs a braided equivalence of a subcategory of the chiral representation category in the non-rational case, and builds two-dimensional Wightman fields that generate the extended nets in some parameter ranges.","tokens_in":41174,"tokens_out":21868,"duration_ms":213979,"significance":"If the results hold, the paper provides a substantial step beyond the rational finite-index setting: a general construction and a classification, under explicit hypotheses, of two-dimensional conformal net extensions of Heisenberg nets, together with genuinely non-rational examples. Strengths include the detailed proofs of Theorems 3.2 and 5.5, the honest and explicit statement of the discreteness/direct-sum hypothesis, the acknowledgment in Example 3.5 that non-discrete extensions exist outside the classification, and the explicit braided equivalence with non-trivial tensorator in Section 4. The proof of the Wightman axioms in Section 6.3 is partly delegated to prior work, but the key locality computation is carried out in the paper. The reliance on externally published technical results is substantial but not circular.","major_comments":[],"minor_comments":[{"comment":"The abstract's phrase 'any two-dimensional extension' is broader than Theorem 5.5, which requires both a direct-sum decomposition of the vacuum representation into irreducible sectors and discreteness of the charge set Q, not merely discreteness of the spectrum. Since Example 3.5 shows that non-discrete additive subgroups produce extensions outside the theorem, the abstract should explicitly mention the direct-sum hypothesis.","section":"Abstract and Section 5"},{"comment":"The condition 'R^2 in Q' uses the same symbol Q as the lattice, which is confusing; the rationals should be denoted by a distinct symbol such as \\mathbb{Q} throughout the example and the introduction.","section":"Example 3.3"},{"comment":"In the definitions following equation (6.3), the summation index is written as 'z in Z' in two places, where 'n in Z' is clearly meant; the same typo appears in the definition of E_+(alpha,z) and should be corrected.","section":"Section 6.1"},{"comment":"The diagram defining the tensorator uses '1' both for the identity morphism and for the scalar 1, which makes the computation hard to follow; labelling the identity arrow explicitly would improve readability.","section":"Section 4"},{"comment":"The proof of Theorem 6.1 states that the verification of the Wightman axioms is brief except for locality, but it does not list precisely which axioms are checked in [AGT23] and which are checked here; a short sentence identifying the delegated results would be helpful to the reader.","section":"Section 6.3"}],"recommendation":"minor_revision","confidential_remarks":"The paper is technically sound in my assessment, and the conditional nature of the classification is stated clearly in the body of the paper. My main editorial concern is that the abstract slightly overstates the scope of Theorem 5.5 by omitting the direct-sum hypothesis; this is a presentation issue rather than a correctness issue. The paper relies heavily on prior work of the same authors, especially [AGT23] and [AGT25]; the novel contribution relative to those papers could be highlighted more explicitly in the introduction, but this does not affect my recommendation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: solid, genuinely new construction. The paper builds two-dimensional conformal nets from arbitrary even lattices with respect to an indefinite form, proves a classification theorem under an honest discreteness condition, and shows the construction covers both rational and non-rational chiral components. The braided equivalence in Section 4, with the lattice 2-cocycle as tensorator, is new and interesting. Theorem 5.5 is proved carefully given its hypotheses; the lattice Q is input, the cocycle is canonical, and I found no fitted-parameter circularity. The non-rational extension is not one of the diagonal extensions from the rational setting, which is the point.\n\nSoft spots are modest. The classification is conditional: the vacuum representation must restrict as a direct sum over a discrete set Q. The paper says this in the abstract and flags it in Section 5; Example 3.5 gives non-discrete extensions outside the theorem. That is a real limitation but not a hidden one. The Wightman section is brief and delegates several nontrivial steps to [AGT23], [TL97], [Gui19]. That reliance is standard in this literature, but a referee should check that the polynomial energy bounds survive the cocycle twist; the authors only indicate the argument. I would not call it a flaw, only a place where the proof is thinner than the rest.\n\nWho is it for: algebraic QFT / conformal net people, and VOA researchers interested in full CFTs and current-current deformations. The paper deserves a serious referee: the main construction is coherent, the claims are consistent with the stated assumptions, and the examples are illuminating. I would send it to review rather than desk reject.","headline":"A careful, genuinely new construction of 2d conformal nets from even lattices, with a classification that is honestly conditional and worth serious review.","tokens_in":41778,"tokens_out":1929,"would_cite":true,"duration_ms":19293,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T40","81R10","17B69","46L60"],"pacs":["11.25.Hf"],"model":"deepseek-v4-flash","headline":"An even lattice Q in an indefinite inner product space builds every discrete two-dimensional conformal extension of the Heisenberg net, up to unitary equivalence.","keywords":["conformal nets","Heisenberg algebras","even lattices","two-dimensional conformal field theory","braided tensor categories","Wightman fields","rational CFT","U(1)-current algebra"],"falsifier":"Exhibit a local conformal extension of $\\mathcal A_{p\\mathfrak h}\\otimes\\mathcal A_{\\bar p\\mathfrak h}$ that satisfies the discrete-spectrum assumption but is not unitarily equivalent to any $\\mathcal A_Q$ with $Q$ an even lattice; for instance, a discrete extension whose charge set is an additive subgroup that is not an even lattice, or whose 2-cocycle $Z(\\alpha,\\beta)$ violates $Z(\\alpha,\\beta)Z(\\beta,\\alpha)^{-1}=e^{i(\\alpha|\\beta)}$, would disprove the classification.","tokens_in":40698,"feed_emoji":"🧮","tokens_out":8721,"duration_ms":78304,"temperature":0.7,"pith_summary":"This paper constructs two-dimensional conformal field theories as extensions of the Heisenberg conformal net, driven by the data of an even lattice $Q$ inside a real Hilbert space $\\mathfrak h$ equipped with the indefinite bilinear form $(\\alpha|\\beta) = (p\\alpha,p\\beta)_{\\mathfrak h} - (\\bar p\\alpha,\\bar p\\beta)_{\\mathfrak h}$. It proves that, whenever the charge spectrum of an extension is discrete, every such extension is unitarily equivalent to the lattice net $\\mathcal A_Q$. In the concrete case $\\mathfrak h = \\mathbb R^2$ with $p$ one-dimensional, the chiral components are rational exactly when $R^2$ is rational, and remain the non-rational Heisenberg net when $R^2$ is irrational. The same charge and braiding structures are then used to build two-dimensional conformal Wightman fields that generate the extended nets in some cases.","feed_headline":"Even lattices build every discrete 2D conformal extension","feed_subtitle":"From one lattice Q come rational or non-rational chiral theories, depending on whether R^2 is rational.","key_machinery":"The load-bearing object is the even lattice $Q\\subset\\mathfrak h$ with respect to the indefinite bilinear form $(\\alpha|\\beta)=(p\\alpha,p\\beta)_{\\mathfrak h}-(\\bar p\\alpha,\\bar p\\beta)_{\\mathfrak h}$, together with its $\\{\\pm1\\}$-valued 2-cocycle $\\epsilon$ from the standard twisted group algebra construction. The net $\\mathcal A_Q$ is defined on the Hilbert space $\\mathcal H_Q=\\bigoplus_{\\lambda\\in Q} \\mathcal H_{p\\lambda,h}\\otimes \\mathcal H_{\\bar p\\lambda,h}$ by adjoining to the Heisenberg net the twisted shift operators $\\psi_\\alpha$ with $\\psi_\\alpha\\psi_\\beta = (-1)^{(\\alpha|\\beta)}\\psi_\\beta\\psi_\\alpha$ and $(\\psi_\\alpha)^* = \\epsilon(\\alpha,\\alpha)\\psi_{-\\alpha}$; the cocycle encodes the projective phases needed for locality, and the braiding identity $e^{i\\pi(\\alpha|\\beta)} = \\varepsilon^+_{p\\alpha,p\\beta}\\,\\varepsilon^-_{\\bar p\\alpha,\\bar p\\beta}$ is what makes the shifted operators commute on spacelike-separated double cones. In the classification proof, the same cocycle appears as the obstruction that must be a 2-coboundary, forcing the canonical form $\\mathcal A_Q$.","core_discovery":"The central claim is a bijection between even lattices and local conformal extensions of the two-dimensional Heisenberg net under a discreteness hypothesis: Theorem 5.5 states that if the restriction of the vacuum representation to $\\mathcal A_{p\\mathfrak h} \\otimes \\mathcal A_{\\bar p\\mathfrak h}$ is a direct sum of irreducible sectors $\\sigma_{p\\lambda,h} \\otimes \\sigma_{\\bar p\\lambda,h}$ indexed by a discrete set $Q \\subset \\mathfrak h$, then each sector appears once, $Q$ is an even lattice with respect to the indefinite form, and the extension is unitarily equivalent to the explicitly constructed net $\\mathcal A_Q$. The construction is carried out by forming the Hilbert space $\\mathcal H_Q = \\bigoplus_{\\lambda\\in Q} \\mathcal H_{p\\lambda,h} \\otimes \\mathcal H_{\\bar p\\lambda,h}$, implementing lattice translations by twisted shift operators built from the 2-cocycle $\\epsilon$ of the even lattice, and checking locality through the identity $e^{i\\pi(\\alpha|\\beta)} = \\varepsilon^+_{p\\alpha,p\\beta}\\,\\varepsilon^-_{\\bar p\\alpha,\\bar p\\beta}$ that links the lattice inner product to the braiding of the chiral and antichiral Heisenberg sectors. The examples with $\\mathfrak h = \\mathbb R^2$, $p$ one-dimensional and $Q$ generated by $\\frac{1}{\\sqrt2}(R\\oplus R)$ and $\\frac{1}{\\sqrt2}(R^{-1}\\oplus(-R^{-1}))$ show both worlds: the chiral components are rational extensions of the U(1)-current net when $R^2\\in\\mathbb Q$, and stay the non-rational Heisenberg net when $R^2\\notin\\mathbb Q$, with a braided tensor autoequivalence of a subcategory serving as the categorical shadow of the extension.","pith_inferences":["If the discrete classification is taken as a template, it suggests that non-rational two-dimensional CFTs of Heisenberg type may be parameterized by even lattices in an indefinite inner-product space, with rationality appearing as an arithmetic property of the lattice rather than as a separate input.","The braided autoequivalence found for irrational $R^2$ hints that full non-rational CFTs may admit a classification by braided equivalences of proper subcategories of the chiral representation category, paralleling the rational module-category picture but without requiring finite index.","A concrete open test suggested by the paper is whether non-discrete local extensions of $\\mathcal A_Q$ exist when $R^2$ is irrational; if one exists, it would show that the word \"maximal\" for $\\mathcal A_Q$ depends on the discreteness assumption in Theorem 5.5.","One could test the Wightman-field generation beyond the bounded range by checking whether the polynomial energy bounds for $Y_\\alpha$ hold for all lattice charges; if they do, the fields would generate $\\mathcal A_Q$ for every even lattice, not only for charges of norm at most one."],"forward_implications":["Under the discrete-spectrum assumption, the classification of two-dimensional Heisenberg extensions is reduced to the arithmetic problem of listing even lattices $Q$ in an indefinite inner-product space.","In the $\\mathbb R^2$ examples, rationality of the chiral components is decided by $R^2\\in\\mathbb Q$: rational $R^2$ gives rational chiral extensions of the U(1)-current net, while irrational $R^2$ leaves the non-rational Heisenberg net as the chiral component.","The non-rational examples carry a braided tensor autoequivalence of a subcategory of the chiral representation category, with the lattice 2-cocycle as a non-trivial tensorator, so categorical data exists beyond the rational and finite-index setting.","The charge-carrying formal vertex operators can be smeared into two-dimensional conformal Wightman fields satisfying the Wightman axioms, and when both $(p\\alpha,p\\alpha)_{\\mathfrak h}$ and $(\\bar p\\alpha,\\bar p\\alpha)_{\\mathfrak h}$ are at most $1$, the fields are bounded and generate the net $\\mathcal A_Q$.","The construction permits $\\dim p\\neq \\dim \\bar p$, so the chiral and antichiral components may have different central charges."],"supporting_citations":[{"why":"It supplies the strategy of extracting charge-carrying operators and classifying extensions of the U(1)-current net that the two-dimensional classification proof follows.","marker":"[BMT88]"},{"why":"It supplies the definition and properties of the 2-cocycle $\\epsilon$ of an even lattice and the twisted group algebra $\\mathbb C_\\epsilon[Q]$ used to build the shift operators.","marker":"[Kac98]"},{"why":"It sets up the two-dimensional conformal net and Wightman field framework, including braiding computations and energy bounds, that the constructions adapt.","marker":"[AGT23]"},{"why":"It gives the characterization of two-dimensional rational local conformal nets and their boundary conditions via braided equivalences, the pattern extended here to non-rational examples.","marker":"[BKL15]"},{"why":"It supplies the correspondence between extensions and braided tensor equivalences of the chiral components used in Section 4.","marker":"[DNO13]"},{"why":"It provides the proposition that a discrete additive subgroup of $\\mathbb R^N$ is a lattice, which turns the discreteness assumption into the lattice structure in Theorem 5.5.","marker":"[Neu99]"},{"why":"It supplies the Arveson spectrum argument and the lemma that symmetric 2-cocycles of an abelian group are 2-coboundaries, both used in the classification proof.","marker":"[Bau95]"},{"why":"It provides the full vertex algebra framework and examples of even lattices with $\\dim p\\neq\\dim\\bar p$, connecting the conformal net construction to current-current deformations.","marker":"[Mor23]"}],"fun_headline_variants":["Rational or not: lattices pick 2D conformal fate","Even lattices decide rational vs non-rational nets","Lattice-built 2D conformal nets: rational or not","Heisenberg nets extended: lattices rule rationality","Even lattices: origin of rational and non-rational 2D nets"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The classification in Theorem 5.5 assumes that the vacuum representation of the extension decomposes as a direct sum of irreducible charge sectors indexed by a discrete set $Q$; if the charge spectrum is not discrete, the argument that the charges form a lattice breaks down and non-lattice extensions such as Example 3.5 exist.","fun_headline_variants_meta":{"raw":{"variants":["Rational or not: lattices pick 2D conformal fate","Even lattices decide rational vs non-rational nets","Lattice-built 2D conformal nets: rational or not","Heisenberg nets extended: lattices rule rationality","Even lattices: origin of rational and non-rational 2D nets"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000803,"raw_usage":{"total_tokens":3646,"prompt_tokens":1182,"completion_tokens":2464,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":798,"completion_tokens_details":{"reasoning_tokens":2378}},"tokens_in":798,"tokens_out":2464,"duration_ms":18154,"temperature":1.0,"reasoning_tokens":2378,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T11:53:48.798797+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a local conformal extension of $\\mathcal A_{p\\mathfrak h}\\otimes\\mathcal A_{\\bar p\\mathfrak h}$ that satisfies the discrete-spectrum assumption but is not unitarily equivalent to any $\\mathcal A_Q$ with $Q$ an even lattice; for instance, a discrete extension whose charge set is an additive subgroup that is not an even lattice, or whose 2-cocycle $Z(\\alpha,\\beta)$ violates $Z(\\alpha,\\beta)Z(\\beta,\\alpha)^{-1}=e^{i(\\alpha|\\beta)}$, would disprove the classification.","supporting_citations":[],"review_version":1}