On the proof of humbert’s volume formula

We close a gap in Humbert’s classical calculation of the volume of the quotient of three-dimensional hyperbolic space by SL₂ over the ring of integers of an imaginary quadratic number field.     

On the proof of Humbert's volume formula

We close a gap in Humbert's classical calculation of the volume of the quotient of three-dimensional hyperbolic space by SL² over the ring of integers of an imaginary quadratic number field. Received: 19 December 1996 / Revised version: 4 September 1997     

On diagonal resolvable spheres

In this paper we give the complete answer to a question posed by A. Arhangel?skii and prove that the sphere Sⁿ$S^n$ is diagonal resolvable if and only if Sⁿ$S^n$ is an H  -space if and only if n∈{0,1,3,7}$n\in \{0,1,3,7\}$. Moreover, we prove that any upper half even dimensional Q$\mathbb{Q}$-sphere cannot be diagonal resolvable.     

On the Nochka-Chen-Ru-Wong proof of Cartan's conjecture

In 1982-1983, E. Nochka proved a conjecture of Cartan on defects of holomorphic curves in Pn relative to a possibly degenerate set of hyperplanes. This was further explained by W. Chen in his 1987 thesis, and subsequently simplified by M. Ru and P.-M. Wong in 1991. The proof involved assigning weights to the hyperplanes. This paper provides further simplification of the proof of the construction of the weights, by bringing back the use of the convex hull in working with the “Nochka diagram.”     

Bases of minimal vectors in lattices,I

We prove that a Euclidean lattice of dimension n ≤ 8 which is generated by its minimal vectors possesses a basis of minimal vectors. Received: 7 December 2006     

Simultaneous reduction of a lattice basis and its reciprocal basis

Given a latticeL we are looking for a basisB=[b ₁, ...b _n ] ofL with the property that bothB and the associated basisB ^*=[b ₁ ^* , ...,b _n ^* ] of the reciprocal latticeL ^* consist of short vectors. For any such basisB with reciprocal basisB ^* let . Håstad and Lagarias [7] show that each latticeL of full rank has a basisB withS(B)exp(c ₁·n ^1/3) for a constantc ₁ independent ofn. We improve this upper bound toS(B)exp(c ₂·(lnn)²) withc ₂ independent ofn.We will also introduce some new kinds of lattice basis reduction and an algorithm to compute one of them. The new algorithm proceeds by reducing the quantity . In combination with an exhaustive search procedure, one obtains an algorithm to compute the shortest vector and a Korkine-Zolotarev reduced basis of a lattice that is efficient in practice for dimension up to 30.     

Bases of minimal vectors in lattices,II

We prove that a Euclidean lattice of dimension n = 5 (resp. 6; resp. 7) having at least 6 (resp. 10; resp. 18) pairs of minimal vectors has a basis of minimal vectors. Received: 7 December 2006     

Kleine Nullstellen quadratischer Formen in Funktionenkörpern

Letk be a field of characteristic different from 2 andt an indeterminate overk. Let0 be a quadratic form inn variables with coefficients _ij = _ji ink[t]. We show that if vanishes on ad-dimensional subspace ofk(t) ⁿ , then there is a zero (x ₁ ,...,x _n )k[t] ⁿ –{(0,...,0)} with max max{deg _ij }. We also show, that the factor is best possible.

     

The distribution of sublattices of ℤ m

Lattices , are similar if one can be transformed into the other by an angle-preserving linear map. Similarity classes of lattices of rankn may be parametrized by a fundamental domain of the action ofGL _n () on the generalized upper half-plane _n . Given 1<nm and, letN(D,T) be the number of sublattices of _n which have rankn, similarity class inD, and determinant T. Our most basic result will be thatN(D,T)c ₁(m, n)(D)T ^m asT for suitable setsD, where is the invariant measure on _n . The casen=2 had been dealt with by Roelcke and by Maass using the theory of modular forms.Herrn Professor Hlawka zum achtzigsten Geburtstag gewidmetSupported in part by NSF-DMS-9401426     

A proof of Coleman's conjecture

Almost thirty years ago Coleman made a conjecture that for any convex lattice polygon with v vertices, g (g?1) interior lattice points and b boundary lattice points we have b?2g-v+10. In this note we give a proof of the conjecture. We also aim to describe all convex lattice polygons for which the bound b=2g-v+10 is attained.     

Slopes of integral lattices

We use the dyadic trace to define the concept of slope for integral lattices. We present an introduction to the theory of the slope invariant. The main theorem states that a Siegel modular cusp form f of slope strictly less than the slope of an integral lattice with Gram matrix s satisfies f(sτ)=0 for all τ in the upper half plane. We compute the dyadic trace and the slope of each root lattice and we give applications to Siegel modular cusp forms.     

On primitive roots for rank one Drinfeld modules

Let k be a global function field over a finite field and let A be the ring of the elements in k regular outside a fixed place ∞. Let K be a global A-field of finite A-characteristic and let ? be a rank one Drinfeld A-module over K. Given any α∈K, we show that the set of places P of K for which α is a primitive root modulo P under the action of ? possesses a Dirichlet density. We also give conditions for this density to be positive.     

Symmetric Groups and Lattices

This paper deals with various problems in lattice theory involving local extrema. In particular, we construct infinite series of highly symmetric spherical 3-designs which include some of the examples constructed in [9] in dimensions 5 and 7. We also construct new types of dual-extreme lattices.Received June 29, 2002; in final form January 14, 2003 Published online May 16, 2003     

On Weil's proof of the bound for Kloosterman sums

While most proofs of the Weil bound on one-variable Kloosterman sums over finite fields are carried out in all characteristics, the original proof of this bound, by Weil, assumes the characteristic is odd. We show how to make Weil's argument work in even characteristic, for both ordinary Kloosterman sums and sums twisted by a multiplicative character.     

On dispersion and Markov constants

We proved some results on the dispersion of the real quadratic irrational numbers, and use LEO 386/25 to compute some numerical results for discriminant <200 (see the attached Table A).The project was supported by a grant from NNSF of P.R. China.     

On primitive roots for Carlitz modules

Let be the polynomial ring over a finite field. We prove that for every element a of a global -field of finite -characteristic the set of places for which a is a primitive root under the Carlitz action possesses a Dirichlet density. We also give a criterion for this density to be positive. This is an analogue of Bilharz’ version of the primitive roots conjecture of Artin, with replaced by the Carlitz module.     

Perfect, strongly eutactic lattices are periodic extreme

We introduce a parameter space for periodic point sets, given as unions of m translates of point lattices. In it we investigate the behavior of the sphere packing density function and derive sufficient conditions for local optimality. Using these criteria we prove that perfect, strongly eutactic lattices cannot be locally improved to yield a periodic sphere packing with greater density. This applies in particular to the densest known lattice sphere packings in dimension d?8 and d=24.     

On the lifting of elliptic cusp forms to cusp forms on quaternionic unitary groups

Let H be a definite quaternion algebra over Q with discriminant DH and R a maximal order of H. We denote by Gn a quaternionic unitary group and put Γn=Gn(Q)∩GL2n(R). Let Sκ(Γn) be the space of cusp forms of weight κ with respect to Γn on the quaternion half-space of degree n. We construct a lifting from primitive forms in Sk(SL₂(Z)) to Sk+2n−2(Γn) and a lifting from primitive forms in Sk(Γ₀(d)) to Sk+2(Γ₂), where d is a factor of DH. These liftings are generalizations of the Maass lifting investigated by Krieg.