\(\mathrm{SL}(m, \mathbb{C})\)-equivariant and translation covariant continuous tensor valuations (Q1738990)

Let \(\mathbb{V}\) be a finite-dimensional vector space over the reals and let \(\mathcal{K}(\mathbb{V})\) denote the set of convex bodies, i.e. compact and convex subsets, in \(\mathbb{V}\). A map \(Z:\mathcal{K}(\mathbb{V})\to\mathcal{A}\) is called a valuation if \[Z(K\cup L)+Z(K\cap L)=Z(K)+Z(L)\] whenever \(K,L,K\cup L \in \mathcal{K}(\mathbb{V})\), where \((\mathcal{A},+)\) is an abelian semigroup. Initially, valuations taking values in the reals were studied. More recently, also valuations taking values in other spaces, e.g. convex bodies, measures or functions, were considered. In the present paper, the authors consider valuations defined on the set of convex bodies in \(\mathbb{C}^m\cong \mathbb{R}^{2m}\) for \(m\geq 2\) and taking values in the space of symmetric \(r\)-tensors of \(\mathbb{C}^m\) over the reals, \(\mathbb{T}^r(\mathbb{C}^m)\), with \(r\geq 0\). A classical example of such a tensor-valued valuation is the moment tensor \[M^r(K)=\frac{1}{r!} \int_K x^r \, dx\] for \(r\geq 0\) and \(K\in\mathcal{K}(\mathbb{C}^m)\), where \(x^r=x\otimes \cdots \otimes x\) denotes the \(r\)-fold tensor product of \(x\) with itself. Note, that in this paper, tensor products are always considered over the reals. In their main result, the authors show that for \(m\geq 2\) and \(r\geq 1\), a map \(Z:\mathcal{K}(\mathbb{C}^m)\to\mathbb{T}^r(\mathbb{C}^m)\) is an \(\operatorname{SL}(m,\mathbb{C})\)-equivariant and translation covariant continuous valuation if and only if \(Z\) is a real multiple of \(M^r\). Furthermore, in case \(r=0\) the only such valuation is of the form \(Z=c_1+c_2 V\) for \(c_1,c_2\in\mathbb{R}\), where \(V\) denotes the volume. Here, a valuation \(Z\) is called \(\operatorname{SL}(m,\mathbb{C})\)-equivariant if \(Z(\varphi(K))=\varphi Z(K)\) for every \(\varphi\in \operatorname{SL}(m,\mathbb{C})\) and \(K\in \mathcal{K}(\mathbb{C}^m)\). Furthermore, \(Z\) is said to be translation covariant if there exist tensor valuations \(Z^j\) of rank \(j\) such that \[Z(K+y)=\sum_{j=0}^r Z^{r-j}(K)\odot \frac{y^j}{j!}\] for every \(y\in \mathbb{R}^{2m}\) and \(K\in \mathcal{K}(\mathbb{C}^m)\), where \(\odot\) denotes the symmetric tensor product (over the reals). Moreover, continuity is understood with respect to the Hausdorff metric. This result can be seen as a complex analog of a previous characterization result by \textit{C. Haberl} and \textit{L. Parapatis} [Adv. Math. 316, 806--865 (2017; Zbl 1373.52018)]. However, as the authors note, the proof of Haberl and Parapatits cannot be adopted since \(\operatorname{SL}(m,\mathbb{C})\) does not act transitively on the space of simplices in \(\mathbb{R}^{2m}\).