Pith. sign in

REVIEW 3 major objections 7 minor 24 references

Selfsimilar Hessian manifolds

T0 review · 3 major / 7 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that a selfsimilar Hessian manifold with a potential homothetic vector field is locally a direct product of radiant Hessian manifolds.

desk verdict The product-decomposition idea is sound and worth knowing, but the printed normal-form formulas are wrong for general λ (and even for λ=1), so the local classification as stated is false. read the letter →

arxiv 1908.01731 v4 pith:7KWPYVDL submitted 2019-08-05 math.DG

Pavel Osipov This is my paper · ORCID
classification math.DG
keywords selfsimilarmanifoldhomotheticvectorfieldHessianradiantRiemannianconeconicaldomainpotentialflataffineconnection
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper sets out to show that a selfsimilar Hessian manifold—a flat affine manifold whose Riemannian metric is locally the Hessian of a function, equipped with a vector field that scales the metric—has a rigid local structure once that scaling field is a gradient. The first main theorem says that the scaling field is a gradient exactly when the manifold is locally a direct product of radiant Hessian manifolds, where a radiant manifold has a vector field $\rho$ with $\nabla\rho=\mathrm{Id}$. The second main theorem gives explicit flat-coordinate models for each radiant factor: at a zero of the scaling field the metric is Euclidean, and away from zeros it is the Hessian of $(x^{n+1})^{2\lambda^{-1}}\psi$, with $\psi$ constant along the radial direction and two inequalities controlling positive definiteness. If these theorems are right, the local classification of selfsimilar Hessian manifolds with a gradient scaling field is reduced to these coordinate formulas.

What carries the argument

The machinery is the linear operator $\nabla\xi$ on the tangent bundle. Because the flow of $\xi$ preserves the flat affine connection, $\nabla\nabla\xi=0$, so its eigenvalues are constant on connected components. Potentiality of $\xi$ (equivalently $d\,\iota_\xi g=0$) makes $\nabla\xi$ self-adjoint with respect to $g$, so the tangent space splits into mutually orthogonal, parallel eigenspace distributions $V_i$; the paper combines this splitting with the radiant identity $L_\rho g = g+\nabla(\iota_\rho g)$ (Proposition 3.10) to derive the Hessian potential formula $g=\operatorname{Hess}\bigl(g(\xi,\xi)/(4-2\lambda)\bigr)$ (Proposition 3.11). This identity is what converts the geometric splitting into explicit coordinate formulas for the metric.

What would settle it

For a radial-invariant smooth function $\psi$ on the slice $x^{n+1}=1$, for example $\psi=(x^1/x^{n+1})^2$ near a point, set $\lambda=1$, compute the Hessian matrix of $(x^{n+1})^{2\lambda^{-1}}\psi$ in the coordinates of Theorem 1.5(ii), and compare the entries $a_{j,n+1}$ and $a_{n+1,n+1}$ with the displayed formulas; any mismatch would settle that the proposed normal form is not the actual Hessian.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 1.4: on a selfsimilar Hessian manifold $(C,\nabla,g,\xi)$, the homothetic field $\xi$ is potential, meaning locally $\xi=\operatorname{grad} f$, if and only if $(C,\nabla,g,\xi)$ is locally isomorphic to a direct product of radiant Hessian manifolds; if $\xi$ vanishes somewhere, the factor is a single radiant Hessian manifold with $\xi$ itself as the radiant field. Theorem 1.5 then gives normal forms. At a zero of $\xi$, flat coordinates make $g=\sum_i(dx^i)^2$ and $\xi=\sum_i x^i\partial_{x^i}$. At a point where $\xi$ is nonzero, coordinates can be chosen with $x^{n+1}>0$, $\xi=\lambda\sum_i x^i\partial_{x^i}$, $\lambda\neq 0,2$, and $g=\operatorname{Hess}\bigl((x^{n+1})^{2\lambda^{-1}}\psi\bigr)$, where $\psi$ is constant along the radiant vector field and the positivity of $g$ is exactly the pair of inequalities (3.8).

Load-bearing premise

The load-bearing unproved step is the assertion, made right after Proposition 3.6, that the directions in which the scaling field acts with different rates separate into independent coordinate factors of a local product; the coordinate formulas in Theorem 1.5(ii) also rest on Hessian computations that the text does not display.

Editorial extensions

If this is right

  • Locally, the classification of selfsimilar Hessian manifolds with a potential vector field reduces to the radiant case; no other local model is needed.
  • At a zero of the potential homothetic field, the structure is Euclidean: $g=\sum(dx^i)^2$ and $\xi$ is the radial vector field.
  • Away from zeros, every radiant factor is a conical Hessian domain, with metric $g=\operatorname{Hess}\bigl((x^{n+1})^{2\lambda^{-1}}\psi\bigr)$ and positivity explicitly controlled by inequalities (3.8).
  • Because condition (1.3) cannot hold for $\lambda=2$, the positive-definite normal form excludes the degenerate extensive-Hessian case, which lives at $\lambda=2$.
  • Radiant Hessian manifolds exist for every $\lambda\neq 0,2$ (Corollary 3.24), so the classification is nonempty and the parameter $\lambda$ is genuinely free.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial extension: a global version of the product theorem would need to control the affine holonomy that can permute the factors when the eigenspace distributions fail to integrate globally; the local theorem leaves this monodromy unaddressed.
  • Editorial extension: the inequalities (3.8) can be read as a radial-invariant strong-convexity condition; one could test numerically whether the admissible functions $\psi$ form a convex cone for fixed $\lambda$, and identify the boundary as a degenerate-Hessian limit.
  • Editorial extension: because the normal form contains an arbitrary radial-invariant function $\psi$, it gives an explicit construction kit for Hessian metrics of prescribed homothetic weight $\lambda$, which may feed examples in affine sphere theory or Monge–Ampère equations.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 7 minor

Summary. This paper studies Riemannian manifolds carrying a homothetic vector field ξ (L_ξ g = 2g), which it calls selfsimilar manifolds, and their Hessian analogues. Theorem 1.1 classifies global selfsimilar manifolds as either generalized cones M × R_{>0} with metric s²g_M + s ds·α + ds², or Euclidean spaces with a vector field ρ + η (ρ radiant, η Killing), and asserts that every selfsimilar manifold is locally isomorphic to a global one. Theorem 1.2 shows that a global selfsimilar manifold with potential ξ is a Riemannian cone or a flat radiant Euclidean space. The main results for Hessian structures are Theorem 1.4 (a selfsimilar Hessian manifold has potential ξ if and only if it is locally a direct product of radiant Hessian manifolds) and Theorem 1.5/3.25, an explicit local normal form g = Hess((x^{n+1})^{2λ^{-1}}ψ) for each radiant factor, with ψ constant along the radiant field and positivity conditions (3.8). Corollary 3.24 claims existence of radiant Hessian manifolds for every λ ≠ 0, 2.

Significance. The intended outcome — a complete local classification of selfsimilar Hessian manifolds with potential homothetic fields, alongside a global classification of selfsimilar manifolds — is a worthwhile contribution to affine differential geometry. The paper's genuine strengths include the global classification argument (Theorem 2.9, where the curvature blow-up under the contracting flow forces flatness), the correctly derived positive-definiteness criterion in Lemma 3.22 and (3.8), and the explicit link to the λ = 2 extensive-Hessian setting of Garcia-Ariza with its thermodynamic motivation. The product splitting of Theorem 1.4 is plausible and its ingredients are standard, though the key integrability step is not proved or cited. However, the explicit normal-form entries in Proposition 3.20, Theorem 1.5(ii), and Theorem 3.25 are algebraically wrong for general λ; since these formulas are exactly the advertised local structure theorem, the central claim needs repair. The errors are localized and correctable, so I judge the paper promising rather than unsalvageable.

major comments (3)
  1. [Prop. 3.20; Thm. 1.5(ii); Thm. 3.25 (Sec. 3.2.1)] The displayed entries of Hess((x^{n+1})^{2λ^{-1}}ψ) in Proposition 3.20, Theorem 1.5(ii), and Theorem 3.25 are incorrect for general λ. Setting s = x^{n+1}, a = 2λ^{-1}, F = s^a ψ, S = Σ_{i=1}^n x^i ψ_i, and Q = Σ_{i,j=1}^n x^i x^j ψ_{ij}, the condition ρψ = 0 gives sψ_s = −S, and direct differentiation yields ∂_s F = s^{a−1}(aψ − S), hence a_{j,n+1} = ∂_j∂_s F = s^{a−1}((a−1)ψ_j − Σ_{i=1}^n x^i ψ_{ij}) and a_{n+1,n+1} = ∂_s²F = s^{a−2}(a(a−1)ψ − 2(a−1)S + Q). The paper prints a_{j,n+1} = s^{a−1}(ψ_j − Σ x^i ψ_{ij}) and a_{n+1,n+1} = s^{a−2}(2ψ − S); the missing factor a−1 changes the formulas for every λ ≠ 1, and even for a = 2 the second entry is wrong (the correct value is 2ψ − 2S + Q). The proof of Proposition 3.20 errs in its first line, where ρ(s^aψ) is evaluated as 2s^aψ; in fact ρ(s^aψ) = a s^aψ. I verified these computations directly; the repair is localized to the three displayed entries, and the inequalities (3.8) are unaffected since they are derived from Lemma 3.22 rather than from the entries.
  2. [Section 3.1, after Prop. 3.6] The proof of Theorem 1.4 relies on the assertion, in Section 3.1 immediately after Proposition 3.6, that the affine manifold C is locally isomorphic to a direct product U = ∏ U_i compatible with the decomposition TC = ⊕ V_i into eigen-subbundles of ∇ξ. This is a standard fact — for a flat torsion-free connection the subbundles V_i are parallel, hence integrable, and a parallel splitting of the tangent bundle induces a local product splitting of the affine structure — but the manuscript states it without proof or reference. Because the 'only if' direction of Theorem 1.4 depends on this step, the paper should add a short argument or a citation.
  3. [Corollary 3.24] Corollary 3.24 claims the existence of a radiant Hessian manifold for any λ ≠ 0, 2, but the proof covers only λ < 2. With ψ = Σ_{i=1}^n (x^i)^2, the first inequality of (3.8) is (4λ^{-2} − 2λ^{-1})ψ > 0; since ψ > 0 away from 0, this forces 4λ^{-2} − 2λ^{-1} > 0, i.e., λ < 2. The statement needs a different example for λ > 2 (e.g., ψ = exp(Σ_{i=1}^n x^i) − c with c large enough that ψ < 0 on a small convex neighborhood, for which Hess(ψ) > 0) or a restriction of the claimed range.
minor comments (7)
  1. [Throughout] The manuscript contains many typos and grammatical errors ('selfsimiar', 'Eucledean', 'wich', 'describ e', 'a positive definite function on M' where a positive function is meant); a careful proofreading pass is needed.
  2. [Theorem 1.1(i)] The statement contains 'where a ∈ R' but no parameter a appears in the formula; either delete the phrase or write η = a η₀ for a fixed generator η₀ of so(n).
  3. [Example 2.21] The sentence 'Any tangent vector admits a form a ∂/∂ϕ + b ∂/∂ϕ' should read a ∂/∂ϕ + b ∂/∂s.
  4. [Proposition 3.28] The displayed computation contains typos: the constant factor of g(∂_r, ∂_r) should be a combination of (4λ^{-2} − 2λ^{-1})/(4 − 2λ), and the equation '2^{2λ^{-1}−2} = 0' should read '2λ^{-1} − 2 = 0'; the exponent argument itself is sound.
  5. [End of proof of Theorem 3.28] The sentence 'Combining Theorem 3.9 and Theorem 3.28, we get Theorem 3.28' is self-referential; the intended statement is presumably Theorem 1.5(i).
  6. [References] References [CT] and [M] do not appear to be cited in the text; either cite them or remove them from the bibliography.
  7. [Section 3.1, after Prop. 3.6] The claim that ∇ξ|_p has the same eigenvalues λ_1,...,λ_k at every point, and the definition of the subbundles V_i, would benefit from a short justification (parallelism of ∇ξ forces the spectrum to be locally constant).

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found; derivation is internal and externally grounded.

full rationale

Checked the claimed derivation chain. The central results (Thm 1.2, 1.4, 1.5, Prop 3.20, Thm 3.25) are derived from the definitions of selfsimilar/Hessian/radiant manifolds, from the flat-affine eigendecomposition of ∇ξ, and from the external propositions [Go] and [G-A]. No parameter is fitted to a target output; the Hessian potentials are solved from the homothetic equations and from Lρg = g + ∇(ιρg). The 'radiant Hessian' factors in Thm 1.4 are not defined in terms of the product conclusion; they are defined by ∇ξ = λId. The local coordinate formulas are obtained by differentiating a specified ansatz, not by imposing the conclusion. There are no self-citations by the author, and the cited external results (Goldman on radiant manifolds, García-Ariza on Hessian radiant manifolds) are independent inputs rather than the paper's own conclusions. The assertion that the parallel eigenspaces Vi integrate into a local product is stated without proof and is a gap/assumption, but it is not a circular reduction: the later metric decomposition does not assume the theorem it proves. Likewise the apparent algebraic errors in Prop 3.20 are correctness issues, not circularity. Therefore score 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper relies on standard definitions of Hessian manifolds, on two external results from Goldman and Garcia-Ariza, and on an unproved integrability and splitting claim. There are no fitted parameters or newly invented entities; the function psi is an arbitrary homogeneous potential subject to inequalities.

assumptions (4)
  • standard math A Hessian manifold is a flat affine manifold with a Riemannian metric locally expressed as the Hessian of a function.
    Definition 3.2; this is the setup of the paper.
  • domain assumption If the flow along xi preserves a flat affine connection nabla, then nabla nabla xi = 0.
    Cited as Proposition 3.4 from Goldman [Go] and used throughout the Hessian part.
  • domain assumption For a radiant manifold with Hessian metric, L_rho g = g + nabla(iota_rho g).
    Cited as Proposition 3.10 from Garcia-Ariza [G-A]; used to derive the Hessian potential formula.
  • ad hoc to paper Parallel distributions on a flat affine manifold integrate to a local product structure.
    Used in the proof of Theorem 1.4 without proof or citation; the paper asserts the direct product splitting from eigenspaces of nabla xi.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Selfsimilar Hessian manifolds." pith.science (2026). https://pith.science/paper/7KWPYVDL

@misc{pith2026190801731,
  author       = {Pith},
  title        = {Pith review of: Selfsimilar Hessian manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7KWPYVDL}},
  note         = {Machine review of arXiv:1908.01731}
}
abstract

A selfsimiar manifold is a Riemannian manifold $\left(M,g\right)$ endowed with a homothetic vector field $\xi$. We characterize global selfsimilar manifolds and describe the structure of local selfsimilar manifolds. We prove that any selfsimilar manifold with a potential homothetic vector field is a conical Riemannian manifold or a Eucledean space. A radiant Hessian manifold is selfsimilar Hessian manifold $\left(M,\nabla,g,\xi\right)$ such that $\nabla\xi=\lambda \text{Id}$. We prove that any selfsimilar Hessian manifold with a potential homothetic vector field is locally isomorphic to a product radiant Hessian manifolds and describe the local structure of radiant selfsimialar Hessian manifolds.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    Alekseevsky, V

    D.V. Alekseevsky, V. Cortez, Geometric construction of the r-map: from affine special real to special Kähler manifolds , Comm. Math. Phys. 291 (2009), 579-590

    work page 2009

  2. [2]

    ahler metrics associated with special K\

    D. V. Alekseevsky, V. Cortés, M. Dyckmanns, T. Mohaupt, Quaternionic K\"ahler metrics associated with special K\"ahler manifolds , J.Geom.Phys. 92 , (2013), 271-287

    work page 2013

  3. [3]

    Alekseevsky, V

    D.V. Alekseevsky, V. Cortez, A.S. Galaev, T. Leistner, Cones over pseudo-Riemannian manifolds and their holonomy , Journal für die reine und angewandte Mathematik (Crelle's Journal) 635 (2009), 23-69

    work page 2009

  4. [4]

    D. V. Alekseevsky, V. Cortés, T. Mohaupt, Conification of Kähler and hyper-Kähler manifolds , Comm. Math. Phys. 324 (2013), no. 2, 637-655

    work page 2013

  5. [5]

    D. V. Alekseevsky, V. Cortés, K. Hasegawa, Y. Kamishima, Homogeneous locally conformally Kähler and Sasaki manifolds Int. J. Math. 6 (2015), 1541001 (29 pp)

    work page 2015

  6. [6]

    Geometry and holonomy of indecomposable cones

    , D.V. Alekseevsky, V. Cortez, T. Leistner, Geometry and holonomy of indecomposable cones , arXiv preprint arXiv:1902.02493, (2019)

    work page Pith review arXiv 2019

  7. [7]

    Boyer, K

    C. Boyer, K. Galicki, Sasakian geometry , Oxford Univ. Press, (2008)

    work page 2008

  8. [8]

    Cortez, P

    V. Cortez, P. Dempster, T. Mohaupt, O. Vaughan, Special Geometry of Euclidean Supersymmetry IV: the local c-map JHEP 10 (2015) 066

    work page 2015

Show all 24 references
  1. [9]

    Cortés, P.-S

    V. Cortés, P.-S. Dieterich, T. Mohaupt, ASK/PSK-correspondence and the r-map , Lett. Math. Phys. 108 No. 5 (2018), 1279-1306

    2018

  2. [10]

    Cortez, C

    V. Cortez, C. Mayer, T. Mohaupt, F. Saueressig, Special Geometry of Euclidean Supersymmetry I: Vector Multiplets J. High Energy Phys. 03 (2004) 028

    2004

  3. [11]

    Cortez, T

    V. Cortez, T. Mohaupt Special Geometry of Euclidean Supersymmetry III: the local r-map, instantons and black holes J. High Energy Phys. 2009, no. 7, 066, 66 pp

    2009

  4. [12]

    Figalli, On the Monge-Ampère Equation 70e annee, no 1147 (2018)

    A. Figalli, On the Monge-Ampère Equation 70e annee, no 1147 (2018)

    2018

  5. [13]

    Figalli, The Monge-Ampère Equation and Its Applications EMS Zurich Lectures in Advanced Mathematics 22 , (2017), 210 pp

    A. Figalli, The Monge-Ampère Equation and Its Applications EMS Zurich Lectures in Advanced Mathematics 22 , (2017), 210 pp

    2017

  6. [14]

    Fried, W

    D. Fried, W. Goldman, M. Hirsch, Affine manifolds with nilpotent holonomy , Comment. Math. Helvetici 56 , (1981), 487-523

    1981

  7. [15]

    Garcıa-Ariza M.A., Degenerate Hessian structures on radiant manifolds , Int. J. Geom. Methods Mod. Phys. 15 (2018), 15 pp

    2018

  8. [16]

    W. M. Goldman, Projective geometry on manifolds , lecture Notes for Mathematics 748B, Spring 1988, University of Maryland

    1988

  9. [17]

    Gutierrez, The Monge-Ampère Equation Progress in Nonlinear Differential Equations and Their Applications, (2016)

    C. Gutierrez, The Monge-Ampère Equation Progress in Nonlinear Differential Equations and Their Applications, (2016)

    2016

  10. [18]

    Nemirovski, Advances in convex optimization: conic programming , Plenary Lecture, International Congress of Mathematicians (ICM), Madrid, Spain (2006)

    A. Nemirovski, Advances in convex optimization: conic programming , Plenary Lecture, International Congress of Mathematicians (ICM), Madrid, Spain (2006)

    2006

  11. [19]

    Interior-point polynomial algorithms in convex programming SIAM Studies in Applied Mathematics, vol.13

    Nesterov, Y., Nemirovski, A. Interior-point polynomial algorithms in convex programming SIAM Studies in Applied Mathematics, vol.13. Society for Industrial and Applied Mathematics (SIAM), Philadelphia (1994)

    1994

  12. [20]

    L. Ornea M. Verbitsky Sasakian structures on CR-manifolds Geom Dedicata 125 (2007), 159-173

    2007

  13. [21]

    Shima, The geometry of Hessian structures , World Scientific Publishing Co

    H. Shima, The geometry of Hessian structures , World Scientific Publishing Co. Pte. Ltd., Singapore, (2007)

    2007

  14. [22]

    Totaro, The curvature of a Hessian metric , int

    B. Totaro, The curvature of a Hessian metric , int. J. of Math. 15(04), (2004)

    2004

  15. [23]

    Weinhold, Metric geometry of equilibrium thermodynamics , J

    F. Weinhold, Metric geometry of equilibrium thermodynamics , J. Chem. Phys. 63 (1975), 2479–2483

    1975

  16. [24]

    Weinhold, Thermodynamics and geometry Phys

    F. Weinhold, Thermodynamics and geometry Phys. Today 29 , No. 3, 23 (1976) \\

    1976

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.