|
|
| Line 1: |
Line 1: |
| − | == Algebraic Number Theory ==
| + | #REDIRECT[[Number theory/Advanced |
| − | [[Algebraic number theory]] studies number theory from the perspective of [[abstract algebra]]. In particular, heavy use is made of [[ring theory]] and [[Galois theory]]. Algebraic methods are particularly well-suited to studying properties of individual prime numbers. From an algebraic perspective, number theory can perhaps best be described as the study of <math>\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})</math>. Famous problems in algebraic number theory include the [[Birch and Swinnerton-Dyer Conjecture]] and [[Fermat's Last Theorem]].
| |
| − | | |
| − | == Analytic Number Theory ==
| |
| − | [[Analytic number theory]] studies number theory from the perspective of [[calculus]], and in particular [[real analysis]] and [[complex analysis]]. The techniques of [[analysis]] and [[calculus]] are particularly well-suited to studying large-scale properties of prime numbers. The most famous problem in analytic number theory is the [[Riemann Hypothesis]].
| |
| − | | |
| − | == Elliptic Curves and Modular Forms ==
| |
| − | | |
| − | | |
| − | ===Elliptic curves===
| |
| − | | |
| − | An elliptic curve is the set of points <math>(x,y)</math> satisfying some two variable third degree equation. Using certain affine transformations it can be shown that it is sufficient to consider those equations which are in Weierstrass form:
| |
| − | <cmath>y^2=x^3+g_2x+g^3.</cmath>
| |
| − | Technically, one should consider all pairs <math>(x,y)</math> of complex numbers satisfying such an equation, but often one can study the set of points where both coordinates lie in some subfield (like the reals or the rationals). One also needs to add a limit point, called the point at infinity. As <math>x\to \infty</math>, the derivative <math>\frac{dy}{dx}</math> tends to infinity as well, and this should serve as some motivation to consider the point infinitely far vertically upward as the point at infinity. We denote it by <math>\mathcal{O}</math>.
| |
| − | | |
| − | The most important aspect of studying elliptic curves is the fact that there is a natural abelian group structure on its points. This means that given 2 points on the curve, they can be added in a way that satisfies the normal laws of addition, like associativity, commutativity and the existence of an identity and inverses.
| |
| − | | |
| − | The addition can be described as follows. Take two points <math>P</math> and <math>Q</math> on the elliptic curve. The line through <math>P</math> and <math>Q</math> cuts the curve in a third point <math>R</math>. (One needs to take some care when <math>P=Q</math> or when this line is tangent to the curve, and hence cuts it in only two points.) We define <math>P+Q</math> to be the reflection of <math>R</math> in the <math>x</math>-axis. It takes some effort showing that this defines a group, but it can be done. The point at infinity <math>\mathcal{O}</math> is the identity for this group, and an inverse is obtained by reflecting a point in the <math>y</math>-axis. We may thus summarize the group law by saying <math>P+Q+R=\mathcal{O}</math> if and only if <math>P,Q</math> and <math>R</math> lie on a line.
| |
| − | | |
| − | ===Modular forms===
| |
| − | | |
| − | Denote by <math>\mathcal{H}</math> the upper half plane (those complex numbers with positive imaginary part). Then there are functions <math>G_4</math> and <math>G_6</math> defined by
| |
| − | <cmath>G_k(z)=\sum_{(c,d)\in Z^2\backslash 0} (cz+d)^{-k}</cmath>
| |
| − | called Eisenstein series. If we set <math>g_2(z)=60G_4(z)</math> and <math>g_3(z)=140G_6(z)</math>, then there is a natural association with <math>z</math> of the elliptic curve defined by <math>y^2=x^3+g_2(z)x+g_3(z)</math>. Then every elliptic curve over the complex numbers is isomorphic to one given by some <math>z</math>, and two such curves, associated to <math>z</math> and <math>z'</math> are isomorphic if and only if there is a relation
| |
| − | <cmath>z'=\frac{az+b}{cz+d},\quad a,b,c,d\in\mathbb{Z}, ad-bc=1.</cmath>
| |
| − | This encourages us to define an action of the matrix group <math>SL_2(\mathbb{Z})</math> on <math>\mathcal{H}</math> by setting
| |
| − | <cmath>\left(\begin{array}{cc}a&b\\c&d\end{array}\right)z=\frac{az+b}{cz+d}.</cmath>
| |
| − | A modular form <math>f</math> is a function such that for all <math>z\in\mathcal{H}</math> and all <math>\gamma\in SL_2(\mathbb{Z})</math> we have
| |
| − | <cmath>f(\gamma z)=(cz+d)^{-k}f(z)</cmath>
| |
| − | and such that <math>f</math> is holomorphic on <math>\mathcal{H}</math> and holomorphic at infinity. This last condition means that <math>f</math> can be written as an expansion in the parameter <math>q=e^{2\pi i z}</math> with no negative exponents:
| |
| − | <cmath>f(z)=\sum_{n\ge 0}a_nq^n.</cmath>
| |
| − | As an example, the Eisenstein series <math>G_4</math> and <math>G_6</math> are modular forms of weight 4 and 6 respectively.
| |
| − | | |
| − | ===The connection between elliptic curves and modular forms===
| |
| − | | |
| − | ''It would be appreciated if you'd fill this section in.''
| |
| − | <!-- I don't really feel like writing this right now. Any volunteers? -->
| |
| − | | |
| − | == See also ==
| |
| − | * [[Number theory]]
| |
| − | | |
| − | [[Category:Number theory]]
| |
