You are currently browsing the category archive for the ‘algebraic geometry’ category.

Let be a smooth projective variety of genus over . Arithmetic information about the curve is encoded in its *L*-function . The conjectures of Birch and Swinnerton-Dyer about elliptic curves over were generalized to arbitrary abelian varieties over number fields by John Tate.

In the case of hyperelliptic curves (genus 2 curves) over , the first conjecture is that the order of vanishing of the *L*-function of the Jacobian at *s=1* (the analytic rank) is equal to the Mordell-Weil rank of the Jacobian. The second is

Ш

where is the *L*-series of *J* and *r* is its analytic rank. denotes the integral over of a certain differential 2-form, Reg is the regulator of , is the Tamagawa number, Ш is the Tate-Shafarevich group of *J* over , and is the torsion subgroup of . Here, is the subgroup of the Jacobian isomorphic to , where is the open subgroup scheme of the closed fiber of the Néron model of *J* over

The *L*-series of the curve *C* is given as both an Euler product and a Dirichlet series.

If *C* has good reduction at the prime *p*, the factor in the Euler product at this prime is determined by a polynomial of degree 4. It appears in the local zeta function of the curve over the finite field of order *p*.

where is the number of -points on *C*.

By a theorem of Weil, the polynomial , can be determined by counting points on *C* only over and since the coefficients must satisfy and . We consider five special hyperelliptic curves (those associated to paramodular forms taken from Brumer and Kramer’s paper) and compute their discriminant and local *L*-factor at *p*=7.

Curve:

Conductor:

Discriminant:

Local *L*-factor at *p*=7:

Curve:

Conductor:

Discriminant:

Local *L*-factor at *p*=7:

Curve:

Conductor:

Discriminant:

Local *L*-factor at *p*=7:

Curve:

Conductor:

Discriminant:

Local *L*-factor at *p*=7:

Curve:

Conductor:

Discriminant:

Local *L*-factor at *p*=7:

If one were to attempt to find an automorphic representation that could be associated to these varieties, one could use this information about the local L-factors to rule out possible local components. For example, Schmidt determined the local *L*-factors of the representations , , :

:

:

:

Comparing these with the *L*-factors of the curves we found at p=7, we can say that the local component at p=7 of an associated automorphic representation is not one of these.

**References**

A. Brumer and K. Kramer, *Paramodular abelian varieties of odd conductor*, arXiv:1004.4699v2 (2010).

E. Flynn, F. Leprévost, et. al., *Empirical evidence for the Birch and Swinnerton-Dyer conjectures for modular Jacobians of genus 2 curves*, Math. Comp. **70** (2001), no. 236, 1675-1697

K. Kedlaya and A. Sutherland, *Computing L-series of hyperelliptic curves*, Algorithmic number theory, 312–326, *Lecture Notes in Comput. Sci.*, **5011**, Springer, Berlin, 2008.

R. Schmidt, *On classical Saito-Kurokawa liftings*, J. Reine Angew. Math. 604 (2007), 211-236.

J. Tate, *On the conjectures of Birch and Swinnerton-Dyer and a geometric analog*, Séminaire Bourbaki, **306** 1965/1966.

A. Weil, *Number of solutions of equations in finite fields*, Bull. Amer. Math. Soc. **55**, (1949), 497-508.

Jacquet and Langlands have shown how to associate classical holomorphic modular forms *f* to automorphic representations of . These representations can be written in terms of local components. In this case, the local components, which are infinite dimensional, are complex representations of . Also, the representation is realized in the action of by right translation on a certain space of functions on .

The classical theory of the passage of modular forms to automorphic representations suggests how it may be extended to Siegel modular forms of higher degree. Spaces of cuspidal Siegel modular forms of degree *n* are associated to cuspidal automorphic representations of . These cuspidal automorphic representations can be written in terms of local components , where *v* is a place of . Many cusp forms are associated to a single such representation , but among them is a unique primitive *f* known as a *newform*.

In addition to representation theory, modular forms are also related to certain abelian varieties. The nature of this relationship is made precise by the famous Taniyama-Shimura conjecture, proven in 1999.

**Taniyama-Shimura Conjecture:** Let be an elliptic curve with integral coefficients, conductor *N*, and *L*-series

Then there is a cusp form of weight 2 and level *N* which is a Hecke eigenform with Fourier series

The Langlands philosophy suggests that there should be abelian varieties associated with degree 2 Siegel modular forms. Brumer and Kramer have recently stated a conjectured extension of the Taniyama-Shimura conjecture to the degree 2 case for paramodular forms.

In the GL(2) case, cuspidal eigenforms determine Galois representations as well as automorphic representations. By a theorem of Deligne and Carayol, Galois representations and automorphic representations both have local components which determine each other. This theorem tells us that a modular elliptic curve has the same conductor as the level of the corresponding cusp form.

We would like to do the same thing for the GSp(4) case, but we need to know the corresponding abelian varieties. Unfortunately, these are unknown in general. But there is evidence supporting a conjectured correspondence for the paramodular group K(p) of GSp(4) due to Brumer and Kramer.

**The Paramodular Conjecture:** There is a one-to-one correspondence between isogeny classes of rational abelian surfaces *A* of conductor *N* with and weight 2 newforms *f* on *K(N)* with rational eigenvalues, not in the span of the Gritsenko lifts, such that *L(A,s) = L(f,s)*. The -adic representations associated to *f* should be isomorphic to those of the Tate module of *A* for any prime to *N*.

The paramodular conjecture is consistent with known examples from Brumer and Kramer and also in Poor and Yuen’s work on weight 2 Siegel paramodular forms. There are many open problems related to this conjecture, such as translating the different actions one can perform on abelian varieties to actions on spaces of paramodular forms.

More generally, Yoshida conjectured that for any rational abelian surface, there exists a discrete subgroup of and a degree 2 Siegel modular form of weight 2, , with the same *L*-series.

**References**

A. Brumer and K. Kramer, *Paramodular abelian varieties of odd conductor*, arXiv:1004.4699v2 (2010).

C. Poor and D. Yuen, *Paramodular Cusp Forms*, arXiv:0912.0049v1 (2009).

H. Yoshida, *Siegel modular forms and the arithmetic of quadratic forms*, Invent. Math. **60** (1980), no. 3, 193-248.

I have been reading “Number Theory I: Fermat’s Dream” by Kazuya Kato, Nobushige Kurokawa, and Takeshi Saito. In Chapter 1: Rational Points on Elliptic Curves, the authors state two propositions:

**Proposition 1.1.** There is no integral solution to satisfying

and

**Proposition 1.2.** The only rational solutions to are

and

They then show how 1.2 implies 1.1:

Suppose is an integral solution to satisfying We rewrite the equation as

We then multiply each side by to get

Setting , we have

Note that *X,Y* are rational numbers. The only rational points of this elliptic curve are . In either case, implies either or , contradicting our assumption. So there are only trivial integral solutions to .

We can extend this argument to prove that there are no non-trivial integral solutions to , for .