Symmetric Powers of Symmetric Bilinear Forms, Homogeneous Orthogonal Polynomials on the Sphere and an Application to Compact Hyperkähler Manifolds
Abstract
The Beauville-Fujiki relation for a compact Hyperkähler manifold $X$ of dimension $2k$ allows to equip the symmetric power $\text{Sym}^kH^2(X)$ with a symmetric bilinear form induced by the Beauville-Bogomolov form. We study some of its properties and compare it to the form given by the Poincaré pairing. The construction generalizes to a definition for an induced symmetric bilinear form on the symmetric power of any free module equipped with a symmetric bilinear form. We point out how the situation is related to the theory of orthogonal polynomials in several variables. Finally, we construct a basis of homogeneous polynomials that are orthogonal when integrated over the unit sphere $\mathbb{S}^d$, or equivalently, over $\mathbb{R}^{d+1}$ with a Gaussian kernel.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2015
- DOI:
- 10.48550/arXiv.1507.00157
- arXiv:
- arXiv:1507.00157
- Bibcode:
- 2015arXiv150700157K
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Mathematics - Classical Analysis and ODEs;
- Mathematics - Combinatorics;
- 14C05;
- 15A63;
- 33C50
- E-Print:
- 15 pages