Restriktion und Erweiterung der Skalare

Die Restriktion der Skalare und die Erweiterung der Skalare sind zwei Methoden aus der Algebra, die es ermöglichen, den Ring eines Moduls zu ändern, das heißt ein $B$-Modul wird in ein $S$-Modul mittels eines Ringhomomorphismus $f:S\to B$ transformiert und aus einem $S$-Modul wird ein $B$-Modul.

Aus kategorientheoretischer Sicht handelt sich um einen links- und rechtsadjungierten Funktor zwischen den Kategorien der $S$-Moduln und $B$-Moduln.

In der algebraischen Geometrie wird oft die Weil-Restriktion als Restriktion der Skalare bezeichnet.

Definition

Betrachte einen Ringhomomorphismus $f:S\to B$.

Restriktion der Skalare

Sei $M$ ein (linkes) $B$-Modul. Dann ist $M$ auch ein $S$-Modul durch die Wirkung $\varphi :S\times M\to M$

$\varphi :(s,m)\mapsto s\cdot m:=f(s)m.$

Man sagt, der $S$-Modul entstand durch Restriktion der Skalare. Wiederum definiert $f$ die Struktur eines $S$-Moduls auf $B$ mit

$b\cdot s:=bf(s)$.

Als Funktor

Anders gesagt, der Funktor zwischen den Kategorien der $S$-Moduln und $B$-Moduln

$\operatorname {Res} _{B}^{S}:\operatorname {Mod} _{S}\to \operatorname {Mod} _{B}$

wird Restriktion der Skalare genannt.

Erweiterung der Skalare

Sei $M$ nun ein $S$-Modul. Da $B$ auch ein $S$-Modul ist, ist auch das Tensorprodukt

$M_{B}:=B\otimes _{S}M$

ein $S$-Modul. $M_{B}$ ist aber auch ein $B$-Modul durch die Wirkung $\vartheta :B\times M_{B}\to M_{B}$

$\vartheta :(b,b'\otimes x)\mapsto b(b'\otimes x)=bb'\otimes x.$

Man sagt, der $M_{B}$-Modul entstand durch Erweiterung der Skalare.

Als Funktor

Anders gesagt, der Funktor zwischen den Kategorien der $B$-Moduln und $S$-Moduln

${\mathcal {E}}=(\cdot )\otimes _{B}S:\operatorname {Mod} _{B}\to \operatorname {Mod} _{S}$

wird Erweiterung der Skalare genannt.