{"id":"889f2a84-f522-40cf-8604-6b6e0d8c6a68","arxiv_id":"1908.01319","paper_version":3,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper characterizes projective special Kähler manifolds by a symmetric tensor satisfying one curvature equation and one differential equation, and uses this to classify four-dimensional projective special Kähler Lie groups.","lead":"The paper finds a way to recognize a projective special Kähler manifold from a single symmetric tensor, the deviance, which must satisfy one curvature equation and one differential equation. It uses this to classify all four-dimensional projective special Kähler Lie groups.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central characterization is self-contained; the 4D classification rests on two external classification results.","rationale":"The reader's weakest_assumption correctly identifies the dependence of Theorem 10.2 on Ovando's classification table and on Chu's solvability theorem. My own review of the central characterization theorem, including the converse construction in Theorem 7.6, found no internal inconsistency: the Kähler form is correctly closed, the connection ∇ is flat, torsion-free, and symplectic, and the C*-bundle and quotient properties are verified. The external reliance is real but is a standard, explicitly cited dependency rather than a flaw in the main argument. Since the paper is an ACCEPT with moderate confidence, and the classification concern is a caveat rather than a demonstrated error, the verdict should remain UNCHANGED.","tokens_in":36737,"tokens_out":58030,"duration_ms":512749,"concrete_test":"Independently verify the two external inputs used in Theorem 10.2: (1) compare Ovando's Table 5.1 with another classification of 4-dimensional Lie algebras admitting a left-invariant pseudo-Kähler structure, or recompute the list from the known classification of 4D real Lie algebras by solving for complex structures and closed non-degenerate 2-forms; (2) check that [11, Theorem 9] indeed covers all 4-dimensional Kähler Lie groups (not merely symplectic ones) by consulting the proof or by enumerating all 4D Lie algebras with a positive-definite Kähler structure and confirming each is solvable. If both checks pass, the classification is sound.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 7.6, the intrinsic deviance characterization, is proven directly in both directions and does not depend on external classifications; I found no internal gap in that argument. The load-bearing weakness is Theorem 10.2, the classification of 4-dimensional projective special Kähler Lie groups. Its proof begins from Ovando's list of 4-dimensional pseudo-Kähler Lie algebras [28, Table 5.1] and applies the theorem that every 4-dimensional Kähler Lie group is solvable [11, Theorem 9] to conclude the group is contractible and so to invoke Corollary 7.9. If either of these external results is incomplete or is being applied beyond its stated hypotheses, then the derived list of exactly two such Lie groups (up to PSK isomorphism) could miss a family. The paper does not re-derive these inputs, so the classification conclusion is only as secure as those two citations.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper presents an intrinsic characterization of projective special Kähler manifolds. The main result, Theorem 7.6, states that on a 2n-dimensional Kähler manifold (M,g,I,ω), a projective special Kähler structure is equivalent to the data of an S¹-bundle π_S:S→M with connection form φ, a bundle map γ:S→♯²S^{3,0}M satisfying γ(ua)=a²γ(u), and the conditions dφ=-2π_S^*ω together with, locally, the curvature equation D1 (Ω_LC+Ω_{P^n_C}+[η∧η]=0) and the differential equation D2 (d_LC η=2i s^*φ∧η) for the deviance η. The paper also derives a scalar curvature lower bound (Corollary 7.4), shows that equality holds exactly when the deviance vanishes, identifies zero-deviance complete simply connected manifolds with complex hyperbolic space (Proposition 9.5), and classifies connected simply connected 4-dimensional projective special Kähler Lie groups up to isomorphism (Theorem 10.2 and Corollary 10.5).","tokens_in":36896,"tokens_out":21601,"duration_ms":204437,"significance":"If correct, Theorem 7.6 is a substantial simplification: a projective special Kähler structure on a fixed Kähler manifold is encoded by one algebraic curvature equation and one first-order differential equation for a symmetric tensor, together with topological data of an S¹-bundle. The proof of the theorem is self-contained and proves both directions, including an explicit construction of the flat connection and verification of all axioms of a conic special Kähler structure. The scalar curvature bound and the rigidity statement for complex hyperbolic space are natural and clearly derived. The 4-dimensional classification is a valuable application and is carried out by a systematic case-by-case solution starting from Ovando's classification; its completeness is contingent on that external list and on Chu's solvability theorem, a caveat that should be kept in mind. The paper also acknowledges the independent work of Macia and Swann.","major_comments":[],"minor_comments":[{"comment":"The abstract states that vanishing of the deviance characterizes local isomorphism to the complex hyperbolic space, but the explicit theorem (Proposition 9.5) is global, requiring completeness, connectedness, and simple connectivity; the local version follows from Proposition 9.4 and standard local isometry theorems, but it would be helpful to state this local consequence explicitly in Section 9 to match the abstract.","section":"Abstract and Section 9"},{"comment":"The displayed formula for ~η = R(z²π*η) contains a likely typo: the expression 'r2 cos(2ϑ)2 Reπ∗η + r2 sin(2ϑ)2 Imπ∗η' should presumably read r²(2 cos 2ϑ Re π*η − 2 sin 2ϑ Im π*η) or an equivalent correct form; the sign of the second term and the placement of the factor 2 should be corrected.","section":"Proposition 6.3"},{"comment":"The quantity denoted 'scal' is the normalized scalar curvature, that is, the trace of the Ricci tensor divided by the real dimension 2n, rather than the usual trace convention in Riemannian geometry; this normalization should be stated explicitly at the first occurrence to avoid confusion.","section":"Remark 5.3 and Proposition 7.3"},{"comment":"The classification proof starts from Ovando's list [28, Table 5.1] and uses Chu's theorem [11, Theorem 9] to conclude solvability and contractibility; these are external classification inputs whose completeness is not re-derived in the paper, and the text should state clearly that the completeness of Theorem 10.2 is contingent on them.","section":"Section 10, proof of Theorem 10.2"},{"comment":"The phrase 'for a certain choice of an open covering' is potentially confusing, since the following sentence says the condition is satisfied by every such family of sections; rephrasing as 'for some (equivalently, any) choice of an open covering and sections' would improve clarity.","section":"Theorem 7.6, condition 3"},{"comment":"The notation θ^⋆ is used starting in Proposition 5.2 and Remark 5.3 but is never defined; it should be defined as the conjugate transpose of the coframe, or equivalently the image of θ under the Hermitian metric.","section":"Section 5"}],"recommendation":"minor_revision","confidential_remarks":"The paper is essentially ready for acceptance. The central characterization theorem is sound and self-contained, and the classification is a useful application. The only point I would ask the author to address explicitly is the dependence of the 4-dimensional classification on the completeness of the external classification results in [28] and [11]; this is standard practice, but a sentence of clarification would help the reader calibrate the scope of Theorem 10.2."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing to know: Theorem 7.6 is the real content, and it holds up. The paper gives an intrinsic characterization of projective special Kähler manifolds via a symmetric deviance tensor satisfying a curvature equation and a first-order differential equation. This is genuinely more general than the independent work by Macia and Swann, which assumes left-invariance for Lie groups. The proof goes in both directions: necessity comes from the difference of the flat and Levi-Civita connections on the conic cover, and sufficiency explicitly builds the flat connection from the two deviance equations. I checked the construction of the metric on S×R+ and the curvature computation; nothing circular.\n\nThe paper also earns its keep with a scalar curvature lower bound, equality exactly when deviance vanishes, and a rigidity statement for complex hyperbolic space. The four-dimensional classification of projective special Kähler Lie groups is a lot of honest algebra: the author starts from Ovando's list, computes Levi-Civita connections and curvature for all nine non-abelian families, solves for the deviance, and then checks the differential condition case by case. The result—only H√2×H2 and the complex hyperbolic plane as PSK manifolds—looks correct.\n\nThe soft spot is exactly where the stress-test note points: the classification conclusion is conditional on two external results. The proof assumes Ovando's Table 5.1 is complete and that every simply connected four-dimensional Kähler Lie group is contractible, citing Chu's theorem. If either input has a missing family, the list could be incomplete. That does not undermine Theorem 7.6, but it means the classification is not self-contained. The author is transparent about the reliance, which I appreciate. This is a minor caveat for most readers, not a fatal one.\n\nOne more thing: the paper cites its own thesis for context, and the overlap with Macia–Swann is handled fairly. I saw no citation red flags.\n\nWho should read this: anyone working on special Kähler geometry, c-map constructions, or quaternionic Kähler manifolds from the differential-geometric side. It is a solid construction paper that gives a practical tool. I would send it to a serious referee; the main theorem deserves careful checking, and the classification is worth a detailed look despite the external-input caveat. Recommendation: accept, with a request for a note on the completeness caveat in the classification section.","headline":"A sound intrinsic characterization of projective special Kähler manifolds; the 4D classification is solid but inherits two external classification assumptions.","tokens_in":37382,"tokens_out":2547,"would_cite":true,"duration_ms":26110,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C55","53C26","22E25","53C80"],"pacs":[],"model":"deepseek-v4-flash","headline":"A projective special Kähler structure is exactly a symmetric cubic tensor satisfying one curvature equation and one differential equation.","keywords":["projective special Kähler manifolds","conic special Kähler manifolds","deviance tensor","Kähler Lie groups","complex hyperbolic space","scalar curvature lower bound","r-map","c-map"],"falsifier":"Enumerate four-dimensional Kähler Lie algebras independently, write the deviance as $\\sigma=c_1(\\theta^1)^3+c_2(\\theta^1)^2\\theta^2+c_3\\theta^1(\\theta^2)^2+c_4(\\theta^2)^3$, and solve the curvature equation together with $d_{\\mathrm{LC}}\\sigma=-4i\\lambda\\wedge\\sigma$ for some $\\lambda$ with $d\\lambda=\\omega$; any solution not isomorphic to the two cases in Theorem 10.2 would falsify the classification. For the main equivalence, take a Kähler manifold with a chosen cubic tensor, build the $S^1$-bundle and $\\widetilde M=S\\times\\mathbb{R}^+$ as in Theorem 7.6, and check directly whether the constructed connection is flat.","tokens_in":36558,"feed_emoji":"📐","tokens_out":9440,"duration_ms":91657,"temperature":0.7,"pith_summary":"This paper proves an intrinsic characterization: on a fixed Kähler manifold, a projective special Kähler structure is exactly the data of an $S^1$-bundle with connection of prescribed curvature plus a bundle map into the symmetric cubic tensors, subject to a curvature equation and a differential equation for the local tensor, called the deviance. The deviance measures how far the manifold is from being complex hyperbolic space, and it vanishes precisely on models locally isomorphic to $\\mathrm{SU}(n,1)/\\mathrm{S}(\\mathrm{U}(n)\\mathrm{U}(1))$. The characterization turns a construction problem into a system of two local PDEs on the manifold, and it yields a sharp scalar-curvature lower bound. As an application, the paper classifies all four-dimensional projective special Kähler Lie groups, finding only two up to isomorphism of the geometric structure.","feed_headline":"One tensor decides when a Kähler manifold is projective special Kähler","feed_subtitle":"The deviance tensor turns the C*-bundle definition into two local equations, and classifies all 4D examples.","key_machinery":"The deviance tensor $\\eta$ is a local section of $\\sharp^2 S^{3,0}M$, that is, a symmetric cubic tensor with one index raised. It is obtained by restricting to the base manifold the difference between the flat connection $\\tilde\\nabla$ and the Levi-Civita connection $\\tilde\\nabla_{\\mathrm{LC}}$ on the conic bundle. The flatness of the conic bundle becomes the two conditions D1 and D2, while the bundle map $\\gamma$ packages how the local tensor changes under changes of section. This one object carries the whole argument and also controls the scalar curvature bound.","core_discovery":"Theorem 7.6 states that, on a $2n$-dimensional Kähler manifold $(M,g,I,\\omega)$, giving a projective special Kähler structure is equivalent to giving an $S^1$-bundle $\\pi_S:S\\to M$ with connection form $\\phi$, a bundle map $\\gamma:S\\to\\sharp^2 S^{3,0}M$ satisfying $\\gamma(ua)=a^2\\gamma(u)$, and local sections $s_\\alpha$ such that $d\\phi=-2\\pi_S^*\\omega$, $\\Omega_{\\mathrm{LC}}+\\Omega_{\\mathbb{P}^n_{\\mathbb{C}}}+[\\eta_\\alpha\\wedge\\bar\\eta_\\alpha]=0$, and $d_{\\mathrm{LC}}\\eta_\\alpha=2i s_\\alpha^*\\phi\\wedge\\eta_\\alpha$. The proof constructs the conic bundle $\\widetilde M=S\\times\\mathbb{R}^+$, the pseudo-Kähler metric $\\tilde g=t^2\\pi^*g-t^2\\tilde\\phi^2-dt^2$, and the flat connection $\\tilde\\nabla=\\tilde\\nabla_{\\mathrm{LC}}+\\tilde\\eta$. The same two equations then drive the classification: solving them against the known classification list of four-dimensional Kähler Lie algebras leaves exactly $\\mathbb{H}_{\\sqrt{2}}\\times\\mathbb{H}_2$ and the complex hyperbolic plane up to projective special Kähler isomorphism.","pith_inferences":["Because the deviance is a cubic form, the characterization suggests a construction inverse to the r-map: read the cubic polynomial off the deviance and use it to reconstruct the homogeneous cubic that generated the projective special Kähler structure.","The proof of Theorem 7.6 only uses the structure equations of the conic metric, so the same two-equation characterization should extend to conic special Kähler metrics of arbitrary signature, with the same $S^1$-bundle construction.","Reading the $\\mathrm{U}(1)$-valued gauge freedom in Proposition 8.1 cohomologically suggests that the moduli of projective special Kähler structures on a fixed manifold is controlled by $H^1(M,\\mathbb{Z}_2)$; when $H^1_{\\mathrm{dR}}(M)=0$, the structure is unique."],"forward_implications":["Any solution of D1–D2 on a Kähler manifold produces an actual projective special Kähler structure, not merely formal data, because Theorem 7.6 explicitly constructs the $\\mathbb{C}^*$-bundle, metric, and flat connection.","Every $2n$-dimensional projective special Kähler manifold has scalar curvature at least $-2(n+1)$, with equality exactly where the deviance vanishes; zero deviance forces the local geometry to be complex hyperbolic.","The only complete, connected, simply connected projective special Kähler manifold with zero deviance is $\\mathbb{H}^n_{\\mathbb{C}}=\\mathrm{SU}(n,1)/\\mathrm{S}(\\mathrm{U}(n)\\mathrm{U}(1))$.","When $H^2(M,\\mathbb{Z})=0$, existence of a projective special Kähler structure is equivalent to finding a global section $\\eta$ of $\\sharp^2 S^{3,0}M$ satisfying the curvature equation and $d_{\\mathrm{LC}}\\eta=-4i\\lambda\\wedge\\eta$ for any $\\lambda$ with $d\\lambda=\\omega$.","In dimension four, the only connected simply connected projective special Kähler Lie groups, up to isomorphism of the projective special Kähler structure, are $\\mathbb{H}_{\\sqrt{2}}\\times\\mathbb{H}_2$ and $\\mathbb{H}^2_{\\mathbb{C}}$."],"supporting_citations":[{"why":"Gives the symmetric difference tensor and the flatness condition that the paper rewrites as the deviance equations.","marker":"[20]"},{"why":"Supplies the symmetry of the difference tensor used to reduce it to a section of $\\sharp^2 S^{3,0}M$.","marker":"[5]"},{"why":"Sets the convention for the conic special Kähler metric signature and supplies the c-map context motivating the construction.","marker":"[15]"},{"why":"Provides the homothety lemma for the conic bundle used in the curvature and connection computations.","marker":"[25]"},{"why":"Supplies the standard Fubini-Study curvature tensor identified as $\\Omega_{\\mathbb{P}^n_{\\mathbb{C}}}$ in the curvature equation.","marker":"[24]"},{"why":"Supplies the complete classification table of four-dimensional pseudo-Kähler Lie algebras from which the case-by-case proof of the classification starts.","marker":"[28]"},{"why":"Supplies the theorem that four-dimensional Kähler Lie groups are solvable, used to reduce the classification to contractible groups.","marker":"[11]"},{"why":"Used to identify simply connected solvable Lie groups with euclidean space, completing the contractibility argument.","marker":"[10]"}],"fun_headline_variants":["A tensor condition pins down projective special Kähler structure","New tensor rule classifies 4D projective special Kähler manifolds","Deviance tensor: the key to projective special Kähler geometry","One tensor equation characterizes projective special Kähler spaces","Projective special Kähler: classified in four dimensions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The classification of four-dimensional Lie groups assumes the external list of four-dimensional pseudo-Kähler Lie algebras is complete and that every such Kähler Lie group is solvable; if either input misses a family, the “only two” conclusion could be missing a case.","fun_headline_variants_meta":{"raw":{"variants":["A tensor condition pins down projective special Kähler structure","New tensor rule classifies 4D projective special Kähler manifolds","Deviance tensor: the key to projective special Kähler geometry","One tensor equation characterizes projective special Kähler spaces","Projective special Kähler: classified in four dimensions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000785,"raw_usage":{"total_tokens":3441,"prompt_tokens":901,"completion_tokens":2540,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":517,"completion_tokens_details":{"reasoning_tokens":2454}},"tokens_in":517,"tokens_out":2540,"duration_ms":16535,"temperature":1.0,"reasoning_tokens":2454,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:16:28.111568+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Enumerate four-dimensional Kähler Lie algebras independently, write the deviance as $\\sigma=c_1(\\theta^1)^3+c_2(\\theta^1)^2\\theta^2+c_3\\theta^1(\\theta^2)^2+c_4(\\theta^2)^3$, and solve the curvature equation together with $d_{\\mathrm{LC}}\\sigma=-4i\\lambda\\wedge\\sigma$ for some $\\lambda$ with $d\\lambda=\\omega$; any solution not isomorphic to the two cases in Theorem 10.2 would falsify the classification. For the main equivalence, take a Kähler manifold with a chosen cubic tensor, build the $S^1$-bundle and $\\widetilde M=S\\times\\mathbb{R}^+$ as in Theorem 7.6, and check directly whether the constructed connection is flat.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the symmetric difference tensor and the flatness condition that the paper rewrites as the deviance equations."},{"cited_title":"Baues and V","cited_arxiv_id":null,"evidence_quote":"Supplies the symmetry of the difference tensor used to reduce it to a section of $\\sharp^2 S^{3,0}M$."},{"cited_title":"Cort´ es, X","cited_arxiv_id":null,"evidence_quote":"Sets the convention for the conic special Kähler metric signature and supplies the c-map context motivating the construction."},{"cited_title":"Macia and A","cited_arxiv_id":null,"evidence_quote":"Provides the homothety lemma for the conic bundle used in the curvature and connection computations."},{"cited_title":"Kobayashi and K","cited_arxiv_id":null,"evidence_quote":"Supplies the standard Fubini-Study curvature tensor identified as $\\Omega_{\\mathbb{P}^n_{\\mathbb{C}}}$ in the curvature equation."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the complete classification table of four-dimensional pseudo-Kähler Lie algebras from which the case-by-case proof of the classification starts."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the theorem that four-dimensional Kähler Lie groups are solvable, used to reduce the classification to contractible groups."},{"cited_title":"Chevalley","cited_arxiv_id":null,"evidence_quote":"Used to identify simply connected solvable Lie groups with euclidean space, completing the contractibility argument."}],"review_version":1}