{"id":"6bbd757e-297a-41c1-9f8f-3b5131a249b7","arxiv_id":"1908.11278","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A complete classification of N=1, d=4 kinematical and aristotelian Lie superalgebras and their homogeneous superspaces, without assuming parity or time-reversal invariance.","lead":"This paper classifies all N=1 supersymmetric extensions of four-dimensional kinematical spacetime symmetry algebras, dropping the usual parity and time-reversal assumptions. It lists 43 Lie superalgebras and 27 homogeneous superspaces, with geometric limits connecting them.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The 27-superspace result rests on an unproved folklore bijection between super Lie pairs and homogeneous supermanifolds; §4.1 admits this explicitly, making Table 14 conditional.","rationale":"Both the reader and I identify the same load-bearing assumption. The algebraic classification is supported by explicit Jacobi computations and case analysis; the superspace classification is not, and the paper's own §4.1 flags the missing theorem. The splitness condition is an additional restriction that the abstract does not state. I would not reject the paper: the algebra appears carefully done and the tables are internally consistent. But because the central geometric result is only as secure as the folklore bijection, acceptance should be conditional on either a proof or reference for the correspondence, or a reformulation of the claim as a classification of split superisations. Hence CONDITIONAL rather than ACCEPT.","tokens_in":62406,"tokens_out":20370,"duration_ms":210868,"concrete_test":"Verify the §4.1 correspondence for the least standard rows of Table 14. For one carrollian (SM12), one galilean (SM3), and one R-symmetry aristotelian (SM14) row, construct the simply-connected supergroup quotient from the Harish-Chandra pair (K,s) and the closed subgroup generated by h, and compute the structure sheaf; confirm it is isomorphic to sections of ∧•E for E=K×_H S and that no non-split homogeneous supermanifold with the same body and H-action exists. Also check whether Santi [18, Thm 5.6] or its proof covers homogeneous spaces without a spin structure; if not, obtain or produce a proof of the folklore bijection. A counterexample in either direction would make Table 14 incomplete or overcount.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The headline geometric claim—the list of 27 homogeneous superspaces in Table 14—depends on the bijection stated in §4.1: 'there is a one-to-one correspondence between (isomorphism classes of) effective, geometrically realisable super Lie pairs and homogeneous superisations of homogeneous manifolds.' The authors immediately note that 'this result is part of the mathematical folklore' and provide no proof or reference. The cited [18] treats spin manifolds; the text asserts without argument that the results apply to the non-spin homogeneous spacetimes in Table 1. Since §4.1 also declares all supermanifolds in the paper split, the converse direction ('any homogeneous supermanifold is of this form') is not established for homogeneous supermanifolds whose equivariant structure is non-split or whose isotropy has odd part. Thus Table 14 classifies split superisations of the Table 1 spacetimes, and the unrestricted wording 'homogeneous superspaces' in the abstract is stronger than what is proved. This is separate from the algebraic classification in Tables 4/6, which is derived by solving Jacobi identities.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper classifies N=1, d=4 kinematical and aristotelian Lie superalgebras with spatial isotropy, dropping parity and time-reversal assumptions and requiring [Q,Q] ≠ 0. The authors introduce a quaternionic formalism in which the r-equivariant brackets live in a 22-dimensional parameter space; Lemmas 1 and 2 reduce the Jacobi constraints, and each of the 18 kinematical Lie algebras from Table 2 is then analysed case by case. The result is 43 isomorphism classes (some with essential continuous parameters) listed in Tables 4 and 6, together with their automorphisms, non-trivial central extensions, and compatible gradings. The paper then classifies super Lie pairs (s,h), selects the effective and geometrically realisable ones, and obtains a list of 27 homogeneous superspaces in Table 14, all claimed to be reductive. It also computes low-rank invariant tensors and studies contractions and non-contracting limits between the superspaces.","tokens_in":62552,"tokens_out":9751,"duration_ms":102953,"significance":"The algebraic classification is a substantial and carefully executed contribution. The quaternionic method is elegant, makes rotational equivariance transparent, and recovers the Poincaré and osp(1|4) superalgebras as unique classes while producing many new families, including one-parameter families whose parameter is argued to be essential. The automorphism tables and central-extension tables are valuable reference material, and the limit diagram in Section 5 provides a useful global picture. The geometric classification of 27 homogeneous superspaces is the paper's headline claim, but it depends on a folklore correspondence stated without proof in Section 4.1; if that correspondence is supplied or the claims are appropriately qualified, the paper would be a standard reference for kinematical superspaces. No machine-checked code is provided, but the derivations are explicit and checkable.","major_comments":[{"comment":"The one-to-one correspondence between effective, geometrically realisable super Lie pairs and homogeneous superisations of homogeneous manifolds is asserted as mathematical folklore, and the authors explicitly state that they know no proof or reference for it. Since Section 4.1 also declares all supermanifolds in the paper to be split, and the cited reference [18] is phrased for spin manifolds, the converse direction is not established for non-split or non-spin situations. Consequently Table 14 currently classifies split superisations of the Table 1 spacetimes under an assumed bijection, and the abstract's unqualified statement '27 homogeneous superspaces' is stronger than what is proved. The authors should either prove the correspondence, give a precise reference, or explicitly state the classification as conditional on this folklore result.","section":"4.1"},{"comment":"The restriction to r-fixing automorphisms is introduced with 'Without loss of generality' at the start of Section 3.5, but no justification is given. The automorphisms of k generated by B and P are in particular inner automorphisms of the Lie superalgebra s and generically do not fix the rotational subalgebra r. If such automorphisms can relate two admissible subalgebras h that both contain the fixed r, then the orbit classification in Section 4.2 using only the r-fixing automorphism groups of Tables 8 and 9 could overcount the super Lie pairs and hence the homogeneous superspaces in Table 14. The authors should supply the missing conjugacy argument that every Aut(s)-orbit on admissible subalgebras is represented by an Aut_r(s)-orbit, or alternatively compute the action of the full automorphism group on admissible subalgebras.","section":"3.5 and 4.2"},{"comment":"The claim that parameters such as λ are 'essential' is load-bearing for the classification because several families in Tables 4 and 6 are presented as genuinely one-parameter families. The argument given is that the difference of brackets is a cocycle and 'one can check' it is not a coboundary. This check is not shown. Since the entire classification of isomorphism classes depends on this point, at least one explicit non-coboundary computation should be included, or a reference should be given where the same method is carried out.","section":"3.1.6"}],"minor_comments":[{"comment":"The abstract and several introductory statements refer to 'homogeneous superspaces' without qualification. Given the splitness assumption and the folklore caveat in Section 4.1, the wording should say 'split homogeneous superspaces' or otherwise make the standing assumptions explicit.","section":"Abstract and 4.1"},{"comment":"The sentence dismissing automorphisms of k that transform r ('their description... will not play a rôle in our discussion') is too terse; it should be expanded or connected to the argument in Section 3.5.","section":"2.5"},{"comment":"The repeated phrase 'This same argument shows that the parameters appearing in other Lie superalgebras are essential as well' would benefit from a single explicit example worked out in detail, so that the reader can verify the cocycle/coboundary test.","section":"3.1.6-3.1.15"},{"comment":"The table lists 35 rows, but some rows represent one-parameter families and some represent single isomorphism classes; the caption should clarify the counting that yields the total of 43 isomorphism classes.","section":"Table 4"},{"comment":"The color coding in Table 12 (blue, green, grey) is informative but may be illegible in monochrome prints; adding a symbol such as a star, dagger, or footnote marker would improve readability.","section":"4.2"},{"comment":"In the proof of Lemma 2, the notation 'Q(sc1ss)' is ambiguous; adding parentheses, such as Q(s c1 s s), would make the quaternion multiplication easier to follow.","section":"2.4"}],"recommendation":"major_revision","confidential_remarks":"The algebraic part of the paper is strong and likely correct; the main risk is the geometric headline, which depends on the unproved folklore correspondence in Section 4.1. I believe this is fixable either by proving the correspondence or by carefully qualifying the claims. The r-fixing automorphism reduction in Section 3.5 also needs a justification, as it directly affects the completeness of Table 14. These are load-bearing but not necessarily fatal, so a major revision rather than rejection seems appropriate. The novelty relative to earlier partial classifications is clear and well documented."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline: this paper's real result is the algebraic classification of N=1 d=4 kinematical and aristotelian Lie superalgebras, and that part is solid. The list of 27 homogeneous superspaces in Table 14 is a corollary that depends on a bijection between super Lie pairs and homogeneous supermanifolds that the authors state but do not prove. They flag this honestly in §4.1, so the issue is a caveat rather than a hidden flaw.\n\nThe new thing here is the removal of parity and time-reversal assumptions from earlier contraction-based classifications. The quaternionic formalism is a genuine improvement: it makes rotational covariance manifest and reduces the Jacobi identities to quaternion multiplication. Lemmas 1 and 2 are proved cleanly, the 22-dimensional parameter space and orbit quotient by automorphisms is methodical, and the known Poincaré and osp(1|4) superalgebras are recovered as unique classes, which gives confidence. The essentialness of parameters like λ is argued via cocycle non-coboundary checks. The central extensions table is also useful.\n\nThe main soft spot is the geometric half. Section 4.1 asserts a one-to-one correspondence between effective geometrically realisable super Lie pairs and homogeneous superisations, admits it is folklore, and provides no proof or reference. The cited [18] treats spin manifolds; the text asserts without argument that the results carry over to non-spin homogeneous spacetimes in Table 1. Since the paper also declares all supermanifolds split, the converse direction—that every homogeneous supermanifold arises this way—is not established. So Table 14 should be read as a classification of split superisations, and the abstract's 'homogeneous superspaces' is stronger than what is proved. This does not undermine the superalgebra classification in Tables 4 and 6, which is derived by solving Jacobi identities with no geometric input.\n\nMinor point: the central extension computations are summarized as 'routine' and not shown; given the length of the paper, that is acceptable, but it would be worth making the cocycle conditions explicit for the key cases.\n\nWho is this for? Anyone who needs the list of possible N=1 kinematical superalgebras in four dimensions, or wants to study contractions between superspaces. It is a reference paper, not a theorem-paper. I would cite it for the algebraic classification and use the superspace list with the folklore caveat attached.\n\nFor peer review: yes, this deserves serious refereeing. The algebraic part is important and appears correct. The referee should ask the authors to either prove or properly state the super Lie pair correspondence, or restrict the geometric claims accordingly. A desk rejection would be a mistake.","headline":"The algebraic classification of N=1 d=4 kinematical superalgebras is solid and important; the list of 27 homogeneous superspaces is conditional on an unproved folklore bijection that the authors honestly flag.","tokens_in":63138,"tokens_out":2274,"would_cite":true,"duration_ms":22310,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B70","17B81","22E70","53C30","58A50"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper classifies all $N{=}1$ $d=4$ kinematical and aristotelian Lie superalgebras with spatial isotropy and nonzero supercharge bracket, and all 27 simply-connected homogeneous superspaces they define.","keywords":["kinematical Lie superalgebras","homogeneous superspaces","spatial isotropy","quaternionic formalism","Jacobi identities","central extensions","N=1 supersymmetry","geometric limits"],"falsifier":"A computer algebra rerun of the Jacobi identities in the full 22-parameter space, for each kinematical Lie algebra $K_1$--$K_{18}$ and aristotelian $A_1$--$A_{3\\pm}$, with the automorphism group quotient taken, would settle the algebraic classification: any $[Q,Q]\\neq0$ solution not isomorphic to a row of Tables 4 and 6 would refute it. For the superspace list, the decisive check is to prove or disprove the folklore correspondence of Section 4.1 by constructing the homogeneous supermanifold for each pair and verifying that all candidates are covered.","tokens_in":62148,"feed_emoji":"⚛️","tokens_out":11099,"duration_ms":102250,"temperature":0.7,"pith_summary":"The paper answers the question of which supersymmetric versions of four-dimensional kinematical spacetimes exist, completely, for $N{=}1$ with spatial isotropy. It classifies up to isomorphism every Lie superalgebra extending a kinematical or aristotelian (boost-free) Lie algebra by four real supercharges whose bracket is nonzero, obtaining 43 isomorphism classes, some with essential continuous parameters, and it also determines their nontrivial central extensions. It then classifies the simply-connected homogeneous $(4|4)$-dimensional superspaces arising from these algebras, finding 27, all reductive. The result matters because it turns known examples such as Minkowski and anti de Sitter superspace into an exhaustive list, and it shows exactly which spacetimes admit no supersymmetry of this kind.","feed_headline":"43 superalgebras, 27 superspaces: 4D N=1 complete","feed_subtitle":"Every N=1 supersymmetric extension of a spatially isotropic kinematical or aristotelian spacetime, with parameters, now tabulated.","key_machinery":"The central object is a quaternionic reformulation: the rotation algebra is identified with the imaginary quaternions $\\operatorname{Im}\\mathbb{H}$, the four supercharges with $\\mathbb{H}$, and every bracket is written as quaternion multiplication, making rotational covariance manifest. A supersymmetric extension is then encoded by quaternionic parameters $h,b,p\\in\\mathbb{H}$, $c_0\\in\\mathbb{R}$ and $c_1,c_2,c_3\\in\\operatorname{Im}\\mathbb{H}$, and the Jacobi identity reduces to algebraic relations such as $[b,h]=\\lambda b+\\mu p$ and $c_0 h=\\tfrac12 c_1+c_2b+c_3p$. The automorphism group of the underlying kinematical Lie algebra, acting by quaternion conjugation and rescaling, is used to select one representative per orbit. For the superspaces, the carrying object is the super Lie pair $(\\mathfrak{s},\\mathfrak{h})$, where $\\mathfrak{h}$ is spanned by rotations and boosts; classifying such pairs up to automorphism of $\\mathfrak{s}$ gives the homogeneous superisation of the corresponding spacetime.","core_discovery":"The central discovery is that the possible $N{=}1$ supersymmetric extensions are controlled by a 22-dimensional space of rotation-equivariant brackets, and that imposing the super-Jacobi identities leaves precisely the 43 classes in Tables 4 and 6. Some kinematical Lie algebras---euclidean, $\\mathfrak{so}(4,1)$ and $\\mathfrak{so}(5)$---admit no such supersymmetric extension, because the four-dimensional spinor representation of $\\mathfrak{so}(3)$ does not extend to a representation of these algebras. Many spacetimes admit more than one inequivalent superisation, including continuous one-parameter families, and most of the listed superalgebras are not obtained as contractions of the anti de Sitter superalgebra $\\mathfrak{osp}(1|4)$. There are also effective super Lie pairs whose underlying Lie pair is not effective, meaning the boost generators act trivially on the spacetime but act as $R$-symmetries on the fermionic directions.","pith_inferences":["If the folklore correspondence between effective super Lie pairs and homogeneous superisations is eventually proved, Table 14 becomes a theorem rather than a classification resting on an unproved premise; if it fails, the table would need revision. This is the main gap a reader should watch.","The quaternionic parametrisation of the extension data is likely reusable for $N{=}2$ in four dimensions, where the spinor module has quaternionic dimension two, so an analogous but larger parameter space could support an exhaustive classification.","The existence of continuous families of superspaces over a fixed spacetime suggests that non-relativistic or ultra-relativistic limits of supersymmetric field theories may have inequivalent quantum theories differing only by how supercharges transform under boosts, a distinction the classical spacetime alone cannot see.","The observed sharing of the Poincaré supergroup by Minkowski and carrollian anti de Sitter superspaces points toward an ultra-relativistic supersymmetry duality that the paper flags for future work; testing it on correlation functions would be a natural next step."],"forward_implications":["Every $N{=}1$, $d=4$, spatially isotropic homogeneous superspace is one of the 27 entries in Table 14, so a candidate model can be checked against a complete list.","Several spacetimes admit no superisation at all: the euclidean, spherical and hyperbolic riemannian spaces, de Sitter spacetime, carrollian de Sitter and the carrollian light cone.","Many galilean and aristotelian superspaces come in continuous families with essential parameters, so inequivalent supersymmetry algebras can share the same underlying spacetime.","The boost generators can become pure $R$-symmetries in the superspace, producing aristotelian superspaces with $R$-symmetry that have no classical boost action on the body.","All 27 superspaces are reductive, so each carries a canonical invariant connection and the associated Killing-superalgebra description applies."],"supporting_citations":[{"why":"classifies the kinematical and aristotelian Lie algebras and the homogeneous spacetimes whose superisations are the subject here","marker":"[4]"},{"why":"removes the parity and time-reversal assumptions, giving the kinematical Lie algebra list from which this paper departs","marker":"[7]"},{"why":"introduces the kinematical Lie algebra framework and the contraction viewpoint underlying the geometric limits","marker":"[6]"},{"why":"supplies the construction of homogeneous superisations and the correspondence with super Lie pairs used in Section 4","marker":"[18]"},{"why":"provides the deformation-theoretic classification of kinematical Lie algebras and admissible subalgebras","marker":"[16]"},{"why":"gives the Hochschild--Serre isomorphism used to compute central extensions relative to the rotation subalgebra","marker":"[17]"},{"why":"describes Lie supergroups from Harish-Chandra pairs, used to build the structure sheaves of the superspaces","marker":"[21]"},{"why":"gives the graded-manifold foundations for the definition of supermanifold adopted in the paper","marker":"[19]"}],"fun_headline_variants":["43 superalgebras, 27 superspaces: full N=1 4D map","N=1 superspaces in 4D: 43 algebras, 27 spaces","Quaternionic method yields 43 N=1 superalgebras","All N=1 kinematical superspaces: 43+27 listed","27 reductive N=1 superspaces from 43 algebras"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The superspace classification stands on the unproved folklore claim that every effective, geometrically realisable super Lie pair really corresponds to a smooth homogeneous supermanifold; if that correspondence has exceptions, the 27-entry table could be incomplete or contain entries with no genuine geometry. The paper itself states that it knows of no proof of this correspondence.","fun_headline_variants_meta":{"raw":{"variants":["43 superalgebras, 27 superspaces: full N=1 4D map","N=1 superspaces in 4D: 43 algebras, 27 spaces","Quaternionic method yields 43 N=1 superalgebras","All N=1 kinematical superspaces: 43+27 listed","27 reductive N=1 superspaces from 43 algebras"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000564,"raw_usage":{"total_tokens":2640,"prompt_tokens":872,"completion_tokens":1768,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":488,"completion_tokens_details":{"reasoning_tokens":1667}},"tokens_in":488,"tokens_out":1768,"duration_ms":13250,"temperature":1.0,"reasoning_tokens":1667,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:19:31.480953+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A computer algebra rerun of the Jacobi identities in the full 22-parameter space, for each kinematical Lie algebra $K_1$--$K_{18}$ and aristotelian $A_1$--$A_{3\\pm}$, with the automorphism group quotient taken, would settle the algebraic classification: any $[Q,Q]\\neq0$ solution not isomorphic to a row of Tables 4 and 6 would refute it. For the superspace list, the decisive check is to prove or disprove the folklore correspondence of Section 4.1 by constructing the homogeneous supermanifold for each pair and verifying that all candidates are covered.","supporting_citations":[{"cited_title":"We start by classifying the supe r Lie pairs associated with the kinematical Lie superalgebras","cited_arxiv_id":null,"evidence_quote":"classifies the kinematical and aristotelian Lie algebras and the homogeneous spacetimes whose superisations are the subject here"},{"cited_title":"moduli space","cited_arxiv_id":null,"evidence_quote":"removes the parity and time-reversal assumptions, giving the kinematical Lie algebra list from which this paper departs"},{"cited_title":"internal","cited_arxiv_id":null,"evidence_quote":"introduces the kinematical Lie algebra framework and the contraction viewpoint underlying the geometric limits"},{"cited_title":"Possible Supersymmetric Kinematics","cited_arxiv_id":"1409.5498","evidence_quote":"supplies the construction of homogeneous superisations and the correspondence with super Lie pairs used in Section 4"},{"cited_title":"Kinematical supe ralgebras,","cited_arxiv_id":null,"evidence_quote":"provides the deformation-theoretic classification of kinematical Lie algebras and admissible subalgebras"},{"cited_title":"Kinematical superalgebras and Lie algebras of order 3","cited_arxiv_id":"0801.2630","evidence_quote":"gives the Hochschild--Serre isomorphism used to compute central extensions relative to the rotation subalgebra"},{"cited_title":"Nonrelativistic Supersymme try,","cited_arxiv_id":null,"evidence_quote":"describes Lie supergroups from Harish-Chandra pairs, used to build the structure sheaves of the superspaces"},{"cited_title":"Galilean Supersymmetry,","cited_arxiv_id":null,"evidence_quote":"gives the graded-manifold foundations for the definition of supermanifold adopted in the paper"}],"review_version":1}