{"id":"759a74c9-6812-43f5-82d7-922fc5df63e3","arxiv_id":"2411.14237","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For compact Lorentzian quotients of oscillator groups, all lightlike geodesics are closed exactly when the lattice contains a nonzero element of the form (0,0,t); otherwise only the Z-direction lightlike geodesics close.","lead":"This paper studies geodesics on compact spacetimes built from oscillator Lie groups, and shows that whether every lightlike geodesic is closed depends on which lattice you quotient by. It also classifies isometries of these compact spaces in dimension six and gives conditions for closed and open timelike and spacelike geodesics.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.4's dichotomy rests on Eq. (9), but the proof that a common integer K0 with e^{K0 t0 N}=Id exists is invalid as written: finiteness of a single vector's conjugate orbit does not imply the rotation has finite order.","rationale":"The reader's weakest_assumption identifies the common-period property Eq. (9) as the load-bearing foundation of Theorem 3.4, and the evidence in the text supports this. My stress-test focuses on the derivation of Eq. (9): the jump from one finite conjugate orbit to a global finite order of e^{t0 N} is a genuine logical gap. This gap is not merely cosmetic; it is exactly the step needed to prove that every non-Z lightlike geodesic returns to the lattice at time K0 t0/a. The paper cites Fischer and Medina-Revoy, and I do not dispute that the conclusion may be true; the issue is that the proof as written does not establish it. The false non-singularity assertion in Theorem 3.6 is a second, specific instance where the same fragile arithmetic around K0 and the integers k_i is mishandled, but it is secondary to the main lightlike dichotomy. Since the central theorem is plausible and the gaps are repairable, I do not move the verdict away from CONDITIONAL; the reader's conditional assessment remains appropriate.","tokens_in":18279,"tokens_out":12576,"duration_ms":123252,"concrete_test":"Re-derive Eq. (9) from Fischer's lattice classification: for each lattice L(ξ0) in [5], compute the smallest K0 with e^{K0 t0 N}=Id using a basis of the R^{2n}-part of L(ξ0), not a single vector, and verify that t0 = 2π k_i/(K0 λ_i) holds. Concretely, examine the lattice in Osc_2(1,2) with t0=π, so K0=2 and k_2=2, and check whether the singular matrix in Eq. (15) at t=(K0−1)t0=π actually prevents Theorem 3.6 from producing closed timelike or spacelike geodesics; if it does not, the proof needs a different argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central lightlike dichotomy in Theorem 3.4 depends entirely on Eq. (9), the assertion that for every cocompact lattice there is a common integer K0 with t0 = 2π k_i/(K0 λ_i) and hence e^{K0 t0 N}=Id. The argument preceding Eq. (9) is not valid as written: it observes that for a single lattice element (w,b,0), the conjugate orbit {(w, e^{n t0 N} b, 0)} is finite, and then concludes that e^{K0 t0 N}=Id on all of R^{2n}. Finiteness of one vector's orbit under an orthogonal transformation does not imply the transformation has finite order; one would need finite orbits on a spanning set of the R^{2n}-component of the lattice. Without Eq. (9), the computation α(K0 t0/a)=(0,0,K0 t0) in Observations 3.3 fails, and with it both alternatives of Theorem 3.4 collapse. The authors' marginal note 'esta bien?...' in the proof of Theorem 3.4 is an internal signal that this step is not secure. A related concrete error appears in Theorem 3.6: the claim that the matrix in Eq. (15) is nonsingular for λ_j(K0−1)t0, because otherwise K0=1, is false; the condition only implies K0 divides k_j, so the construction of closed timelike and spacelike geodesics in the case K0>1 can fail precisely for lattices with K0 | k_j.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies geodesics on compact Lorentzian solvmanifolds obtained as quotients of oscillator groups Osc_n(λ_1,...,λ_n) by cocompact lattices. The main result, Theorem 3.4, asserts a dichotomy for lightlike geodesics: either the lattice contains a nonzero element of the form (0,0,t), in which case every lightlike geodesic is closed, or it does not, in which case exactly the Z-direction gives closed lightlike geodesics and all other lightlike directions give non-closed geodesics. Theorem 3.6 claims that for every lattice there exist both closed and open timelike and spacelike geodesics. The final section computes normalizers of certain lattices and describes induced isometries, with explicit tables in dimension six. The paper also contains an example (Osc_1(1)×R) where no lightlike geodesic is closed.","tokens_in":18586,"tokens_out":6075,"duration_ms":55503,"significance":"If the main dichotomy is correct, it is a meaningful advance: it shows that the property 'all lightlike geodesics are closed' is not an invariant of the oscillator group but depends sensitively on the lattice, thereby sharpening earlier results of del Barco, Ovando, and Vittone. The explicit normalizer computations in Proposition 4.14 are concrete and checkable, and the use of Fischer's lattice classification is appropriate. The paper does not contain machine-checked proofs or reproducible code; its value lies in the geometric constructions and the classification arguments. However, the central proofs contain a gap in the derivation of the common integer K0 and a false nonsingularity claim in Theorem 3.6, both of which are load-bearing. The underlying statements may well be true with additional argument, but the manuscript in its current form does not establish them rigorously.","major_comments":[{"comment":"The proof that there exists a common integer K0 with e^{K0 t0 N}=Id is incomplete as written. The text observes that for a single lattice element (w,b,0), the conjugate orbit {(w, e^{n t0 N} b, 0)} is finite, and concludes that e^{K0 t0 N}=Id on all of R^{2n}. Finiteness of the orbit of one vector under an orthogonal transformation does not imply that the transformation has finite order. The argument can be repaired by noting that the projection of Γ to R^{2n} is a lattice and that e^{t0 N} preserves it, so e^{t0 N} lies in the finite group O(2n) ∩ GL(2n,Z) in a lattice basis; hence some power is the identity. Since this step supports Eq. (9), Observations 3.3, and the dichotomy in Theorem 3.4, it must be rewritten rigorously. The marginal note 'esta bien?...' in the proof of Theorem 3.4 signals the authors' own uncertainty about this step.","section":"§3.4, Theorem 3.6, Eq. (15)"},{"comment":"The claim that the matrix in Eq. (15) is non-singular for t=(K0−1)t0 is false in general. From Eq. (9), λ_j(K0−1)t0 = 2π(K0−1)k_j/K0, which is an integer multiple of 2π whenever K0 divides k_j; this does not force K0=1. For example, K0=2 and k_j=2 gives (K0−1)k_j/K0=1, so the 2×2 block has determinant zero. Therefore the construction of closed timelike and spacelike geodesics in the case K0>1 is not justified as written. The theorem may still be true, but a different choice of lattice element (for instance t=t0, where not all blocks are singular because the order of e^{t0 N} is exactly K0) or a compatibility argument is needed.","section":"Theorem 3.6"},{"comment":"The final sentence of the proof states that when an element of the form (0,0,kt0) is in the lattice, every lightlike geodesic of M is closed, whereas the theorem's first case is phrased with an element (0,0,t0). The proof correctly reduces to the existence of a nonzero (0,0,rt0), but the statement should be made uniform and the implication 'there exists (0,0,rt0) in Γ' should be explicitly aligned with the dichotomy. More importantly, the proof that a closed lightlike geodesic with direction independent of Z forces the lattice to contain such an element relies on Eq. (9); without the repaired derivation of K0, the dichotomy is not established. This is a load-bearing point and must be fixed before the theorem can be accepted.","section":"Theorem 3.4"}],"minor_comments":[{"comment":"The abstract contains the typo 'lightlight' in 'every lightlight geodesic' and 'closeness' should be 'closedness'.","section":"Abstract"},{"comment":"The notation '~t0' in Eq. (12) is undefined. The text says it is either 1/t0 or −1/t0, but this should be stated precisely, and the expression 'SNλS−1 1' appears to contain a typo.","section":"Section 2, Eq. (12)"},{"comment":"The phrase 'most likely do not contain' for the lattices φ(Λ_{n,•}) is imprecise. The example with φ_p(Λ_{n,0}) gives a rigorous proof, but for the other families a definitive statement or a proof sketch should be given.","section":"Example 3.5"},{"comment":"In the dimension-four normalizer list, the third bullet repeats 'For Λ_{k,π}' but should refer to Λ_{k,π/2}.","section":"Section 4.1"},{"comment":"The table header 'N(Λ_{k,1,q})' appears to be a typo; it should be 'N(Λ_{k,q,M})'.","section":"Proposition 4.14"},{"comment":"The reference list for [4] shows duplicated page numbers and inconsistent formatting; please check the bibliographic details.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The manuscript appears to be a preliminary version: it contains a marginal note ('esta bien?...') inside a proof, several typos, and a misstated normalizer table header. These are presentation issues, but the proof gaps in Theorem 3.4 and Theorem 3.6 are substantive and require careful repair. The authors should be asked to supply a rigorous derivation of Eq. (9) and to correct the nonsingularity claim in Theorem 3.6. I see no evidence of circularity or inappropriate reliance on the authors' own work; the use of [4] and [5] as baselines is legitimate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Pablo and Gabriela's paper gives a complete lattice-dependent dichotomy for lightlike geodesics on oscillator solvmanifolds, in all dimensions, and computes normalizers in dimension six. That is a real advance over the dimension-four examples in del Barco–Ovando–Vittone, and the main theorem is very likely true. The structure of the argument — one-parameter subgroups of a bi-invariant Lorentzian group, projected to a compact quotient, with closedness controlled by lattice intersections — is sound and clean.\n\nThe soft spots are all in the proofs, not in the statements. The derivation of Eq. (9) is too quick: finiteness of the conjugate orbit of a single lattice vector does not imply e^{t0 N} has finite order. The fix is almost immediate, because the t=0 part of a cocompact lattice projects to a full-rank lattice in R^{2n}, and finiteness on a spanning set gives a common power. But the text does not say that, and the authors' own marginal note suggests they noticed. A referee should ask for that step to be written properly.\n\nTheorem 3.6 has a concrete error: the matrix in Eq. (15) is claimed nonsingular at λ_j(K0−1)t0, but it is singular whenever K0 divides k_j. That happens for a natural class of lattices, so the construction of closed timelike and spacelike geodesics in the K0>1 case does not go through as written. The theorem may be salvageable with a different choice of lattice element, but the present proof fails.\n\nThe w=e example in Section 3.1 is also a slip. It relies on the assertion that e^2 is not a rational multiple of π, which is not known; choosing w=1 avoids the problem entirely since π is irrational. That's a one-line fix.\n\nSection 4's normalizer tables look careful and are a useful addition, though I did not re-derive all the cases.\n\nBottom line: the main dichotomy is probably correct and worth publishing, but the manuscript needs a proper revision before it is refereed cleanly. The flaws are specific and repairable. I would send it to a good referee, with a request to check the lightlike proof and the closed timelike/spacelike construction carefully.","headline":"The main dichotomy is likely correct and genuinely new; the paper is worth a serious referee, but the proof of Eq. (9) is underjustified and Theorem 3.6's key nonsingularity claim is false as stated.","tokens_in":19115,"tokens_out":7638,"would_cite":true,"duration_ms":66197,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C50","53C22","22F30","57S25"],"pacs":[],"model":"deepseek-v4-flash","headline":"In compact quotients of oscillator groups by cocompact lattices, all lightlike geodesics are closed exactly when the lattice contains a nonzero element of the form $(0,0,t)$; otherwise exactly one lightlike direction, spanned by $Z$, has…","keywords":["Lorentzian geometry","geodesics","compact solvmanifolds","oscillator groups","cocompact lattices","bi-invariant metrics","isometry groups","normalizers"],"falsifier":"Take a lattice $\\Gamma$ in $\\mathrm{Osc}_1(1)$ that contains no nonzero $(0,0,t)$—for instance one of the automorphic images $\\varphi_p(\\Lambda_{n,0})$ in Example 3.5—and solve the lightlike condition $2ad+(b^2+c^2)/\\lambda=0$ together with the geodesic equations (4)-(7) for a positive time $s$ with $\\gamma_X(s)\\in\\Gamma$ and $(b,c)\\neq(0,0)$. Any such solution would refute the theorem's claim that only the $Z$-direction gives closed lightlike geodesics. Equivalently, checking membership of $(0,0,K_0t_0)$ in $\\Gamma$ for a lattice with no nonzero $(0,0,t)$ would settle the dichotomy directly.","tokens_in":18054,"feed_emoji":"💡","tokens_out":14871,"duration_ms":121261,"temperature":0.7,"pith_summary":"The paper studies compact Lorentzian manifolds formed by dividing an oscillator Lie group by a discrete cocompact subgroup, with the metric invariant under both left and right translations. Its central result is a dichotomy: either the lattice contains a nonzero element of the form $(0,0,t)$, in which case every lightlike (null) geodesic of the quotient is closed, or it contains no such element, in which case at each point exactly one lightlike direction—spanned by the central vector $Z$—has only closed geodesics and every other lightlike direction has only non-closed ones. This matters because it shows that \"all light rays close\" is not a fixed geometric property of a compact Lorentzian solvmanifold but a property of the lattice used to build it, and both behaviours occur already in dimension four. The paper also establishes that timelike and spacelike geodesics always split into closed and open types, and it computes the isometry group of the quotients, including explicit normalizer tables in dimension six.","feed_headline":"One lattice line decides whether light rays in a compact space close","feed_subtitle":"In oscillator-group quotients, the lattice decides whether all light rays close; both outcomes occur in dimension four.","key_machinery":"The central object is the oscillator Lie group $\\mathrm{Osc}_n(\\lambda_1,\\ldots,\\lambda_n)$: a $(2n+2)$-dimensional solvable Lie group with Lie algebra spanned by $Z$, $X_i$, $Y_i$, $T$, brackets $[X_i,Y_i]=Z$, $[T,X_i]=\\lambda_i Y_i$, $[T,Y_i]=-\\lambda_i X_i$, and Lorentzian bi-invariant metric with $\\lambda_i\\langle X_i,X_i\\rangle = \\lambda_i\\langle Y_i,Y_i\\rangle = \\langle Z,T\\rangle = 1$. The mechanism is that geodesics starting at the identity are one-parameter subgroups, and for a lightlike initial velocity with $a\\neq 0$ the explicit solution of the geodesic equations yields $\\alpha(K_0t_0/a) = (0,0,K_0t_0)$. The lattice structure theorem supplies a positive generator $t_0$ of the $t$-coordinates of $\\Gamma$ and a common integer $K_0$ such that $t_0 = 2\\pi k_i/(K_0\\lambda_i)$ for every $i$, which makes $\\exp(K_0 t_0 N_\\lambda)=\\mathrm{Id}$. Thus the closedness of a lightlike geodesic reduces to the lattice-membership question \"is $(0,0,K_0t_0)$ in $\\Gamma$?\", and the dichotomy follows from the answer. For $a=0$ the lightlike geodesics are $(ds,0,0)$, which meet $\\Gamma$ because Lemma 3.2 guarantees an element $(w,0,0)\\in\\Gamma$.","core_discovery":"The central claim, Theorem 3.4, is a dichotomy for any cocompact lattice $\\Gamma$ in $\\mathrm{Osc}_n(\\lambda_1,\\ldots,\\lambda_n)$. Write $M = \\mathrm{Osc}_n(\\lambda_1,\\ldots,\\lambda_n)/\\Gamma$. If $\\Gamma$ contains an element $(0,0,t_0)$ with $t_0\\neq 0$, then every lightlike geodesic of $M$ is closed. If $\\Gamma$ contains no nonzero element of this form, then at every point of $M$ exactly one lightlike direction—the direction spanned by $Z$—has all its geodesics closed, and all other lightlike directions have non-closed geodesics. The proof shows that any lightlike geodesic with initial velocity $X = dZ + \\sum_j(b_jX_j+c_jY_j) + aT$, $a\\neq 0$, satisfies $\\alpha(K_0 t_0/a) = (0,0,K_0 t_0)$, where $K_0$ is the common integer in the lattice relation $t_0 = 2\\pi k_i/(K_0\\lambda_i)$; hence the geodesic closes exactly when $(0,0,K_0 t_0)$ lies in $\\Gamma$. The paper further claims (Theorem 3.6) that every such quotient contains both closed and open timelike geodesics and both closed and open spacelike geodesics, and that the isometries of $M$ are precisely the left translations together with inner automorphisms coming from the normalizer of $\\Gamma$.","pith_inferences":["Editorial extension: the dichotomy suggests that the generic lattice—one obtained by deforming a special lattice with an automorphism, as in the $\\varphi_p(\\Lambda_{n,0})$ examples—falls into the second, non-closed case, so the all-closed behaviour is exceptional rather than generic.","Editorial extension: because the proof only uses that geodesics are one-parameter subgroups and that a common period $K_0$ exists, the same dichotomy should hold for any solvable Lie group with bi-invariant Lorentzian metric whose cocompact lattices satisfy an analogous common-period condition; oscillator groups are the indecomposable case where the relevant lattices are explicitly classified.","Editorial extension: the openness argument for timelike and spacelike geodesics is essentially a discreteness argument—if all nearby initial data closed, their endpoints would converge inside the lattice—so a similar argument could give quantitative bounds on the density of closed timelike and spacelike geodesics in terms of lattice invariants."],"forward_implications":["If $\\Gamma$ contains $(0,0,t)$ for some $t\\neq 0$, then every lightlike geodesic of $M = \\mathrm{Osc}_n(\\lambda_1,\\ldots,\\lambda_n)/\\Gamma$ is closed.","If $\\Gamma$ contains no nonzero element of the form $(0,0,t)$, then at every point of $M$ exactly one lightlike direction—the line spanned by $Z$—has all its geodesics closed, and every other lightlike direction has non-closed geodesics.","For every lattice $\\Gamma$, the quotient contains closed timelike geodesics, open timelike geodesics, closed spacelike geodesics, and open spacelike geodesics; the dichotomy is specific to the lightlike case.","Both sides of the dichotomy are realized by explicit lattices in dimension four, so compact Lorentzian solvmanifolds with the same oscillator group and metric can have different lightlike-geodesic behaviour.","The isometries of the quotient are exactly the left translations and the inner automorphisms induced by elements of the normalizer $N_G(\\Gamma)$; the paper's explicit normalizer tables for $\\Lambda_{k,q,M}$ in six dimensions determine the isometry group of those quotients."],"supporting_citations":[{"why":"Establishes the lattice existence criterion for oscillator groups and the relation $t_0 = 2\\pi k_i/(K_0\\lambda_i)$ used to build the common return point $(0,0,K_0 t_0)$.","marker":"[9]"},{"why":"Provides the normal form $L(\\xi_0)$ for lattices and the isomorphism $\\Phi$, from which Lemma 3.2 derives the element $(w,0,0)$ present in every lattice.","marker":"[5]"},{"why":"Constructs the earlier dimension-four lattices with all lightlike geodesics closed and supplies the lemma that non-simple projected geodesics are periodic; Theorem 3.4 extends this to a dichotomy.","marker":"[4]"},{"why":"Supplies the geodesic equation and the bi-invariant-metric fact that geodesics from the identity are one-parameter subgroups, on which the explicit solutions rest.","marker":"[11]"},{"why":"Computes the isometry group of oscillator groups, which Section 4 uses to decide which isometries are fiber-preserving and therefore descend to quotients.","marker":"[3]"}],"fun_headline_variants":["Lattice choice decides if every light ray closes in compact solvmanifold","In oscillator quotients lattice element determines whether all light geodesics close","Lattice decides all light rays close or only Z direction","Even in 4D lattice controls which light geodesics close","Oscillator quotient lattice line decides light geodesic closure"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The dichotomy rests on the structural fact, taken from the cited lattice classification, that every cocompact lattice has one common integer $K_0$ with $t_0 = 2\\pi k_i/(K_0\\lambda_i)$ for all frequencies; if that fact fails, the key return point $(0,0,K_0t_0)$ is not guaranteed and the proof's dichotomy no longer follows.","fun_headline_variants_meta":{"raw":{"variants":["Lattice choice decides if every light ray closes in compact solvmanifold","In oscillator quotients lattice element determines whether all light geodesics close","Lattice decides all light rays close or only Z direction","Even in 4D lattice controls which light geodesics close","Oscillator quotient lattice line decides light geodesic closure"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001814,"raw_usage":{"total_tokens":7179,"prompt_tokens":1027,"completion_tokens":6152,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":643,"completion_tokens_details":{"reasoning_tokens":6063}},"tokens_in":643,"tokens_out":6152,"duration_ms":39693,"temperature":1.0,"reasoning_tokens":6063,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:24:23.841572+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a lattice $\\Gamma$ in $\\mathrm{Osc}_1(1)$ that contains no nonzero $(0,0,t)$—for instance one of the automorphic images $\\varphi_p(\\Lambda_{n,0})$ in Example 3.5—and solve the lightlike condition $2ad+(b^2+c^2)/\\lambda=0$ together with the geodesic equations (4)-(7) for a positive time $s$ with $\\gamma_X(s)\\in\\Gamma$ and $(b,c)\\neq(0,0)$. Any such solution would refute the theorem's claim that only the $Z$-direction gives closed lightlike geodesics. Equivalently, checking membership of $(0,0,K_0t_0)$ in $\\Gamma$ for a lattice with no nonzero $(0,0,t)$ would settle the dichotomy directly.","supporting_citations":[{"cited_title":"Medina, P","cited_arxiv_id":null,"evidence_quote":"Establishes the lattice existence criterion for oscillator groups and the relation $t_0 = 2\\pi k_i/(K_0\\lambda_i)$ used to build the common return point $(0,0,K_0 t_0)$."},{"cited_title":"Fischer , Lattices of oscillator groups , J","cited_arxiv_id":null,"evidence_quote":"Provides the normal form $L(\\xi_0)$ for lattices and the isomorphism $\\Phi$, from which Lemma 3.2 derives the element $(w,0,0)$ present in every lattice."},{"cited_title":"del Barco, G","cited_arxiv_id":null,"evidence_quote":"Constructs the earlier dimension-four lattices with all lightlike geodesics closed and supplies the lemma that non-simple projected geodesics are periodic; Theorem 3.4 extends this to a dichotomy."},{"cited_title":"O’Neill, Semi-Riemannian geometry with applications to relativity , Academic Press (1983)","cited_arxiv_id":null,"evidence_quote":"Supplies the geodesic equation and the bi-invariant-metric fact that geodesics from the identity are one-parameter subgroups, on which the explicit solutions rest."},{"cited_title":"Bourseau , Die Isometrien der Oszillatorgruppe und einige ergebnisse ¨ uber Pr¨ amorphismen liescher Algebren","cited_arxiv_id":null,"evidence_quote":"Computes the isometry group of oscillator groups, which Section 4 uses to decide which isometries are fiber-preserving and therefore descend to quotients."}],"review_version":1}