In solid-state physics, the notion of Brillouin zones is used to describe quantum mechanical properties of a crystal. In a crystal, the atoms are arranged in a lattice; for example, in NaCl, the sodium and chorine atoms are arranged along the points of the simple cubic lattice . If we pick a specific atom and call it the origin, its first Brillouin zone consists of the points in which are closer to the origin than to any other element of the lattice. This same zone can be constructed as follows: for each element a in the lattice, let L0a be the perpendicular bisecting plane of the line between 0 and a (this plane is called a Bragg plane). The volume about the origin enclosed by these intersecting planes is the first Brillouin zone, b1(0). This construction also allows us to define the higher Brillouin zones as well: a point x is in bn if the line connecting it to the origin crosses exactly n-1 planes L0a, counted with multiplicity.
This notion was introduced by Brillouin in the 1930s ([Br]), and plays an important role in solid-state theory (see, for example, [AM], or [Jo2], also [Ti]). The construction which gives rise to Brillouin zones is not limited to consideration of crystals, however. For example, in computational geometry, the notion of the Voronoi cell corresponds exactly to the first Brillouin zone described above (see [PS]). We shall also see below how, after suitable generalization, this construction coincides with the Dirichlet domain of Riemannian geometry, and in many cases, to the focal decomposition introduced in [Pe1] (see also [Pe3]).
With some slight hypotheses (see section 2), we
generalize the construction of Brillouin zones to any discrete set S in a
path-connected, proper metric space X. We generalize the Bragg planes
above as mediatrices, defined here.
Now choose a preferred point x0 in S, and consider the collection of mediatrices . These partition X into Brillouin zones as above: roughly, the n-th Brillouin zone Bn(x0) consists of those points in X which are accessible from x0 by crossing exactly n-1mediatrices. (There is some difficulty accounting for multiple crossings-- see definition 2.7 for a precise statement.)
One basic property of the zones Bn is that they tile the space X:
We now discuss the relationship of Brillouin zones and focal decomposition
of Riemannian manifolds.
If x1(t) and x2(t) are two solutions of a second order differential equation with x1(0) = x2(0) and there is some so that x1(T) = x2(T), then the trajectories x1 and x2 are said to focus at time T. One can ask how the number of trajectories which focus varies with the endpoint x(T)-- this gives rise to the concept of a focal decomposition (originally called a sigma decomposition). This concept was introduced in [Pe1] and has important applications in physics, for example when computing the semiclassical quantization using the Feynman path integral method (see [Pe3]). There is also a connection with the arithmetic of positive definite quadratic forms (see [Pe2], [KP], and [Pe3]). Brillouin zones have a similar connection with arithmetic, as can be seen in section 4.
More specifically, consider the two-point boundary problem
Later, in [KP], the idea of focal decomposition was approached in the context of geodesics of a Riemannian manifold M (in addition to a reformulation of the main theorem of [PT]). Here, one takes a basepoint x0 in the manifold M: two geodesics and focus at some point if . This gives rise to a decomposition of the tangent space of M at x into regions where the same number of geodesics focus.
In order to study focusing of geodesics on an orbifold (M,g) with metric
g via Brillouin zones, we do the following. Choose a base-point p0 in
M and construct the universal cover X, lifting p0 to a point x0 in
X. Let
be a smooth curve in M with initial point p0 and
endpoint p. Lift
to
in X with initial
point x0. Its endpoint will be some
.
The metric
g on M is lifted to a metric
on X by setting
.
Under the above conditions, the group G of deck transformations is
discontinuous and so
is a discrete set.
One can ask how many geodesics of length t there are which start at p0end in p, or translated
to
,
this becomes: How many mediatrices
Lx0,s intersect at x, as s ranges over
?
Notice that if the universal cover of M coincides with the tangent space TMx, the focal decomposition of [KP] and that given by Brillouin zones will be the same. If the universal cover and the tangent space are homeomorphic (as is the case for a manifold of constant negative curvature), the two decompositions are not identical, but there is a clear correspondence. However, if the universal cover of the manifold is not homeomorphic to the tangent space at the base point, the focal decomposition and that given by constructing Brillouin zones in the universal cover are completely different. For example, let M be , and let x be any point in it. The focal decomposition with respect to x gives a collection of nested n-1-spheres centered at x; on each of these infinitely many geodesics focus (each sphere is mapped by the exponential to either x or its antipodal point). Between the spheres are bands in which no focusing occurs. (See [Pe3]). However, using the construction outlined in the previous paragraph gives a very different result. Since is simply connected, it is its own universal cover. There is only one point in our discrete set, and so the entire sphere Sn is in the first zone B1.
The organization of this paper is as follows. In section 2,
we set up the general machinery we need, and prove the main theorems in the
context of a discrete set S in a proper metric space.
Section 3 explores this in the context of manifolds of constant curvature. The universal cover is , , or , and the group G of deck transformations is a discrete group of isometries (see [doC]). The discrete set S is the orbit of a point not fixed by any element of G under this discontinuous group. It is easy to see that the mediatrices in this case are totally geodesic spaces. From the basic property explained above, one can deduce that the n-th Brillouin zone is a fundamental domain for the group G in X.
In section 4, we calculate exactly the number of geodesics of length t that connect the origin to itself in two cases: the flat torus and the Riemann surfaces , for . While these calculations could, of course, be done independent of our construction, the Brillouin zones help visualize the process.
In the final section, we give a nontrivial example in the case of a non-Riemannian metric, and mention a connection to the question of how many integer solutions there are to the equation ak + bk = n, for fixed k.
Acknowledgments: It is a pleasure to acknowledge useful
conversations with Federico Bonetto, Johann Dupont, Bernie Maskit, John
Milnor, Chi-Han Sah, and Duncan Sands.