Hard Lefschetz theorem and Hodge-Riemann relations for convex valuations
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929243041038336 |
|---|---|
| author | Bernig, Andreas Kotrbatý, Jan Wannerer, Thomas |
| author_facet | Bernig, Andreas Kotrbatý, Jan Wannerer, Thomas |
| contents | The algebra of smooth translation-invariant valuations on convex bodies, introduced by S.Alesker in the early 2000s, was in part proved and in part conjectured to satisfy properties formally analogous to those of the cohomology ring of a compact Kähler manifold: Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. Our main result establishes the hard Lefschetz theorem and the Hodge-Riemann relations in full generality. As a consequence, we obtain McMullen's quadratic inequalities, which are valid for strongly isomorphic polytopes and known to fail in general, for convex bodies with smooth and strictly positively curved boundary. Our proof is based on elliptic operator theory and on perturbation theory applied to unbounded operators on a natural Hilbert space completion of the space of smooth translation-invariant valuations. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_12294 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Hard Lefschetz theorem and Hodge-Riemann relations for convex valuations Bernig, Andreas Kotrbatý, Jan Wannerer, Thomas Differential Geometry Metric Geometry 52A40 (Primary), 52A39, 52B45, 43A75 (Secondary) The algebra of smooth translation-invariant valuations on convex bodies, introduced by S.Alesker in the early 2000s, was in part proved and in part conjectured to satisfy properties formally analogous to those of the cohomology ring of a compact Kähler manifold: Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. Our main result establishes the hard Lefschetz theorem and the Hodge-Riemann relations in full generality. As a consequence, we obtain McMullen's quadratic inequalities, which are valid for strongly isomorphic polytopes and known to fail in general, for convex bodies with smooth and strictly positively curved boundary. Our proof is based on elliptic operator theory and on perturbation theory applied to unbounded operators on a natural Hilbert space completion of the space of smooth translation-invariant valuations. |
| title | Hard Lefschetz theorem and Hodge-Riemann relations for convex valuations |
| topic | Differential Geometry Metric Geometry 52A40 (Primary), 52A39, 52B45, 43A75 (Secondary) |
| url | https://arxiv.org/abs/2312.12294 |