08.08.2013 Views

CORBES DE SHIMURA I APLICACIONS - Universitat de Barcelona

CORBES DE SHIMURA I APLICACIONS - Universitat de Barcelona

CORBES DE SHIMURA I APLICACIONS - Universitat de Barcelona

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

1.2. Formes quadràtiques 7<br />

La traça reduïda <strong>de</strong> x és t(x) = x + ¯x = 2x0 ∈ K.<br />

(x, y) −→ t(xy) és una forma bilineal simètrica no <strong>de</strong>generada.<br />

La norma reduïda <strong>de</strong> x és n(x) = x¯x = x 2 0 − ax2 1 − bx2 2 + abx2 3<br />

∈ K.<br />

x −→ n(x) és un forma quadràtica. De fet, és la forma quadràtica<br />

associada a la forma bilineal 1<br />

2 t(x¯y).<br />

Els elements invertibles <strong>de</strong> l’àlgebra són H ∗ = {x | n(x) = 0}.<br />

L’invers d’un element x ∈ H ∗ és<br />

x −1 = ¯xn(x) −1 .<br />

La restricció n : H ∗ −→ K ∗ és un morfisme <strong>de</strong> grups. El seu nucli el<br />

<strong>de</strong>notem H 1 .<br />

1.1.12 Exemple. Consi<strong>de</strong>rem H = M(2, K). La <strong>de</strong>scomposició <strong>de</strong><br />

<br />

a b<br />

x = ∈ H<br />

c d<br />

com a suma d’un escalar i un quaternió pur és<br />

x = x0 + z = 1<br />

<br />

a + d<br />

2 0<br />

<br />

0<br />

+<br />

a + d<br />

1<br />

<br />

a − d<br />

2 c<br />

<br />

b<br />

.<br />

d − a<br />

Els quaternions purs són les matrius <strong>de</strong> traça nul . la.<br />

<br />

d −b<br />

El conjugat <strong>de</strong> x és ¯x = , és a dir, la matriu d’adjunts.<br />

−c a<br />

La traça <strong>de</strong> x és t(x) = a + d. La norma <strong>de</strong> x és n(x) = <strong>de</strong>t(x).<br />

1.2 Formes quadràtiques<br />

Segons el teorema d’estructura <strong>de</strong> Wed<strong>de</strong>rburn-Artin, una K−àlgebra<br />

<strong>de</strong> quaternions, o bé és una K−àlgebra <strong>de</strong> divisió o bé és isomorfa a<br />

l’àlgebra <strong>de</strong> matrius M(2, K). La distinció <strong>de</strong> casos pot expressar-se<br />

en termes <strong>de</strong> representabilitat <strong>de</strong> zero per una forma quadràtica <strong>de</strong><br />

K (cf. [O’M00]).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!