Arxiv:2012.04503V9 [Math.GM] 24 Jul 2021

Home , Jacobian variety

arXiv:2012.04503v10 [math.GM] 4 Aug 2021 11R37. h rjciennsnua oe fhprelpi curve elliptic hyper of model non-singular projective the eaieypiet n conductor and 2 to prime relatively J -oso onso aoinVreyadosreapieideal prime a observe and Variety Jacobian of points 2-torsion Keywords: Introduction 1 fahprelpi curve elliptic hyper a of reuil oyoiloe leri nee ring integer algebraic over polynomial irreducible ups fti ae st bev htkn fpieiel of ideals prime of kind what observe to is paper this of purpose pi over split ([ f,p K eirct a ffiieGli xeso fields extension Galois finite of law Reciprocity 1 ∗ Let h ujc lsicto oe y22 ahmtc Subjec Mathematics 2020 by codes classification subject The [email protected] address: email (2) : d ereirdcbepolynomials irreducible degree odd · · · ([ h iia pitn field splitting minimal the oso ainlpit of points rational torsion o2adconductor and 2 to reuil oe of model irreducible Z and aosgroup Galois Q / K = ∼ f ] 2 + edsusarcpoiylwo nt aosetninfields extension Galois finite of law reciprocity a discuss We ( Z < θ x : Z K ⊕ a = ) Q 1 ∈ / 2 2 f leri ubrter:goa ed,nnbla ls edtheory field class nonabelian fields, global theory: number Algebraic ∞ 2 g g ] K where , x Z < hog aoinvariety Jacobian through ,and ), x f ⊕ + } 2 ∞ 2 g hnorrcpoiylwsy that says law reciprocity our Then . a g Gal +1 where , 2 .Let ). g +1 + sn aoinVaritey Jacobian using ( J K K f, vragbacitgrring integer algebraic over a f f p F 1 /K y p y x saJcba ait fapoetv non-singular projective a of Variety Jacobian a is etemnmlsltigfil of field splitting minimal the be = 2 J 2 2 eapieielof ideal prime a be f,p g sasbru fgnrllna group linear general of subgroup a is ) = = { α + J uut5 2021 5, August f f sardcinof reduction a is K f, ∈ a hniIshida Shinji ( ( p x 2 x f O x fgenus of ) .W me l ot of roots all embed We ). Abstract over of 2 K g F ( − θ f ) 1 1 piscmltl over completely splits ( | f O x + ( J ( over ) α K x f · · · ) = ) / O fapoetv o-iglrmodel non-singular projective a of p g sa neetn corollary, interesting an As . K + O over ( ∗ θ x K J K a O ) 2 f 2 g ⊂ K hc srltvl prime relatively is which g +1 fadol if only and if over O x O p O fa leri field algebraic an of K K + piscmltl over completely splits + K / a [ a fa leri field algebraic an of p O lsicto sprimary- is Classification t θ 2 1 ,where ], y g K x and 2 +1 2 / g = f p f + ( ea d degree odd an be K J x ( f and f, x p over ) a f ( O GL J nothe into 0 = ) p x 2 ee by defied f of f,p 2 s2- is (2) K x fadol if only and if ). ( g 2 2 θ g g (2) K completely 0 = ) sgnsof genus is − ( F 1 K hc is which 2 K + = ∼ ). The . K Remember usual cyclotomic field theory. According to usual cyclotomic field theory, for n > 2, a prime number p splits completely over Q(ζn) if and only if p ≡ 1 (mod n). This ”p ≡ 1 (mod n)” means ”all roots of xn = 1 over ∗ Fp are included in rational points of commutative group variety Fp”. In other words, all roots of xn = 1 embedded into torsion subgroup of a commutative group variety Q∗ are included in rational points of commutative group variety ∗ Fp through modulo p. Note that cyclotomic polynomials over Q have even degree, they are out of scope of our target.

The main Theorem is as follow: Theorem 1.1 (Reciprocity law of finite Galois extension field). Let K be a finite algebraic field ([K : Q] < ∞) and OK be its integer ring, f(x)= 2g+1 2g 2g−1 x +a1x +a2x +···+a2gx+a2g+1 be an odd degree irreducible polynomial over OK (g > 0), and Kf be its minimal splitting field over K. For a prime ideal p of OK which is relatively prime to 2 and conductor F = {α ∈ OK(θ)| a principle ideal (α) of OK(θ) ⊂ OK [θ], where f(θ)=0 and θ ∈ Kf }, let Jf,p be 2 Jacobian Variety of a projective non-singular irreducible model Cf,p of y = f(x) of genus g over OK/p, where we assume that f(x)=0 has no multiple root over OK/p. Then, the prime ideal p of OK which is relatively prime to conductor F ⊕2g splits completely over Kf if and only if Jf,p(2) =∼ Z/2Z . We show this Theorem in section 3 later. In section 2, we embed all roots of f(x) = 0 into 2−torsion subgroup Jf (2) of Jacobian Variety of an irreducible non-singular projective curve model of y2 = f(x). As a corollary, we have the following interesting result:

2g+1 2g 2g−1 Corollary 1.1. Let f(x)= x + a1x + a2x + ··· + a2gx + a2g+1 be an irreducible polynomial over a perfect field F (char(F ) 6= 2), and Gal(Ff /F ) be its Galois group of minimal splitting field Ff /F of f(x). Then Gal(Ff /F ) is a subgroup of GL2g(F2). In section 3, by remembering Dedekind-Kummer’s Theorem and ”Inclusion Theorem” for algebraic number fields, we obtain our main Theorem 3.3 as reciprocity law of finite Galois extension fields defined by odd degree irreducible polynomials over algebraic integer ring.

2 Embed all roots of f(x)=0 into a Jacobian Variety

In this section, we consider a perfect ﬁeld F whose characteristic is not 2 because the following embedding theorem states over such ﬁelds.

2g+1 2g 2g−1 Theorem 2.1. For an irreducible polynomial f(x)= x +a1x +a2x + 2 ···+a2gx+a2g+1 over F , by considering a projective plane curve y = f(x) and its non-singular projective model Cf over F , we can embed all roots e1,e2, ··· ,e2g+1

2 of f(x)=0 into J f = Jf ⊗F F (Jf is Jacobian Variety of Cf and F is an algebraic closure of F ) as P1 − P∞, P2 − P∞, ··· , P2g+1 − P∞, where Pi are 2 non-singular points of Cf corresponding to [ei : 0 : 1] of y = f(x) and P∞ is a 2 rational point of Cf over F corresponding to [0 : 1 : 0] of y = f(x). Further- more, the subgroup of J f generated by the image of P1 − P∞, P2 − P∞, ··· , ⊕2g P2g+1 − P∞ is J f (2) =∼ Z/2Z .

2 Proof. Let [X : Y : Z] be the homogenous coordinate of PF and consider the following homogenous equation of the target projective plane curve:

2g−1 2 2g+1 2g 2g−1 2 2g 2g+1 Z Y = X +a1X Z +a2X Z +···+a2gXZ +a2g+1Z . (2.1) Although inﬁnity point [0 : 1 : 0] is a singular point of y2 = f(x) in projective 2 plane PF (x = X/Z and y = Y/Z in (2.1) above), we can resolve this singular point by repeating blow-up at [0 : 1 : 0]. Then please note that the inverse 2 image of [0 : 1 : 0] from projective singular curve y = f(x) to Cf consists of only one point because the degree of f(x) is odd. Actually, the projective plane curve y2 = f(x) is represented by the following equation near [0 : 1 : 0] through xz (x = X/Y and z = Z/Y in (2.1) above) plane by considering homogenous coordinate:

2g−1 2g+1 2g 2g−1 2 2g 2g+1 z = x + a1x z + a2x z + ··· + a2gxz + a2g+1z . (2.2) By putting z = ux, we can blow up at (0, 0):

2g−2 2 2 2n 2g+1 2g−1 x (x (1 + a1u + a2u + ··· + a2gu + a2g+1u ) − u )=0. (2.3) 2 2 2g 2g+1 2g−1 Next, we focus on x (1 + a1u + a2u + ··· + a2gu + a2g+1u ) − u = 0. By putting x = mu, we obtain

2 2 2 2g 2g+1 2g−3 u {m (1 + a1u + a2u + ··· + a2gu + a2g+1u ) − u )=0. (2.4) Therefore, by repeating blow-up at (0, 0), we obtain the following curve near (0, 0): 2 2 2g 2g+1 3 t (1 + a1u + a2u + ··· + a2gu + a2g+1u ) − u =0. (2.5) According to [6] Chapter 3 Problem 3.22, (0, 0) is a cusp and we can resolve this cusp by blowing up one more time, and the inverse image of (0, 0) consists of only one point.

If the degree of f(x) is even and larger than 3, [0 : 1 : 0] should be a crunode of y2 = f(x), it can be approximated by a curve xz = 0 near [0 : 1 : 0]. There- 2 fore, the inverse image of [0 : 1 : 0] from y = f(x) to Cf has at least 2 points, we cannot embed all roots of f(x) = 0 into Jacobian Variety via the method above.

Next, we observe properties of P i −P∞ on J f = Jf ⊗F F . Since div(x−ei)= 2(P i−P∞) as a divisor of Cf = Cf ⊗F F , P i−P∞ is a 2-torsion point on Jf ⊗F F . Furthermore, if Pi − P∞ ∼ Pj − P∞, Pi − Pj = div(h) for some h ∈ K(Cf ) of

3 function ﬁled of Cf . However this is impossible on Cf if i 6= j because there is no element of Cf ’s function ﬁeld such that order 1 at Pi, order -1 at Pj and 0 at all other points. So we can embed all roots of f(x) = 0 into J f injectively. Since div(y)= P1 + P2 + ··· + P2g+1 − (2g + 1)P∞ = (P1 − P∞) + (P2 − P∞)+ ··· + (P2g+1 − P∞) and the images of P1 − P∞, P2 − P∞ + ··· , P2g−1 − P∞, P2g − P∞ ⊕2g on J f (2) generate the subgroup (Z/2Z) of J f (2).

Actually, assume thata ¯1(P1 − P∞)+¯a2(P2 − P∞)+ ··· +¯am(Pm − P∞)=0 on J f as a vector space over F2 for some m< 2g +1, anda ¯1,a ¯2, ··· a¯m ∈ F2. Then, let a1P1 + a2P2 + ··· + amPm be its inverse image in divisor group of C. On the other hand, since p(x − ei) is not included in K(Cf ) and m< 2g + 1, ai is even because div(x − ei)=2(Pi − P∞). This meansa ¯i = 0 for all i. Hence ⊕2g P1 − P∞, P2 − P∞, ··· , and P2g − P∞ on J f are generators of (Z/2Z) .

2g+1 2g 2g−1 Corollary 2.1. Let f(x) = x + a1x + a2x + ··· + a2gx + a2g+1 be an irreducible polynomial over a perfect ﬁeld F (char(F ) 6= 2), and Gal(Ff /F ) be Galois group of minimal splitting ﬁeld Ff /F of f(x). Then Gal(Ff /F ) is a subgroup of GL2g(F2).

Proof. Since Gal(Ff /F ) induces permutation of roots of f(x) = 0, it also in- ⊕2g duces basis change of Jf ⊗F Ff (2) ≃ (Z/2Z) . Furthermore, if the basis change of Jf ⊗F Ff (2) is trivial, the permutation of roots of f(x) = 0 is also trivial.

3 Reciprocity Law

Remember the following fundamental 2 theorems: Theorem 3.1 (Dedekind-Kummer). Let K be an algebraic field ([K : Q] < ∞) and θ be an algebraic integer, L = K(θ), f(x) be its minimal polynomial of θ over K, and OL and OK be algebraic integer rings of L and K respectively, and f(x) = f(x) (mod p). Then, for a prime ideal p of OK which is relatively prime to conductor F = {α ∈ OL| a principle ideal (α) of OL ⊂ OK[θ]}, g ei pOL = Y Pi (3.1) i=1 where is a prime ideal of , g ei Pi = pOL + fi(θ)OL OL f(x) ≡ Qi=1 f i(x) (mod p) is irreducible decomposition of f(x) (mod p), and fi(x) is a pull back of fi(x) to OK [x]. Proof. See [3] (8.3) Proposition. Theorem 3.2 (Inclusion Theorem, see [4] Chapter 5 Exercise 5.12.b). Let f(x),g(x) ∈ OK [x] be monic irreducible polynomials over algebraic integer ring OK of an algebraic field K ([K : Q] < ∞) and Kf , Kg be their minimal splitting fields. Then,

4 ∗ Kf ⊃ Kg if and only if Spl(Kf )⊂Spl(Kg), where Spl(Kf ) = {prime ideal p of OK such that p splits completely over Kf } ∗ and Spl(Kf )⊂Spl(Kg) means ”Spl(Kf ) is included in Spl(Kg) except for ﬁnite number of prime ideals”. ∗ Proof. If Kf ⊃ Kg, then it is easy to see that Spl(Kf )⊂Spl(Kg). Conversely, ∗ ∗ ∗ we assume that Spl(Kf )⊂Spl(Kg). Then Spl(Kf Kg)=Spl(Kf ), where A = B means A = B except for ﬁnite number of elements for sets A and B”. Hence by Chebotarev’s density theorem (see [1], Chapter VIII), [Kf Kg : K] = [Kf : K]. This means that Kg ⊂ Kf .

2g+1 2g 2g−1 Now we consider an irreducible polynomial f(x)= x +a1x +a2x + ··· + a2gx + a2g+1 over algebraic integer ring OK of an algebraic field K ([K : Q] < ∞) and its minimal splitting filed Kf = K(α). If g(x) is a minimal ∗ ∗ polynomial of α over K, Kf = Kg and therefore Spl(Kf )=Spl(Kg) (= means ”equal” except for finite number of prime numbers). Now, we consider Spl(f) = {prime ideal p of OK such that f(x) mod p is ∗ decomposed to distinct liner factors}. Then, Spl(f) = Spl(Kf ). Actually, if p ∈ Spl(f), p splits completely over Kf because of Theorem 3.1. Therefore, Theorem 3.1 and 3.2 lead that a prime ideal p which is relatively prime to 2 and conductor F splits completely over Kf if and only if f(x) is decomposed to a product of distinct linear factors over OK /p. Furthermore, if f(x) is decomposed to a product of distinct linear factors over OK /p, Jf,p(2) =∼ ⊕2g Z/2Z because of Theorem 2.1, where Jf,p is Jacobian Variety of a projective 2 non-singular curve model Cf,p of y = f(x) over OK/p and Jf,p(2) is 2-torsion subgroup of rational points of Jf,p over OK/p.

Therefore we obtain the following theorem: Theorem 3.3 (Reciprocity law of finite Galois extension field). Let K be a finite algebraic field ([K : Q] < ∞) and OK be its integer ring, f(x)= 2g+1 2g 2g−1 x +a1x +a2x +···+a2gx+a2g+1 be an odd degree irreducible polynomial over OK (g > 0), and Kf be its minimal splitting field over K. For a prime ideal p of OK which is relatively prime to 2 and conductor F = {α ∈ OK(θ)| a principle ideal (α) of OK(θ) ⊂ OK [θ], where f(θ)=0 and θ ∈ Kf }, let Jf,p be 2 Jacobian Variety of a projective non-singular irreducible model Cf,p of y = f(x) of genus g over OK/p, where we assume that f(x)=0 has no multiple root over OK/p. Then, the prime ideal p of OK which is relatively prime to conductor F ⊕2g splits completely over Kf if and only if Jf,p(2) =∼ Z/2Z . Usual cyclotomic field theory uses commutative group variety Q∗. All roots ∗ of xn = 1 are embedded into torsion subgroup of Q naturally and a prime number p splits completely over Q(ζn) if and only if n ≡ 1 (mod p), this means n ”all roots of x = 1 over Fp are included in rational points of commutative

5 ∗ group variety Fp”. However, the degree of cyclotomic polynomials over Q is even. Therefore, Theorem 3.3 is essentially diﬀerent from usual cyclotomic ﬁeld theory.

References

[1] J.W.S Cassels and A Fr¨ohlich, Algebraic Number Theory, London Mathe- matical Society (1967). [2] Joseph H. Silverman, The Arithmetic of Elliptic Curves, Springer, New York (1985). [3] J¨urgen Neukirch, Algebraic Number Theory, Springer, New York (1999). [4] Nancy Childress, Class Field Theory, Springer New York (2009) [5] Takashi Ono, An Introduction to Algebraic Number Theory, University Se- ries in Mathematics (1990). [6] William Fulton, Algebraic Curves: An Introduction to Algebraic Geometry, Addison-Wesley Publishing Company (1969)