The multiplicative structure on continuous polynomial valuations
type: Item
instance of: scholarly article
title: The multiplicative structure on continuous polynomial valuations
zbMATH Open document ID: 1072.52011
author: Semyon Alesker
published in: Geometric and Functional Analysis. GAFA
publication date: 2004-12-13T00:00:00Z
review text: Let \({\mathcal K}(V)\) be the class of all convex compact sets of a real linear vector space \(V\) with \(\dim V=n\). A function \(\phi: {\mathcal K}(V)\to\mathbb{C}\) is called a continuous valuation if it is continuous with respect to the Hausdorff metric of \({\mathcal K}(V)\) and satisfies \[ \phi(K_1\cup K_2)=\phi(K_1)+\phi(K_2)-\phi(K_1\cap K_2) \] provided \(K_1\cup K_2\) is convex. It is said to be polynomial of degree \(d\) if for all \(K\in {\mathcal K}(V)\) the function \(x\mapsto \phi(K+x)\) is a polynomial on \(V\) of degree at most \(d\). Using representations of the linear group \(GL(V)\) acting transitively on \({\mathcal K}(V)\), the author introduces a subclass of polynomial valuations which are \(GL(V)\)-smooth. This subclass has a rich algebraic structure (filtration, multiplication, etc.) turning it in a commutative associated filtered algebra. As an application of the author's study of the algebraic structure for spaces of valuation the following generalization of well-known results of Hadwiger and McMullen is proved (Theorem 0.9). Let \(G\) be a compact subgroup of \(GL(V)\). Let \(\text{Val}^G(V)\) and \(\text{Val}^G_i(V)\) be the spaces of \(G\)-invariant valuations and \(i\)-homogeneous valuations, respectively. Theorem. Assume that \(G\) acts transitively on the projective space \(\mathbb{P}(V)\). Then: (a) \(\text{Val}^G(V)=\bigoplus^n_{i=0}\text{Val}^G_i(V)\) and \(h_i:=\dim\text{Val}^G_i <\infty\). (b) \(\text{Val}^G(V)\) is a graded algebra satisfying Poincaré duality; in particular, \(h_i=h_{n-i}\). (c) \(\text{Val}^G_i(V)\) is spanned by the intrinsic volume \(\text{vol}^i\), \(i=1\) or \(n-1\), where the intrinsic volumes are taken with respect to a \(G\)-invariant Euclidean metric \((\rho_0, h=h_{n-1}=1)\). (d) If, in addition, \(-\text{Id}\in G\), then the Lefschetz inequalities \(h_i\leq h_{i+1}\) hold for \(i<n/2\).
Mathematics Subject Classification ID: 52B45
zbMATH DE Number: 2121749
zbMATH Keywords: convex set
zbMATH Keywords: valuation
zbMATH Keywords: GL(V)-smooth vector
zbMATH Keywords: commutative associative filtered algebra
reviewed by: Yuri A. Brudnyi
MaRDI profile type: Publication
full work available at URL: s00039-004-0450-2
OpenAlex ID: W2040502448
DOI: 10.1007/S00039-004-0450-2
Recommended article: Q3033869
Recommended article: On the additive structure of algebraic valuations of polynomial semirings
Recommended article: Integer-valued polynomials and Prüfer \(v\)-multiplication domains
Recommended article: Valuations and multiplier ideals
Recommended article: On valuations, the characteristic polynomial, and complex subspace arrangements
Recommended article: Integer-valued polynomials on algebras: a survey
Recommended article: Galois structure on integral valued polynomials
Recommended article: Integer-valued polynomials over Krull-type domains and Prüfer $v$-multiplication domains
Recommended article: On polyserial modules over valuation domains
Recommended article: Integer-valued polynomials on algebras
description: scientific article; zbMATH DE number 2121749