On the unimodularity of minimal vectors of Humbert forms
|
|
- Gavin Skinner
- 5 years ago
- Views:
Transcription
1 Arch. Math. 83 (2004) X/04/ DOI /s Birkhäuser Verlag, Basel, 2004 Archiv der Mathematik On the unimodularity of minimal vectors of Humbert forms By R. Baeza 1) and M. I. Icaza 2) 1. ummary. If = ( 1,..., m ) is an m-tuple of n n positive definite symmetric real matrices (= Humbert form) and K is a real number field of degree m with ring of integers O K, a vector u OK n is called minimal if [u] = Min{[v] v On K {0}}, where [v] = i [v i ] and v i = i-th conjugate of v. In this note we show that any i Humbert form has a unimodular minimal vector over K if and only if the class number of K is 1. In [2] we introduced a constant M K,n which measures the non-unimodularity of minimal vectors. We estimate here the constant M K,2 in terms of known constants of K. As a by-product we obtain a lower bound for the classical Hermite constant γ 2m. 2. Introduction. Let K/Q be a totally real number field of degree m, with ring of integers O K and discriminant d K. Let h(k) be the class number of K and σ 1,...,σ m : K R the embeddings of K into the real numbers. A Humbert form of rank n over K is an m-tuple = ( 1,..., m ) of n n positive real symmetric matrices 1,..., m ([2]). For any matrix A with entries in K we denote by A (i), the i-th conjugate σ i (A) of A. If u = (u 1,...,u n ) OK n we define the value of at u by [u] = m i [u (i) ], where B[C] means CBC t whenever this product is defined for matrices B and C. The minimum of is defined by m() = min{[u] 0 = u OK n }, and its determinant by det = m det i. We define the generalized Hermite constant of K by γ K,n = sup m()/(det()) 1/n Mathematics ubject Classification (2000): 11H31, 11H55. 1) Partially supported by Proyecto FONDECYT , FONDECYT and Programa de Formas Cuadraticas. Universidad de Talca, Chile. 2) Partially supported by Proyecto FONDECYT , FONDECYT and Programa de Formas Cuadraticas. Universidad de Talca, Chile.
2 Vol. 83, 2004 On the unimodularity of minimal vectors of Humbert forms 529 where runs over all positive definite Humbert forms of rank n (s. [5], [2]). In particular γ Q,n = γ n is the classical Hermite constant. A vector u OK n is called a minimal vector of if [u] = m(). In this paper we are concerned with the unimodularity of minimal vectors. Recall that a vector u = (u 1,...,u n ) OK n is unimodular if u =O K u 1 + +O K u n = O K. If u is a minimal vector of a form, then u is an ideal of minimal norm in its class. Conversely any ideal of minimal norm in its class is of this form for a suitable binary Humbert form (s. 3). In [2] we introduced a constant M K,n which measures the non-unimodulartity of minimal vectors (s. 3 for the definition). We show that M K,n = 1 for all n 2 if and only if h(k) = 1. As a by-product of the proof of this result one obtains a lower bound for γ K,2 which is used in ection 4 to estimate from below γ 2m. In ection 4 we estimate M K,2 in terms of known invariants of the field K and in ection 6 we introduce another obstruction for the unimodularity of minimal vectors of Humbert forms. We would like to thank the referee for simplifying the original proof of Theorem 3.1 and Corollary Unimodularity of minimal vectors. Let us recall the definition of the constant M K,n introduced in [2], which in some sense measures the non-unimodularity of minimal vectors of Humbert forms. For any Humbert form over K of rank n, let M() be the set of minimal vectors. For any u = (u 1,...,u n ) OK n we define the norm of u by N(u) = N K/Q (u i ) u i =0 where N K/Q : K Q is the usual norm. et and N() = inf{n(u) u M()} N[] = inf{n([u]) U GL(n, O K )}, where [U] = ( 1 [U (1) ],..., m [U (m) ]) runs over all equivalent forms to. In [2] it is shown that N[] is bounded above by a constant depending only on K and n, so that we can define the constant M K,n = sup N[] where runs over all Humbert forms over K of rank n. Ifh(K) = 1 it is clear that M K,n = 1 for all n 2 and every form has a unimodular minimal vector. Conversely we have Theorem 3.1. For any totally real number field K the following assertions are equivalent 1. h(k) = 1 2. M K,n = 1 for all n 2
3 530 R. Baeza and M. I. Icaza arch. math. Proof. (2)follows from (1) by the definition of M K,n. To prove the other implication it suffices to show that M K,2 = 1 implies h(k) = 1. Let us assume that h(k) > 1. Let I O K be a non-principal ideal and let J O K be an ideal in its inverse class, i.e., IJ is principal. We consider the O K -lattice = Ie 1 Je 2 K 2 where e 1 = (1, 0) t,e 2 ( = (0, 1) ) t is the standard basis and where K is equipped with the standard quadratic form. 0 1 One associates to a Humbert form as follows. The lattice is free since IJ is principal, so we have = O K e O K f with e = (x 1,x 2 ) t,f = (y 1,y 2 ) t. Then I = x 1,y 1, J = x 2,y 2. Let be the Gram matrix of the quadratic form with respect to this basis and I = ( (1),..., (m) ) be the associated Humbert form. Then it follows that the minimum of I is m( I ) = N(α) 2 where α I or α J is of minimal norm among all β I J,β = 0 and the only minimal vectors of I are of the form αe 1 or αe 2. Assume α I and set αe 1 = a 1 e + a 2 f with a 1,a 2 O K. Then (a 1,a 2 ) OK 2 is a typical minimal vector of I. From α = a 1 x 1 + a 2 y 1, 0 = a 1 x 2 + a 2 y 2 it follows that (a 1,a 2 ) is not unimodular. This implies that I has no unimodular minimal vectors and hence M K,2 > 1. This proves the theorem. As a by-product of the above proof one obtains a lower bound for the generalized Hermite constant γ K,2 of K in the case h(k) > 1. Take I O K to be any non-principal ideal of minimal norm in its class and let J O K be an ideal of minimal norm in the inverse class of I. Then in the construction of the proof of the above theorem, the element α is now in I as well as in IJ. Therefore m( I ) = N(α) 2 N(I) 2 N(J) 2 and since det I = N(det ) = N(I) 2 N(J) 2, we obtain γ K,2 m( I ) N(I)N(J) 2N(I). (det I ) 1/2 If N(K)denotes the maximum of all N(I)where I runs over the ideals of minimal norm in its class, we get Corollary 3.2. If K is a (real) number field with h(k) > 1, then γ K,2 2N(K). For example, for K = Q( 10) we know that N(K) = 2. Therefore γ Q( 10),2 4. The constant N(K) seems to be very difficult to compute. We refer to [1] for some estimates. 4. A lower bound for γ 2m. In this section we will use (3.2) and an idea of H. Cohn (s. [3]) to get a lower bound for the classical Hermite constant γ 2m. Take any (real) number field K of degree m. We assume K to be real just to simplify the notations. Let = ( 1,..., m ) be a Humbert form of rank n over K. For any u = (u 1,...,u n ) OK n,u = 0, we get using the arithmetic geometric inequality [ 1 m m m i [u ]] (i) m i [u (i) ]
4 Vol. 83, 2004 On the unimodularity of minimal vectors of Humbert forms 531 and hence m m [m()] m 1 i [u (i) ]. Let us fix a Z-basis {w 1,...,w m } of O K. Then each component u i O K can be written u i = m x ik w k with x ik Z. et X = (x ik ) M n,m (Z). With w = (w 1,...,w m ) we k=1 have u t = Xw t and hence u = wx t. For each 1 j m, we obtain u (j) = w (j) X t, where w (j) = (w (j) 1,...,w(j) m ). Then the sum m i [u (i) ] seen as a quadratic form in the variables {x ik } is of rank mn and is given by Q(X) = m w (i) X t i Xw (i)t. Let m(q) be the minimum of Q(X) taken over all X M n,m (Z), X = 0. We have m[m()] 1 m m(q) and therefore m[m()] 1 m γmn (detq) 1 mn by the classical Hermite inequality (s. [11]). Thus we are led to compute det Q. To this end we now describe the lattice in R mn determined by the quadratic form Q(X). We start with the isomorphism φ : K Q R R m given by φ(a λ) = (λσ 1 (a),...,λσ m (a)) where σ i : K R are the embeddings of K in R. We denote K Q R by R K. WehaveinR K the sublattice O K R K given by the embedding a a 1. This lattice in R m has volume d K 1/2.φgives then an isomorphism R m K Rmn = (R n ) m. Write the Humbert form = ( 1,..., m ) as = AA t = (A 1 A t 1,...,A ma t m ) with A = (A 1,...,A m ) (GL n (R)) m and define = Aφ(OK n ) Rmn. Then is the lattice associated to Q, and (and hence Q) has discriminant det(a) 2 d K n = det d K n. Inserting this in Hermite s inequality it follows m[m()] 1 m γmn (det ) 1 mn ( dk ) 1 m and this implies γ K () = m() (det ) n 1 m m γ m mn d K. We have thus shown
5 532 R. Baeza and M. I. Icaza arch. math. Theorem 4.1. For any (real) number field K of degree m, and for any n 1 it holds γ K,n m m γ m mn d K. Remark 4.2. This result is essentially due to H. Cohn. In the case h(k) = 1ithas also been obtained using other methods by T. Watanabe (s. [9]). Combining (4.1) with (3.2) we conclude Corollary 4.3. For any (real) number field K with h(k) > 1 and m = [K : Q], [ ] 1 2N(K) m γ 2m m. d K Remark 4.4. The special feature of the above lower bound for γ 2m is that it is obtained by purely arithmetical arguments. By the contrary, the well known Hlawka-Minkowski bound for γ n, i.e. γ n [ ] 2 2ζ(n) n,n 1, w n is obtained by analytical considerations ([11]). Let us compare both bounds for the special case m = 2, i.e., for γ 4. The bound in (4.3) allows us to use any quadratic real number field with h(k) > 1. Take for example K = Q( 10). Then d K = 40 N(K) = 2. Thus we obtain γ On the other hand the H-M bound gives γ In fact we can prove that (4.3) holds true also for non real number fields. 5. An estimate of M K,2. In this section we will estimate M K,2 in terms of known constants of the the field K. To this end we need the following explicit description of M K,2. Proposition 5.1. Let K be any (real) number field. Then M K,2 = sup[ inf N((α, β))] I I= α,β where I runs over all ideals of minimal norm in its class. Proof. Wemayassume h(k) > 1. For any binary Humbert form over K we have N[] = inf ( inf N(u)). Hence there is some T [] and u M(T) with N[] = T [] u M(T) N(u). et I = u. In particular I has minimal norm among the ideals in its class. If I = v,v OK 2, there is some U GL(2, O K) with U[u] = v and hence v M(T[U]). ince T [U] [], we get by the choice of u, that N(u) N(v). In particular N(u) = inf v =I N(v)
6 Vol. 83, 2004 On the unimodularity of minimal vectors of Humbert forms 533 therefore N[] sup[ inf N(v)] I v =I where I runs over all ideals of minimal norm in its class. ince the right hand side of this inequality does not depend on, we obtain M K,2 = sup N[] sup( inf N(v)). I v =I Conversely let [I] be any ideal class and let I 1,...,I m be all ideals in [I] of minimal norm. et n(i i ) = inf N(u) and choose I 1 = I such that n(i 1 ) n(i i ),1 i m. u =I i Let I = u, u = (α, β) OK 2 such that n(i 1) = N(u). We can construct a Humbert form with ( α, β) M()and any other vector (x, y) M()satisfies βx+αy = 0 (s. proof of (3.1)). It is easy to check that (x, y) has the same norm as u. For any T [], say T = [U], the minimal vectors of T and correspond to each other through the transformation U, thus they generate the same ideals, and in particular they are equivalent to I. Thus by the choice of I and u we have N[] = N() = n(i). Hence N[] = sup [ inf N(v)]. Let us now 1 i m v =I i consider all the ideal classes [I] 1,...,[I] h of K and let i, be the corresponding Humbert forms associated to each class as before. Then we have sup N[ i ] = sup( inf N(v)), 1 i h I v =I where I runs over all ideals of minimal norm in its class. Thus we get M K,2 = sup N[] sup 1 i n This concludes the proof of the proposition. N[ i ] = sup( inf N(v)). I v =I We use now this formula to estimate M K,2 from above. To this end let us recall the following result due to Rieger([10]): any ideal I O K admits generators α, β (of any given signature) with N(α) < c m d K N(I), N(β) < c 2 m d K 1/2 N(I), where c m is a (computable) constant depending only on m = [K : Q]. Inserting in (5.1) the above inequalities and using Minkowski s bound for N(I)(s. [8]) we obtain Corollary 5.2. For any number field K M K,2 cm 3 m! m m d K 2 5. ince we are only interested in the case h(k) > 1, one can use also the inequality (4.3) instead of Minkowki s bound, and we get Corollary 5.3. If h(k) > 1 then 4N(K) 2 M K,2 cm 3 γ2m 2m 4m 2m d K 2 7. The inequality on the left hand side follows from (5.1) and the fact that N(I) divides the norm of any element γ I, and since we may take I non principal in (5.1), we have 2N(I) N(γ) for any γ I, γ = 0.
7 534 R. Baeza and M. I. Icaza arch. math. 6. Another obstruction for unimodularity of minimal vectors. Let us define the proper minimum of a Humbert form of rank n over the number field K as m () = min{[u] u O n K,uunimodular}. Of course m() m () and there is a unimodular u O n K with m () = [u]. We will show in this section that the number U K,n := sup m () m() exists, where runs over all Humbert forms of K of rank n. Hence we can define the proper Hermite constant of K, γk,n = sup m () and we obtain γ (det ) 1/n K,n γk,n U K,nγ K,n. All this follows from Theorem 6.1. Let K/Q be a (real) number field. Then for any Humbert form over K of rank n there exists a unimodular vector u O n K with [u] u K,n m(), where u K,n is a constant depending only on K and n. Proof. For any n n matrix A M n (K) with det A = 0, set A =max{ A (i), 1 i m} and l(a) = min{l(a (i) ), 1 i m}, where for any real B GL(n, R), B denotes the usual norm and l(b) = B 1 1 (s.[l-t]). ince is a Humbert form there is some B = (B 1,...,B m ) GL(n, R) m such that = BB t = (B 1 B1 t,...,b mbm t ). Then for any x K n [x] = m x (i) B i 2 and [A][x] = m x (i) A (i) B i 2. Using standard norm estimates we obtain l(a) 2m [x] [A][x] A 2m [x]. Therefore l(a) 2m m() m([a]) A 2m m(). We now use Humbert s reduction theory (s. [4]). It states that for any Humbert form there is a U GL(n, U) with [U] R K,n, where R K,n is the cone of Humbert reduced forms. Moreover there exists a finite set {A 1,...,A t } of non-singular n n-matrices over K, depending only on K and n, such that for any R R K,n there is 1 i t such that e = (1,...0) is a minimal vector of R[A i ]. Thus, let us take U GL(n, O K ) with 0 = [U] R K,n and let 1 i n be such that e is a minimal vector of 0 [A i ]. Let A = A i. Then m( 0 [A]) = 0 [A][e] and hence A 2m m() 0 [A][e]. Let a K,n = max{ A i 2m, 1 i t} and b K,n = inf{l(a i ) 2m, 1 i t} constants depending only on K and n. We get m m a K,n m() o [A][e] = oi [A (i) ][e] l(a (i) ) 2 oi [e] b K,n o [e]. From 0 = [U] we obtain 0 [e] = [u] with u = Ue OK n unimodular. Thus we have a K,n m() b K,n [u] and this proves the claim with u K,n = a K,n bk,n 1. It would be interesting to compare both constants M K,n and U K,n. We do not know of any estimate of U K,n.
8 Vol. 83, 2004 On the unimodularity of minimal vectors of Humbert forms 535 References [1] E. A. Anfer eva and N. G. Chudakov, Effective estimates from below of the norm of ideals of an imaginary quadratic field. Mat. UR b. 11, no 1, (1970). [2] R. Baeza and M. I. Icaza, On Humbert-Minkowski s constant for a number field. Proc. Amer. Math. oc. 125, (1997). [3] H. Cohn, On the shape of the fundamental domain of the Hilbert modular group. Theory of numbers. A. L. Whiteman, ed., Proc. ymp. Pure Math. 8, (1965). [4] P. Humbert, Théorie de la reduction des formes quadratiques définies positives dans un corps algébrique K fini. Comm. Math. Helv. 12, (1940). [5] M. I. Icaza, Hermite constant and extreme forms for algebraic number fields. J. London Math. oc. 55, (1997). [6] P. Lancaster and M. Tismenetsky, The theory of matrices, 2nd. Ed [7] J. Martinet, Perfect lattices in Euclidean spaces. Grundlehren Math. Wiss. 327, [8] W. Narkievicz, Elementary and analytic theory of algebraic numbers, 2nd. Ed [9]. Ohno and T. Watanabe, Estimates of Hermite constants for algebraic number fields. Comm. Math. Univ. t. Paul. 50 (1), (2001). [10] G. J. Rieger, Einige ätze über Ideale in algebraischen Zahlkörpern. Math. Ann. 136, (1958). [11] C. L. iegel, Lectures on the geometry of numbers R. Baeza and M. I. Icaza Instituto de Matemáticas Universidad de Talca Casilla 721 Talca Chile rbaeza@inst-mat.utalca.cl icazap@inst-mat.utalca.cl Received: 28 November 2003; revised manuscript accepted: 13 April 2004
On the computation of Hermite-Humbert constants for real quadratic number fields
Journal de Théorie des Nombres de Bordeaux 00 XXXX 000 000 On the computation of Hermite-Humbert constants for real quadratic number fields par Marcus WAGNER et Michael E POHST Abstract We present algorithms
More informationHERMITE CONSTANT AND EXTREME FORMS FOR ALGEBRAIC NUMBER FIELDS
HERMITE CONSTANT AND EXTREME FORMS FOR ALGEBRAIC NUMBER FIELDS M I ICAZA 1 Introduction In this paper we consider a generalization to algebraic number fields of the classical Hermite constant γ n For this
More informationHermitian modular forms congruent to 1 modulo p.
Hermitian modular forms congruent to 1 modulo p. arxiv:0810.5310v1 [math.nt] 29 Oct 2008 Michael Hentschel Lehrstuhl A für Mathematik, RWTH Aachen University, 52056 Aachen, Germany, hentschel@matha.rwth-aachen.de
More informationMATH 323 Linear Algebra Lecture 6: Matrix algebra (continued). Determinants.
MATH 323 Linear Algebra Lecture 6: Matrix algebra (continued). Determinants. Elementary matrices Theorem 1 Any elementary row operation σ on matrices with n rows can be simulated as left multiplication
More informationc ij x i x j c ij x i y j
Math 48A. Class groups for imaginary quadratic fields In general it is a very difficult problem to determine the class number of a number field, let alone the structure of its class group. However, in
More information1: Introduction to Lattices
CSE 206A: Lattice Algorithms and Applications Winter 2012 Instructor: Daniele Micciancio 1: Introduction to Lattices UCSD CSE Lattices are regular arrangements of points in Euclidean space. The simplest
More informationMATRICES. a m,1 a m,n A =
MATRICES Matrices are rectangular arrays of real or complex numbers With them, we define arithmetic operations that are generalizations of those for real and complex numbers The general form a matrix of
More informationAbsolutely indecomposable symmetric matrices
Journal of Pure and Applied Algebra 174 (2002) 83 93 wwwelseviercom/locate/jpaa Absolutely indecomposable symmetric matrices Hans A Keller a; ;1, A Herminia Ochsenius b;1 a Hochschule Technik+Architektur
More informationHASSE-MINKOWSKI THEOREM
HASSE-MINKOWSKI THEOREM KIM, SUNGJIN 1. Introduction In rough terms, a local-global principle is a statement that asserts that a certain property is true globally if and only if it is true everywhere locally.
More informationON ASSOUAD S EMBEDDING TECHNIQUE
ON ASSOUAD S EMBEDDING TECHNIQUE MICHAL KRAUS Abstract. We survey the standard proof of a theorem of Assouad stating that every snowflaked version of a doubling metric space admits a bi-lipschitz embedding
More informationExplicit Methods in Algebraic Number Theory
Explicit Methods in Algebraic Number Theory Amalia Pizarro Madariaga Instituto de Matemáticas Universidad de Valparaíso, Chile amaliapizarro@uvcl 1 Lecture 1 11 Number fields and ring of integers Algebraic
More informationarxiv: v1 [math.ra] 10 Nov 2018
arxiv:1811.04243v1 [math.ra] 10 Nov 2018 BURNSIDE S THEOREM IN THE SETTING OF GENERAL FIELDS HEYDAR RADJAVI AND BAMDAD R. YAHAGHI Abstract. We extend a well-known theorem of Burnside in the setting of
More informationSTRUCTURE THEORY OF UNIMODULAR LATTICES
STRUCTURE THEORY OF UNIMODULAR LATTICES TONY FENG 1 Unimodular Lattices 11 Definitions Let E be a lattice, by which we mean a free abelian group equipped with a symmetric bilinear form, : E E Z Definition
More informationA Note on Projecting the Cubic Lattice
A Note on Projecting the Cubic Lattice N J A Sloane (a), Vinay A Vaishampayan, AT&T Shannon Labs, 180 Park Avenue, Florham Park, NJ 07932-0971, USA and Sueli I R Costa, University of Campinas, Campinas,
More informationAlgebraic integers of small discriminant
ACTA ARITHMETICA LXXV.4 (1996) Algebraic integers of small discriminant by Jeffrey Lin Thunder and John Wolfskill (DeKalb, Ill.) Introduction. For an algebraic integer α generating a number field K = Q(α),
More informationLattice Packing from Quaternion Algebras
RIMS ôkyûroku Bessatsu B3 (01), 9 37 Lattice Packing from Quaternion Algebras By Fang-Ting Tu and Yifan Yang Abstract In this paper, we will discuss ideal lattices from a definite quaternion algebra, which
More informationPOSITIVE DEFINITE n-regular QUADRATIC FORMS
POSITIVE DEFINITE n-regular QUADRATIC FORMS BYEONG-KWEON OH Abstract. A positive definite integral quadratic form f is called n- regular if f represents every quadratic form of rank n that is represented
More informationMath 240 Calculus III
The Calculus III Summer 2015, Session II Wednesday, July 8, 2015 Agenda 1. of the determinant 2. determinants 3. of determinants What is the determinant? Yesterday: Ax = b has a unique solution when A
More informationERIC LARSON AND LARRY ROLEN
PROGRESS TOWARDS COUNTING D 5 QUINTIC FIELDS ERIC LARSON AND LARRY ROLEN Abstract. Let N5, D 5, X) be the number of quintic number fields whose Galois closure has Galois group D 5 and whose discriminant
More informationThe cancellable range of rings
Arch. Math. 85 (2005) 327 334 0003 889X/05/040327 08 DOI 10.1007/s00013-005-1363-5 Birkhäuser Verlag, Basel, 2005 Archiv der Mathematik The cancellable range of rings By Hongbo Zhang and Wenting Tong Abstract.
More informationAssignment 12. O = O ij O kj = O kj O ij. δ ik = O ij
Assignment 12 Arfken 4.1.1 Show that the group of n n orthogonal matrices On has nn 1/2 independent parameters. First we need to realize that a general orthogonal matrix, O, has n 2 elements or parameters,
More informationA SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS
A SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS STEPHAN EHLEN 1. Modular curves and Heegner Points The modular curve Y (1) = Γ\H with Γ = Γ(1) = SL (Z) classifies the equivalence
More information(IV.C) UNITS IN QUADRATIC NUMBER RINGS
(IV.C) UNITS IN QUADRATIC NUMBER RINGS Let d Z be non-square, K = Q( d). (That is, d = e f with f squarefree, and K = Q( f ).) For α = a + b d K, N K (α) = α α = a b d Q. If d, take S := Z[ [ ] d] or Z
More informationAlgebraic number theory
Algebraic number theory F.Beukers February 2011 1 Algebraic Number Theory, a crash course 1.1 Number fields Let K be a field which contains Q. Then K is a Q-vector space. We call K a number field if dim
More informationLecture 2: Lattices and Bases
CSE 206A: Lattice Algorithms and Applications Spring 2007 Lecture 2: Lattices and Bases Lecturer: Daniele Micciancio Scribe: Daniele Micciancio Motivated by the many applications described in the first
More informationOn finite elements in vector lattices and Banach lattices
Math. Nachr. 279, No. 5 6, 495 501 (2006) / DOI 10.1002/mana.200410374 On finite elements in vector lattices and Banach lattices Z. L. Chen 1 and M. R. Weber 2 1 Department of Mathematics, Southwest Jiaotong
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/32076 holds various files of this Leiden University dissertation Author: Junjiang Liu Title: On p-adic decomposable form inequalities Issue Date: 2015-03-05
More informationBanach Journal of Mathematical Analysis ISSN: (electronic)
Banach J. Math. Anal. 6 (2012), no. 1, 139 146 Banach Journal of Mathematical Analysis ISSN: 1735-8787 (electronic) www.emis.de/journals/bjma/ AN EXTENSION OF KY FAN S DOMINANCE THEOREM RAHIM ALIZADEH
More informationTHE UNREASONABLE SLIGHTNESS OF E 2 OVER IMAGINARY QUADRATIC RINGS
THE UNREASONABLE SLIGHTNESS OF E 2 OVER IMAGINARY QUADRATIC RINGS BOGDAN NICA ABSTRACT. It is almost always the case that the elementary matrices generate the special linear group SL n over a ring of integers
More informationIntegral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract
Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract Let F be a field, M n (F ) the algebra of n n matrices over F and
More informationIN AN ALGEBRA OF OPERATORS
Bull. Korean Math. Soc. 54 (2017), No. 2, pp. 443 454 https://doi.org/10.4134/bkms.b160011 pissn: 1015-8634 / eissn: 2234-3016 q-frequent HYPERCYCLICITY IN AN ALGEBRA OF OPERATORS Jaeseong Heo, Eunsang
More informationIdeal class groups of cyclotomic number fields I
ACTA ARITHMETICA XXII.4 (1995) Ideal class groups of cyclotomic number fields I by Franz emmermeyer (Heidelberg) 1. Notation. et K be number fields; we will use the following notation: O K is the ring
More informationDISCRETE SUBGROUPS, LATTICES, AND UNITS.
DISCRETE SUBGROUPS, LATTICES, AND UNITS. IAN KIMING 1. Discrete subgroups of real vector spaces and lattices. Definitions: A lattice in a real vector space V of dimension d is a subgroup of form: Zv 1
More informationBricklaying and the Hermite Normal Form
Bricklaying and the Hermite Normal Form William J. Gilbert Pure Mathematics Department University of Waterloo Waterloo, Ontario Canada N2L 3G1 AMS Classifications: Primary: 15A36 Appeared in the American
More information1. General Vector Spaces
1.1. Vector space axioms. 1. General Vector Spaces Definition 1.1. Let V be a nonempty set of objects on which the operations of addition and scalar multiplication are defined. By addition we mean a rule
More informationNew aspects on square roots of a real 2 2 matrix and their geometric applications
MATHEMATICAL SCIENCES AND APPLICATIONS E-NOTES X (X 1-6 (018 c MSAEN New aspects on square roots of a real matrix and their geometric applications Mircea Crasmareanu*, Andrei Plugariu (Communicated by
More informationQuintic Functional Equations in Non-Archimedean Normed Spaces
Journal of Mathematical Extension Vol. 9, No., (205), 5-63 ISSN: 735-8299 URL: http://www.ijmex.com Quintic Functional Equations in Non-Archimedean Normed Spaces A. Bodaghi Garmsar Branch, Islamic Azad
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationCSE 206A: Lattice Algorithms and Applications Winter The dual lattice. Instructor: Daniele Micciancio
CSE 206A: Lattice Algorithms and Applications Winter 2016 The dual lattice Instructor: Daniele Micciancio UCSD CSE 1 Dual Lattice and Dual Basis Definition 1 The dual of a lattice Λ is the set ˆΛ of all
More informationNOTES on LINEAR ALGEBRA 1
School of Economics, Management and Statistics University of Bologna Academic Year 207/8 NOTES on LINEAR ALGEBRA for the students of Stats and Maths This is a modified version of the notes by Prof Laura
More informationOn the existence of unramified p-extensions with prescribed Galois group. Osaka Journal of Mathematics. 47(4) P P.1165
Title Author(s) Citation On the existence of unramified p-extensions with prescribed Galois group Nomura, Akito Osaka Journal of Mathematics. 47(4) P.1159- P.1165 Issue Date 2010-12 Text Version publisher
More informationarxiv: v1 [math.ag] 19 Oct 2016
Reflective anisotropic hyperbolic lattices of rank 4 Bogachev N.V. a a Department of Mathematics and Mechanics, Lomonosov Moscow State University, 119991 Leninskie Gory, Moscow, Russia arxiv:1610.06148v1
More informationarxiv: v1 [math.nt] 20 Nov 2017
REDUCED IDEALS FROM THE REDUCTION ALGORITHM HA THANH NGUYEN TRAN arxiv:171107573v1 [mathnt] 20 Nov 2017 Abstract The reduction algorithm is used to compute reduced ideals of a number field However, there
More information2-UNIVERSAL POSITIVE DEFINITE INTEGRAL QUINARY DIAGONAL QUADRATIC FORMS
2-UNIVERSAL POSITIVE DEFINITE INTEGRAL QUINARY DIAGONAL QUADRATIC FORMS B.M. Kim 1, Myung-Hwan Kim 2, and S. Raghavan 3, 1 Dept. of Math., Kangnung Nat l Univ., Kangwondo 210-702, Korea 2 Dept. of Math.,
More informationShort multipliers for the extended gcd problem
Short multipliers for the extended gcd problem Keith Matthews Abstract For given non zero integers s 1,, s m, the problem of finding integers a 1,, a m satisfying s = gcd (s 1,, s m ) = a 1 s 1 + + a m
More informationMINKOWSKI THEORY AND THE CLASS NUMBER
MINKOWSKI THEORY AND THE CLASS NUMBER BROOKE ULLERY Abstract. This paper gives a basic introduction to Minkowski Theory and the class group, leading up to a proof that the class number (the order of the
More informationMath Linear Algebra II. 1. Inner Products and Norms
Math 342 - Linear Algebra II Notes 1. Inner Products and Norms One knows from a basic introduction to vectors in R n Math 254 at OSU) that the length of a vector x = x 1 x 2... x n ) T R n, denoted x,
More informationSMALL REPRESENTATIONS OF INTEGERS BY INTEGRAL QUADRATIC FORMS arxiv: v1 [math.nt] 12 Mar 2019
SMALL REPRESENTATIONS OF INTEGERS BY INTEGRAL QUADRATIC FORMS arxiv:1903.05123v1 [math.nt] 12 Mar 2019 WAI KIU CHAN AND LENNY FUKSHANSKY Abstract. Given an isotropic quadratic form over a number field
More informationOn the Generalised Hermite Constants
On the Generalised Hermite Constants NTU SPMS-MAS Seminar Bertrand MEYER IMB Bordeaux Singapore, July 10th, 2009 B. Meyer (IMB) Hermite constants Jul 10th 2009 1 / 35 Outline 1 Introduction 2 The generalised
More informationShort proofs of the universality of certain diagonal quadratic forms
Arch. Math. 91 (008), 44 48 c 008 Birkhäuser Verlag Basel/Switzerland 0003/889X/010044-5, published online 008-06-5 DOI 10.1007/s00013-008-637-5 Archiv der Mathematik Short proofs of the universality of
More informationHILBERT BASIS OF THE LIPMAN SEMIGROUP
Available at: http://publications.ictp.it IC/2010/061 United Nations Educational, Scientific and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL
More informationEUCLIDEAN QUADRATIC FORMS AND ADC-FORMS: I
EUCLIDEAN QUADRATIC FORMS AND ADC-FORMS: I PETE L. CLARK Abstract. A classical result of Aubry, Davenport and Cassels gives conditions for an integral quadratic form to integrally represent every integer
More informationRigid/Flexible Dynamics Problems and Exercises Math 275 Harvard University Fall 2006 C. McMullen
Rigid/Flexible Dynamics Problems and Exercises Math 275 Harvard University Fall 2006 C. McMullen 1. Give necessary and sufficent conditions on T = ( a b c d) GL2 (C) such that T is in U(1,1), i.e. such
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationMATH FINAL EXAM REVIEW HINTS
MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any
More informationThe following two problems were posed by de Caen [4] (see also [6]):
BINARY RANKS AND BINARY FACTORIZATIONS OF NONNEGATIVE INTEGER MATRICES JIN ZHONG Abstract A matrix is binary if each of its entries is either or The binary rank of a nonnegative integer matrix A is the
More informationMyung-Hwan Kim and Byeong-Kweon Oh. Department of Mathematics, Seoul National University, Seoul , Korea
REPRESENTATIONS OF POSITIVE DEFINITE SENARY INTEGRAL QUADRATIC FORMS BY A SUM OF SQUARES Myung-Hwan Kim and Byeong-Kweon Oh Department of Mathematics Seoul National University Seoul 151-742 Korea Abstract.
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationarxiv: v1 [math.ac] 7 Feb 2009
MIXED MULTIPLICITIES OF MULTI-GRADED ALGEBRAS OVER NOETHERIAN LOCAL RINGS arxiv:0902.1240v1 [math.ac] 7 Feb 2009 Duong Quoc Viet and Truong Thi Hong Thanh Department of Mathematics, Hanoi University of
More informationarxiv: v1 [math.gr] 8 Dec 2014
A TRUE RELATIVE OF SUSLIN S NORMALITY THEOREM arxiv:1412.2467v1 [math.gr] 8 Dec 2014 BOGDAN NICA ABSTRACT. We prove a normality theorem for the true elementary subgroups of SL n A) defined by the ideals
More informationACI-matrices all of whose completions have the same rank
ACI-matrices all of whose completions have the same rank Zejun Huang, Xingzhi Zhan Department of Mathematics East China Normal University Shanghai 200241, China Abstract We characterize the ACI-matrices
More informationarxiv: v1 [math.nt] 15 Mar 2012
ON ZAGIER S CONJECTURE FOR L(E, 2): A NUMBER FIELD EXAMPLE arxiv:1203.3429v1 [math.nt] 15 Mar 2012 JEFFREY STOPPLE ABSTRACT. We work out an example, for a CM elliptic curve E defined over a real quadratic
More informationON OPERATORS WITH AN ABSOLUTE VALUE CONDITION. In Ho Jeon and B. P. Duggal. 1. Introduction
J. Korean Math. Soc. 41 (2004), No. 4, pp. 617 627 ON OPERATORS WITH AN ABSOLUTE VALUE CONDITION In Ho Jeon and B. P. Duggal Abstract. Let A denote the class of bounded linear Hilbert space operators with
More informationSELF-DUAL HOPF QUIVERS
Communications in Algebra, 33: 4505 4514, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500274846 SELF-DUAL HOPF QUIVERS Hua-Lin Huang Department of
More informationCSE 206A: Lattice Algorithms and Applications Spring Minkowski s theorem. Instructor: Daniele Micciancio
CSE 206A: Lattice Algorithms and Applications Spring 2014 Minkowski s theorem Instructor: Daniele Micciancio UCSD CSE There are many important quantities associated to a lattice. Some of them, like the
More informationChapter 5 Eigenvalues and Eigenvectors
Chapter 5 Eigenvalues and Eigenvectors Outline 5.1 Eigenvalues and Eigenvectors 5.2 Diagonalization 5.3 Complex Vector Spaces 2 5.1 Eigenvalues and Eigenvectors Eigenvalue and Eigenvector If A is a n n
More informationZero-Divisor Graph of Triangular Matrix Rings over Commutative Rings 1
International Journal of Algebra, Vol 5, 2011, no 6, 255-260 Zero-Divisor Graph of Triangular Matrix Rings over Commutative Rings 1 Li Bingjun 1,2 1 College of Mathematics Central South University Changsha,
More informationSome algebraic number theory and the reciprocity map
Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible
More informationOn the norm form inequality F (x) h.
On the norm form inequality F (x) h. Jan-Hendrik Evertse 1) To Professor Kalman Győry on his 60-th birthday. Abstract. Let F Z[X 1,..., X n ] be a non-degenerate norm form of degree r. In his paper [17]
More informationDirac Operator. Göttingen Mathematical Institute. Paul Baum Penn State 6 February, 2017
Dirac Operator Göttingen Mathematical Institute Paul Baum Penn State 6 February, 2017 Five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. The Riemann-Roch theorem 5. K-theory
More informationON THETA SERIES VANISHING AT AND RELATED LATTICES
ON THETA SERIES VANISHING AT AND RELATED LATTICES CHRISTINE BACHOC AND RICCARDO SALVATI MANNI Abstract. In this paper we consider theta series with the highest order of vanishing at the cusp. When the
More informationSection 3.2. Multiplication of Matrices and Multiplication of Vectors and Matrices
3.2. Multiplication of Matrices and Multiplication of Vectors and Matrices 1 Section 3.2. Multiplication of Matrices and Multiplication of Vectors and Matrices Note. In this section, we define the product
More informationIntroduction to Groups
Introduction to Groups S F Ellermeyer November 2, 2006 A group, G, is a set, A, endowed with a single binary operation,, such that: The operation is associative, meaning that a (b c) = (a b) c for all
More informationIDEAL CLASS GROUPS OF CYCLOTOMIC NUMBER FIELDS I
IDEA CASS GROUPS OF CYCOTOMIC NUMBER FIEDS I FRANZ EMMERMEYER Abstract. Following Hasse s example, various authors have been deriving divisibility properties of minus class numbers of cyclotomic fields
More informationGeneralized Numerical Radius Inequalities for Operator Matrices
International Mathematical Forum, Vol. 6, 011, no. 48, 379-385 Generalized Numerical Radius Inequalities for Operator Matrices Wathiq Bani-Domi Department of Mathematics Yarmouk University, Irbed, Jordan
More informationA Note on the Transcendence of Zeros of a Certain Family of Weakly Holomorphic Forms
A Note on the Transcendence of Zeros of a Certain Family of Weakly Holomorphic Forms Jennings-Shaffer C. & Swisher H. (014). A Note on the Transcendence of Zeros of a Certain Family of Weakly Holomorphic
More information1 Lecture 1 (1/5/2009)
1 Lecture 1 (1/5/2009) Notation 1.1 Introduce N := {0, 1, 2,... }, Z, Q, R, and C. Also let Z + := N \ {0}. Set notations. Recalled basic notions of a function being one to one, onto, and invertible. Think
More information1 Lecture 1 (1/5/2009)
1 Lecture 1 (1/5/2009) Notation 1.1 Introduce N := {0, 1, 2,... }, Z, Q, R, and C. Also let Z + := N \ {0}. Set notations. Recalled basic notions of a function being one to one, onto, and invertible. Think
More informationOn Harada Rings and Serial Artinian Rings
Vietnam Journal of Mathematics 36:2(2008) 229 238 Vietnam Journal of MATHEMATICS VAST 2008 On Harada Rings and Serial Artinian Rings Thanakarn Soonthornkrachang 1, Phan Dan 2, Nguyen Van Sanh 3, and Kar
More informationSign changes of Fourier coefficients of cusp forms supported on prime power indices
Sign changes of Fourier coefficients of cusp forms supported on prime power indices Winfried Kohnen Mathematisches Institut Universität Heidelberg D-69120 Heidelberg, Germany E-mail: winfried@mathi.uni-heidelberg.de
More informationMAT 1332: CALCULUS FOR LIFE SCIENCES. Contents. 1. Review: Linear Algebra II Vectors and matrices Definition. 1.2.
MAT 1332: CALCULUS FOR LIFE SCIENCES JING LI Contents 1 Review: Linear Algebra II Vectors and matrices 1 11 Definition 1 12 Operations 1 2 Linear Algebra III Inverses and Determinants 1 21 Inverse Matrices
More informationCHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES
CHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES MICHAEL BJÖRKLUND AND ALEXANDER FISH Abstract. We show that for every subset E of positive density in the set of integer squarematrices
More informationarxiv: v1 [math.ra] 25 Nov 2017
arxiv:709289v [mathra] 25 Nov 207 LEFT IDEALS IN MATRIX RINGS OVER FINITE FIELDS R A FERRAZ, C POLCINO MILIES, AND E TAUFER Abstract It is well-known that each left ideals in a matrix rings over a finite
More information24 Artin reciprocity in the unramified case
18.785 Number theory I Fall 2017 ecture #24 11/29/2017 24 Artin reciprocity in the unramified case et be an abelian extension of number fields. In ecture 22 we defined the norm group T m := N (I m )R m
More informationBoundedly complete weak-cauchy basic sequences in Banach spaces with the PCP
Journal of Functional Analysis 253 (2007) 772 781 www.elsevier.com/locate/jfa Note Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Haskell Rosenthal Department of Mathematics,
More informationSome Generalized Euclidean and 2-stage Euclidean number fields that are not norm-euclidean
Some Generalized Euclidean and 2-stage Euclidean number fields that are not norm-euclidean Jean-Paul Cerri To cite this version: Jean-Paul Cerri. Some Generalized Euclidean and 2-stage Euclidean number
More informationMATH 106 LINEAR ALGEBRA LECTURE NOTES
MATH 6 LINEAR ALGEBRA LECTURE NOTES FALL - These Lecture Notes are not in a final form being still subject of improvement Contents Systems of linear equations and matrices 5 Introduction to systems of
More informationA lower regulator bound for number fields
A lower regulator bound for number fields Claus Fieker and Michael E. Pohst Abstract 1 Introduction In [] a regulator bound for algebraic number fields F was derived which makes use of specific data of
More informationFinite pseudocomplemented lattices: The spectra and the Glivenko congruence
Finite pseudocomplemented lattices: The spectra and the Glivenko congruence T. Katriňák and J. Guričan Abstract. Recently, Grätzer, Gunderson and Quackenbush have characterized the spectra of finite pseudocomplemented
More informationSOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS
Proyecciones Vol. 21, N o 1, pp. 21-50, May 2002. Universidad Católica del Norte Antofagasta - Chile SOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS RUBÉN HIDALGO Universidad Técnica Federico Santa María
More informationMath 594, HW2 - Solutions
Math 594, HW2 - Solutions Gilad Pagi, Feng Zhu February 8, 2015 1 a). It suffices to check that NA is closed under the group operation, and contains identities and inverses: NA is closed under the group
More informationThe tensor algebra of power series spaces
The tensor algebra of power series spaces Dietmar Vogt Abstract The linear isomorphism type of the tensor algebra T (E) of Fréchet spaces and, in particular, of power series spaces is studied. While for
More informationA correction to Conducteur des Représentations du groupe linéaire
A correction to Conducteur des Représentations du groupe linéaire Hervé Jacquet December 5, 2011 Nadir Matringe has indicated to me that the paper Conducteur des Représentations du groupe linéaire ([JPSS81a],
More informationhal , version 1-22 Jun 2010
HYPERCYCLIC ABELIAN SEMIGROUP OF MATRICES ON C n AND R n AND k-transitivity (k 2) ADLENE AYADI Abstract. We prove that the minimal number of matrices on C n required to form a hypercyclic abelian semigroup
More informationDeterminants Chapter 3 of Lay
Determinants Chapter of Lay Dr. Doreen De Leon Math 152, Fall 201 1 Introduction to Determinants Section.1 of Lay Given a square matrix A = [a ij, the determinant of A is denoted by det A or a 11 a 1j
More informationA family of local rings with rational Poincaré Series
arxiv:0802.0654v1 [math.ac] 5 Feb 2008 A family of local rings with rational Poincaré Series Juan Elias Giuseppe Valla October 31, 2018 Abstract In this note we compute the Poincare Series of almost stretched
More information(τ) = q (1 q n ) 24. E 4 (τ) = q q q 3 + = (1 q) 240 (1 q 2 ) (1 q 3 ) (1.1)
Automorphic forms on O s+2,2 (R) + and generalized Kac-Moody algebras. Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994), 744 752, Birkhäuser, Basel, 1995. Richard E.
More informationLinear Algebra March 16, 2019
Linear Algebra March 16, 2019 2 Contents 0.1 Notation................................ 4 1 Systems of linear equations, and matrices 5 1.1 Systems of linear equations..................... 5 1.2 Augmented
More informationFundamentals of Engineering Analysis (650163)
Philadelphia University Faculty of Engineering Communications and Electronics Engineering Fundamentals of Engineering Analysis (6563) Part Dr. Omar R Daoud Matrices: Introduction DEFINITION A matrix is
More informationAuerbach bases and minimal volume sufficient enlargements
Auerbach bases and minimal volume sufficient enlargements M. I. Ostrovskii January, 2009 Abstract. Let B Y denote the unit ball of a normed linear space Y. A symmetric, bounded, closed, convex set A in
More information