MBS

From stacky wiki
Revision as of 21:06, 17 November 2011 by Anton (talk | contribs) (Created page with "Suppose $E$ is an algebra over $B$, free of rank $n$ as a module. Then we have the Grothendieck-Deligne norm map $\sigma:TS^nE\to B$. This map is determined by two properties: # ...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Suppose $E$ is an algebra over $B$, free of rank $n$ as a module. Then we have the Grothendieck-Deligne norm map $\sigma:TS^nE\to B$. This map is determined by two properties:

  1. it is a $B$-algebra homomorphism,
  2. $\sigma(x\otimes x\otimes\cdots\otimes x)=N_{E/B}(x)$ for any $x\in E$.

The kernel of $\sigma$ is the ideal generated by the norm relations of the Galois ideal. The Galois ideal is generated by these same relations, so the Galois ideal is induced by the kernel of $\sigma$. This shows that the Galois closure of $E$ is $T^nE\otimes_{TS^nE}B$. Considering the $TS^nE$-linear map $T^nE\to TS^nE$ given by $\alpha(-)/\alpha(x)$, we get a $B$-linear map from $\overline E$ to $B$ which sends $\alpha(x)$ to 1. This demonstrates that $\overline E$ always contains a copy of the sign representation. Anton 21:06, 17 November 2011 (PST)