Bourbaki

Exercice 8, § 6

Tag 02VL, permanent. Cite it as [Bourbaki, Tag 02VL].

Théories spectrales, III, p. 131

Soit (A,B)(A,\mathscr{B}) une algèbre naturelle basale telle que A soit de rang fini.

a) Pour tout x∈Ax\in A, l’élément

∑b∈Bbxι(b) \sum_{b\in\mathscr{B}}bx\iota (b)

est central.

Dans la suite de cet exercice, on suppose de plus que (A,B)(A,\mathscr{B}) est unie.

b) Pour tous b,b′b,b' dans B\mathscr{B}, il existe b1b_1 et b2b_2 dans B\mathscr{B} tels que le coefficient de b′b' dans bb1bb_1 et dans b2bb_2b est non nul.

c) Pour tout x∈Bx\in \mathscr{B}, la matrice représentant dans la base B\mathscr{B} l’application y↦xyy\mapsto xy de A dans A est une matrice réelle dont tout les coefficients sont positifs. On note pf l’unique homomorphisme de A dans R\mathbf{R} tel que pf(bb) est le rayon spectral de cette matrice quand b∈Bb\in \mathscr{B}.

d) Pour tout b∈Bb\in \mathscr{B}, le nombre réel α=\alpha = pf(bb) est un entier algébrique tel que α⩾1\alpha \geqslant 1; pour tout conjugué α′∈C\alpha '\in \mathbf{C} de α\alpha, on a ∣α′∣⩽α|\alpha '|\leqslant \alpha.

e) Soit a0∈Aa_0\in A la somme des éléments de B\mathscr{B}. Tout les coefficients de la matrice représentant l’application f:y↦ya0f:y\mapsto ya_0 dans la base B\mathscr{B} sont strictement positifs. Il existe un élément r∈C⊗Ar\in \mathbf{C}\otimes A dont tout les coefficients dans la base (1⊗b)b∈B(1\otimes b)_{b\in\mathscr{B}} sont strictement positifs tel que fC(r)=ϱ(fC)rf_{\mathbf{C}}(r) =\varrho (f_{\mathbf{C}})r. f) Pour tout x∈Ax\in A, il existe un unique nombre complexe δ(x)\delta (x) tel que xr=xr= δ(x)r\delta (x)r dans C⊗A\mathbf{C}\otimes A. L’application δ:A→C\delta : A\rightarrow \mathbf{C} est un caractère de A.

g) On a δ(x)=\delta (x) = pf(xx) pour tout x∈Ax\in A. En particulier, l’application x↦x\mapsto pf(xx) est un caractère de A.

h) L’application pf est l’unique caractère de A tel que pf(bb)⩾0\geqslant 0 pour tout b∈Bb\in \mathscr{B}; on a de plus pf(bb)>0>0 pour tout b∈Bb\in \mathscr{B}.

i) Pour tout y∈Ay\in A, on a ry=δ(y)rry=\delta (y)r dans C⊗A\mathbf{C}\otimes A.

j) L’élément

r0=∑b∈Br_0=\sum_{b\in\mathscr{B}} pf(bb)bb

possède les propriétés demandées à la question i).

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.