Pith. sign in

REVIEW 2 minor 28 references

Towards Hodge-Riemann relations for non-Archimedean analogs of valuations on convex sets

T0 review · 0 major / 2 minor · reviewed 2026-06-25 · grok-4.3

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

Pith's one-line read The paper proves the non-mixed Hodge-Riemann relations in degree 1 for the product on non-Archimedean valuation spaces.

desk verdict Alesker proves the non-mixed Hodge-Riemann relations in degree 1 for the product on the non-Archimedean valuation space, using the structures from the two prior papers. read the letter →

arxiv 2606.25641 v1 pith:PEHF2LGQ submitted 2026-06-24 math.MG

Semyon Alesker This is my paper · ORCID
classification math.MG
keywords non-ArchimedeanvaluationsHodge-RiemannrelationsconvexsetsproductstructureconvolutionhardLefschetztheoremPoincareduality
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 work builds on prior constructions of a non-Archimedean analogue of the space of translation-invariant even valuations on convex sets, now equipped with product and convolution multiplications. These structures already satisfy Poincare duality and the non-mixed hard Lefschetz theorem. The paper formulates a conjecture for mixed versions of the hard Lefschetz theorem and Hodge-Riemann relations. It then proves the non-mixed Hodge-Riemann relations hold in degree 1 for the product, equivalently in codegree 1 for the convolution.

What carries the argument

The product and convolution multiplicative structures on the space of non-Archimedean valuations, which carry the Hodge-Riemann relations.

What would settle it

An explicit low-dimensional computation of the relevant quadratic form on the space of valuations that violates the required positivity or signature condition would disprove the degree-1 relations.

Watch

Extended reading notes

Core claim

We prove the non-mixed Hodge-Riemann relations in degree 1 for the product and, equivalently, in codegree 1 for the convolution on the non-Archimedean analogue of the space of translation-invariant even valuations on convex sets.

Load-bearing premise

The multiplicative structures, Poincare duality, and non-mixed hard Lefschetz theorem established in the cited prior works hold for this space.

Editorial extensions

If this is right

  • The non-mixed Hodge-Riemann relations hold in degree 1 for the product.
  • The relations hold equivalently in codegree 1 for the convolution.
  • These low-degree relations are consistent with the already-established Poincare duality and non-mixed hard Lefschetz theorem.
  • A conjecture is posed for the mixed hard Lefschetz theorem and mixed Hodge-Riemann relations in this setting.

Reading between the lines

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

  • If the mixed relations hold in full generality, they may produce new inequalities or positivity statements for these valuations.
  • The conjecture could be probed by direct calculation on explicit families of convex bodies in low dimensions.
  • The non-Archimedean setup may supply a discrete or combinatorial model for classical Hodge-Riemann phenomena in convex geometry.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 2 minor

Summary. The manuscript builds on prior introductions of a non-Archimedean analogue of translation-invariant even valuations on convex sets [8] and the equipping of this space with product and convolution multiplicative structures satisfying Poincaré duality and the non-mixed hard Lefschetz theorem [7]. It formulates a conjecture for mixed versions of the hard Lefschetz theorem and Hodge-Riemann relations, and proves the non-mixed Hodge-Riemann relations in degree 1 for the product (equivalently, in codegree 1 for the convolution).

Significance. If the stated proof holds, the work supplies a concrete low-degree verification of the Hodge-Riemann relations inside the non-Archimedean valuation framework. This lends direct support to the broader analogy with classical Hodge theory and furnishes a base case that can be used to test or refine the mixed conjecture formulated in the paper.

minor comments (2)
  1. [Abstract] The abstract asserts the proof of the degree-1 case but does not indicate the section containing the argument; a parenthetical reference to the relevant section (e.g., §4) would improve navigation.
  2. The precise isomorphism or duality map realizing the stated equivalence between the product in degree 1 and the convolution in codegree 1 should be recalled explicitly (even if it follows from [7]) to make the reduction self-contained.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, for recognizing its significance as a low-degree verification of the Hodge-Riemann relations in the non-Archimedean setting, and for recommending minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The paper proves the non-mixed Hodge-Riemann relations in degree 1 (product) and codegree 1 (convolution) as a new result, using as foundation the multiplicative structures, Poincaré duality, and non-mixed hard Lefschetz theorem from separate prior publications [7] and [8]. These cited results are independent of the present manuscript; the current work adds an explicit proof for the degree-1 case rather than re-deriving or fitting quantities already defined inside it. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citation chains appear in the derivation. The conjecture for mixed versions is stated separately and is not part of the proved claim.

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

Only the abstract is available; no explicit free parameters, axioms, or invented entities are stated.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Towards Hodge-Riemann relations for non-Archimedean analogs of valuations on convex sets." pith.science (2026). https://pith.science/paper/PEHF2LGQ

@misc{pith2026260625641,
  author       = {Pith},
  title        = {Pith review of: Towards Hodge-Riemann relations for non-Archimedean analogs of valuations on convex sets},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PEHF2LGQ}},
  note         = {Machine review of arXiv:2606.25641}
}
read the original abstract

In [8], a non-Archimedean analogue of the space of translation-invariant even valuations on convex sets was introduced. In [7], motivated by a further analogy with the classical theory, this space was equipped with two multiplicative structures, the product and the convolution. Both structures satisfy Poincare duality and the (non-mixed) hard Lefschetz theorem. In this paper, we formulate a conjecture concerning a more general mixed versions of the hard Lefschetz theorem and the Hodge-Riemann relations. We prove the non-mixed Hodge-Riemann relations in degree 1 for the product and, equivalently, in codegree 1 for the convolution.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 1 canonical work pages

  1. [8]

    Alesker, Semyon; Bernstein, Joseph; Range characterization of the co- sine transform on higher Grassmannians. Adv. Math. 184 (2004), no. 2, 367–379

    2004

  2. [7]

    Pure Appl

    Alesker, Semyon; Non-Archimedean analogue of the space of valuations on convex sets. Pure Appl. Funct. Anal. 10 (2025), no. 5, 1089–1132

    2025

  3. [1]

    Adiprasito, Karim; Huh, June; Katz, Eric; Hodge theory for combina- torial geometries. Ann. of Math. (2) 188 (2018), no. 2, 381–452

    2018

  4. [2]

    Alesker, Semyon; Hard Lefschetz theorem for valuations, complex inte- gral geometry, and unitarily invariant valuations. J. Differential Geom. 63 (2003), no. 1, 63–95

    2003

  5. [3]

    Alesker, Semyon; The multiplicative structure on continuous polynomial valuations. Geom. Funct. Anal. 14 (2004), no. 1, 1–26

    2004

  6. [4]

    Alesker, Semyon; The multiplicative structure on continuous polynomial valuations. Geom. Funct. Anal. 14 (2004), no. 1, 1–26. 33

    2004

  7. [5]

    Israel J

    Alesker, Semyon; A Fourier-type transform on translation-invariant val- uations on convex sets. Israel J. Math. 181 (2011), 189–294

    2011

  8. [6]

    Israel J

    Alesker, Semyon; Kotrbat´ y’s theorem on valuations and geometric in- equalities for convex bodies. Israel J. Math. 247 (2022), no. 1, 361–378

    2022

Show all 28 references
  1. [9]

    Bader, Uri; Onn, Uri; On some geometric representations ofGL N(O). Comm. Algebra 40 (2012), no. 9, 3169–3191

    2012

  2. [10]

    Bernig, Andreas; Br¨ ocker, Ludwig; Valuations on manifolds and Rumin cohomology. J. Differential Geom. 75 (2007), no. 3, 433–457

    2007

  3. [11]

    G.; Convolution of convex valuations

    Bernig, Andreas; Fu, Joseph H. G.; Convolution of convex valuations. Geom. Dedicata 123 (2006), 153–169

    2006

  4. [12]

    Preprint arXiv:2312.12294

    Bernig, Andreas; Kotrbat´ y, Jan; Wannerer, Thomas; Hard Lefschetz theorem and Hodge-Riemann relations for convex valuations. Preprint arXiv:2312.12294

  5. [13]

    D.; Zalgaller, V

    Burago, Yu. D.; Zalgaller, V. A.;Geometric inequalities.Translated from the Russian by A. B. Sosinski˘ ı. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 285. Springer Series in Soviet Mathematics. Springer-Verlag, Berlin, 1988

    1988

  6. [14]

    With a view toward algebraic geometry.Graduate Texts in Mathematics, 150

    Eisenbud, David;Commutative algebra. With a view toward algebraic geometry.Graduate Texts in Mathematics, 150. Springer-Verlag, New York, 1995. xvi+785 pp

    1995

  7. [15]

    Faifman, Dmitry; Wannerer, Thomas; The Fourier transform on valua- tions is the Fourier transform. J. Funct. Anal. 288 (2025), no. 3, Paper No. 110741, 42 pp

    2025

  8. [16]

    Gourevitch, Dmitry; Composition series for degenerate principal series ofGL(n). C. R. Math. Acad. Sci. Soc. R. Can. 39 (2017), no. 1, 1–12. 34

    2017

  9. [17]

    Reprint of the 1978 original

    Griffiths, Phillip; Harris, Joseph;Principles of algebraic geometry. Reprint of the 1978 original. Wiley Classics Library. John Wiley & Sons, Inc., New York, 1994

    1978

  10. [18]

    Manuscripta Math

    Hill, Gregory; On the nilpotent representations ofGL n(O). Manuscripta Math. 82 (1994), no. 3-4, 293–311

    1994

  11. [19]

    Proceedings of the International Congress of Mathematicians—Rio de Janeiro 2018

    Huh, June; Combinatorial applications of the Hodge-Riemann relations. Proceedings of the International Congress of Mathematicians—Rio de Janeiro 2018. Vol. IV. Invited lectures, 3093–3111, World Sci. Publ., Hackensack, NJ, 2018

    2018

  12. [20]

    Israel J

    Humphries, Peter; The newformK-type andp-adic spherical harmonics. Israel J. Math. 261 (2024), no. 1, 357–394

    2024

  13. [21]

    Karu, Kalle; Hard Lefschetz theorem for nonrational polytopes. Invent. Math. 157 (2004), no. 2, 419–447

    2004

  14. [22]

    Kotrbat´ y, Jan; On Hodge-Riemann relations for translation-invariant valuations. Adv. Math. 390 (2021), Paper No. 107914, 28 pp

    2021

  15. [24]

    Kotrbat´ y, Jan; Wannerer, Thomas; On mixed Hodge-Riemann relations for translation-invariant valuations and Aleksandrov-Fenchel inequali- ties. Commun. Contemp. Math. 24 (2022), no. 7, Paper No. 2150049, 24 pp

    2022

  16. [25]

    McMullen, Peter; The polytope algebra. Adv. Math. 78 (1989), no. 1, 76–130

    1989

  17. [26]

    McMullen, Peter; On simple polytopes. Invent. Math. 113 (1993), no. 2, 419–444

    1993

  18. [27]

    Schaefer, Helmut H.;Topological vector spaces.The Macmillan Company, New York; Collier Macmillan Ltd., London 1966

    1966

  19. [28]

    Stanley, Richard P.; The number of faces of a simplicial convex polytope. Adv. in Math. 35 (1980), no. 3, 236–238. 35

    1980

  20. [29]

    Weil, Andr´ e;Basic number theory.Die Grundlehren der mathematischen Wissenschaften, Band 144 Springer-Verlag New York, Inc., New York 1967 36

    1967

Pith tools

Reviewed June 25, 2026 · model on record in the stance chip above.