Numerical Invariants and Parameter Recovery for Quasi-Homogeneous Submodules
In the authors' words
We study Yang's higher numerical invariants for the quasi-homogeneous submodules \[ M_{k,\ell}=[z^k-w^\ell]\subset H^2(\mathbb D^2), \qquad k,\ell\in\mathbb N,\quad k\neq\ell. \] The Hilbert--Schmidt property and the low-order invariants and for this family follow from earlier results on -type submodules. Our aim is to determine the complete higher-order sequence. Using the weighted homogeneous decomposition associated with , we construct explicit orthonormal bases for the two defect spaces and determine the exact support of the shifted defect inner products. For , set \[ A_j=\left\lceil\frac{j}{\ell}\right\rceil, \qquad B_j=\left\lceil\frac{j}{k}\right\rceil. \] We obtain \[ \Sigma_0(M_{k,\ell})=\frac{\pi^2}{6}, \qquad \Sigma_j(M_{k,\ell})=F(A_j,B_j), \] where is an explicitly evaluated symmetric function on . The sequence is nonincreasing, tends to zero, and satisfies . Hence its strict descent set is . This descent set determines the additive semigroup , while the complete numerical invariant sequence determines the unordered pair . The order of the two exponents is not recoverable because of coordinate-swap symmetry.
Appeared: Wednesday, September 23. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: 27 pages