The multiplicative structure on polynomial continuous valuations

There exists a unique filtration W_i on PVal^{sm}(V) such that

(1) \{W_i\} is compatible with the multiplicative structure, i.e. W_i \cdot W_j \subset W_{i+j};

(2) \gamma_{i+1}\subset W_i\subset \gamma_i \mbox{ for all } i;

(3) W_0=\gamma_0,\,W_1 =\gamma_1;

(4) W_i is a closed subspace of PVal^{sm}(V);

(5) W_i is Aff (V)-invariant.

There exists a canonical isomorphism of graded algebras

where the ith graded term in the right hand side is equal to Val_i^{sm}(V)\otimes \mathbb{C}[V] where \mathbb{C}[V] denotes the algebra of polynomial functions on V.

The natural representations of the group GL(V) in Val_i^0(V) and Val_i^1(V) are irreducible.

The maps

induced by the multiplication (Val_i^0(V))^{sm}\otimes (Val_{n-i}^0(V))^{sm}\to Val_n(V) and (Val_i^1(V))^{sm}\otimes (Val_{n-i}^1(V))^{sm}\to Val_n(V), are isomorphisms.

Assume that G is a compact subgroup of GL(V) acting transitively on the projective space \mathbb{P}(V).

(i)Then Val^G(V) is finite dimensional.

(ii) Val^G(V)\subset Val^{sm}(V).

(iii) Val^G(V) is a finite dimensional graded subalgebra of Val^{sm}(V) satisfying Poincaré duality:

is a perfect pairing. In particular h_i=h_{n-i}.

(iv) Val_1^G(V) is spanned by the intrinsic volume V_1, and Val^G_{n-1}(V) is spanned by the intrinsic volume V_{n-1} where the intrinsic volumes are taken with respect to a G-invariant Euclidean metric. Thus h_1=h_{n-1}=1.

(v) Assume in addition that -Id\in G. Then the numbers h_i satisfy the Lefschetz inequalities:

{\cal G}(V)\cap PVal^{sm}(V) is dense in PVal^{sm}(V).

Let \phi_1,\dots, \phi_s \in {\cal G}(V). Then there exists a linear space V', a linear imbedding f:V\hookrightarrow V', smooth measures \mu_i on V', and A_1,\dots, A_s \in {\cal K}(V') such that \phi_i(K)=\mu_i(f(K)+A_i),\, i=1,\dots ,s.

(i) For \phi \in{\cal G}(V), \, \psi\in {\cal G}(W) their exterior product \phi\boxtimes \psi \in {\cal G}(V\times W) is well defined.

(ii) The exterior product is bilinear with respect to each argument.

(iii) Fix \phi \in {\cal G} (V). Then the map {\cal G} (W)\longrightarrow {\cal G} (V\times W) given by \psi\mapsto \phi \boxtimes \psi extends (uniquely) by continuity to a map CVal(V)\longrightarrow CVal(V\times W).

(iv)

(v) Let f:V\hookrightarrow V_1,\, g:W\hookrightarrow W_1 be two imbeddings. Let \phi \in {\cal G}(V_1),\, \psi\in {\cal G}(W_1). Then

Equipped with the above defined multiplication, {\cal G}(V) becomes an associative commutative unital algebra where the unit is the Euler characteristic \chi.

Let {\cal F} be a Fréchet G-module. Let S be a finite dimensional G-module. Then ({\cal F}\otimes S)^{sm}={\cal F}^{sm}\otimes S.

Let G be a real reductive Lie group. Let (\rho,G,{\cal F}) and (\pi,G,{\cal G}) be continuous representations of G of moderate growth in Fréchet spaces {\cal F} and {\cal G}. Assume in addition that {\cal G} is an admissible G-module of finite length, and

Then any continuous morphism of G-modules f:{\cal F}\to {\cal G} has closed image.

Let X_1and X_2 be compact smooth manifolds. Let {\cal E}_1 and {\cal E}_2 be smooth finite dimensional vector bundles over X_1 and X_2 respectively. Let {\cal G} be a Fréchet space. Let

be a continuous bilinear map. Then there exists unique continuous linear operator

such that b(f_1\otimes f_2)=B(f_1,f_2) for any f_i\in C^\infty(X_i,{\cal E}_i),\, i=1,2.

The map \Theta_d has a dense image.

The map \Theta_d is an epimorphism.

The multiplication

is continuous.

(i) The map (Val_i^{0}(V))^{sm}\otimes (Val_{n-i}^{0}(V))^{sm}\longrightarrow Val_n(V) is a perfect pairing. More precisely the induced map

is an isomorphism.

(ii) For 1\leq i\leq n-1, the map (Val_i^{1}(V))^{sm}\otimes (Val_{n-i}^{1}(V))^{sm}\longrightarrow Val_n(V) is a perfect pairing in the above sense.

Let V be an n-dimensional Euclidean space. Let

where A_p,\, B_q \in {\cal K} (V) are fixed. Then

Let X=Y\oplus Z be an orthogonal decomposition of a Euclidean space X. Let \dim X=N,\, \dim Y=n. Let M\in {\cal K}(Y),\, A_1,\dots A_{N-n}\in {\cal K}(X). Then

where Pr_Z denotes the orthogonal projection onto Z.

The multiplication

is non-zero for \varepsilon\in \mathbb{Z}/2\mathbb{Z} and hence has a dense image.

There exists an isomorphism of graded algebras \mathbb{C}[x]/(x^{n+1}) \simeq Val^{O(n)}(V) given by x\mapsto V_1.

For any d

W_i(PVal_d^{sm}) is a closed subspace of PVal_d^{sm}.

Let \phi \in PVal_d^{sm}. If \phi \in W_i( PVal_{d'}^{sm}) for some d'\geq d then

Conversely if the condition (\star) holds then \phi \in W_i(PVal_d^{sm}).

(i) For d'>d W_i(PVal_{d'}^{sm})\cap PVal_d^{sm}=W_i(PVal_d^{sm}).

(ii) Let f:U\longrightarrow V be an injective imbedding of linear spaces. Then f^*(W_i(PVal_d^{sm}(V)))\subset W_i(PVal_d^{sm}(U)).

(i) For any i

(ii) W_1=\gamma_1.

Assume that we have another filtration \{\tilde W_i\} on PVal^{sm} such that

(1) \{\tilde W_i\} is compatible with the multiplicative structure, i.e. \tilde W_i \cdot \tilde W_j \subset \tilde W_{i+j};

(2) \gamma_{i+1}\subset \tilde W_i\subset \gamma_i \mbox{ for all } i.

(3) \tilde W_0=\gamma_0,\,\tilde W_1 =\gamma_1;

(4) \tilde W_i\cap PVal_d^{sm} is a closed subspace of PVal_d^{sm} for all i,\, d.

(5) \tilde W_i is Aff (V)-invariant.

Then \tilde W_i=W_i.

There exists a canonical isomorphism of graded algebras

where the ith graded term in the right side is equal to Val_i^{sm}(V)\otimes \mathbb{C}[V] where \mathbb{C}[V] denote the algebra of polynomial functions on V.

The graded algebra Val^{O(\infty)}= Val^{SO(\infty)} is isomorphic to the graded algebra of polynomials in one variable \mathbb{C}[x] with the grading given by the degree of a polynomial.

Let i_n:\mathbb{C}^n\hookrightarrow \mathbb{C}^{n+1} be the standard Hermitian imbedding such that the last coordinate vanishes. For any k the restriction map i_n^*: Val_k^{U(n+1)}(\mathbb{C}^{n+1})\longrightarrow Val_k^{U(n)}(\mathbb{C}^n) is an isomorphism provided n\geq k.

(i) If (\pi,G,H) is a continuous representation of G in a Banach space H then (\pi,G,H^{sm}) has moderate growth.

(ii) If (\pi, G,V) is a representation of moderate growth. Let W be a closed G-invariant subspace of V. Then W and V/W have moderate growth.

Let G_1 be a closed reductive subgroup of a reductive group G. Assume that the image of G_1 in GL(N,\mathbb{R}) under the map p:G\hookrightarrow GL(N,\mathbb{R}) is closed under the transposition. Let (\pi,G,H) has moderate growth. Then the restriction of this representation to G_1 also has moderate growth.

The space PVal_d(V) is a Banach space.

PVal_d^{sm}(V) has moderate growth as GL(V)-module.

In the notation of Section 1, the space \Omega_d^n\otimes C^\infty((\mathbb{P}_+(V^*))^k,L^{\boxtimes k}) has moderate growth as GL(V)-module.

Let the group GL(V) act transitively on compact smooth manifolds X_1,\dots,X_k. Let {\cal E}_i be a finite dimensional GL(V)-equivariant vector bundle over X_i, i=1,\dots,k. Then the space C^\infty(X_1\times \dots \times X_k, {\cal E}_1\times \dots\times {\cal E}_k) has moderate growth as GL(V)-module.