LIFTING PUZZLES IN DEGREE 4

Size: px
Start display at page:

Download "LIFTING PUZZLES IN DEGREE 4"

Transcription

1 LIFTING PUZZLES IN DEGREE 4 CRIS POOR, NATHAN C. RYAN, AND DAVID S. YUEN Abstract. We identify the majority of Siegel modular eigenforms in degree 4 and weights up to 6 as being Duke-Imamoḡlu-Ikeda or Miyawaki-Ikeda lifts. We give two examples of eigenforms that are probably also lifts but of an undiscovered type.. Introduction For degree 4, vector spaces of Siegel modular cusp forms are known through weights k 6. For weight 6 there are 7 eigenforms: three quadratic pairs and one rational cusp form. From the work of Ikeda, the L-functions of two of the quadratic pairs are known. In this article, we compute the Euler 2-factors for the remaining quadratic pair and for the rational eigenform. Some of the roots of these Euler factors are not unimodular and so, presumably, there are two new lifts to be discovered. If not, the Generalized Ramanujan-Petersson Conjecture needs significant modification. The unexplained Euler 2-factors do factor in interesting ways, see Table 2. This article surveys all L-functions for degree 4 and weights k 6. We both explain how to compute Euler factors in higher degree and actually compute some. We find congruences between particular Euler factors and prove the nonvanishing of particular Miyawaki lifts. Lifting conjectures have been motivated by the computation of Euler factors of L-functions of Siegel modular Hecke eigenforms. Let Sn k denote the Siegel modular cusp forms of degree n and weight k. For Hecke eigenforms in S2 0 and S2 2, Kurokawa [5] computed some Euler factors and noted their factorization into Euler products of elliptic modular cusp forms and zeta functions.. Saito-Kurokawa-Maass Lift For even weights k, each eigenform f S 2k 2 corresponds to an eigenform F S k 2 such that the standard L-function of F factors L(F, s, st) = ζ(s)l(f, s + k )L(f, s + k 2). This was proven by Maass, Andrianov and Zagier, compare [5]. For eigenforms in S3 2 and S3 4, Miyawaki [6] computed some Euler factors and used their factorizations to give two conjectures. We rephrase them as follows: 2. Miyawaki Conjecture I For even k, each pair of eigenforms f S 2k 4 and g S k corresponds to an eigenform F S k 3 such that L(F, s, st) = L(f, s + k 2)L(f, s + k 3)L(g, s, st) Mathematics Subject Classification. Primary F46, F60; Secondary 65D20, Key words and phrases. Siegel modular forms, Satake parameters, Miyawaki-Ikeda lifts.

2 2 CRIS POOR, NATHAN C. RYAN, AND DAVID S. YUEN 3. Miyawaki Conjecture II For even k, each pair of eigenforms f S 2k 2 and g S k 2 corresponds to an eigenform F S3 k such that L(F, s, st) = L(f, s + k )L(f, s + k 2)L(g, s, st). Duke and Imamoḡlu studied the factorization of the Euler factors of the Schottky form in S 8 4 and, in analogy with the Saito-Kurokawa lift, conjectured a lifting proven by Ikeda [8]. 4. Duke-Imamoḡlu-Ikeda Lift For even k, n and (n + k)/2, each eigenform f S k corresponds to an eigenform I n (f) S n (n+k)/2 whose standard L-function is n L(I n (f), s, st) = ζ(s) L(f, s + n + k i). 2 i= Ikeda has also solved Miyawaki s first conjecture with an additional natural nonvanishing condition, see [9]. See also [] for the resolution of a germane conjecture in [9]. In contrast, Miyawaki s second conjecture remains open. Given a complex function g on the Siegel upper half space, define g c by g c (Z) = g( Z). 5. Miyawaki-Ikeda Lift Let k, n + r and ˆk = (n + r + k)/2 be even integers with r n. Each pair of eigenforms f S k and g Sˆk r corresponds to an element M n (f, g) Sˆk n via M n (f, g)(z n ) = I n+r (f)(z n Z r ), g c (Z r ), where, is the Petersson inner product. If M n (f, g) is nontrivial then it is an eigenform for the even Hecke algebra and n L(M n (f, g), s, st) = L(g, s, st) L(f, s + ˆk i). i=r+ A persistent theme in the articles of Kurokawa and Miyawaki is the difficulty of computing Fourier coefficients and Euler factors of eigenforms. The Fourier coefficients for our examples were computed in [20] and here we use Krieg s matrix [4] to compute Euler factors from Hecke eigenvalues. In particular, we compute Euler 2-factors for all the Hecke eigencuspforms in degree 4 where dim S4 k is currently known, namely k 6. Two of our examples look suspiciously like unknown lifts because their Euler 2-factors possess rational factors of lower degree and because not all their Satake parameters are unimodular. However, we cannot identify these factors with Euler factors of eigenforms of lower degree and so leave the matter as lifting puzzles. The most interesting case is weight 6 with dim S4 6 = 7, see Table 2. Here there are three pairs of eigenforms with quadratic irrationalities and one rational eigenform. Two eigenforms, h and h 2, are Ikeda lifts. Two eigenforms, h 5 and h 6, are Miyawaki lifts and we prove this by verifying the nonvanishing of the relevant inner product. Another pair, h 3 and h 4, have Euler 2-factors which factor into elliptic factors and a rational quartic factor of unknown origin. Neither do we know what to make of the rational form h 7, whose Euler 2-factor has no unimodular roots. We summarize the results of our computations: For an elliptic modular eigenform f S k, we may normalize f so that the Fourier expansion f(τ) = j= a(j; f) qj satisfies a(; f) =. The Hecke L-function is then defined by L(f, s) = Q p (f, p s ), where Q p (f, X) = a(p; f)x + p k X 2. p prime

3 LIFTING PUZZLES IN DEGREE 4 3 Let φ ± 28 (τ) = q + ( 440 ± 08β)q with β = 8209 be the two normalized eigenforms of weight 28. The standard L-function of the Ikeda lift I 4 (φ ± 28 ) S6 4 is L(I 4 (φ ± 28 ), s, st) = ζ(s)l(φ± 28, s + 2)L(φ± 28, s + 3)L(φ± 28, s + 4)L(φ± 28, s + 5). The Euler 2-factor is given by ( X)Q 2 (φ ± 28, 2 2 X)Q 2 (φ ± 28, 2 3 X)Q 2 (φ ± 28, 2 4 X)Q 2 (φ ± 28, 2 5 X) = ( X) ( 2 2 ( 440 ± 08β)X X 2) ( 2 3 ( 440 ± 08β)X + 2 X 2) ( 2 4 ( 440 ± 08β)X + 2 X 2) ( 2 5 ( 440 ± 08β)X X 2). These are exactly the Euler 2-factors computed for h and h 2 in Table 2, so that h is the Ikeda lift of φ + 28 to degree four and h 2 is the lift of φ 28. To identify h 5 and h 6 as Miyawaki lifts, let φ 26 (τ) = q 48q be the normalized eigenform of weight 26 and φ ± 30 (τ) = q + (4320 ± 96γ)q with γ = 5349 be the two normalized eigenforms of weight 30. The two Saito-Kurokawa lifts I 2 (φ ± 30 ) span S6 2. In section 5 we prove that M 4 (φ 26, I 2 (φ ± 30 )) is nontrivial, so that it is an eigenform with standard L-function L(M 4 (φ 26, I 2 (φ ± 30 )), s, st) = L(I 2(φ ± 30 ), s, st)l(φ 26, s + 2)L(φ 26, s + 3) The Euler 2-factor is given by = ζ(s)l(φ ± 30, s + 4)L(φ± 30, s + 5)L(φ 26, s + 2)L(φ 26, s + 3). ( X) ( 2 4 (4320 ± 96γ)X + 2 X 2) ( 2 5 (4320 ± 96γ)X + 2 X 2) ( 2 2 ( 48)X + 2 X 2) ( 2 3 ( 48)X + 2 X 2). From Table 2 we see that M 4 (φ 26, I 2 (φ + 30 )) gives h 5 and M 4 (φ 26, I 2 (φ 30 )) gives h 6. Consider the pair h 3 and h 4. From Table 2, the Euler 2-factor of h 3 is given by Q 2 (h 3, X, st) = ( X)Q 2 (φ + 28, 2 4 X)Q 2 (φ + 28, 2 5 X) ( X X2 + 9 ) 52 X3 + X 4. Thus, h 3 looks like a lift but we do not know the origin of the quartic factor. It is the only factor in Table 2 with unimodular roots, namely η ± i η 2 for η = (9± 27752)/2048. Both quadratic factors, Q 2 (φ + 28, 2 4 X) and Q 2 (φ + 28, 2 5 X), are shared with the Euler 2-factor of h and the Fourier coefficients of h and h 3 are both algebraic integers in Q( 8209). We will also see that h and h 3 are congruence neighbors in the following sense: their Hecke eigenvalues at p = 2 are all congruent modulo certain primes in the ring of integers of Q( 8209); namely at 3, at a prime above 5 and at a prime above 7. Finally, consider the Euler 2-factor of the rational form h 7. If we introduce a pretend Euler factor with an integer parameter l, Q ± (X) = 2 l (65 ± )X l X 2, then we have the following factorization for any choice of l: Q 2 (h 7, X, st) = ( X)Q + (2 0 l X)Q + (2 l X)Q (2 0 l X)Q (2 l X).

4 4 CRIS POOR, NATHAN C. RYAN, AND DAVID S. YUEN These look like Euler factors of weight l with the s variable translated by 0 + l and + l. However, none of the level one elliptic Euler 2-factors from weights k = 24, 28, 30, 32, 34 or 38 have coefficients that generate the quadratic field Q( ). We thank S. Hayashida for helpful discussions. We thank B. Heim for pointing out that Miyawaki lifts are currently only known to be eigenforms for the even part of the Hecke algebra. We thank O. King for giving us a nice LISP program to compute the F p polynomials via Katsurada s recursion formulae. 2. Notation and Background In this section we give basic definitions and recall theorems of Andrianov and Satake. We define Siegel modular forms, the Hecke algebra, the spherical map and the Satake parameters. For a commutative ring R let M m n (R) denote the R-module of m-by-n matrices with coefficients in R. For x M m n (R) let x M n m (R) denote the transpose. Let V n (R) = {x M n n (R) : x = x} be the symmetric n-by-n matrices over R; V n (R) is a euclidean vector space under the inner product x, y = tr(xy). For R R, an element x V n (R) is called positive definite, written x > 0, when v xv > 0 for all v R n \{0}; we denote the set of these by P n (R). The half-integral matrices are X n = {T P n (Q) : v Z n, v T v Z}. Let GL n (R) = {x M n n (R) : det(x) is a unit in R} be the general linear group and SL n (R) = {x GL n (R) : det(x) = } the special linear group. For x GL n (R) let x denote ( the inverse ) transpose. Let I n GL n (R) be the identity 0 In matrix and set J n = SL I n 0 2n (R). The symplectic group is defined by Sp n (R) = {x GL 2n (R) : x J n x = J n }. We write Γ n = Sp n (Z) and for R R define the group of positive R-similitudes by GSp + n (R) = {x M 2n 2n (R) : µ R + : g J n g = µj n }. Each γ GSp + n (R) has a unique µ = µ(γ) = det(γ) /n. Define the Siegel upper half space H n = {Ω V n (C) : IΩ P( n (R)}. ) The group GSp + A B n (R) acts on H n as M Ω = (AΩ+B)(CΩ+D) for M =. For any C D function f : H n C and any k Z we follow Andrianov and let n = n(n + )/2 and define the group action for M GSp + n (R) by (f k M)(Ω) = µ(m) kn n det(cω + D) k f(m Ω ). The complex vector space of Siegel modular forms of degree n and weight k is denoted by Mn k and is defined as the set of holomorphic f : H n C such that f k M = f for all M Γ n and such that for all Y 0 P n (R), f is bounded on {Ω H n : IΩ ( > Y) 0 }. For f Mn k the Siegel Φ-map is defined by (Φf)(Ω) = iλ 0 lim λ + f( ) and the space of cusp forms is defined by S 0 Ω n k = {f Mn k : Φf = 0}. Let e(z) = e 2πiz. By the Koecher principle, an f Sn k has a Fourier expansion f(ω) = a(t ; f)e ( T, Ω ) T X n where the a(t ; f) satisfy a(u T U; f) = det(u) k a(t ; f) for all U GL n (Z). The Petersson inner product f, g = F n det(y ) k n f(z)g(z)dz makes Sn k into an inner product space. Here the integral is over a fundamental domain F n for the action of Γ n on H n and Z = X + iy H n and dz = i j n dx ij dy ij.

5 LIFTING PUZZLES IN DEGREE 4 5 We now introduce various Hecke rings. For a group Γ contained in a semigroup S, the pair (Γ, S) is called a Hecke pair if, for all s S, Γ\ΓsΓ is finite. The free Q-module on the left cosets Γs with s S is denoted L(Γ, S). A right action of Γ on L(Γ, S) is given by Γs Γsγ for γ Γ and the Γ-invariant subspace is denoted by H(Γ, S). If we identify a double coset ΓsΓ = i Γs i with i Γs i L(Γ, S) then H(Γ, S) is generated by double cosets. The binary operation on H(Γ, S) L(Γ, S) given by ( a i Γs i ) (Γs) = a i Γs i s is well-defined and restricts to make H(Γ, S) an associative ring. We define S n = GSp + n (Q); S n = S n M 2n 2n (Z); H n = H(Γ n, S n ) = the (global) Hecke algebra, Hn = H(Γ n, S n ) = the integral Hecke algebra, S n,p = S n GL 2n (Z[ p ]); H n,p = H(Γ n, S n,p ) = the p-part of H n, S n,p = S n,p M 2n 2n (Z); Hn,p = H(Γ n, S n,p ) = the p-part of Hn. The Hecke algebra is a commutative ring and acts as a ring of endomorphisms on each Mn k via: f k a i Γ n s i = a i f k s i, i i an action that stabilizes S k n. The subalgebra generated by the double cosets Γ n sγ n for s GSp + n (Q) with µ(s) (Q ) 2 is called the even part of the Hecke algebra. Each Hecke operator is self-adjoint with respect to the Petersson inner product and so M k n has a basis of simultaneous eigenforms. We know that H n is generated by p H n,p and that H n,p is generated by H n,p and Γ n (pi 2n ). The p-part of the integral Hecke algebra, Hn,p, is generated by the double cosets, for i n: T (p) = Γ n diag(i n ; pi n )Γ n and T i (p 2 ) = Γ n diag(i n i, pi i ; p 2 I n i, pi i )Γ n. We also define T 0 (p 2 ) = Γ n diag(i n ; p 2 I n )Γ n. It is no small matter to turn these abstract definitions into a programmable action on the Fourier coefficients. The following formulae in [2] are what we require here. Using the notation in section 2, for f(ω) = T X n a(t ; f)e( T, Ω ) S k n, the T th coefficient of f T (p) (respectively, f T i (p 2 )) is given by a(t ; f T (p)) = p r(r 2n+2k ) 2 a( T [UD(r, n r, 0)]; f) p and a(t ; f T i (p 2 )) = 0 r n U G(r,n r,0) 0 r,s n r+s n U G(r,s,n r s) p (2r+s)(k n+r ) r(r ) e(t, U) a( T [UD(r, s, n r s)]; f). p2

6 6 CRIS POOR, NATHAN C. RYAN, AND DAVID S. YUEN In the above formulas, use the following notation: Define the exponential sum ( ) e(t, U) = e p tr(t [U]diag(0r, M s, 0 n r s )) M mod p rank p(m)=s (n i) where the notation M s indicates that M M s s (Q) and 0 indicates the zero matrix. The summation is only over symmetric M. The representatives of double cosets are found by enumerating the set G(r, s, t) for r + s + t = n, which is the union of the following (extend the notation to let M r,s denote an element of M r s (Q)): { } ( U x 0 ) : U (n ) G(r, s, t ), x = (pa, 0), a,r mod p { ( 0 0 U ) ( x I 0 ) : U n G(r, s, t), x = (0, a, b), a,s mod p, b,t mod p 2} and { ( 0 0 ) ( ) I 0 0 U 0 U x I } : (U n,r, U n,n r 2 ) G(r, s, t), x = (0, a), a,t mod p where it is understood that G(r, s, t) = if any of r, s or t is negative. The only comment we add to these formulae of Breulmann and Kuss is that, in the summation for e(t, U), a zero dimensional matrix of rank 0 must be allowed; that is, we take e(t, U) = when i = n and s = 0. These formulae were used to compute the Hecke eigenvalues in Table from the Fourier coefficients at [8]. By a fundamental result of Satake, the p-part of the integral Hecke algebra is isomorphic to the invariant ring Q[x 0,..., x n ] Wn, where W n is the group generated by the permutations of x,..., x n and by the automorphisms τ i (x 0 ) = x 0 x i, τ i (x i ) = x i, τ j (x i ) = x i for i j. To define this isomorphism, write left cosets from Γ n \S n,p in the form Γ n M with ( ) p δ µ(m) = p δ p and M = δ D B and D = p δ2 0 D p δn The terms p δ and GL n (Z)D depend only on the left coset Γ n M and the sequence of elementary divisors p δi is determined by GL n (Z)D. Letting n ( ) δi Ω(Γ n M) = x δ xi 0 defines an algebra homomorphism Ω : L(Γ n, S n,p ) Q[x ± 0,..., x± n ] that induces the Satake isomorphism Ω : Hn,p Q[x 0,..., x n ] Wn. The map Ω is a universal object for complex one dimensional representations of H n,p, see page 65 of []. Theorem 2.. Let λ Hom Q (H n,p, C) be a nontrivial homomorphism. There is an α = (α 0, α,..., α n ) C n+ such that the following diagram commutes: H n,p Ω i= Q[x ± 0, x±,..., x± n λ ] Wn p i > x := α > C.

7 LIFTING PUZZLES IN DEGREE 4 7 In particular, given an eigenform F Sn k of the Hecke algebra H n, we may define a homomorphism λ F : H n C by λ F (T )F = F k T. For each prime p, we have the restriction λ F : H n,p C and the (α 0,p,..., α n,p ) promised in Theorem 2. are called the Satake p-parameters of F and satisfy Ω(T ) x:=α = λ F (T ) for T H n,p. The Satake parameters of F are used in the definition of the L-functions attached to F. In particular, the standard L-function is given by L(F, s, st) = Q p (α p, p s ) where p prime Q p (F, X, st) = Q p (α p, X) = ( X) The spinor L-function is given by where L(F, s, spin) = Q p (F, X, spin) = ( α 0,p X) p prime n n ( α i,p X)( α i= Q p (F, p s, spin) ( n r) r= i < <i r n 3. Computing Euler Factors i,p X). ( α 0,p α i,p... α ir,px). In recent work the first and third authors have computed bases for the spaces of degree 4 Hecke eigenforms in weights up to 6. In what follows, we show how to compute the Hecke eigenvalues of these forms and from this deduce their Satake parameters at the prime 2. In all cases, the standard L-functions factor, suggesting that all the forms in [20] are lifts. All but three of the computed forms we identify as either Ikeda lifts or Miyawaki lifts, leaving us wondering if there are two previously unidentified lifts into genus 4. In what follows, we make use of the following notation. For a polynomial f Q[x 0,..., x n ] we set (σ f)(x 0,..., x n ) = f(σ(x 0 ),..., σ(x n )) and set [f] = σ f. σ W n/stab(f) Also, if b = (b,..., b n ) Z n, by x b we mean the monomial x b xbn n. Similar meaning is implied by α b. Parallel to the generators for H n,p, the ring Q[x 0, x,..., x n ] Wn is generated by x 0 (+x )... (+x n ) and [x 2 0x (,,...,) ], [x 2 0x (2,,...,) ],...,[x 2 0x (2,2,...,2,) ]. Note that, if there are l twos in the superscript (2,..., 2,,..., ), we have [x (2,...,2,,...,) ] = x 2 0x... x n V l (x) where V l (x) = e,...e n {,0, }: e + + e n =l x e xe xen n. We note that V l (x) is just the lth elementary symmetric polynomial in the variables x i + x i and we set V (x) = (V 0 (x), V (x),..., V n (x)).

8 8 CRIS POOR, NATHAN C. RYAN, AND DAVID S. YUEN The generators of Hn,p are related to the generators of Q[x 0, x,..., x n ] Wn in the following Theorem [6], see [2] for a more general statement. Theorem 3.. Let n be a positive integer and p a prime. We have Ω(T (p)) = x 0 ( + x )... ( + x n ). Also, there exists an upper triangular matrix K n (p 2 ) M (n+) (n+) (Z[ p ]) with positive coefficients on and above the diagonal such that Ω ( T n (p 2 ),..., T 0 (p 2 ) ) ( ) = [x 2 0x (,,...,) ], [x 2 0x (2,,...,) ],..., [x 2 0x (2,2,...,2,2) ] K n (p 2 ). The key computational point is that, for n 2, the entries of the matrix K n (p 2 ) have been given by Krieg [4]. For n = 4 the Krieg matrix is given by p 0 0 p 6 p 4 p 0 4p 7 p 6 2p 4 p p 3 p 20 (p 2 )(4p 7 p 6 2p 4 p 2 ) p 20 6p 4 8p 3 +2 p 4 p 3 3p p 8 (+p+p 2 ) (p )(3p 3 p 2 p ) p 6 p 2 p 4 p 2 2(p ) p 3 p p p p For general n, a Maple program that computes K n (p 2 ) may be found at [9]. Definition 3.. For n Z +, define P n M (n+) (n+) (Z) by: (P n ) ij = 0 if i > j or i + j is odd and by (P n ) ij = ( n+ i (j i)/2) if i + j is even. For example, in n = 4, P 4 = Theorem 3.2. Let n 2 and k be positive integers and p a prime. Let F M k n be a simultaneous eigenform of Hn,p with Satake p-parameters (α 0,..., α n ). Write the standard Euler p-factor as If we write Q p (x, X) = ( X) 2n j=0 ( )j k j (x)x j with k j (x) = k 2n j (x). k(x) = (k 0 (x), k (x),..., k n (x)), λ F (p 2 ) = λ F ( Tn (p 2 ), T n (p 2 ),..., T 0 (p 2 ) ),. then the following relations give k(α) as a linear function of λ F (p 2 ): k(α) = V (α)p n and λ F (p 2 ) = p nk n V (α)k n (p 2 ). Proof. We first note the effect of the slash normalization upon the Satake parameters. For any modular form F M k n we have F k T n (p 2 ) = F k pγ n = (p 2 ) nk n det(pi n ) k F = p nk 2 n F. Thus the equality λ F (T n (p 2 )) = p nk 2 n is independent of F. Since T n (p 2 ) = pγ n consists of one coset, we may compute Ω(T n (p 2 )) = p n x 2 0x... x n directly

9 LIFTING PUZZLES IN DEGREE 4 9 from the definition. Therefore, the Satake parameters of an eigenform F satisfy α0α 2... α n = p nk n. In the defining relation of the Krieg matrix, K n (p 2 ), Ω ( T n (p 2 ),..., T 0 (p 2 ) ) ( ) = [x 2 0x (,,...,) ], [x 2 0x (2,,...,) ],..., [x 2 0x (2,2,...,2,2) ] K n (p 2 ), we may substitute the Satake parameters x := α to obtain λ F (p 2 ) = p nk n V (α)k n (p 2 ). The other relation, k(x) = V (x)p n, is combinatorial; for example, when l is even, the coefficient of X l in n i= ( (x i + x i )X + X 2 ) is ( ) ( ) n (l 2) n (l 4) V l (x) + V l 2 (x) + V l 4 (x) With these formulae from the Krieg matrix we may compute the Euler 2-factors in Table 2 from the Hecke eigenvalues in Table. As a check on computations, one may use the following relation. Theorem 3.3. For n 2, the following relation holds in H n,p : T (p) 2 = T 0 (p 2 )+(+p)t (p 2 )+(+p)(+p 2 )T 2 (p 2 )+ +(+p)... (+p n )T n (p 2 ). Proof. This is Proposition 5. in Hafner-Walling [7], rewritten in Andrianov s notation. 4. Computing Duke-Imamoḡlu-Ikeda Lifts Let n, k and (n + k)/2 be even. Let φ S k of φ to I n (φ) S n (n+k)/2 be an eigenform. The Ikeda lift is described in [8]. Let ψ S (k+)/2 (Γ 0 (4)) + be a form corresponding to φ under the Shimura correspondence. (In this paper we always normalize ψ so that the leading coefficient of its Fourier expansion is and thereby give meaning to equations like I 4 (φ 6 ) = 68 G 0. This somewhat arbitrary choice aids the reproduction of our results and the debugging of code.) For a fixed T X n, here is how to calculate the Fourier coefficient a(t ; I n (φ)). For each prime p that divides det(2t ), along with the prime 2, calculate the genus symbol G p of T, see [3]. Using the recursion worked out by Katsurada [0], the polynomial F p corresponding to this genus symbol is computed. We refer the reader to [8] or [0] for the definition of the F p polynomial. We thank O. King for giving us his LISP program that computes F p when the genus symbol G p is given as input, compare [3]. Use the rational function F p (x) = x (deg Fp)/2 F p (p (n+)/2 x) with the property that F p (x ) = F p (x). Define ) b p = p (a(p; (k )/2 φ) + a(p; φ) 2 4p k /2 so that we have ( p (k )/2 b p x)( p (k )/2 b p x) = a(p; φ)x + p k x 2. Let c T = F p (b p ). primes p: p det(2t ) or p=2

10 0 CRIS POOR, NATHAN C. RYAN, AND DAVID S. YUEN Define a function δ : Z \ {0} Z \ {0} by y if y is square free and y mod 4 δ(y) = 4y if y is square free and y mod 4 δ(ȳ) where ȳ is square free and y = l 2 ȳ for some l Z. The Ikeda Fourier coefficient at T is ( ) (k )/4 a(t ; I n (φ)) = a( δ(( ) n/2 det(2t ) det(2t )) ; ψ) c δ(( ) n/2 T. det(2t )) 5. Computing Miyawaki-Ikeda Lifts The Witt maps are given by restriction to the reducible locus, see [22]. Proposition 5.. For i + j = n there are homomorphisms ψij : Sk n S ( ) i k Sk j for Ω 0 ψ ij : H i H j H n defined by ψ ij (Ω, Ω 2 ) =. Furthermore, if n = 2i 0 Ω 2 we have ψii : Sk n Sym ( Si k ) Sk i. The following is essentially due to Ozeki, compare [7]. Proposition 5.2. For all f S k n we have a ( T T 2 ; ψ ijf ) = T X n: π upper i i (T )=T, πlower j j (T )=T2 a(t ; f). The Fourier coefficients of Witt images are typically calculated by the enumeration of T with fixed T and T 2 ; see page 20 of [20] for a specific example. In the next Proposition we use the generators of the ring M 2 = C[E 4, E 6, χ 0, ψ 2 ] given by Igusa. We refer to [20] for the definition of the various eigenforms f i and for the normalization of Fourier coefficients as well. We let root lattices A 4, D 4, etc., stand for any Gram matrix of the corresponding lattice, see [3]. Proposition 5.3. In S 4 4 S 4 2 we have ψ 42I 6 (φ 22 ) = 848 f 9 χ 0 E 4. Here f 9 is the element of a Hecke eigenbasis that is not an Ikeda lift, see [20]. Proof. The space S2 4 is one dimensional, spanned by χ 0 E 4 and determined by the single Fourier coefficient a( 2 A 2). The space S4 4 is three dimensional, spanned by f 9 and two Ikeda lifts I 4 (φ ± 24 ) and determined by the three Fourier coefficients a( 2 D 4), a( 2 A 4) and a( 2 (A A 3 )), see page 24 in [20]. Hence, the element ψ42i 6 (φ 22 ) of S4 4 S2 4 is determined by the first three of the following four Fourier coefficients. The fourth coefficient is redundant but serves as a check. Computing

11 LIFTING PUZZLES IN DEGREE 4 as in Proposition 5.2 we have a ( 2 D 4 2 A 2; ψ 42I 6 (φ 22 ) ) = a( 2 D 4 2 A 2; I 6 (φ 22 )) + 72a( 2 D 6; I 6 (φ 22 )) + 92a( 2 E 6; I 6 (φ 22 )) = (0) + 92() = 3696 = 848(2), a ( 2 A 4 2 A 2; ψ 42I 6 (φ 22 ) ) = a( 2 A 4 2 A 2; I 6 (φ 22 )) + 20a( 2 D 6; I 6 (φ 22 )) + 240a( 2 E 6; I 6 (φ 22 )) + 30a( 2 A 6; I 6 (φ 22 )) = (0) + 240() + 30( 88) = 9240 = 848( 5), a ( 2 (A 2 A 2 ) 2 A 2; ψ 42I 6 (φ 22 ) ) = a( 2 (A 2 A 2 A 2 ); I 6 (φ 22 )) + 432a( 2 D 6; I 6 (φ 22 )) + 252a( 2 E 6; I 6 (φ 22 )) + 26a( 2 A 6; I 6 (φ 22 )) + 24a( 2 D 4 2 A 2; I 6 (φ 22 )) + 36a( 2 A 4 2 A 2; I 6 (φ 22 )) = (0) + 252() + 26( 88) + 24(2784) + 36( 8040) = = 848( 98). a ( 2 (A A 3 ) 2 A 2; ψ 42I 6 (φ 22 ) ) = a( 2 (A A 3 A 2 ); I 6 (φ 22 )) + 264a( 2 D 6; I 6 (φ 22 )) + 288a( 2 E 6; I 6 (φ 22 )) + 96a( 2 A 6; I 6 (φ 22 )) + 90a( 2 D 5 2 A ; I 6 (φ 22 )) + 24a( 2 A 5 2 A ; I 6 (φ 22 )) + 6a( 2 A 3 2 A 3; I 6 (φ 22 )) = (0) + 288() + 96( 88) + 90( 32) + 24(736) + 6(7600) = 5744 = 848(28). The Fourier coefficients a( ; I 6 (φ 22 )) are computed according to section 4. Since a( 2 D 4; f 9 ) = 2, a( 2 A 4; f 9 ) = 5, a( 2 (A 2 A 2 ); f 9 ) = 98 and a( 2 (A A 3 ); f 9 ) = 28, see Table 2 on page 28 of [20], and a( 2 A 2; χ 0 E 4 ) = we have the result. Corollary 5.4. The eigenform f 9 S 4 4 is a Miyawaki lift, namely M 4 (φ 22, χ 0 E 4 ) = 848 χ 0 E 4, χ 0 E 4 f 9. Proof. By definition, we have M 4 (φ 22, χ 0 E 4 ) = ψ42i 6 (φ 22 ), (χ 0 E 4 ) c. Since χ 0 E 4 has Fourier coefficients in Q, a totally real field, we have (χ 0 E 4 ) c = χ 0 E 4. By Proposition 5.3, we conclude ψ42i 6 (φ 22 ), (χ 0 E 4 ) c = 848 f 9 χ 0 E 4, χ 0 E 4 = 848 χ 0 E 4, χ 0 E 4 f 9. A similar but more involved computation gives the following Proposition and Corollary. Since S2 6 is two dimensional, we expect to get two Miyawaki lifts from the Ikeda lift I 6 (φ 26 ) S 6 6. Proposition 5.5. Let ω ± = 48(64368 ± 24γ)/ for γ = In S4 6 S2 6 we have ψ 42I 6 (φ 26 ) = ω h 5 I 2 (φ + 30 ) + ω+ h 6 I 2 (φ 30 ). Corollary 5.6. The eigenforms h 5, h 6 S 6 4 are Miyawaki lifts, M 4 (φ 26, I 2 (φ + 30 )) = ω I 2 (φ + 30 ), I 2(φ + 30 ) h 5 and M 4 (φ 26, I 2 (φ 30 )) = ω+ I 2 (φ 30 ), I 2(φ 30 ) h 6.

12 2 CRIS POOR, NATHAN C. RYAN, AND DAVID S. YUEN 6. Final Remarks Hecke eigenbases of S k 4 for even k 6 were given in [20]. For odd k 6, the S k 4 are trivial, see [4] for some of these results. We survey these standard L-functions in degree 4. The Schottky form J 8 spans S 8 4 and I 4 (J 8 ) = 20 J 8 so that L(J 8, s, st) = ζ(s)l( 2, s + 4)L( 2, s + 5)L( 2, s + 6)L( 2, s + 7). The form G 0 spans S 0 4 and I 4 (φ 6 ) = 68 G 0 so that L(G 0, s, st) = ζ(s)l(φ 6, s + 6)L(φ 6, s + 7)L(φ 6, s + 8)L(φ 6, s + 9). The space S 2 4 = Cf 5 + Cf 6 has M 4 (φ 8, I 2 (φ 22 ))/ I 2 (φ 22 ), I 2 (φ 22 ) = 44f 6 and I 4 (φ 20 ) = 360 f 5. As given by Ikeda [9]: L(f 5, s, st) = ζ(s)l(φ 20, s + 8)L(φ 20, s + 9)L(φ 20, s + 0)L(φ 20, s + ), L(f 6, s, st) = ζ(s)l(φ 8, s + 8)L(φ 8, s + 9)L(φ 22, s + 0)L(φ 22, s + ). The space S 4 4 = Cf 7 +Cf 8 +Cf 9 has M 4 (φ 22, I 2 (φ 26 ))/ I 2 (φ 26 ), I 2 (φ 26 ) = 848 f 9, and the two Ikeda lifts I 4 (φ + 24 ) = 2 f 7 and I 4 (φ 24 ) = 2 f 8. L(f 7, s, st) = ζ(s)l(φ + 24, s + 0)L(φ+ 24, s + )L(φ+ 24, s + 2)L(φ+ 24, s + 3), L(f 8, s, st) = ζ(s)l(φ 24, s + 0)L(φ 24, s + )L(φ 24, s + 2)L(φ 24, s + 3), L(f 9, s, st) = ζ(s)l(φ 22, s + 0)L(φ 22, s + )L(φ 26, s + 2)L(φ 26, s + 3). The L-functions for weight 6, in so far as they are known, were given in the Introduction. Recall that the Euler 2-factor of h 3 is given by ( ( X)Q 2 (φ + 28, 2 4 X)Q 2 (φ + 28, 2 5 X) X X2 + 9 ) 52 X3 + X 4. In the hope of eventually locating this quartic among Euler factors of lower degree, we also give the spinor Euler factor. If ( X) ( X X X3 + X 4) were the standard Euler 2-factor of a degree 2 eigenform of weight k, then the spinor Euler 2-factor would be ± 2 k X + 2 2k X 2 ± 2 3k X k 6 X 4 = ( ± 2 k 8 3(5 2 ± 64)X + 2 2k 3 X 2) ( ± 2 k 8 3(5 2 64)X + 2 2k 3 X 2). Finally, Katsurada has shown that Ikeda lifts have non-ikeda lifts as congruence neighbors when numerators of certain normalized values of L-functions are divisible by large primes. In our examples, we may verify the following: Let O be the ring of integers of Q(β). The eigenvalues of the Ikeda lift h and the non-ikeda lift h 3 have differences λ h3 (T ) λ h (T ) 3O a 5 O a 7 O for T = T (2), T 0 (4), T (4), T 2 (4) and T 3 (4), where a 5 of norm 5 and a 7 of norm 7 are given, respectively, by β and β. We thank H. Katsurada for bringing his work [2] to our attention.

13 LIFTING PUZZLES IN DEGREE 4 3 Table. Hecke eigenvalues for all 7 eigenforms in S 6 4 as given in [20] where β = 8209 and γ = T (2) 2960( β) h T 0 (4) ( β) T (4) ( β) T 2 (4) ( β) 3 T (4) ( β) T (2) 2960( β) T 0 (4) ( β) h 2 T (4) ( β) T 2 (4) ( β) T 3 (4) ( β) T (2) ( β) T 0 (4) ( β) h 3 T (4) ( β) T 2 (4) ( β) T 3 (4) ( β) T (2) ( β) T 0 (4) ( β) h 4 T (4) ( β) T 2 (4) ( β) T 3 (4) ( β) T (2) 75040(557 + γ) T 0 (4) ( γ) h 5 T (4) ( γ) T 2 (4) ( γ) T 3 (4) ( γ) T (2) 75040( γ) T 0 (4) ( γ) h 6 T (4) ( γ) T 2 (4) ( γ) T 3 (4) ( γ) T (2) T 0 (4) h 7 T (4) T 2 (4) T 3 (4) References. A.N. Andrianov, Quadratic Forms and Hecke Operators, Grundlehren Math. Wiss., vol. 286, Springer-Verlag, S. Breulmann and M. Kuss, On a conjecture of Duke-Imamoḡlu, Proc. Amer. Math. Soc. 28 (2000), no. 6,

14 4 CRIS POOR, NATHAN C. RYAN, AND DAVID S. YUEN Table 2. Euler 2-factors Q 2 (h i, X, st)/( X) for the eigenforms h i in Table, where β = 8209 and γ = ( ( β)x 892x 2 ) h ( ( β)x 4096x 2 ) ( ( β)x 2048x 2 ) ( ( β)x 024x 2 ) 2 46 (024 + ( β)x + 892x 2 ) h ( ( β)x x 2 ) 2 ( ( β)x x 2 ) (892 + ( β)x + 024x 2 ) 2 34 ( ( β)x 4096x 2 ) h 3 ( ( β)x ) ( x + 60x x x 4 ) 2 34 ( ( β)x x 2 ) h 4 ( ( β)x ) ( x + 60x x x 4 ) 2 36 ( 52 + (35 + 3γ)x 024x 2 ) h ( (35 + 3γ)x 52x 2 ) 5 (52 + 3x + 256x 2 ) ( x + 52x 2 ) 2 36 (52 + ( γ)x + 024x 2 ) h (024 + ( γ)x + 52x 2 ) 6 (52 + 3x + 256x 2 ) ( x + 52x 2 ) 2 28 ( x 20755x x x 4 ) h 7 ( x 20755x x x 4 ) 3. J. H. Conway and N. J. A. Sloane, Sphere packings, lattices and groups, third ed., Grundlehren Math. Wiss., vol. 290, Springer-Verlag, New York, 999, With additional contributions by E. Bannai, R. E. Borcherds, J. Leech, S. P. Norton, A. M. Odlyzko, R. A. Parker, L. Queen and B. B. Venkov. 4. W. Duke and Ö. Imamoḡlu, Siegel modular forms of small weight, Math. Ann. 30 (998), no., M. Eichler and D. Zagier, The Theory of Jacobi Forms, Progress in Mathematics, vol. 55, Birkhäuser, E. Freitag, Siegelsche Modulfunktionen, Grundlehren Math. Wiss., vol. 254, Springer-Verlag, Berlin, J. L. Hafner and L. H. Walling, Explicit action of Hecke operators on Siegel modular forms, J. Number Theory 93 (2002), no., T. Ikeda, On the lifting of elliptic cusp forms to Siegel cusp forms of degree 2n, Ann. of Math. (2) 54 (200), no. 3, T. Ikeda, Pullback of the lifting of elliptic cusp forms and Miyawaki s conjecture, Duke Math J 3 (2006), no. 3, H. Katsurada, An explicit formula for Siegel series, Amer. J. Math. 2 (999), no. 2,

15 LIFTING PUZZLES IN DEGREE 4 5. H. Katsurada and H. Kawamura, On Ikeda s conjecture on the Period of the Ikeda lift, (preprint). 2., On Ikeda s conjecture on the Period of the Ikeda lift and its application, RIMS Kokyuroku Bessatsu (RIMS Lecture Notes, Extra Volume) (2008), O. D. King, A mass formula for unimodular lattices with no roots, Math. Comp. 72 (2003), no. 242, A. Krieg, Das Vertauschungsgesetz zwischen Hecke-Operatoren und dem Siegelschen φ- Operator, Arch. Math. (Basel) 46 (986), no. 4, N. Kurokawa, Examples of eigenvalues of Hecke operators on Siegel cusp forms of degree two, Invent. Math. 49 (978), no. 2, I. Miyawaki, Numerical examples of Siegel cusp forms of degree 3 and their zeta-functions, Mem. Fac. Sci. Kyushu Univ. Ser. A 46 (992), no. 2, M. Ozeki, On a property of Siegel theta-series, Math. Ann. 228 (977), no. 3, C. Poor and D. S. Yuen, Authors website, math.lfc.edu/ yuen/comp. 9., Authors website, math.lfc.edu/ yuen/puzzles. 20., Computations of spaces of Siegel modular cusp forms, J. Math. Soc. Japan 59 (2007), no., N. C. Ryan and T. R. Shemanske, Inverting the Satake isomorphism for Sp n with Applications to Hecke operators, Ramanujan J. (to appear). 22. E. Witt, Eine Identität zwischen Modulformen zweiten Grades, Abh. Math. Sem. Hansischen Univ. 4 (94), Department of Mathematics, Fordham University, Bronx, NY address: poor@fordham.edu Department of Mathematics, Bucknell University, Lewisburg, PA address: nathan.ryan@bucknell.edu Department of Mathematics and Computer Science, Lake Forest College, 555 N. Sheridan Rd., Lake Forest, IL address: yuen@lakeforest.edu

Sign changes of Hecke eigenvalues of Siegel cusp forms of degree 2

Sign changes of Hecke eigenvalues of Siegel cusp forms of degree 2 Sign changes of Hecke eigenvalues of Siegel cusp forms of degree 2 Ameya Pitale, Ralf Schmidt 2 Abstract Let µ(n), n > 0, be the sequence of Hecke eigenvalues of a cuspidal Siegel eigenform F of degree

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

THE UNIVERSITY OF CHICAGO CLIFFORD ALGEBRAS AND SHIMURA S LIFT FOR THETA-SERIES A DISSERTATION SUBMITTED TO

THE UNIVERSITY OF CHICAGO CLIFFORD ALGEBRAS AND SHIMURA S LIFT FOR THETA-SERIES A DISSERTATION SUBMITTED TO THE UNIVERSITY OF CHICAGO CLIFFORD ALGEBRAS AND SHIMURA S LIFT FOR THETA-SERIES A DISSERTATION SUBMITTED TO THE FACULTY OF THE DIVISION OF THE PHYSICAL SCIENCES IN CANDIDACY FOR THE DEGREE OF DOCTOR OF

More information

7. Some irreducible polynomials

7. Some irreducible polynomials 7. Some irreducible polynomials 7.1 Irreducibles over a finite field 7.2 Worked examples Linear factors x α of a polynomial P (x) with coefficients in a field k correspond precisely to roots α k [1] of

More information

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS John A. Beachy Northern Illinois University 2014 ii J.A.Beachy This is a supplement to Abstract Algebra, Third Edition by John A. Beachy and William D. Blair

More information

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

More information

VECTOR VALUED SIEGEL MODULAR FORMS OF SYMMETRIC TENSOR WEIGHT OF SMALL DEGREES

VECTOR VALUED SIEGEL MODULAR FORMS OF SYMMETRIC TENSOR WEIGHT OF SMALL DEGREES VECTOR VALUED SIEGEL MODULAR FORMS OF SYMMETRIC TENSOR WEIGHT OF SMALL DEGREES TOMOYOSHI IBUKIYAMA 1. Introduction In this paper, we give explicit generators of the module given by the direct sum over

More information

LINEAR ALGEBRA W W L CHEN

LINEAR ALGEBRA W W L CHEN LINEAR ALGEBRA W W L CHEN c W W L Chen, 1997, 2008 This chapter is available free to all individuals, on understanding that it is not to be used for financial gain, and may be downloaded and/or photocopied,

More information

SOME EXAMPLES OF INTEGRAL DEFINITE QUATERNARY QUADRATIC FORMS WITH PRIME DISCRIMINANT KI-ICHIRO HASHIMOTO

SOME EXAMPLES OF INTEGRAL DEFINITE QUATERNARY QUADRATIC FORMS WITH PRIME DISCRIMINANT KI-ICHIRO HASHIMOTO K. Hashimoto Nagoya Math. J. Vol. 77 (1980), 167-175 SOME EXAMPLES OF INTEGRAL DEFINITE QUATERNARY QUADRATIC FORMS WITH PRIME DISCRIMINANT KI-ICHIRO HASHIMOTO Introduction In the theory of integral quadratic

More information

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

More information

Notes on Determinant

Notes on Determinant ENGG2012B Advanced Engineering Mathematics Notes on Determinant Lecturer: Kenneth Shum Lecture 9-18/02/2013 The determinant of a system of linear equations determines whether the solution is unique, without

More information

SIEGEL MODULAR FORMS OF DEGREE THREE AND THE COHOMOLOGY OF LOCAL SYSTEMS

SIEGEL MODULAR FORMS OF DEGREE THREE AND THE COHOMOLOGY OF LOCAL SYSTEMS SIEGEL MODULAR FORMS OF DEGREE THREE AND THE COHOMOLOGY OF LOCAL SYSTEMS JONAS BERGSTRÖM, CAREL FABER, AND GERARD VAN DER GEER To the memory of Torsten Ekedahl Abstract. We give an explicit conjectural

More information

= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that

= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Credit will not be given for answers (even correct ones) without

More information

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V. EROVENKO AND B. SURY ABSTRACT. We compute commutativity degrees of wreath products A B of finite abelian groups A and B. When B

More information

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS Bull Austral Math Soc 77 (2008), 31 36 doi: 101017/S0004972708000038 COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V EROVENKO and B SURY (Received 12 April 2007) Abstract We compute

More information

Similarity and Diagonalization. Similar Matrices

Similarity and Diagonalization. Similar Matrices MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that

More information

Row Ideals and Fibers of Morphisms

Row Ideals and Fibers of Morphisms Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion

More information

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for

More information

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY January 10, 2010 CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY The set of polynomials over a field F is a ring, whose structure shares with the ring of integers many characteristics.

More information

SOLUTIONS TO PROBLEM SET 3

SOLUTIONS TO PROBLEM SET 3 SOLUTIONS TO PROBLEM SET 3 MATTI ÅSTRAND The General Cubic Extension Denote L = k(α 1, α 2, α 3 ), F = k(a 1, a 2, a 3 ) and K = F (α 1 ). The polynomial f(x) = x 3 a 1 x 2 + a 2 x a 3 = (x α 1 )(x α 2

More information

On the representability of the bi-uniform matroid

On the representability of the bi-uniform matroid On the representability of the bi-uniform matroid Simeon Ball, Carles Padró, Zsuzsa Weiner and Chaoping Xing August 3, 2012 Abstract Every bi-uniform matroid is representable over all sufficiently large

More information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

More information

Cyclotomic Extensions

Cyclotomic Extensions Chapter 7 Cyclotomic Extensions A cyclotomic extension Q(ζ n ) of the rationals is formed by adjoining a primitive n th root of unity ζ n. In this chapter, we will find an integral basis and calculate

More information

a 1 x + a 0 =0. (3) ax 2 + bx + c =0. (4)

a 1 x + a 0 =0. (3) ax 2 + bx + c =0. (4) ROOTS OF POLYNOMIAL EQUATIONS In this unit we discuss polynomial equations. A polynomial in x of degree n, where n 0 is an integer, is an expression of the form P n (x) =a n x n + a n 1 x n 1 + + a 1 x

More information

How To Prove The Dirichlet Unit Theorem

How To Prove The Dirichlet Unit Theorem Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

More information

Inner Product Spaces

Inner Product Spaces Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and

More information

it is easy to see that α = a

it is easy to see that α = a 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore

More information

Prime power degree representations of the symmetric and alternating groups

Prime power degree representations of the symmetric and alternating groups Prime power degree representations of the symmetric and alternating groups Antal Balog, Christine Bessenrodt, Jørn B. Olsson, Ken Ono Appearing in the Journal of the London Mathematical Society 1 Introduction

More information

Short Programs for functions on Curves

Short Programs for functions on Curves Short Programs for functions on Curves Victor S. Miller Exploratory Computer Science IBM, Thomas J. Watson Research Center Yorktown Heights, NY 10598 May 6, 1986 Abstract The problem of deducing a function

More information

Prime Numbers and Irreducible Polynomials

Prime Numbers and Irreducible Polynomials Prime Numbers and Irreducible Polynomials M. Ram Murty The similarity between prime numbers and irreducible polynomials has been a dominant theme in the development of number theory and algebraic geometry.

More information

FACTORING AFTER DEDEKIND

FACTORING AFTER DEDEKIND FACTORING AFTER DEDEKIND KEITH CONRAD Let K be a number field and p be a prime number. When we factor (p) = po K into prime ideals, say (p) = p e 1 1 peg g, we refer to the data of the e i s, the exponents

More information

University of Lille I PC first year list of exercises n 7. Review

University of Lille I PC first year list of exercises n 7. Review University of Lille I PC first year list of exercises n 7 Review Exercise Solve the following systems in 4 different ways (by substitution, by the Gauss method, by inverting the matrix of coefficients

More information

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

More information

Introduction to Finite Fields (cont.)

Introduction to Finite Fields (cont.) Chapter 6 Introduction to Finite Fields (cont.) 6.1 Recall Theorem. Z m is a field m is a prime number. Theorem (Subfield Isomorphic to Z p ). Every finite field has the order of a power of a prime number

More information

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2. Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given

More information

by Ben Brubaker, Solomon Friedberg, and Jeffrey Hoffstein Stanford University Boston College Brown University

by Ben Brubaker, Solomon Friedberg, and Jeffrey Hoffstein Stanford University Boston College Brown University CUBIC TWISTS OF GL(2) AUTOMORPHIC L-FUNCTIONS by Ben Brubaker, Solomon Friedberg, and Jeffrey Hoffstein Stanford University Boston College Brown University Draft, November 5, 2003 Abstract. Let K = Q(

More information

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath International Electronic Journal of Algebra Volume 7 (2010) 140-151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December

More information

minimal polyonomial Example

minimal polyonomial Example Minimal Polynomials Definition Let α be an element in GF(p e ). We call the monic polynomial of smallest degree which has coefficients in GF(p) and α as a root, the minimal polyonomial of α. Example: We

More information

EMBEDDING DEGREE OF HYPERELLIPTIC CURVES WITH COMPLEX MULTIPLICATION

EMBEDDING DEGREE OF HYPERELLIPTIC CURVES WITH COMPLEX MULTIPLICATION EMBEDDING DEGREE OF HYPERELLIPTIC CURVES WITH COMPLEX MULTIPLICATION CHRISTIAN ROBENHAGEN RAVNSHØJ Abstract. Consider the Jacobian of a genus two curve defined over a finite field and with complex multiplication.

More information

Finite dimensional C -algebras

Finite dimensional C -algebras Finite dimensional C -algebras S. Sundar September 14, 2012 Throughout H, K stand for finite dimensional Hilbert spaces. 1 Spectral theorem for self-adjoint opertors Let A B(H) and let {ξ 1, ξ 2,, ξ n

More information

BANACH AND HILBERT SPACE REVIEW

BANACH AND HILBERT SPACE REVIEW BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but

More information

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a

More information

Factorization Algorithms for Polynomials over Finite Fields

Factorization Algorithms for Polynomials over Finite Fields Degree Project Factorization Algorithms for Polynomials over Finite Fields Sajid Hanif, Muhammad Imran 2011-05-03 Subject: Mathematics Level: Master Course code: 4MA11E Abstract Integer factorization is

More information

Lecture 18 - Clifford Algebras and Spin groups

Lecture 18 - Clifford Algebras and Spin groups Lecture 18 - Clifford Algebras and Spin groups April 5, 2013 Reference: Lawson and Michelsohn, Spin Geometry. 1 Universal Property If V is a vector space over R or C, let q be any quadratic form, meaning

More information

The van Hoeij Algorithm for Factoring Polynomials

The van Hoeij Algorithm for Factoring Polynomials The van Hoeij Algorithm for Factoring Polynomials Jürgen Klüners Abstract In this survey we report about a new algorithm for factoring polynomials due to Mark van Hoeij. The main idea is that the combinatorial

More information

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS 1. SYSTEMS OF EQUATIONS AND MATRICES 1.1. Representation of a linear system. The general system of m equations in n unknowns can be written a 11 x 1 + a 12 x 2 +

More information

The Characteristic Polynomial

The Characteristic Polynomial Physics 116A Winter 2011 The Characteristic Polynomial 1 Coefficients of the characteristic polynomial Consider the eigenvalue problem for an n n matrix A, A v = λ v, v 0 (1) The solution to this problem

More information

Linear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)

Linear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) MAT067 University of California, Davis Winter 2007 Linear Maps Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) As we have discussed in the lecture on What is Linear Algebra? one of

More information

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a

More information

FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS

FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS Abstract. It is shown that, for any field F R, any ordered vector space structure

More information

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory

More information

Quotient Rings and Field Extensions

Quotient Rings and Field Extensions Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

More information

1 Sets and Set Notation.

1 Sets and Set Notation. LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most

More information

EXERCISES FOR THE COURSE MATH 570, FALL 2010

EXERCISES FOR THE COURSE MATH 570, FALL 2010 EXERCISES FOR THE COURSE MATH 570, FALL 2010 EYAL Z. GOREN (1) Let G be a group and H Z(G) a subgroup such that G/H is cyclic. Prove that G is abelian. Conclude that every group of order p 2 (p a prime

More information

MATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform

MATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform MATH 433/533, Fourier Analysis Section 11, The Discrete Fourier Transform Now, instead of considering functions defined on a continuous domain, like the interval [, 1) or the whole real line R, we wish

More information

SOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE

SOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE SOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE CRISTINA FLAUT and DIANA SAVIN Communicated by the former editorial board In this paper, we study some properties of the matrix representations of the

More information

Topological Algebraic Geometry Workshop Oslo, September 4th-8th, 2006. Spectra associated with Artin-Schreier curves. Doug Ravenel

Topological Algebraic Geometry Workshop Oslo, September 4th-8th, 2006. Spectra associated with Artin-Schreier curves. Doug Ravenel Topological Algebraic Geometry Workshop Oslo, September 4th-8th, 2006 Spectra associated with Artin-Schreier curves Doug Ravenel University of Rochester September 6, 2006 1 2 1. My favorite part of the

More information

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

More information

Let H and J be as in the above lemma. The result of the lemma shows that the integral

Let H and J be as in the above lemma. The result of the lemma shows that the integral Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;

More information

4. Expanding dynamical systems

4. Expanding dynamical systems 4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,

More information

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact

More information

15.062 Data Mining: Algorithms and Applications Matrix Math Review

15.062 Data Mining: Algorithms and Applications Matrix Math Review .6 Data Mining: Algorithms and Applications Matrix Math Review The purpose of this document is to give a brief review of selected linear algebra concepts that will be useful for the course and to develop

More information

GENERATING SETS KEITH CONRAD

GENERATING SETS KEITH CONRAD GENERATING SETS KEITH CONRAD 1 Introduction In R n, every vector can be written as a unique linear combination of the standard basis e 1,, e n A notion weaker than a basis is a spanning set: a set of vectors

More information

CITY UNIVERSITY LONDON. BEng Degree in Computer Systems Engineering Part II BSc Degree in Computer Systems Engineering Part III PART 2 EXAMINATION

CITY UNIVERSITY LONDON. BEng Degree in Computer Systems Engineering Part II BSc Degree in Computer Systems Engineering Part III PART 2 EXAMINATION No: CITY UNIVERSITY LONDON BEng Degree in Computer Systems Engineering Part II BSc Degree in Computer Systems Engineering Part III PART 2 EXAMINATION ENGINEERING MATHEMATICS 2 (resit) EX2005 Date: August

More information

Lecture 4 Cohomological operations on theories of rational type.

Lecture 4 Cohomological operations on theories of rational type. Lecture 4 Cohomological operations on theories of rational type. 4.1 Main Theorem The Main Result which permits to describe operations from a theory of rational type elsewhere is the following: Theorem

More information

Chapter 13: Basic ring theory

Chapter 13: Basic ring theory Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring

More information

Integer Factorization using the Quadratic Sieve

Integer Factorization using the Quadratic Sieve Integer Factorization using the Quadratic Sieve Chad Seibert* Division of Science and Mathematics University of Minnesota, Morris Morris, MN 56567 seib0060@morris.umn.edu March 16, 2011 Abstract We give

More information

Lecture 3: Finding integer solutions to systems of linear equations

Lecture 3: Finding integer solutions to systems of linear equations Lecture 3: Finding integer solutions to systems of linear equations Algorithmic Number Theory (Fall 2014) Rutgers University Swastik Kopparty Scribe: Abhishek Bhrushundi 1 Overview The goal of this lecture

More information

Lecture 13 - Basic Number Theory.

Lecture 13 - Basic Number Theory. Lecture 13 - Basic Number Theory. Boaz Barak March 22, 2010 Divisibility and primes Unless mentioned otherwise throughout this lecture all numbers are non-negative integers. We say that A divides B, denoted

More information

Galois representations with open image

Galois representations with open image Galois representations with open image Ralph Greenberg University of Washington Seattle, Washington, USA May 7th, 2011 Introduction This talk will be about representations of the absolute Galois group

More information

Alex, I will take congruent numbers for one million dollars please

Alex, I will take congruent numbers for one million dollars please Alex, I will take congruent numbers for one million dollars please Jim L. Brown The Ohio State University Columbus, OH 4310 jimlb@math.ohio-state.edu One of the most alluring aspectives of number theory

More information

THE DYING FIBONACCI TREE. 1. Introduction. Consider a tree with two types of nodes, say A and B, and the following properties:

THE DYING FIBONACCI TREE. 1. Introduction. Consider a tree with two types of nodes, say A and B, and the following properties: THE DYING FIBONACCI TREE BERNHARD GITTENBERGER 1. Introduction Consider a tree with two types of nodes, say A and B, and the following properties: 1. Let the root be of type A.. Each node of type A produces

More information

Notes on Factoring. MA 206 Kurt Bryan

Notes on Factoring. MA 206 Kurt Bryan The General Approach Notes on Factoring MA 26 Kurt Bryan Suppose I hand you n, a 2 digit integer and tell you that n is composite, with smallest prime factor around 5 digits. Finding a nontrivial factor

More information

THE NUMBER OF REPRESENTATIONS OF n OF THE FORM n = x 2 2 y, x > 0, y 0

THE NUMBER OF REPRESENTATIONS OF n OF THE FORM n = x 2 2 y, x > 0, y 0 THE NUMBER OF REPRESENTATIONS OF n OF THE FORM n = x 2 2 y, x > 0, y 0 RICHARD J. MATHAR Abstract. We count solutions to the Ramanujan-Nagell equation 2 y +n = x 2 for fixed positive n. The computational

More information

Høgskolen i Narvik Sivilingeniørutdanningen STE6237 ELEMENTMETODER. Oppgaver

Høgskolen i Narvik Sivilingeniørutdanningen STE6237 ELEMENTMETODER. Oppgaver Høgskolen i Narvik Sivilingeniørutdanningen STE637 ELEMENTMETODER Oppgaver Klasse: 4.ID, 4.IT Ekstern Professor: Gregory A. Chechkin e-mail: chechkin@mech.math.msu.su Narvik 6 PART I Task. Consider two-point

More information

The cyclotomic polynomials

The cyclotomic polynomials The cyclotomic polynomials Notes by G.J.O. Jameson 1. The definition and general results We use the notation e(t) = e 2πit. Note that e(n) = 1 for integers n, e(s + t) = e(s)e(t) for all s, t. e( 1 ) =

More information

15. Symmetric polynomials

15. Symmetric polynomials 15. Symmetric polynomials 15.1 The theorem 15.2 First examples 15.3 A variant: discriminants 1. The theorem Let S n be the group of permutations of {1,, n}, also called the symmetric group on n things.

More information

fg = f g. 3.1.1. Ideals. An ideal of R is a nonempty k-subspace I R closed under multiplication by elements of R:

fg = f g. 3.1.1. Ideals. An ideal of R is a nonempty k-subspace I R closed under multiplication by elements of R: 30 3. RINGS, IDEALS, AND GRÖBNER BASES 3.1. Polynomial rings and ideals The main object of study in this section is a polynomial ring in a finite number of variables R = k[x 1,..., x n ], where k is an

More information

Factoring Cubic Polynomials

Factoring Cubic Polynomials Factoring Cubic Polynomials Robert G. Underwood 1. Introduction There are at least two ways in which using the famous Cardano formulas (1545) to factor cubic polynomials present more difficulties than

More information

Section 6.1 - Inner Products and Norms

Section 6.1 - Inner Products and Norms Section 6.1 - Inner Products and Norms Definition. Let V be a vector space over F {R, C}. An inner product on V is a function that assigns, to every ordered pair of vectors x and y in V, a scalar in F,

More information

INVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS

INVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS INVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS NATHAN BROWN, RACHEL FINCK, MATTHEW SPENCER, KRISTOPHER TAPP, AND ZHONGTAO WU Abstract. We classify the left-invariant metrics with nonnegative

More information

Homework until Test #2

Homework until Test #2 MATH31: Number Theory Homework until Test # Philipp BRAUN Section 3.1 page 43, 1. It has been conjectured that there are infinitely many primes of the form n. Exhibit five such primes. Solution. Five such

More information

1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain

1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is

More information

PRIME FACTORS OF CONSECUTIVE INTEGERS

PRIME FACTORS OF CONSECUTIVE INTEGERS PRIME FACTORS OF CONSECUTIVE INTEGERS MARK BAUER AND MICHAEL A. BENNETT Abstract. This note contains a new algorithm for computing a function f(k) introduced by Erdős to measure the minimal gap size in

More information

Factoring of Prime Ideals in Extensions

Factoring of Prime Ideals in Extensions Chapter 4 Factoring of Prime Ideals in Extensions 4. Lifting of Prime Ideals Recall the basic AKLB setup: A is a Dedekind domain with fraction field K, L is a finite, separable extension of K of degree

More information

DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS

DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS ASHER M. KACH, KAREN LANGE, AND REED SOLOMON Abstract. We construct two computable presentations of computable torsion-free abelian groups, one of isomorphism

More information

1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ]

1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ] 1 Homework 1 (1) Prove the ideal (3,x) is a maximal ideal in Z[x]. SOLUTION: Suppose we expand this ideal by including another generator polynomial, P / (3, x). Write P = n + x Q with n an integer not

More information

RESULTANT AND DISCRIMINANT OF POLYNOMIALS

RESULTANT AND DISCRIMINANT OF POLYNOMIALS RESULTANT AND DISCRIMINANT OF POLYNOMIALS SVANTE JANSON Abstract. This is a collection of classical results about resultants and discriminants for polynomials, compiled mainly for my own use. All results

More information

Math 4310 Handout - Quotient Vector Spaces

Math 4310 Handout - Quotient Vector Spaces Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable

More information

Galois Theory III. 3.1. Splitting fields.

Galois Theory III. 3.1. Splitting fields. Galois Theory III. 3.1. Splitting fields. We know how to construct a field extension L of a given field K where a given irreducible polynomial P (X) K[X] has a root. We need a field extension of K where

More information

by the matrix A results in a vector which is a reflection of the given

by the matrix A results in a vector which is a reflection of the given Eigenvalues & Eigenvectors Example Suppose Then So, geometrically, multiplying a vector in by the matrix A results in a vector which is a reflection of the given vector about the y-axis We observe that

More information

On the largest prime factor of x 2 1

On the largest prime factor of x 2 1 On the largest prime factor of x 2 1 Florian Luca and Filip Najman Abstract In this paper, we find all integers x such that x 2 1 has only prime factors smaller than 100. This gives some interesting numerical

More information

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces

More information

1 VECTOR SPACES AND SUBSPACES

1 VECTOR SPACES AND SUBSPACES 1 VECTOR SPACES AND SUBSPACES What is a vector? Many are familiar with the concept of a vector as: Something which has magnitude and direction. an ordered pair or triple. a description for quantities such

More information

On an algorithm for classification of binary self-dual codes with minimum distance four

On an algorithm for classification of binary self-dual codes with minimum distance four Thirteenth International Workshop on Algebraic and Combinatorial Coding Theory June 15-21, 2012, Pomorie, Bulgaria pp. 105 110 On an algorithm for classification of binary self-dual codes with minimum

More information

Section 4.4 Inner Product Spaces

Section 4.4 Inner Product Spaces Section 4.4 Inner Product Spaces In our discussion of vector spaces the specific nature of F as a field, other than the fact that it is a field, has played virtually no role. In this section we no longer

More information

Monogenic Fields and Power Bases Michael Decker 12/07/07

Monogenic Fields and Power Bases Michael Decker 12/07/07 Monogenic Fields and Power Bases Michael Decker 12/07/07 1 Introduction Let K be a number field of degree k and O K its ring of integers Then considering O K as a Z-module, the nicest possible case is

More information

ON TORI TRIANGULATIONS ASSOCIATED WITH TWO-DIMENSIONAL CONTINUED FRACTIONS OF CUBIC IRRATIONALITIES.

ON TORI TRIANGULATIONS ASSOCIATED WITH TWO-DIMENSIONAL CONTINUED FRACTIONS OF CUBIC IRRATIONALITIES. ON TORI TRIANGULATIONS ASSOCIATED WITH TWO-DIMENSIONAL CONTINUED FRACTIONS OF CUBIC IRRATIONALITIES. O. N. KARPENKOV Introduction. A series of properties for ordinary continued fractions possesses multidimensional

More information

Orthogonal Diagonalization of Symmetric Matrices

Orthogonal Diagonalization of Symmetric Matrices MATH10212 Linear Algebra Brief lecture notes 57 Gram Schmidt Process enables us to find an orthogonal basis of a subspace. Let u 1,..., u k be a basis of a subspace V of R n. We begin the process of finding

More information

Invariant Metrics with Nonnegative Curvature on Compact Lie Groups

Invariant Metrics with Nonnegative Curvature on Compact Lie Groups Canad. Math. Bull. Vol. 50 (1), 2007 pp. 24 34 Invariant Metrics with Nonnegative Curvature on Compact Lie Groups Nathan Brown, Rachel Finck, Matthew Spencer, Kristopher Tapp and Zhongtao Wu Abstract.

More information