Higher order divisor problems (Q1794566)

Let \(K/\mathbb{Q}\) be a Galois number field of degree \(k \geq 3\). Let \(\{1 = \omega_1, \ldots, \omega_k\}\) be an integral basis of the ring of integers \(\mathcal{O}_K\) and consider the associated norm form \(N\). Let \(f(\mathbf{x})= N(x_1\omega_1 +\cdots + x_{k-1}\omega_{k-1}) \in \mathbb{Z}[x_1,\ldots, x_{k-1}]\) be the incomplete norm form with vanishing last coordinate. Furthermore, let \(\mathcal{R}\subseteq \mathbb{R}^{k-1}\) be a region with piecewise smooth boundary. For \(X > 1\) write \(\mathcal{R}_X = \{X \cdot \mathbf{x} \in \mathbb{R}^{k-1} : \mathbf{x} \in \mathcal{R}\}\). The main result of the paper under review is following asymptotic formula concerning the divisor function \(\tau_k\): \[ \sum_{\mathbf{x}\in \mathcal{R}_X\cap \mathbb{Z}^{k-1}} \tau_k(f(\mathbf{x}))= \frac{C \text{vol}(\mathcal{R})}{(k-1)!} X^{k-1} \left(\log X^k\right)^{k-1}+ O_{K,\mathcal{R},\varepsilon} \left(X^{k-1} \left(\log X \right)^{k-1-1/(k-1)+\varepsilon}\right), \] which holds under certain further assumptions, not described here, with a constant \(C\) given explicitly.