Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userVanishing of some Galois cohomology groups for elliptic curves
122
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Let E/Q be an elliptic curve and p be a prime number, and let G be the Galois group of the extension of Q obtained by adjoining the coordinates of the p-torsion points on E. We determine all cases when the Galois cohomology group H^1(G, E[p]) does not vanish, and investigate the analogous question for E[p^i] when i>1. We include an application to the verification of certain cases of the Birch and Swinnerton-Dyer conjecture, and another application to the Grunwald-Wang problem for elliptic curves.
rate research
Read More
Let E be an elliptic curve without complex multiplication (CM) over a number field K, and let G_E(ell) be the image of the Galois representation induced by the action of the absolute Galois group of K on the ell-torsion subgroup of E. We present two probabilistic algorithms to simultaneously determine G_E(ell) up to local conjugacy for all primes ell by sampling images of Frobenius elements; one is of Las Vegas type and the other is a Monte Carlo algorithm. They determine G_E(ell) up to one of at most two isomorphic conjugacy classes of subgroups of GL_2(Z/ell Z) that have the same semisimplification, each of which occurs for an elliptic curve isogenous to E. Under the GRH, their running times are polynomial in the bit-size n of an integral Weierstrass equation for E, and for our Monte Carlo algorithm, quasi-linear in n. We have applied our algorithms to the non-CM elliptic curves in Cremonas tables and the Stein--Watkins database, some 140 million curves of conductor up to 10^10, thereby obtaining a conjecturally complete list of 63 exceptional Galois images G_E(ell) that arise for E/Q without CM. Under this conjecture we determine a complete list of 160 exceptional Galois images G_E(ell) the arise for non-CM elliptic curves over quadratic fields with rational j-invariants. We also give examples of exceptional Galois images that arise for non-CM elliptic curves over quadratic fields only when the j-invariant is irrational.
We discuss the $ell$-adic case of Mazurs Program B over $mathbb{Q}$, the problem of classifying the possible images of $ell$-adic Galois representations attached to elliptic curves $E$ over $mathbb{Q}$, equivalently, classifying the rational points on the corresponding modular curves. The primes $ell=2$ and $ellge 13$ are addressed by prior work, so we focus on the remaining primes $ell = 3, 5, 7, 11$. For each of these $ell$, we compute the directed graph of arithmetically maximal $ell$-power level modular curves, compute explicit equations for most of them, and classify the rational points on all of them except $X_{{rm ns}}^{+}(N)$, for $N = 27, 25, 49, 121$, and two level $49$ curves of genus $9$ whose Jacobians have analytic rank $9$. Aside from the $ell$-adic images that are known to arise for infinitely many $overline{mathbb{Q}}$-isomorphism classes of elliptic curves $E/mathbb{Q}$, we find only 22 exceptional subgroups that arise for any prime $ell$ and any $E/mathbb{Q}$ without complex multiplication; these exceptional subgroups are realized by 20 non-CM rational $j$-invariants. We conjecture that this list of 22 exceptional subgroups is complete and show that any counterexamples must arise from unexpected rational points on $X_{rm ns}^+(ell)$ with $ellge 17$, or one of the six modular curves noted above. This gives us an efficient algorithm to compute the $ell$-adic images of Galois for any non-CM elliptic curve over $mathbb{Q}$. In an appendix with John Voight we generalize Ribets observation that simple abelian varieties attached to newforms on $Gamma_1(N)$ are of ${rm GL}_2$-type; this extends Kolyvagins theorem that analytic rank zero implies algebraic rank zero to isogeny factors of the Jacobian of $X_H$.
We propose a candidate, which we call the fractional Galois ideal after Snaiths fractional ideal, for replacing the classical Stickelberger ideal associated to an abelian extension of number fields. The Stickelberger ideal can be seen as gathering information about those $L$-functions of the extension which are non-zero at the special point $s = 0$, and was conjectured by Brumer to give annihilators of class-groups viewed as Galois modules. An earlier version of the fractional Galois ideal extended the Stickelberger ideal to include $L$-functions with a simple zero at $s = 0$, and was shown by the present author to provide class-group annihilators not existing in the Stickelberger ideal. The version presented in this article deals with $L$-functions of arbitrary order of vanishing at $s = 0$, and we give evidence using results of Popescu and Rubin that it is closely related to the Fitting ideal of the class-group, a canonical ideal of annihilators. Finally, we prove an equality involving Stark elements and class-groups originally due to Buyukboduk, but under a slightly different assumption, the advantage being that we need none of the Kolyvagin system machinery used in the original proof.
In this paper we compute the Galois cohomology of the pro-p completion of primitive link groups. Here, a primitive link group is the fundamental group of a tame link in the 3-sphere whose linking number diagram is irreducible modulo p (e.g. none of the linking numbers is divisible by p). The result is that (with Z/pZ-coefficients) the Galois cohomology is naturally isomorphic to the Z/pZ-cohomology of the discrete link group. The main application of this result is that for such groups the Baum-Connes conjecture or the Atiyah conjecture are true for every finite extension (or even every elementary amenable extension), if they are true for the group itself.
In this paper we generalize results of P. Le Duff to genus n hyperelliptic curves. More precisely, let C/Q be a hyperelliptic genus n curve and let J(C) be the associated Jacobian variety. Assume that there exists a prime p such that J(C) has semistable reduction with toric dimension 1 at p. We provide an algorithm to compute a list of primes l (if they exist) such that the Galois representation attached to the l-torsion of J(C) is surjective onto the group GSp(2n, l). In particular we realize GSp(6, l) as a Galois group over Q for all primes l in [11, 500000].
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
