Bourbaki

Exercice 3, § 6

Groupes et algèbres de Lie, V

Bourbaki marks this one as harder than the rest.

Soient KK un anneau commutatif, EE un KK-module libre de base (e1,…,el)(e_1, \ldots, e_l), et f1,…,flf_1, \ldots, f_l des éléments du dual de EE. On pose ai,j=fi(ej)a_{i,j} = f_i(e_j). Si 1≤i≤l1 \leq i \leq l, soit sis_i la pseudo-réflexion sei,fis_{e_i, f_i} (§ 2, exerc. 1). On a :

si(ej)=ej−ai,jei. s_i(e_j) = e_j - a_{i,j}e_i.

On pose c=s1…slc = s_1 \ldots s_l, et zi=c(ei)z_i = c(e_i).

a) Pour 1≤i,k≤l1 \leq i, k \leq l, on pose :

yik=s1…sk(ei)etyi=s1…si−1(ei)=yii−1. y_i^k = s_1 \ldots s_k(e_i) \quad \text{et} \quad y_i = s_1 \ldots s_{i-1}(e_i) = y_i^{i-1}.

On a yi0=eiy_i^0 = e_i et yii=ziy_i^i = z_i.

Montrer que l’on a :

yik−1−yik=akiyk. y_i^{k-1} - y_i^k = a_{ki} y_k.

En déduire les formules :

ei=yi+∑k<iakiykzi=yi−∑k≥iakiyk. e_i = y_i + \sum_{k < i} a_{ki} y_k \\ z_i = y_i - \sum_{k \geq i} a_{ki} y_k.

b) Soit CC la matrice de cc par rapport à la base (ei)(e_i). Soient U=(uij)U = (u_{ij}) et V=(vij)V = (v_{ij}) les matrices définies par :

uij={aijsi i<j0sinonvij={0si i<jaijsinon u_{ij} = \begin{cases} a_{ij} & \text{si } i < j \\ 0 & \text{sinon} \end{cases} \qquad v_{ij} = \begin{cases} 0 & \text{si } i < j \\ a_{ij} & \text{sinon} \end{cases}

La matrice I+UI + U est inversible et de déterminant 1. Montrer que l’on a :

C=(I−V)(I+U)−1. C = (I - V)(I + U)^{-1}.

En déduire que

det⁡(λI−C)=det⁡((λ−1)I+V+λU), \det (\lambda I - C) = \det ((\lambda - 1)I + V + \lambda U),

autrement dit :

det⁡(λI−C)=∣(λ−1)+a11λa12λa13⋯λa1la21(λ−1)+a22λa23⋯λa2la31a32(λ−1)+a33⋯λa3l⋯⋯⋯⋯⋯ai1ai2ai3⋯(λ−1)+aii∣ \det (\lambda I - C) = \begin{vmatrix} (\lambda - 1) + a_{11} & \lambda a_{12} & \lambda a_{13} & \cdots & \lambda a_{1l} \\ a_{21} & (\lambda - 1) + a_{22} & \lambda a_{23} & \cdots & \lambda a_{2l} \\ a_{31} & a_{32} & (\lambda - 1) + a_{33} & \cdots & \lambda a_{3l} \\ \cdots & \cdots & \cdots & \cdots & \cdots \\ a_{i1} & a_{i2} & a_{i3} & \cdots & (\lambda - 1) + a_{ii} \end{vmatrix}

c) Soit Γ=(I,S)\Gamma = (I, S) le graphe dont l’ensemble des sommets est I={1,l}I = \{1, l\} et dont l’ensemble SS des arêtes est l’ensemble des parties {i,j}\{i, j\} à 2 éléments de II telles que aij≠0a_{ij} \neq 0 ou aji≠0a_{ji} \neq 0. Si α={i,j}\alpha = \{i, j\} appartient à SS, on note σα\sigma_\alpha la transposition de ii et de jj (considérée comme élément du groupe symétrique Sl\mathfrak{S}_l), et l’on pose aα=−aijajia_\alpha = -a_{ij}a_{ji}.

Soit B\mathfrak{B} l’ensemble des parties de SS formées d’arêtes dont les sommets sont disjoints. Si X∈BX \in \mathfrak{B}, on note C(X)C(X) l’ensemble des i∈Ii \in I qui ne sont sommets d’aucune arête de XX, et l’on pose σX=∏α∈Xσα\sigma_X = \prod_{\alpha \in X} \sigma_\alpha, aX=∏α∈Xaαa_X = \prod_{\alpha \in X} a_\alpha.

Soit σ∈Sl\sigma \in \mathfrak{S}_l, et soit dσd_\sigma le terme correspondant à σ\sigma dans le développement du déterminant de (λ−1)I+V+λU(\lambda - 1)I + V + \lambda U. Montrer que, si σ\sigma est de la forme σX\sigma_X, avec X∈BX \in \mathfrak{B}, on a :

dσ=aXλCard⁡(X)∏i∈C(X)(λ−1+aii). d_\sigma = a_X \lambda^{\operatorname{Card}(X)} \prod_{i \in C(X)} (\lambda - 1 + a_{ii}).

On suppose maintenant que Γ\Gamma est une forêt (Chap. IV, Annexe, n° 3). Montrer que, si σ∈Sl\sigma \in \mathfrak{S}_l n’est pas de la forme σX\sigma_X avec X∈BX \in \mathfrak{B}, on a dσ=0d_\sigma = 0. En déduire la formule :

det⁡(λ−c)=∑X∈BaXλCard⁡(X)∏i∈C(X)(λ−1+aii). \det (\lambda - c) = \sum_{X \in \mathfrak{B}} a_X \lambda^{\operatorname{Card}(X)} \prod_{i \in C(X)} (\lambda - 1 + a_{ii}).

d) On considère le polynôme

P(X)=∣Xa12⋯a1la21X⋯a2l⋯⋯⋯⋯al1al2⋯X∣. P(X) = \begin{vmatrix} X & a_{12} & \cdots & a_{1l} \\ a_{21} & X & \cdots & a_{2l} \\ \cdots & \cdots & \cdots & \cdots \\ a_{l1} & a_{l2} & \cdots & X \end{vmatrix}.

Aux hypothèses de c), on ajoute celle que aii=1a_{ii} = 1 pour tout ii. Montrer que l’on a alors :

det⁡(λ2−c)=λlP(λ+λ−1). \det (\lambda^2 - c) = \lambda^l P(\lambda + \lambda^{-1}).
Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.