{"id":"e4620f3c-24e2-4d46-b537-a90c09ddb0ed","arxiv_id":"2608.03785","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Homogeneous Kähler structures on principal R^×-bundles reduce to Sasakian structures exactly when the Euler vector field is pre-geodesic and the line bundle is oriented, and the same dictionary covers co-Kähler structures as the 'invariant' case.","lead":"This note works out exactly how a generalized Kähler structure on a circle-like bundle over a manifold relates to the classical Sasakian and co-Kähler geometries, using the bundle's associated line bundle to organize the bookkeeping. It tells geometers precisely when these generalized structures are just Sasakian or co-Kähler structures in disguise, and when they carry genuinely new local freedom.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Integrability conditions (2.11)–(2.14) rest on an unshown 'direct computation'; a sign/curvature error there would invalidate Theorem 2.16, so the central equivalence needs independent verification.","rationale":"The paper's overall architecture is coherent, and the qualitative examples do suggest a genuine generalization beyond Sasakian/co-Kähler structures. The reader's identification of Lemma 2.7 as a load-bearing bridge is reasonable, and I found a sign error in its displayed equation (2.9), though the equivalence itself appears to survive. However, the more serious risk to the central claim is the unverified integrability computation in Theorem 2.10 and the non-trivial reduction in Remark 2.11. These are the precise algebraic steps that turn the homogeneous Kähler condition into the ACM dataset equations, and a sign or curvature error there would directly change the classification and the Sasakian/co-Kähler corollaries. Because the paper provides no machine-checked proof and the surrounding examples contain arithmetic slips, a targeted independent expansion is warranted before full acceptance. I do not see a fatal flaw, and the qualitative claims likely hold, so the verdict should remain conditional pending this verification.","tokens_in":26018,"tokens_out":32635,"duration_ms":378081,"concrete_test":"Using a computer algebra system (e.g., SageMath), expand N_K(D_1,D_2) with D_1,D_2 ∈ {∇_X, ∇_Y, I} under the bracket [∇_X,∇_Y] = ∇_{[X,Y]} + dν(X,Y)I, and verify that the four components reproduce (2.11)–(2.14) exactly. Independently re-derive the implication (2.11) ⇒ (2.12)–(2.14) without relying on the paper's cancellations. Also verify the corrected sign in Lemma 2.7 Eq. (2.9) and confirm Corollary 2.18 still follows.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central one-to-one correspondence in Theorem 2.16 depends on Theorem 2.10's integrability conditions, which are stated after 'a direct computation' with no derivation shown. The decomposition of N_K into four equations uses the Atiyah bracket [∇_X,∇_Y] = ∇_{[X,Y]} + dν(X,Y)I; any misplaced sign or curvature term in the N_K(I,∇_X) or N_K(∇_X,∇_Y) components would change (2.11)–(2.14), and thereby alter the claimed Sasakian gap and Corollary 2.18. Also, Remark 2.11 asserts that (2.11) implies (2.12)–(2.14) through a sequence of cancellations that are non-obvious and not machine-checked; this equivalence is used to state Theorem 2.16 in simplified form. Separately, the proof of Lemma 2.7, the bridge for Corollary 2.18, contains a sign error in Eq. (2.9): the correct identity is eG(U,∇_E E) = -1/2 L_U eu, not +1/2; the equivalence survives because only the zero locus matters, but the displayed proof is wrong, adding to the need for external verification of the algebra. If any of these conditions are off by a factor or sign, the exact characterization of when homogeneous Kähler structures reduce to Sasakian structures shifts, undermining the paper's main claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies homogeneous Kähler structures on principal R^x-bundles eL associated to a line bundle L, in the sense of [8]. It gives an explicit dictionary between homogeneous almost Hermitian structures on eL and ACM datasets (φ, g_M, ν, ϕ, ξ, η, α, β) on the base, and then translates the integrability conditions: Theorem 2.16 states a one-to-one correspondence between homogeneous Kähler structures and ACM datasets satisfying (2.11) and (2.19). For oriented line bundles with pre-geodesic Euler field, the correspondence reduces to ordinary Sasakian structures, so the extra generality beyond Sasakian geometry is captured by the 1-form ν and by non-trivial line bundles. Section 3 develops the parallel invariant case, with ACM datasets of type I and a corresponding characterization of invariant Kähler structures; when the Euler field is parallel and the connection is flat, these reduce to co-Kähler structures. The paper also classifies the possible homogeneity conditions and provides local examples with trivial line bundle but non-Sasakian/non-co-Kähler behavior.","tokens_in":26340,"tokens_out":23287,"duration_ms":270696,"significance":"If correct, the main result gives a precise and useful answer to the question left open in [8]: exactly how much more general homogeneous Kähler structures are than Sasakian structures. The line-bundle formulation is natural and the correspondence is explicit enough to be applied. The classification of homogeneity cases in Section 1.3 and the invariant-case parallel are valuable additions. The paper is also honest about its overlap with [8] and transparently builds on the authors' earlier dictionary. The examples, once corrected, support the claim that the generalized structures already occur even locally and with trivial line bundle.","major_comments":[{"comment":"The decomposition of the Nijenhuis torsion N_K into the four conditions (2.11)–(2.14) is the central algebraic input for Theorem 2.16, but it is introduced as 'a direct computation' with no derivation. The formulas are plausible and I found the ν=0 case internally consistent, but because the exact signs and the presence of dν terms are load-bearing for the claimed Sasakian gap, the computation should be made auditable. Please include the calculation at least for the ξ-component of N_K(∇X,∇Y) and the full component of N_K(I,∇X), or give an appendix with the complete derivation.","section":"§2.2, Theorem 2.10"},{"comment":"The displayed identity (2.9) has a sign error. From L_E eG = eG one obtains eG(U, ∇_E E) = -eG(∇_U E, E) = -1/2 L_U eG(E,E), not +1/2. The zero-locus argument is unaffected, so the lemma's statement survives, but the proof as printed is incorrect. Please correct the sign and show the two-line computation.","section":"§2.1, Lemma 2.7, Eq. (2.9)"},{"comment":"In the deformed example E -> E + U, the norm squared of E+U on S^3 is 5/4, so φ_s = 4/5, not 4/3. Consequently the printed ν_s is also off by a factor; the correct value is ν_s = -(4/5) i*_{S^3} U^♭ (equivalently (4/5) i*_{S^3}(y_1 dx_1 - x_1 dy_1 - y_2 dx_2 + x_2 dy_2)). The qualitative conclusion ν_s ≠ 0 still holds. Separately, Eq. (2.24) contains an unexplained minus sign: from (2.7), β = φ^{-1} η, so one expects β_s = φ_s^{-1} η_s, not -φ_s^{-1} η_s.","section":"§2.5, Example 2.20 and Eq. (2.24)"},{"comment":"For E -> E + U with the same U as in Example 2.20, the squared norm of E+U on the hypersurface Σ is 1 - 2x_2 + x_1^2 + x_2^2 + y_1^2, not 1 - x_2 + x_1^2 + x_2^2 + y_1^2. The example still works, but the stated expression should be corrected.","section":"§3.5, Example 3.15"}],"minor_comments":[{"comment":"In the proof, the second occurrence of 'Condition (1) in the statement holds' should be 'Condition (2)' or 'condition (2) holds'. As written, the converse direction is mislabelled.","section":"§3.2, Lemma 3.9"},{"comment":"Minor wording: 'we provide two example' should be 'two examples'.","section":"§3.5"},{"comment":"The notation φ_s and eφ is a little dense; a short sentence recalling that eφ = eG(E,E)^{-1} would improve readability.","section":"§2.5"}],"recommendation":"minor_revision","confidential_remarks":"The paper is heavily self-referential, relying on the authors' own dictionary in [11,15,19,20], but the present contribution is a genuine and reasonably self-contained elaboration. The overlap with [8] is disclosed. The main theorems appear sound; the arithmetic slips in the examples and the sign error in Lemma 2.7 are local and fixable. I would like to see the Nijenhuis computation included or at least sketched before final acceptance, mainly because it is the technical heart of the paper."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Punchline: this note does what the title says. It identifies exactly where homogeneous Kähler structures are more general than Sasakian ones—the 1-form ν and the orientability of the line bundle—reformulates the dictionary in line-bundle language, and extends the same analysis to the invariant/co-Kähler case. On my reading the central claims are sound, but the proof has rough edges that a referee should have caught before publication.\n\nThe genuinely new material is the exhaustive case analysis in §1.3, the ACM dataset formulations (Definitions 2.5, 2.17, 3.12), the invariant-case theorems (3.4, 3.7, 3.11, 3.13), and the precise statement that the Sasakian gap is exactly ν plus non-trivial line bundles. The paper is honest about its overlap with [8] and its reliance on the authors' own homogenization framework; those are not flaws. The structural picture is coherent, and the computations that are shown hang together.\n\nThe soft spots are mostly presentation-level, with one proof gap. The integrability conditions (2.11)–(2.14) are load-bearing for Theorem 2.16, and they appear after a 'direct computation' with no derivation. I did not find an error, but the referee should ask for the details. The proof of Lemma 2.7 has a sign error: (2.9) shows +1/2 L_U eu, whereas the computation gives -1/2. The conclusion survives because only the zero locus matters, but the displayed proof is wrong. There are also apparent arithmetic slips in Examples 2.20 and 3.15: in 2.20, φ_s should be 4/5 rather than 4/3; in 3.15, u_s has the wrong coefficient for x_2. The qualitative points—ν≠0 and non-integrable distributions—are unaffected. Appendix A states Theorem A.1 without proof; that is disclosed, but for a paper whose whole method is explicit correspondences, an unproved analogue is unsatisfying.\n\nWho is this for? People working on the contact/Sasakian side of the symplectic-to-contact dictionary. They will get a clear, mostly reliable map of the generalization. It deserves a serious referee; with the computation displayed and the constants fixed, it would be a publishable note. I would send it to review rather than desk reject, and I would ask for minor revision.","headline":"A useful clarification that pins down the exact Sasakian gap, but the referee should verify the unshown algebra in §2.2 and fix a handful of displayed slips.","tokens_in":26888,"tokens_out":3718,"would_cite":true,"duration_ms":39496,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C25","53D10","53C55"],"pacs":[],"model":"deepseek-v4-flash","headline":"Homogeneous Kähler structures are exactly the ACM datasets of type H satisfying equations (2.11) and (2.19), and they reduce to Sasakian structures precisely when the Euler vector field is pre-geodesic.","keywords":["homogeneous Kähler structures","Sasakian structures","co-Kähler structures","line bundles","principal R^×-bundles","almost contact metric structures","Atiyah algebroid"],"falsifier":"Compute ∇^LC_E E in Example 2.20 after deforming E by the vector field U: Lemma 2.7 predicts that whenever ν ≠ 0, the Euler vector field is not pre-geodesic, so the orthogonal distribution is non-integrable. Checking this directly — and likewise testing an invariant structure with constant u but non-flat connection — would confirm or break the bridge that identifies the Sasakian and co-Kähler gaps.","tokens_in":25835,"feed_emoji":"📐","tokens_out":6275,"duration_ms":68789,"temperature":0.7,"pith_summary":"This paper asks a precise question: the cone construction that turns a Sasakian manifold into a Kähler manifold was recently generalized to homogeneous Kähler structures on principal R^×-bundles, but those structures are strictly more general than Sasakian ones. The authors prove exactly how much more general. Using the line bundle associated to the principal bundle, they show every homogeneous Kähler structure is encoded by an almost contact metric dataset of type H — a tuple (φ, g_M, ν, ϕ, ξ, η, α, β) satisfying two equations — and the extra generality consists precisely of a 1-form ν plus possibly non-trivial line bundles. When the Euler vector field on the bundle is pre-geodesic, ν vanishes and the structure is exactly a Sasakian structure on the base. The same analysis with a different homogeneity condition yields the analogous statement for co-Kähler structures.","feed_headline":"Homogeneous Kähler structures: where Sasakian begins","feed_subtitle":"One 1-form ν separates these Kähler bundles from Sasakian geometry; the invariant counterpart is co-Kähler.","key_machinery":"The paper's workhorse is the homogenization correspondence between line bundles and principal R^×-bundles: sections of bundles built from L and the Atiyah algebroid DL correspond to homogeneous tensors on L̃. From a homogeneous Kähler structure one extracts an ACM dataset (φ, g_M, ν, ϕ, ξ, η, α, β); equations (2.11) and (2.19) are the integrability conditions for the complex structure and the Kähler form, respectively. The decisive mechanism is Lemma 2.7, which identifies the vanishing of the 1-form ν with the Euler vector field being pre-geodesic; the invariant analogue is Lemma 3.9, where constant u and flat connection ∇ are equivalent to E being parallel.","core_discovery":"Theorem 2.16 establishes a one-to-one correspondence between homogeneous Kähler structures on the homogeneous manifold L̃ = L*∖0 and ACM datasets of type H satisfying equations (2.11) and (2.19). Corollary 2.18 sharpens this: if the line bundle is oriented and the Euler vector field is pre-geodesic, the correspondence reduces exactly to Sasakian structures on the base. The paper's central claim is that homogeneous Kähler geometry is Sasakian geometry plus two controlled relaxations: the contact structure may be non-coorientable, and the orthogonal distribution to the fibers need not be integrable. The invariant analogue, Theorems 3.11 and 3.13, does the same for co-Kähler structures.","pith_inferences":["The dataset description suggests that deforming a Sasakian structure can be reformulated as solving equations in (φ, g_M, ν, ϕ, ξ, η) over M, where ν is a variable measuring the deviation from Sasakianity rather than a fixed background.","Because Lemma 2.7 ties ν = 0 to integrability of the orthogonal distribution, ν can be interpreted as the geometric obstruction to that distribution being integrable; this may connect to transverse-structure invariants in odd-dimensional geometry.","The invariant case with constant u but non-flat connection (Example 3.16) points to a class of 'transverse co-Kähler' objects whose curvature ρ encodes the non-integrability; classifying such objects could extend cosymplectic geometry in a new direction.","The exhaustive case analysis implies that within this principal-bundle framework there are essentially only the Sasakian and co-Kähler branches, so other odd-dimensional Kähler-like geometries would need different homogeneity actions or different structure groups."],"forward_implications":["Homogeneous Kähler structures are classified by base data on M together with a line bundle, not by auxiliary data living on the total space.","Sasakian structures on oriented bases are exactly the special case where the Euler vector field is pre-geodesic; non-trivial line bundles absorb non-coorientable contact structures.","The generalization beyond Sasakian is local: examples with trivial line bundle and ν ≠ 0 show the same geometry is already new in open subsets.","For the invariant homogeneity condition, co-Kähler structures are the special case with flat connection and constant u, and examples show genuine local generalizations exist.","Only three inequivalent homogeneity conditions exist for almost Hermitian structures on a homogeneous manifold, so the homogeneous and invariant cases exhaust the meaningful options (the third is a twisted variant treated in the appendix)."],"supporting_citations":[{"why":"Introduces homogeneous Kähler structures on principal R^×-bundles and frames their relation to Sasakian structures; this paper characterizes and re-interprets that relation via line bundles.","marker":"[8]"},{"why":"Supplies the homogenization machinery and the decomposition of a homogeneous metric into (∇, φ, g_M, ν), the main tool for translating total-space data to base data.","marker":"[15]"},{"why":"Provides the Symplectic-to-Contact dictionary and the equivalence between line bundles and homogeneous manifolds used throughout.","marker":"[11]"},{"why":"Gives the definitions and identities of almost contact metric, Sasakian, and co-Kähler geometry that the correspondence targets.","marker":"[1]"},{"why":"Provides the decomposition of Atiyah 2-forms into the pair (α, β), used to translate closedness of the Kähler form into α = 0.","marker":"[3]"},{"why":"Standard reference for Sasakian geometry; used in Remark 2.14 to compare the contact metric equation and fix the normalization factor.","marker":"[4]"},{"why":"Survey of cosymplectic/co-Kähler geometry used as the analogue target in the invariant case.","marker":"[5]"}],"fun_headline_variants":["When Sasakian is not enough: homogeneous Kähler","From Sasakian to co-Kähler via homogeneous Kähler","Kähler twist on Sasakian: non-coorientable allowed","The exact gap between Kähler and Sasakian","Homogeneous Kähler: Sasakian's larger family"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The identification of homogeneous Kähler structures with Sasakian structures passes through Lemma 2.7, which says the Euler vector field on the total space is pre-geodesic exactly when the 1-form ν vanishes; if that equivalence fails, the precise boundary between the two geometries shifts.","fun_headline_variants_meta":{"raw":{"variants":["When Sasakian is not enough: homogeneous Kähler","From Sasakian to co-Kähler via homogeneous Kähler","Kähler twist on Sasakian: non-coorientable allowed","The exact gap between Kähler and Sasakian","Homogeneous Kähler: Sasakian's larger family"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00026,"raw_usage":{"total_tokens":1438,"prompt_tokens":771,"completion_tokens":667,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":515,"completion_tokens_details":{"reasoning_tokens":578}},"tokens_in":515,"tokens_out":667,"duration_ms":7585,"temperature":1.0,"reasoning_tokens":578,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T12:32:40.522432+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute ∇^LC_E E in Example 2.20 after deforming E by the vector field U: Lemma 2.7 predicts that whenever ν ≠ 0, the Euler vector field is not pre-geodesic, so the orthogonal distribution is non-integrable. Checking this directly — and likewise testing an invariant structure with constant u but non-flat connection — would confirm or break the bridge that identifies the Sasakian and co-Kähler gaps.","supporting_citations":[{"cited_title":"Sasaki structures on general contact manifolds","cited_arxiv_id":"2412.16697","evidence_quote":"Introduces homogeneous Kähler structures on principal R^×-bundles and frames their relation to Sasakian structures; this paper characterizes and re-interprets that relation via line bundles."},{"cited_title":"Homogeneous G-structures","cited_arxiv_id":"1907.06449","evidence_quote":"Supplies the homogenization machinery and the decomposition of a homogeneous metric into (∇, φ, g_M, ν), the main tool for translating total-space data to base data."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the Symplectic-to-Contact dictionary and the equivalence between line bundles and homogeneous manifolds used throughout."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the definitions and identities of almost contact metric, Sasakian, and co-Kähler geometry that the correspondence targets."},{"cited_title":"Higher omni-Lie algebroids","cited_arxiv_id":"1812.09496","evidence_quote":"Provides the decomposition of Atiyah 2-forms into the pair (α, β), used to translate closedness of the Kähler form into α = 0."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Standard reference for Sasakian geometry; used in Remark 2.14 to compare the contact metric equation and fix the normalization factor."},{"cited_title":"A survey on cosymplectic geometry","cited_arxiv_id":"1305.3704","evidence_quote":"Survey of cosymplectic/co-Kähler geometry used as the analogue target in the invariant case."}],"review_version":1}