Given a topological space and a groupacting on it, the images of a single point under the group action form an orbit of the action. A fundamental domain or fundamental region is a subset of the space which contains exactly one point from each of these orbits. It serves as a geometric realization for the abstract set of representatives of the orbits.
There are many ways to choose a fundamental domain. Typically, a fundamental domain is required to be a connected subset with some restrictions on its boundary, for example, smooth or polyhedral. The images of a chosen fundamental domain under the group action then tile the space. One general construction of fundamental domains uses Voronoi cells.
Hints at a general definition
A lattice in the complex plane and its fundamental domain, with quotient a torus.
Given an action of a groupG on a topological spaceX by homeomorphisms, a fundamental domain for this action is a set D of representatives for the orbits. It is usually required to be a reasonably nice set topologically, in one of several precisely defined ways. One typical condition is that D is almost an open set, in the sense that D is the symmetric difference of an open set in X with a set of measure zero, for a certain (quasi)invariant measure on X. A fundamental domain always contains a free regular setU, an open set moved around by G into disjoint copies, and nearly as good as D in representing the orbits. Frequently D is required to be a complete set of coset representatives with some repetitions, but the repeated part has measure zero. This is a typical situation in ergodic theory. If a fundamental domain is used to calculate an integral on X/G, sets of measure zero do not matter.
For example, when X is Euclidean spaceRn of dimension n, and G is the latticeZn acting on it by translations, the quotient X/G is the n-dimensional torus. A fundamental domain D here can be taken to be [0,1)n, which differs from the open set (0,1)n by a set of measure zero, or the closed unit cube [0,1]n, whose boundary consists of the points whose orbit has more than one representative in D.
Examples
Examples in the three-dimensional Euclidean space R3.
for n-fold rotation: an orbit is either a set of n points around the axis, or a single point on the axis; the fundamental domain is a sector
for reflection in a plane: an orbit is either a set of 2 points, one on each side of the plane, or a single point in the plane; the fundamental domain is a half-space bounded by that plane
for reflection in a point: an orbit is a set of 2 points, one on each side of the center, except for one orbit, consisting of the center only; the fundamental domain is a half-space bounded by any plane through the center
for 180° rotation about a line: an orbit is either a set of 2 points opposite to each other with respect to the axis, or a single point on the axis; the fundamental domain is a half-space bounded by any plane through the line
for discrete translational symmetry in one direction: the orbits are translates of a 1D lattice in the direction of the translation vector; the fundamental domain is an infinite slab
for discrete translational symmetry in two directions: the orbits are translates of a 2D lattice in the plane through the translation vectors; the fundamental domain is an infinite bar with parallelogrammatic cross section
for discrete translational symmetry in three directions: the orbits are translates of the lattice; the fundamental domain is a primitive cell which is e.g. a parallelepiped, or a Wigner-Seitz cell, also called Voronoi cell/diagram.
In the case of translational symmetry combined with other symmetries, the fundamental domain is part of the primitive cell. For example, for wallpaper groups the fundamental domain is a factor 1, 2, 3, 4, 6, 8, or 12 smaller than the primitive cell.
Fundamental domain for the modular group
Each triangular region is a free regular set of H/Γ; the grey one (with the third point of the triangle at infinity) is the canonical fundamental domain.
The diagram to the right shows part of the construction of the fundamental domain for the action of the modular group Γ on the upper half-planeH.
This famous diagram appears in all classical books on modular functions. (It was probably well known to C. F. Gauss, who dealt with fundamental domains in the guise of the reduction theory of quadratic forms.) Here, each triangular region (bounded by the blue lines) is a free regular set of the action of Γ on H. The boundaries (the blue lines) are not a part of the free regular sets. To construct a fundamental domain of H/Γ, one must also consider how to assign points on the boundary, being careful not to double-count such points. Thus, the free regular set in this example is
The fundamental domain is built by adding the boundary on the left plus half the arc on the bottom including the point in the middle:
The choice of which points of the boundary to include as a part of the fundamental domain is arbitrary, and varies from author to author.
The core difficulty of defining the fundamental domain lies not so much with the definition of the set per se, but rather with how to treat integrals over the fundamental domain, when integrating functions with poles and zeros on the boundary of the domain.
In group theory, the symmetry group of a geometric object is the group of all transformations under which the object is invariant, endowed with the group operation of composition. Such a transformation is an invertible mapping of the ambient space which takes the object to itself, and which preserves all the relevant structure of the object. A frequent notation for the symmetry group of an object X is G = Sym(X).
In abstract algebra, group theory studies the algebraic structures known as groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as rings, fields, and vector spaces, can all be seen as groups endowed with additional operations and axioms. Groups recur throughout mathematics, and the methods of group theory have influenced many parts of algebra. Linear algebraic groups and Lie groups are two branches of group theory that have experienced advances and have become subject areas in their own right.
In crystallography, crystal structure is a description of the ordered arrangement of atoms, ions, or molecules in a crystalline material. Ordered structures occur from the intrinsic nature of the constituent particles to form symmetric patterns that repeat along the principal directions of three-dimensional space in matter.
In mathematics, the modular group is the projective special linear group of 2 × 2 matrices with integer coefficients and determinant 1. The matrices A and −A are identified. The modular group acts on the upper-half of the complex plane by fractional linear transformations, and the name "modular group" comes from the relation to moduli spaces and not from modular arithmetic.
In mathematics, a frieze or frieze pattern is a two-dimensional design that repeats in one direction. The term is derived from architecture and decorative arts, where such repeating patterns are often used. Frieze patterns can be classified into seven types according to their symmetries. The set of symmetries of a frieze pattern is called a frieze group.
A wallpaper is a mathematical object covering a whole Euclidean plane by repeating a motif indefinitely, in manner that certain isometries keep the drawing unchanged. For each wallpaper there corresponds a group of congruent transformations, with function composition as the group operation. Thus, a wallpaper group is a mathematical classification of a two‑dimensional repetitive pattern, based on the symmetries in the pattern. Such patterns occur frequently in architecture and decorative art, especially in textiles, tessellations, tiles and physical wallpaper.
In mathematics, the real projective plane is an example of a compact non-orientable two-dimensional manifold; in other words, a one-sided surface. It cannot be embedded in standard three-dimensional space without intersecting itself. It has basic applications to geometry, since the common construction of the real projective plane is as the space of lines in R3 passing through the origin.
In geometry, a glide reflection or transflection is a geometric transformation that consists of a reflection across a hyperplane and a translation ("glide") in a direction parallel to that hyperplane, combined into a single transformation. Because the distances between points are not changed under glide reflection, it is a motion or isometry. When the context is the two-dimensional Euclidean plane, the hyperplane of reflection is a straight line called the glide line or glide axis. When the context is three-dimensional space, the hyperplane of reflection is a plane called the glide plane. The displacement vector of the translation is called the glide vector.
In crystallography, a crystal system is a set of point groups. A lattice system is a set of Bravais lattices. Space groups are classified into crystal systems according to their point groups, and into lattice systems according to their Bravais lattices. Crystal systems that have space groups assigned to a common lattice system are combined into a crystal family.
In mathematics, physics and chemistry, a space group is the symmetry group of a repeating pattern in space, usually in three dimensions. The elements of a space group are the rigid transformations of the pattern that leave it unchanged. In three dimensions, space groups are classified into 219 distinct types, or 230 types if chiral copies are considered distinct. Space groups are discrete cocompact groups of isometries of an oriented Euclidean space in any number of dimensions. In dimensions other than 3, they are sometimes called Bieberbach groups.
In geometry and group theory, a lattice in the real coordinate space is an infinite set of points in this space with the properties that coordinate-wise addition or subtraction of two points in the lattice produces another lattice point, that the lattice points are all separated by some minimum distance, and that every point in the space is within some maximum distance of a lattice point. Closure under addition and subtraction means that a lattice must be a subgroup of the additive group of the points in the space, and the requirements of minimum and maximum distance can be summarized by saying that a lattice is a Delone set. More abstractly, a lattice can be described as a free abelian group of dimension which spans the vector space . For any basis of , the subgroup of all linear combinations with integer coefficients of the basis vectors forms a lattice, and every lattice can be formed from a basis in this way. A lattice may be viewed as a regular tiling of a space by a primitive cell.
In geometry and crystallography, a Bravais lattice, named after Auguste Bravais, is an infinite array of discrete points generated by a set of discrete translation operations described in three dimensional space by
Rotational symmetry, also known as radial symmetry in geometry, is the property a shape has when it looks the same after some rotation by a partial turn. An object's degree of rotational symmetry is the number of distinct orientations in which it looks exactly the same for each rotation.
In physics and mathematics, continuous translational symmetry is the invariance of a system of equations under any translation. Discrete translational symmetry is invariant under discrete translation.
The Wigner–Seitz cell, named after Eugene Wigner and Frederick Seitz, is a primitive cell which has been constructed by applying Voronoi decomposition to a crystal lattice. It is used in the study of crystalline materials in crystallography.
In mathematics, a fundamental polygon can be defined for every compact Riemann surface of genus greater than 0. It encodes not only the topology of the surface through its fundamental group but also determines the Riemann surface up to conformal equivalence. By the uniformization theorem, every compact Riemann surface has simply connected universal covering surface given by exactly one of the following:
A one-dimensional symmetry group is a mathematical group that describes symmetries in one dimension (1D).
In geometry, Hermann–Mauguin notation is used to represent the symmetry elements in point groups, plane groups and space groups. It is named after the German crystallographer Carl Hermann and the French mineralogist Charles-Victor Mauguin. This notation is sometimes called international notation, because it was adopted as standard by the International Tables For Crystallography since their first edition in 1935.
In mathematics, the Riemann sphere, named after Bernhard Riemann, is a model of the extended complex plane : the complex plane plus one point at infinity. This extended plane represents the extended complex numbers, that is, the complex numbers plus a value for infinity. With the Riemann model, the point is near to very large numbers, just as the point is near to very small numbers.
In geometry and crystallography, the Laves graph is an infinite and highly symmetric system of points and line segments in three-dimensional Euclidean space, forming a periodic graph. Three equal-length segments meet at 120° angles at each point, and all cycles use ten or more segments. It is the shortest possible triply periodic graph, relative to the volume of its fundamental domain. One arrangement of the Laves graph uses one out of every eight of the points in the integer lattice as its points, and connects all pairs of these points that are nearest neighbors, at distance . It can also be defined, divorced from its geometry, as an abstract undirected graph, a covering graph of the complete graph on four vertices.
This page is based on this Wikipedia article Text is available under the CC BY-SA 4.0 license; additional terms may apply. Images, videos and audio are available under their respective licenses.
