Given an abelian variety $A$ over a field $K$ and a field extension $F/K$, there is a natural inclusion of endomorphism rings $\End(A)\subseteq\mathrm{End}(A_F)$, where $A_F$ denotes the base change of $A$ to $F$.

If $L$ is an extension of $K$, the set of endomorphism rings $\mathrm{End}(A_F)$ over subextensions $F/K$ forms a lattice (under inclusion). When $L$ is chosen so that $\mathrm{End}(A_L)=\mathrm{End}(A_{\overline{K}})$, this lattice is as large as possible and known as the **endomorphism lattice** of $A.$ Tensoring with $K$ (or any extension of $K$) yields a corresponding lattice of endomorphism algebras $\mathrm{End}(A_F)\otimes K$.

**Knowl status:**

- Review status: reviewed
- Last edited by Christelle Vincent on 2019-05-07 14:46:15

**Referred to by:**

**History:**(expand/hide all)

- 2019-05-07 14:46:15 by Christelle Vincent (Reviewed)
- 2019-05-07 14:45:06 by Christelle Vincent
- 2018-05-23 16:38:38 by John Cremona (Reviewed)

**Differences**(show/hide)