{"id":"a77d9822-1d55-4105-bec4-aa1b690ed9be","arxiv_id":"2506.16422","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Crowned Lie groups provide a general construction of AQFT nets of real subspaces from antiunitary representations, unifying and extending prior examples.","lead":"The authors introduce crowned Lie groups, complex domains attached to a Lie group and an Euler element, and use them to build nets of real subspaces with the Reeh-Schlieder and Bisognano-Wichmann properties from antiunitary representations. The framework unifies and extends earlier constructions, with new results for the affine group and the split oscillator group.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The Construction Theorem is conditional on a nonzero G-cyclic space H^ω(Ξ)∩H^J_temp; this condition is unproved for general crowned Lie groups and fails for the natural crown of Aff(R) (Thm 3.1), so the central claim's scope is narrower than the title suggests.","rationale":"The reader's weakest assumption pinpoints the same condition. I found no contradiction in the proof of Theorem 2.14 itself after checking the boundary-value estimates, the inclusion U^{-∞}(W_G)E⊆H^{-∞}_{KMS} via Lemma 2.12(d) and Theorem 2.10(d), and the final standard-subspace argument. The main reason the concern is load-bearing rather than fatal is that the paper explicitly labels Problem 6.2 as open and verifies the hypothesis in the principal examples. However, because the title and abstract promise a general crowned-group construction while Theorem 2.14 is conditional on a hypothesis that can fail (Thm 3.1), the scope claim should be read carefully. The suggested test would determine whether the non-vacuity extends to other solvable groups.","tokens_in":37319,"tokens_out":6730,"duration_ms":71972,"concrete_test":"For a solvable Lie group G=N⋊R with Euler element h not covered by [MN24] (e.g. the 4-dimensional split oscillator group of §5), compute H^ω(Ξ)∩H^J_temp for the crown Ξ obtained from the SL3(R) embedding in Remark 5.6 and compare it with the crown from Example 1.7 for the invariant cone generated by the nilradical. If one crown gives {0} and the other a dense subspace, the non-vacuity of Theorem 2.14 is crown-dependent, sharpening Problem 6.2; if both give nonzero G-cyclic subspaces, the concern that the construction is empty outside the listed examples is reduced.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing premise is the hypothesis in Theorem 2.14 that F⊆H^J_temp∩H^ω(Ξ) is G-cyclic. For irreducible (U|_G,H), this reduces to H^ω(Ξ)∩H^J_temp≠{0}, and the paper verifies this only in the semisimple case (Thm 2.16), for Aff(R) with the smaller crown Ξ_2 (Prop 3.2(b)), for the Poincaré group (Sec 2.7), and for the split oscillator group via §5. It is not verified for an arbitrary crowned Lie group; indeed Theorem 3.1 and Prop 3.2(a) show that for Aff(R) the natural larger crown Ξ_1 fails completely for every antiunitary representation with ker ∂U(x)={0}. Thus the theorem does not establish nets for 'crowned Lie groups' in general; it establishes a conditional construction whose non-vacuity is an open problem (Problem 6.2). This is not an internal inconsistency—the paper explicitly flags the problem—but it is exactly where the central claim is least secure.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces the notion of a complex crown domain for a connected Lie group G and of a crowned Lie group (G,h,Ξ), defined by axioms (Cr1)-(Cr3) for the action of G_{τ_h}, strip-like analytic extension of h-orbit maps, and a covering map into the universal complexification. For an antiunitary representation (U,H) of G_{τ_h} and a G-cyclic real subspace F⊆H^J_temp∩H^ω(Ξ), the authors define E=β_+(F) and a net H^G_E(O)=overline{span_R} U^{-∞}(C_c^∞(O,R))E on open subsets O⊆G, and prove in Theorem 2.14 that this net satisfies isotony, covariance, the Reeh-Schlieder property, and the Bisognano-Wichmann property with H^G_E(W_G)=V(h,U). They establish the hypotheses for semisimple groups (Theorem 2.16), for the Poincaré group (Section 2.7), and for the affine group with a suitable smaller crown (Section 3), while showing that the natural larger crown fails (Theorem 3.1). In Theorem 4.1 they prove that the existence of such a net is equivalent to h-regularity of U, and in Section 5 they prove that all unitary (and hence antiunitary) representations of the split oscillator group are h-regular for every Euler element. The paper closes with open problems, including the non-vacuity of H^ω(Ξ)∩H^J_temp for general crowned Lie groups.","tokens_in":37534,"tokens_out":9712,"duration_ms":94775,"significance":"This is a valuable unifying contribution. It connects crown-domain theory, analytic vectors, modular theory, and nets of standard subspaces in AQFT, and it identifies the precise hypothesis needed for the construction. The main theorems are stated carefully; the proofs separate new arguments from external results, citing [KSt04], [Si24], [BN24], [FNÖ25a], and [MN24] precisely. The affine group analysis, including the negative result for the large crown, is informative and makes the scope of the method transparent. The equivalence with h-regularity is a clean characterization, and the split oscillator verification addresses a genuinely difficult case that was previously out of reach of the criteria in [MN24].","major_comments":[{"comment":"The Construction Theorem is conditional on the existence of a G-cyclic real subspace F⊆H^J_temp∩H^ω(Ξ). For irreducible U|_G this reduces to the condition H^ω(Ξ)∩H^J_temp≠{0}, and the paper verifies this only for semisimple groups (Theorem 2.16), for Aff(R) with the crown Ξ_2 (Proposition 3.2(b)), for the Poincaré group (Section 2.7), and for the split oscillator group (Section 5). For an arbitrary crowned Lie group the condition is open (Problem 6.2), and Theorem 3.1 shows that it fails for the natural crown Ξ_1 of Aff(R). The abstract and introduction should therefore state explicitly that the construction provides nets for the classes and examples where non-vacuity is proved, rather than suggesting an unconditional construction for all crowned Lie groups. This is a scope/framing issue rather than a technical error: the statement of Theorem 2.14 itself is precise.","section":"Abstract; Theorem 2.14; Section 6, Problem 6.2"}],"minor_comments":[{"comment":"The sentence 'We have to verify hat' should read 'We have to verify that'.","section":"Proof of Theorem 2.9"},{"comment":"The notation τ_h and τ is used for the automorphism of G as well as for its extension to G_C and for the induced involution on M; distinct symbols or an explicit convention would prevent confusion.","section":"Section 2.7"},{"comment":"The parametrization of β_± in Definition 2.2 uses limits t→∓π/2, whereas Lemma 2.6 writes β_+ as lim_{t→π/2} e^{-it∂U(h)}v; a sentence reconciling these parametrizations would be helpful.","section":"Definition 2.2 and Lemma 2.6"},{"comment":"The statement that crown domains satisfying (Cr1)-(Cr3) 'exist in abundance' would be more useful with pointers to Lemma 1.5 and Examples 1.6 and 1.7.","section":"Remark 1.3"},{"comment":"The notation H^2(C_+)^{-∞}_{U_h} is used in the proof before the direct sum decomposition (3.10) is introduced; please define it at first use.","section":"Theorem 3.1 proof"}],"recommendation":"minor_revision","confidential_remarks":"The paper is a good fit for the journal. The conditional nature of the main construction is disclosed by the authors (Problem 6.2), and the reliance on previous work is transparent rather than circular. The required changes concern presentation and scope wording only."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Punchline: Beltita and Neeb have written a careful, useful paper. The crowned Lie group axioms are new, the Construction Theorem is a genuine unifying result, and the affine group section is the sharpest part—they show the natural crown is too large, then find a smaller one that works. The main theorem is conditional, but the paper says so clearly and verifies the condition for all the classes it claims. The title oversells slightly: 'crowned Lie groups' in general still lack a nontrivial H^ω(Ξ)∩H^J_temp, which is exactly Problem 6.2.\n\nWhat’s actually new: the (Cr1–3) axioms, the general construction of nets satisfying (Iso), (Cov), (RS), (BW) from antiunitary representations with a G-cyclic F (Theorem 2.14), the equivalence between existence of nets and h-regularity (Theorem 4.1), and the split oscillator regularity theorem. The affine group analysis is a nice piece of work: Theorem 3.1 kills the big crown for the Hardy space representation, and Proposition 3.2 shows Ξ2 works for all antiunitary representations. The paper is honest that Theorem 2.14 requires F, and it checks F exists for semisimple groups, the Poincaré group, Aff(R) with Ξ2, and the split oscillator group.\n\nSoft spots: the main theorem is conditional, and the general non-vacuity is open. That is not a flaw—Problem 6.2 says so—but it means the title's generality exceeds the proven results. Also, the proof leans heavily on the authors’ own earlier work ([BN24], [FNÖ25a], [NÖ21], [Ne25]), some of it unpublished. A referee should verify those. The direct-integral argument in Section 5 is terse: it uses the spherical principal series and metaplectic factorization without much detail. These are manageable, not fatal.\n\nWho should read it: anyone working on modular localization, standard subspaces, or Lie group representations with Euler elements. It’s a solid contribution worth a serious refereeing process. I’d support sending it to peer review; the authors may want to adjust the title or add a remark on the open condition, but the core is sound.","headline":"A genuine unifying construction of nets from antiunitary representations, with the main theorem honestly conditional on a cyclicity condition that is verified only for specific classes—not for all crowned Lie groups.","tokens_in":38092,"tokens_out":3710,"would_cite":true,"duration_ms":34166,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["22E45","22E25","81T05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper shows that attaching a complex crown domain to a Lie group turns antiunitary representations into nets of real subspaces satisfying the four standard axioms of algebraic quantum field theory.","keywords":["crown domain","antiunitary representation","net of real subspaces","Euler element","Bisognano-Wichmann property","Reeh-Schlieder property","h-regularity","algebraic quantum field theory"],"falsifier":"For a concrete crowned group, take the Hardy-space representation of $\\mathrm{Aff}(\\mathbb R)$ with the crown $\\Xi_2$ and $F$ spanned by $K_i$. Compute the real closure $H^G_E(W_G)=\\overline{\\mathrm{span}}_{\\mathbb R}U^{-\\infty}(C_c^\\infty(W_G,\\mathbb R))\\beta_+(K_i)$ and compare it with the standard subspace $V=\\mathrm{Fix}(J\\Delta^{1/2})$; the theorem claims equality, so finding any vector in $V$ not contained in that closure would falsify it. Alternatively, a single antiunitary representation of a simply connected solvable Lie group with an Euler element that fails to be $h$-regular would disprove the paper's Conjecture 6.1.","tokens_in":37098,"feed_emoji":"⚛️","tokens_out":9271,"duration_ms":84180,"temperature":0.7,"pith_summary":"The paper introduces crowned Lie groups—triples $(G,h,\\Xi)$ of a connected Lie group, an Euler element $h$, and a complex crown domain $\\Xi$—and uses them to build nets of real subspaces from antiunitary representations. The central Construction Theorem (Theorem 2.14) shows that whenever a representation has a $G$-cyclic subspace $F$ of $H^J_{\\mathrm{temp}}\\cap H^\\omega(\\Xi)$, the boundary-value net $H^G_E(O)=\\overline{\\mathrm{span}}_{\\mathbb R}U^{-\\infty}(C_c^\\infty(O,\\mathbb R))E$ with $E=\\beta_+(F)$ satisfies isotony, covariance, the Reeh–Schlieder property, and the Bisognano–Wichmann property. A companion theorem (Theorem 4.1) characterizes the existence of such nets by $h$-regularity, a form of cyclicity of the intersection of translates of the standard subspace. The paper works out the affine group $\\mathrm{Aff}(\\mathbb R)$, showing that a large natural crown is too big because $H^\\omega(\\Xi_1)\\cap H^J_{\\mathrm{temp}}=\\{0\\}$, while a smaller crown works, and it verifies the regularity condition for all antiunitary representations of the split oscillator group. Together these results provide a unifying representation-theoretic mechanism behind several previously separate net constructions.","feed_headline":"Crown domains let reps build nets with all four AQFT axioms","feed_subtitle":"A boundary-value map builds AQFT nets from antiunitary representations; affine and oscillator groups verify it.","key_machinery":"The central object is the complex crown domain $\\Xi$: a connected complex manifold containing $G$ as a totally real submanifold, with a $G_{\\tau_h}$-action, an $e$-neighborhood $W^c$ in the fixed-point set whose $e^{th}$-orbit maps extend holomorphically to the strip $S^{\\pm\\pi/2}$, and a holomorphic equivariant covering map to the complexification $G_{\\mathbb C}$. The load-bearing mechanism is the boundary-value map $\\beta_+$ that sends a $J$-fixed tempered vector to its distribution boundary value in $H^{-\\infty}_{U_h,\\mathrm{KMS}}$; its equivariance under $\\zeta=e^{-\\frac{\\pi i}{2}\\mathrm{ad}\\,h}$ lets the wedge action be transported into the standard subspace. The paper couples this with $h$-regularity, the condition that $\\bigcap_{g\\in N}U(g)V$ is cyclic for some identity neighborhood $N$, and shows via Theorem 4.1 that this regularity is exactly what a net satisfying (Iso), (Cov), (RS), and (BW) requires.","core_discovery":"On its own terms, the paper's central claim is that for a crowned Lie group $(G,h,\\Xi)$, every antiunitary representation $(U,\\mathcal H)$ of $G_{\\tau_h}$ with a $G$-cyclic real subspace $F\\subseteq H^J_{\\mathrm{temp}}\\cap H^\\omega(\\Xi)$ gives a net of closed real subspaces $O\\mapsto \\overline{\\mathrm{span}}_{\\mathbb R}U^{-\\infty}(C_c^\\infty(O,\\mathbb R))\\beta_+(F)$ that satisfies (Iso), (Cov), (RS), and (BW), with the wedge region $W_G$ mapped to the standard subspace $V=\\mathrm{Fix}(J\\Delta^{1/2})$ determined by $h$ and $U$. The proof rests on extending orbit maps of $J$-fixed vectors to the crown, taking the tempered boundary value $\\beta_+$, and showing that the resulting distribution vectors are KMS vectors for the one-parameter modular group. The paper also proves that the existence of any net with these four properties is equivalent to $h$-regularity of $U$, and it identifies concrete groups where the hypothesis holds: semisimple groups via the crown of the symmetric space, the affine group with the smaller crown $\\Xi_2$, and the split oscillator group, for which all antiunitary representations are $h$-regular for every Euler element.","pith_inferences":["A natural next test would be to look for a solvable Lie group with an Euler element where $h$-regularity fails; if none exists, the crown-based construction would provide nets for a much larger class than the examples verified here.","The paper's pushforward construction to homogeneous spaces is not fully exploited; a natural continuation is to find $H$-invariant subspaces $E$ so that nets on $G/H$ inherit the Bisognano–Wichmann property, which the semisimple symmetric-space results already suggest.","The split oscillator group's realization inside $\\mathrm{SL}_3(\\mathbb R)$ suggests that other nilpotent-by-abelian groups with Euler elements may admit crown domains via embeddings into semisimple groups, extending the split oscillator result by pullback.","If the equivalence in Theorem 4.1 is as strong as stated, then the physically relevant locality condition could be studied through symmetric Euler elements, which never occur for solvable groups, so mixed groups like the Poincaré group are the natural arena for locality questions."],"forward_implications":["For any antiunitary representation satisfying the cyclicity hypothesis, the four AQFT axioms become automatic consequences of a single analytic boundary-value condition, so checking a theory reduces to checking whether $H^\\omega(\\Xi)\\cap H^J_{\\mathrm{temp}}$ is $G$-cyclic.","Theorem 4.1 upgrades $h$-regularity from a technical regularity condition to the exact existence criterion for such nets, so the search for nets becomes the search for Euler elements and regular representations.","The affine group example shows that the crown must be chosen carefully: too large a crown makes the boundary-value space vanish, while too small a crown loses analytic extension; the paper's two crowns $\\Xi_1$ and $\\Xi_2$ delimit this tradeoff.","All antiunitary representations of the split oscillator group are $h$-regular for all Euler elements, giving the first non-reductive family beyond the previously known classes and confirming the regularity conjecture for that group."],"supporting_citations":[{"why":"Supplies the analytic extension theorem for orbit maps of K-finite vectors to the semisimple crown, used in Theorem 2.16.","marker":"[KSt04]"},{"why":"Extends the crown extension results to non-linear groups and provides the polynomial growth estimate that gives tempered boundary values.","marker":"[Si24]"},{"why":"Provides the KMS-vector characterizations, standard-subspace technology, and net construction on non-compactly causal symmetric spaces that Theorem 2.10 refines.","marker":"[FN ´O25a]"},{"why":"Establishes Euler elements as necessary for nets and develops h-regularity, which Theorem 4.1 shows is equivalent to existence of the nets.","marker":"[MN24]"},{"why":"Supplies the one-parameter holomorphic-extension and boundary-value results, including the strip-width bound and properties of $\\beta_+$.","marker":"[BN24]"},{"why":"Gives the pushforward construction and standard-subspace nets on Lie groups that the present nets generalize.","marker":"[N ´O21]"},{"why":"Provides standard subspaces on tube domains and the Poincaré group analysis used in Section 2.7.","marker":"[N ´OØ21]"},{"why":"Gives the standard-subspace modular theory, including the polar decomposition and the result used to identify the wedge subspace.","marker":"[Lo08]"}],"fun_headline_variants":["Crown domains turn antiunitary reps into full AQFT nets","Crown escapes give nets that pass Reeh-Schlieder, BW tests","For crowned groups, all antiunitary reps yield valid nets","Euler element regularity is the key to AQFT net existence","Affine and oscillator groups crown-check the AQFT net recipe"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"For the construction theorem, the load-bearing premise is that an antiunitary representation possesses a $G$-cyclic real subspace $F$ inside $H^J_{\\mathrm{temp}}\\cap H^\\omega(\\Xi)$; if no such subspace exists, the boundary-value net is trivial and the theorem does not apply.","fun_headline_variants_meta":{"raw":{"variants":["Crown domains turn antiunitary reps into full AQFT nets","Crown escapes give nets that pass Reeh-Schlieder, BW tests","For crowned groups, all antiunitary reps yield valid nets","Euler element regularity is the key to AQFT net existence","Affine and oscillator groups crown-check the AQFT net recipe"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000227,"raw_usage":{"total_tokens":1482,"prompt_tokens":967,"completion_tokens":515,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":583,"completion_tokens_details":{"reasoning_tokens":422}},"tokens_in":583,"tokens_out":515,"duration_ms":5415,"temperature":1.0,"reasoning_tokens":422,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T19:26:47.933207+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a concrete crowned group, take the Hardy-space representation of $\\mathrm{Aff}(\\mathbb R)$ with the crown $\\Xi_2$ and $F$ spanned by $K_i$. Compute the real closure $H^G_E(W_G)=\\overline{\\mathrm{span}}_{\\mathbb R}U^{-\\infty}(C_c^\\infty(W_G,\\mathbb R))\\beta_+(K_i)$ and compare it with the standard subspace $V=\\mathrm{Fix}(J\\Delta^{1/2})$; the theorem claims equality, so finding any vector in $V$ not contained in that closure would falsify it. Alternatively, a single antiunitary representation of a simply connected solvable Lie group with an Euler element that fails to be $h$-regular would disprove the paper's Conjecture 6.1.","supporting_citations":[],"review_version":1}