Florence Fauquant-Millet
email: florence.millet@univ-st-etienne.fr

WEIERSTRASS SECTIONS FOR SOME TRUNCATED PARABOLIC SUBALGEBRAS

Keywords: Mathematics Subject Classification : 16 W 22, 17 B 22, 17 B 35 Weierstrass section, adapted pair, slice, parabolic subalgebra, polynomiality, symmetric invariants, semi-invariants

diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Introduction.

The base field k is algebraically closed of characteristic zero.

1.1. Let g be a simple Lie algebra over k and p be a standard parabolic subalgebra of g, acting by coadjoint action on its dual space p * . Denote by Sy(p) the vector space generated by the semi-invariant polynomial functions on p * . This is a subalgebra of the symmetric algebra S(p) of p. Moreover there exists a canonically defined subalgebra p Λ of p, called the canonical truncation of p or the truncated parabolic subalgebra associated with p, such that the algebra Y (p Λ ) of invariant polynomial functions on p * Λ coincides with the algebra Sy(p) (see 2.3 for more details). For some parabolic subalgebras p which we define below, we will study whether Sy(p) is isomorphic to a polynomial algebra over k and whether one can linearize generators of Sy(p).

1.2. Now we consider g simple of type B n , C n or D n and integers ∈ N and s ∈ N * with s + 2 ≤ n.

Using Bourbaki's labelling [START_REF] Bourbaki | Eléments de mathématique, Groupes et Algèbres de Lie[END_REF] for a chosen set π = {α 1 , . . . , α n } of simple roots of g with respect to some Cartan subalgebra h, we focus on several standard parabolic subalgebras p of g associated with a particular subset π of π, where roughly speaking every second root in a chain of simple roots is deleted.

More precisely we consider the parabolic subalgebra p s, of g associated with the subset π ⊂ π such that π = π \ {α s , α s+2 , . . . , α s+2 } with s + 2 ≤ n.

When g is of type D n , we also study some parabolic subalgebras associated with a subset π ⊂ π which does not contain the last two roots α n-1 and α n and also does not contain every second root in a chain of simple roots. Indeed we consider two other cases of parabolic subalgebras in g of type D n which we define below.

The first case consists in deleting α n , α n-1 and then possibly every second simple root preceding α n-1 until α n-1-2 with 0 ≤ ≤ (n -2)/2. Thus we denote by p the parabolic subalgebra of g of type D n associated with the subset π ⊂ π such that

π = π \ {α n-1-2k , α n | 0 ≤ k ≤ } with 0 ≤ ≤ (n -2)/2.
The second case consists in deleting α n , α n-1 and then every second simple root from some simple root α s until α s+2 with s + 2 ≤ n -2. Thus we denote by q s, the parabolic subalgebra of g of type D n associated with π = π \ {α s , α s+2 , . . . , α s+2 , α n-1 , α n } with s + 2 ≤ n -4 or s + 2 = n -2. Note that, if s + 2 = n -3, then q s, (n-3-s)/2 = p (n-1-s)/2 or simplier q n-3-2 , = p +1 .

Roughly speaking, identifying g with a Lie subalgebra of some gl m and adopting the conventions in [START_REF] Bourbaki | Eléments de mathématique, Groupes et algèbres de Lie[END_REF]Chap VIII] the Levi factor of every parabolic subalgebra p as defined above is composed, on each side of the second diagonal, by successive blocks of size two, a first block and possibly a last block (in type D n , when α n ∈ π but α n-1 ∈ π , we may notice that we have a pair of blocks along the second diagonal, symmetric with respect to the first diagonal). In other words the Levi subalgebra of such p is of type

A s-1 × A 1 × R r , where          s = n -1 -2 and R r = {0} for p R r = A n-2-s-2
for q s, R r = B n-s-2

for p s, and g of type B n R r = D n-s-2

for p s, and g of type D n with the convention that A 0 = B 0 = D 0 = A 0 1 = {0}, B 1 = D 1 = A 1 and D 2 = A 1 × A 1 (here, for any k ∈ N * , type {0} × A k or A k × {0}, resp. {0} × B k , resp. {0} × D k , simply means type A k , resp. B k , resp. D k ).

Note that the parabolic subalgebra p s, 0 is a maximal parabolic subalgebra and it has already been treated in [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF], [START_REF] Fauquant-Millet | Slices for maximal parabolic subalgebras of a semisimple Lie algebra[END_REF] and [START_REF] Fauquant-Millet | Polynomiality for the Poisson centre of truncated maximal parabolic subalgebras[END_REF]. Thus we will not consider this case. This work is a continuation and a generalization of [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF], [START_REF] Fauquant-Millet | Slices for maximal parabolic subalgebras of a semisimple Lie algebra[END_REF] and [START_REF] Fauquant-Millet | Polynomiality for the Poisson centre of truncated maximal parabolic subalgebras[END_REF]. 1.3. Let X be a finite dimensional vector space on which a reductive Lie algebra a acts linearly. Denote by S(X * ) the symmetric algebra of the dual space X * of X, which may be identified with the algebra of polynomial functions k[X] on X. Let S(X * ) a denote the algebra of invariants in S(X * ) under the action of a (induced by the action of a on X), which is also the algebra of invariant polynomial functions on X. By a Hilbert's theorem (see [START_REF] Popov | Invariant Theory[END_REF]II,Thm. 3.5] for an exposition), the algebra of invariants S(X * ) a is finitely generated and Popov considered in [33, 2.2.1] the problem of linearizing invariant generators in S(X * ) a by introducing the so-called Weierstrass sections for the action of a on X. Now assume that a is a finite dimensional Lie algebra, not necessarily reductive. We may extend Popov's notion for X = a * the dual space of a, on which a acts by coadjoint action, and define a Weierstrass section for coadjoint action of a as an affine subspace S of a * such that restriction of functions to S induces an algebra isomorphism between the algebra of symmetric invariants Y (a) = S(a) a and the algebra of polynomial functions k[S ] on S . Then the existence of a Weierstrass section for coadjoint action of a implies the polynomiality of Y (a), and the restriction map gives a linearization of invariant generators of Y (a). More details on Weierstrass sections are given in 2.5.

In the semisimple case (that is, when a = g a semisimple Lie algebra, see 2.7), a Weierstrass section S was constructed by Kostant in [START_REF] Kostant | Lie group representations on polynomial rings[END_REF] using a principal sl 2 -triple. This particular Weierstrass section is called the Kostant slice, or Kostant section in [START_REF] Popov | Sections in invariant theory[END_REF]. The Kostant slice is also an affine slice in the sense that, if G is the adjoint group of g, then G.S is dense in g * and every coadjoint orbit in g * meets S in at most one point, and transversally. In 2.6 are more details on affine slices.

In this article, our aim is to construct Weierstrass sections for coadjoint action of the canonical truncation p Λ of the standard parabolic subalgebra p whenever p is either equal to p s, or p or q s, defined in the previous subsection.

1.4. Similarly to the Kostant slice, a Weierstrass section for coadjoint action of p Λ is also an affine slice to the coadjoint action of p Λ by [START_REF] Fauquant-Millet | Adapted pairs and Weierstrass sections[END_REF]. In particular if there exists a Weierstrass section S ⊂ p * Λ for coadjoint action of p Λ , then every coadjoint orbit in p * Λ meets S in at most one point.

1.5. Unlike the reductive case where a principal sl 2 -triple exists, a Weierstrass section in the non reductive case cannot be given by such a triple, since the latter does not exist. To fill in this lack, the notion of an adapted pair was introduced in [START_REF] Joseph | Maximal Poisson commutative subalgebras for truncated parabolic subalgebras of maximal index in sln[END_REF]. Denote by h Λ := h ∩ p Λ the Cartan subalgebra of the truncated parabolic subalgebra p Λ and by ad the coadjoint action of p Λ on p * Λ . An adapted pair for p Λ is a pair (h, y) ∈ h Λ × p * Λ such that : (1) ad h(y) = -y and

(2) y is regular in p * Λ that is, there exists a subspace V of p * Λ of minimal dimension (called the index of p Λ and denoted by ind p Λ ) such that ad p Λ (y) ⊕ V = p * Λ . More details on adapted pairs are given in 2.4. Unfortunately adapted pairs do not always exist and are quite hard to construct. They may not exist even when Weierstrass sections for coadjoint action exist, as it was shown in [START_REF] Joseph | An algebraic slice in the coadjoint space of the Borel and the Coxeter element[END_REF]Thm. 9.4] for the truncated Borel subalgebra b Λ in type B 2n+1 , D, E and G 2 . However in [22, 11.4 Example 2], although Sy(b) = Y (b Λ ) is always a polynomial algebra by [START_REF] Joseph | A preparation theorem for the prime spectrum of a semisimple Lie algebra[END_REF], it was also noticed that a Weierstrass section for coadjoint action of b Λ does not exist for g of type C 2 since the invariant generators cannot be linearized in this case. As in [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF], [START_REF] Fauquant-Millet | Slices for maximal parabolic subalgebras of a semisimple Lie algebra[END_REF] and [START_REF] Fauquant-Millet | Polynomiality for the Poisson centre of truncated maximal parabolic subalgebras[END_REF] we are able in our present cases to construct Weierstrass sections thanks to adapted pairs. 1.6. In [START_REF] Joseph | Slices for biparabolic coadjoint actions in type A[END_REF] Weierstrass sections were constructed for coadjoint action of any truncated (bi)parabolic subalgebra in a simple Lie algebra of type A. Thus we do not consider this type. 1.7. Main result. Recall the notation of subsection 1.2. In this paper we prove that Weierstrass sections exist for the following cases :

(1) for coadjoint action of the canonical truncation of p s, when : (a) g is of type B n with n ≥ 2, s odd and ≥ 1. (3) for coadjoint action of the canonical truncation of q s, when g is of type D n with n ≥ 5, n odd and s odd.

1.8. The proof. The proof is in two steps and via a case by case consideration. Let p denote one of the above parabolic subalgebras and p Λ its canonical truncation.

Step 1 consists of constructing explicitly an adapted pair for p Λ , thanks to Proposition 6.2 which uses extensively the notion of Heisenberg sets, generalizing the sets of roots of generators in Heisenberg Lie algebras, see subsection 6.1.

Step 2 is to prove that this adapted pair gives the required Weierstrass section. For this purpose, two means are available. The simplest way is to check that the equality of a lower and an upper bounds for the formal character of Sy(p) (see Sect. 4) holds. This equality implies polynomiality of Sy(p) and then the existence of an adapted pair for p Λ implies the existence of a Weierstrass section for coadjoint action of p Λ (see also subsection 2.5). However in some of our cases the lower and upper bounds mentioned above do not coincide and then the polynomiality of Sy(p) = Y (p Λ ) was not yet known. We then check that the lower bound and a so-called improved upper bound introduced in [START_REF] Joseph | Compatible adapted pairs and a common slice theorem for some centralizers[END_REF] (see Sect. 5) coincide. The latter method concerns the cases 1c, 1d, 2b, 2c. The Weierstrass section we obtain in these cases assures then the polynomiality of Sy(p).

Some definitions.

In what follows, we specify the notions mentioned in Sect. 1. Let a be an algebraic finite dimensional Lie algebra over k, which acts on its symmetric algebra S(a) by the action (denoted by ad) which extends by derivation the adjoint action of a on itself given by Lie bracket. We denote by A the adjoint group of a.

2.1. Algebra of symmetric invariants. An invariant of S(a) (symmetric invariant of a for short) is an element s ∈ S(a) such that, for all x ∈ a, ad x(s) = 0.

We denote by Y (a) = S(a) a the set of symmetric invariants of a : it is a subalgebra of S(a), called the algebra of symmetric invariants of a. We may notice that the algebra Y (a) also coincides with the centre of S(a) for its natural Poisson structure (and that is why it is sometimes also called the Poisson centre of S(a) or of a for short). Moreover Y (a) also coincides with the algebra S(a) A of invariants of S(a) under the action of A by automorphisms.

2.2. Algebra of symmetric semi-invariants. An element s ∈ S(a) is called a (symmetric) semi-invariant of a, if there exists λ ∈ a * verifying that, for all x ∈ a, ad x(s) = λ(x)s. We denote by S(a) λ ⊂ S(a) the space of such symmetric semi-invariants. The vector space generated by all symmetric semi-invariants of a will be denoted by Sy(a) : it is a subalgebra of S(a), called the algebra of symmetric semi-invariants of a. A linear form λ ∈ a * such that S(a) λ = {0} is said to be a weight of Sy(a). We denote by Λ(a) the set of weights of Sy(a). It is a semigroup. One has that Sy(a) = λ∈Λ(a) S(a) λ . Since Y (a) = S(a) 0 , one always has that Y (a) ⊂ Sy(a). We will say that a has no proper semi-invariants when all the semiinvariants of a are invariant that is, when Sy(a) = Y (a).

For example, when a = g is a semisimple Lie algebra, then g has no proper semi-invariants. Moreover if h is a Cartan subalgebra of g, we will say that s ∈ S(g) is an h-weight vector if there exists µ ∈ h * such that for all x ∈ h, ad x(s) = µ(x)s. If p is a (standard) parabolic subalgebra of g, then the set of weights Λ(p) of the algebra of semi-invariants Sy(p) of p may be viewed as a subset of h * (see Sect. 3). Hence the h-weight vectors of Sy(p) are exactly the semi-invariants of p.

A special case of a parabolic subalgebra is a Borel subalgebra b = n ⊕ h of g semi-simple, where n denotes the nilpotent radical of b. By [START_REF] Joseph | A preparation theorem for the prime spectrum of a semisimple Lie algebra[END_REF] the algebra of symmetric semi-invariants Sy(b), resp. the algebra of symmetric invariants Y (n) ⊂ Sy(b), is always a polynomial algebra, the former having rank(g) = dim h generators. Moreover both algebras have the same set of weights. (See [17, Tables I andII] and [START_REF] Fauquant-Millet | Semi-centre de l'algèbre enveloppante d'une sousalgèbre parabolique d'une algèbre de Lie semi-simple[END_REF]Table] for an erratum, for an explicit description of weights and degrees of generators).

Canonical truncation.

Since a is algebraic, there exists by [START_REF] Borho | Primideale in Einhüllenden auflösbarer Lie-Algebren (Beschreibung durch Bahnenräume)[END_REF] a canonically defined subalgebra of a, called the canonical truncation of a and denoted by a Λ , such that Y (a Λ ) = Sy(a Λ ) = Sy(a). We also say that a Λ is the truncated subalgebra of a : it is the largest subalgebra of a which vanishes on the weights of Sy(a). In particular, the canonical truncation of a has no proper semi-invariants. By say [35, 29.4.3] a parabolic subalgebra p of a semisimple Lie algebra is algebraic, hence one has that Sy(p) = Y (p Λ ) = Sy(p Λ ) where p Λ is the canonical truncation of p. Moreover a result of Chevalley-Dixmier in [START_REF] Dixmier | Sur les représentations unitaires des groupes de Lie nilpotents II[END_REF]Lem. 7], also known as a theorem of Rosenlicht, implies that

ind p Λ = degtr k (Fract(Y (p Λ ))).
In other words the index ind p Λ of p Λ that is, the minimal codimension of a coadjoint orbit in p * Λ , is also equal to the cardinality of a maximal set of algebraically independent elements in Sy(p) = Y (p Λ ). It is not known in general whether Sy(p) is or not finitely generated, but the transcendence degree of its field of fractions was shown to be finite with an explicit formula given in (1) of subsection 4.1. By [18, 7.9] (see also [8, Chap. I, Sec. B, 8.2]) the algebra of symmetric invariants Y (p) of a proper parabolic subalgebra p in a simple Lie algebra is always reduced to scalars, while by [START_REF] Dixmier | Sur le centre de l'algèbre enveloppante d'une algèbre de Lie[END_REF] its algebra of symmetric semi-invariants Sy(p) is never. That is why we consider the algebra of symmetric semi-invariants Sy(p) = Y (p Λ ) of a parabolic subalgebra p rather than its algebra of symmetric invariants. Moreover the structure of Sy(p) may give informations about the field C(p) of invariant fractions of S(p). Specifically assume that Sy(p) = Y (p Λ ) is a polynomial algebra (freely generated by semi-invariants of p). Then, since we have equality Fract(Y (p Λ )) = C(p Λ ), the latter is obviously a pure transcendental extension of k. Moreover by [START_REF] Ooms | The polynomiality of the Poisson center and semi-center of a Lie algebra and Dixmier's fourth problem[END_REF]Thm. 66] so is also the field C(p), answering positively to Dixmier's fourth problem [START_REF] Dixmier | les grands classiques Gauthier-Villars[END_REF]Problem 4].

2.4. Adapted pairs. An adapted pair for a is a pair (h, y) ∈ a × a * such that ad h(y) = -y, where ad denotes here the coadjoint action of a, h is a semisimple element of a and y is a regular element in a * , that is, there exists a subspace V of a * of minimal dimension such that ad a(y) ⊕ V = a * (the dimension of V is called the index of a, denoted by ind a).

Call an element of a * singular if it is not regular and denote by a * sing the set of singular elements in a * . The set of regular elements in a * is open dense in a * and the codimension of a * sing is always bigger or equal to one. When equality holds the algebra a is said to be singular (nonsingular otherwise). The nonsingularity property is also called in [START_REF] Panyushev | On the coadjoint representation of Z2-contractions of reductive Lie algebras[END_REF]Def. 1.1] the "codimension two property". If (h, y) is an adapted pair for a, then y belongs to the zero set of the ideal of S(a) generated by the homogeneous elements of Y (a) with positive degree. When a admits an adapted pair and has no proper semi-invariants, then it follows by [24, 1.7] that the algebra a is nonsingular. In particular if a is a truncated parabolic subalgebra of a simple Lie algebra g and admits an adapted pair (h, y) then by the above, a is nonsingular.

2.5. Weierstrass sections. A Weierstrass section for coadjoint action of a (see [START_REF] Fauquant-Millet | Adapted pairs and Weierstrass sections[END_REF]) is an affine subspace y + V of a * (with y ∈ a * and V a vector subspace of a * ) such that restriction of functions of S(a) = k[a * ] to y + V induces an algebra isomorphism between Y (a) and the algebra of polynomial functions k[y +V ] on y +V . Of course, since k[y +V ] is isomorphic to S(V * ), the existence of a Weierstrass section for coadjoint action of a implies that the algebra Y (a) is isomorphic to S(V * ) and then that Y (a) is a polynomial algebra (on dim V generators). Moreover, under this isomorphism, a set of homogeneous algebraically independent generators of Y (a) is sent to a basis of V * , hence each element of this set is linearized. In [START_REF] Joseph | An algebraic slice in the coadjoint space of the Borel and the Coxeter element[END_REF] Weierstrass sections were called algebraic slices.

Assume that a has no proper semi-invariants, admits an adapted pair (h, y), and that the algebra of symmetric invariants Y (a) is polynomial. Then by [24, 2.3], for any ad h-stable complement V of ad a(y) in a * , the affine subspace y + V is a Weierstrass section for coadjoint action of a.

Suppose now that a = p Λ is the canonical truncation of a proper parabolic subalgebra p in a simple Lie algebra. By [START_REF] Fauquant-Millet | Semi-centre de l'algèbre enveloppante d'une sousalgèbre parabolique d'une algèbre de Lie semi-simple[END_REF] there exist a lower and an upper bounds for the formal character of Sy(p) = Y (p Λ ) (see also Sect. 4). Assume that these bounds coincide. This implies by [START_REF] Fauquant-Millet | Semi-centre de l'algèbre enveloppante d'une sousalgèbre parabolique d'une algèbre de Lie semi-simple[END_REF] that Y (p Λ ) is a polynomial algebra over k. Assume further that we have constructed an adapted pair for p Λ . Thus by the above, this adapted pair provides a Weierstrass section for coadjoint action of p Λ . This method will be used in roughly half of the cases we will consider in this paper.

2.6. Affine slice. An affine slice to the coadjoint action of a is an affine subspace y +V of a * such that A.(y +V ) is dense in a * and y +V meets every coadjoint orbit in A.(y + V ) at exactly one point and transversally. Assume that a has no proper semi-invariants. Then if there exists a Weierstrass section y + V ⊂ a * for coadjoint action of a, one has by [13, 3.2] that y + V is an affine slice to the coadjoint action of a. The converse does not hold in general, but if (y + V ) sing := (y + V ) ∩ a * sing is of codimension at least two in y + V then it holds by [13, 3.3]. One may also find in [START_REF] Joseph | An algebraic slice in the coadjoint space of the Borel and the Coxeter element[END_REF] more details on affine slices. 2.7. The reductive case. Take a = g semisimple. Then there exists a principal sl 2 -triple (x, h, y) of g with h ∈ g a semisimple element and x and y regular in g g * , such that [h, y] = -y. Then the pair (h, y) is an adapted pair for g. Denote by g x the centralizer of x in g. Then by [START_REF] Kostant | Lie group representations on polynomial rings[END_REF] y + g x is a Weierstrass section and also an affine slice to the coadjoint action of g. It is called the Kostant slice or Kostant section. Assume that a has no proper semi-invariants and is nonsingular (which is the case by 2.4 when a admits an adapted pair for instance). Let f 1 , . . . , f l be l = ind a homogeneous algebraically independent elements of Y (a). Then by [START_REF] Panyushev | On the coadjoint representation of Z2-contractions of reductive Lie algebras[END_REF]Thm. 1.2] (deg)

l i=1 deg(f i ) ≥ c(a).
Moreover by [24, 5.6] and [START_REF] Panyushev | On the coadjoint representation of Z2-contractions of reductive Lie algebras[END_REF]Thm. 1.2], equality holds in (deg) if and only if Y (a) is generated by f 1 , , . . . , f l .

In particular when a = p Λ is the canonical truncation of a parabolic subalgebra p then by the above the existence of a Weierstrass section for coadjoint action of p Λ , given by an adapted pair for p Λ , implies that equality holds in (deg) for a set of ind p Λ homogeneous algebraically independent elements of Y (p Λ ).

Notation.

Let g be a semisimple Lie algebra over k and h be a fixed Cartan subalgebra of g. Let ∆ be the set of roots of g (or root system of g) with respect to h and π a chosen set of simple roots. Denote by ∆ ± the subset of ∆ formed by the positive, resp. negative, roots of ∆, with respect to π.

With each root α ∈ ∆ is associated a root vector space g α and a nonzero root vector x α ∈ g α . For all A ⊂ ∆, set g A = α∈A g α and -A = {γ ∈ ∆ | -γ ∈ A}. We denote by α ∨ the coroot associated with the root α ∈ ∆. Then (α ∨ ) α∈π is a basis for the k-vector space h. We denote by n, resp. n -, the subalgebra of g such that n = g ∆ + , resp. n -= g ∆ -. We have the following triangular decomposition

g = n ⊕ h ⊕ n -.
A standard parabolic subalgebra of g is given by the choice of a subset π of π. That is why we may denote it by p π . Let ∆ ± π denote the subset of ∆ ± associated to π , namely

∆ ± π = ±Nπ ∩ ∆ ± . Set n ± π = g ∆ ± π
.

Then

p π = n ⊕ h ⊕ n - π . Moreover p - π = n + π ⊕ h ⊕ n -is the opposite algebra of p π .
Via the Killing form K on g, the dual space p * π of p π is isomorphic to p - π which is then endowed with the coadjoint action of p π . We denote by ( , ) the non-degenerate symmetric bilinear form on h * × h * , induced by the Killing form on h × h, and denote by H : h -→ h * the isomorphism induced by the latter. The form ( , ) is invariant under the action of the Weyl group of (g, h). If g is simple of type B n , C n or D n , resp.

A n , we may also view the form ( , ) as a scalar product on R n , resp. on R n+1 . For all γ, γ ∈ h * , one has that γ(H -1 (γ )) = (γ, γ ). We have that H(α ∨ ) = 2α/(α, α), for all α ∈ ∆ so that, for all α, β ∈ ∆, we have that β(α ∨ ) = (2α/(α, α), β).

We use Bourbaki's labelling for the roots, as in [2, Planches I, resp. II, resp. III, resp. IV] when g is simple of type A n , resp. B n , resp. C n , resp. D n . We then set π = {α 1 , . . . , α n } and denote by i , or sometimes α i , 1 ≤ i ≤ n, the fundamental weight associated with α i . Similarly, if π = {α i 1 , . . . , α ir } ⊂ π we denote by i j , or sometimes α i j , the fundamental weight associated with α i j with respect to π .

We denote by ε i , 1 ≤ i ≤ n, resp. 1 ≤ i ≤ n + 1, the elements of an orthonormal basis of R n , resp. R n+1 , with respect to the scalar product ( , ) and according to which the simple roots α i , 1 ≤ i ≤ n, are expanded as in [2, Planches II, III, IV, resp. I] for type B n , C n , D n , resp. A n .

Recall the definition of the canonical truncation given in 2.3 and denote by p π , Λ the canonical truncation of p π . Then one has that

p π , Λ = n ⊕ h Λ ⊕ n - π
where h Λ ⊂ h is the largest subalgebra of h which vanishes on Λ(p π ), the set of weights of Sy(p π ) which may be identified with a subset of h * . For an explicit description of h Λ , see [12, 5.2.2, 5.2.9 and 5.2.10] or [14, 2.2]. Denote by p π the derived subalgebra of p π and set h = h ∩ p π . Then h is the vector space generated by the coroots α ∨ with α ∈ π and h ⊂ h Λ . Let w 0 be the longest element of the Weyl group of (g, h). If w 0 = -Id then h Λ = h . In particular if g is simple of type B n , C n , or D 2m , then we have that h Λ = h . Now assume that g is simple of type D n with n odd. Then if both α n-1 and α n do not belong to π , we have that

h Λ = h ⊕ kH -1 ( n -n-1 ) = h ⊕ kH -1 (ε n ) = h ⊕ k(α ∨ n -α ∨ n-1 ), otherwise h Λ = h .
For convenience we will replace p π by its opposite algebra p - π (simply denoted by p from now on) and we will consider the canonical truncation

p Λ = p - π , Λ of p = p - π . We have that p Λ = p - π , Λ = n -⊕ h Λ ⊕ n + π
and its dual space p * Λ may be identified via the Killing form K on g with p π , Λ (since by [12, 5.2.2, 5.2.9] the restriction of K to h Λ × h Λ is non-degenerate).

We will denote by g the Levi subalgebra of p (and of p Λ ), namely :

g = n + π ⊕ h ⊕ n - π .
Then w 0 will denote the longest element of the Weyl group of (g , h ).

4.

Bounds for formal character.

Keep the notation of previous Section. A h-module M is called a weight module if M = ⊕ ν∈h * M ν , with finite dimensional weight subspaces M ν := {m ∈ M | ∀h ∈ h, h.m = ν(h)m}. For a weight module M one defines the formal character ch M of M as follows :

ch M = ν∈h * dim M ν e ν
where e µ+ν = e µ e ν for all µ, ν ∈ h * . Obviously the formal character is multiplicative on tensor products that is, if M and N are weight modules, then

ch (M ⊗ N ) = ch M ch N.
Hence if A ⊂ S(p) is a polynomial algebra with algebraically independent h-weight generators a i , 1 ≤ i ≤ l, each of them having a nonzero weight

λ i ∈ h * , then ch A = 1≤i≤l (1 -e λ i ) -1 .
Moreover for weight modules M and N , we write ch M ≤ ch N if dim M ν ≤ dim N ν for all ν ∈ h * . Hence if M ⊂ N , then ch M ≤ ch N and if equality holds then M = N .

We will specify below (see subsection 4.4) the lower and upper bounds for ch Y (p Λ ) mentioned in subsection 2.5. For this, we have to summarize results in [START_REF] Fauquant-Millet | Sur les semi-invariants d'une sous-algèbre parabolique d'une algèbre enveloppante quantifiée[END_REF], [START_REF] Fauquant-Millet | Semi-centre de l'algèbre enveloppante d'une sousalgèbre parabolique d'une algèbre de Lie semi-simple[END_REF], [START_REF] Fauquant-Millet | La somme des faux degrés -un mystère en théorie des invariants[END_REF] and [START_REF] Joseph | On semi -invariants and index for biparabolic (seaweed) algebras II[END_REF]. 4.1. Let i and j be involutions of π defined as in [12, 5.1] or as in [14, 2.2]. More precisely j = -w 0 and i(α) = -w 0 (α) for all α ∈ π . If now α ∈ π \ π , then i(α) = j(α) if j(α) ∈ π , and otherwise i(α) = j(ij) r (α) where r is the smallest integer such that j(ij) r (α) ∈ π . Let E(π ) be the set of ij -orbits in π. By [12, 2.5] and [10, 3.2], we have that [START_REF] Borho | Primideale in Einhüllenden auflösbarer Lie-Algebren (Beschreibung durch Bahnenräume)[END_REF] ind (2)

p Λ = degtr k (Fract(Y (p Λ ))) = |E(π )|.
δ Γ = - γ∈Γ γ - γ∈j(Γ) γ + γ∈Γ∩π γ + γ∈i(Γ∩π ) γ .
Note that, for all Γ ∈ E(π ), one has that i(Γ ∩ π ) = j(Γ) ∩ π by [11, 3.2.2]. 4.3. Let Γ ∈ E(π ). One sets d Γ = γ∈Γ γ and d Γ = γ∈Γ∩π γ and one denotes by B π := Λ(n ⊕ h) ⊂ h * , resp. B π := Λ(n + π ⊕ h ) ⊂ h * the set of weights of the polynomial algebra of symmetric semi-invariants Sy(n ⊕ h), resp. Sy(n + π ⊕ h ) : generators of the set B π (and then also of B π ) are given in [START_REF] Joseph | A preparation theorem for the prime spectrum of a semisimple Lie algebra[END_REF]Table I and II] and in [START_REF] Fauquant-Millet | Semi-centre de l'algèbre enveloppante d'une sousalgèbre parabolique d'une algèbre de Lie semi-simple[END_REF]Table]. The set B π , resp. B π , is equal to the set of weights of the polynomial algebra Y (n), resp. Y (n + π ), see below subsection 4.5.

Then following [11, 3.2.7] one sets

(3) ε Γ = 1/2 if Γ = j(Γ) and d Γ ∈ B π and d Γ ∈ B π 1 otherwise.
Below we give some details on the set B π , resp. B π . For a real number x, denote by [x] the integer such that x -

1 < [x] ≤ x. Assume that g is simple of type B n , with n ≥ 2. Recall that j = Id π . Let α ∈ π. If α = α 2k with 1 ≤ k ≤ [(n -1)/2], then 2k ∈ B π . Otherwise 2 α ∈ B π but α ∈ B π .
Now assume that g is simple of type D n , with n ≥ 4. Then the same as above is true for the first n -2 simple roots. Moreover if n is even then j = Id π and if n is odd, then j(α n-1 ) = α n and j is the identity if restricted to the n -2 first simple roots. In both cases, if α ∈ {α n-1 , α n }, then

α + j(α) ∈ B π but α ∈ B π . If g is simple of type C n , with n ≥ 2, then, for all 1 ≤ i ≤ n, 2 i ∈ B π but i ∈ B π .
Finally if α belongs to a connected component of π of type A, then α + i(α) ∈ B π but α ∈ B π .

4.4. Assume from now on that g is simple and that the parabolic subalgebra p is proper that is, π π. By [START_REF] Joseph | On semi -invariants and index for biparabolic (seaweed) algebras II[END_REF]Thm. 6.7] (see also [11, 7.1]) one has that (4)

Γ∈E(π ) (1 -e δ Γ ) -1 ≤ ch (Y (p Λ )) ≤ Γ∈E(π ) (1 -e ε Γ δ Γ ) -1 .
Assume now that both bounds in (4) coincide that is, that ε Γ = 1 for all Γ ∈ E(π ). For example, it occurs when g is simple of type A or C. Then one deduces that Sy(p) = Y (p Λ ) is a polynomial algebra over k on |E(π )| homogeneous and h-weight algebraically independent generators. One generator corresponds to every Γ ∈ E(π ) and has a weight δ Γ given by ( 2) above (recall that one has assumed that the parabolic subalgebra p contains the negative Borel subalgebra n -⊕ h) and a degree ∂ Γ which may be easily computed by [11, 5.4.2]. To explain how one may compute this degree (see [START_REF] Dixmier | Sur les représentations unitaires des groupes de Lie nilpotents II[END_REF] or (6) below), we have to recall results in subsection below. 4.5. By [START_REF] Joseph | A preparation theorem for the prime spectrum of a semisimple Lie algebra[END_REF]

Y (n + π ) ⊂ Sy(n + π ⊕ h ), resp. Y (n) ⊂ Sy(n ⊕ h)
, is a polynomial algebra whose set of homogeneous and h -weight, resp. h-weight, algebraically independent generators is formed by the elements a ρ γ , resp. a ργ : their weight ρ γ , resp. ρ γ , and their degree are given in [START_REF] Joseph | A preparation theorem for the prime spectrum of a semisimple Lie algebra[END_REF]Table I and II] and in [START_REF] Fauquant-Millet | Semi-centre de l'algèbre enveloppante d'une sousalgèbre parabolique d'une algèbre de Lie semi-simple[END_REF]Table] and we precise them below. Recall the sets B π , resp. B π , of subsection 4.3 and that these sets are also the sets of weights of Y (n + π ), resp. of Y (n). One has that, for all γ ∈ π , resp. γ ∈ π,

ρ γ = γ if γ ∈ B π , resp. ρ γ = γ if γ ∈ B π .
Otherwise

ρ γ = γ + i(γ) , resp. ρ γ = γ + j(γ) .
Assume that g is simple of type B n , resp.

D n . For all 1 ≤ u ≤ [(n -1)/2], resp. 1 ≤ u ≤ [(n -2)/2], one has that deg(a ρα 2u ) = deg(a 2u ) = u and for all 1 ≤ u ≤ [n/2], resp. 1 ≤ u ≤ [(n -1)/2], deg(a ρα 2u-1 ) = deg(a 2 2u-1 ) = 2u. Moreover for g of type B n , deg(a ρα n ) = deg(a 2 n ) = [(n + 1)/2].
For g of type D n , then for α ∈ {α n-1 , α n }, one has that

deg(a ρα ) = deg(a α+ j(α) ) = [n/2].
Finally assume that g is simple of type A n , resp. C n . Then for all 1 ≤ u ≤ [(n + 1)/2], resp. for all 1 ≤ u ≤ n, one has that deg(a ρα u ) = deg(a u+ n+1-u ) = u, resp. deg(a ρα u ) = deg(a 2 u ) = u. 4.6. Assume now that, for all Γ ∈ E(π ), one has ε Γ = 1.

Let Γ ∈ E(π ) be such that Γ = j(Γ). The degree ∂ Γ of the homogeneous generator of Y (p Λ ) corresponding to Γ verifies [START_REF] Dixmier | Sur les représentations unitaires des groupes de Lie nilpotents II[END_REF]

∂ Γ = γ∈Γ|ργ = γ 2 deg(a ργ ) + γ∈Γ|ργ = γ deg(a ργ )+ γ∈Γ∩π |ρ γ = γ 2 deg(a ρ γ ) + γ∈Γ∩π |ρ γ = γ deg(a ρ γ ). Let Γ ∈ E(π ) be such that Γ = {α} with α ∈ π \ π and i(α) = α.
Then necessarily one has that Γ = j(Γ) (by [12, 5.2.6]) and there exist two homogeneous generators s Γ and t Γ of Y (p Λ ) corresponding to Γ (more precisely one corresponds to Γ and the other to j(Γ)) whose weight δ Γ = δ j(Γ) is given by (2) and whose degree ∂ Γ , resp. ∂ j(Γ) , is given by the formula :

(6) ∂ Γ = deg(s Γ ) = deg(a ρα ) and ∂ j(Γ) = deg(t Γ ) = deg(a ρα ) + 1.
The latter situation can occur when g is simple of type D n with n odd and when both α n-1 and α n do not belong to π (see Sect. 14).

Improved upper bound.

Keep the notation and hypotheses of Section 3 and assume that p Λ admits an adapted pair (h, y) ∈ h Λ × p * Λ . Since y is regular in p * Λ there exists an ad h-stable complement V to ad p Λ (y) in p * Λ of dimension ind p Λ . Moreover by [13, 2.2.4] we may assume that V = g T with T ⊂ ∆ + ∆ - π that is, ad p Λ (y) ⊕ g T = p * Λ with |T | = ind p Λ . Assume further that y = γ∈S x γ with S ⊂ ∆ + ∆ - π and that S |h Λ is a basis for h * Λ . Then for each γ ∈ T , there exists a unique element s(γ) ∈ QS such that γ + s(γ) vanishes on h Λ . By [START_REF] Joseph | Compatible adapted pairs and a common slice theorem for some centralizers[END_REF]Lem. 6.11], one has that [START_REF] Dixmier | les grands classiques Gauthier-Villars[END_REF] ch

(Y (p Λ )) ≤ γ∈T (1 -e -(γ+s(γ)) ) -1 .
The right hand side of the above inequality is called an improved upper bound for ch (Y (p Λ )).

Assume now that ( 8)

Γ∈E(π ) (1 -e δ Γ ) -1 = γ∈T (1 -e -(γ+s(γ)) ) -1 .
Then by (4) of Sect. 4 equality holds in [START_REF] Dixmier | les grands classiques Gauthier-Villars[END_REF] and by [START_REF] Joseph | Compatible adapted pairs and a common slice theorem for some centralizers[END_REF]Lem. 6.11] the restriction map gives an isomorphism

Y (p Λ ) ∼ → k[y + g T ].
Then y + g T is a Weierstrass section for coadjoint action of p Λ as defined in 2. 5. This implies that Y (p Λ ) is a polynomial algebra over k on |E(π )| = |T | algebraically independent homogeneous and h-weight generators, each of them having δ Γ , for Γ ∈ E(π ), as a weight, given by (2) of Sect. 4 (this weight is also equal to -(γ + s(γ)), for some γ ∈ T ). Moreover the degree of each of these generators is equal to

1 + |s(γ)|, γ ∈ T , where |s(γ)| = α∈S m α, γ if s(γ) = α∈S m α, γ α (m α, γ ∈ N, actually)
. For all γ ∈ T , the integer |s(γ)| is also equal to the eigenvalue of x γ with respect to ad h. (For more details, see [21, 6.11]).

Conversely if y + g T is a Weierstrass section for coadjoint action of p Λ , then equality holds in [START_REF] Dixmier | les grands classiques Gauthier-Villars[END_REF] by [START_REF] Joseph | Compatible adapted pairs and a common slice theorem for some centralizers[END_REF]Remark 6.11].

Construction of an adapted pair.

As we already said in the previous sections, our Weierstrass sections require the construction of an adapted pair. This construction uses the notions we already introduced in [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF], [START_REF] Fauquant-Millet | Slices for maximal parabolic subalgebras of a semisimple Lie algebra[END_REF] and [START_REF] Fauquant-Millet | Polynomiality for the Poisson centre of truncated maximal parabolic subalgebras[END_REF]. For convenience we recall some of them, notably the Heisenberg sets and the Kostant cascades.

6.1. Heisenberg sets and Kostant cascades. A Heisenberg set with centre γ ∈ ∆ ([9, Def. 7]) is a subset Γ γ of ∆ such that γ ∈ Γ γ and for all α ∈ Γ γ \ {γ}, there exists a (unique) α ∈ Γ γ \ {γ} such that α + α = γ. We may take care to not be confused by the above notation of a Heisenberg set and an element Γ ∈ E(π ), resp. Γ u ∈ E(π ), which denotes an ij -orbit in π, the ij -orbit of α u ∈ π.

A typical example of Heisenberg set is given by the Kostant cascade of g (see also [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF]Example 8]). More precisely assume that the semisimple Lie algebra g admits a set of roots ∆ = i∈I ∆ i with I ⊂ N * , each ∆ i being a maximal irreducible root system with highest root β i . Then take

(∆ i ) β i = {α ∈ ∆ i | (α, β i ) = 0}. For every i ∈ I, set (∆ i ) β i = j∈J ∆ ij with J ⊂ N * and ∆ ij being a maximal irreducible root system with highest root β ij . Continuing we obtain a subset K(g) ⊂ N * ∪ N * 2 ∪ . . . with Card K(g) ≤ rank g, irreducible root systems ∆ K , K ∈ K(g) and a maximal set β π of strongly orthogonal positive roots β K , K ∈ K(g), called the Kostant cascade of g. The subset K(g) admits a partial order ≤ through K ≤ L if K = L or if L = {K, l 1 , . . . , l t } with l i ∈ N * .
In type A or C, this order is actually a total order, since the sets (∆ K ) β K are already irreducible. So one can index the subset β π of ∆ + simply by N in these types, so that the roots in β π are simply denoted by β i , 1 ≤ i ≤ Card K(g). In type B or D, the order is not total. In type B n or D 2n+1 , resp. D 2n , for the elements β K , K ∈ K(g), we use the notation β i , β i , resp. β i , β i , β i with order relation i < i , resp. i < i and i < i . For more details, see for example [START_REF] Fauquant-Millet | Semi-centre de l'algèbre enveloppante d'une sousalgèbre parabolique d'une algèbre de Lie semi-simple[END_REF]Table], [14, Table I], [START_REF] Fauquant-Millet | Polynomiality for the Poisson centre of truncated maximal parabolic subalgebras[END_REF]Sect. 7] or [17, Tables I, II, III].

Let β K be an element of the Kostant cascade β π of g and set

H β K = {α ∈ ∆ K | (α, β K ) > 0}.
Then H β K is a Heisenberg set with centre β K : it is the largest Heisenberg set with centre β K which is included in ∆ + by ii) of Lemma below. Moreover the vector subspace g H β K of g associated with H β K (with the notation in Sect. 3) is a Heisenberg Lie subalgebra of g by iv) of Lemma below. Of course all the Heisenberg sets are not necessarily associated with Heisenberg Lie subalgebras and even not with Lie subalgebras of g, since iv) of Lemma below need not be true for a Heisenberg set in general. By [17, Lem. 2.2] (see also [START_REF] Fauquant-Millet | Slices for maximal parabolic subalgebras of a semisimple Lie algebra[END_REF]Lem. 3]) we have the following Lemma, which is very useful to construct adapted pairs thanks to the Kostant cascade β π and to the largest Heisenberg sets H β , β ∈ β π , which are defined above.

Lemma. [17, Lem. 2.2]

Let β π denote the Kostant cascade of g. Then we have that :

i) ∆ + = β∈βπ H β (disjoint union). ii) If γ, δ ∈ ∆ + are such that γ + δ = β ∈ β π then γ, δ ∈ H β \ {β}. iii) If γ ∈ H β K and δ ∈ H β L are such that γ + δ ∈ H β M with K, L, M ∈ K(g), then K ≤ L (resp. L ≤ K) and M = K (resp. M = L). iv) If γ, δ ∈ H β , β ∈ β π , and γ + δ ∈ ∆ then γ + δ = β.
For an explicit description of Kostant cascades, see for example [START_REF] Fauquant-Millet | Slices for maximal parabolic subalgebras of a semisimple Lie algebra[END_REF], [START_REF] Fauquant-Millet | Polynomiality for the Poisson centre of truncated maximal parabolic subalgebras[END_REF] or [START_REF] Joseph | A preparation theorem for the prime spectrum of a semisimple Lie algebra[END_REF]. The Heisenberg sets (not only the largest Heisenberg sets H β , β ∈ β π ) are very helpful for the construction of an adapted pair. They were used in [START_REF] Joseph | Slices for biparabolic coadjoint actions in type A[END_REF], resp. in [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF], [START_REF] Fauquant-Millet | Slices for maximal parabolic subalgebras of a semisimple Lie algebra[END_REF] and [START_REF] Fauquant-Millet | Polynomiality for the Poisson centre of truncated maximal parabolic subalgebras[END_REF], to build adapted pairs for every truncated biparabolic subalgebra in a simple Lie algebra of type A, resp. for truncated maximal parabolic subalgebras. Below is a proposition where Heisenberg sets appear to be crucial for constructing an adapted pair.

6.2.

A proposition of regularity. The following proposition (see [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF]Prop. 9]) is a generalization of [START_REF] Joseph | Slices for biparabolic coadjoint actions in type A[END_REF]Thm. 8.6]. We keep the notation of Sect. 3 and consider S, T and T * disjoint subsets of ∆ + ∆ - π and set y = γ∈S x γ . Proposition. [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF]Prop. 9] We assume that, for each γ ∈ S, there exists Γ γ ⊂ ∆ + ∆ - π a Heisenberg set with centre γ and that all the sets Γ γ , for γ ∈ S, together with T and T * are disjoint.

We also assume that we can decompose S into S + S -where S + , resp. S -, is the subset of S containing those γ ∈ S with

Γ γ ⊂ ∆ + , resp. Γ γ ⊂ ∆ - π . For all γ ∈ S, set Γ 0 γ = Γ γ \ {γ}, O = γ∈S Γ 0 γ and O ± = γ∈S ± Γ 0 γ .
We assume further that :

(i) S |h Λ is a basis for h * Λ . (ii) If α ∈ Γ 0 γ with γ ∈ S + , is such that there exists β ∈ O + , with α + β ∈ S, then β ∈ Γ 0 γ and α + β = γ. (iii) If α ∈ Γ 0 γ with γ ∈ S -, is such that there exists β ∈ O -, with α + β ∈ S, then β ∈ Γ 0 γ and α + β = γ. (iv) ∆ + ∆ - π = γ∈S Γ γ T T * . (v) For all α ∈ T * , g α ⊂ ad p Λ (y) + g T . (vi) |T | = ind p Λ .
Then y is regular in p * Λ and ad p Λ (y) ⊕ g T = p * Λ . Moreover we can uniquely define h ∈ h Λ by γ(h) = -1 for all γ ∈ S, and then (h, y) is an adapted pair for p Λ .

We give below the proof of the above proposition for the reader's convenience.

Proof. Condition (iv) implies that p

Λ = h Λ ⊕ g -O ⊕ g -S ⊕ g -T * ⊕ g -T and that p * Λ = h Λ ⊕ g O ⊕ g S ⊕ g T * ⊕ g T . Let Φ y denote the skew-symmetric bilinear form defined by Φ y (x, x ) = K(y, [x, x ]
) for all x, x ∈ g where recall K is the Killing form on g.

Conditions (ii) and (iii) imply by [START_REF] Joseph | Slices for biparabolic coadjoint actions in type A[END_REF]Lem. 8.5] that the restriction of

Φ y to g -O × g -O is non-degenerate. Then g O ⊂ ad g -O (y) + h Λ + g S + g T + g T * .
But since O ∩ S = ∅ one has that for all x ∈ g O and x ∈ g -O , the element x -ad x (y) belongs to the orthogonal of h Λ for the Killing form. Then

g O ⊂ ad g -O (y) + g S + g T + g T * . Condition (i) implies that g S = ad h Λ (y) and that h Λ ⊂ ad g -S (y) + g O + g S + g T + g T * . Condition (v) implies that g T * ⊂ ad p Λ (y) + g T . Hence p * Λ = h Λ ⊕ g O ⊕ g S ⊕ g T * ⊕ g T ⊂ ad p Λ (y) + g T . Finally condition (vi) implies that the latter sum is direct, since dim g T = ind p Λ ≤ codim ad p Λ (y).
Remarks.

(1) Notice that [START_REF] Joseph | Slices for biparabolic coadjoint actions in type A[END_REF]Thm. 8.6] is a special case of the above Proposition, with T * = ∅. Here we need to take sometimes a set T * = ∅ as in [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF].

(2) In [15, Lem. 3.2 and Lem. 6.1] lemmas were given to insure condition (v) in the above Proposition. In this paper, as in [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF], we verify by hand that condition (v) of the above Proposition is satisfied, using if necessary Lemma and Prop. 6.3 below. (3) Assume that there exists an adapted pair (h, y) for p Λ and denote by g T a complement of ad p Λ (y) in p * Λ , with

T ⊂ ∆ + ∆ - π . (a) Assume further that ε Γ = 1 for all Γ ∈ E(π ) (as defined in (3)
of Sect. 4). Then Y (p Λ ) is a polynomial algebra and by what we said in subsection 2.5 one has that y + g T is a Weierstrass section for coadjoint action of p Λ (since g T is ad h-stable). (b) Assume now that there exists

Γ ∈ E(π ) such that ε Γ = 1/2.
Assume further that (8) of Sect. 5 holds. Then by what we said in Sect. 5, y + g T is a Weierstrass section for coadjoint action of p Λ .

6.3. Condition (v) of Prop. 6.2. Keeping the notation of Sect. 3, we consider S, T, T * ⊂ ∆ + ∆ - π three disjoint subsets and y = α∈S x α . We give in the Proposition below a sufficient condition which implies condition (v) of Prop. 6.2 for some roots α ∈ T * . Recall Sect. 3 that for all α ∈ ∆, we have fixed a nonzero root vector x α ∈ g α , that we will rescale if necessary, except those associated with the roots α ∈ S, since y = α∈S x α is fixed.

Lemma. Let γ 1 , γ 2 , γ 3 ∈ S and γ 1 , γ 2 , γ 3 ∈ (∆ -∆ + π ) \ S such that (1) γ i + γ i ∈ (∆ + ∆ - π ) \ S for all 1 ≤ i ≤ 3 (2) γ 2 + γ 2 = γ 1 + γ 3 (3) γ 3 + γ 3 = γ 2 + γ 1 (4) γ 1 + γ 1 + γ 2 ∈ ∆ (5) γ 1 + γ 2 ∈ ∆, γ 2 + γ 3 ∈ ∆, γ 1 + γ 3 ∈ ∆.
Then γ 1 +γ 1 = γ 3 +γ 2 and up to rescaling the nonzero root vectors x γ i ∈ p Λ for all 1 ≤ i ≤ 3 and the nonzero root vectors

x γ i +γ i ∈ p * Λ for all 1 ≤ i ≤ 3, we have that (Σ)      [x γ 1 , x γ 1 ] = [x γ 2 , x γ 3 ] = x γ 1 +γ 1 [x γ 2 , x γ 2 ] = [x γ 3 , x γ 1 ] = x γ 2 +γ 2 [x γ 3 , x γ 3 ] = [x γ 1 , x γ 2 ] = x γ 3 +γ 3
Proof. The equality γ 1 + γ 1 = γ 3 + γ 2 comes directly from the equalities (2) and (3). Moreover the rescaling of the nonzero root vectors x γ i and x γ i +γ i (which is possible since the roots γ i and γ i + γ i do not belong to S) gives for example the last two equalities of (Σ). Then we obtain the first one, since we prove easily that

[x γ 1 , x γ 1 ] = [x γ 2 , x γ 3 ].
Indeed by applying Jacobi identity several times, it is easy to prove, under the assumptions, that

[[x γ 1 , x γ 1 ], x γ 2 ] = [[x γ 2 , x γ 3 ], x γ 2 ]
and using (4) one can conclude.

We then have directly the following proposition.

Proposition. Let γ i and γ i , for 1 ≤ i ≤ 3, be roots satisfying the hypotheses of previous lemma. Recall that y = γ∈S x γ and let X, X , X be vectors in p * Λ such that, after a possible rescaling of some suitable root vectors, we have

     ad x γ 1 (y) = x γ 1 +γ 1 + x γ 3 +γ 3 + X ad x γ 2 (y) = x γ 1 +γ 1 + x γ 2 +γ 2 + X ad x γ 3 (y) = x γ 2 +γ 2 + x γ 3 +γ 3 + X with      X ∈ V ect(x γ 1 +γ 1 , x γ 3 +γ 3 ) \ {0} X ∈ V ect(x γ 1 +γ 1 , x γ 2 +γ 2 ) \ {0} X ∈ V ect(x γ 2 +γ 2 , x γ 3 +γ 3 ) \ {0}. If X, X , X ∈ ad p Λ (y) + g T , then x γ i +γ i ∈ ad p Λ (y) + g T for all 1 ≤ i ≤ 3.
Actually we will apply the previous proposition with X, X , X being vectors for which it will be immediate to verify that they belong to ad p Λ (y)+ g T by direct computation. Moreover one of the γ i + γ i will belong to the subset T * . See for example proof of Lemma 9.3. 6.4. The Kostant cascade in type A. Keep the notation of Sect. 3 and assume that g is a simple Lie algebra of type B n , C n or D n . We consider p = n -⊕ h ⊕ n + π the standard parabolic subalgebra of g containing the negative Borel subalgebra b -= n -⊕ h and associated to the subset π ⊂ π. Recall that we are interested in studying p which is equal to p s, , resp. p , resp. q s, with s ∈ N * and ∈ N, as defined in subsection 1.2. Then the subset π associated to

p is π = π \ {α s , α s+2 , . . . , α s+2 } with 1 ≤ s ≤ n -2 , resp. π = π \ {α n-1-2 , . . . , α n-1 , α n } and g of type D n , resp. π = π \ {α s , α s+2 , . . . , α s+2 , α n-1 , α n } with s + 2 ≤ n -2 and g of type D n .
If s ≥ 2 and in the cases of p s, or of q s, , π 1 = {α 1 , α 2 , . . . , α s-1 } will denote the connected component of π of type A s-1 and in the case of p ,

π 1 = {α 1 , α 2 , . . . , α n-2-2 } will denote the connected component of π of type A n-2-2 , if n -2 -2 ≥ 1.
To keep homogeneous notation we will set in this subsection s = n -1 -2 when we are in the latter case. We denote by β π 1 the Kostant cascade (see 6.1) of the simple Lie subalgebra g π 1 of the Levi subalgebra g of p which is of type A s-1 . We also denote by π 1 ∨ the subset of h formed by the coroots α ∨ with α ∈ π 1 and by ∆ +

π 1 := ∆ + ∩ Nπ 1 .
We have that

β π 1 = {β i = ε i -ε s+1-i | 1 ≤ i ≤ [s/2]} ⊂ ∆ + π 1 . Set β 0 π 1 := β π 1 \ (β π 1 ∩ π 1 ). If s is odd, then β 0 π 1 = β π 1 and if s is even, then β 0 π 1 = {β i | 1 ≤ i ≤ (s -2)/2}.
{h j } = {h 2j-1 = α ∨ 2j-1 , h 2j = α ∨ s-2j ; 1 ≤ j ≤ t -1, h 2t-1 = α ∨ 2t-1 }. If t = (s -2)/4 with s even, resp. t = (s -1)/4 with s odd, then {h j } = {h 2j-1 = α ∨ 2j-1 , h 2j = α ∨ s-2j ; 1 ≤ j ≤ t}. Lemma. Let A be the square matrix of size [(s -1)/2] which entries are -β i (h j ) with 1 ≤ i, j ≤ [(s -1)/2].
Then A is a lower triangular matrix with -1 on the diagonal. Hence det A = (-1)

[(s-1)/2] .
Proof. Recall the construction of the Kostant cascade of g π 1 (see 6.1). Set

∆ + 1 = ∆ + π 1 , then set ∆ + 2 = {α ∈ ∆ + 1 ; (α, β 1 ) = 0}.
Here β 1 is the highest root of g π 1 and

β 1 = 1 + s-1 . Then ∆ + 2 = ∆ + 1 ∩ Nπ 2 where π 2 = π 1 \{α 1 , α s-1 }. Continuing we set ∆ + i+1 = {α ∈ ∆ + i ; (α, β i ) = 0} where β i is the highest root of ∆ + i . Then we have that ∆ + i+1 ⊂ ∆ + i ⊂ • • • ⊂ ∆ + 1
and then (β i , α) = 0 for all α ∈ ∆ + j with j > i. Finally observe that, for all

1 ≤ j ≤ [(s + 1)/4], α 2j-1 ∈ ∆ + 2j-1 , α s-2j ∈ ∆ + 2j , β 2j-1 (α ∨ 2j-1 ) = (β 2j-1 , α 2j-1 ) = 1 and that β 2j (α ∨ s-2j ) = (β 2j , α s-2j ) = 1 while 2j ≤ (s -1)/2.
Hence the lemma.

Some examples.

Before stating the main result (see subsection 1.7), we give below two examples which will enlighten our construction of a Weierstrass section, each of these examples using a different method to obtain the latter from the adapted pair we construct. Thus case 1c of subsection 1.7 (see also Sect. 9) is illustrated by the first example and case 3 of subsection 1.7 (see also Sect. 14) is illustrated by the second example. We keep the notation of Sect. 3.

Comparison of multiplicities. Assume that we have constructed an adapted pair

(h, y) ∈ h Λ × p * Λ for p Λ via Prop. 6.2. Let λ ∈ k and set r = h Λ ⊕ g O ⊕ g S ⊕ g T * ⊂ p * Λ (one has that r ⊕ g T = p * Λ ).
Recall that the endomorphism ad h of p * Λ , resp. of p Λ (with ad the coadjoint action, resp. the adjoint action) is semisimple. Then λ is an eigenvalue of ad h on p * Λ if and only if -λ is an eigenvalue of ad h on p Λ . Write m λ for the multiplicity of λ in r, m λ for the multiplicity of λ in p Λ and m * λ for the multiplicity of λ in p * Λ . Then by the above m -λ = m * λ and obviously m λ ≤ m -λ . Moreover since ad h(y) = -y and that p * Λ = ad p Λ (y) ⊕ g T , we must have that [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF] m λ ≤ m λ+1 (see also [9, 7.1]).

In the examples below, we will check that inequality (9) is satisfied.

7.2. First example. We assume that the Lie algebra g is simple of type B 6 and we set π = π \ {α 2 , α 4 }. Then we consider the parabolic subalgebra p = p - π as defined in Sect. 3. We are then in case 1c of subsection 1.7. We take S = S + S -with

S + = {ε 1 + ε 3 , ε 2 , ε 4 + ε 5 }, S -= {-β 1 = -ε 5 -ε 6 }
where β 1 is an element of the Kostant cascade of g ,

T = {ε 1 + ε 2 , ε 1 -ε 3 , ε 2 + ε 4 , ε 4 -ε 5 , ε 4 -ε 3 , ε 6 -ε 5 }, T * = {ε 2 + ε 6 , ε 2 + ε 5 , ε 2 -ε 1 , ε 2 -ε 5 , ε 2 -ε 4 , ε 2 -ε 3 , ε 6 , ε 2 -ε 6 }.
We set

Γ ε 1 +ε 3 = {ε 1 + ε 3 , ε 1 + ε 4 , ε 3 -ε 4 , ε 1 + ε 5 , ε 3 -ε 5 , ε 1 + ε 6 , ε 3 -ε 6 , ε 1 , ε 3 , ε 1 -ε 6 , ε 3 + ε 6 , ε 1 -ε 5 , ε 3 + ε 5 , ε 1 -ε 4 , ε 3 + ε 4 , ε 1 -ε 2 , ε 2 + ε 3 }, Γ ε 2 = {ε 2 }, Γ ε 4 +ε 5 = {ε 4 + ε 5 , ε 4 + ε 6 , ε 5 -ε 6 , ε 4 , ε 5 , ε 4 -ε 6 , ε 5 + ε 6 }, Γ -ε 5 -ε 6 = {-ε 5 -ε 6 , -ε 5 , -ε 6 } = -H β 1
where H β 1 is the largest Heisenberg set with centre β 1 included in ∆ + π , as defined in 6.1.

By setting y = γ∈S x γ one verifies (see for more details Sect. 9) that all conditions of Proposition 6.2 are satisfied (indeed it is more complicated than what we have to do in the second example). Then h ∈ h such that γ(h) = -1 for all γ ∈ S is :

h = ε 1 -ε 2 -2ε 3 + 2ε 4 -3ε 5 + 4ε 6 = α ∨ 1 -2α ∨ 3 -3α ∨ 5 + 1/2α ∨ 6 .
Hence the pair (h, y) is an adapted pair for p Λ . This adapted pair is not sufficient a priori to give a Weierstrass section for coadjoint action of p Λ , since there is one Γ ∈ E(π ) such that ε Γ = 1/2. But we can easily check that (8) in Sect. 5 holds. Hence by Remark 3b of subsection 6.2 one has that y + g T is a Weierstrass section for coadjoint action of p Λ , and then Y (p Λ ) is a polynomial algebra over k (result which was not yet known since the criterion that ε Γ = 1 for all Γ ∈ E(π ) is here not satisfied).

To convince oneself that (h, y) given above is indeed an adapted pair for p Λ (although the inequality [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF] Here we are in case 3 of subsection 1.7. We take S = S + S -with

S + = {β 1 = ε 1 + ε 2 , β 2 = ε 3 + ε 4 , β 3 = ε 5 + ε 6 , β4 = β 4 -α 8 = ε 7 + ε 9 } and S -= {-β 1 = ε 8 -ε 6 }.
Here

β i = ε 2i-1 + ε 2i (1 ≤ i ≤ 4
) are elements of the Kostant cascade β π of g and β 1 is an element of the Kostant cascade β π of g . More precisely setting

β 0 π = β π \ (β π ∩ π ), we have that S -= -β 0 π . We also set T = {ε 1 -ε 2 , ε 3 -ε 4 , ε 5 -ε 6 , ε 7 + ε 8 , ε 7 -ε 9 , ε 8 -ε 9 , ε 3 -ε 2 , ε 5 -ε 4 } and T * = ∅.
For all 1 ≤ i ≤ 3, we take Γ β i = H β i where H β is the largest Heisenberg set with centre β ∈ β π which is included in ∆ + as defined in subsection 6.1. We set

Γ β4 = { β4 , ε 7 -ε 8 , ε 8 + ε 9 } and Γ -β 1 = -H β 1 where H β 1 ⊂ ∆ + π is the largest Heisenberg set with centre β 1 which is included in ∆ + π . Since H β 4 ∪ H α 7 = Γ β4 (T ∩ H β 4
), Lemma 6.1 i) gives condition (iv) of Prop. 6.2. Moreover Lemma 6.1 ii) and iii) gives conditions (ii) and (iii) of Prop. 6.2. Finally we verify by hand that conditions (i) and (vi) of Prop. 6.2 are satisfied, noting that In this Section we consider truncated parabolic subalgebras described in 1a and in 1b of subsection 1.7. More precisely (with the notation of Sect. 3 and of subsection 1.2) let p = p s, = n -⊕ h ⊕ n + π be a parabolic subalgebra associated to the subset π = π \ {α s , α s+2 , . . . , α s+2 } with ∈ N and s an odd integer, 1 ≤ s ≤ n -2 , in a simple Lie algebra g of type B n , resp. D n , with n ≥ 2, resp. n ≥ 4.

h Λ = h ⊕ k(α ∨ 9 -α ∨ 8 ). Setting h = -α ∨ 2 -2α ∨ 4 -3α ∨ 6 + 4α ∨ 7 -4(α ∨ 9 -α ∨ 8 ) ∈ h Λ and y = α∈S x α ,
If = 0, then the parabolic subalgebra p is maximal and this case was already treated in [START_REF] Fauquant-Millet | Slices for maximal parabolic subalgebras of a semisimple Lie algebra[END_REF]. Thus we will assume from now on that ≥ 1. Note that h Λ = h , in type B n but also in type D n with the above hypotheses, by what we said in Sect. 3 (since it is not true that α n-1 and α n are both deleted from π ).

Here we will show (see lemma 8.5) that the lower and upper bounds for ch (Y (p Λ )) in (4) of Sect. 4 coincide, and then the algebra of symmetric invariants Y (p Λ ) is polynomial. By Remark 3a of subsection 6.2 the existence of an adapted pair for p Λ is sufficient to give a Weierstrass section for coadjoint action of p Λ . Our construction of an adapted pair for p Λ generalizes the construction of an adapted pair in [START_REF] Fauquant-Millet | Slices for maximal parabolic subalgebras of a semisimple Lie algebra[END_REF]Sect. 4 and 5] in case of a maximal parabolic subalgebra.

We will use Proposition 6.2, which here is quite easy to apply. Indeed it suffices to take S ∪ T to be the union of the Kostant cascade in g and the opposite of the Kostant cascade in g . Moreover for each γ ∈ S + , resp. γ ∈ S -, we take the Heisenberg set Γ γ to be equal, resp. to be the opposite, to H γ , resp. of H -γ , where H γ , resp. H -γ , is the largest Heisenberg set with centre γ, resp. -γ, included in ∆ + , resp. ∆ + π , as defined in 6.1. Here moreover we set T * = ∅. Then Lemma 6.1 will give most of conditions of Prop. 6.2.

The Kostant cascades.

Recall 6.1 the Kostant cascade β π of g and set

β 0 π = β π \ (β π ∩ π). If g is of type B n then we have that β 0 π = {β i = ε 2i-1 + ε 2i | 1 ≤ i ≤ [n/2]}, and if g is of type D n then β 0 π = {β i = ε 2i-1 + ε 2i | 1 ≤ i ≤ [(n -1)/2]}. Moreover if g is of type B n , then we have that β π ∩ π = {α 2i-1 | 1 ≤ i ≤ [(n + 1)/2]}.
If g is of type D n and n odd, then we have that

β π ∩ π = {α 2i-1 | 1 ≤ i ≤ (n -1)/2},
and if g is of type D n and n even, then we have that

β π ∩ π = {α n , α 2i-1 | 1 ≤ i ≤ n/2}. Now for the Kostant cascade β π of g , set similarly β 0 π = β π \ (β π ∩ π ).
If g is of type B n , then we have that

β 0 π = β i = ε i -ε s+1-i | 1 ≤ i ≤ (s -1)/2, β j = ε s+2 +2j-1 + ε s+2 +2j | 1 ≤ j ≤ [(n -s -2 )/2]
and

β π ∩ π = α s+2 +2i-1 , α s+2j-1 | 1 ≤ i ≤ [(n -s -2 + 1)/2], 1 ≤ j ≤ .
Now suppose that g is of type D n and that s + 2 ≤ n -2. Then we have that

β 0 π = β i = ε i -ε s+1-i | 1 ≤ i ≤ (s -1)/2, β j = ε s+2 +2j-1 + ε s+2 +2j | 1 ≤ j ≤ [(n -s -1 -2 )/2] .
If moreover n is odd then

β π ∩ π = α n , α s+2 +2i-1 , α s+2j-1 | 1 ≤ i ≤ (n -s -2 )/2, 1 ≤ j ≤
and if n is even then

β π ∩ π = α s+2 +2i-1 , α s+2j-1 | 1 ≤ i ≤ (n -s -2 -1)/2, 1 ≤ j ≤ .
Now assume that g is of type D n and that s + 2 ∈ {n -1, n}. Since the case π = π \ {α s , α s+2 , . . . , α s+2 -2 , α n-1 } and the case π = π \ {α s , α s+2 , . . . , α s+2 -2 , α n } are symmetric, one may suppose that we are in the latter case. More precisely if n is odd then we assume that π = π \ {α s , α s+2 , . . . , α n-2 , α n } and if n is even then we assume that π = π \ {α s , α s+2 , . . . , α n-3 , α n }. If n is odd then

β 0 π = β i = ε i -ε s+1-i ; 1 ≤ i ≤ (s -1)/2 and β π ∩ π = α s+2i-1 = ε s+2i-1 -ε s+2i ; 1 ≤ i ≤ = (n -s)/2 .
If n is even then

β 0 π = β i = ε i -ε s+1-i , β 1 = ε n-2 -ε n ; 1 ≤ i ≤ (s -1)/2 and β π ∩ π = α s+2i-1 = ε s+2i-1 -ε s+2i ; 1 ≤ i ≤ -1 = (n -3 -s)/2 . 8.2. Conditions (i) to (v) of Proposition 6.2.
For g of type D n with n even and s + 2 ≤ n -2, we set

S + = β 0 π {β n/2 := α n = ε n-1 + ε n }.
Otherwise we set S + = β 0 π . For g of type D n with n odd and s + 2 ≤ n -2, we set

S -= -β 0 π {-β (n-2 -s)/2 := -α n = -(ε n-1 + ε n )}.
Otherwise we set S -= -β 0 π . For g of type D n with n even and s + 2 ≤ n -2, we set

T + = (β π ∩ π) \ {α n }.
For g of type D n with n odd and s + 2 ≤ n -2, we set

T -= -(β π ∩ π ) \ {-α n }.
Otherwise we set T + = β π ∩ π and T -= -(β π ∩ π ). Finally we set S = S + S -, T = T + T -and T * = ∅. Then S + , T + ⊂ ∆ + and S -, T -⊂ ∆ - π . In all cases we have that β π = S + T + and -β π = S -T -. Then for all γ ∈ S + , resp. γ ∈ S -, we choose Γ γ = H γ , resp. Γ γ = -H -γ , where H γ , resp. H -γ , is the largest Heisenberg set with centre γ ∈ β π , resp.

-γ ∈ β π , included in ∆ + , resp. ∆ + π , as defined in 6.1. Observe also that, if

α ∈ β π ∩ π, resp. α ∈ β π ∩ π , then H α = {α}.
By Lemma 6.1 i) we have that Proof. Recall that h Λ = h and remark that

∆ + = γ∈S + Γ γ T + , resp. ∆ - π = γ∈S -Γ γ T -, hence condition (iv) of
|S| = dim h = n --1.
Assume first that g is of type D n with n odd and that s + 2 = n. Then |S| = (n -1)/2 + (s -1)/2 = n --1 and one may order the elements s u of S as

β 1 , β 2 , . . . , β (n-1)/2 , -β 1 , -β 2 , . . . , -β (s-1)/2
and choose the following (ordered) basis h v of h :

h i = α ∨ 2i , 1 ≤ i ≤ (n -1)/2, h (n-1)/2+2j-1 = h 2j-1 = α ∨ 2j-1 , h (n-1)/2+2j = h 2j = α ∨ s-2j , 1 ≤ j ≤ [(s + 1)/4]
without repetition for the h j 's. Then observe that, for all 1 ≤ i ≤ (n -3)/2, one has

β i = ε 2i-1 +ε 2i = 2i -2i-2 if we set 0 = 0 and β (n-1)/2 = ε n-2 + ε n-1 = n-1 + n -n-3 . It follows that the matrix (s u (h v )) 1≤u, v≤(n--1) has the form A 0 * B where A = (β i (h j )) 1≤i, j≤(n-1)/2 is a (n -1)/2 × (n -1)
/2 lower triangular matrix with 1 on the diagonal, and B = (-β i (h j )) 1≤i, j≤(s-1)/2 is a (s -1)/2 × (s -1)/2 which by Lemma 6.4 is a lower triangular matrix with -1 on the diagonal. Hence det(s u (h v )) 1≤u, v≤(n--1) = 0 and we are done in this case. Assume now that g is of type D n with n even and that s + 2 = n -1. Then consider the parabolic subalgebra p of g associated to π = π \ {α s , α s+2 , . . . , α n-3 , α n } (1 ≤ s ≤ n -3 is still an odd integer). Then |S| = (n -2)/2 + (s -1)/2 + 1 = n --1 and one may order the elements s u of S as

β 1 , β 2 , . . . , β (n-2)/2 , -β 1 , -β 2 , . . . , -β (s-1)/2 , ε n -ε n-2
and choose the following (ordered) basis h v of h :

h i = α ∨ 2i , 1 ≤ i ≤ (n -2)/2, h (n-2)/2+2j-1 = h 2j-1 = α ∨ 2j-1 , h (n-2)/2+2j = h 2j = α ∨ s-2j , 1 ≤ j ≤ [(s + 1)/4], h n--1 = α ∨ n-1
without repetition for the h j 's. Similarly as above one obtains that the matrix (s u (h v )) 1≤u, v≤(n--1) has the form

A 0 * B where A = (β i (h j )) 1≤i, j≤(n-2)/2 is a (n -2)/2 × (n -2)/
s i = β i , 1 ≤ i ≤ [n/2], s [n/2]+j = -β j , 1 ≤ j ≤ (s -1)/2, s [n/2]+(s-1)/2+k = -β k , 1 ≤ k ≤ [(n -s -2 )/2)]
and choose the following (ordered) basis h v of h :

h i = α ∨ 2i , 1 ≤ i ≤ [n/2] h [n/2]+2j-1 = h 2j-1 = α ∨ 2j-1 , h [n/2]+2j = h 2j = α ∨ s-2j , 1 ≤ j ≤ [(s + 1)/4] h [n/2]+(s-1)/2+k = α ∨ s+2 +2k , 1 ≤ k ≤ [(n -2 -s)/2
] without repetition for the h j 's. Now if g is of type D n with s + 2 ≤ n -2, we take the same set S ordered as above and the same basis of h , up to replacing α ∨ n by 2ε n . Then by what we explained before, the matrix (s u (h v )) 1≤u, v≤(n--1) has the form

  A 0 0 * B 0 * * C   where A is a [n/2] × [n/2]
lower triangular matrix with one on the diagonal (except for the case n even where 2 is the last entry of the diagonal), B is a (s -1)/2 × (s -1)/2 lower triangular matrix with -1 on the diagonal (by Lemma 6.4) and C is a

[(n -s -2 )/2] × [(n -s -2 )/
E(π ) = Γ u = {α u , α s-u }, 1 ≤ u ≤ (s -1)/2, Γ v = {α v }, s ≤ v ≤ n -2, Γ n-1 = {α n , α n-1 } . If n is even, assuming that π = π \ {α s , α s+2 , . . . , α s+2 -2 , α n }, with s + 2 -2 = n -3, then E(π ) = Γ u = {α u , α s-u }, 1 ≤ u ≤ (s -1)/2, Γ v = {α v }, s ≤ v ≤ n -3, Γ n-1 = {α n-2 , α n-1 }, Γ n = {α n } . Hence ind p Λ = |E(π )| = n -(s + 1)/2.
On the other hand, one has that : for n even,

|T + | = n/2 + 1 and |T -| = -1 = (n -3 -s)/2
, and for n odd,

|T + | = (n -1)/2, |T -| = = (n -s)/2. Then |T | = ind p Λ in both cases. Now assume that g is of type B n . Then E(π ) = Γ u = {α u , α s-u }, 1 ≤ u ≤ (s -1)/2, Γ v = {α v }, s ≤ v ≤ n .
Hence ind p Λ = |E(π )| = n -(s -1)/2 and one checks that this is also equal to |T |.

Finally assume that g is of type D n and that s + 2 ≤ n -2. Then

E(π ) = Γ u = {α u , α s-u }, 1 ≤ u ≤ (s -1)/2, Γ v = {α v }, s ≤ v ≤ n -2, Γ n-1 = {α n-1 , α n } .
Hence ind p Λ = |E(π )| = n -(s + 1)/2 and one checks that this is also equal to |T |.

8.4. All conditions of Proposition 6.2 are satisfied, thus one can deduce the following corollary.

Corollary. Set y = α∈S x α . Then y is regular in p * Λ and more precisely ad p Λ (y) ⊕ g T = p * Λ . Moreover since S |h Λ is a basis for h * Λ , there exists a uniquely defined element h ∈ h Λ such that α(h) = -1 for all α ∈ S. Thus the pair (h, y) is an adapted pair for p Λ . 8.5. Coincidence of bounds of Sect. 4. Recall Remark 3a of subsection 6.2 that it suffices to show that both bounds in (4) of Sect. 4 coincide to obtain a Weierstrass section for coadjoint action of p Λ . This is the following lemma.

Lemma. For all Γ ∈ E(π ), one has that ε Γ = 1. Then Y (p Λ ) is a polynomial algebra over k.

Proof. Recall subsection 4.3. We will show, for all Γ ∈ E(π ) such that j

(Γ) = Γ, that d Γ ∈ B π or d Γ ∈ B π , hence ε Γ = 1. Recall the ij -orbits in E(π ) given in the proof of Lemma 8.3.
For all 1 ≤ u ≤ (s -1)/2, one has that d Γu = u + s-u ∈ B π since u and s -u are of different parity. Hence ε Γu = 1. For s ≤ v ≤ n -2, (with the restriction that v ≤ n -3 if n even and g of type D n with s + 2 = n -1) one has that andd Γ n-1 = n-1 + n . One of them does not belong to B π , resp. B π , since g is of type D n-s-2 , and since n and n -s -2 are of different parity. Hence ε Γ n-1 = 1. Finally assume that g is of type B n and take v ∈ {n -1, n}.

d Γv = v ∈ B π if v is odd and d Γv = v ∈ B π if v is even. Hence ε Γv = 1. Now if g is of type D n , s + 2 = n -1 and n even, one has that d Γ n-1 = n-2 + n-1 ∈ B π and d Γn = n ∈ B π . Hence ε Γ n-1 = ε Γn = 1. If g is of type D n , s + 2 = n and n odd, then d Γ n-1 = n-1 + n ∈ B π , but d Γ n-1 = n-1 ∈ B π . Hence ε Γ n-1 = 1. If g is of type D n , s + 2 ≤ n -2, then d Γ n-1 = n-1 + n ,
Then d Γv = v ∈ B π if n is even. If now n is odd then d Γn = n ∈ B π while d Γ n-1 = n-1 ∈ B π . But since n is odd, α n-1 ∈ π and d Γ n-1 = n-1 ∈ B π . Hence ε Γv = 1.
This completes the proof. 8.6. A Weierstrass section. Summarizing the above results, we obtain by Remark 3a of subsection 6.2 the following Theorem.

Theorem. Let g be a complex simple Lie algebra of type B n , resp. D n with n ≥ 2, resp. n ≥ 4, and let p = n -⊕ h ⊕ n + π be a parabolic subalgebra associated to π = π \ {α s , α s+2 , . . . , α s+2 } where s, ∈ N * and 1 ≤ s ≤ n -2 , s odd. Then there exists a Weierstrass section for coadjoint action of p Λ . 8.7. Weights and Degrees. For completeness we give below the weights and degrees of a set of homogeneous and h-weight algebraically independent generators of Y (p Λ ). Since both bounds in (4) of Sect. 4 coincide then, for all Γ ∈ E(π ), each homogeneous and h-weight generator has δ Γ as a weight given by (2) of Sect. 4 and a degree ∂ Γ given by (5) of Sect. 4 (since here for all Γ ∈ E(π ), we have that j(Γ) = Γ).

Below are weights and degrees of a set of homogeneous and h-weight algebraically independent generators of Y (p Λ ), each of them corresponding to an ij -orbit Γ r in E(π ).

Assume that g is of type B n and that s + 2 < n :

ij -orbit in E(π ) Weight Degree Γ u = {α u , α s-u }, -2 s s + 1 + 2u 1 ≤ u ≤ (s -1)/2 Γ v = {α v }, -2 v v + 1 v = s + 2k, 0 ≤ k ≤ Γ v = {α v }, -v-1 -v+1 v + 1 v = s + 2k -1, 1 ≤ k ≤ Γ v = {α v }, -2 s+2 2v + 1 -s -2 s + 2 + 1 ≤ v ≤ n -1 Γ n = {α n } -s+2 n -+ (1 -s)/2
Assume that g is of type B n and that s + 2 = n (hence n is odd) :

ij -orbit in E(π ) Weight Degree Γ u = {α u , α s-u }, -2 s s + 1 + 2u 1 ≤ u ≤ (s -1)/2 Γ v = {α v }, -2 v v + 1 v = s + 2k, 0 ≤ k ≤ -1 Γ v = {α v }, -v-1 -v+1 v + 1 v = s + 2k -1, 1 ≤ k ≤ -1 Γ n-1 = {α n-1 } -n-2 -2 n n Γ n = {α n } -2 n (n + 1)/2
Assume that g is of type D n and that s + 2 ≤ n -2 :

ij -orbit in E(π ) Weight Degree Γ u = {α u , α s-u }, -2 s s + 1 + 2u 1 ≤ u ≤ (s -1)/2 Γ v = {α v }, -2 v v + 1 v = s + 2k, 0 ≤ k ≤ Γ v = {α v }, -v-1 -v+1 v + 1 v = s + 2k -1, 1 ≤ k ≤ Γ v = {α v }, -2 s+2 2v + 1 -s -2 s + 2 + 1 ≤ v ≤ n -2 Γ n-1 = {α n-1 , α n } -2 s+2 2n -s -2 -1
Assume that g is of type D n and that s + 2 = n (hence n is odd) :

ij -orbit in E(π ) Weight Degree Γ u = {α u , α s-u }, -2 s s + 1 + 2u 1 ≤ u ≤ (s -1)/2 Γ v = {α v }, -2 v v + 1 v = s + 2k, 0 ≤ k ≤ -1 Γ v = {α v }, -v-1 -v+1 v + 1 v = s + 2k -1, 1 ≤ k ≤ -1 Γ n-1 = {α n-1 , α n } -n-2 -2 n n
Assume that g is of type D n and that s + 2 = n -1. Hence n is even and we assume that π = π \ {α s , α s+2 , . . . , α n-3 , α n } :

ij -orbit in E(π ) Weight Degree Γ u = {α u , α s-u }, -2 s s + 1 + 2u 1 ≤ u ≤ (s -1)/2 Γ v = {α v }, -2 v v + 1 v = s + 2k, 0 ≤ k ≤ -1 Γ v = {α v }, -v-1 -v+1 v + 1 v = s + 2k -1, 1 ≤ k ≤ -1 Γ n-1 = {α n-1 , α n-2 } -2( n-3 + n ) 3n/2 Γ n = {α n } -2 n n/2 8.8.
Remark. Assume that the simple Lie algebra g is of type B n or D n and that π = π \ {α s , α s+4 }, with s odd and consider the truncated parabolic subalgebra p Λ associated to π . In this case the lower and upper bounds for ch (Y (p Λ )) in (4) of Sect. 4 do not coincide in general and then we do not know for the moment whether polynomiality of Y (p Λ ) holds or not. However the adapted pair that we have constructed in subsection 8.2 using the set S = β 0 π ∪ (-β 0 π ) (at least for type B n ) does no more work in this case. Indeed one may notice that for all β ∈ β 0 π , and for all β ∈ β 0 π , one has

β(α ∨ s+2 ) = β (α ∨ s+2 ) = 0 while α ∨ s+2 ∈ h Λ . It follows that the restriction of β 0 π ∪ (-β 0 π ) to h Λ cannot give a basis for h * Λ .
9. Cases 1c and 1d for type B or D.

Recall the notation of subsection 1.2 and Sect. 3. In this Section the Lie algebra g is simple of type B n , n ≥ 4, resp. D n , n ≥ 6, and we consider the parabolic subalgebra p = p s, 1 = p - π of g associated to the subset π = π \ {α s , α s+2 } of simple roots, with s an even integer, 2 ≤ s ≤ n -2, resp. 2 ≤ s ≤ n -4. We are then in the cases 1c and 1d of subsection 1.7.

The Levi subalgebra g of p is isomorphic to the product sl s × sl 2 × so m , with m ∈ N * , and m ≥ 4 if g is of type D n . More precisely if g is of type B n one has that m = 2n -2s -3, and when g is of type D n one has that m = 2n -2s -4. We adopt the convention that so 1 = {0}, so 3 = sl 2 , so 4 = sl 2 × sl 2 and so 6 = sl 4 .

In these cases the lower and upper bounds given by (4) of Sect. 4 do not coincide, hence we cannot conclude with this criterion that the algebra Sy(p) = Y (p Λ ) is or not polynomial. However we will construct an adapted pair for the truncated parabolic subalgebra p Λ associated to p. We will then prove that the improved upper bound defined in Sect. 5 is equal to the lower bound (namely that equality (8) of Sect. 5 holds). This implies by Remark 3b of subsection 6.2 that there is a Weierstrass section for coadjoint action of p Λ and then that the algebra of symmetric invariants Y (p Λ ) = Sy(p) is a polynomial algebra over k for which the weights and degrees of homogeneous and h-weight generators may also be computed.

We will still use Proposition 6.2 but here the set S cannot be taken to contain β 0 π ∪(-β 0 π ) as in Sect. 8. Indeed assume that S contains the elements β 1 , . . . , β s/2 of the Kostant cascade of g. Then the semisimple element h of the adapted pair should verify both equalities s (h) = ((ε 1 + ε 2 ) + . . . + (ε s-1 + ε s ))(h) = (-1) × s/2 and s (h) = 0 by definition of h Λ (see Sect.

3) and since h ∈ h Λ and -2 s ∈ Λ(p) by (4) of Sect. 4. Hence we obtain a contradiction. Also for each γ ∈ S, a more complicated Heisenberg set Γ γ with centre γ than the set H γ used in previous section will be taken in general. We will also take T * = ∅. 9.1. Condition (i) of Proposition 6.2. For type B n , we set

S + = ε s , β i = ε 2i-1 + ε 2i , ε s-1 + ε s+1 , ε 2j + ε 2j+1 ; 1 ≤ i ≤ s/2 -1, s/2 + 1 ≤ j ≤ [(n -1)/2] and S -= ε s-i -ε i , -β j-(s+2)/2 = -ε 2j-1 -ε 2j ; 1 ≤ i ≤ s/2 -1, s/2 + 2 ≤ j ≤ [n/2] For type D n , we set S + = ε s -ε n , ε s + ε n , β i = ε 2i-1 + ε 2i , ε s-1 + ε s+1 , ε 2j + ε 2j+1 ; 1 ≤ i ≤ s/2 -1, s/2 + 1 ≤ j ≤ [(n -2)/2] and S -= ε s-i -ε i , -β j-(s+2)/2 = -ε 2j-1 -ε 2j ; 1 ≤ i ≤ s/2 -1, s/2 + 2 ≤ j ≤ [(n -1)/2]
Remark that the above sets S ± contain the same elements as those defined in [START_REF] Fauquant-Millet | Polynomiality for the Poisson centre of truncated maximal parabolic subalgebras[END_REF] or in [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF] for maximal parabolic subalgebras, except for one of them which is missing, namely the element -ε s+1 -ε s+2 , since it does no more belong to ∆ - π . As we already noticed in Sect. 3 for type B n , and also for type D n (since s ≤ n -4) we have that h Λ = h . As in [START_REF] Fauquant-Millet | Polynomiality for the Poisson centre of truncated maximal parabolic subalgebras[END_REF]Lem. 7.1], we prove the following lemma.

Lemma. Set S = S + S -as above. Then S |h Λ is a basis for h * Λ . Proof. The proof is quite similar to that of [START_REF] Fauquant-Millet | Polynomiality for the Poisson centre of truncated maximal parabolic subalgebras[END_REF]Lem. 7.1]. We give it below for the reader's convenience. First observe that |S| = n -2. The elements of S will be denoted by s i , with

1 ≤ i ≤ n -2. When g is of type B n , we set s n-3 = ε s and s n-2 = ε n-1 + ε n if n is odd, resp. s n-2 = -ε n-1 -ε n if n is even. When g is of type D n , we set s n-3 = ε s -ε n and s n-2 = ε s + ε n . Then we set s i = s i for all 1 ≤ i ≤ n -2 if g is of type B n . If g is of type D n , we set s i = s i for all 1 ≤ i ≤ n -4, s n-3 = ε s and s n-2 = ε n . It suffices to verify that, if {h j } 1≤j≤n-2 is a basis of h Λ = h , then det(s i (h j )) 1≤i, j≤n-2 = 0.
To prove this, we order the basis {h j } 1≤j≤n-2 of h Λ as

α ∨ 2i , 1 ≤ i ≤ s/2 -1, α ∨ s-1 , α ∨ 2j-1 , α ∨ s-2j-1 , 1 ≤ j ≤ [s/4], α ∨ k , s + 1 ≤ k ≤ n, k = s + 2
without repetitions. The elements s i , 1 ≤ i ≤ n -2, are ordered as

ε 2i-1 + ε 2i , 1 ≤ i ≤ s/2 -1, ε s , ε s-j -ε j , 1 ≤ j ≤ s/2 -1, ε s-1 + ε s+1 , ε 2k + ε 2k+1 , -ε 2k+1 -ε 2k+2 , s/2 + 1 ≤ k ≤ [(n -3)/2], (-1) n (ε n-2 + ε n-1 ), s n-2
without repetitions.

Then one verifies that

(s i (h j )) 1≤i, j≤n-2 =     A 0 0 0 * B 0 0 * * C 0 * * * D     with A, resp.
B, a (s/2 -1) × (s/2 -1), resp. s/2 × s/2, lower triangular matrix with 1, resp. -1, on its diagonal.

Moreover C = (1) and D = D 0 * D with D a (n -s -4) × (n -s -4)
lower triangular matrix with alternating 1 and -1 on its diagonal, and D an invertible 2 × 2 matrix. 9.2. Conditions (ii), (iii) and (vi) of Proposition 6.2. To each γ ∈ S, we need now to associate a Heisenberg set Γ γ with centre γ.

Recall that β i := ε 2i-1 +ε 2i , for all 1 ≤ i ≤ s/2-1, is a positive root which belongs to the Kostant cascade of g. We then set, for all 1 ≤ i ≤ s/2 -1, Γ β i = H β i where H β i is the largest Heisenberg set with centre β i included in ∆ + as defined in 6.1.

For g of type B n we set

Γ ε s-1 +ε s+1 = {ε s-1 + ε s+1 , ε s-1 ± ε i , ε s+1 ∓ ε i ; s + 2 ≤ i ≤ n, ε s-1 , ε s+1 , ε s-1 -ε s , ε s + ε s+1 }.
For g of type D n , Γ ε s-1 +ε s+1 is taken to be the same set as above but without ε s-1 and ε s+1 which are not roots in this type. For s/2

+ 1 ≤ j ≤ [(n -1)/2] for type B n , resp. s/2 + 1 ≤ j ≤ [(n -2)/2] for type D n , we set Γ ε 2j +ε 2j+1 = {ε 2j + ε 2j+1 , ε 2j , ε 2j+1 , ε 2j ± ε k , ε 2j+1 ∓ ε k ; 2j + 2 ≤ k ≤ n},
resp. the same set as above but without ε 2j and ε 2j+1 . For all 1 ≤ i ≤ s/2 -1, we set

Γ ε s-i -ε i = {ε s-i -ε i , ε s-i -ε j , ε j -ε i ; i + 1 ≤ j ≤ s -i -1}. For all s/2 + 2 ≤ j ≤ [n/2] for type B n , resp. s/2 + 2 ≤ j ≤ [(n -1)/2] for type D n , we set Γ -ε 2j-1 -ε 2j = -H ε 2j-1 +ε 2j where H ε 2j-1 +ε 2j is the largest Heisenberg set with centre β j-(s+2)/2 := ε 2j-1 + ε 2j ∈ β π included in ∆ +
π , as defined in 6.1.

Finally for g of type B n , we set Γ εs = {ε s } and for g of type D n , we set

Γ εs+εn = {ε s + ε n } and Γ εs-εn = {ε s -ε n }.
By construction all the above sets Γ γ , γ ∈ S, are Heisenberg sets with centre γ and they are pairwise disjoint.

Moreover the above sets Γ γ , γ ∈ S, are chosen to be the same as in [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF] (for type B n ), except for Γ ε s-1 +ε s+1 where here the roots ε s-1 -ε s and ε s + ε s+1 are added. However the proofs of [9, Lem. 14 and 15], themselves based on Lemma 6.1 ii) and iii), can still be applied to show that conditions (ii) and (iii) of Proposition 6.2 are satisfied. Now for the set T we take

T = {ε s-1 + ε s , ε s-1 -ε s+1 , ε s + ε s+2 , ε 2i-1 -ε 2i , ε s+2j -ε s+2j+1 , -ε s+2k-1 + ε s+2k ; 1 ≤ i ≤ s/2 -1, 1 ≤ j ≤ [(n -s -1)/2], 1 ≤ k ≤ [(n -s)/2]}.
One checks that T ⊂ ∆ + ∆ - π and that T is disjoint from Γ = γ∈S Γ γ . Note also that this set T has the same elements as the set T in [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF], except that α s-1 = ε s-1 -ε s now belongs to Γ ε s-1 +ε s+1 , and is replaced by ε s +ε s+2 . We check below that condition (vi) of Proposition 6.2 is satisfied.

Lemma. We have that |T | = ind p Λ . Proof. One checks that |T | = n -s/2 + 1. Recall (1) of Sect. 4, that ind p Λ = |E(π )| where E(π ) is the set of ij -orbits in π.
Denote by π 1 , π 2 , π 3 the three irreducible components of π . Then

π 1 is of type A s-1 , π 2 is of type A 1 and π 3 is of type B n-s-2 , resp. D n-s-2 if g is of type B n , resp. D n .
Then i |π 1 exchanges α t and α s-t for all 1 ≤ t ≤ s/2 -1 and fixes α s/2 , i |π 2 = Id π 2 and (ij) |π 3 = Id π 3 since n and n-s-2 are of the same parity (and

n -s -2 ≥ 2 if g is of type D n ). Moreover for all α ∈ π \ π , i(α) = j(α) = α. Then the set E(π ) of ij -orbits in π is E(π ) = {{α t , α s-t }, {α s/2 }, {α u } ; 1 ≤ t ≤ s/2 -1, s ≤ u ≤ n}.
They are n -s/2 + 1 in number. Hence the lemma. 9.3. Condition (iv) and (v) of Proposition 6.2. If g is of type B n , we take :

T * = {ε s -ε i , ε s + ε j , (-1) n ε n ; 1 ≤ i ≤ n, i = s, s + 3 ≤ j ≤ n}.
If g is of type D n , we take :

T * = {ε s -ε i , ε s + ε j , (-1) n-1 α n ; 1 ≤ i ≤ n -1, i = s, s + 3 ≤ j ≤ n -1}.
In type B n , note that this set T * is the same as T * in [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF], except that two elements here are missing : ε s + ε s+1 which now belongs to Γ ε s-1 +ε s+1 and ε s + ε s+2 which now belongs to T . By construction T * is disjoint from Γ T .

Denote by ∆ - π the set of negative roots in the case when π = π\{α s } (that is, the set of negative roots for the parabolic subalgebra p π as considered in [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF]) and recall that we denote by ∆ - π the set of negative roots for p π in our present case when π = π \ {α s , α s+2 }. Then one has that ∆ - π = ∆ - π -H ε s+1 +ε s+2 , where H ε s+1 +ε s+2 is the largest Heisenberg set with centre ε s+1 +ε s+2 which is included in ∆ + π as defined in 6.1. By a similar proof as in [9, Lem. 13] and using Lemma 6.1 i), one checks that ∆ + ∆ - π = Γ T T * . Hence condition (iv) of Proposition 6.2 is satisfied. It remains to verify condition (v) of Proposition 6.2. The proofs of [START_REF] Fauquant-Millet | About polynomiality of the Poisson Semicentre for Parabolic Subalgebras[END_REF]Lem. 16,[START_REF] Joseph | A preparation theorem for the prime spectrum of a semisimple Lie algebra[END_REF][START_REF] Joseph | On semi -invariants and index for biparabolic (seaweed) algebras I[END_REF][START_REF] Joseph | On semi -invariants and index for biparabolic (seaweed) algebras II[END_REF] can still be applied in type B n . In type D n they have to be adapted. For completeness, we give a proof below. Set y = γ∈S x γ .

Lemma. Let γ ∈ T * . Then g γ ⊂ ad p Λ (y) + g T . Proof. Recall (Sect. 3) that p Λ = n -⊕ h ⊕ n +
π and that we have chosen, for each α ∈ ∆, a nonzero root vector x α ∈ g α . Given γ, δ ∈ ∆ ± such that γ + δ ∈ ∆ ± , one has that ad x γ (x δ ) = [x γ , x δ ] ∈ g γ+δ \ {0} by say [7, 1.10.7], then it is a nonzero multiple of x γ+δ .

Assume that g is of type B n and rescale if necessary the nonzero root vectors x γ , γ ∈ ∆ \ S. Let s + 3 ≤ j ≤ n -1 and j odd. Then one has that

ad x ε j (y) = x εs+ε j + x -ε j+1 ad x -εs-ε j+1 (y) = x -ε j+1 .
Hence x εs+ε j = ad (x ε j -x -εs-ε j+1 )(y) ∈ ad p Λ (y). If j = n is odd, then x εs+εn = ad x εn (y) ∈ ad p Λ (y). Let s + 4 ≤ j ≤ n and j even. Then x εs+ε j = ad (x ε j -x -εs-ε j-1 )(y) ∈ ad p Λ (y). Let 1 ≤ i ≤ s -3 and i odd, or s + 2 ≤ i ≤ n -1 and i even. Then

x εs-ε i = ad (x -ε i -x ε i+1 -εs + x -ε s-i-2 -εs )(y) if i ≤ s/2 -2 x εs-ε i = ad (x -ε i -x ε i+1 -εs )(y)
otherwise.

Hence x εs-ε i ∈ ad p Λ (y). Let 2 ≤ i ≤ s -2 and i even, or s + 3 ≤ i ≤ n and i odd. Then

     x εs-ε i = ad (x -ε i -x ε i-1 -εs + x -ε s-i+2 -εs )(y) if 4 ≤ i ≤ s/2 x εs-ε i = ad (x -ε 2 -x ε 1 -εs + x -εs-ε s+1 )(y) if i = 2 x εs-ε i = ad (x -ε i -x ε i-1 -εs )(y) otherwise. Hence x εs-ε i ∈ ad p Λ (y). If i = s -1 then x εs-ε s-1 = ad (x -ε s-1 -x ε s+1 -εs )(y) ∈ ad p Λ (y)
.

If i = s + 1 then x εs-ε s+1 = ad (x -ε s+1 -x ε s-1 -εs )(y) ∈ ad p Λ (y).
If i = n is even, then

x εs-εn = ad x -εn (y) ∈ ad p Λ (y).

Finally, if n is odd, then x -εn = ad x -εs-εn (y) ∈ ad p Λ (y) and if n is even, then x εn = ad x -εs+εn (y) ∈ ad p Λ (y). Hence the lemma for g of type B n . Assume now that g is of type D n . Let s + 3 ≤ j ≤ n -2 and j odd. One may apply Lemma 6.3 with

γ 1 = ε s + ε n ∈ S, γ 1 = ε j -ε n ∈ S, γ 2 = -ε j -ε j+1 ∈ S, γ 2 = ε j + ε n ∈ S, γ 3 = ε s -ε n ∈ S, γ 3 = -ε s -ε j+1 ∈ S.
Then up to rescaling the nonzero root vectors x ε j -εn , x -εs-ε j+1 , x ε j +εn in p Λ and x -ε j+1 -εn , x εn-ε j+1 , x εs+ε j in p * Λ , one has that, by Lemma 6.3

     [x ε j -εn , x εs+εn ] = [x ε j +εn , x εs-εn ] = x εs+ε j [x ε j -εn , x -ε j -ε j+1 ] = [x -εs-ε j+1 , x εs-εn ] = x -ε j+1 -εn [x -εs-ε j+1 , x εs+εn ] = [x ε j +εn , x -ε j -ε j+1 ] = x εn-ε j+1 . It follows that      x εs+ε j + x -ε j+1 -εn = ad x ε j -εn (y) ∈ ad p Λ (y) x -ε j+1 -εn + x εn-ε j+1 = ad x -εs-ε j+1 (y) ∈ ad p Λ (y)
x εn-ε j+1 + x εs+ε j = ad x ε j +εn (y) ∈ ad p Λ (y)

Hence x εs+ε j ∈ ad p Λ (y). Now if j = n -1 is odd, then x εs+ε n-1 = ad x ε n-1 -εn (y) ∈ ad p Λ (y).
Let s + 4 ≤ j ≤ n -1 and j even. Then similarly as above (by Lemma and Prop. 6.3), one has that

     x εs+ε j + x -ε j-1 -εn = ad x ε j -εn (y) ∈ ad p Λ (y) x -ε j-1 -εn + x εn-ε j-1 = ad x -εs-ε j-1 (y) ∈ ad p Λ (y) x εn-ε j-1 + x εs+ε j = ad x ε j +εn (y) ∈ ad p Λ (y)
Hence x εs+ε j ∈ ad p Λ (y). Let 1 ≤ i ≤ s -3 and i odd, or s + 2 ≤ i ≤ n -2 and i even. Again, up to rescaling some nonzero root vectors, Lemma and Prop. 6.3 imply that     

x εs-ε i + x ε i+1 -εn = ad x -ε i -εn (y) ∈ ad p Λ (y)

x ε i+1 +εn + x εs-ε i = ad x εn-ε i (y) ∈ ad p Λ (y) x ε i+1 -εn + x ε i+1 +εn ∈ ad p Λ (y) since x ε i+1 -εn + x ε i+1 +εn = ad (x ε i+1 -εs -x -ε s-i-2 -εs )(y) if i ≤ s/2 -2 x ε i+1 -εn + x ε i+1 +εn = ad x ε i+1 -εs (y) otherwise.
Hence x εs-ε i ∈ ad p Λ (y). For i = n -1 even, one has that x εs-ε n-1 = ad x εn-ε n-1 (y) ∈ ad p Λ (y). For 2 ≤ i ≤ s -2 and i even, or s + 3 ≤ i ≤ n -1 and i odd, a similar computation shows that one also has that x εs-ε i ∈ ad p Λ (y) in these cases. Let i = s -1. Then Lemma 6.3 implies that

     x εs-ε s-1 + x ε s+1 -εn = ad x -ε s-1 -εn (y) x ε s+1 -εn + x ε s+1 +εn = ad x ε s+1 -εs (y) x ε s+1 +εn + x εs-ε s-1 = ad x εn-ε s-1 (y).
Hence x εs-ε s-1 ∈ ad p Λ (y). A similar computation shows that x εs-ε s+1 ∈ ad p Λ (y).

Finally assume that n is even. Then ad x -εs-ε n-1 (y) = x -αn + x -α n-1 ∈ ad p Λ (y) and x -α n-1 ∈ g T . Thus x -αn ∈ ad p Λ (y) + g T . If n is odd, then ad x ε n-1 -εs (y) = x αn + x α n-1 ∈ ad p Λ (y) and x α n-1 ∈ g T . Thus x αn ∈ ad p Λ (y) + g T . The proof is complete. 9.4. All conditions of Proposition 6.2 are satisfied. Thus one has the following corollary.

Corollary. Keep the above notation. One has that

ad p Λ (y) ⊕ g T = p * Λ with dim(g T ) = ind(p Λ ) that is, y is regular in p * Λ .
Moreover, by Lemma 9.1, there exists a uniquely defined element h ∈ h Λ such that γ(h) = -1 for all γ ∈ S. Then (h, y) is an adapted pair for p Λ . 9.5. The semisimple element of the adapted pair. By direct computation, one may give the expansion of the semisimple element h of the adapted pair for p Λ obtained in Corollary 9.4.

Lemma. In terms of the elements ε i , 1 ≤ i ≤ n, the semisimple element h ∈ h Λ of the adapted pair (h, y) obtained in Corollary 9.4

has the following expansion

. Set u = 0 in type D n , resp. u = 1 in type B n . h = [s/4] k=1 (s/2 + 2k -1)ε 2k-1 + s/2-1 k=[s/4]+1 (3s/2 -2k)ε 2k-1 - [s/4] k=1 (s/2 + 2k)ε 2k - s/2-1 k=[s/4]+1 (3s/2 + 1 -2k)ε 2k +(s/2)ε s-1 -ε s -(s/2 + 1)ε s+1 + [(n-s-1+u)/2] k=1 (2k -1 + s/2)ε s+2k - [(n-s+u)/2] k=2 (2k -2 + s/2)ε s+2k-1 .
In terms of the coroots α ∨ k , 1 ≤ k ≤ n, k ∈ {s, s + 2}, the element h has the following expansion. Set

H = - s/2-1 k=1 kα ∨ 2k + [s/4] k=1 (s/2 + k)α ∨ 2k-1 + s/2 k=[s/4]+1 (3s/2 + 1 -3k)α ∨ 2k-1 + [(n-2+u)/2] k=s/2+1 (k -1 -s/2)α ∨ 2k - [(n-1+u)/2] k=s/2+1 kα ∨ 2k-1 . Then          h = H + (n -s -2)/4α ∨ n if g is of type B n with n even h = H -(n + 1)/4α ∨ n if g is of type B n with n odd h = H -n/4(α ∨ n-1 + α ∨ n ) if g is of type D n with n even h = H + (n -s -3)/4(α ∨ n-1 + α ∨ n ) if
g is of type D n with n odd. 9.6. Computation of the improved upper bound and the lower bound. Recall the notation of Sect. 4 and 5. One obtains the following Lemma.

Lemma. If g is of type B n , resp. D n , then

Γ∈E(π ) (1 -e δ Γ ) -1 = γ∈T (1 -e -(γ+s(γ)) ) -1
More precisely one has the following.

(i) If g is of type B n and s + 2 < n, then

ch (Y (p Λ )) = (1 -e -2 s ) -s/2 (1 -e -s ) -1 (1 -e -2 s+2 ) -(n-s-2) (1 -e -s+2 ) -1 (1 -e -( s+ s+2 ) ) -1 . (ii) If g is of type B n and n = s + 2, then ch (Y (p Λ )) = (1 -e -2 s ) -s/2 (1 -e -s ) -1 (1 -e -2 s+2 ) -1 (1 -e -( s+2 s+2 ) ) -1 . (iii) If g is of type D n , then ch (Y (p Λ )) = (1 -e -2 s ) -s/2 (1 -e -s ) -1 (1 -e -2 s+2 ) -(n-s-3) (1 -e -s+2 ) -2 (1 -e -( s+ s+2 ) ) -1 .
Proof. Recall the set E(π ) given in the proof of Lemma 9.2 and set for all

1 ≤ t ≤ s/2 -1, Γ t = {α t , α s-t }, Γ s/2 = {α s/2 } and Γ u = {α u } for all s ≤ u ≤ n. Observe that j(Γ) = Γ (and then i(Γ∩π ) = j(Γ)∩π = Γ∩π ) for all Γ ∈ E(π ), except in type D n , with n odd, for Γ = {α n-1 } or Γ = {α n }.
Recall for all Γ ∈ E(π ) the weight δ Γ defined in (2) of Sect. 4. One checks that : Thus Γ∈E(π ) (1 -e δ Γ ) -1 is equal to the right hand side of (i), (ii) or (iii).

∀ 1 ≤ t ≤ s/2 -1, δ Γt = 2( t -t + s-t -s-t ) = -2 s . Moreover δ Γ s/2 = 2( s/2 -s/2 ) = -s , δ Γs = -2 s and δ Γ s+2 = -2 s+2 . Finally δ Γ s+1 = 2( s+1 -s+1 ) = -( s + s+2 ),

It remains to check that

Γ∈E(π ) (1 -e δ Γ ) -1 = γ∈T (1 -e -(γ+s(γ)) ) -1 .
Recall the set T given before Lemma 9.2.

For γ = ε s-1 + ε s , one checks that

s(γ) = (ε 1 + ε 2 ) + . . . + (ε s-3 + ε s-2 ) so that γ + s(γ) = s . For γ = ε s-1 -ε s+1 , one checks that, if g is of type B n , s(γ) = 2((ε 1 + ε 2 ) + . . . + (ε s-3 + ε s-2 )) + (ε s-1 + ε s+1 ) + 2ε s and if g of type D n , then s(γ) = 2((ε 1 + ε 2 ) + . . . + (ε s-3 + ε s-2 )) + (ε s-1 + ε s+1 ) + (ε s + ε n ) + (ε s -ε n )
and for both types that γ + s(γ) = 2 s .

For γ = ε s + ε s+2 , one checks that

s(γ) = (ε 1 + ε 2 ) + . . . + (ε s-3 + ε s-2 ) + (ε s-1 + ε s+1 )
so that γ + s(γ) = s+2 for g of type D n or g of type B n with s + 2 < n, and that γ + s(γ) = 2 s+2 for g of type B n with s + 2 = n.

Let 1 ≤ i ≤ s/2 -1 and set γ = ε 2i-1 -ε 2i .
As in [15, Proof of Lem. 7.9], one checks that :

-If s ≤ 4i -2, then s(ε 2i-1 -ε 2i ) = 2 s-2i j=1 (ε s-j -ε j ) + 4 s/2-i j=1 (ε 2j-1 + ε 2j ) +2 i-1 j=s/2-i+1 (ε 2j-1 + ε 2j ) + (ε 2i-1 + ε 2i ) + 2ε s
in type B n and the same as above in type D n but with 2ε s replaced by

(ε s + ε n ) + (ε s -ε n ). -If s > 4i -2, then s(ε 2i-1 -ε 2i ) = 2 2i-1 j=1 (ε s-j -ε j ) + 4 i-1 j=1 (ε 2j-1 + ε 2j ) +2 s/2-i j=i+1 (ε 2j-1 + ε 2j ) + 3(ε 2i-1 + ε 2i ) + 2ε s
in type B n and the same as above in type D n but with 2ε s replaced by

(ε s + ε n ) + (ε s -ε n ).
In both cases one obtains that γ + s(γ) = 2 s . Let 1 ≤ j ≤ [(n -s -1)/2] and set γ = ε s+2j -ε s+2j+1 . One checks that :

s(γ) = 2((ε 1 + ε 2 ) + . . . + (ε s-3 + ε s-2 )) + 2(ε s-1 + ε s+1 ) -2 j k=2 (ε s+2k-1 + ε s+2k ) + 2 j k=2 ((ε s+2k-2 + ε s+2k-1 ) +(ε s+2j + ε s+2j+1 ) + 2ε s in type B n , resp. in type D n with n even (with 2ε s replaced by (ε s -ε n ) + (ε s -ε n )), so that γ + s(γ) = 2 s+2 . In type D n with n odd, for all 1 ≤ j ≤ [(n-s-1)/2]-1, one also obtains that γ +s(γ) = 2 s+2 . If g is of type D n , with n odd, then for γ = ε s+2j -ε s+2j+1 with j = [(n -s -1)/2] = (n -s -1)/2, one has that s(γ) = (ε 1 + ε 2 ) + . . . + (ε s-3 + ε s-2 ) + (ε s-1 + ε s+1 ) +(ε s+2 + ε s+3 ) + . . . (ε n-3 + ε n-2 ) -((ε s+3 + ε s+4 ) + . . . + (ε n-2 + ε n-1 )) + (ε s + ε n ) so that γ + s(γ) = s+2 . Let 2 ≤ k ≤ [(n -s)/2] and set γ = -ε s+2k-1 + ε s+2k . One checks that s(γ) = 2((ε 1 + ε 2 ) + . . . + (ε s-3 + ε s-2 )) + 2(ε s-1 + ε s+1 ) -2 k =3 (ε s+2 -3 + ε s+2 -2 ) + 2 k =2 ((ε s+2 -2 + ε s+2 -1 ) -(ε s+2k-1 + ε s+2k ) + 2ε s in type B n , resp. in type D n with n odd (with 2ε s replaced by (ε s -ε n ) + (ε s -ε n )), so that γ + s(γ) = 2 s+2 . If g is of type D n , with n even, then for all 2 ≤ k ≤ [(n -s)/2
] -1, one also obtains that γ + s(γ) = 2 s+2 . Now for g of type D n , with n even and for γ = -ε s+2k-1 + ε s+2k , with k = [(n -s)/2] = (n -s)/2, one has that

s(γ) = (ε 1 + ε 2 ) + . . . + (ε s-3 + ε s-2 ) + (ε s-1 + ε s+1 ) +(ε s+2 + ε s+3 ) + . . . (ε n-2 + ε n-1 ) -((ε s+3 + ε s+4 ) + . . . + (ε n-3 + ε n-2 )) + (ε s -ε n ) so that γ + s(γ) = s+2 . Finally set γ = ε s+2 -ε s+1 = -α s+1 ∈ T . Then one has that s(γ) = 2((ε 1 + ε 2 ) + . . . + (ε s-3 + ε s-2 )) + 2(ε s-1 + ε s+1 ) + 2ε s so that γ + s(γ) = s + s+2 if s + 2 < n and if s + 2 = n (necessarily in type B n ) then γ + s(γ) = s + 2 s+2 .
It follows that the lower and the improved upper bounds for ch (Y (p Λ )) coincide, then equalities in (i), (ii) and (iii) hold. 9.7. A Weierstrass section. By Sect. 5 we deduce from Corollary 9.4 and Lemma 9.6 that y + g T is a Weierstrass section for coadjoint action of p Λ . On can then write the following theorem.

Theorem. Let g be a complex simple Lie algebra of type B n , resp. D n , with n ≥ 4, resp. n ≥ 6 and let p = n -⊕ h ⊕ n + π be a parabolic subalgebra associated with π = π \ {α s , α s+2 }, s even, 2 ≤ s ≤ n -2, resp. 2 ≤ s ≤ n -4. Then there exists a Weierstrass section y + g T for coadjoint action of the canonical truncation p Λ of p. It follows that the algebra of symmetric invariants Y (p Λ ) = Sy(p) is a polynomial algebra over k on n -s/2 + 1 algebraically independent homogeneous and h-weight generators. 9.8. Weights and Degrees. One may associate with each γ ∈ T an homogeneous generator p γ ∈ Y (p Λ ) so that the set {p γ ; γ ∈ T } is a set of algebraically independent and h-weight generators of the polynomial algebra Y (p Λ ). By what we said in Sect. 5, for each γ ∈ T , the weight of p γ is wt(p γ ) = -(γ + s(γ)) and the degree of p γ is deg(p γ ) = 1 + |s(γ)| (also equal to the eigenvalue plus one of x γ with respect to ad h, where recall h is the semisimple element of the adapted pair for p Λ that we have constructed, see 9.5). It suffices then to use the proof of Lemma 9.6 to compute all these weights and degrees, since there all the s(γ), for γ ∈ T , have been computed. Set, for all

1 ≤ i ≤ s/2 -1, γ i = ε 2i-1 -ε 2i .
Assume first that g is simple of type B n , with s + 2 < n or g is of type

D n , where recall s + 2 ≤ n -2. γ ∈ T wt(p γ ) deg(p γ ) γ i , 1 ≤ i ≤ [s/4] -2 s s + 4i γ i , [s/4] + 1 ≤ i ≤ s/2 -1 -2 s 3s -4i + 2 γ = ε s-1 -ε s+1 -2 s s + 2 γ = ε s-1 + ε s -s s/2 γ = ε s + ε s+2 -s+2 s/2 + 1 γ = (-1) n (ε n -ε n-1 ), g of type D n -s+2 n -s/2 -1 γ = (-1) n (ε n -ε n-1 ), g of type B n -2 s+2 2n -s -2 ε s+2j -ε s+2j+1 , 1 ≤ j ≤ [(n -s -2)/2] -2 s+2 s + 4j ε s+2k -ε s+2k-1 , 2 ≤ k ≤ [(n -s -1)/2] -2 s+2 s + 4k -2 γ = ε s+2 -ε s+1 -( s + s+2 ) s + 3 Assume now that g is of type B n , with n = s + 2. γ ∈ T wt(p γ ) deg(p γ ) γ i , 1 ≤ i ≤ [s/4] -2 s s + 4i γ i , [s/4] + 1 ≤ i ≤ s/2 -1 -2 s 3s -4i + 2 γ = ε s-1 -ε s+1 -2 s s + 2 γ = ε s-1 + ε s -s s/2 γ = ε s + ε s+2 -s+2 s/2 + 1 γ = ε s+2 -ε s+1 -( s + 2 s+2 ) s + 3 = n + 1 9.9.
Remark. Assume that g is simple of type B n with n ≥ 6 and that π = π \ {α s , α s+2 , α s+4 } with s an even integer and consider the parabolic subalgebra p = n -⊕ h ⊕ n + π associated to π . Then one may easily check as in the proof of Lemma 9.2 that ind p Λ = n -s/2 + 1. Take the same set S + as this chosen for the case π = π \ {α s , α s+2 } in subsection 9.1 and the same set S -but without the element -ε s+3 -ε s+4 which does no more belong to ∆ - π . Then restriction to h = h Λ of S = S + S -is still a basis for h * Λ . Take also the same sets T and T * as in subsections 9.2 and 9.3, which still lie in ∆ + ∆ - π . Unfortunately condition (v) of Proposition 6.2 is no more satisfied since x εs+ε s+3 and x εs+ε s+4 in T * do no more belong to ad p Λ (y) + g T . Thus our construction cannot be generalized to the more general case of p s, with s even and ≥ 2.

Case 1e for type C

In this Section, we consider a parabolic subalgebra p = p s, = p - π = n -⊕ h ⊕ n + π associated to the subset π = π \ {α s , α s+2 , . . . , α s+2 } with ∈ N and s an even or an odd integer, 1 ≤ s ≤ n -2 , in a simple Lie algebra g of type C n , with n ≥ 3. Hence we are in the case 1e of subsection 1.7.

If = 0, such a parabolic subalgebra is maximal and this case was already treated in [START_REF] Fauquant-Millet | Slices for maximal parabolic subalgebras of a semisimple Lie algebra[END_REF]. Thus we will assume that ≥ 1. By subsection 4.4, the lower and upper bounds for ch (Y (p Λ )) in (4) of Sect. 4 always coincide and then Y (p Λ ) is a polynomial algebra. However Weierstrass sections were not yet exhibited. As we said in Remark 3a of subsection 6.2, it suffices to construct an adapted pair to obtain a Weierstrass section for coadjoint action of p Λ in the present case. Our construction generalizes the construction of an adapted pair in case of a maximal parabolic subalgebra in type C (see [START_REF] Fauquant-Millet | Slices for maximal parabolic subalgebras of a semisimple Lie algebra[END_REF]Sect. 6]). 10.1. The Kostant cascades. The Kostant cascade β π for g simple of type C n is given by

β π = {β i = 2ε i ; 1 ≤ i ≤ n}.
The Kostant cascade β π of g is given by

β π = {β i = ε i -ε s+1-i , α s+2j-1 , β k = 2ε s+2 +k ; 1 ≤ i ≤ [s/2], 1 ≤ j ≤ , 1 ≤ k ≤ n -s -2 }.
We want to construct an adapted pair for p Λ = n -⊕ h ⊕ n + π . (Recall that here h Λ = h ). For this purpose we will use Prop. 6.2. First we give a set

S = S + S -⊂ ∆ + ∆ - π such that S |h Λ is a basis for h * Λ .
10.2. Condition (i) of Proposition 6.2. Since, for all 1 ≤ k ≤ n -s -2 , one has that β k = β s+2 +k , we will not be able to take S = β 0 π ∪ (-β 0 π ) as we did for type B n in Sect. 8. Instead we will take elements which are a kind of deformation of roots of the Kostant cascade, by setting

γ i = β i -α i = ε i + ε i+1 for all 1 ≤ i ≤ n -1.
Assume first that s is odd. We set

S + = {γ 2i-1 = ε 2i-1 + ε 2i ; 1 ≤ i ≤ [n/2]} and S -= {-β i = ε s+1-i -ε i , -γ 2j = -(ε 2j + ε 2j+1 ) ; 1 ≤ i ≤ (s -1)/2, (s + 2 + 1)/2 ≤ j ≤ [(n -1)/2]}.
Assume now that s is even and set t := [s/4]. We set

S + = {β 2t+1 , γ 2i-1 , γ 2j ; 1 ≤ i ≤ t, t + 1 ≤ j ≤ [(n -1)/2]} and S -= {-β i = ε s+1-i -ε i , -γ 2j+1 = -(ε 2j+1 + ε 2j+2 ) ; 1 ≤ i ≤ (s -2)/2, (s + 2 )/2 ≤ j ≤ [(n -2)/2]}.
In both cases for S = S + S -, one easily checks that

|S| = n --1 = dim h = dim h Λ .
The following lemma establishes condition (i) of Proposition 6.2.

Lemma. S |h Λ is a basis for h * Λ . Proof. Assume first that s is odd. Then we order the elements s u of S as follows :

s i = γ 2i-1 , 1 ≤ i ≤ [n/2] s [n/2]+j = -γ s+2 +2j-1 , 1 ≤ j ≤ [(n -1)/2] -(s + 2 -1)/2 s n--1-(s-1)/2+k = -β k , 1 ≤ k ≤ (s -1)/2
and order the elements h v of a basis of h as follows :

h i = α ∨ 2i , 1 ≤ i ≤ [n/2] h [n/2]+j = α ∨ s+2 +2j , 1 ≤ j ≤ [(n -1)/2] -(s + 2 -1)/2 h n--1-(s-1)/2+2k-1 = h 2k-1 = α ∨ 2k-1 , h n--1-(s-1)/2+2k = h 2k = α ∨ s-2k , 1 ≤ k ≤ [(s + 1)/4] without repetitions for the h j 's. Set A = (s u (h v )) 1≤u, v≤[n/2] , B = (s [n/2]+u (h [n/2]+v )) 1≤u, v≤[(n-1)/2]-(s+2 -1)/2 , C = (-β i (h j )) 1≤i, j≤(s-1)/2 .
By observing that γ i = i+1i-1 for all 1 ≤ i ≤ n -1 (with 0 = 0) one obtains that A, resp. B, is a lower triangular matrix with 1, resp. -1, on its diagonal. Moreover C is a lower triangular matrix with -1 on its diagonal by Lemma 6.4. Then one obtains that the matrix

(s u (h v )) 1≤u, v≤n--1 =   A 0 0 * B 0 * * C   is such that det(s u (h v )) 1≤u, v≤n--1 = 0. Assume now that s is even. Recall that t = [s/4].
We order the elements s u of S as follows :

s i = γ 2i-1 , 1 ≤ i ≤ t, s t+1 = β 2t+1 = 2ε 2t+1 , s t+1+j = γ 2(t+j) , 1 ≤ j ≤ [(n -1)/2] -t, s [(n+1)/2]+k = -γ s+2 +2k-1 , 1 ≤ k ≤ [(n -2)/2] -(s + 2 -2)/2, s n--1-(s-2)/2+r = -β r , 1 ≤ r ≤ (s -2)/2.
We order the elements h v of a basis of h as follows :

h i = α ∨ 2i , 1 ≤ i ≤ t, h t+1 = α ∨ 2t+1 , h t+1+j = α ∨ 2(t+j)+1 , 1 ≤ j ≤ [(n -1)/2] -t, h [(n+1)/2]+k = α ∨ s+2 +2k , 1 ≤ k ≤ [(n -2)/2] -(s + 2 -2)/2, h n--1-(s-2)/2+2r-1 = h 2r-1 = α ∨ 2r-1 , h n--1-(s-2)/2+2r = h 2r = α ∨ s-2r , 1 ≤ r ≤ t without repetitions. More precisely : if t = (s -2)/4 then h t = α ∨ 2t = α ∨ s/2-1 = h 2t = α ∨ s/2+1
, then both are taken and if t = s/4 then h 2t = α ∨ s/2 = h t then one takes h t but not h 2t . Then by the above one obtains that the matrix

(s u (h v )) 1≤u, v≤n--1 =       A 0 0 0 0 * 2 0 0 0 * * B 0 0 * * * C 0 * * * * D       with A = (s u (h v )) 1≤u, v≤t , B = (s t+1+u (h t+1+v )) 1≤u, v≤[(n-1)/2]-t , C = (s [(n+1)/2]+u (h [n+1)/2]+v )) 1≤u, v≤[(n-2)/2]-(s+2 -2)/2 , D = (-β i (h j )) 1≤i, j≤(s-2)/2
is such that det(s u (h v )) 1≤u, v≤n--1 = 0. Indeed the above matrices are lower triangular matrices with 1 (for A and B), resp. -1 (for C and D), on their diagonal. For each

β i ∈ β π , set H 0 β i = H β i \ {β i } and each β i ∈ β π , H 0 -β i = -H β i \ {-β i }.
As in [START_REF] Fauquant-Millet | Slices for maximal parabolic subalgebras of a semisimple Lie algebra[END_REF]Sect. 6], for each γ ∈ S + ∩ β π , we set Γ γ = H γ and for each γ ∈ S -∩ (-β π ), we set Γ γ = -H -γ . Moreover for the roots

γ i = β i -α i ∈ S + , we set Γ γ i = H 0 β i H β i+1 and for the roots -γ i = -γ s+2 +i = -(β i -α s+2 +i ) ∈ S -, we set Γ -γ i = H 0 -β i (-H β i+1 ).
As in [START_REF] Fauquant-Millet | Slices for maximal parabolic subalgebras of a semisimple Lie algebra[END_REF]Sect. 6] one easily checks that, for each γ ∈ S, Γ γ is a Heisenberg set with centre γ and these sets Γ γ , γ ∈ S, are pairwise disjoint by Lemma 6.1 i). Below we will show that conditions (ii) and (iii) of Prop. 6.2 are satisfied. Recall that, for each γ ∈ S, we set Γ 0 γ = Γ γ \ {γ} and O ± = γ∈S ± Γ 0 γ .

Lemma. Let γ ∈ S + and α ∈ Γ 0 γ such that there exists β ∈ O + with α + β ∈ S. Then β ∈ Γ 0 γ and α + β = γ.

Proof. Assume first that α + β ∈ S + ∩ β π . Then the assertion follows from Lemma 6.1 ii). Assume now that α + β = γ i = β i -α i ∈ S + . We will show that γ = γ i . We have that γ i ∈ H 0 β i then by Lemma 6.1 iii), one has that α ∈ H β i or β ∈ H β i . Suppose that α ∈ H β i . Then α = β i since β is a positive root and we have α ∈ H 0 β i ⊂ Γ γ i . Since the Heisenberg sets Γ γ , γ ∈ S, are pairwise disjoint, one deduces that γ = γ i . Since Γ γ is a Heisenberg set, it follows that β ∈ Γ 0 γ . Now if β ∈ H β i then for the same reason as before β ∈ H 0 β i ⊂ Γ γ i . But β ∈ O + then there exists γ ∈ S + such that β ∈ Γ 0 γ . As before one deduces that γ = γ i and then that α ∈ Γ 0 γ hence γ = γ = γ i . Since all roots in S + are of the above form, we are done. Condition (iii) of Prop. 6.2 follows similarly. 10.4. Condition (vi) of Proposition 6.2. Here we will show that condition

(vi) is satisfied, with T = (∆ + ∆ - π ) \ γ∈S Γ γ . Set T + = ∆ + \ γ∈S + Γ γ and T -= ∆ - π \ γ∈S -Γ γ . Then T = T + T -. Recall Lemma 6.1 i) that ∆ + = β∈βπ H β and ∆ - π = β∈β π (-H β ). Assume first that s is odd. Then T + = {β 2i-1 | 1 ≤ i ≤ [(n + 1)/2]} and T -= {-α s+2i-1 , -β s+2 +2j-1 , | 1 ≤ i ≤ , 1 ≤ j ≤ [(n + 1 -s)/2] -}.
Assume that s is even. Then

T + = {β 2i-1 , β 2j | 1 ≤ i ≤ t, t + 1 ≤ j ≤ [n/2]} and T -= {-α s/2 , -α s+2i-1 , -β s+2 +2j-1 | 1 ≤ i ≤ , 1 ≤ j ≤ [(n+1-s)/2]-}.
Below we establish condition (vi) of Prop. 6.2.

Lemma. One has that |T | = ind p Λ .

Proof. Recall that ind p Λ is equal to the number |E(π )| of ij -orbits in π (see Sect. 4). Here, since j = Id π , the set E(π ) of ij -orbits in π is the following. If s is odd, then

E(π ) = {{α i , α s-i }, {α s-1+j } | 1 ≤ i ≤ (s -1)/2, 1 ≤ j ≤ n -s + 1}.
If s is even, then

E(π ) = {{α i , α s-i }, {α s/2 }, {α s-1+j } | 1 ≤ i ≤ (s-2)/2, 1 ≤ j ≤ n-s+1}.
One checks that |T | = |E(π )|. Hence the lemma.

Finally if we set T * = ∅, then by construction condition (iv) of Prop. 6.2 is also satisfied and condition (v) is empty. 10.5. A Weierstrass section. By the above, all conditions of Prop. 6.2 are satisfied. Set y = γ∈S x γ . Since S |h Λ is a basis for h * Λ there exists a unique h ∈ h Λ such that for all γ ∈ S, γ(h) = -1. Then by Prop. 6.2 (h, y) is an adapted pair for p Λ . Moreover by subsection 4.4, for all Γ ∈ E(π ), ε Γ = 1. Then by Remark 3a of subsection 6.2, one deduces that y + g T is a Weierstrass section for coadjoint action of p Λ . Summarizing we obtain the following theorem.

Theorem. Let g be a complex simple Lie algebra of type C n (n ≥ 3) and let p = n -⊕ h ⊕ n + π be a parabolic subalgebra of g associated to π = π \ {α s , α s+2 , . . . , α s+2 } (s, ∈ N * ) and 1 ≤ s ≤ n -2 . Then y + g T is a Weierstrass section for coadjoint action of the canonical truncation p Λ of p. 10.6. Weights and degrees. Here both bounds (see (4) in Sect. 4) for ch(Y (p Λ )) coincide and then Y (p Λ ) is a polynomial algebra whose homogeneous and h-weight generators have weights and degrees which can be easily computed. To each Γ ∈ E(π ) is associated an homogeneous and h-weight generator of Y (p Λ ) which has weight δ Γ given by (2) of Sect. 4 and a degree ∂ Γ given by (5) of Sect. 4.

Below we give for completeness weights and degrees of a set of homogeneous and h-weight algebraically independent generators of Y (p Λ ), each of them corresponding to an ij -orbit Γ r in E (π ).

Assume first that s is odd :

ij -orbit in E(π ) Weight Degree Γ u = {α u , α s-u }, 1 ≤ u ≤ (s -1)/2 -2 s s + 2u Γ v = {α v }, v = s + 2k, 0 ≤ k ≤ -2 v v Γ v = {α v }, v = s + 2k -1, 1 ≤ k ≤ -v-1 -v+1 v + 1 Γ v = {α v }, s + 2 + 1 ≤ v ≤ n -2 s+2 2v -s -2 Assume now that s is even : ij -orbit in E(π ) Weight Degree Γ u = {α u , α s-u }, 1 ≤ u ≤ (s -2)/2 -2 s s + 2u Γ s/2 = {α s/2 } -s s Γ v = {α v }, v = s + 2k, 0 ≤ k ≤ -2 v v Γ v = {α v }, v = s + 2k -1, 1 ≤ k ≤ -v-1 -v+1 v + 1 Γ v = {α v }, s + 2 + 1 ≤ v ≤ n -2 s+2 2v -s - 2
11. Case 2a for type D.

In this Section we consider the Lie parabolic subalgebra p = p of the simple Lie algebra g of type D n , with n ≥ 4, n even and ∈ N, 0 ≤ ≤ (n -2)/2, associated with the subset π = π \ {α n-1-2k , α n | 0 ≤ k ≤ }. This is the case 2a of subsection 1.7. Recall 8.1 the Kostant cascade β π for g of type D n . Recall 6.4 the Kostant cascade β π 1 ⊂ β π for the simple Lie subalgebra g π 1 of the Levi subalgebra g of p of type A n-2-2 if < (n-2)/2. One has

β π 1 = {β i = ε i -ε n-2 -i | 1 ≤ i ≤ [(n -1 -2 )/2]}
We denote (as in 8.1)

β 0 π = β π \ (β π ∩ π) and β 0 π = β π \ (β π ∩ π ). Then we have that β 0 π = {β i = ε 2i-1 + ε 2i | 1 ≤ i ≤ (n -2)/2} and β 0 π = β π 1 since n is even. We set S + = β 0 π = {β i | 1 ≤ i ≤ (n -2)/2} and S -= -β 0 π = {-β i | 1 ≤ i ≤ (n -2 -2 )/2}.
For all γ ∈ S + , we set Γ γ = H γ the largest Heisenberg set with centre γ which is included in ∆ + as defined in subsection 6.1 and for all γ ∈ S -, we set Γ γ = -H -γ where H -γ is the largest Heisenberg set with centre -γ which is included in ∆ + π . Finally we set

T + = β π ∩ π, T -= -(β π ∩ π ), T = T + ∪ T -and T * = ∅. ij -orbit in E(π ) Weight Degree Γ u = {α u , α n-1-2 -u } -2 n-1-2 n -2 + 2u 1 ≤ u ≤ (n -2 -2 )/2 Γ v = {α v } -2 v v + 1 v = n -1 -2k, 1 ≤ k ≤ Γ v = {α v } -v-1 -v+1 v + 1 v = n -2k, 2 ≤ k ≤ Γ n-2 = {α n-2 } -n-3 -n-1 -n n -1 Γ n-1 = {α n-1 } -2 n-1 n/2 Γ n = {α n } -2 n n/2
Finally assume that = 0, that is,

π = π \ {α n-1 , α n } : ij -orbit in E(π ) Weight Degree Γ u = {α u , α n-1-u }, 1 ≤ u ≤ (n -2)/2 -2( n-1 + n ) n + 2u Γ n-1 = {α n-1 } -2 n-1 n/2 Γ n = {α n } -2 n n/2
11.6.

Remark. Assume now that g is simple of type D n with n odd and consider the parabolic subalgebra p = p with 0 ≤ ≤ (n -2)/2. Assume that we have found an adapted pair (h, y) for p Λ with y = γ∈S x γ , S ⊂ ∆ + ∆ - π and h ∈ h Λ . First assume that = 0. Then by (4) of Sect. 4, -( n-1 + n ) must be a weight of Sy(p), hence ( n-1 + n )(h) = 0 by definition of the canonical truncation (see 2.3). It follows that the set S cannot contain β 0 π , that is cannot contain all β i , for 1 ≤ i ≤ (n -1)/2, as in the case n even. Indeed one has that n-1 + n = ε 1 + . . . + ε n-1 = β 1 + . . . + β (n-1)/2 and then otherwise we would have both ( n-1 + n )(h) = 0 and ( n-1 + n )(h) = (-1) × (n -1)/2, a contradiction.

Assume now that ≥ 1. Then by (4) of Sect. 4, for all 1 ≤ k ≤ , -2 n-1-2k must be a weight of Sy(p), hence by the same argument as above, we cannot have that S contains β 1 , . . . , β (n-1-2k)/2 . 12. Case 2b for type D.

Here we consider the parabolic subalgebra p 0 of g of type D n , with n ≥ 5, n odd. This is the parabolic subalgebra of g associated with the subset π = π \ {α n-1 , α n }. Then it is the case 2b of subsection 1.7.

We set S = S + S -with

S + = {β i = ε 2i-1 + ε 2i ; 1 ≤ i ≤ (n -3)/2, β(n-1)/2 = ε n-2 + ε n , β(n+1)/2 = ε n-2 -ε n } and S -= {-β 1 = ε n-1 -ε 1 , -β i = ε n-i-1 -ε i ; 2 ≤ i ≤ (n -3)/2}.
For all 1 ≤ i ≤ (n -3)/2, we set Γ β i = H β i and we set Γ -β 1 = -H β 1 , where H β i , resp. H β 1 , is the largest Heisenberg set with centre β i ∈ β π , resp. β 1 ∈ β π , which is included in ∆ + , resp. in ∆ + π , as defined in subsection 6.1. We set

Γ β(n-1)/2 = { β(n-1)/2 , ε n-2 -ε n-1 , ε n-1 + ε n }, Γ β(n+1)/2 = { β(n+1)/2 }.
For all 2 ≤ i ≤ (n -3)/2, we set

Γ -β i = {-β i , ε n-i-1 -ε j , ε j -ε i ; i + 1 ≤ j ≤ n -i -2}.
We also set

T = {ε n-2 -ε 2 , ε n-2 + ε n-1 , ε n-1 -ε n , ε 2i-1 -ε 2i ; 1 ≤ i ≤ (n -3)/2}
and

T * = {ε n-2 -ε i ; 3 ≤ i ≤ n -3}
By construction for all γ ∈ S + , resp. γ ∈ S -, we have that Γ γ ⊂ ∆ + , resp. Γ γ ⊂ ∆ - π , is a Heisenberg set with centre γ and all the sets Γ γ , for γ ∈ S, together with the sets T and T * are disjoint. We easily verify that condition (iv) of Prop. 6.2 is satisfied, using i) of Lemma 6.1. Conditions (ii) and (iii) of Prop. 6.2 follow easily from ii), iii) and iv) of Lemma 6.1.

12.1. Condition (i) of Proposition 6.2. This condition follows from the lemma below.

Lemma. S |h Λ is a basis for h * Λ .

Proof. First we observe that h Λ = h ⊕ H -1 (ε n ), where recall H : h -→ h * is the isomorphism induced by the Killing form on h × h by Sect. 3.

Then dim h Λ = dim h + 1 = n -1. We have that |S| = n -1. Now set s i = β i for 1 ≤ i ≤ (n -3)/2, s (n-1)/2 = ε n , s (n+1)/2 = ε n-2 , s (
n+3)/2 = -β 1 and then s (n+3)/2+j = -β j+1 for all 1 ≤ j ≤ (n -5)/2 and we take the elements of S in this order.

For a basis (h j ) of h Λ we take, in this order :

α ∨ 2i , 1 ≤ i ≤ (n -3)/2, H -1 (ε n ), α ∨ n-2 , α ∨ 2j-1 , α ∨ n-2-2j , 1 ≤ j ≤ [(n -1)/ 4
] without repetitions. Then it suffices to prove that det(s i (h j )) 1≤i, j≤n-1 = 0.

We easily check that (s i (h j )) = A 0 * B where A, resp. B, is a lower triangular matrix of size (n + 1)/2, resp. (n -3)/2, with 1, resp. -1, on the diagonal. Hence the lemma.

12.2. Condition (v) of Proposition 6.2. Set y = γ∈S x γ . Condition (v) of Prop. 6.2 follows from the lemma below.

Lemma. Let k ∈ N such that 3 ≤ k ≤ n-3. Then x ε n-2 -ε k ∈ ad p Λ (y)+g T . Proof. Suppose first that k is odd (3 ≤ k ≤ n-4) and set γ 1 = ε n-2 +ε n ∈ S, γ 1 = ε k+1 -ε n-2 ∈ ∆ + π \ S, γ 2 = ε n-2 -ε n ∈ S, γ 2 = ε n -ε k ∈ ∆ -\ S, γ 3 = ε k+1 +ε k ∈ S, γ 3 = -ε k -ε n ∈ ∆ -\S.
We will show that the hypotheses of Lemma and Proposition 6.3 are satisfied. We have that γ

1 + γ 1 = ε k+1 + ε n ∈ ∆ + \ S, γ 2 + γ 2 = ε n-2 -ε k ∈ ∆ - π \ S, γ 3 + γ 3 = ε k+1 -ε n ∈ ∆ + \ S. Moreover γ 2 + γ 2 = γ 1 + γ 3 , γ 3 + γ 3 = γ 2 + γ 1 , γ 1 + γ 1 + γ 2 ∈ ∆ and γ 1 + γ 2 ∈ ∆, γ 2 + γ 3 ∈ ∆, γ 1 + γ 3 ∈ ∆.
Hence, by Lemma 6.3, up to rescaling some root vectors in a complement of g S in g, we have that

     ad x ε k+1 -ε n-2 (y) = x ε k+1 +εn + x ε k+1 -εn + X ad x εn-ε k (y) = x ε k+1 +εn + x ε n-2 -ε k ad x -ε k -εn (y) = x ε k+1 -εn + x ε n-2 -ε k with X = x ε n-2-k -ε n-2 = ad x -ε n-k-3 -ε n-2 (y) ∈ ad p Λ (y) + g T if 3 ≤ k ≤ (n -5)/2, and X = 0 otherwise. Hence x ε n-2 -ε k ∈ ad p Λ (y) + g T for k odd, 3 ≤ k ≤ n -4. A similar computation shows that x ε n-2 -ε k ∈ ad p Λ (y) + g T for k even, 4 ≤ k ≤ n -3.
12.3. Condition (vi) of Proposition 6.2. It follows from lemma below.

Lemma. We have that

|T | = ind p Λ = |E(π )|.
Proof. The set E(π ) of ij -orbits in π is the following :

E(π ) = Γ u = {α u , α n-1-u }, 1 ≤ u ≤ (n -3)/2, Γ (n-1)/2 = {α (n-1)/2 }, Γ n-1 = {α n-1 }, Γ n = {α n } Then |E(π )| = (n -3)/2 + 3 = (n + 3)/2 and it is equal to |T |.
12.4. The semisimple element of the adapted pair. All conditions of Proposition 6.2 are satisfied. Hence y = γ∈S x γ is regular in p * Λ and there exists a uniquely defined h ∈ h Λ such that (h, y) is an adapted pair for p Λ .

Below we give the semisimple element h :

h = - (n-3)/2 k=1 kα ∨ 2k + [(n-1)/4] k=1 ((n -1)/2 + k)α ∨ 2k-1 + (n-3)/2 k=[(n-1)/4]+1 (3(n -1)/2 + 1 -3k)α ∨ 2k-1 -((n -1)/2)α ∨ n-2 ∈ h ⊂ h Λ 12
= {α 2 , α n-3 } ∈ E(π ) one has d Γ = 2 + n-3 ∈ B π and d Γ = 2 + n-3 ∈ B π , hence ε Γ = 1/2.
We then need to compute the improved upper bound mentioned in Sect. 5.

Lemma. We have that

ch(Y (p Λ )) = 1 -e -2( n-1 + n) -(n-3)/2 1 -e -( n-1 + n)
Proof. It suffices to prove that (8) of Sect. 5 holds. Recall the ij -orbits computed in the proof of Lemma 12.3 and the lower bound for ch(Y (p Λ ))

given by (4) in Sect. 4, with the weights δ Γ , for all Γ ∈ E(π ), given by (2). For 1 ≤ u ≤ (n -3)/2, we have that

δ Γu = -2( u + n-1-u ) + 2( u + n-1-u ) = -2( n-1 + n ). Then δ Γ (n-1)/2 = -2 (n-1)/2 + 2 (n-1)/2 = -( n-1 + n ). Finally observe that j(Γ n-1 ) = Γ n and then δ Γ n-1 = -( n-1 + n ) = δ Γn .
It follows that the lower bound for ch(Y (p Λ )) is equal to the right hand side of equality in the lemma. Now we have to compute the improved upper bound and for this purpose we have to compute, for all γ ∈ T , the s(γ) ∈ QS such that γ + s(γ) vanishes on h Λ , that is, we have to determine s(γ)

∈ QS such that γ + s(γ) = k( n-1 + n ) for some k ∈ Q (in fact k ∈ N).
Recall the sets S and T given in the beginning this Section. For

1 ≤ i ≤ (n -3)/2, set γ i = ε 2i-1 -ε 2i . Assume first that 1 ≤ i ≤ [(n -1)/4]. Then one checks that s(γ i ) = 2(ε n-1 -ε 1 ) + (ε n-2 -ε n ) + (ε n-2 + ε n )+ 2 2i-1 j=2 (ε n-j-1 -ε j ) + 4 i-1 j=1 (ε 2j-1 + ε 2j )+ 2 (n-1)/2-i j=i+1 (ε 2j-1 + ε 2j ) + +3(ε 2i-1 + ε 2i ) ∈ NS so that γ i + s(γ i ) = 2( n-1 + n ). Now assume that [(n -1)/4] < i ≤ (n -3)/2. Then one checks that s(γ i ) = 2 n-1-2i j=2 (ε n-1-j -ε j ) + 4 (n-1)/2-i j=1 (ε 2j-1 + ε 2j )+ 2 i-1 j=(n-1)/2-i+1 (ε 2j-1 + ε 2j ) + (ε 2i-1 + ε 2i )+ 2(ε n-1 -ε 1 ) + (ε n-2 -ε n ) + (ε n-2 + ε n ) ∈ NS so that γ i + s(γ i ) = 2( n-1 + n ). For γ = ε n-2 -ε 2 ∈ T , one checks that s(γ) = 2(ε 1 + ε 2 ) + (ε 3 + ε 4 ) + . . . + (ε n-4 + ε n-3 ) + (ε n-1 -ε 1 ) ∈ NS so that γ + s(γ) = n-1 + n . For γ = ε n-2 + ε n-1 ∈ T , one checks that s(γ) = (ε 1 + ε 2 ) + (ε 3 + ε 4 ) + . . . + (ε n-4 + ε n-3 ) ∈ NS so that γ + s(γ) = n-1 + n . Finally for γ = ε n-1 -ε n ∈ T , one checks that s(γ) = (ε 1 + ε 2 ) + (ε 3 + ε 4 ) + . . . + (ε n-4 + ε n-3 ) + (ε n-2 + ε n ) ∈ NS so that γ + s(γ) = n-1 + n .
We deduce that the improved upper bound is equal to the right hand side of equality in the lemma. Hence the lemma, by what we said in Sect. 5. 12.6. Existence of a Weierstrass section for coadjoint action. By what we said in Sect. 5 (see also Remark 3b of subsection 6.2) we have the following Theorem.

Theorem. Let g be a simple Lie algebra of type D n , with n ≥ 5, n odd, and p be the standard parabolic subalgebra of g associated with the subset π = π \ {α n-1 , α n } of the set π of simple roots of g. Then there exists a Weierstrass section for coadjoint action of the canonical truncation p Λ of p and it follows that the algebra of symmetric invariants Y (p Λ ) is a polynomial algebra over k.

≤ i ≤ (n -3)/2, γ i = ε 2i-1 -ε 2i . γ ∈ T wt(p γ ) deg(p γ ) γ i , 1 ≤ i ≤ [(n -1)/4] -2( n-1 + n ) n -1 + 4i γ i , [(n -1)/4] + 1 ≤ i ≤ (n -3)/2 -2( n-1 + n ) 3n -4i -1 γ = ε n-2 -ε 2 -( n-1 + n ) (n + 3)/2 γ = ε n-2 + ε n-1 -( n-1 + n ) (n -1)/2 γ = ε n-1 -ε n -( n-1 + n ) (n + 1)/2
13. Case 2c for type D.

In this Section we consider a simple Lie algebra g of type D n , n ≥ 5, n odd and the standard parabolic subalgebra p = p 1 associated with π = π \ {α n-3 , α n-1 , α n }. It corresponds to the case 2c of subsection 1.7. As in previous case, both bounds in (4) of Sect. 4 do not coincide. Hence the existence of an adapted pair for p Λ will not produce immediately a Weierstrass section for coadjoint action of p Λ . We will have to compute the improved upper bound mentioned in Sect. 5 and show that the latter coincides with the lower bound in (4), namely that equality (8) holds. Then by Remark 3b of subsection 6.2 this will produce a Weierstrass section for coadjoint action of p Λ .

Recall the elements β i = ε 2i-1 + ε 2i of the Kostant cascade β π of g. We set S = S + S -with

S + = {β i , 1 ≤ i ≤ (n -5)/2, ε n-4 + ε n-2 , ε n-3 + ε n , ε n-3 -ε n } and S -= {ε n-3-k -ε k , 1 ≤ k ≤ (n -5)/2}. For all 1 ≤ i ≤ (n -5)/2, we set Γ β i = H β i
the largest Heisenberg set with centre β i which is included in ∆ + , as defined in subsection 6.1.

We also set

Γ ε n-4 +ε n-2 = {ε n-4 + ε n-2 , ε n-4 + ε n-1 , ε n-2 -ε n-1 , ε n-4 + ε n , ε n-2 -ε n , ε n-4 -ε n-1 , ε n-2 + ε n-1 , ε n-4 -ε n , ε n-2 + ε n , ε n-4 -ε n-3 , ε n-2 + ε n-3 }, Γ ε n-3 +εn = {ε n-3 + ε n , ε n-3 -ε n-1 , ε n-1 + ε n }, Γ ε n-3 -εn = {ε n-3 -ε n } and for all 1 ≤ k ≤ (n -5)/2, Γ ε n-3-k -ε k = {ε n-3-k -ε k , ε n-3-k -ε j , ε j -ε k ; k + 1 ≤ j ≤ n -4 -k}.
Finally we set

T * = {ε n-3 -ε k ; 1 ≤ k ≤ n -2, k = n -3} and T = {ε 2i-1 -ε 2i ; 1 ≤ i ≤ (n -5)/2, ε n-4 + ε n-3 , ε n-4 -ε n-2 , ε n-3 + ε n-1 , ε n-1 -ε n , ε n-1 -ε n-2 }.
By construction for all γ ∈ S + , resp. γ ∈ S -, we have that Γ γ ⊂ ∆ + , resp. Γ γ ⊂ ∆ - π , is a Heisenberg set with centre γ and all the sets Γ γ , for γ ∈ S, together with the sets T and T * are disjoint. We easily verify that condition (iv) of Prop. 6.2 is satisfied, using i) of Lemma 6.1. Conditions (ii) and (iii) of Prop. 6.2 follow easily from ii), iii) and iv) of Lemma 6.1.

13.1. Conditions (i) of Proposition 6.2. We have the following lemma.

Lemma. We have that S |h Λ is a basis for h * Λ .

Proof. First as in previous Section, one has that dim h

Λ = dim h + 1 since h Λ = h ⊕ H -1 ( n -n-1 ) = h ⊕ H -1 (ε n ) by Section 3. We check that |S| = n -2 = dim h Λ . Set s i = β i for all 1 ≤ i ≤ (n -5)/2, s (n-3)/2 = ε n-3 , s (n-1)/2 = ε n , s (n+1)/2 = ε n-4 + ε n-2 , s (n+1)/2+k = ε n-3-k -ε k , 1 ≤ k ≤ (n -5
)/2 and we take the elements of S in this order.

For a basis (h v ) of h Λ , we take in this order,

α ∨ 2j ; 1 ≤ j ≤ (n -5)/2, α ∨ n-4 , H -1 (ε n ), α ∨ n-2 , α ∨ 2k-1 , α ∨ n-4-2k ; 1 ≤ k ≤ [(n -3)/4
] without repetitions for the last coroots.

Then it suffices to show that det(s u (h v )) 1≤u, v≤n-2 = 0. One can easily verify that

(s u (h v )) =       A 0 0 0 0 * -1 0 0 0 * * 1 0 0 * * * 1 0 * * * * B      
where A, resp. B, is a lower triangular square matrix of size (n -5)/2, with one, resp. -1, on its diagonal. Hence the lemma.

Lemma. For all

1 ≤ k ≤ n -2, k = n -3, we have that x ε n-3 -ε k ∈ ad p Λ (y) + g T .
Proof. We will use Lemma and Proposition of subsection 6.3. First assume that k = n -2 and set

     γ 1 = ε n-4 + ε n-2 ∈ S, γ 1 = -ε n -ε n-2 ∈ S γ 2 = ε n-3 + ε n ∈ S, γ 2 = ε n-4 -ε n-3 ∈ S γ 3 = ε n-3 -ε n ∈ S, γ 3 = ε n -ε n-2 ∈ S
One checks easily that all conditions of Lemma 6.3 are satisfied. Moreover since one can take the vectors X, X , X in Prop. 6.3 equal to zero, one deduces that x ε n-3 -ε n-2 ∈ ad p Λ (y) + g T .

Assume now that k = n -4 and set

     γ 1 = ε n-3 + ε n ∈ S, γ 1 = -ε n -ε n-4 ∈ S γ 2 = ε n-2 + ε n-4 ∈ S, γ 2 = ε n -ε n-4 ∈ S γ 3 = ε n-3 -ε n ∈ S, γ 3 = ε n-2 -ε n-3 ∈ S
One checks that all conditions of Lemma 6.3 are satisfied. Moreover since one can take the vectors X, X , X in Prop. 6.3 equal to zero, one deduces that x ε n-3 -ε n-4 ∈ ad p Λ (y) + g T .

Assume that 1 ≤ k ≤ n -6, k odd, and set

     γ 1 = ε n-3 + ε n ∈ S, γ 1 = -ε k -ε n ∈ S γ 2 = ε k + ε k+1 ∈ S, γ 2 = ε n -ε k ∈ S γ 3 = ε n-3 -ε n ∈ S, γ 3 = ε k+1 -ε n-3 ∈ S
One checks that all conditions of Lemma 6.3 are satisfied. Moreover since one can take in Prop. 6.3, X = X = 0 and X = x ε n-4-k -ε n-3 = ad x -ε n-5-k -ε n-3 (y) if k ≤ (n -7)/2, X = 0 otherwise, one deduces that x ε n-3 -ε k ∈ ad p Λ (y) + g T .

A similar computation for 2 ≤ k ≤ n -5, k even, shows that x ε n-3 -ε k ∈ ad p Λ (y) + g T . Hence the existence of an adapted pair for p Λ is not sufficient to assure the existence of a Weierstrass section for coadjoint action of p Λ . We will show below that (8) of Sect. 5 holds and by what we said in Sect. 5 it will be sufficient to provide a Weierstrass section.

Lemma. We have that ch (Y (p Λ )) = (1 -e -2 n-3 ) -(n-3)/2 × (1 -e -n-3

) -1 × (1 -e -( n-3 + n-1 + n) ) -1 × (1 -e -( n-1 + n) ) -2
Proof. We will prove that the improved upper bound mentioned in Sect. 5 is equal to the lower bound appearing in left hand side of (4) of Sect. 4, namely that (8) of Sect. 5 holds.

Recall that the lower bound for ch (Y (p Λ )) is equal to Γ∈E(π ) (1 -e δ Γ ) -1 where δ Γ is given by (2) of subsection 4.2.

Recall the set E(π ) computed in the proof of Lemma 13.3 and that for all Γ ∈ E(π ) one has that i(Γ ∩ π ) = j(Γ) ∩ π (by 4.2). Then for 1 ≤ u ≤ (n -5)/2, and Γ u = {α u , α n-3-u }, one has that δ Γu = -2( u + n-3-u ) + 2( u + n-3-u ) = -2(ε 1 + . . . + ε u + ε 1 + . . . + ε n-3-u )+ 2(ε 1 -ε n-3 + . . . + ε u -ε n-2-u ) = -2 n-3 .

For Γ (n-3)/2 = {α (n-3)/2 }, one has that

γ ∈ T wt(p γ ) deg(p γ ) γ i -2 n-3 n -3 + 4i 1 ≤ i ≤ [(n -3)/4] γ i -2 n-3 3n -4i -7 [(n -3)/4] + 1 ≤ i ≤ (n -5)/2 γ = ε n-4 + ε n-3 -n-3 (n -3)/2 γ = ε n-4 -ε n-2 -2 n-3 n -1 γ = ε n-3 + ε n-1 -( n-1 + n ) (n -1)/2 γ = ε n-1 -ε n -( n-1 + n ) (n + 1)/2 γ = ε n-1 -ε n-2 -( n-3 + n-1 + n ) n
14. Case 3 for type D.

Here we consider the parabolic subalgebra p = q s, of g simple of type D n with n odd, n ≥ 5, s odd et ∈ N such that s + 2 ≤ n -2 (note that in this case one has that s + 2 = n -3, hence it does not coincide with some p ). This corresponds to the case 3 of subsection 1.7 that is, the parabolic subalgebra q s, of g associated with π = π\{α s , α s+2 , . . . , α s+2 , α n-1 , α n }.

When s + 2 < n -2, there exists a connected component of π of type A n-2-s-2 which we denote by π 2 . Then, when moreover s ≥ 3, there exist two connected components of π of type A k with k ≥ 2, namely π 1 of type A s-1 and π 2 above. Denote by β π k ⊂ β π the Kostant cascade of the simple factor of g associated with π k for k ∈ {1, 2}. We have that

β π 1 = {β i = ε i -ε s+1-i | 1 ≤ i ≤ (s -1)/2} and β π 2 = {β i = ε s+2 +i -ε n-i | 1 ≤ i ≤ (n -s -2 -2)/2}. Recall that β 0 π = β π \ (β π ∩ π ). Then β 0 π = β π 1 ∪ β π 2 .
We also have that (see subsection 8.1) 14.1. Conditions (i) to (v) of Proposition 6.2. For all β i ∈ S + with 1 ≤ i ≤ (n -3)/2, we set Γ β i = H β i ⊂ ∆ + and for all γ ∈ S -, we set Γ γ = -H -γ ⊂ ∆ - π with the notation of subsection 6.1. Finally we set Γ ε n-2 +εn = {ε n-2 + ε n , ε n-2 -ε n-1 , ε n-1 + ε n }, T + = {β (n-1)/2 , ε n-2ε n , ε n-1 -ε n , ε 2i-1 -ε 2i , 1 ≤ i ≤ (n -3)/2} and T -= -(β π ∩ π ). By construction every set Γ γ , for γ ∈ S, is a Heisenberg set with centre γ such that, if γ ∈ S + , then Γ γ ⊂ ∆ + and if γ ∈ S -, then Γ γ ⊂ ∆ - π . Moreover, for all 1 ≤ i ≤ (n -1)/2, we have that ε 2i-1 -ε 2i = α 2i-1 ∈ β π ∩ π (see subsection 8.1) and H α 2i-1 = {α 2i-1 }. We observe that H β (n-1)/2 H α n-2 = Γ ε n-2 +εn (T + ∩ H β (n-1)/2 ). Then by i) of Lemma 6.1, the sets T + , T -and the Γ γ 's, γ ∈ S, are disjoint and one has that ∆ + = γ∈S + Γ γ T + and ∆ - π = γ∈S -Γ γ T -. Then by setting T * = ∅, condition (iv) of Prop. 6.2 holds, with T = T + T -. One also deduces by ii), iii) and iv) of Lemma 6.1 that conditions (ii) and (iii) of Prop. 6.2 are satisfied. Condition (i) follows from the following Lemma.

β 0 π = β π \ (β π ∩ π) = {β i = ε 2i-1 + ε 2i | 1 ≤ i ≤ (n -

Lemma. S | h Λ

is a basis for h * Λ .

Proof. First we observe that h Λ = h ⊕ kH -1 (ε n ) by what we said in Sect. H -1 (ε n )

without repetitions for the h j 's and the h j 's. Recall that β i = 2i -2i-2 (where 0 = 0) and Lemma 6.4. Then we obtain that

+ k + 1 0 ≤ k ≤ 2 , k even Γ s+k = {α s+k } -s+k-1 -s+k+1 2(s + k) 1 ≤ k ≤ 2 -1, k odd Γ n-1 = {α n-1 } -n-1 -n (n -1)/2 Γ n = {α n } -n -n-1
(n + 1)/2 14.5.

Remarks.

(1) Consider now the parabolic subalgebra p = q s, in g of type D n , with s an even integer and assume that we have found an adapted pair (h, y) ∈ h Λ × p * Λ for p Λ . Then the set S cannot contain, as in the case s odd and n odd, the set {β i | 1 ≤ i ≤ [(n -3)/2]}, at least for s/2 ≤ [(n -3)/2]. Indeed by (4) of Sect. 4, one has that -2 s ∈ Λ(p) then necessarily s (h) = 0 ⇐⇒ β 1 + . . . + β s/2 = 0 in contradiction with the fact that, for all 1 ≤ i ≤ [(n-3)/2], one should have also that β i (h) = -1. Moreover for s = n -2 (with s even), the set S = {β i ; 1 ≤ i ≤ (n -4)/2, β(n-2)/2 = ε n-3 + ε n-1 } ∪ (-β 0 π ) is such that S |h Λ is not in general a basis for h * Λ (since for all s ∈ S, s(α ∨ n/2-1 ) = 0 for n ≥ 8).

(2) Now consider in g simple of type D n , the parabolic subalgebra p = q s, with s odd and n even, and take for S a similar set as in case s odd and n odd, namely S = {β i ; 1 ≤ i ≤ (n -4)/2, β(n-2)/2 = ε n-3 + ε n-1 } ∪ (-β 0 π ). Then either S |h Λ is not a basis for h * Λ or in case it is, then take the Heisenberg sets similar as those taken in case n and s odd (with Γ β(n-2)/2 = { β(n-2)/2 , ε n-3 ± ε n , ε n-1 ∓ ε n , ε n-3ε n-2 , ε n-2 + ε n-1 }). Take also T and T * disjoint sets such that conditions (iv) and (vi) of Proposition 6.2 hold. But then condition (v) of Proposition 6.2 is not satisfied.

(3) Finally consider a parabolic subalgebra p of g simple of type B n or C n , associated with the subset π = π \ {α s , α s+2 , . . . , α s+2 , α n } for s + 2 ≤ n -1. Then a similar construction as this made for q s, for g simple of type D n with n and s odd does not give a regular element y in p * Λ .

  (b) g is of type D n with n ≥ 4, s odd and ≥ 1. (c) g is of type B n with n ≥ 4, s even and = 1. (d) g is of type D n with n ≥ 6, s even, s ≤ n -4 and = 1. (e) g is of type C n with n ≥ 3 and ≥ 1. (2) for coadjoint action of the canonical truncation of p for g simple of type D n when : (a) n ≥ 4, and n even. (b) n ≥ 5, n odd, and = 0. (c) n ≥ 5, n odd, and = 1.

2. 8 . 2 (

 82 Magic number and nonsingularity. The magic number of a is c(a) = 1 dim a + ind a). It is always an integer. By [27, Prop. 3.1] one always has that c(a Λ ) = c(a), where a Λ is the canonical truncation of a. When a = g is semisimple, one has that c(g) = dim b where b is a Borel subalgebra of g.

4. 2 .

 2 Following [12,[START_REF] Dixmier | Sur les représentations unitaires des groupes de Lie nilpotents II[END_REF]2.1] one may set, for each Γ ∈ E(π ) :

  for type D n and for typeB n if s + 2 < n. For type B n with s + 2 = n one checks that δ Γ s+1 = -( s + 2 s+2 ). If s+3 ≤ u ≤ n-1 for type B n , resp. s+3 ≤ u ≤ n-2 for type D n ,then one checks that δ Γu = -2 s+2 . If u = n for g of type B n (and s + 2 < n), resp. u = n -1 or u = n for g of type D n , then one checks that δ Γu = -s+2 .

. 5 .

 5 Computation of the improved upper bound. However for n ≥ 7, both bounds in (4) of Sect. 4 do not coincide since for Γ

12. 7 .

 7 Weights and degrees of a set of generators. By what we said in Sect. 5 to each γ ∈ T is associated an element p γ such that {p γ ; γ ∈ T } is a set of algebraically independent homogeneous and h-weight generators of the polynomial algebra Y (p Λ ). Moreover for all γ ∈ T , p γ has a weight wt(p γ ) equal to -(γ + s(γ)) and a degree deg(p γ ) equal to 1 + |s(γ)|. Below we give the weight wt(p γ ) and the degree deg(p γ ) of p γ , for all γ ∈ T . Set, for all 1

13. 2 .

 2 Condition (v) of Proposition 6.2. It follows from lemma below. Set y = α∈S x α .

13. 3 .

 3 Condition (vi) of Proposition 6.2. It follows from lemma below.Lemma. One has that|T | = ind p Λ = |E(π )|. Proof. Recall that E(π ) is the set of ij -orbits in π. One easily checks that E(π ) = Γ u = {α u , α n-3-u }; 1 ≤ u ≤ (n -5)/2, Γ (n-3)/2 = {α (n-3)/2 }, Γ n-3 = {α n-3 }, Γ n-2 = {α n-2 }, Γ n-1 = {α n-1 }, Γ n = {α n } Hence ind p Λ = |E(π )| = (n -5)/2 + 5 = (n + 5)/2,which is equal to |T | (see beginning of this Section).

13. 4 . 5 .

 45 The semisimple element of the adapted pair. All conditions of Proposition 6.2 are satisfied. Hence y = γ∈S x γ is regular in p * Λ and there exists a uniquely defined semisimple element h ∈ h Λ such that ad h(y) = -y, namely such that (h, y) is an adapted pair for p Λ . Below we give the semisimple element h: n-3)/4]+1 (3(n -3)/2 + 1 -3k)α ∨ 2k-1 + α ∨ n-4 -((n -1)/2)α ∨ n-2 ∈ h ⊂ h Λ13.Computation of the improved upper bound. Here both bounds in (4) of Sect. 4 do not coincide since, for Γ = Γ n-3 ∈ E(π ), we have that ε Γ n-3 = 1/2 (recall (3) of subsection 4.3). Indeed by subsection 4.3, we have that d Γ n-3 = n-3 ∈ B π and d Γ n-3 = 0 ∈ B π .

δ 7 .

 7 Γ (n-3)/2 = -2 (n-3)/2 + 2 (n-3)/2 = -2(ε 1 + . . . + ε (n-3)/2 )+ 2(ε 1 -ε n-3 + ε 2 -ε n-4 + . . . + ε (n-3)/2 -ε (n-1)/2 ) = -(ε 1 + . . . + ε n-3 ) =n-3 . Then for Γ n-3 = {α n-3 }, one has that δ Γ n-3 = -2 n-3 . For Γ n-2 = {α n-2 }, one has that δ Γ n-2 = -2 n-2 + 2 n-2 = -2(ε 1 + . . . + ε n-2 ) + (ε n-2 -ε n-1 ) = -2(ε 1 + . . . + ε n-3 ) -ε n-2 -ε n-1 = -( n-3 + n-1 + n ) 13.Weights and degrees of a set of generators. As in subsection 12.7 we give below the weights and degrees of each element of a set {p γ ; γ ∈ T } of homogeneous and h-weight algebraically independent generators of the polynomial algebra Y (p Λ ). Recall that the weight wt(p γ ) of p γ is equal to -(γ + s(γ)) and the degree deg(p γ ) of p γ is equal to 1 + |s(γ)| and that we set γ i = ε 2i-1 -ε 2i for all 1 ≤ i ≤ (n -5)/2.

  1)/2}. We setS + = {β i ; 1 ≤ i ≤ (n -3)/2, β(n-1)/2 = β (n-1)/2 -α n-1 = ε n-2 + ε n }, S -= -β 0 π and S = S + ∪ S -.

3 .

 3 Hence dim h Λ = dim h + 1 = n --3 + 1 = n --2. We first verify that |S| = (n -3)/2 + 1 + (s -1)/2 + (n -s -2 -2)/2 = n --2 = dim h Λ .Then we order the elements s u of S as follows :β 1 , . . . , β (n-3)/2 , -β 1 , . . . , -β (s-1)/2 , -β 1 , . . . , -β (n-s-2 -2)/2 , ε n-2 + ε n Set t = [(s + 1)/4] and t = [(n -s -2 ]/4]. For a basis (h v ) of h Λ we take, in this order, α ∨ 2 , α ∨ 4 , . . . , α ∨ n-3 , h 1 = α ∨ 1 , h 2 = α ∨ s-2 , . . . , h 2t-1 = α ∨ 2t-1 , h 2t = α ∨ s-2t , h 1 = α ∨ n-2 , h 2 = α ∨ s+2 +2 , . . . , h 2t -1 = α ∨ n-2t , h 2t = α ∨ s+2 +2t

(

  s u (h v )) 1≤u, v≤n-2-A = (β u (α ∨ 2v )) 1≤u, v≤(n-3)/2 , resp. B = (-β u (h v )) 1≤u, v≤(s-1)/2 , and C = (-β u (h v )) 1≤u, v≤(n-s-2 -2)/2, which are lower triangular matrices with 1, resp. -1 on their diagonal. Hence the lemma. 14.2. Condition (vi) of Proposition 6.2. Condition (vi) of Prop. 6.2 follows from the following Lemma.Lemma. We have that|T | = ind p Λ . ij -orbit in E(π ) Weight Degree Γ u = {α u , α s-u } -2 s s + 1 + 2u 1 ≤ u ≤ (s -1)/2 Γ s+2 +v = {α s+2 +v , α n-1-v } -2( n-1 + n ) n + 3s + 6 + 2v 1 ≤ v ≤ (n -s -2 -2)/2Γ s+k = {α s+k } -2 s+k s

  The following lemma will be useful for the next sections, notably to prove that, for a suitable subset S ⊂ ∆ + ∆ - π , one has that S |h Λ is a basis for h * Λ (see Lemma 8.2 or Lemma 10.2). If s is even, set t := [s/4] and if s is odd, set t := [(s + 1)/4]. We consider the subset {h j } 1≤j≤[(s-1)/2] ⊂ π 1

∨ , with the following order. If t = s/4 with s even, resp. t = (s + 1)/4 with s odd, then

  of 7.1 is just a necessary condition), one gives in the table below the multiplicities m λ and m * λ = m -λ for all eigenvalue λ ∈ k of ad h on p * Second example. Here we assume that g is simple of type D 9 and consider π = π \ {α 1 , α 3 , α 5 , α 8 , α 9 } and the parabolic subalgebra p = p -

	20	FLORENCE FAUQUANT-MILLET
	λ	1	2	3	4	5	6	7
	m λ	4	4	3	2	1	1	0
	m -λ	5	4	4	3	2	1	1
	7.3.
	Λ and one easily checks that inequality (9) of 7.1 holds.
	λ	-7	-6	-5	-4	-3	-2	-1	0
	m λ	1	1	2	3	4	4	5	5
	m -λ	1	1	2	3	4	4	5	6

π associated with π .

  Proposition 6.2 is satisfied. Conditions (ii) and (iii) of Proposition 6.2 follow from Lemma 6.1 ii). Moreover condition (v) of Prop. 6.2 is empty since T * = ∅. Below we check condition (i) of Proposition 6.2. Lemma. S |h Λ is a basis for h * Λ .

  2] lower triangular matrix with -1 on the diagonal (except for the case n odd where -2 is the last entry of the diagonal). Hence det(s u (h v )) 1≤u, v≤(n--1) = 0 and the proof is complete. Recall (1) of Sect. 4, that ind p Λ = |E(π )| where E(π ) is the set of ij -orbits in π. Assume first that g is of type D n and that s+2 ∈ {n-1, n}. If n is odd, then

8.3. Condition (vi) of Proposition 6.2. Lemma. One has that |T | = ind p Λ . Proof.

  10.3. Conditions (ii) and (iii) of Proposition 6.2. For each γ ∈ S + , resp. γ ∈ S -, we will take a Heisenberg set Γ γ with centre γ included in∆ + , resp. ∆ - π such that |(∆ + ∆ - π ) \ ( γ∈S Γ γ )| = ind p Λ (here we will take T * = ∅ in Prop. 6.2) and such that conditions (ii) and (iii) of Prop. 6.2 are satisfied. For this purpose we use (see 6.1) the largest Heisenberg set H β i with centre β i ∈ β π included in ∆ + , and -H β i , resp. -H β i where H β i , resp. H β i , is the largest Heisenberg set in ∆ + π with centre β i , resp. β i , belonging to the Kostant cascade β π of g .

11.1. Conditions (i) to (v) of Proposition 6.2. By i) of Lemma 6.1 and since H β = {β} for all β ∈ β π ∩ π, condition (iv) of Prop. 6.2 is satisfied. Moreover conditions (ii) and (iii) of Prop. 6.2 are satisfied by ii) of Lemma 6.1. Condition (v) is empty since T * = ∅. Condition (i) follows from the following Lemma.

Lemma. Set S = S + ∪ S -. Then S |h Λ is a basis for h * Λ .

Proof. Here j = Id π and then (see Sect. 3) we have that h = h Λ and we observe that |S| = n -2 -= dim h = dim h Λ . The proof is similar to the proof of Lemma 8.2. We order the elements s u of S as

and we choose the following ordered basis (h v ) 1≤v≤n-2-of h :

without repetitions for the h j 's. Then the matrix (s u (h v )) 1≤u, v≤n-2-has the form

/2 lower triangular matrix with 1 on its diagonal since

On the other hand we have that

Hence the right hand side of equality of the lemma is equal to the lower bound for ch (Y (p Λ )).

Now the improved upper bound for ch (Y (p Λ )) is equal to γ∈T (1e -(γ+s(γ)) ) -1 , where we have that ad p Λ (y) ⊕ g T = p * Λ with dim g T = ind p Λ and where, for all γ ∈ T , s(γ

For γ = ε n-4 +ε n-3 ∈ T , one has that s(γ) = (ε 1 +ε 2 )+. . .+(ε n-6 +ε n-5 ), so that γ + s(γ) = n-3 .

For

For γ = ε n-3 +ε n-1 ∈ T , one has that s(γ) = (ε

Thus we obtain that the improved upper bound is also equal to the right hand side of the equality in the lemma, which gives the lemma, by what we said in Sect. 5.

13.6. Existence of a Weierstrass section. By the above (see also Remark 3b of subsection 6.2) one can deduce the following Theorem.

Theorem. Let g be a simple Lie algebra of type D n , with n ≥ 5, n odd, and let p be a standard parabolic subalgebra of g associated with the subset of simple roots π = π \ {α n-3 , α n-1 , α n }. Then there exists a Weierstrass section for coadjoint action of the canonical truncation p Λ of p and it follows that Sy(p) = Y (p Λ ) is a polynomial algebra over k.

Proof. One easily checks that

14.3. All conditions of Proposition 6.2 are satisfied, hence setting y = γ∈S x γ and h ∈ h Λ such that for all γ ∈ S, γ(h) = -1, we obtain that (h, y) is an adapted pair for p Λ . This is sufficient by Remark 3a of subsection 6.2 to provide a Weierstrass section for coadjoint action of p Λ , by the following Lemma.

Lemma. For every Γ ∈ E(π ), we have that ε Γ = 1.

Proof. Recall the set E(π ) given in the proof of Lemma 14.2. Recall subsection 4.3. Set 1 ≤ u ≤ (s-1)/2. Then d Γu = u + s-u ∈ B π since u and s-u are of different parity. For the same reason, for We then obtain the following Theorem.

Theorem. Let g be a simple Lie algebra of type D n , with n ≥ 5, n odd and let s, be integers such that s is odd and s + 2 ≤ n -2.

Let q s, be the parabolic subalgebra of g associated with the subset π = π \ {α s , α s+2 , . . . , α s+2 , α n-1 , α n }. Then there exists a Weierstrass section for coadjoint action of the canonical truncation of q s, .

Proof. Indeed (with the notation in Prop. 6.2) y +g T is a Weierstrass section for coadjoint action of the canonical truncation of q s, by Remark 3a of subsection 6.2.