準斉次部分加群の数値不変量から指数を復元

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 $\Sigma_0$ and $\Sigma_1$ for this family follow from earlier results on $M_{\theta,\varphi}$-type submodules. Our aim is to determine the complete higher-order sequence. Using the weighted homogeneous decomposition associated with $z^k-w^\ell$, we construct explicit orthonormal bases for the two defect spaces and determine the exact support of the shifted defect inner products. For $j\geq1$, 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 $F$ is an explicitly evaluated symmetric function on $\mathbb N^2$. The sequence is nonincreasing, tends to zero, and satisfies $\Sigma_j>\Sigma_{j+1} \Longleftrightarrow k\mid j\ \text{or}\ \ell\mid j$. Hence its strict descent set is $k\mathbb N\cup\ell\mathbb N$. This descent set determines the additive semigroup $\langle k,\ell\rangle$, while the complete numerical invariant sequence determines the unordered pair $\{k,\ell\}$. The order of the two exponents is not recoverable because of coordinate-swap symmetry.

27 pages