Abstract:
Let 2+54 denote the double cover of S4 corresponding to the element in H2(54, ℤ/2ℤ) where transpositions lift to elements of order 2 and the product of two disjoint transpositions to elements of order 4. Given an elliptic curve E, let E[2] denote its 2-torsion points. Under some conditions on E elements in H 1(Galℚ, E[2])\\{0} correspond to Galois extensions N of ℚ with Galois group (isomorphic to) 54. In this work we give an interpretation of the addition law on such fields, and prove that the obstruction for N having a Galois extension Ñ with Gal(Ñ/ℚ) ≃ 2+54 gives a homomorphism s4 +: H1(Galℚ, E[2]) → H 2(Galℚ, ℤ/2ℤ). As a corollary we can prove (if E has conductor divisible by few primes and high rank) the existence of 2-dimensional representations of the absolute Galois group of ℚ attached to E and use them in some examples to construct 3/2 modular forms mapping via the Shimura map to (the modular form of weight 2 attached to) E. © 2007 American Mathematical Society.
Referencias:
- Bayer, P., Frey, G., Galois representations of octahedral type and 2-coverings of elliptic curves (1991) Math. Z, 207 (3), pp. 395-408. , MR1115172 92d:11058
- Bungert, M., Construction of a cuspform of weight 3/2 (1993) Arch. Math. (Basel), 60 (6), pp. 530-534. , MR1216696 94f:11035
- Cohen, H., Oesterlé, J., Dimensions des espaces de formes modulaires (1976) Lecture Notes in Math, 627, pp. 69-78. , Modular functions of one variable, VI (Proc. Second Internat. Conf, Univ. Bonn, Bonn, Springer, Berlin, MR0472703 57:12396
- Crespo, T., Explicit construction of Ãn type fields (1989) J. Algebra, 127 (2), pp. 452-461. , MR1028464 91a:12006
- Crespo, T., Explicit construction of 2Sn Galois extensions (1990) J. Algebra, 129 (2), pp. 312-319. , MR1040941 91d:11135
- Pierre Deligne and Jean-Pierre Serre, Formes modulaires de poids 1, Ann. Sci. École Norm. Sup. (4) 7 (1974), 507-530 (1975). MR0379379 (52:284); Dornhoff, L., (1971) Group representation theory. Part A: Ordinary representation theory, , Marcel Dekker Inc, New York, MR0347959 50:458a
- Benedict H. Gross, Heights and the special values of L-series, Number theory (Montreal, Que., 1985), CMS Conf. Proc., 7, Amer. Math. Soc., Providence, RI, 1987, pp. 115-187. MR894322 (89c:11082); A. Jehanne, Realization over ℚ of the groups Ã5 and Â5, J. Number Theory 89 (2001), no. 2, 340-368. MR1845242 (2002f:12005); Jehanne, A., Sur les extensions de Q à groupe de Galois S4 et S̃4 (1995) Acta Arith, 69 (3), pp. 259-276. , MR1316479 95m:11127
- Kohnen, W., Newforms of half-integral weight (1982) J. Reine Angew. Math, 333, pp. 32-72. , MR660784 84b:10038
- Larry Lehman, J., (1992) Levels of positive definite ternary quadratic forms, 58 (197), pp. 399-417,S17-S22. , Math. Comp, MR1106974 92f:11057
- (2004) PARI/GP, version, , http://pari.math.u-bordeaux.fr, 2.2.8
- Rio, A., Dyadic exercises for octahedral extensions ii (2005), Submitted; Schoeneberg, B., (1974) Elliptic modular functions: An introduction, , Springer-Verlag, New York, MR0412107 54:236
- Serre, J.-P., L'invariant de Witt de la forme Tr(x 2) (1984) Comment. Math. Helv, 59 (4), pp. 651-676. , MR780081 86k:11067
- Shimura, G., On modular forms of half integral weight (1973) Ann. of Math. (2), 97, pp. 440-481. , MR0332663 48:10989
- Shimura, G., (1994) Introduction to the arithmetic theory of automorphic functions, Publications of the Mathematical Society of Japan, 11. , Princeton University Press, Princeton, NJ, MR1291394 95e:11048
- Stein, W., The modular forms explorer, , http://modulax.ucsd.edu/mfd/mfe
- Tornaría, G., (2004) Tables of ternary quadratic forms (part of computational number theory), , http://www.ma.utexas.edu/users/tornaria/cnt
- Ueda, M., The decomposition of the spaces of cusp forms of half-integral weight and trace formula of Hecke operators (1988) J. Math. Kyoto Univ, 28 (3), pp. 505-555. , MR965416 90a:11054
Citas:
---------- APA ----------
(2007)
. On the embedding problem for 2+S4 representations. Mathematics of Computation, 76(260), 2063-2075.
http://dx.doi.org/10.1090/S0025-5718-07-01940-0---------- CHICAGO ----------
Pacetti, A.
"On the embedding problem for 2+S4 representations"
. Mathematics of Computation 76, no. 260
(2007) : 2063-2075.
http://dx.doi.org/10.1090/S0025-5718-07-01940-0---------- MLA ----------
Pacetti, A.
"On the embedding problem for 2+S4 representations"
. Mathematics of Computation, vol. 76, no. 260, 2007, pp. 2063-2075.
http://dx.doi.org/10.1090/S0025-5718-07-01940-0---------- VANCOUVER ----------
Pacetti, A. On the embedding problem for 2+S4 representations. Math. Comput. 2007;76(260):2063-2075.
http://dx.doi.org/10.1090/S0025-5718-07-01940-0