Reduktion (Elliptische Kurve)

In der Mathematik sind „gute“, „semistabile“ und „instabile“ Reduktion elliptischer Kurven vor allem in der arithmetischen Geometrie von Bedeutung. In der Elliptische-Kurven-Kryptographie dürfen nur elliptische Kurven guter Reduktion verwendet werden, weil andernfalls der diskrete Logarithmus leicht zu berechnen und damit das Verschlüsselungssystem leicht zu knacken ist.

Sei $E$ eine elliptische Kurve über $\mathbb {Q}$ mit minimalem Modell

$f(x,y)=y^{2}+a_{1}xy+a_{3}y-x^{3}-a_{2}x^{2}-a_{4}x-a_{6}=0$.

Für eine Primzahl $p$ sei $E(F_{p})$ die Reduktion modulo $p$.

Man sagt, dass $E$ gute Reduktion in $p$ hat, wenn $E(F_{p})$ eine elliptische Kurve ist, also keine Singularitäten hat. Es gibt nur endlich viele Primzahlen, in denen eine gegebene elliptische Kurve schlechte Reduktion hat.

Im Fall schlechter Reduktion unterscheidet man nach dem Typ der Singularitäten. Sei $P=(x_{0},y_{0})$ eine Singularität mit ${\frac {\partial f}{\partial x}}(P)={\frac {\partial f}{\partial y}}(P)=0$. Dann haben wir eine Taylor-Entwicklung

$f(x,y)-f(x_{0},y_{0})=\lambda _{1}(x-x_{0})2+\lambda _{2}(x-x_{0})(y-y_{0})+\lambda _{3}(y-y_{0})^{2}-(x-x_{0})^{3}$

$=(y-y_{0}-\alpha (x-x_{0}))(y-y_{0}-\beta (x-x_{0}))-(x-x_{0})^{3}$

mit $\lambda _{i}\in F_{p},\alpha ,\beta \in {\overline {F_{p}}}$. Wenn $\alpha \not =\beta$, dann ist die Singularität ein Doppelpunkt und man sagt, dass $E$ in $p$ semistabile Reduktion hat. Diese heißt spaltend, wenn $\alpha ,\beta \in F_{p}$ sind. Wenn $\alpha =\beta$, dann ist die Singularität eine Spitze und man sagt, dass $E$ in $p$ instabile Reduktion hat.

Satz über semistabile Reduktion: Sei $E$ eine elliptische Kurve über $\mathbb {Q}$ und $p$ eine Primzahl. Dann gibt es eine endliche Körpererweiterung $K/\mathbb {Q}$ und eine Fortsetzung der p-adischen Bewertung auf $K$, so dass $E(K)$ modulo dieser Bewertung gute oder semistabile Reduktion hat.

Literatur

• Dale Husemöller: Elliptic curves. Graduate Texts in Mathematics. Vol. 111. With an appendix by Ruth Lawrence. Springer-Verlag, 1987. ISBN 0-387-96371-5