{"id":"5962d353-da4e-46ec-8eb1-e74931c6034f","arxiv_id":"1909.01000","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Coreductivity and cosymmetry of a Lie bialgebra are defined and shown to characterize when the complementary dual homogeneous space is reductive or symmetric, with applications to κ-deformed Lorentzian spacetimes.","lead":"This paper introduces two new structural properties of Lie bialgebras, coreductivity and cosymmetry, that control when the dual of a Poisson homogeneous spacetime is a reductive or symmetric space. It applies them to the κ-deformation of Minkowski and (anti-)de Sitter spaces, showing that only the κ-Poincaré case is coreductive in 3+1 dimensions and constructing the dual Poisson homogeneous spaces.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 6.1 classification of coreductive Lorentzian Lie bialgebras rests on omitted structure-constant computations; schematic r-matrix argument is too coarse to establish the claims.","rationale":"The reader's verdict was CONDITIONAL, with the weakest assumption being the closedness of H^⊥ and the C*-algebra hypothesis in Section 8. My read agrees that the paper needs qualification, but I identify a different, more direct threat to the strongest claim: the Section 6.1 classification is presented without the promised computations, and the schematic α,β,γ notation is insufficient to verify the coefficient cancellations that determine coreductivity. If the omitted computation is wrong or incomplete, the headline result about κ-(A)dS being excluded in (3+1) dimensions would fall. This is not a demonstrated error, but it is a concrete, addressable gap: an independent recomputation would settle it. The closedness concern is real but secondary for the Lorentzian examples, because the explicit coordinate construction of M^⊥ (Sections 6.2-6.3) effectively assumes the subgroup is a coordinate slice. The Section 8 uncertainty-relations argument is heuristic and depends on a C*-algebra structure that is not rigorously defined, but it is a physical interpretation rather than the core mathematical claim. Therefore the reader's CONDITIONAL verdict remains appropriate; no verdict change is needed.","tokens_in":27935,"tokens_out":12149,"duration_ms":128344,"concrete_test":"Independently recompute Section 6.1 using the explicit basis of (34) and a generic skew-symmetric r = α_{ij} J_i∧J_j + β_{iμ} K_i∧P_μ + γ_{μν} P_μ∧P_ν (with structure constants of so(3,1) and the Λ-dependent [t,t]). In a computer algebra system, compute δ(X)=[X⊗1+1⊗X,r] for every generator of so(3,2), so(4,1), and iso(3,1), and verify: (1) δ(h)⊆h∧g iff γ=0; (2) for γ=0, δ(t)⊆h∧h⊕t∧t iff α=0; (3) for Λ≠0, coreductivity forces γ=0; (4) no non-coboundary coreductive Lie bialgebra appears among the classification lists of [58]. If any condition fails or a non-coboundary solution exists, the central classification needs revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's strongest claim is the classification in Section 6.1: for Lorentzian Lie bialgebras, coisotropy forces γ=0 and coreductivity then forces α=0, so coreductive Lie bialgebras are exclusively of the form r⊆β h∧t, with the corollary that κ-(A)dS is coreductive only in (2+1) dimensions. This is stated after 'lengthy but straightforward computations involving explicitly the structure constants ... that we omit here for the sake of brevity'. The schematic notation r⊆α h∧h ⊕ β h∧t ⊕ γ t∧t and the resulting inclusions (39)-(40) are subspace inclusions, not equations. The decisive steps require knowing whether the α h∧t and γΛ h∧t contributions to δ(t) are linearly independent or can cancel for Λ≠0; whether δ(h) and δ(t) components are nonzero in the relevant sectors; and whether the classification list of [58] actually covers all Lorentzian Lie bialgebras, including non-coboundary ones. Without these computations, the central classification and the exclusion of the (3+1) κ-(A)dS case are unverified assertions. The closedness issue for H^⊥ in Definition 12 is a separate foundational gap, but the Lorentzian applications explicitly construct the dual coset via exponential coordinates, so that gap is less directly damaging to the classification than a possible error in the omitted derivation.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a duality framework for Poisson homogeneous spaces (PHS). Starting from a Poisson-Lie group (G,Π) with Lie bialgebra (g,δ) and a coisotropic subgroup H, the authors define the complementary dual space M⊥=G*/H⊥, where H⊥ has Lie algebra the annihilator h⊥⊂g*. They then introduce two new conditions on δ relative to a splitting g=h⊕t: coreductivity, δ(t)⊆h∧h⊕t∧t, which makes M⊥ a reductive homogeneous space for G*; and cosymmetry, δ(h)⊆h∧t, which makes M⊥ symmetric. These conditions are characterized algebraically and applied to Lorentzian Lie algebras gΛ (Minkowski and (A)dS) with h=so(3,1) and t the translation sector. For the κ-deformation, the paper constructs the dual spaces M⊥Λ in (2+1) and (3+1) dimensions, analyzes their Poisson structures and K-structure geometry, and argues that coreductivity controls the uncertainty relations obtained from representations of the dual algebra g*. The central claims are that coreductive Lorentzian Lie bialgebras are exactly those generated by r-matrices r⊆β h∧t, and that the κ-Poincaré bialgebra is coreductive in any dimension while the κ-(A)dS bialgebra is coreductive only in (2+1) dimensions.","tokens_in":28246,"tokens_out":7693,"duration_ms":80790,"significance":"If the main claims hold, the paper provides a clean algebraic criterion for when the complementary dual of a Poisson homogeneous spacetime is reductive or symmetric, with direct consequences for the κ-deformation: the (3+1) κ-(A)dS deformation would be excluded from the duality framework, while κ-Poincaré is included. The algebraic derivation of coreductivity and cosymmetry from the reductive and symmetric conditions in Sections 5.1 and 5.2 is straightforward and checkable, and the explicit computations for the κ-bialgebra are concrete and reproducible. The paper contains no fitted parameters and the framework is self-dual, which is a genuine conceptual strength. However, the Lorentzian classification in Section 6.1 — the load-bearing result — rests on omitted computations, and the definition of M⊥ in Definition 12 presupposes closedness of H⊥ without proof. These gaps currently prevent the paper from fully supporting its strongest claims.","major_comments":[{"comment":"The classification of coreductive Lorentzian Lie bialgebras is the paper's main technical result, but it is asserted after 'lengthy but straightforward computations involving explicitly the structure constants ... that we omit here for the sake of brevity'. This is not sufficient for a classification on which the exclusion of the (3+1) κ-(A)dS case and the inclusion of κ-Poincaré depend. The schematic inclusions (39)–(40) are subspace inclusions, not coefficient equations; to conclude that coisotropy forces γ=0 and coreductivity forces α=0 for coisotropic bialgebras, one must verify that the displayed sectors are the only ones, that no cancellation between the α h∧t and γΛ h∧t contributions can occur for generic r, and that the cited classifications in [20,21,58,59] indeed cover all Lorentzian Lie bialgebras, including any non-coboundary ones. Please include the full computations or a complete proof in an appendix.","section":"§6.1, Eqs. (38)–(41)"},{"comment":"The complementary dual space M⊥=G*/H⊥ is defined by taking 'the unique connected and simply-connected Lie subgroup H⊥ of G* with Lie algebra h⊥'. Two issues arise. First, a connected Lie subgroup with a prescribed Lie algebra need not be closed, and G*/H⊥ is a smooth homogeneous space (as used throughout Sections 6–8) only when H⊥ is closed; no closedness proof or sufficient condition is given. Second, the subgroup need not be simply connected even when G* is simply connected. The definition should either impose closedness explicitly or prove it for the cases considered; otherwise the existence of M⊥ as a manifold is not established.","section":"Definition 12 (Section 4)"},{"comment":"The uncertainty-relations argument assumes that the dual Lie algebra g* carries a C*-algebra structure with unitary irreducible representations. This is a substantial assumption: for a finite-dimensional Lie algebra, unitary representations are by unbounded operators, and Robertson-type inequalities such as (66) and (68) require absolute values and domain qualifications. As written, the conclusion that non-coreductivity forces 'singular constraints' on states with ξ|ψ>=0 is heuristic. If this is intended as a physical motivation, it should be labeled as such; if it is intended as a rigorous statement, the hypotheses on the representations and operator domains must be supplied. This does not affect the algebraic classification, but it is central to the claimed physical interpretation.","section":"Section 8, Eqs. (65)–(68)"}],"minor_comments":[{"comment":"There is a typo: 'Mofeover' should be 'Moreover'.","section":"Section 5, after Eq. (21)"},{"comment":"The right-hand sides of the uncertainty inequalities should be absolute values of the expectation values (or the states chosen so the expectations are nonnegative), and the notation should clarify that [x,ξ] is a Lie bracket in g*, not an operator commutator.","section":"Eqs. (66) and (68)"},{"comment":"Replace 'connected and simply-connected Lie subgroup' with 'connected Lie subgroup' and add a closedness hypothesis; as written the phrase is mathematically inaccurate.","section":"Definition 12"},{"comment":"The statement that 'all (A)dS and Poincaré Lie bialgebras are coboundary' is attributed to [58], which concerns the Poincaré case; please give precise references for the (A)dS cases and for the exhaustiveness of the classification list.","section":"Section 6.1"},{"comment":"Please specify the identification TeH⊥M⊥ ≃ t⊥ used in the curvature computations and state explicitly that the connection used is the canonical connection of Eq. (61).","section":"Section 7, Eqs. (63)–(64)"},{"comment":"The notation {x,x}Π, {x,ξ}Π, {ξ,ξ}Π is typographically confusing; write e.g. {xi,xj}Π to make the coordinate indices explicit.","section":"Section 4.1, Eq. (7)"}],"recommendation":"major_revision","confidential_remarks":"The conceptual framework is sound and the explicit κ-deformation examples are valuable, but the paper's strongest claim — the Lorentzian classification in Section 6.1 — is currently unsupported because the computations are omitted. The closedness issue in Definition 12 is a foundational gap that should be addressed even if it is benign in the examples. The Section 8 uncertainty-relation discussion is heuristic and should be clearly framed as such. I would support publication after the computational gap is filled and the foundational assumptions are stated precisely."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nRead it. The real content is the pair of definitions—coreductivity and cosymmetry—which give a clean algebraic criterion for when the complementary dual of a coisotropic Poisson homogeneous space is reductive or symmetric. That is a useful organizing idea, and the self-duality of the construction is satisfying. The explicit treatment of κ-deformed Minkowski and (A)dS spacetimes, including the dual Poisson brackets and the K-structure geometry, is concrete and mostly checkable. The authors earn credit for actually constructing the dual spaces rather than stopping at the abstract level.\n\nThe algebraic core, Sections 4–5, is sound. I verified the translation between [h⊥,t⊥]⊆t⊥ and the absence of h∧t in δ(t), and the analogous cosymmetry statement. The claims about Lorentzian bialgebras are mostly direct consequences of the schematic decomposition (39)–(40): for a coisotropic Lie bialgebra (γ=0), coreductivity forces α=0, so r⊆β h∧t. The exclusion of (3+1) κ-(A)dS is visible in the explicit r-matrix (53). So the stress-test worry that the omitted computations are load-bearing is overstated for the coisotropic case.\n\nThat said, there are real soft spots. First, the paper states 'coreductive Lorentzian Lie bialgebras are given exclusively by r⊆β h∧t' without the coisotropy qualifier. If coreductivity alone is meant, the condition is α+γΛ=0, not α=γ=0; the mCYBE might rule out such r-matrices, but that is exactly what the omitted computations would need to show. The text should qualify the statement or supply the argument. Second, Definition 12 assumes M⊥=G*/H⊥ is a smooth coset space without addressing closedness of H⊥. For simply connected solvable groups this is not automatic; the local coordinate constructions in the examples are probably fine, but a global statement needs a comment. Third, the uncertainty-relations discussion in Section 8 is heuristic; the C*-algebra assumption is loose and the argument is asymptotic. It reads as motivation, not theorem.\n\nOverall, a solid and useful paper. It deserves refereeing, with a request for revision: fix the qualifier in the Lorentzian classification, add a remark on closedness, and soften the Section 8 claims. The algebraic core is sound and the new definitions will find use.\n\nRecommendation: send to peer review.","headline":"Useful new definitions (coreductivity/cosymmetry) with a sound algebraic core; the Lorentzian classification needs a qualifier and the closedness of H⊥ needs attention.","tokens_in":28726,"tokens_out":11698,"would_cite":true,"duration_ms":113125,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D17","53C30","17B62","81R50","22E70"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper shows that coreductivity restricts Lorentzian quantum deformations to r-matrices $r\\subseteq\\beta\\,\\mathfrak h\\wedge\\mathfrak t$, admitting $\\kappa$-Poincaré duals in any dimension but $\\kappa$-(A)dS duals only in (2+1).","keywords":["Poisson homogeneous spaces","Lie bialgebras","coisotropic subgroups","complementary dual homogeneous spaces","coreductivity","cosymmetry","κ-deformation","noncommutative spacetimes"],"falsifier":"Look for a Lorentzian r-matrix with a nonzero $\\mathfrak h\\wedge\\mathfrak h$ component that satisfies the modified classical Yang-Baxter equation and compute whether $\\delta(\\mathfrak t)$ contains any $\\mathfrak h\\wedge\\mathfrak t$ term; if such an r-matrix exists with no $\\mathfrak h\\wedge\\mathfrak t$ in $\\delta(\\mathfrak t)$, the 'coreductive iff $\\alpha=0$' theorem fails. Equivalently, a (3+1) Lorentzian Lie bialgebra with $\\Lambda\\neq0$ that is coreductive with respect to $\\mathfrak h$ would falsify the exclusion of the $\\kappa$-(A)dS deformation.","tokens_in":27790,"feed_emoji":"🌌","tokens_out":12822,"duration_ms":107467,"temperature":0.7,"pith_summary":"This paper develops a duality for Poisson homogeneous spaces: from a quotient $M=G/H$ whose Poisson structure comes from a coisotropic Lie bialgebra on $\\mathfrak g$, it constructs a complementary dual space $M^\\perp=G^*/H^\\perp$ using the dual Lie group and the annihilator of $\\mathfrak h$. It introduces two refinements of coisotropy—coreductivity and cosymmetry—which are exactly the conditions under which $M^\\perp$ is a reductive or symmetric homogeneous space. For Lorentzian Lie algebras the paper shows that coreductive structures must come from r-matrices of the form $r\\subseteq \\beta\\,\\mathfrak h\\wedge\\mathfrak t$, so the $\\kappa$-Poincaré deformation is coreductive in every dimension while the $\\kappa$-(A)dS deformation is coreductive only in (2+1) dimensions. This matters because coreductivity is what allows the representation theory of the dual Lie algebra to yield physically consistent uncertainty relations for the noncommutative coordinates of the quantum spacetime.","feed_headline":"Only κ-Poincaré passes a new spacetime-duality test in 3+1","feed_subtitle":"A coreductivity condition determines which κ-deformed spacetimes admit a complementary dual reductive space.","key_machinery":"The load-bearing object is the cocommutator $\\delta$ of the Lie bialgebra, decomposed according to the isotropy subalgebra $\\mathfrak h$ and its complement $\\mathfrak t$: coisotropy kills $\\mathfrak t\\wedge\\mathfrak t$ in $\\delta(\\mathfrak h)$, coreductivity kills $\\mathfrak h\\wedge\\mathfrak t$ in $\\delta(\\mathfrak t)$, and cosymmetry kills $\\mathfrak h\\wedge\\mathfrak h$ in $\\delta(\\mathfrak h)$. Dualizing swaps $\\mathfrak h\\leftrightarrow\\mathfrak h^\\perp$ and $\\mathfrak t\\leftrightarrow\\mathfrak t^\\perp$, so these three conditions are exactly the ad-invariance and bracket split conditions that make $M^\\perp=G^*/H^\\perp$ reductive or symmetric. In the Lorentzian case the paper uses the coboundary form $\\delta(X)=[X\\otimes 1+1\\otimes X,r]$ and shows that the generic decomposition $r\\subseteq \\alpha\\,\\mathfrak h\\wedge\\mathfrak h\\oplus\\beta\\,\\mathfrak h\\wedge\\mathfrak t\\oplus\\gamma\\,\\mathfrak t\\wedge\\mathfrak t$ reduces to $r\\subseteq\\beta\\,\\mathfrak h\\wedge\\mathfrak t$ for coisotropic plus coreductive structures; the modified classical Yang-Baxter equation then constrains the surviving coefficients. The geometry of $M^\\perp$—which in general has no $G^*$-invariant metric—is handled through K-structures and the canonical connection of the reductive dual, whose torsion and curvature the paper computes from $\\mathfrak g^*$ brackets.","core_discovery":"The central claim is that coisotropy, the condition $\\delta(\\mathfrak h)\\subseteq \\mathfrak h\\wedge\\mathfrak g$ that lets a Poisson-Lie structure on $G$ descend to $M=G/H$, has two natural sharpenings: coreductivity, $\\delta(\\mathfrak t)\\subseteq \\mathfrak h\\wedge\\mathfrak h\\oplus \\mathfrak t\\wedge\\mathfrak t$, and cosymmetry, $\\delta(\\mathfrak h)\\subseteq \\mathfrak h\\wedge\\mathfrak t$. These are precisely the conditions that make the complementary dual $M^\\perp=G^*/H^\\perp$ reductive and symmetric, respectively, and the construction is self-dual: the dual of $M^\\perp$ is again $M$. For the Lorentzian Lie algebras $\\mathfrak g_\\Lambda$—Minkowski and (Anti-)de Sitter in (2+1) and (3+1) dimensions—the paper computes that a coboundary Lie bialgebra with r-matrix $r\\subseteq \\alpha\\,\\mathfrak h\\wedge\\mathfrak h\\oplus\\beta\\,\\mathfrak h\\wedge\\mathfrak t\\oplus\\gamma\\,\\mathfrak t\\wedge\\mathfrak t$ is coisotropic iff $\\gamma=0$ and coreductive iff $\\alpha=0$, hence coreductive Lorentzian Lie bialgebras are exactly those generated by $r\\subseteq \\beta\\,\\mathfrak h\\wedge\\mathfrak t$. Consequently the $\\kappa$-Poincaré Lie bialgebra is coreductive in any dimension, while the $\\kappa$-(A)dS Lie bialgebra is coreductive only in (2+1); in the (3+1) Minkowski case the dual space $M^\\perp_0$ is six-dimensional with an undeformed Poisson version of $\\mathrm{so}(3,1)$, and in (2+1) the dual Poisson brackets are $\\Lambda$-deformations of $\\mathrm{so}(2,1)$. Coreductivity also guarantees that uncertainty relations between quantum spacetime coordinates take the form $\\Delta\\hat x\\,\\Delta\\hat\\xi\\ge \\tfrac12\\langle\\hat\\xi\\rangle$ rather than involving $\\hat x$ terms, which is what makes the representations of the full quantum group restrict cleanly to the spacetime subalgebra.","pith_inferences":["The paper's selection rule—only r-matrices of the form $\\mathfrak h\\wedge\\mathfrak t$ survive coreductivity—suggests a general criterion for kinematical Lie algebras beyond Lorentz: if applied to Galilean, Carroll, or Newton-Hooke deformations, it may single out one preferred noncommutative spacetime per kinematical family, which would be testable against existing classifications.","The dual space in the (2+1) $\\kappa$ case carries a Poisson structure that is a $\\Lambda$-deformation of $\\mathrm{so}(2,1)$, so one can read $M^\\perp$ as a curved momentum or angular-momentum geometry with $\\Lambda$ playing the role of curvature; the canonical-connection curvature computed in the paper reinforces that interpretation.","Because the duality is self-dual, quantization of the dual Poisson homogeneous space should produce the dual quantum group from the other side; this suggests a testable symmetry: uncertainty relations for coordinates on one side should correspond to uncertainty relations for the Lorentz-sector observables on the dual side, a feature the paper leaves implicit.","The closedness of $H^\\perp$ is never checked, so a concrete follow-up is to verify for the explicit $\\kappa$-Minkowski duals whether the annihilator subgroup is closed in $G^*$; if not, the smooth-quotient status of these physical examples would need separate justification."],"forward_implications":["A Lorentzian Poisson homogeneous spacetime admits a reductive complementary dual only when its Lie bialgebra is generated by an r-matrix contained in $\\mathfrak h\\wedge\\mathfrak t$; any deformation with an $\\mathfrak h\\wedge\\mathfrak h$ component is excluded from the dual-reductive framework.","The $\\kappa$-Poincaré deformation has a coreductive complementary dual in every dimension; in (3+1) dimensions the dual space $M^\\perp_0$ is six-dimensional and its Poisson structure is an undeformed Poisson copy of the Lorentz algebra $\\mathrm{so}(3,1)$.","The $\\kappa$-(A)dS deformation admits a reductive complementary dual only in (2+1) dimensions; in (3+1) dimensions the presence of the cosmological constant obstructs coreductivity, so this quantum spacetime drops out of the duality framework.","When coreductivity holds, the crossed commutation rules of the dual Lie algebra satisfy $[\\hat x,\\hat\\xi]\\subseteq \\hat\\xi$, so the uncertainty relations take the form $\\Delta\\hat x\\,\\Delta\\hat\\xi\\ge \\tfrac12\\langle\\hat\\xi\\rangle$ and states with $\\hat\\xi|\\psi\\rangle=0$ impose no singular constraint on the spacetime-coordinate expectation values.","Although the dual spaces generally admit no $G^*$-invariant metric, coreductivity gives them a canonical connection from a K-structure; for the (2+1) $\\kappa$-bialgebra the curvature components are proportional to $\\Lambda$ (Ricci flat only for $\\Lambda=0$), and the (3+1) $\\kappa$-Minkowski dual is flat."],"supporting_citations":[{"why":"Establishes that coisotropy is equivalent to the annihilator $\\mathfrak h^\\perp$ being a Lie subalgebra of $\\mathfrak g^*$, which is what allows $H^\\perp$ and the dual coset to be defined.","marker":"[40]"},{"why":"Supplies the quantum duality principle for coisotropic subgroups and Poisson quotients that the paper's complementary-dual construction extends.","marker":"[31]"},{"why":"Classifies Poisson structures on the (3+1) Poincaré group, grounding the statement that Lorentzian Lie bialgebras here are coboundary.","marker":"[58]"},{"why":"Gives the explicit Poisson structure of the (2+1) $\\kappa$-Lorentzian spacetimes used to identify the original PHS and its dual bracket.","marker":"[63]"},{"why":"Provides the (3+1) $\\kappa$-(A)dS r-matrix and the dual Poisson-Lie structure whose projection yields the dual homogeneous space.","marker":"[68]"},{"why":"Contains the explicit Poisson-Lie structure on $G^*$ in (3+1) dimensions from which the $\\kappa$-Minkowski dual's bracket is obtained.","marker":"[69]"},{"why":"Supplies the K-structure and canonical-connection formalism used to compute torsion and curvature on $M^\\perp$.","marker":"[42]"},{"why":"Provides the explicit representation-theoretic construction for $\\kappa$-Minkowski localization that illustrates the uncertainty-relations argument.","marker":"[75]"}],"fun_headline_variants":["Self-dual Poisson spaces: coreductivity picks κ-Poincaré in 3+1","Coreductivity: the key to reductive duals for κ-spacetimes","Only κ-Poincaré yields reductive duals in 3+1 Lorentzian spacetimes","Uncertainty without position: coreductivity makes κ-duals reductive"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction of the complementary dual as a coset space requires the annihilator subgroup $H^\\perp$ to be closed in $G^*$; the paper neither proves nor states this closedness, and if $H^\\perp$ fails to be closed then $G^*/H^\\perp$ may not be a smooth manifold.","fun_headline_variants_meta":{"raw":{"variants":["Self-dual Poisson spaces: coreductivity picks κ-Poincaré in 3+1","Coreductivity: the key to reductive duals for κ-spacetimes","Only κ-Poincaré yields reductive duals in 3+1 Lorentzian spacetimes","Uncertainty without position: coreductivity makes κ-duals reductive"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001058,"raw_usage":{"total_tokens":4646,"prompt_tokens":1362,"completion_tokens":3284,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":978,"completion_tokens_details":{"reasoning_tokens":3187}},"tokens_in":978,"tokens_out":3284,"duration_ms":26165,"temperature":1.0,"reasoning_tokens":3187,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T05:30:34.840717+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Look for a Lorentzian r-matrix with a nonzero $\\mathfrak h\\wedge\\mathfrak h$ component that satisfies the modified classical Yang-Baxter equation and compute whether $\\delta(\\mathfrak t)$ contains any $\\mathfrak h\\wedge\\mathfrak t$ term; if such an r-matrix exists with no $\\mathfrak h\\wedge\\mathfrak t$ in $\\delta(\\mathfrak t)$, the 'coreductive iff $\\alpha=0$' theorem fails. Equivalently, a (3+1) Lorentzian Lie bialgebra with $\\Lambda\\neq0$ that is coreductive with respect to $\\mathfrak h$ would falsify the exclusion of the $\\kappa$-(A)dS deformation.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes that coisotropy is equivalent to the annihilator $\\mathfrak h^\\perp$ being a Lie subalgebra of $\\mathfrak g^*$, which is what allows $H^\\perp$ and the dual coset to be defined."},{"cited_title":"Quantum duality principle for coisotropic subgroups and Poisson quotients","cited_arxiv_id":"math/0603376","evidence_quote":"Supplies the quantum duality principle for coisotropic subgroups and Poisson quotients that the paper's complementary-dual construction extends."},{"cited_title":"Zakrzewski","cited_arxiv_id":null,"evidence_quote":"Classifies Poisson structures on the (3+1) Poincaré group, grounding the statement that Lorentzian Lie bialgebras here are coboundary."},{"cited_title":"Ballesteros, N","cited_arxiv_id":null,"evidence_quote":"Gives the explicit Poisson structure of the (2+1) $\\kappa$-Lorentzian spacetimes used to identify the original PHS and its dual bracket."},{"cited_title":"The kappa-(A)dS quantum algebra in (3+1) dimensions","cited_arxiv_id":"1612.03169","evidence_quote":"Provides the (3+1) $\\kappa$-(A)dS r-matrix and the dual Poisson-Lie structure whose projection yields the dual homogeneous space."},{"cited_title":"Curved momentum spaces from quantum (Anti-)de Sitter groups in (3+1) dimensions","cited_arxiv_id":"1711.05050","evidence_quote":"Contains the explicit Poisson-Lie structure on $G^*$ in (3+1) dimensions from which the $\\kappa$-Minkowski dual's bracket is obtained."},{"cited_title":"Kobayashi and K","cited_arxiv_id":null,"evidence_quote":"Supplies the K-structure and canonical-connection formalism used to compute torsion and curvature on $M^\\perp$."}],"review_version":1}