, , November 27, 2006

Let

K

be a number field,

\bar{K}

an algebraic closure of

K

, and

G_{K} : = G a l (\bar{K} / K)

the absolute Galois group of

\bar{K}

over

K

. Let

E

be an elliptic curve defined over

K

. There is a natural continuous action of

G_{K}

on the countably infinite-dimensional complex vector space

V_{E} : = E (\bar{K}) \otimes C

. The resulting representation decomposes as a direct sum of finite-dimensional irreducible representations in each of which

G_{K}

acts through a finite quotient group.

In particular, the action of every

σ \in G_{K}

V_{E}

is diagonalizable, with all eigenvalues roots of unity. In [3] , the first-named author showed that for generic

σ

, every root of unity appears as an eigenvalue of countably infinite multiplicity. This is true both in terms of measure and of Baire category. However, there exist

σ

for which the spectrum is quite different: trivially, the identity and complex conjugation elements; less trivially, examples which can be constructed for an arbitrary set

S

of primes, such that

ζ

is an eigenvalue if and only if every prime factor of its order lies in

S

Throughout this paper, we will write

Σ_{ζ}

for the subset of

G_{K}

consisting of elements

σ

acting as

ζ

on an infinite-dimensional subspace of

V_{E}

(

E

and

K

being fixed). For

ζ = 1

, a good deal is known. In [2] , it is proved that whenever

1

appears as an eigenvalue of

σ

at all, we have

σ \in Σ_{1}

. It follows that

Σ_{1}

is open. By [4] , when

K = Q

Σ_{1}

is all of

G_{K}

, and quite possibly this may be true without restriction on

K

. We have already observed that

Σ_{ζ} \neq G_{K}

for

ζ \neq 1

. We can still hope for positive answers to the following progression of increasingly optimistic questions:

Question 1.1. Does

Σ_{ζ}

have non-empty interior for all

ζ

Question 1.2. Is

Σ_{ζ}

open for all

ζ

Question 1.3. Do all eigenvalues of

σ

acting on

V_{E}

appear with infinite multiplicity?

In this paper, we give an affirmative answer to Question 1.1 for all

ζ

and an affirmative answer to all three questions for

ζ = - 1

The difficulty in proving such theorems is that placing

σ

in a basic open subset

U

G_{K}

amounts to specifying the action of

σ

on a finite Galois extension

L

K

. By the Mordell-Weil theorem,

E (L) \otimes C

cannot provide an infinite eigenspace for

ζ

. Thus, theintersection of eigenspaces

⋂_{σ \in U} V_{E}^{σ - ζ}

is finite-dimensional. Thus, the behavior of a finite collection of rational points must be enough to guarantee the existence of infinitely many linearly independent points on the curve with specified

σ

-action.

We would like to thank L. Moret-Bailly for correcting an error in the proof of Proposition 3.1 in an earlier draft of this manuscript.

2 Multiplicity of the eigenvalue -1

In this section, we answer Questions 1.2 and 1.3 for

ζ = - 1 .

Proposition 2.1. Let

E / K

be an elliptic curve over

K

. Suppose

- 1

is an eigenvalue of the action of

σ \in G_{K}

V_{E}

. Then the

- 1

-eigenspace of

σ

is infinite-dimensional.

Proof. As $- 1$ is an eigenvalue of $σ$ acting on $V_{E}$ , it is an eigenvalue of $σ$ acting on $E (\bar{K}) \otimes Q$ . Clearing denominators, there exists a non-torsion $P \in E (\bar{K})$ such that $σ (P) + P \in E (\bar{K})_{t o r}$ . Replacing $P$ by a suitable positive integral multiple, $σ (P) = - P$ .
Let $y^{2} = f (x)$ be a fixed Weierstrass equation of $E / K$ . Let $P = (α, \sqrt{f (α)})$ . As $σ (P) = - P$ , we have $α \in {\bar{K}}^{σ}$ but $σ (\sqrt{f (α)}) = - \sqrt{f (α)}$ so $\sqrt{f (α)} / \in {\bar{K}}^{σ}$ . Then, $\sqrt{f (α)} / \in K (α)$ , since $K (α) \subseteq {\bar{K}}^{σ}$ Note that $f (α) \in K (α) \subseteq {\bar{K}}^{σ}$ . Let $c = f (α) \in K (α)$ . We still have $σ \in$ Gal $(\bar{K} / K (α))$ and $σ (\sqrt{c}) = - \sqrt{c}$ .
Let $E^{'} / K (α)$ denote the twist $y^{2} = c f (x)$ . Then, $E^{'}$ has a rational point $P^{'} = (α, f (α))$ over $K (α)$ . The $\bar{K}$ -isomorphism $φ : E \to E^{'}$ mapping $(x, y) \mapsto (x, \sqrt{f (α) y})$ sends $P$ to $P^{'}$ , so $P^{'}$ is of infinite order on $E^{'}$ . By ([2,Theorem5.3] , $E^{'} ({\bar{K}}^{σ})$ has infinite rank. Let ${P_{i}^{'} = (x_{i}, \sqrt{c f (x_{i})})}_{i = 1}^{\infty}$ be an infinite sequence of linearly independent points of $E^{'}$ generating the infinite dimensional eigenspace of $1$ of $σ$ in $E^{'} (\bar{K}) \otimes C$ . Then, $σ (x_{i}) = x_{i}$ and $σ (\sqrt{f (x_{i})}) = - \sqrt{f (x_{i})}$ for all $i$ , since $σ (\sqrt{c}) = - \sqrt{c}$ .
Let $P_{i} = φ^{- 1} (P_{i}^{'}) = (x_{i}, \sqrt{f (x_{i})})$ . These are points of the given elliptic curve $E$ such that $σ (P_{i}) = - P_{i}$ for all $i$ , since $σ (x_{i}) = x_{i}$ and $σ (\sqrt{f (x_{i})}) = - \sqrt{f (x_{i})}$ .
The points $P_{i}$ are linearly independent because the $P_{i}^{'}$ are so. Therefore, ${P_{i} \otimes 1}_{i = 1}^{\infty}$ generates an infinite dimensional subspace of the $- 1$ -eigenspace of $σ$ on $V_{E}$ . This completes the proof. □

Theorem 2.2. Let

E / K

be an elliptic curve over

K

. Then,

Σ_{- 1}

is open.

Proof. We have already seen that if $σ \in Σ_{- 1}$ , we can choose a point $P \in E (\bar{K})$ of infinite order such that $σ (P) = - P$ . By Proposition 2.1 , $τ (P) = - P$ implies $τ \in Σ_{- 1}$ It follows that $Σ_{- 1}$ contains the open neighborhood ${τ \in G_{K} | τ (P) = σ (P)}$ of $σ$ . □

Remark 2.3. The same argument shows that Questions 1.2 and 1.3 have an affirmative answer for

ζ = ω

(resp.

ζ = i

) when

E

has complex multiplication by

Z [ω]

(resp.

Z [i]

3 Interior Points

In this section, we show that for every root of unity

ζ

, the set

Σ_{ζ}

contains a non-empty open subset. We assume that the order of

ζ

n \geq 3

, the case

n = 1

having been treated in [2] , and the case

n = 2

in Theorem 2.2 .

Our strategy will be to find points

Q_{i} \in E (\bar{K})

such that the

σ

-orbit of

Q_{i}

has length

n

. For each such point

Q_{i}

, we set

\begin{matrix} R_{i} : = \sum_{i = 0}^{n - 1} σ^{i} (Q_{i}) \otimes ζ^{- i} \end{matrix}

(1)

and observe that

R_{i}

is a

ζ

-eigenvector of

σ

provided that it is non-zero.

We therefore begin with the following proposition:

Proposition 3.1. Let

X

be a Riemann surface of genus

g > 1

with an automorphism

σ

of order

n

. Then

X

contains a non-empty open set

U

such that

x \in U

implies that

\sum_{i = 0}^{n - 1} [σ^{i} x] \otimes ζ^{- i} \neq 0

P i c X \otimes C

Proof. We can regard $X$ as the group of complex points of a non-singular projective curve whose Picard scheme has complex locus $P i c X$ . Then $P i c X \otimes Z [ζ]$ is the group of complex points of a group scheme whose identity component $P i c^{0} X \otimes Z [ζ]$ is isomorphic to the $φ (n)$ th power of the Jacobian variety of this curve. The action of $σ$ on $X$ defines an action on $P i c X$ , and the map $ψ : P i c X \to P i c X \otimes Z [ζ]$ given by $ψ (y) = \sum_{i = 0}^{n - 1} σ^{i} y \otimes ζ^{- i}$ then comes from a morphism of group schemes. The image of $ψ$ actually lies in $P i c^{0} X \otimes Z [ζ]$ , and its kernel $P_{ζ}^{0}$ is Zariski-closed in $P i c X$ .
The set $P_{ζ}$ of $y$ such that $ψ (y)$ maps to 0 in $P i c X \otimes C$ is the union of all translates of $P_{ζ}^{0}$ by torsion points of $P i c X$ . Applying Raynaud's theorem [7] (i.e., the proof of theManin-Mumford conjecture) to the image of $X$ in $P i c X / P_{ζ}^{0}$ , the intersection $X \cap P_{ζ}$ is finite whenever $P_{ζ}^{0}$ does not contain the identity component of $P i c X$ . It therefore suffices to prove that the Lie algebra of $P_{ζ}^{0}$ is a proper subspace of the Lie algebra of $P i c X$ . We identify the latter Lie algebra in the usual way [1,Ch. 2, §6] with $H^{1} (X, O_{X}) = H^{0, 1} (X)$ .
As $V_{E} = (E (\bar{K}) \otimes Q) \otimes_{Q} C$ , the eigenvalues of $σ$ form a Galois-invariant set. Therefore, it suffices to show some primitive $n$ th root of unity is an eigenvalue of $σ$ acting on $H^{0, 1}$ .
The Hodge decomposition $H^{1} (X (C), C) = H^{1, 0} \oplus \bar{H^{1, 0}}$ implies that it suffices to show that $ζ$ is an eigenvalue of $σ$ acting on $H^{1} (X (C), C)$ .
Let $R_{C} (G)$ denote the ring of complex (virtual) representations of $G$ . For any subgroup $H$ of $G : = 〈 σ 〉$ , let $R_{G / H}$ denote the regular representation of $G / H$ regarded as an element of $R_{C} (G)$ , and let $I_{H} : = R_{G} - R_{G / H}$ . In particular, $I_{{1}} = 0$ . Regarded as an element of $R_{C} (G)$ , the $G$ -representation $H^{1} (X (C), C))$ is $2 g + (2 h - 2) I_{G} + \sum_{[x] \in X / G} I_{S t a b_{G} (x)},$ where $h$ is the genus of $X / G$ , and $S t a b_{G} (x)$ is the stabilizer of any element of $X$ representing the $G$ -orbit $[x]$ . This is worked out in the case that $h = 0$ in [6,Prop. 2.2] ), but the method (in which the character of $H^{1} (X (C), C))$ as a representation of $G$ is deduced from the Hurwitz formula and the Lefschetz trace formula) works in general.
The multiplicity of $ζ$ as an eigenvalue of $σ$ on $H^{1} (X (C), C))$ is therefore $2 g - 2$ plus the number of ramification points of the cover $X \to X / G$ . This is positive except in two cases: the cyclic cover $P^{1} \to P^{1}$ of degree $n$ (necessarily ramified over two points) and a degree $n$ isogeny of elliptic of elliptic curves. As $g \geq 2$ , neither case applies.
□

Theorem 3.2. Let

E / K

be an elliptic curve over a number field

K

. For each root of unity

ζ

, there exists a nonempty open subset

Σ_{ζ}

of Gal

(\bar{K})

suchthat the multiplicity of the eigenvalue

ζ

for

σ \in Σ_{ζ}

acting on

E (\bar{K}) \otimes C

is infinite.

Proof. Let

ζ

be an

n

th root of unity. Let

λ_{1}, λ_{2}, λ_{3}, \infty

be the ramification points of a double cover

E \to P^{1}

, and let

λ

denote the cross-ratio of

(λ_{1}, λ_{2}, λ_{3}, \infty)

. Choose

a, b \in \bar{K}

such that the ordered quadruple (

a, b, ζ a, ζ b

) satisfies

\frac{(ζ a - a) (ζ b - b)}{(ζ b - a) (ζ a - b)} = λ

This is always possible; for instance, setting

a = 1

, we get a non-trivial quadratic equation for

b

, and since

λ

is not

1

\infty

, we have

b, ζ b \notin {a, ζ a}

. Thus the elliptic curves

X_{i} : y^{2} = (x - ζ^{i - 1} a) (x - ζ^{i - 1} b) (x - ζ^{i} a) (x - ζ^{i} b), for i = 1, \dots, n .

all have the same

j

-invariant as

E

Let

L = K (a, b, ζ)

. Fix

q \in K

such that

L (\sqrt[n]{q})

is a Galois

Z / n Z

-extension of

L

. We claim that

Σ_{ζ}

contains the open set

U_{ζ} : = {σ \in G a l (\bar{K} / L) | σ (\sqrt[n]{q}) = ζ \sqrt[n]{q}} .

Let

M = L (\sqrt[n]{q})

. For

N

any number field containing

M

, let

C_{N}

denote the affine curve over

N

S p e c N [x, y_{1}, \dots, y_{n}] / (P_{1} (x, y_{1}), \dots, P_{n} (x, y_{n}), y_{1} \dots y_{n} - (x^{n} - a^{n}) (x^{n} - b^{n}))

where

P_{i} (x, y) = y^{2} - (x - ζ^{i - 1} a) (x - ζ^{i} a) (x - ζ^{i - 1} b) (x - ζ^{i} b) .

Note that the equation

y_{1} \dots y_{n} - (x^{n} - a^{n}) (x^{n} - b^{n}) = 0

merely selects one of the two irreducible components of the 1-dimensional affine scheme cut out by the other equations.

Let

X

denote the compact Riemann surface which is the compactification of

C_{N} (C)

By the Hurwitz genus formula, the genus of

X

(n - 2) 2^{n - 2} + 1

, which is greater than

1

since

n \geq 3

. For any

n

-tuple

(k_{1}, \dots, k_{n}) \in {0, 1}^{n}

with even sum, the map

\begin{matrix} (x, y_{1}, \dots, y_{n}) \mapsto (ζ x, (- 1)^{k_{1}} ζ^{2} y_{n}, (- 1)^{k_{2}} ζ^{2} y_{1}, (- 1)^{k_{3}} ζ^{2} y_{2}, \dots, (- 1)^{k_{n}} ζ^{2} y_{n - 1}) \end{matrix}

(2)

defines an automorphism

σ

C_{N}

and therefore of

X

. As the

k_{i}

have even sum,

σ

is of order

n

. If

x \in \sqrt[n]{q} L^{*}

and

σ \in U_{ζ}

, then

σ (x) = ζ x

, so

σ (y_{i})^{2} = ζ^{4} y_{i - 1}^{2},

and so there exists an

n

-tuple

(k_{1}, \dots, k_{n})

with even coordinate sum such that

σ

acts on

Q : = (x, y_{1}, \dots, y_{n})

by ( 2 ). By Proposition 3.1 , for all but finitely many values of

x

R : = \sum_{i = 0}^{n - 1} σ^{i} (Q) \otimes ζ^{- i}

is a non-zero eigenvector of

σ

with eigenvalue

ζ

Assume now that

N

is a finite Galois extension of

M

. Consider the morphism from

C_{N}

to the affine line over

M

given by

(x, y_{1}, \dots, y_{n}) \mapsto x

. This is a branched Galois cover with Galois group

G a l (N / M) \times (Z / 2 Z)^{n - 1}

. There exists a Hilbert set of values

t \in M

such that the geometric points lying over

x = \sqrt[n]{q} t

C_{M}

consists of a single

G a l (\bar{K} / M)

-orbit or, equivalently,

G a l (M (y_{1}, \dots, y_{n}) / M) \sim = (Z / 2 Z)^{n - 1}

and

M (y_{1}, \dots, y_{n})

is linearly disjoint from

N

over

M

. As a Hilbert set of a finite extension of

L

always contains some Hilbert set of

L

([5,Ch. 9, Prop. 3.3] ), it follows that there exists

t \in L

such that setting

x = \sqrt[n]{q} t

, relative to

M

, the extension

M (y_{1}, \dots, y_{n})

is linearly disjoint from

N

and has Galois group

(Z / 2 Z)^{n - 1}

. We can therefore iteratively construct a sequence

t_{1}, t_{2}, \dots \in L^{*}

such that the extensions

M_{i} : = M (\sqrt{(\sqrt[n]{q} t_{i} - a) (\sqrt[n]{q} t_{i} - b) (\sqrt[n]{q} t_{i} - ζ a) (\sqrt[n]{q} t_{i} - ζ b)}, \dots, \sqrt{(\sqrt[n]{q} t_{i} - ζ^{n - 1} a) (\sqrt[n]{q} t_{i} - ζ^{n - 1} b) (\sqrt[n]{q} t_{i} - a) (\sqrt[n]{q} t_{i} - b)})

are all linearly disjoint over

M

. Let

Q_{i}

be a point with

x

-coordinate

\sqrt[n]{q} t_{i}

, and

R_{i}

the corresponding

ζ

-eigenvector of

σ

given by ( 1 ). We claim that the

R_{i}

span a space of infinite dimension. The

Q_{i}

do so by [2,Lemma3.12] , and as the

ζ^{- j}

are linearly independent over

Q

, it follows that the

R_{i}

do so as well.

□

We conclude with a question that does not seem to be directly amenable to the methods of this paper:

Question 3.3. Does the set

\cap_{ζ \in C_{t o r}^{*}} Σ_{ζ}

of elements of

G_{K}

having generic spectrum on

V_{E}

always have an interior point?

References

P. Griffiths and J. Harris: Principles of Algebraic Geometry, John Wiley & Sons, New York, 1978.
B. Im: Mordell-Weil groups and the rank over large fields of elliptic curves over large fields, arXiv: math.NT/0411533, to appear in Canadian J. Math.
B. Im: Infinite multiplicity of roots of unity of the Galois group in the representation on elliptic curves, preprint, 2003.
B. Im: Heegner points and Mordell-Weil groups of elliptic curves over large fields, preprint, arXiv: math.NT/0411534.
S. Lang: Fundamentals of Diophantine Geometry, Springer-Verlag, New York, 1983.
M. Larsen: Rigid lattices are Mordell-Weil, preprint, arXiv: math.NT/0401209.
M. Raynaud: Courbes sur une variété abélienne et points de torsion. Invent. Math. 71 (1983), no. 1, 207–233.

Department of Mathematics, University of Utah, Salt Lake City, Utah 84112, USA E-mail address : im@math.utah.edu Department of Mathematics, Indiana University, Bloomington, Indiana 47405, USA E-mail address : larsen@math.indiana.edu

November 27, 2006

Bo-Hae Im and Michael Larsen