Abstract
Given a polar action on a Riemannian manifold, we prove surjectivity of restriction to the section for general invariant tensors, and a sharper surjectivity result in the special case of metrics. These are related to the Chevalley Restriction Theorem and Michor’s Basic Forms Theorem. The proofs rely on results in the Invariant Theory of finite reflection groups and symmetric pairs, some of which may be of independent interest.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let (M, g) be a Riemannian manifold and G a Lie group acting on M properly by isometries. Recall that, by definition (see [13, 25]), this action is called polar if there exists an immersed sub-manifold \(\varSigma \rightarrow M\) meeting all G-orbits orthogonally. Such a submanifold \(\varSigma \) is called a section, and comes with a natural action by a discrete group of isometries \(W=W(\varSigma )\), called its generalized Weyl group. Sections are always totally geodesic, and the immersion \(\varSigma \rightarrow M\) induces an isometry \(\varSigma /W \rightarrow M/G\), so in particular M / G is a Riemannian orbifold.
Denote by \(C^\infty (T^{k,l}M)^G\), respectively \(C^\infty (T^{k,l}\varSigma )^{W(\varSigma )}\), the sets of smooth (k, l)-tensors on M, respectively \(\varSigma \), which are invariant under G, respectively W. Our main result states that the natural restriction map \(C^\infty (T^{k,l}M)^G\rightarrow C^\infty (T^{k,l}\varSigma )^{W(\varSigma )}\) is surjective:
Theorem 1
Let M be a polar G-manifold with immersed section \(i:\varSigma \rightarrow M,\) and \(W(\varSigma )\) the generalized Weyl group associated to \(\varSigma \). Define the pull-back (restriction) map
by
where \(P:T_{i(x)}M\rightarrow T_x \varSigma \) is orthogonal projection. Then \(\psi \) is surjective.
In the case of functions, that is, \((k,l)=(0,0)\), the map \(\psi \) above is an isomorphism. This is known as the Chevalley Restriction Theorem—see [25].
Note that Theorem 1 applies to (0, l)-tensors with symmetry properties, such as symmetric l-tensors, exterior l-forms, etc. This can be phrased naturally in terms of Weyl’s construction (see [11, Lecture 6]). Recall that Weyl’s construction associates to each partition \(\lambda =(\lambda _1, \ldots , \lambda _k)\) of \(l\in {\mathbb {N}}\) a functor \({\mathbb {S}}_\lambda \) of vector spaces called its Schur functor. One recovers \(\varLambda ^l\) and Sym\(^l\) as the Schur functors associated to \(\lambda =(l)\) and \(\lambda =(1,1,\ldots ,1)\), respectively.
Corollary 1
Let M be a Riemannian manifold with an isometric polar action by G. Let \(\lambda =(\lambda _1,\ldots ,\lambda _k)\) be a partition of \(l\in {\mathbb {N}},\) and consider the associated Schur functor \({\mathbb {S}}_\lambda \). Then the (surjective) restriction map \(\psi : C^\infty (T^{0,l}M)^G\rightarrow C^\infty (T^{0,l}\varSigma )^W\) induces a surjective map
For context, consider a special case of Corollary 1: exterior l-forms. Then the conclusion of Corollary 1 is implied by Michor’s Basic Forms Theorem—see [23, 24]. In fact, Michor’s Theorem gives more precise information: it states that for a polar G-manifold M with section \(\varSigma \), every smooth \(W(\varSigma )\)-invariant l-form on \(\varSigma \) can be extended uniquely to a smooth G-invariant l-form on M which is basic, that is, vanishes when contracted with vectors tangent to the G-orbits.
Now consider Riemannian metrics:
Theorem 2
Let G act polarly on the Riemannian manifold M with section \(\varSigma \) and generalized Weyl group W. Assume this polar action is of classical type. Consider the restriction map (which is surjective by Corollary 1):
For any Riemannian metric \(\sigma \in C^\infty ({\mathrm {Sym}}^2\varSigma )^W,\) there is a Riemannian metric \({\tilde{\sigma }}\in C^\infty ({\mathrm {Sym}}^2M)^G\) such that \(\psi ({\tilde{\sigma }})=\sigma ,\) and with respect to which the G-action is polar with the same section \(\varSigma \).
See page 10 for the precise definition of classical type. This assumption can be removed if one is willing to accept a proof relying on calculations performed by a computer—see the Appendix. (We label statements with computer-assisted proofs “Observations”.)
Observation 1
Theorem 2 is valid without the classical type assumption.
For Theorem 2, Observation 1, and Michor’s Basic Forms Theorem, the proof relies on polarization results in the Invariant Theory of finite reflection groups—see Sect. 4. On the other hand, the main ingredient in the proof of Theorem 1 is a multi-variable version of the Chevalley Restriction Theorem due to Tevelev—see Sect. 2.
An application of Theorem 2 (for classical type, and Observation 1 in general) is to give a partial answer to a natural question by K. Grove: given a proper isometric action of G on a Riemannian manifold (M, g), describe the set of all metrics on M / G which are induced by smooth G-invariant metrics \(g_0\) on M. Theorem 2 answers this question under the additional hypothesis that M is a polar G-manifold. Namely, that set of metrics on \(M/G=\varSigma /W\) coincides with the set of smooth orbifold metrics.
Another application is an important step in the main reconstruction result in [13]. This was in fact our main motivation for this work.
The present paper is organized as follows.
In Sect. 2 we state Tevelev’s multi-variable version of the Chevalley Restriction Theorem for isotropy representations of symmetric spaces (Theorem 3), and generalize it to the class of polar representations (Corollary 2).
Section 3 is concerned with the proofs of Theorem 1 and Corollary 1.
In Sect. 4 we show how the algebraic results behind Michor’s Basic Forms Theorem [23, 24], Theorem 2, and Observation 1 (namely Solomon’s Theorem [29], Theorem 4, and Observation 2) are in fact results about polarizations in the Invariant Theory of finite reflection groups. We then show in detail how Theorem 2 (respectively Observation 1) follows from Theorem 4 (respectively Observation 2).
The Appendix provides proofs of Theorem 4 and Observation 2. The latter is computer-assisted.
2 Multi-variable Chevalley restriction theorem
Let (G, K) be a symmetric pair, and consider the isotropy representation of K on \(V=T_K G/K\), also called an s-representation. This is polar, and any maximal abelian sub-algebra \(\varSigma \subset V\) is a section. Its generalized Weyl group W is also called the “baby Weyl group”. The classic Chevalley Restriction Theorem says that
is an isomorphism (see [33, page 143]).
Now consider the diagonal action of K on \(V^m\) (respectively W on \(\varSigma ^m\)), and the corresponding algebras of invariant (m-variable) polynomials \(\mathbb {R}[V^m]^K\) (respectively \(\mathbb {R}[\varSigma ^m]^W\)). In contrast with the single-variable case, the restriction map is not injective. On the other hand, surjectivity is due to Tevelev:
Theorem 3
[31] In the notation above, the restriction map is surjective.
Remarks
The proof of Theorem 3 relies on the Kumar–Mathieu Theorem, previously known as the PRV conjecture, see [19, 20]. Joseph [17] previously proved the theorem above in the special case of the adjoint action, using similar techniques. In [31] the Theorem above is stated only for \(m=2\) factors. But on page 324 it is remarked that “Actually, this (and Josephs’s) Theorem also holds for any number of summands [...] ”.
We observe that Theorem 3 generalizes to the class of polar representations (see [5] for a treatment of polar representations).
Corollary 2
Let \(K\subset O(V)\) be a polar representation, with section \(\varSigma \) and generalized Weyl group \(W\subset O(\varSigma )\). Then the m-variable restriction is surjective :
Proof
Let \(K_0\) be the connected component of K which contains the identity. It is polar with the same section \(\varSigma \). Let \(W_0\) be its generalized Weyl group, so that \(W_0\subset W\). From the classification of irreducible polar representations in [5], it follows that the maximal subgroup \(\tilde{K}\subset O(V)\), containing \(K_0\), that is orbit-equivalent to \(K_0\), defines an s-representation. (This fact has been given a classification-free proof in [7].) Note that \(K_0\) and \(\tilde{K}\) have the same sections and generalized Weyl groups.
Theorem 3 states that
is surjective. But since \(\tilde{K}\supset K_0\), we have \(\mathbb {R}[V^m]^{\tilde{K}}\subset \mathbb {R}[V^m]^{K_0}\), and so
is again surjective.
Finally, to show is surjective, let \(\beta \in \mathbb {R}[\varSigma ^m]^{W}\). Then there is \(\tilde{\beta _0}\in \mathbb {R}[V^m]^{K_0}\) which restricts to \(\beta \). Define
Since \({\tilde{\beta }}\) equals the average of \(\tilde{\beta _0}\) over K, it is K-invariant. To show that , we note that each coset \(hK_o\in K/K_0\) can be represented by some \(h\in N(\varSigma )\). Indeed, for an arbitrary \(h\in K\), \(h\varSigma \) is a section for K, hence also for \(K_0\). Since \(K_0\) acts transitively on the sections, there is \(h_0\in K_0\) such that \(hh_0^{-1}\in N(\varSigma )\). Therefore
because \(\beta \) is W-invariant.
Note that the algebra of multi-variable polynomials \(\mathbb {R}[V^m]\) is graded by m-tuples of natural numbers \((d_1,\ldots ,d_m)\), and similarly for \(\mathbb {R}[\varSigma ^m]\). Consider the subspace generated by the polynomials of degree \((*,1,\ldots , 1)\). These can be identified with those tensor fields of type \((0,m-1)\) which have polynomial coefficients, that is, members of \(\mathbb {R}[V, (V^*)^{m-1}]\), respectively \(\mathbb {R}[\varSigma , (\varSigma ^*)^{m-1}]\).
Since this grading is preserved by the restriction map , Corollary 2 implies:
Corollary 3
Let \(K\subset O(V)\) be a polar representation, with section \(\varSigma \) and generalized Weyl group \(W\subset O(\varSigma )\). Then the restriction map for polynomial-coefficient invariant \((0,l-1)\)-tensors
is surjective.
3 Extending tensors
The goal of this section is to provide proofs of Theorem 1 and Corollary 1. We start with two Lemmas that will be used in proving Theorem 1.
Lemma 1
Let V be a polar K-representation with section \(\varSigma \) and generalized Weyl group W. Then restriction to \(\varSigma \) is a surjective map
Proof
The space of polynomial-coefficient (0, l)-tensors \(\mathbb {R}[V,(V^*)^l]^K\subset C^\infty (T^{0,l}V)^K\) is generated, as an \(\mathbb {R}[V]^K\)-module, by finitely many (homogeneous) \(\sigma _1,\ldots ,\sigma _r\) (see [30, Proposition 2.4.14]).
Since \(\mathbb {R}[V]^K=\mathbb {R}[\varSigma ]^W\), Corollary 3 implies that the restrictions generate \(\mathbb {R}[\varSigma ,(\varSigma ^*)^l]^W\) as an \(\mathbb {R}[\varSigma ]^W\)-module.
Then, by an argument involving the Malgrange Division Theorem and the fact that \(\mathbb {R}[\varSigma ,(\varSigma ^*)^l]^W\) is dense in \(C^\infty (T^{0,l}\varSigma )^W\) (see [8, Lemma 3.1]), we conclude that generate \(C^\infty (\varSigma , (\varSigma ^*)^l)^W=C^\infty (T^{0,l}\varSigma )^W\) as a \(C^\infty (\varSigma )^W\)-module. This implies that is surjective.
The next lemma describes the smooth G-invariant tensors on a tube \({\mathcal {U}}=G\times _K V\) in terms of smooth K-invariant tensors on the slice V.
Lemma 2
Let \(K\subset G\) be Lie groups with K compact, and V be a K-representation. Define \({\mathcal {U}}=G\times _K V\) to be the quotient of \(G\times V\) by the free action of K given by \(k\cdot (g,v)= (g k^{-1}, kv),\) and identify V with the subset of \({\mathcal {U}}\) which is the image of \(\{1\}\times V\subset G\times V\) under the natural quotient projection \(G\times V \rightarrow {\mathcal {U}}\).
Then there is a K-representation H and an isomorphism
Under this identification the restriction map
corresponds to projection onto the first factor. In particular \(|_V\) is onto.
Proof
To describe H, let \(p\in {\mathcal {U}}\) be the image of \((1,0)\in G\times V\) in \({\mathcal {U}}\). Then \((V^*)^{\otimes l}\) is a K-invariant subspace of \((T^*_p{\mathcal {U}})^{\otimes l}\), and we define H to be its K-invariant complement, so that
as K-representations.
We define \(\varPsi : C^\infty (T^{0,l} V)^K\times C^\infty (V,H)^K \rightarrow C^\infty (T^{0,l}{\mathcal {U}})^G \) in the following way: Given \((\beta _1 ,\beta _2)\in C^\infty (T^{0,l} V)^K\times C^\infty (V,H)^K\), let \({\tilde{\beta }}:G\times V\rightarrow T^{0,l}{\mathcal {U}}\) be given by
Since \({\tilde{\beta }}\) is K-invariant, it descends to \(\beta = \varPsi (\beta _1, \beta _2) :{\mathcal {U}}\rightarrow T^{0,l}{\mathcal {U}}\).
The map \(\beta \) is smooth because \({\tilde{\beta }}\) is smooth and the action of K on \(G\times V\) is free. Moreover \(\beta \) is clearly a G-invariant cross-section of the bundle \(T^{0,l}{\mathcal {U}}\rightarrow {\mathcal {U}}\), and \(\beta |_V = \beta _1\).
Now the proof of Theorem 1 essentially follows from Lemmas 1 and 2, together with the Slice Theorem (see [2]) and partitions of unity:
Proof of Theorem 1
First note that it is enough to consider (0, l) tensors. Indeed, \(\psi \) for (k, l) tensors equals the composition of \(\psi \) for \((0,k+l)\)-tensors with raising and lowering indices (using the Riemannian metric on M) to transform between (k, l)-tensors and \((0,k+l)\)-tensors.
It is enough to prove surjectivity of \(\psi \) locally around each orbit in M, because of the existence of G-invariant partitions of unity subject to any cover by G-invariant open sets in M.
So let \(p\in M\) be an arbitrary point, with orbit Gp, isotropy \(K=G_p\), and slice \(V=(T_pGp)^\perp \). The Slice Theorem (see [2]) then says that for an open G-invariant tubular neighborhood \({\mathcal {U}}\) of the orbit Gp there is a G-equivariant diffeomorphism
From now on we will identify \({\mathcal {U}}\) with \(G\times _K V\) through E.
The slice representation of K on V is polar (see [25]). If \(\varSigma \subset V\) is a section with generalized Weyl group \(W(\varSigma )\), the quotients \({\mathcal {U}} /G\), V / K and \(\varSigma /W\) are isometric.
Since the inclusion \(\varSigma \rightarrow {\mathcal {U}}\) factors as \(\varSigma \rightarrow V\rightarrow {\mathcal {U}}\), the restriction map \(\psi \) factors as , where
Both these maps are surjective, by Lemmas 1 and 2. Therefore \(\psi \) is surjective.
Now we turn to Corollary 1, about (0, l)-tensors with symmetry properties, such as exterior forms and symmetric tensors.
Proof of Corollary 1
The Schur functor \({\mathbb {S}}_\lambda \) is defined in terms of a certain element \(c_\lambda \in \mathbb {Z}S_l\) in the group ring \(\mathbb {Z}S_l\), called the Young symmetrizer associated to \(\lambda \)—see [11, Lecture 6]. Indeed, given a vector space V, the group \(S_l\) acts on \(V^{\otimes l}\), and so \(c_\lambda \) determines a linear map \(V^{\otimes l} \rightarrow V^{\otimes l}\). The image of this map is defined to be \({\mathbb {S}}_\lambda (V)\).
Thus \(C^\infty ({\mathbb {S}}_\lambda (T^*M))\) is simply the image of the natural map
and similarly for \(C^\infty ({\mathbb {S}}_\lambda (T^*M))^G\) (because the actions of G and \(S_l\) commute), and \(C^\infty ({\mathbb {S}}_\lambda (T^*\varSigma ))^W\).
Since the restriction map \(\psi \) is \(S_l\)-equivariant and surjective, it takes the image of
onto the image of
completing the proof.
4 Polarizations and finite reflection groups
An alternative way of proving special cases of Theorem 3 is given by the polarization technique. This has the advantage of providing explicit lifts, which we exploit to prove Theorem 2 and Observation 1.
We start by recalling the definition of polarizations (see [27] for a reference). Let U be an Euclidean vector space, and \(H\rightarrow O(U)\) be a representation of the group H. Consider the diagonal action of H on m copies of U, and the corresponding algebra of invariant (m-variable) polynomials \(\mathbb {R}[U^m]^H\). Identify \(\mathbb {R}[U]^H\) with the elements of \(\mathbb {R}[U^m]^H\) which depend only on the first variable.
The method of polarizations consists of generating multi-variable invariants from single-variable invariants. Indeed, assuming \(f\in \mathbb {R}[U]^H\) is homogeneous of degree d, let \(t_1, \ldots , t_m\) be formal variables, and formally expand
Then each \(f_{r_1, \ldots , r_m}\) belongs to \(\mathbb {R}[U^m]^H\), and is called a polarization of f.
An alternative but equivalent definition of polarizations is given in terms of polarization operators—see [32]. These are differential operators \(D_{ij}\) (for \(1\le i,j\le m\)) on \(\mathbb {R}[U^m]^H\) defined by
Then one defines the subalgebra \({\mathcal {P}}^m\subset \mathbb {R}[U^m]^H\) of polarizations to be the smallest subalgebra of \(\mathbb {R}[U^m]^H\) containing \(\mathbb {R}[U]^H\) and stable under the operators \(D_{ij}\).
For example, if \(f\in \mathbb {R}[U]^H\), then the tensors \(df=D_{2,1}f \in \mathbb {R}[U^2]^H\) and Hess\(f=D_{2,1}(D_{3,1} f)\in \mathbb {R}[U^3]^H\) are polarizations. Similarly, if \(f_1, \ldots , f_p \in \mathbb {R}[U]^H\), then \(df_1\otimes df_2\otimes \cdots \otimes df_p=(D_{2,1}f_1)\cdots (D_{p+1,1}f_p) \) is a polarization, and so is \(df_1\wedge \cdots \wedge df_p\). (Here we are identifying tensor fields with multi-variable functions as in Sect. 2.)
Now consider the special case where \(H=W\) is a finite group generated by reflections on \(U=\varSigma \). Recall that W is the product of a finite number of irreducible reflection groups, and that irreducible finite reflection groups are classified into types: Dihedral, \(A_n\), \(B_n\), \(D_n\) (called “classical”), and six exceptional groups \(H_3\), \(H_4\), \(F_4\), \(E_6\), \(E_7\), and \(E_8\). We say a reducible W is of classical type if each of its factors is of classical type.
If W is irreducible of type A, B, or dihedral, then \({\mathcal {P}}^m=\mathbb {R}[\varSigma ^m]^{W}\) by [15, 34].
It was noted by Wallach [32] that \(\mathbb {R}[\varSigma ^m]^{W}\) is not generated by polarizations for W of type \(D_n\) for \(n>3\) and \(m>1\). He proposed a definition of generalized polarizations, and showed that these do generate all multi-variable invariants for type D. Unfortunately Wallach’s generalized polarizations fail to generate all multi-variable invariants for W of type \(F_4\) (see [15]).
For W of general type, even though \({\mathcal {P}}^m \ne \mathbb {R}[\varSigma ^m]^{W}\), one can still identify geometrically interesting subspaces of \(\mathbb {R}[\varSigma ^m]^{W}\) which are contained in \({\mathcal {P}}^m\). For example, Solomon’s Theorem [29] states that the subspace \(\mathbb {R}[\varSigma , \varLambda ^{m-1} \varSigma ^*]^{W} \subset \mathbb {R}[\varSigma ^m]^{W}\) of exterior \((m-1)\)-forms is contained in \({\mathcal {P}}^m\). Another example is the space of symmetric 2-tensors:
Theorem 4
Let \(W\subset O(\varSigma )\) be a finite group generated by reflections. Assume W is of classical type. Then every W-invariant symmetric 2-tensor field on \(\varSigma \) is a sum of terms of the form aHess(b), for \(a,b\in \mathbb {R}[\varSigma ]^{W}\).
Observation 2
Theorem 4 is valid without the classical type assumption.
We provide proofs of Theorem 4 and Observation 2 above in the Appendix. The latter is computer-assisted.
Now assume \(K\subset O(V)\) is a polar representation of the compact group K with section \(\varSigma \), and generalized Weyl group W. Recall that the connected component of the identity \(K_0\) is polar with the same section \(\varSigma \), and denote by \(W_0\) its generalized Weyl group. By [5], \(W_0\) is a finite group generated by reflections. Since the operators \(D_{ij}\) commute with the restriction map \(|_{\varSigma ^m}: \mathbb {R}[V^m]^{K_0}\rightarrow \mathbb {R}[\varSigma ^m]^{W_0}\), and the single-variable invariants coincide by the Chevalley Restriction Theorem, the image of \(|_{\varSigma ^m}\) must contain \({\mathcal {P}}^m\). In particular, this gives an alternative proof of Theorem 3 in the special case that \(W_0\) is of classical type—see [15].
Similarly, Theorem 4 implies surjectivity of the restriction map for symmetric 2-tensors when \(W_0\) is of classical type. In fact, we have the sharper statement:
Lemma 3
Let \(K\subset O(V)\) be a polar representation of the compact group K, with section \(\varSigma \subset V\) and generalized Weyl group W. Let \(K_0\) be the connected component of K containing the identity. Assume the generalized Weyl group \(W_0\) associated to \(K_0\) is of classical type. Consider the restriction map for symmetric 2-tensor fields .
This map is surjective. Moreover, given \(\beta \in C^\infty ({\mathrm {Sym}}^2 \varSigma )^W\) there is \({\tilde{\beta }} \in C^\infty ({\mathrm {Sym}}^2 V)^K \) such the and satisfying the following property :
For all \(q\in V,\) and \(X,Y\in T_qV\) such that X is vertical (that is, tangent to the K-orbit through q) and Y is horizontal (that is, normal to the K-orbit through q), we have \({\tilde{\beta }}(X,Y)=0\).
Proof
Let \(\beta \in C^\infty ({\mathrm {Sym}}^2 \varSigma )^W\). By Theorem 4 together with [8, Lemma 3.1], \(\beta \) is of the form \(\beta =\sum _i a_i {\mathrm {Hess}}(b_i)\), where \(a_i, b_i\in C^\infty (\varSigma )^{W_0}\). By the Chevalley Restriction Theorem, \(a_i,b_i\) extend uniquely to \(\tilde{a}_i, \tilde{b}_i\in C^\infty (V)^{K_0}\).
Define \({\tilde{\beta }}_0=\sum _i \tilde{a}_i{\mathrm {Hess}}(\tilde{b}_i)\) and
Then by the same argument as in Corollary 2.
To show that \({\tilde{\beta }}\) satisfies the additional property in the statement of the Lemma, it is enough to do so for each Hess\(({\tilde{\beta }}_i)\). Changing the section \(\varSigma \) if necessary, we may assume that \(q,Y\in \varSigma \). Extend the given \(X,Y\in T_qV\) to parallel vector fields (in the Euclidean metric), also denoted by X, Y. Let \(f=d{\tilde{\beta }}_i(X)\).
We claim that is identically zero. Indeed, since X(q) is vertical, it is orthogonal to \(\varSigma \), and so X(p) is orthogonal to \(\varSigma \) for every \(p\in \varSigma \). Thus, for regular \(p\in \varSigma \), X(p) is vertical. Since \({\tilde{\beta }}_i\) is constant on orbits, \(f(p)=0\) for every regular \(p\in \varSigma \), and hence on all of \(\varSigma \) by continuity.
Therefore Hess\(({\tilde{\beta }}_i)(X,Y)= df(Y)=0\), because \(Y\in \varSigma \).
Replacing in the proof above “Theorem 4” with “Observation 2” yields:
Observation 3
Lemma 3 is valid without the classical type assumption.
The following lemma is needed in the proofs of Theorem 2 and Observation 1.
Lemma 4
Let V be a polar K-representation with section \(\varSigma \subset V\) and generalized Weyl group W. Let \({\tilde{\sigma }} \in C^\infty ({\mathrm {Sym}}^2 V)^K,\) and . Then \(\sigma (0)\) is positive definite if and only if \({\tilde{\sigma }}(0)\) is positive definite.
Proof
Denote by \(K_0\) the connected subgroup of K containing the identity. Recall that the action of \(K_0\) is polar with the same section \(\varSigma \). Denote by \(W_0\) its generalized Weyl group. Consider a decomposition of V into \(K_0\)-invariant subspaces
where \(K_0\) acts trivially on \(\mathbb {R}^m\), and each \(V_i\) is irreducible and non-trivial.
By Theorem 4 in [5], each \(V_i\) is a polar \(K_0\)-representation, with section \(\varSigma _i=\varSigma \cap V_i\), and we have the decomposition into \(W_0\)-invariant subspaces
Moreover \(W_0\) splits as a product \(W_1\times \cdots \times W_k\) (see [14, section 2.2]), where \(W_i\) is the generalized Weyl group associated to the section \(\varSigma _i \subset V_i\), so that \(\varSigma _i\) are pairwise inequivalent as \(W_0\)-representations. This implies that \(V_i\) are pairwise inequivalent as \(K_0\)-representations.
Since the quotients \(V_i/K_0\) and \(\varSigma _i/W_0\) are isometric, irreducibility of \(V_i\) as a \(K_0\)-representation implies irreducibility of \(\varSigma _i\) as a \(W_0\)-representation. (Indeed, a general representation of a compact group H on Euclidean space \(\mathbb {R}^n\) is irreducible if and only if the quotient \(S^{n-1}/H\) has diameter less than \(\pi /2.\))
By Schur’s Lemma together with the assumption ,
where A is a symmetric \(m\times m\) matrix, and \(\lambda _i \in \mathbb {R}\).
Therefore \(\sigma (0) >0\) if and only if \({\tilde{\sigma }}(0) >0\).
Let M be a polar G-manifold. We say M is of classical type if, for every \(p\in M\), the slice representation of \((G_p)_0\) has generalized Weyl group of classical type. Now we are ready to prove Theorem 2:
Proof of Theorem 2
As in the proof of Theorem 1, we use partitions of unity and the Slice Theorem to reduce to the case where M is a tube \({\mathcal {U}}=G\times _K V\), and V is a polar representation. Let \(\varSigma \subset V\) be a section, with generalized Weyl group W, so that \(M/G=V/K=\varSigma /W\).
Note that it suffices to extend the given Riemannian metric \(\sigma \in C^\infty ({\mathrm {Sym}}^2\varSigma )^W\) to a G-invariant Riemannian metric on a possibly smaller tube \(G\times _K V^\epsilon \) around the orbit G / K, for some \(\epsilon >0\).
By Lemma 3, \(\sigma \) extends to \(\beta _1\in C^\infty ({\mathrm {Sym}}^2 V)^K\). By Lemma 4, \(\beta _1(0)\) is positive-definite, and so by continuity, \(\beta _1 >0\) on \(V^\epsilon \) for some small \(\epsilon >0\).
Choose any smooth, K-invariant and positive-definite \(\beta _2 :V \rightarrow {\mathrm {Sym}}^2(T_KG/K)\). Then, by Lemma 2, the pair \((\beta _1, \beta _2)\) defines \({\tilde{\sigma }}\in C^\infty ({\mathrm {Sym}}^2M)^G\), which is positive-definite on \(G\times _K V^\epsilon \) and extends the given \(\sigma \). By construction, \(\varSigma \) is \({\tilde{\sigma }}\)-orthogonal to G-orbits.
Finally, using Observation 3 instead of Lemma 3 gives a proof of Observation 1.
References
Bourbaki, N.: Éléments de mathématique. Fasc. XXXIV. Groupes et algèbres de Lie. In: Chapitre IV: Groupes de Coxeter et systèmes de Tits. Chapitre V: Groupes engendrés par des réflexions. Chapitre VI: systèmes de racines. Actualités Scientifiques et Industrielles, vol. 1337. Hermann, Paris (1968)
Bredon, G.E.: Introduction to compact Transformation Groups. Pure and Applied Mathematics, vol. 46. Academic Press, New York (1972)
Chevalley, C.: Invariants of finite groups generated by reflections. Am. J. Math. 77, 778–782 (1955)
Coxeter, H.S.M.: The product of the generators of a finite group generated by reflections. Duke Math. J. 18, 765–782 (1951)
Dadok, J.: Polar coordinates induced by actions of compact Lie groups. Trans. Am. Math. Soc. 288(1), 125–137 (1985)
Eisenbud, D.: Commutative Algebra. Graduate Texts in Mathematics, vol. 150. Springer, New York (1995). doi:10.1007/978-1-4612-5350-1. With a view toward algebraic geometry
Eschenburg, J.H., Heintze, E.: On the classification of polar representations. Math. Z. 232(3), 391–398 (1999). doi:10.1007/PL00004763
Field, M.J.: Transversality in \(G\)-manifolds. Trans. Am. Math. Soc. 231(2), 429–450 (1977)
Flatto, L.: Invariants of finite reflection groups and mean value problems. II. Am. J. Math. 92, 552–561 (1970)
Flatto, L., Weiner, S.M.M.: Invariants of finite reflection groups and mean value problems. Am. J. Math. 91, 591–598 (1969)
Fulton, W., Harris, J.: Representation Theory. Graduate Texts in Mathematics, vol. 129. Springer, New York (1991). A first course, Readings in Mathematics
Geck, M., Hiss, G., Lübeck, F., Malle, G., Pfeiffer, G.: CHEVIE–a system for computing and processing generic character tables for finite groups of Lie type, Weyl groups and Hecke algebras. Appl. Algebra Eng. Commun. Comput. 7, 175–210 (1996)
Grove, K., Ziller, W.: Polar manifolds and actions. J. Fixed Point Theory Appl. 11(2), 279–313 (2012). doi:10.1007/s11784-012-0087-y
Humphreys, J.E.: Reflection Groups and Coxeter Groups. Cambridge Studies in Advanced Mathematics, vol. 29. Cambridge University Press, Cambridge (1990)
Hunziker, M.: Classical invariant theory for finite reflection groups. Transform Groups 2(2), 147–163 (1997). doi:10.1007/BF01235938
Iwasaki, K., Kenma, A., Matsumoto, K.: Polynomial invariants and harmonic functions related to exceptional regular polytopes. Exp. Math. 11(2), 313–319 (2002). http://projecteuclid.org/euclid.em/1062621224
Joseph, A.: On a Harish-Chandra homomorphism. C. R. Acad. Sci. Paris Sér. I Math. 324(7), 759–764 (1997). doi:10.1016/S0764-4442(97)86940-6
Kane, R.: Reflection Groups and Invariant Theory. CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC, vol. 5. Springer, New York (2001)
Kumar, S.: A refinement of the PRV conjecture. Invent. Math. 97(2), 305–311 (1989). doi:10.1007/BF01389044
Mathieu, O.: Construction d’un groupe de Kac–Moody et applications. Composit. Math. 69(1), 37–60 (1989). http://www.numdam.org/item?id=CM_1989__69_1_37_0
Mehta, M.L.: Basic sets of invariant polynomials for finite reflection groups. Commun. Algebra 16(5), 1083–1098 (1988). doi:10.1080/00927878808823619
Mendes, R.A.E.: Equivariant tensors on polar manifolds. Ph.D. thesis, University of Pennsylvania (2011). http://repository.upenn.edu/dissertations/AAI3463026
Michor, P.W.: Basic differential forms for actions of Lie groups. Proc. Am. Math. Soc. 124(5), 1633–1642 (1996). doi:10.1090/S0002-9939-96-03195-4
Michor, P.W.: Basic differential forms for actions of Lie groups. II. Proc. Am. Math. Soc. 125(7), 2175–2177 (1997). doi:10.1090/S0002-9939-97-03929-4
Palais, R.S., Terng, C.L.: A general theory of canonical forms. Trans. Am. Math. Soc. 300(2), 771–789 (1987)
Schönert, M., et al.: GAP-Groups, Algorithms, and Programming—version 3 release 4 patchlevel 4. Lehrstuhl D für Mathematik, Rheinisch Westfälische Technische Hochschule, Aachen, Germany (1997)
Schwarz, G.W.: When polarizations generate. Transform Groups 12(4), 761–767 (2007). doi:10.1007/s00031-006-0044-1
Smith, L.: Polynomial Invariants of Finite Groups. Research Notes in Mathematics, vol. 6. A K Peters Ltd., Wellesley (1995)
Solomon, L.: Invariants of finite reflection groups. Nagoya Math. J. 22, 57–64 (1963)
Springer, T.A.: Invariant Theory. Lecture Notes in Mathematics, vol. 585. Springer, Berlin (1977)
Tevelev, E.A.: On the Chevalley restriction theorem. J. Lie Theory 10(2), 323–330 (2000)
Wallach, N.R.: Invariant differential operators on a reductive Lie algebra and Weyl group representations. J. Am. Math. Soc. 6(4), 779–816 (1993). doi:10.2307/2152740
Warner G (1972) Harmonic Analysis on Semi-Simple Lie Groups. I. die Grundlehren der mathematischen Wissenschaften, Band 188. Springer, New York
Weyl, H.: The Classical Groups: Their Invariants and Representations. Princeton University Press, Princeton (1939)
Acknowledgments
Part of this work was completed during my Ph.D., and I would like to thank my advisor W. Ziller for the long-term support. I would also like to thank A. Lytchak and J. Tevelev for useful communication.
Author information
Authors and Affiliations
Corresponding author
Appendix: Hessian Theorem for finite reflection groups
Appendix: Hessian Theorem for finite reflection groups
In this section we provide proofs of Theorem 4 and Observation 2. The latter relies on Calculation 1, which can be checked with a computer. See [22] for the source code for a script written in GAP [26] using the package CHEVIE [12], which performs these calculations.
Note that as far as the proofs of Theorem 2 and Observation 1 are concerned, one only needs to consider crystallographic reflection groups (see [14] for a definition). Our proofs include the non-crystallographic cases for the sake of completeness.
Recall some facts about finite reflection groups: First, the algebra of invariants, \(A=\mathbb {R}[\varSigma ]^W\), is a free polynomial algebra with n generators, where \(n=\dim \varSigma \). This is known as Chevalley’s Theorem—see [1, Chapter V]. Such a set \(\{\rho _i\}\) of homogeneous generators is called a set of basic invariants, and \(d_i=\deg \rho _i\) are called the degrees of W.
Second, \(\mathbb {R}[\varSigma ]\) is a free \(A=\mathbb {R}[\varSigma ]^W\)-module, more precisely \(\mathbb {R}[\varSigma ]=A\otimes H\), where H is isomorphic to the regular representation of W (see Theorem B in [3]). In particular, \({\mathcal {M}}=\mathbb {R}[\varSigma ,{\mathrm {Sym}}^2(\varSigma ^*)]^W\) is a free A-module of rank \((n^2+n)/2\).
Third, \(\varSigma \) is reducible as a W-representation if and only if \(\varSigma =\varSigma _1\times \varSigma _2\) and \(W=W_1\times W_2\) for two reflection groups \(W_k\subset O(\varSigma _k)\)—see section 2.2 in [14]. Thus the following proposition reduces the proofs of Theorem 4 and Observation 2 to the irreducible case.
Lemma 5
Let \(W_k\subseteq O(\varSigma _k),\) \(k=1,2\) be finite reflection groups in the Euclidean vector spaces \(\varSigma _k,\) and let \(W=W_1\times W_2\subset O(\varSigma )=O(\varSigma _1\times \varSigma _2)\). Then there are W-invariant polynomials on \(\varSigma \) whose Hessians generate \(\mathbb {R}[\varSigma ,{\mathrm {Sym}}^2(\varSigma ^*)]^W\) if and only if the same holds for \(W_k\subseteq O(\varSigma _k),\) \(k=1,2\).
Proof
Assume there are \(Q_j\in \mathbb {R}[\varSigma ]^W\) whose Hessians generate \(\mathbb {R}[\varSigma ,{\mathrm {Sym}}^2(\varSigma ^*)]^W\). Then the restrictions \(Q_j|_{\varSigma _1}\) generate \(\mathbb {R}[\varSigma _1,{\mathrm {Sym}}^2(\varSigma _1^*)]^{W_1}\) as an \(\mathbb {R}[\varSigma _1]^{W_1}\)-module.
Indeed, every \(\sigma \in \mathbb {R}[\varSigma _1,{\mathrm {Sym}}^2(\varSigma _1^*)]^{W_1}\) can be naturally extended to \({\tilde{\sigma }}\in \mathbb {R}[\varSigma ,{\mathrm {Sym}}^2(\varSigma ^*)]^W\) that is constant on each copy of \(\varSigma _2\). Then there are \(a_j\in \mathbb {R}[\varSigma ]^W\) such that \({\tilde{\sigma }}=\sum _j a_j{\mathrm {Hess}}(Q_j)\). Therefore
and similarly for \(\mathbb {R}[\varSigma _2,{\mathrm {Sym}}^2(\varSigma _2^*)]^{W_2}\).
For the converse, let \(\rho _j\in \mathbb {R}[\varSigma _1]^{W_1}\), \(j=1,\ldots , n_1\) and \(\psi _j\in \mathbb {R}[\varSigma _2]^{W_2}\), \(j=1,\ldots , n_2\) be basic invariants on \(\varSigma _1\) and \(\varSigma _2\) respectively; and \(Q_j\in \mathbb {R}[\varSigma _1]^{W_1}\), \(j=1,\ldots , (n_1^2+n_1)/2\), \(R_j\in \mathbb {R}[\varSigma _2]^{W_2}\), \(j=1,\ldots , (n_2^2+n_2)/2\) be homogeneous invariants whose Hessians form a basis for the corresponding spaces of equivariant symmetric 2-tensors.
We claim that the Hessians of the following set of \(W=W_1\times W_2\)-invariant polynomials on \(\varSigma =\varSigma _1\times \varSigma _2\) form a basis for the space of equivariant symmetric 2-tensors on \(\varSigma \):
Indeed, \(\mathbb {R}[\varSigma ,{\mathrm {Sym}}^2(\varSigma ^*)]^W\) decomposes as
The first two pieces are freely generated over \(\mathbb {R}[\varSigma ]^W\) by Hess\(Q_j\) and Hess\(R_j\). The third piece can be rewritten as \(\mathbb {R}[\varSigma ,\varSigma _1^*\otimes \varSigma _2^*]^W=\mathbb {R}[\varSigma _1,\varSigma _1^*]^{W_1}\otimes \mathbb {R}[\varSigma _2,\varSigma _2^*]^{W_2}\). By Solomon’s Theorem [29], \(\mathbb {R}[\varSigma _k,\varSigma _k^*]^{W_k}\), \(k=1,2\), are freely generated by \(d\rho _j\) and \(d\psi _j\), so that \(\mathbb {R}[\varSigma ,\varSigma _1^*\otimes \varSigma _2^*]^W\) is freely generated by \((d\rho _j\otimes d\psi _j + d\psi _j\otimes d\rho _j)\). To finish the proof of the claim one uses the product rule
Proof of Theorem 4
By Lemma 5, we may assume W is irreducible of classical type.
If W is of type A, type B, or dihedral, then all multi-variable invariants are generated by polarizations, by [15, 34]. Hence it is enough to show that \({\mathcal {P}}^3\cap {\mathcal {M}}\) is generated, as an A-module, by Hessians of invariants. This follows from the product rule
If, on the other hand, W is of type D, then the multi-variable invariants are generated by generalized polarizations—see Theorems 3.1 and 3.4 in [15], or Proposition 2 in Appendix 2 of [32]. But degree considerations imply that \({\mathcal {M}}\) is in fact generated by (classical) polarizations, hence also by Hessians by the product rule.
Calculation 1
Let W of type \(H_3\), \(H_4\), \(F_4\), \(E_6\), \(E_7\) or \(E_8\). Then there is a choice of basic invariants \(\rho _1, \ldots \rho _n \text { with }\deg (\rho _1)<\cdots <\deg (\rho _n)\), and of a regular vector \(v\in \varSigma \), such that \( \{ {\mathrm {Hess}}(\rho ^*Q)(v)\ |\ Q\in T\}\) is linearly independent, where \(\rho =(\rho _1, \ldots , \rho _n):\varSigma \rightarrow \mathbb {R}^n\), and T is the set of polynomials on \(\mathbb {R}^n\) given in Table 1.
We remark that the computation above is independent of the choice of basic invariants and regular vector—see Lemmas 6 and 7. Moreover, one may construct a set of basic invariants consisting of “orbit Chern classes” from some linear functional \(\lambda _0:\varSigma \rightarrow \mathbb {R}\) and the degrees \(d_i\). Namely, \(\rho _i=\sum _{\lambda \in W\lambda _0}\lambda ^{d_i}\)—see [9, 10, 22, 28]. See also [16, 21] for (other) explicit sets of basic invariants of exceptional groups. The degrees \(d_1,\ldots ,d_n\) of the exceptional groups are listed in Table 2 for the convenience of the reader (see [4]).
The following Lemma is analogous to Proposition 3.13 in [14]. We will use the special case \(U=\text {Sym}^2\varSigma ^*\) in proving both Observation 2 from Calculation 1, and independence of the choice of regular vector v in Calculation 1.
Lemma 6
Let \(W\subset O(\varSigma )\) be an irreducible finite reflection group, and \(\eta : W\rightarrow O(U)\) an orthogonal representation, with character \(\chi \). Choose a basis \(\{e_1,\ldots , e_l\}\) for U, and let \(f_1, \ldots , f_l\in \mathbb {R}[\varSigma , U]^W\) be homogeneous elements given by \(f_i=\sum _j a_{ij} e_j\). Let \(D=\det (a_{ij})\in \mathbb {R}[\varSigma ]\). Then :
-
(a)
D is divisible by the following product over all reflections \(r\in W{:}\)
$$\begin{aligned} J_\eta =\prod _{r}(\lambda _r)^\frac{l-\chi (r)}{2} \end{aligned}$$with \(\lambda _r\) a linear functional whose kernel equals the hyperplane fixed by r.
-
(b)
If \(\{f_i\}\) is a basis of \(\mathbb {R}[\varSigma , U]^W\) over \(\mathbb {R}[\varSigma ]^W,\) then D and \(J_\eta \) have the same degree.
-
(c)
\(\{f_i\}\) forms a basis if and only if \(D=cJ_\eta \) for some \(c\in \mathbb {R}-\{0\}\).
Proof
-
(a)
Let \(r\in W\) be a reflection. The transformation \(\eta (r):U\rightarrow U\) is diagonalizable with eigenvalues \(1,-1\). In particular the multiplicity of \(-1\) equals \(k=(l-\chi (r))/2\). Assume, without loss of generality, that \(e_1, \ldots , e_k\) is a basis for the eigenspace of \(\eta (r)\) associated to the eigenvalue \(-1\). Then the first k columns of \((a_{ij})\) are odd with respect to r. By multi-linearity, D vanishes to order k on the hyperplane fixed by r. In other words, D is divisible by \((\lambda _r)^k\). Since this is true for every reflection r, D is divisible by \(J_\eta \).
-
(b)
For any graded vector space \(E=\oplus _i E_i\), denote its Poincaré series by \(P_t(E)=\sum _i \dim (E_i)t^i\). Let
$$\begin{aligned} P(t)=\frac{P_t(\mathbb {R}[\varSigma ,{\mathrm {Sym}}^2(\varSigma ^*)]^{W})}{P_t(\mathbb {R}[\varSigma ]^W)} \end{aligned}$$Since \(P(t)=\sum _{i=1}^lt^{\deg (f_i)}\), we have \(\deg (D)=P'(1)\). On the other hand, \(P_t(\mathbb {R}[\varSigma ]^W)=\varPi _{i=1}^n(1-t^{d_i})^{-1}\), while the numerator can be computed using Molien’s formula [18, page 249]:
$$\begin{aligned} P_t(\mathbb {R}[\varSigma ,{\mathrm {Sym}}^2(\varSigma ^*)]^{W})=\frac{1}{|W|}\sum _{g\in W}\frac{\chi (g)}{\det (1-tg)} \end{aligned}$$Note that for \(g=1\), \(\det (1-tg)=(1-t)^n\); for \(g=r\) a reflection, \(\det (1-tg)=(1-t)^{n-1}(1+t)\); and for all other g, \((1-t)^{n-1}\) does not divide \(\det (1-tg)\). Therefore, when computing \(P'(1)\), terms of the latter type vanish:
$$\begin{aligned}&|W|P'(1)=\chi (1)\left. \frac{d}{dt}\right| _{t=1} \frac{\varPi _{i=1}^n(1-t^{d_i})}{(1-t)^n} + \sum _{r \text { refl.}}\chi (r)\left. \frac{d}{dt}\right| _{t=1} \frac{\varPi _{i=1}^n(1-t^{d_i})}{(1-t)^{n-1}(1+t)}\\&P'(1)=\frac{1}{|W|}\left( \frac{lN|W|}{2} - \sum _{r \text { refl.}}\chi (r)\frac{|W|}{2}\right) =\sum _{r \text { reflection}}\frac{l-\chi (r)}{2} \end{aligned}$$where N is the number of reflections and we have used the identities \(d_1\cdots d_n=|W|\) and \((d_1-1)+\cdots +(d_n-1)=N\). Thus \(P'(1)\) equals the degree of \(J_\eta \).
-
(c)
Assume \(\{f_i\}\) is a basis. By parts 1 and 2, \(D=cJ_\eta \) for some \(c\in \mathbb {R}\). Assume for a contradiction that \(c=0\). This means that \(\{f_i(v)\}\) is linearly dependent for every \(v\in \varSigma \). Take a regular v, and let B be a small open W-invariant neighborhood of the orbit Wv. Since W acts freely on B, on can construct \(\sigma \in C^\infty (\varSigma , U)^W\) with supp\((\sigma )\subset B\), and \(\sigma (v)\notin \text {span}\{f_i(v)\}\). This contradicts the fact that \(\mathbb {R}[\varSigma , U]^W\) is dense in \( C^\infty (\varSigma , U)^W\). Now assume \(D=cJ_\eta \) for some \(c\in \mathbb {R}-\{0\}\). Choose any homogeneous basis \(\{f_i'\}\) of \({\mathcal {M}}\), and define \(D'\) analogously to D. Writing \(f_i=\sum _j b_{ij} f_j'\), we see that \(\det (b_{ij})\in \mathbb {R}-\{0\}\), because \(D=D'\det (b_{ij})\). This implies that \((b_{ij})\) is invertible in the algebra of matrices with coefficients in A, so that \(\{f_i\}\) is a basis of \({\mathcal {M}}\) over A, too.
Proof of Observation 2
Assume Calculation 1. We claim that
forms a basis for \({\mathcal {M}}\) over A. Indeed, by inspection, the sum of the degrees of \(f_i\) equals \(\deg (J_\eta )\), which in this case is \(N(n-1)\). Using Lemma 6, we see that \(D=cJ_\eta \) for some \(c\ne 0\), so that \(\{f_i\}\) forms a basis.
Note that independence of the choice of regular vector follows from Lemma 6, because the zero set of \(J_\eta \) is contained in the singular set.
Lemma 7
Calculation 1 is independent of the choice of basic invariants \(\rho _i\).
Proof
Assume \(\{\rho _i\}\) and \(\{\psi _i\}\) are two sets of basic invariants, and that
is linearly independent at some (hence all) regular vector \(v\in \varSigma \). By Lemma 6, \( \{ {\mathrm {Hess}}(\rho ^*Q)\ |\ Q\in T\}\) forms a basis of \({\mathcal {M}}\) as a free A-module. We claim that \( \{ {\mathrm {Hess}}(\psi ^*Q)\ |\ Q\in T\}\) is also a basis, so that in particular \( \{ {\mathrm {Hess}}(\psi ^*Q)(v)\ |\ Q\in T\}\) is linearly independent for every regular vector v.
Recall the graded version of Nakayama’s Lemma (see Exercise 4.6a in [6]): a set of homogeneous elements \(f_i\in {\mathcal {M}}\) generates \({\mathcal {M}}\) as an A-module if and only if their images in \({\mathcal {M}}/I{\mathcal {M}}\) span it as real vector space, where I is the ideal of A generated by the elements of positive degree.
Since the degrees \(d_i\) are all distinct, we may assume without loss of generality that \( \psi _i=\rho _i + R_i(\rho _1, \ldots , \rho _{i-1})\). Note that the Hessian of a product of three or more (not necessarily distinct) basic invariants belongs to \(I{\mathcal {M}}\), so that modulo \(I{\mathcal {M}}\) we have \(\text {Hess}(\psi _i \psi _j) \equiv \text {Hess}(\rho _i\rho _j)\), and
where \(c_{j,k}\in \mathbb {R}\) vanishes unless \(d_j+d_k=d_i\).
By inspection, \(y_jy_k\in T\) whenever \(d_j+d_k=d_i\) for some i (see Table 2). Therefore \(\{\text {Hess}(\psi ^*Q)\ ,\ Q\in T\}\) is written in terms of \(\{\text {Hess}(\rho ^*Q)\ ,\ Q\in T\}\) (modulo \(I{\mathcal {M}}\)) using a triangular matrix with 1’s in the diagonal, showing that \( \{{\mathrm {Hess}}(\psi ^*Q)\ |\ Q\in T\}\) is a basis of \({\mathcal {M}}\).