Hilbert’s irreducibility theorem for prime degree and general polynomials

Letf (X, t)εℚ[X, t] be an irreducible polynomial. Hilbert’s irreducibility theorem asserts that there are infinitely manyt ₀εℤ such thatf (X, t ₀) is still irreducible. We say thatf (X, t) isgeneral if the Galois group off (X, t) over ℚ(t) is the symmetric group in its natural action. We show that if the degree off with respect toX is a prime ≠ 5 or iff is general of degree ≠ 5, thenf (X, t ₀) is irreducible for all but finitely manyt ₀εℤ unless the curve given byf (X, t)=0 has infinitely many points (x ₀,t ₀) withx ₀εℚ,t ₀εℤ. The proof makes use of Siegel’s theorem about integral points on algebraic curves, and classical results about finite groups, going back to Burnside, Schur, Wielandt, and others. Supported by the DFG.     

Explicit Classification for Torsion Subgroups of Rational Points of Elliptic Curves

We study the classification of elliptic curves E over the rationals ℚ according to the torsion sugroups E _tors(ℚ). More precisely, we classify those elliptic curves with E _tors(ℚ) being cyclic with even orders. We also give explicit formulas for generators of E _tors(ℚ). These results, together with the recent results of K. Ono for the non-cyclic E _tors(ℚ), completely solve the problem of the explicit classification and parameterization when E has a rational point of order 2. Received July 29, 1999, Revised March 9, 2001, Accepted July 20, 2001     

Uniformity over primes of tamely ramified splittings

We fix a prime p and let f(X) vary over all monic integer polynomials of fixed degree n. Given any possible shape of a tamely ramified splitting of p in an extension of degree n, we prove that there exists a rational function φ(X)∈ℚ(X) such that the density of the monic integer polynomials f(X) for which the splitting of p has the given shape in ℚ[X]/f(X) is φ(p) (here reducible polynomials can be neglected). As a corollary, we prove that, for p≥n, the density of irreducible monic polynomials of degree n in ℤ _p [X] is the value at p of a rational function φ _n (X)∈ℚ(X). All rational functions involved are effectively computable. Received: 15 September 1998 / Revised version: 21 October 1999     

On the rank of the fibers of elliptic K3 surfaces

Let X be an elliptic K3 surface endowed with two distinct Jacobian elliptic fibrations π _i , i = 1, 2, defined over a number field k. We prove that there is an elliptic curve C ⊂ X such that the generic rank over k of X after a base extension by C is strictly larger than the generic rank of X. Moreover, if the generic rank of π _j is positive then there are infinitely many fibers of π _i (j ≠ i) with rank at least the generic rank of π _i plus one.     

Right triangles with algebraic sides and elliptic curves over number fields

Given any positive integer n, we prove the existence of infinitely many right triangles with area n and side lengths in certain number fields. This generalizes the famous congruent number problem. The proof allows the explicit construction of these triangles; for this purpose we find for any positive integer n an explicit cubic number field ℚ(λ) (depending on n) and an explicit point P _λ of infinite order in the Mordell-Weil group of the elliptic curve Y ² = X ³ − n ² X over ℚ(λ). Research of the rest of authors was supported in part by grant MTM 2006-01859 (Ministerio de Educación y Ciencia, Spain).     

On the Hasse principle for Shimura curves

Let C be an algebraic curve defined over a number field K, of positive genus and without K-rational points. We conjecture that there exists some extension field L over which C has points everywhere locally but not globally. We show that our conjecture holds for all but finitely many Shimura curves of the form X ₀ ^D (N)_/ℚ or X ₁ ^D (N)_/ℚ, where D > 1 and N are coprime squarefree positive integers. The proof uses a variation on a theorem of Frey, a gonality bound of Abramovich, and an analysis of local points of small degree.     

Linear independence measures for infinite products

Let f be an entire transcendental function with rational coefficients in its power series about the origin. Further, let f satisfy a functional equation f(qz)= (z−c)f(z)+Q(z) with and some particular c∈ℚ. Then the linear independence of 1,f(α), f(−α) over ℚ for non-zero α∈ℚ is proved, and a linear independence measure for these numbers is given. Clearly, for Q= 0 the function f can be written as an infinite product. Received: 19 September 2000 / Revised version: 14 March 2001     

Icosahedral galois extensions and elliptic curves

Summary This paper is devoted to the last unsolved case of the Artin Conjecture in two dimensions. Given an irreducible 2-dimensional complex representation of the absolute Galois group of a number fieldF, the Artin Conjecture states that the associatedL-series is entire. The conjecture has been proved for all cases except the icosahedral one. In this paper we construct icosahedral representations of the absolute Galois group of ℚ(√5) by means of 5-torsion points of an elliptic curve defined over ℚ. We compute the L-series explicitely as an Euler product, giving algorithms for determining the factors at the difficult primes. We also prove a formula for the conductor of the elliptic representation. A feasible way of proving the Artin Conjecture in a given case is to construct a modular form whose L-series matches the one obtained from the representation. In this paper we obtain the following result: letρ be an elliptic Galois representation over ℚ(√5) of the type above, and letL(s, ρ) be the corresponding L-series. If there exists a Hilbert modular formf of weight one such thatL(s, f) ≡L(s, ρ) modulo a certain ideal above (√5), then the Artin conjecture is true forρ. This article was processed by the author using the LATEX style filecljour1m from Springer-Verlag.     

On the product of twists of rank two and a conjecture of Larsen

In this note we present examples of elliptic curves and infinite parametric families of pairs of integers (d,d′) such that, if we assume the parity conjecture, we can show that E ^d ,E ^d′ and E ^dd′ are all of positive even rank over ℚ. As an application, we show examples where a conjecture of M. Larsen holds.      

Indices of hyperelliptic curves over p-adic fields

Let k be a p-adic field of odd residue characteristic and let C be a hyperelliptic (or elliptic) curve defined by the affine equation Y ²=h(X). We discuss the index of C if h(X)=ɛf(X), where ɛ is either a non-square unit or a uniformising element in O _k and f(X) a monic, irreducible polynomial with integral coefficients. If a root θ of f generates an extension k(θ) with ramification index a power of 2, we completely determine the index of C in terms of data associated to θ. Theorem 3.11 summarizes our results and provides an algorithm to calculate the index for such curves C. Received: 14 July 1997 / Revised version: 16 February 1998     

Uniform rates of convergence in the CLT for quadratic forms in multidimensional spaces

Summary.   Let X,X ₁,X ₂,… be a sequence of i.i.d. random vectors taking values in a d-dimensional real linear space ℝ ^d . Assume that E X=0 and that X is not concentrated in a proper subspace of ℝ ^d . Let G denote a mean zero Gaussian random vector with the same covariance operator as that of X. We investigate the distributions of non-degenerate quadratic forms ℚ[S _N ] of the normalized sums S _N =N ^−1/2(X ₁+⋯+X _N ) and show that

Zagier's conjecture on L(E,2)

In this paper we introduce an elliptic analog of the Bloch-Suslin complex and prove that it (essentially) computes the weight two parts of the groups K ₂(E) and K ₁(E) for an elliptic curve E over an arbitrary field k. Combining this with the results of Bloch and Beilinson we proved Zagier's conjecture on L(E,2) for modular elliptic curves over ℚ. Oblatum 3-VI-1996 & 16-V-1997     

On Lefschetz series

Let R = ⊕ _i=0^∞ R ⁱ be a connected graded commutative algebra over the field ℚ of rational numbers, and let f be a graded endomorphism of R. In this paper, we show that the Lefschetz series of f can be computed directly from the induced linear map Q(f) on the ℚ vector space of indecomposables of R. We give an explicit algorithm to compute the Lefschetz series of f from Q(f). The main tool we used is the graded algebra version of Gr?bner basis theory. At the end of this paper, some examples and applications are given.     

On double sine and cosine transforms,Lipschitz and Zygmund classes

We consider complex-valued functions f ∈ L 1 (R+2),where R +:= [0,∞),and prove sufficient conditions under which the double sine Fourier transform f ss and the double cosine Fourier transform f cc belong to one of the two-dimensional Lipschitz classes Lip(α,β) for some 0 α,β≤ 1;or to one of the Zygmund classes Zyg(α,β) for some 0 α,β≤ 2.These sufficient conditions are best possible in the sense that they are also necessary for nonnegative-valued functions f ∈ L 1 (R+2).     

Notes on combinatorial set theory

We shall prove some unconnected theorems: (1) (G.C.H.) \omega _{\alpha + 1} \to \left( {\omega _\alpha + \xi } \right)_2^2 when ℵ_α is regular, │ξ│⁺<ωα. (2) There is a Jonsson algebra in ℵ_α+n, and \aleph _{a + n} \not \to \left[ {\aleph _{a + n} } \right]_{\aleph _{a + n} }^{n + 1} if 2^{\aleph _{ - - } } = \aleph _{a + n} \cdot (3) If λ>ℵ₀ is a strong limit cardinal, then among the graphs with ≦λ vertices each of valence <λ there is a universal one. (4)(G.C.H.) If f is a set mapping on \omega _{a + 1} (ℵ_α regular) │f(x)∩f(y│<ℵ_α, then there is a free subset of order-type ζ for every ζ<ω_α+1.     

Large Monotone Paths in Graphs with Bounded Degree

 We prove that for every ε>0 and positive integer r, there exists Δ₀=Δ₀(ε) such that if Δ>Δ₀ and n>n(Δ,ε,r) then there exists a packing of K _n with ⌊(n−1)/Δ⌋ graphs, each having maximum degree at most Δ and girth at least r, where at most εn ² edges are unpacked. This result is used to prove the following: Let f be an assignment of real numbers to the edges of a graph G. Let α(G,f) denote the maximum length of a monotone simple path of G with respect to f. Let α(G) be the minimum of α(G,f), ranging over all possible assignments. Now let α_Δ be the maximum of α(G) ranging over all graphs with maximum degree at most Δ. We prove that Δ+1≥α_Δ≥Δ(1−o(1)). This extends some results of Graham and Kleitman [6] and of Calderbank et al. [4] who considered α(K _n ). Received: March 15, 1999?Final version received: October 22, 1999     

Characterizations and Extensions of Lipschitz-α Operators

In this work, we prove that a map F from a compact metric space K into a Banach space X over F is a Lipschitz-α operator if and only if for each σ in X^＊ the map σoF is a Lipschitz-α function on K. In the case that K = [a, b], we show that a map f from [a, b] into X is a Lipschitz-1 operator if and only if it is absolutely continuous and the map σ→ （σ o f）＇ is a bounded linear operator from X^＊ into L^∞（[a, b]）. When K is a compact subset of a finite interval （a, b） and 0 〈 α ≤ 1, we show that every Lipschitz-α operator f from K into X can be extended as a Lipschitz-α operator F from [a, b] into X with Lα（f） ≤ Lα（F） ≤ 3^1-α Lα（f）. A similar extension theorem for a little Lipschitz-α operator is also obtained.     

Some Elements of Finite Order in K2Q

Let K2 be the Milnor functor and let Фn （x）∈ Q[X] be the n-th cyclotomic polynomial. Let Gn（Q） denote a subset consisting of elements of the form {a, Фn（a）}, where a ∈ Q^＊ and {, } denotes the Steinberg symbol in K2Q. J. Browkin proved that Gn（Q） is a subgroup of K2Q if n = 1,2, 3, 4 or 6 and conjectured that Gn（Q） is not a group for any other values of n. This conjecture was confirmed for n =2^T 3S or n = p^r, where p ≥ 5 is a prime number such that h（Q（ζp）） is not divisible by p. In this paper we confirm the conjecture for some n, where n is not of the above forms, more precisely, for n = 15, 21,33, 35, 60 or 105.     

The number of elliptic curves over ℚ with conductorNwith conductorN

We prove that the number of elliptic curves E/ℚ with conductorN isO(N ^1/2+ε). More generally, we prove that the number of elliptic curves E/ℚ with good reduction outsideS isO(M ^1/2+ε), whereM is the product of the primes inS. Assuming various standard conjectures, we show that this bound can be improved toO(M ^c/loglogM ). Research partially supported by NSF DMS-9424642.