Classical projective geometry and arithmetic groups.
1. Introduction. On doit à G. Voronoï [Vo] un algorithme de classification complète des formes quadratiques parfaites. Il est dès lors possible, en principe, de déterminer en un temps fini la constante d'Hermite γₙ, qui décrit dans ℝⁿ la densité maximale des empilements de sphères en réseau. L'énorme complexité de l'algorithme lui donne une limite naturelle: il semble actuellement impensable de dépasser la dimension 8, où les explorations ont déjà fourni des milliers de formes...
We study the p-adic equation x q = a over the field of p-adic numbers. We construct an algorithm which gives a solvability criteria in the case of q = p m and present a computer program to compute the criteria for any fixed value of m ≤ p − 1. Moreover, using this solvability criteria for q = 2; 3; 4; 5; 6, we classify p-adic 6-dimensional filiform Leibniz algebras.
In this paper we show that well-known relationships connecting the Clifford algebra on negative euclidean space, Vahlen matrices, and Möbius transformations extend to connections with the Möbius loop or gyrogroup on the open unit ball in -dimensional euclidean space . One notable achievement is a compact, convenient formula for the Möbius loop operation , where the operations on the right are those arising from the Clifford algebra (a formula comparable to for the Möbius loop multiplication...
We considered a Hankel transform evaluation of Narayana and shifted Narayana polynomials. Those polynomials arises from Narayana numbers and have many combinatorial properties. A mainly used tool for the evaluation is the method based on orthogonal polynomials. Furthermore, we provided a Hankel transform evaluation of the linear combination of two consecutive shifted Narayana polynomials, using the same method (based on orthogonal polynomials) and previously obtained moment representation of Narayana...
Assuming GRH, we present an algorithm which inputs a prime and outputs the set of fundamental discriminants such that the reduction map modulo a prime above from elliptic curves with CM by to supersingular elliptic curves in characteristic is surjective. In the algorithm we first determine an explicit constant so that implies that the map is necessarily surjective and then we compute explicitly the cases .