Discrete fundamental region and its asymptotics

1992 ◽  
Vol 32 (1) ◽  
pp. 129-134
Author(s):  
A. I. Vinogradov
Keyword(s):  
1971 ◽  
Vol 23 (1) ◽  
pp. 12-21
Author(s):  
J. Malzan

If ρ(G) is a finite, real, orthogonal group of matrices acting on the real vector space V, then there is defined [5], by the action of ρ(G), a convex subset of the unit sphere in V called a fundamental region. When the unit sphere is covered by the images under ρ(G) of a fundamental region, we obtain a semi-regular figure.The group-theoretical problem in this kind of geometry is to find when the fundamental region is unique. In this paper we examine the subgroups, ρ(H), of ρ(G) with a view of finding what subspace, W of V consists of vectors held fixed by all the matrices of ρ(H). Any such subspace lies between two copies of a fundamental region and so contributes to a boundary of both. If enough of these boundaries might be found, the fundamental region would be completely described.


10.37236/78 ◽  
2009 ◽  
Vol 16 (2) ◽  
Author(s):  
Martin von Gagern ◽  
Jürgen Richter-Gebert

In this article we outline a method that automatically transforms an Euclidean ornament into a hyperbolic one. The necessary steps are pattern recognition, symmetry detection, extraction of a Euclidean fundamental region, conformal deformation to a hyperbolic fundamental region and tessellation of the hyperbolic plane with this patch. Each of these steps has its own mathematical subtleties that are discussed in this article. In particular, it is discussed which hyperbolic symmetry groups are suitable generalizations of Euclidean wallpaper groups. Furthermore it is shown how one can take advantage of methods from discrete differential geometry in order to perform the conformal deformation of the fundamental region. Finally it is demonstrated how a reverse pixel lookup strategy can be used to obtain hyperbolic images with optimal resolution.


1961 ◽  
Vol 13 ◽  
pp. 177-178 ◽  
Author(s):  
A. M. Macbeath

Let ∧ be a lattice in Euclidean n-space, that is, ∧ is a set of points ε1a1+ … + εnanwherea1… ,anare linearly independent vectors and the ε run over all integers. Letμdenote the Lebesgue measure. A closed convex setFis called afundamental regionfor ∧ if the setsF+x (x∈∧) cover the whole space without overlapping; that is, ifF0is the interior ofF,and 0 ≠x∈ ∧, thenF0∩(F0+x) =ϕ.


Author(s):  
J. H. H. Chalk ◽  
B. G. A. Kelly

SynopsisFor a class of Fuchsian groups, which includes integral automorphs of quadratic forms and unit groups of indefinite quaternion algebras, it is shown that the geometry of a suitably chosen fundamental region leads to explicit bounds for a complete set of generators.


Author(s):  
R. A. Rankin

Suppose thatis an integral modular form of dimensions −κ, where κ > 0, and Stufe N, which vanishes at all the rational cusps of the fundamental region, and which is absolutely convergent for Thenwhere a, b, c, d are integers such that ad − bc = 1.


Sign in / Sign up

Export Citation Format

Share Document