1 Introduction
In this section we develop a connection between constitutive assumptions relating to the continuum mechanics of crystals and associated discrete structures. In the simplest case where the strain energy density depends only on point values of ‘lattice vector fields’ it is commonly taken for granted that there is an associated discrete lattice (with the point values of the vector fields providing a basis of the lattice)—we argue that, if assumptions are formulated appropriately, then it is because the energy is presumed to depend only on the lattice vectors that the corresponding discrete structure is a lattice. In fact we give this argument in generality, in the next subsection, and comment on the simplest version of the argument subsequently.
Next, in this first section, we set up the restriction to two dimensional crystals, and indicate how Lie groups appear as a consequence of assumptions relating to the choice of kinematical variables in the strain energy density. We conclude the section by outlining the content of the paper and motivate the work by placing the geometrical issues in a mechanical context.
Advertisement
In Sect. 2 we recap the apparatus employed in [1], for convenience, then we move on to the extension of [1] to the case of solvable groups of a certain type.
1.1 Basic Idea
The simplest relevant constitutive assumption is that the continuum strain energy density, per unit current volume of a crystalline material, depends on three ‘lattice vectors’ \(\boldsymbol{l}_{0}, \boldsymbol{l}_{1},\boldsymbol{l}_{2} \in \mathbb{R}^{3}\), and traditionally the continuum so specified is locally associated with a perfect ‘arithmetic’ lattice \(L\), where
We explain how this particular constitutive assumption can lead to the lattice \(L\), in a succession of steps.
$$ L \equiv \bigl\{ \boldsymbol{x} \in \mathbb{R}^{3} \colon \boldsymbol{x} = n_{0} \boldsymbol{l}_{0} + n_{1} \boldsymbol{l}_{1} + n_{2} \boldsymbol{l}_{2}, ~ n_{0},n_{1},n_{2} \in \mathbb{Z} \bigr\} . $$
(1.1)
(i)
In Davini’s continuum model of defective crystals [2], the primary kinematical objects are three ‘lattice vector fields’, \(\boldsymbol{l}_{0} (\cdot ), \boldsymbol{l}_{1} (\cdot ), \boldsymbol{l}_{2} (\cdot )\), defined at all points \(\boldsymbol{x}\) of a region \(\varOmega \subseteq \mathbb{R}^{3}\), so that the current geometric configuration of the material is, by definition, the crystal state With the simplest constitution assumption, the strain energy density at a point \(\boldsymbol{x}_{0} \in \varOmega \) is taken to have the form
for some real valued function \(w\). This energy density is to correspond in some way to the local structure of the material, close to \(\boldsymbol{x}_{0}\), and it is an entirely reasonable prejudice (conditioned by the context—that the continuum represents a crystal, and so represents a collection of atoms, etc.) that both of the following assumptions hold: We contend that this second assumption can be seen, in fact, as a concomitant of the constitutive assumption (1.3), and explain why this is so in the next few subsections.
$$ \varSigma \equiv \bigl\{ \boldsymbol{l}_{i} (\boldsymbol{x}) \colon \boldsymbol{x} \in \varOmega ,\ i=0,1,2 \bigr\} . $$
(1.2)
$$ w = w(\boldsymbol{l}_{0},\boldsymbol{l}_{1}, \boldsymbol{l}_{2}), \qquad \boldsymbol{l}_{i} \equiv \boldsymbol{l}_{i} (\boldsymbol{x} _{0}), \quad i = 0,1,2, \ \boldsymbol{x}_{0} \in \varOmega , $$
(1.3)
-
the local structure is discrete (i.e., there is a non-zero minimum separation between pairs of points in the structure);
-
the structure has a symmetry determined by \(\boldsymbol{l}_{0}, \boldsymbol{l}_{1},\boldsymbol{l}_{2}\)—in the traditional view, \(\{ \boldsymbol{l}_{0},\boldsymbol{l}_{1},\boldsymbol{l}_{2} \}\) is a basis of \(L\), which is a discrete subgroup of \(\mathbb{R}^{3}\) with addition as group operation, denoted \((\mathbb{R}^{3},+)\).
(ii)
Note that (1.3) is an analogue of the ‘simple material’ constitutive relation of non-linear elasticity, where energy density depends on deformation gradient only. Indeed, in the particular case where the crystal state is subject to an elastic deformation\(\boldsymbol{u} \colon \varOmega \to \boldsymbol{u} (\varOmega )\) so that the lattice vector fields \(\boldsymbol{l}_{i} (\cdot )\) are changed to \(\tilde{\boldsymbol{l}}_{i} (\cdot )\), \(i=0,1,2\), with
and the crystal state \(\varSigma \) is changed to \(\tilde{\varSigma }\), with
the strain energy density at the image point \(\boldsymbol{y}_{0} \equiv \boldsymbol{u}(\boldsymbol{x}_{0})\) is
via (1.3), (1.4). Thus the strain energy density is determined by \(\nabla \boldsymbol{u} (\boldsymbol{x}_{0})\) if \(\boldsymbol{l}_{0}, \boldsymbol{l}_{1},\boldsymbol{l}_{2}\) are fixed (one may regard \(\boldsymbol{l}_{0},\boldsymbol{l}_{1},\boldsymbol{l}_{2}\) as defining a fixed reference configuration, in the class of purely elastic changes of state), and so (1.3) is a generalization of the simple material idea to this context.
$$ \tilde{\boldsymbol{l}}_{i} \bigl(\boldsymbol{u} ( \boldsymbol{x}) \bigr) = \nabla \boldsymbol{u} (\boldsymbol{x}) \boldsymbol{l}_{i} ( \boldsymbol{x}), \quad i=0,1,2, \ \boldsymbol{x} \in \varOmega , $$
(1.4)
$$ \tilde{\varSigma } \equiv \bigl\{ \tilde{\boldsymbol{l}}_{i} ( \boldsymbol{y}) \colon \boldsymbol{y} \in \boldsymbol{u} (\varOmega ),\ i=0,1,2 \bigr\} , $$
(1.5)
$$ w(\tilde{\boldsymbol{l}}_{0}, \tilde{\boldsymbol{l}}_{1}, \tilde{\boldsymbol{l}}_{2}), \quad \text{where } \tilde{ \boldsymbol{l}}_{i} \equiv \tilde{\boldsymbol{l}}_{i} ( \boldsymbol{y}_{0}) = \nabla \boldsymbol{u} (\boldsymbol{x}_{0}) \boldsymbol{l}_{i} , $$
(1.6)
(iii)
Now it is important to realize that, if \(\varSigma \) is given, there are many objects (calculated via the fields \(\boldsymbol{l}_{0} (\cdot ), \boldsymbol{l}_{1} (\cdot ), \boldsymbol{l}_{2} (\cdot )\)) which transform to corresponding objects in \(\tilde{\varSigma }\), under elastic deformation, via transformation rules determined by the deformation gradient only (i.e. higher gradients of the deformation do not appear). For example, if \(\boldsymbol{d}_{0}( \cdot ),\boldsymbol{d}_{1}(\cdot ),\boldsymbol{d}_{2}(\cdot )\) are the duals of the vector fields \(\boldsymbol{l}_{0}(\cdot ),\boldsymbol{l} _{1}(\cdot ),\boldsymbol{l}_{2}(\cdot )\), and \(n(\cdot ) \equiv \boldsymbol{d}_{0}(\cdot ) \cdot \boldsymbol{d}_{1}(\cdot ) \wedge \boldsymbol{d}_{2}(\cdot ) > 0\) (by assumption), then the dislocation density tensor \(S(\cdot )= ( S_{ab} (\cdot ))\), \(a,b = 0,1,2\), defined by
transforms as follows,
where \(\tilde{S}(\cdot )\) is determined from \(\tilde{\varSigma }\) via the analogue of (1.7). So if one incorporates a dependence on first order gradients of the lattice vector fields in (1.3), via the particular form
where \(S \equiv S(\boldsymbol{x}_{0})\), and if \(\varSigma \) is subject to elastic deformation \(\boldsymbol{u}\), then the value of the strain energy density at the image point \(\boldsymbol{y}_{0} = \boldsymbol{u}(\boldsymbol{x}_{0})\) becomes
via (1.8), and this quantity is clearly determined by deformation gradient \(\nabla \boldsymbol{u} (\boldsymbol{x}_{0})\), if \(\boldsymbol{l}_{0},\boldsymbol{l}_{1},\boldsymbol{l}_{2},S\) are fixed. So (1.9) is also a generalization of the simple material idea to this context.
$$ S_{ab}(\cdot ) \equiv \nabla \wedge \boldsymbol{d}_{a} ( \cdot ) \cdot \boldsymbol{d}_{b} (\cdot ) / n(\cdot ) $$
(1.7)
$$ \tilde{S}_{ab} \bigl( \boldsymbol{u} (\boldsymbol{x})\bigr) = S_{ab} ( \boldsymbol{x}), \quad a,b = 0,1,2, \ \boldsymbol{x} \in \varOmega , $$
(1.8)
$$ w = w(\boldsymbol{l}_{0},\boldsymbol{l}_{1}, \boldsymbol{l}_{2},S), $$
(1.9)
$$ w(\tilde{\boldsymbol{l}}_{0},\tilde{\boldsymbol{l}}_{1}, \tilde{\boldsymbol{l}}_{2},\tilde{S}) = w(\tilde{\boldsymbol{l}}_{0}, \tilde{\boldsymbol{l}}_{1}, \tilde{\boldsymbol{l}}_{2},S), $$
(1.10)
Objects which are unchanged by elastic deformation in the sense of (analogues of) (1.8) are called scalar elastic invariants, and there is an infinite number of such objects, depending on gradients of the lattice vector fields of arbitrary order (see Davini and Parry [3, 4], Olver [5], Parry and Silhavy [6], for more information). For example, \(\boldsymbol{l} _{a} \cdot \nabla S\) is also a scalar elastic invariant, for each \(a=0,1,2\), and so
where \(\{ \boldsymbol{l}_{a} \}\) denotes \(\{ \boldsymbol{l}_{0}, \boldsymbol{l}_{1},\boldsymbol{l}_{2} \}\), etc., represents a generalization of the simple material idea too.
$$ w = w \bigl( \{ \boldsymbol{l}_{a} \}, S, \{ \boldsymbol{l}_{a} \cdot \nabla S \} \bigr) , $$
(1.11)
(iv)
We need a couple of further observations before we can see how to ‘interpret’ the constitutive assumption (1.3) in a mathematical way, and deduce that we should associate an arithmetic lattice with it.
Let
denote the three ‘Burgers vector’ fields. Also define
with similar expressions for \(\boldsymbol{L}_{1} (\boldsymbol{x}), \boldsymbol{L}_{2} (\boldsymbol{x})\), so that \(\boldsymbol{L}_{0} ( \cdot ), \boldsymbol{L}_{1} (\cdot ), \boldsymbol{L}_{2} (\cdot )\) are the three Lie brackets of pairs of lattice vector fields. (Note the sign convention in (1.13).) Recall that the flows generated by two vector fields commute if and only if the corresponding Lie bracket vanishes. Then one can show, [6], that
so there is a simple relation between the Burgers vectors and the set of Lie brackets. From (1.13), (1.14) one may deduce that (dropping the point of evaluation)
where summation convention applies. From (1.15), if \(\boldsymbol{l} _{0},\boldsymbol{l}_{1}, \boldsymbol{l}_{2},S\) are known, so are \(\boldsymbol{L}_{0},\boldsymbol{L}_{1},\boldsymbol{L}_{2}\) and one can replace \(w(\boldsymbol{l}_{0},\boldsymbol{l}_{1},\boldsymbol{l}_{2},S)\) by
for some function \(\bar{w}\), determined by \(w\) and \((15)_{1}\). Similarly, if \(\boldsymbol{l}_{0},\boldsymbol{l}_{1},\boldsymbol{l}_{2},S, \{ \boldsymbol{l}_{a} . \nabla S \}\) are known, then from \((15)_{1},(15)_{2}\) one can replace \(w(\boldsymbol{l}_{0},\boldsymbol{l}_{1},\boldsymbol{l}_{2},S, \{ \boldsymbol{l}_{a} . \nabla S \} )\) by
Each of these constitutive forms, (1.16) and (1.17), is a generalization of the simple material idea. Let us consider the difference between (1.16) and (1.17)—the terms \(\{ [ \boldsymbol{L}_{b}, \boldsymbol{l}_{c} ] \}\) which appear in (1.17) are omitted in (1.16). We shall take this omission as a suggestion that the lattice vector fields which represent the local geometrical structure in (1.16) are such that the Lie brackets \(\{ [ \boldsymbol{L}_{b}, \boldsymbol{l}_{c} ] \}\) are determined in terms of those constitutive variables which do appear in (1.16), namely \(\{ \boldsymbol{l}_{a} \}\) and \(\{ \boldsymbol{L}_{a} \}\), and this is so if each \(\boldsymbol{L}_{a} (\cdot )\), \(a=0,1,2\), is determined as a linear combination of \(\boldsymbol{l}_{0} (\cdot ), \boldsymbol{l}_{1} ( \cdot ), \boldsymbol{l}_{2} (\cdot )\). So we interpret (1.17) analogously, as a suggestion to consider crystal states where the lattice vector fields \([\boldsymbol{L}_{b}, \boldsymbol{l}_{c}]( \cdot )\), \(b,c = 0,1,2\), are given as linear combinations of \(\{ \boldsymbol{l}_{a} (\cdot ) \}\) and \(\{ \boldsymbol{L}_{a} ( \cdot ) \}\).
$$ \boldsymbol{b}_{a} (\boldsymbol{x}) \equiv \nabla \wedge \boldsymbol{d}_{a} (\boldsymbol{x}), \quad \boldsymbol{x} \in \varOmega , \ a=0,1,2 $$
(1.12)
$$ \boldsymbol{L}_{0}(\boldsymbol{x}) \equiv \bigl[ \boldsymbol{l}_{1}(x), \boldsymbol{l}_{2}(\boldsymbol{x}) \bigr] \equiv \bigl( \boldsymbol{l}_{2} ( \boldsymbol{x}) \cdot \nabla \bigr) \boldsymbol{l}_{1} (\boldsymbol{x}) - \bigl( \boldsymbol{l}_{1} (\boldsymbol{x}) \cdot \nabla \bigr) \boldsymbol{l}_{2} (\boldsymbol{x}), $$
(1.13)
$$ S_{ab} (\boldsymbol{x}) = \boldsymbol{b}_{a} ( \boldsymbol{x}) \cdot \boldsymbol{d}_{b} (\boldsymbol{x}) / n( \boldsymbol{x}) = \boldsymbol{L}_{b}(\boldsymbol{x}) \cdot \boldsymbol{d}_{a} ( \boldsymbol{x}), \quad a,b = 0,1,2, \ \boldsymbol{x} \in \varOmega , $$
(1.14)
$$ \boldsymbol{L}_{b} = S_{ab} \boldsymbol{l}_{a}, \qquad [ \boldsymbol{L}_{b}, \boldsymbol{l}_{c} ] = S_{ac} [ \boldsymbol{l} _{a}, \boldsymbol{l}_{b} ] + ( l_{b} \cdot \nabla S_{ac} ) \boldsymbol{l}_{a}, \quad a,b,c = 0,1,2, $$
(1.15)
$$ \bar{w} \bigl( \{ \boldsymbol{l}_{a} \}, \{ \boldsymbol{L}_{a} \}\bigr), $$
(1.16)
$$ \tilde{w} \bigl( \{ \boldsymbol{l}_{a} \}, \{ \boldsymbol{L}_{a} \}, \bigl\{ [ \boldsymbol{L}_{a}, \boldsymbol{l}_{b} ] \bigr\} \bigr). $$
(1.17)
In this paper, we shall just study this last suggestion, cf., (1.20) below, and so assume that \([\boldsymbol{L}_{b}, \boldsymbol{l}_{c}]( \cdot )\), \(b,c = 0,1,2\), are given as linear combinations of \(\{ \boldsymbol{l}_{a} (\cdot ) \}\) and \(\{ \boldsymbol{L}_{a} ( \cdot ) \}\) throughout. This assumption has a clear kinematical interpretation: given the lattice vector fields \(\{ \boldsymbol{l} _{a} \}\) one constructs the corresponding Lie brackets \(\{ \boldsymbol{L}_{a} \}\) (or equivalently the Burgers vector fields), then one iterates the construction to produce \(\{ [ \boldsymbol{L}_{a}, \boldsymbol{l}_{b} ] \}\) (in the first instance)—one can continue this iteration indefinitely, but the assumption is that the vector fields so produced are all linear combinations of \(\{ \boldsymbol{l}_{a} \}\) and \(\{ \boldsymbol{L}_{a} \}\), so these two sets of fields provide a basis for the set of all vector fields generated in this way, in this case.
Mathematically: in case (1.16), the lattice vector fields \(\boldsymbol{l}_{0} (\cdot ), \boldsymbol{l}_{1} (\cdot ), \boldsymbol{l}_{2} (\cdot )\) provide a basis for a three-dimensional Lie algebra of vector fields (we assume that the lattice vector fields are linearly independent at each \(\boldsymbol{x} \in \varOmega \)); and in case (1.17) \(\{ \boldsymbol{l}_{a} (\cdot ) \}, \{ \boldsymbol{L}_{a} ( \cdot ) \}\) include a basis for a \(d\)-dimensional Lie algebra of vector fields, \(3 < d \leq 6\). Elżanowski and Preston [7] call the Lie algebras that appear in this formalism ‘lattice algebras’ and we shall use that term here—a lattice algebra is a finite dimensional subalgebra of the algebra of smooth vector fields on \(\varOmega \), generated by the lattice vector fields. For case (1.3) we assume that the lattice algebra is 3-dimensional, with basis \(\{ \boldsymbol{l}_{a} (\cdot ) \}\), and that the lattice vector fields are such that \(\{ \boldsymbol{L}_{a} (\boldsymbol{x})\} = \boldsymbol{0}\), \(a=0,1,2\), \(\boldsymbol{x} \in \varOmega \).
(v)
So, if we accept the suggestions made, for each form of energy density function ((1.3), (1.16), (1.17) or any higher order analogue thereof) there is a corresponding lattice algebra, and the whole apparatus of Lie group theory becomes available. For example, in case (1.3), the Lie brackets \(\boldsymbol{L}_{i} (\cdot ) \equiv 0\), \(i=0,1,2\), the lattice vector fields commute, the lattice algebra is trivial and there is a corresponding abelian Lie group which one may take to be \((\mathbb{R}^{3},+)\). Finally, according to Bourbaki [8], the only discrete subgroups of \((\mathbb{R}^{3},+)\) are the arithmetic lattices, and we may associate the three-dimensional arithmetic lattice \(L\) with basis \(\{ \boldsymbol{l}_{0}, \boldsymbol{l}_{1}, \boldsymbol{l}_{2} \}\) with the energy density (1.3), as anticipated.
(vi)
In general, this approach gives a hierarchy of ‘types’ of defective crystal state. First, as noted in (v), if the Lie brackets are zero, the lattice vector fields commute with each other (pairwise), and the crystal state is an elastic deformation of a perfect crystal. Second, if the Lie brackets are non-zero, but are linearly dependent on the lattice vector fields, so that the dislocation density is constant, from (1.15), the crystal state can be represented as a Lie group. Last, if the Lie brackets are non-zero, not linearly dependent on the lattice vector fields (so that the dislocation density is not constant), but any ‘lattice algebra’ assumption holds, we shall see that there is a Lie group which acts on the crystal state in such a way that the lattice vector fields arise by projection from certain types of vector fields on the group (the Lie group has a higher dimension than that of the crystal configuration), see (2.41) below. One associates the constitutive relations (1.3), (1.16), (1.17) with the first, second and last type of defective crystal, respectively.
1.2 Restriction to Two-Dimensional Crystal States
In this paper we simplify the above setting a little by restricting attention to crystal states where two linearly independent vector fields are defined on a region \(\varOmega \subseteq \mathbb{R}^{2}\). Henceforward, then,
Our interest is in the case where the dimension of the lattice algebra is strictly greater than the number of lattice vector fields, so we take the simplest option where the dimension is 3. Thus the lattice algebra has basis
and we are in two-dimensional analogue of (1.17) above.
$$ \varSigma \equiv \bigl\{ \boldsymbol{l}_{i} (x) \colon \boldsymbol{x} \in \varOmega \subseteq \mathbb{R}^{2},\ i = 0,1 \bigr\} . $$
(1.18)
$$ \boldsymbol{l}_{0} (\cdot ) , \boldsymbol{l}_{1} (\cdot ), [ \boldsymbol{l}_{0}, \boldsymbol{l}_{1} ] (\cdot ), $$
(1.19)
Accordingly, the assumption made in Sect. 1.1, point (iv), requires that the last two of the following equations hold:
\(\alpha ,\beta ,\gamma ,\bar{\alpha },\bar{\beta },\bar{\gamma } \in \mathbb{R}\). Equations (1.20) define the lattice algebra, and the constants which appear are the ‘structure constants’. There is an isomorphism class of connected and simply connected Lie groups with Lie algebra isomorphic to that so defined, so we shall be interested, below, in the relation between the vector fields \(\boldsymbol{l}_{0} (\cdot ), \boldsymbol{l}_{1}(\cdot )\) (and \([\boldsymbol{l}_{0}, \boldsymbol{l}_{1}](\cdot )\)) and some three-dimensional Lie group, \(G\) say.
$$ \begin{aligned} &[\boldsymbol{l}_{0},\boldsymbol{l}_{1}](\cdot ) = 0 \boldsymbol{l} _{0} (\cdot ) + 0 \boldsymbol{l}_{1} (\cdot ) + 1 [ \boldsymbol{l} _{0}, \boldsymbol{l}_{1}](\cdot ), \\ & \bigl[\boldsymbol{l}_{0}, [ \boldsymbol{l}_{0},\boldsymbol{l}_{1} ]\bigr]( \cdot ) = \alpha \boldsymbol{l}_{0} (\cdot ) + \beta \boldsymbol{l} _{1} (\cdot ) + \gamma [ \boldsymbol{l}_{0},\boldsymbol{l}_{1}]( \cdot ), \\ & \bigl[\boldsymbol{l}_{1}, [ \boldsymbol{l}_{0},\boldsymbol{l}_{1} ]\bigr]( \cdot ) = \bar{\alpha } \boldsymbol{l}_{0} (\cdot ) + \bar{\beta } \boldsymbol{l}_{1} (\cdot ) + \bar{\gamma } [ \boldsymbol{l}_{0}, \boldsymbol{l}_{1}](\cdot ), \end{aligned} $$
(1.20)
Advertisement
Now from [7], Olver [9], Palais [10], we may assume (given (1.20)) that \(G\) has a Lie algebra \(\boldsymbol{\mathfrak{g}}\) with basis \(\boldsymbol{v}_{0}, \boldsymbol{v}_{1},\boldsymbol{v}_{2}\) such that
(same structure constants as (1.20)), and that there exists a group action\(\boldsymbol{\lambda } \colon G \times \varOmega \to \varOmega \) (with properties given in Sect. 2) such that
\(\boldsymbol{x} \in \varOmega \), where \(\nabla _{1} \boldsymbol{\lambda } (\boldsymbol{0},\boldsymbol{x})\) denotes the gradient of \(\boldsymbol{\lambda }\) with respect to its first argument, and \(\boldsymbol{0}\) denotes the group identity. \(\nabla _{1} \boldsymbol{\lambda }(\boldsymbol{0},\boldsymbol{x})\) maps \(\boldsymbol{\mathfrak{g}}\) into the set of vector fields on \(M\), and provides a Lie algebra homomorphism (see Sect. 2.3 below). Knowing \(G,\boldsymbol{\lambda },\{\boldsymbol{v}_{i} \}\) gives us the lattice vector fields, via (1.22), and with this interpretation, the lattice vector fields are infinitesimal generators corresponding to the group action.
$$ \begin{aligned} &[\boldsymbol{v}_{0},\boldsymbol{v}_{1}] = 0 \boldsymbol{v}_{0} + 0 \boldsymbol{v}_{1} + 1 \boldsymbol{v}_{2}, \\ &[\boldsymbol{v}_{0},\boldsymbol{v}_{2}] = \alpha \boldsymbol{v}_{0} + \beta \boldsymbol{v}_{1} + \gamma \boldsymbol{v} _{2}, \\ &[\boldsymbol{v}_{1},\boldsymbol{v}_{2}]= \bar{\alpha } \boldsymbol{v}_{0} + \bar{\beta } \boldsymbol{v}_{1} + \bar{\gamma } \boldsymbol{v}_{2}, \end{aligned} $$
(1.21)
$$ \begin{aligned} &\nabla _{1} \boldsymbol{\lambda } (\boldsymbol{0},\boldsymbol{x}) \boldsymbol{v}_{a} = \boldsymbol{l}_{a} (\boldsymbol{x}), \quad a=0,1, \\ &\nabla _{1} \boldsymbol{\lambda } (\boldsymbol{0}, \boldsymbol{x}) \boldsymbol{v}_{3} = [ \boldsymbol{l}_{0}, \boldsymbol{l}_{1}](\boldsymbol{x}), \end{aligned} $$
(1.22)
Remarks
-
The fact that \([ \boldsymbol{l}_{0}, \boldsymbol{l}_{1} ] (\cdot )\) is not a linear combination of \(\boldsymbol{l}_{0} (\cdot )\) and \(\boldsymbol{l}_{1} (\cdot )\) implies that the dislocation density tensor is non-constant in \(\varOmega \).
-
Three-dimensional Lie groups and algebras have been extensively studied and classified, for example, by Bianchi [11] and Jacobsen [12]—this amounts to a classification of structure constants modulo change of basis. According to [12] there are four different classes: the abelian, nilpotent, solvable and simple classes of Lie algebras. The abelian case leads to traditional crystallography, and we considered the nilpotent case in [1]. The solvable case divides into unimodular and non-unimodular classes—we consider the unimodular case here, and hope to present the non-unimodular solvable and (so-called) simple case in forthcoming works.
-
Let \(\boldsymbol{\mathfrak{g}}_{2}\) denote the algebra generated by Lie algebra elements of the form \([\boldsymbol{g},\boldsymbol{h}]\), \(\boldsymbol{g},\boldsymbol{h} \in \boldsymbol{\mathfrak{g}}\), and call it the derived algebra (or commutator algebra, or commutator ideal as \([\boldsymbol{\mathfrak{g}}, \boldsymbol{\mathfrak{g}}_{2} ] = \boldsymbol{g}_{2}\)). Define \(\boldsymbol{\mathfrak{g}}^{1} \equiv \boldsymbol{\mathfrak{g}}\), \(\boldsymbol{\mathfrak{g}}^{2} = [ \boldsymbol{\mathfrak{g}}, \boldsymbol{\mathfrak{g}}^{1}]\), \(\boldsymbol{\mathfrak{g}}^{3} = [ \boldsymbol{\mathfrak{g}}, \boldsymbol{\mathfrak{g}}^{2}] \ldots \boldsymbol{\mathfrak{g}}^{n} = [\boldsymbol{\mathfrak{g}},\boldsymbol{\mathfrak{g}}^{n-1} ]\). Then \(\boldsymbol{\mathfrak{g}}\) is nilpotent if \(\boldsymbol{\mathfrak{g}}^{n} = \{ \boldsymbol{0} \}\) for some \(n \in \mathbb{Z}\). Also define \(\boldsymbol{\mathfrak{g}}_{1} = \boldsymbol{\mathfrak{g}}\), \(\boldsymbol{\mathfrak{g}}_{2} = [ \boldsymbol{\mathfrak{g}}_{1}, \boldsymbol{\mathfrak{g}}_{1} ] \ldots \boldsymbol{\mathfrak{g}}_{n} = [ \boldsymbol{\mathfrak{g}}_{n-1}, \boldsymbol{\mathfrak{g}}_{n-1} ]\). Then \(\boldsymbol{\mathfrak{g}}\) is solvable if \(\boldsymbol{\mathfrak{g}}_{n} = \{ \boldsymbol{0} \}\) for some \(n \in \mathbb{Z}\). It will turn out, in the solvable case that we consider here, where \(\dim \boldsymbol{\mathfrak{g}} = 3\), that \([\boldsymbol{\mathfrak{g}}_{2} , \boldsymbol{\mathfrak{g}}_{2} ] = \{ \boldsymbol{0} \}\), so that the commutators of algebra elements commute with each other, and this simplifying factor facilitates many of the computations below.
-
In the case that \(\dim \boldsymbol{\mathfrak{g}}=3\), \(\boldsymbol{\mathfrak{g}}\) is simple if and only if \(\dim \boldsymbol{\mathfrak{g}}_{2} = 3\).
-
We shall construct canonical forms of the bracket relations, (1.20) or (1.21), explicitly, as many have done before, in cases where \(\dim \boldsymbol{\mathfrak{g}}_{2} \neq 3\), arriving at Jacobsen’s results, but follow a route which is a little different to Jacobsen’s, just to illustrate the method.
1.3 Outline of Content
We consider two-dimensional crystal states (1.18) and three-dimensional lattice algebras with basis (1.19). The task will be to identify, from amongst certain canonical forms of the lattice algebras and corresponding Lie groups, those which generate discrete structures along the lines indicated in Sect. 1.1. More precisely, we shall presume that the structures are produced by a definite iteration procedure—a starting point \(\boldsymbol{x}_{0} \in \varOmega \) is presumed given, and others are generated by discrete flow along the integral lines of the ‘primary’ lattice vector fields \(\boldsymbol{l}_{0}(\cdot )\) and \(\boldsymbol{l}_{1}(\cdot )\). It turns out that this procedure leads to the study of a subgroup of \(G\) generated by two group elements—we denote the two generators by \(a_{0}\) and \(a_{1}\), and the subgroup by \(D(a_{0},a_{1})\). There is a projection mapping \(\boldsymbol{\pi } \colon G \to \varOmega \), determined by the group action, which is such that \(\boldsymbol{\pi } (D(a_{0},a_{1}))\) is the structure produced by the iterative procedure above, and we study whether or not this structure is discrete. The contents of the paper are briefly as follows.
In Sect. 2 we recall various facts and definitions from the theory of Lie groups and homogeneous spaces. We introduce the algebra of right invariant fields on \(G\) and note that each such field is determined by its value at the group identity. We discuss group actions on a manifold briefly and note (as intimated in the previous section) that there is a Lie algebra homomorphism from the algebra of right invariant fields on \(G\) to the lattice algebra. We show how to construct the projection mapping \(\boldsymbol{\pi } \colon G \to \varOmega \) mentioned.
In Sect. 3 we focus on solvable Lie groups and algebras. We provide canonical forms of the algebras, to start, arriving at results in [12]. We use an ansatz to deduce one form of group composition function and then modify this via elastic deformation/group isomorphism to write the group composition as a semi-direct product which also has a matrix representation (in terms of \(4 \times 4\) matrices). This matrix representation is used in Anslander, Green and Hahn [13], and we recall and reformulate a couple of results from [13]. This work, [13], gives a list of discrete subgroups of \(G\) with compact fundamental domain, modulo group isomorphism—such subgroups have three generators (recall that we are interested in subgroups with two generators).
In Sect. 4 we derive canonical forms of the lattice vector fields \(\boldsymbol{l}_{0}(\cdot ), \boldsymbol{l}_{1} (\cdot )\) (and \([\boldsymbol{l}_{0},\boldsymbol{l}_{1}] (\cdot )\)), for unimodular solvable groups. We do this in two ways—one way is a direct analytical method which uses the bracket relations derived in Sect. 3 and assumed analyticity properties of the vector fields, the other way uses homogeneous space ideas. It seems to us that the latter method is a more algorithmic, simpler, process.
Finally, in Sect. 5, we calculate \(\boldsymbol{\pi } (D(a_{0},a_{1}))\) in each case, and determine whether or not this set is discrete.
1.4 Mechanical Context and Motivation
The constitutive functions, in this model of defective crystals, depend only on the point values of the lattice vector fields and certain of their directional derivatives, so that (from the continuum mechanics perspective) the ‘current’ set of vector fields determines the mechanical properties of the material—a priori there is no ‘reference’ or ‘intermediate’ configuration, and energy density, stress, etc., are to be determined by the point values of the current fields. With technical assumptions, these fields are enough to determine corresponding discrete structures (obtained by discrete flow along the lattice vector fields). For example, in the perfect crystal case, one obtains a perfect crystal lattice in this way, as described in Sect. 1.1(v)—this lattice has certain symmetries (because different choices of basis in (1.1) give the same lattice), in particular the crystallographic point groups are the orthogonal symmetries of the lattice.
Now, traditionally, in variational problems which purport to describe the mechanics of perfect crystals, the crystallographic point groups are taken as material symmetry groups of the corresponding energy density, and the set of competitor functions generally corresponds to elastic deformation of the crystal state. This procedure (if it is to be used with Davini’s model) requires one definition, and one fact: first one needs to know what is meant by elastic deformation of a crystal state defined by the lattice vector fields—it is usually stated that the lattice vector fields are embedded in the elastic deformation (which means that (1.4) above holds), or that the ‘Cauchy-Born hypothesis’ holds. Second one needs to know that the point group transformations, which map the discrete perfect lattice to itself, can be extended to a mapping of the continuum, i.e., that the crystallographic group transformations can be extended to elastic deformations (in fact one also needs to know that this extension is unique). Note that it is easy to verify this fact in this simple, perfect crystal, case.
This paper is part of a programme of work to set out the geometry of defective crystal states in low dimensions (dimensions 2 or 3), to study the corresponding discrete structures and their symmetries, to investigate whether or not these symmetries extend to ‘material symmetries’ of the continuum, and to consider corresponding variational problems. In effect, the geometric part of this amounts to the study of vector fields (or frames) on low dimensional manifolds—a great deal is known about this, of course.
The connection with the theory of Lie groups was outlined in Sect. 1.1(iv), and this allows us to discuss defective crystals of a certain ‘type’ mathematically. Viewed from a Lie group perspective, with the assumptions of Sect. 1.1(iv), the crystal state (that is, the distribution of lattice vector fields on the body manifold) is obtained as the projection of a distribution of well-defined fields on the Lie group (the group manifold is generally of higher dimension than the body manifold). The discrete structures, obtained as above, become projections of discrete subgroups of the continuous Lie group, and the question regarding whether or not the ‘symmetries’ of those structures extend in a certain way becomes a question of group theory. In fact, since the crystal state is obtained from a higher dimension Lie group via some projection, we are concerned with the theory of homogeneous spaces rather than Lie groups per se. It may be a surprise to the reader that the ‘one fact’ above, needed to extend point group symmetries to elastic deformation in the perfect crystal case, does not hold in full generality, though it is true in the various cases that we have considered explicitly so far. (It might be, then, that the Cauchy Born hypothesis cannot hold in principle, for sufficiently complex defective materials.)
We are concerned here just with one part of the programme, the derivation of discrete structures corresponding to particular three dimensional Lie groups acting on two dimensional continua. Cases where the dimension of the Lie group and the body manifold dimension are equal (\(=3\)), have been considered previously. We consider here neither the symmetries of the discrete structures, nor any related variational problems. However we note that issues relating to the formulation of variational problems, and particularly the selection of the competitor functions which strictly include the elastic deformations, are considered in [3, 4], and that corresponding rigorous calculations are given in Fonseca and Parry [14].
2 Lie Groups and Homogeneous Spaces
2.1 Lie Groups and Algebras
Let \(G\) be a Lie group, so that \(G\) has the structure of a manifold and the group multiplication and inverse maps are smooth. We consider three-dimensional Lie groups, so a group element is uniquely determined by three real numbers \(x_{0},x_{1},x_{2}\), called the coordinates of the group element. We identify the group element with its coordinates and write
We may suppose that the coordinate system is such that the group identity has coordinates \(0,0,0\), so we can say that
represents the group identity, as we did in the previous section. Let \(\boldsymbol{x}^{-1} \in G\) denote the inverse of \(\boldsymbol{x} \in G\). Let \(\boldsymbol{\psi } \colon G \times G \to G\) denote the group composition function, so that the coordinates of \(\boldsymbol{\psi } (\boldsymbol{x},\boldsymbol{y}) \in G\) are those of the product of \(\boldsymbol{x} \in G\) and \(\boldsymbol{y} \in G\). Then
Also the group product is associative, so
Let
and let
when \(\varepsilon _{ijk}\) are the components of the permutation symbol. The constants \(C_{ijk}\) are called the structure constants of the Lie algebra which corresponds to \(G\), with respect to the given choice of coordinates. The associativity of the group product implies that the structure constants satisfy the Jacobi identity, namely that
In general (that is, without reference to the above), a Lie algebra \(\mathfrak{g}\) is a vector space together with a bilinear, skew-symmetric ‘bracket’ product \([\cdot ,\cdot ] \colon \mathfrak{g} \times \mathfrak{g} \to \mathfrak{g}\) which satisfies the identity,
Note that if the vector space is \(\mathbb{R}^{3}\) and one sets
where \(\{ \boldsymbol{e}_{0},\boldsymbol{e}_{1},\boldsymbol{e}_{2} \}\) is a basis of \(\mathbb{R}^{3}\), and where the constants \(C_{ijk} = -C _{ikj}\) satisfy (2.7), then this particular bracket product is evidently bilinear and skew-symmetric, and it satisfies (2.8) (by virtue of (2.7)).
$$ \boldsymbol{x} \equiv \left ( \textstyle\begin{array}{l} x_{0} \\ x_{1} \\ x_{2} \end{array}\displaystyle \right ) \in G. $$
(2.1)
$$ \boldsymbol{0} \equiv \left ( \textstyle\begin{array}{l} 0 \\ 0 \\ 0 \end{array}\displaystyle \right ) \in G $$
(2.2)
$$ \boldsymbol{\psi } (\boldsymbol{0},\boldsymbol{x}) = \boldsymbol{\psi } ( \boldsymbol{x},\boldsymbol{0})=\boldsymbol{x}, \qquad \boldsymbol{\psi } \bigl( \boldsymbol{x}^{-1}, \boldsymbol{x}\bigr) = \boldsymbol{\psi } \bigl( \boldsymbol{x},\boldsymbol{x}^{-1} \bigr) = \boldsymbol{0}. $$
(2.3)
$$ \boldsymbol{\psi } \bigl( \boldsymbol{x}, \boldsymbol{\psi }( \boldsymbol{y}, \boldsymbol{z})\bigr) = \boldsymbol{\psi } \bigl( \boldsymbol{\psi } ( \boldsymbol{x},\boldsymbol{y}),\boldsymbol{z} \bigr) , \quad \boldsymbol{x}, \boldsymbol{y},\boldsymbol{z} \in G. $$
(2.4)
$$ A_{ijk} \equiv \frac{\partial ^{2} \psi _{i}}{\partial x_{j} \partial y_{k}} (\boldsymbol{x}, \boldsymbol{y}) \bigg|_{ \boldsymbol{x}=\boldsymbol{y}=\boldsymbol{0}}, \quad i,j,k=0,1,2, $$
(2.5)
$$ C_{ijk} \equiv A_{ijk} - A_{ikj} = \varepsilon _{sjk} \varepsilon _{spq} A_{ipq}, $$
(2.6)
$$ C_{ijk} C_{jrs} + C_{ijr} C_{jsk} + C_{ijs} C_{jkr} = 0. $$
(2.7)
$$ \bigl[\boldsymbol{X},[\boldsymbol{Y},\boldsymbol{Z}]\bigr] + \bigl[ \boldsymbol{Y},[ \boldsymbol{Z},\boldsymbol{X}]\bigr] + \bigl[\boldsymbol{Z},[ \boldsymbol{X}, \boldsymbol{Y}]\bigr]=\boldsymbol{0}, \quad \boldsymbol{X}, \boldsymbol{Y}, \boldsymbol{Z} \in \mathfrak{g}. $$
(2.8)
$$ [\boldsymbol{X},\boldsymbol{Y}] = C_{ijk} X_{j} Y_{k} \boldsymbol{e} _{i}, $$
(2.9)
2.2 Right Invariant Fields
If one fixes \(\boldsymbol{y} \in G\), then the function \(\boldsymbol{\psi }(\cdot ,\boldsymbol{y}) \colon G \to G\) represents multiplication on the right by \(\boldsymbol{y}\), and the gradient of this function will be denoted \(\nabla _{1} \boldsymbol{\psi }(\cdot , \boldsymbol{y})\). A vector field \(\boldsymbol{\nu }\) is an object defined at each \(\boldsymbol{x} \in G\) taking values in the tangent space to the group manifold at \(\boldsymbol{x}\). The tangents to the three coordinate curves in the group manifold provide a basis for the tangent space at a given \(\boldsymbol{x} \in G\) and we write the components of \(\boldsymbol{\nu }\) as \(\left ( {\scriptsize\begin{matrix}{} v_{0} (\boldsymbol{x}) \cr v_{1}(\boldsymbol{x}) \cr v_{2}(\boldsymbol{x}) \end{matrix}} \right ) \) with respect to this basis, at this point.
The vector field \(\boldsymbol{\nu }\) is said to be right invariant with respect to the composition function \(\boldsymbol{\psi }\) if
Given a vector field \(\boldsymbol{\nu }\), the integral curve \(\boldsymbol{x}(t)\) passing through initial point \(\boldsymbol{x}_{0}\), associated with \(\boldsymbol{\nu }\), is the solution of the ordinary differential equation
It can be shown that the integral curve corresponding to a right invariant vector field is complete, in the sense that (2.11) has a solution well defined for all real values \(t\). So, for each \(t \in \mathbb{R}\), one can define a mapping \(\exp (t \boldsymbol{\nu }) \colon G \to G\) by
where \(\boldsymbol{x}(t)\) is the integral curve passing through initial point \(\boldsymbol{x}_{0}\), associated with (the right invariant vector field) \(\boldsymbol{\nu }\). One also defines the point \(e^{t \nu } \in G\) by
It is standard that
so that the flow corresponding to the mapping \(\exp (t \boldsymbol{\nu })\) is simply related to the integral curve which passes through the origin.
$$ \boldsymbol{\nu } \bigl(\boldsymbol{\psi }(\boldsymbol{x},\boldsymbol{y})\bigr) = \nabla _{1} \boldsymbol{\psi } (\boldsymbol{x},\boldsymbol{y}) \boldsymbol{\nu } (\boldsymbol{x}), \quad \boldsymbol{x}, \boldsymbol{y} \in G. $$
(2.10)
$$ \frac{d \boldsymbol{x}}{dt} (t) = \boldsymbol{\nu } \bigl(\boldsymbol{x}(t)\bigr), \quad \boldsymbol{x}(0) = \boldsymbol{x}_{0}. $$
(2.11)
$$ \exp (t \boldsymbol{\nu }) (\boldsymbol{x}_{0}) = \boldsymbol{x}(t), \quad \boldsymbol{x} \in U, $$
(2.12)
$$ e^{t \nu } \equiv \exp (t \boldsymbol{\nu }) (\boldsymbol{0}). $$
(2.13)
$$ \exp (t \boldsymbol{\nu }) (\boldsymbol{x}) = \boldsymbol{\psi } \bigl(e ^{t \boldsymbol{\nu }}, \boldsymbol{x}\bigr) $$
(2.14)
The points \(\{ \boldsymbol{x}(t), \, t \in \mathbb{R} \}\) which make up the integral curve of a right invariant field \(\boldsymbol{\nu }\), passing through the origin, are the elements of a one parameter subgroup of \(G\), so that
and the converse is also true (see Pontryagin [15], for example). This one parameter subgroup may be written as \(e^{\langle \boldsymbol{\nu } \rangle }\), where \(\langle \boldsymbol{\nu } \rangle = \{ t \boldsymbol{\nu }; \, t \in \mathbb{R} \}\) is the span of \(\boldsymbol{\nu }\), and \(\boldsymbol{\nu } \equiv \boldsymbol{\nu } ( \boldsymbol{0})\).
$$ \boldsymbol{\psi } \bigl( \boldsymbol{x}(t), \boldsymbol{x}(s)\bigr) = \boldsymbol{x}(t+s), \quad t,s \in \mathbb{R}, $$
(2.15)
The set of right invariant fields is a vector space with respect to pointwise addition and real scalar multiplication. Indeed note that by differentiating (2.4) with respect to \(\boldsymbol{x}\) and then putting \(\boldsymbol{x}=\boldsymbol{0}\),
Then by comparing (2.16) and (2.10) one sees that the three vector fields whose components are given by
are right invariant, and one may show that these three fields together form a basis for the set of all right invariant fields. Also, by putting \(\boldsymbol{x}=\boldsymbol{0}\) in (2.10), one notes that any right invariant field is determined by its value at the group identity. Thus for any right invariant field \(\boldsymbol{\nu }(\cdot )\) with components \(\nu _{i} (\cdot )\), \(i=0,1,2\), we have
$$ \nabla _{1} \boldsymbol{\psi } \bigl( \boldsymbol{0}, \boldsymbol{\psi }( \boldsymbol{y},\boldsymbol{z})\bigr) = \nabla _{1} \boldsymbol{\psi } ( \boldsymbol{y},\boldsymbol{z}) \nabla _{1} \boldsymbol{\psi } ( \boldsymbol{0},\boldsymbol{y}). $$
(2.16)
$$ \boldsymbol{l}_{a} (\boldsymbol{y}) \equiv \left ( \textstyle\begin{array}{l} \frac{\partial \psi _{0}}{\partial x_{a}} (\boldsymbol{0}, \boldsymbol{y}) \\ \frac{\partial \psi _{1}}{\partial x_{a}} (\boldsymbol{0}, \boldsymbol{y}) \\ \frac{\partial \psi _{2}}{\partial x_{a}} (\boldsymbol{0}, \boldsymbol{y}) \end{array}\displaystyle \right ) , \quad a=0,1,2, $$
(2.17)
$$ \nu _{i} (\boldsymbol{y}) = \frac{\partial \psi _{i}}{\partial x_{a}} ( \boldsymbol{0}, \boldsymbol{y}) \nu _{a} (\boldsymbol{0}). $$
(2.18)
2.3 Lie Algebras of Right Invariant Fields
Let \(\boldsymbol{l}(\cdot ),\boldsymbol{m}(\cdot )\) be right invariant fields with components \(l_{i}(\cdot ),m_{i}(\cdot )\), \(i=0,1,2\) respectively. Then from (2.18),
One calculates that the \(i\)th component of \(\{ ( \boldsymbol{m} . \nabla )\boldsymbol{l}-(\boldsymbol{l}.\nabla ) \boldsymbol{m} \} ( \boldsymbol{y})\) is
so that from (2.5) and (2.6), the \(i\)th component of
is
Bearing (2.9) and (2.21) in mind, define the Lie bracket of vector fields (not necessarily right invariant vector fields) by
again noting the sign convention. For right invariant fields \(\boldsymbol{l}(\cdot )\) and \(\boldsymbol{m}(\cdot )\), we have from (2.21) that the \(i\)th component of the Lie bracket is
Putting \(\boldsymbol{l}(\boldsymbol{0}) \equiv \boldsymbol{l}\), \(\boldsymbol{m}(\boldsymbol{0})=\boldsymbol{m}\), \(l_{i}( \boldsymbol{0}) \equiv l_{i}\), \(m_{i}(\boldsymbol{0}) \equiv m_{i}\), this gives
Comparing with (2.9), we see that the set of right invariant vector fields, with this choice of Lie bracket, gives a Lie algebra. (One can show that the Lie bracket of right invariant fields is right invariant.) Thus one can think of the Lie algebra of \(G\) either as the vector space \(\mathbb{R}^{3}\), with Lie bracket (2.9), or as the vector space of right invariant fields with Lie bracket (2.22). We shall denote the Lie algebra of \(G\) by \(\boldsymbol{\mathfrak{g}}\), not distinguishing between these two interpretations.
$$ l_{i} (\boldsymbol{y}) = \frac{\partial \psi _{i}}{\partial x_{a}} ( \boldsymbol{0}, \boldsymbol{y}) \boldsymbol{l}_{a} (\boldsymbol{0}), \qquad m_{i} (\boldsymbol{y}) = \frac{\partial \psi _{i}}{\partial x _{a}} (\boldsymbol{0}, \boldsymbol{y}) m_{a} (\boldsymbol{0}). $$
(2.19)
$$ m_{b} (\boldsymbol{y}) \frac{\partial ^{2} \psi _{i}}{\partial x_{a} \partial y_{b}} (\boldsymbol{0}, \boldsymbol{y}) l_{a} (0) - l_{b} ( \boldsymbol{y}) \frac{\partial ^{2} \psi _{i}}{\partial x_{a} \partial y_{b}} (\boldsymbol{0},\boldsymbol{y}) m_{a} ( \boldsymbol{0}), $$
(2.20)
$$\bigl\{ (\boldsymbol{m}.\nabla ) \boldsymbol{l} - ( \boldsymbol{l} . \nabla ) \boldsymbol{m} \bigr\} (\boldsymbol{0}) $$
$$ A_{ijk} l_{j} (\boldsymbol{0}) m_{k} ( \boldsymbol{0}) - A_{ikj} l_{j} (\boldsymbol{0}) m_{k} (\boldsymbol{0}) \equiv C_{ijk} l_{j} ( \boldsymbol{0}) m_{k} (\boldsymbol{0}). $$
(2.21)
$$ \bigl[ \boldsymbol{l}(\cdot ),\boldsymbol{m}(\cdot )\bigr] = \bigl\{ ( \boldsymbol{m}. \nabla ) \boldsymbol{l} - (\boldsymbol{l}.\nabla ) \boldsymbol{m} \bigr\} ( \cdot ), $$
(2.22)
$$ \bigl[\boldsymbol{l}(\boldsymbol{\boldsymbol{0}}),\boldsymbol{m}( \boldsymbol{0})\bigr]_{i} = C_{ijk} l_{j}( \boldsymbol{0}) m_{k} ( \boldsymbol{0}), \quad i=0,1,2. $$
(2.23)
$$ [\boldsymbol{l},\boldsymbol{m}]_{i} = C_{ijk}l_{j} m_{k} . $$
(2.24)
2.4 Group and Algebra Homomorphisms
Let \(\mathfrak{g}\) and \(\mathfrak{h}\) be Lie algebras with Lie brackets \([\cdot , \cdot ]_{\mathfrak{g}}, [\cdot ,\cdot ]_{\mathfrak{h}}\) respectively. (In the context of this paper, both brackets \([\cdot , \cdot ]_{\mathfrak{g}},[\cdot ,\cdot ]_{\mathfrak{h}}\) map \(\mathbb{R}^{3} \times \mathbb{R}^{3} \to \mathbb{R}^{3}\).) A Lie algebra homomorphism is a linear transformation \(L \colon \mathfrak{g} \to \mathfrak{h}\) which satisfies
If \(C_{ijk}^{\mathfrak{g}},C_{ijk}^{\mathfrak{h}}\) are the structure constants for \(\mathfrak{g},\mathfrak{h}\) with respect to bases \(\{ \boldsymbol{e}_{i} \}, \{ \boldsymbol{f}_{i} \}\) respectively, then
where \(L \boldsymbol{e}_{i} = L_{ji} \boldsymbol{f}_{j}\), \(i,j=0,1,2\).
$$ [L\boldsymbol{x},L\boldsymbol{y}]_{\mathfrak{h}} = L[\boldsymbol{x}, \boldsymbol{y}]_{\mathfrak{g}}, \quad \boldsymbol{x},\boldsymbol{y} \in \mathfrak{g}. $$
(2.25)
$$ C_{ijk}^{\mathfrak{h}} L_{jp} L_{kq} = L_{ir} C_{rpq}^{\mathfrak{g}}, $$
(2.26)
Let \(G\) and \(H\) be Lie groups with group multiplication functions \(\boldsymbol{\psi }_{G},\boldsymbol{\psi }_{H}\) respectively. A smooth mapping \(\boldsymbol{\phi } \colon G \to H\) is a Lie group homomorphism if
$$ \boldsymbol{\psi }_{H} \bigl( \boldsymbol{\phi }(\boldsymbol{x}), \boldsymbol{\phi }(\boldsymbol{y})\bigr) = \boldsymbol{\phi } \bigl( \boldsymbol{ \psi }_{G} (\boldsymbol{x},\boldsymbol{y})\bigr), \quad \boldsymbol{x},\boldsymbol{y} \in G. $$
(2.27)
If \(\mathfrak{g}\) is the Lie algebra of \(G\), and \(\mathfrak{h}\) is the Lie algebra of \(H\), and \(\boldsymbol{\phi } \colon G \to H\) is a Lie group homomorphism, then \(\nabla \boldsymbol{\phi } (\boldsymbol{0}) \equiv L\) is a Lie algebra homomorphism. Conversely if \(L\) satisfies (2.25), then there exists a Lie group homomorphism \(\boldsymbol{\phi }\) such that \(\nabla \boldsymbol{\phi } ( \boldsymbol{0}) = L\). Also,
where \(\boldsymbol{\phi }\) satisfies (2.27), where the exponential on the left hand side of (2.28) is the exponential which maps \(\mathfrak{g}\) to \(G\), and that on the right hand side maps \(\mathfrak{h}\) to \(H\). Relation (2.28) allows one to calculate the Lie group homomorphisms explicitly if the Lie algebra homomorphisms are found by solving (2.26). \(\boldsymbol{\phi } \colon G \to G\) (resp. \(L \colon \mathfrak{g} \to \mathfrak{g}\)) is called an automorphism. (\(\boldsymbol{\phi }(\cdot )\) and \(\boldsymbol{\phi }^{-1}(\cdot )\) have to be smooth.)
$$ \boldsymbol{\phi } \bigl(e^{\boldsymbol{\nu }}\bigr) = e^{(\nabla \boldsymbol{\phi } (\boldsymbol{0})\boldsymbol{\nu })}, \quad \boldsymbol{\nu } \in \mathfrak{g} \equiv \mathbb{R}^{3} , $$
(2.28)
Now suppose that, in (2.26), \(L\) is invertible, so that the dimensions of \(\boldsymbol{\mathfrak{g}}\) and \(\boldsymbol{\mathfrak{h}}\) are necessarily the same, and suppose that the structure constants in \(\boldsymbol{\mathfrak{g}}\) are known. We can use (2.26) to find the structure constants in \(\boldsymbol{\mathfrak{h}}\):
For three-dimensional Lie algebras, define
where \(\varepsilon _{mpq}\) is the permutation symbol, so that
Since
we find that
Thus
Later, we shall use (2.33) to transform the structure constants to some simple canonical forms. Later, too, we shall also use the automorphisms of \(\boldsymbol{\mathfrak{h}}\), namely those invertible transformations \(L\) which satisfy
to simplify further calculations.
$$ C_{ipq}^{(\boldsymbol{\mathfrak{h}})} = L_{ir} C_{rjk}^{( \boldsymbol{\mathfrak{g}})} L_{jp}^{-1} L_{kq}^{-1}. $$
(2.29)
$$ T_{im}^{(\boldsymbol{\mathfrak{h}})} = C_{ipq}^{( \boldsymbol{\mathfrak{h}})} \varepsilon _{mpq}, $$
(2.30)
$$ T_{im}^{(\boldsymbol{\mathfrak{h}})} = L_{ir} C_{rjk}^{( \boldsymbol{\mathfrak{g}})} \bigl( \varepsilon _{mpq} L^{-1}_{jp} L^{-1} _{kq}\bigr). $$
$$ L_{sm}^{-1} \bigl( \varepsilon _{mpq} L^{-1}_{jp} L^{-1}_{kq} \bigr) = \frac{1}{ \det L} \varepsilon _{mpq}, $$
(2.31)
$$ T_{im}^{(\boldsymbol{\mathfrak{h}})} = L_{ir} C_{rjk}^{( \boldsymbol{\mathfrak{g}})} \biggl( \frac{1}{\det L} \varepsilon _{sjk} L_{ms} \biggr) = \frac{1}{\det L} L_{ir} T_{rs}^{( \boldsymbol{\mathfrak{g}})} L_{ms}. $$
(2.32)
$$ T^{(\boldsymbol{\mathfrak{h}})} = \frac{1}{\det L} LT^{( \boldsymbol{\mathfrak{g}})} L^{T}. $$
(2.33)
$$ T^{(\boldsymbol{\mathfrak{h}})} = \frac{1}{\det L} LT^{( \boldsymbol{\mathfrak{h}})} L^{T}, $$
(2.34)
2.5 Left Action of a Group on a Manifold
Let \(\boldsymbol{\lambda } \colon G \times M \to M\) denote a left action of the Lie group \(G\) on the manifold \(M\), so that for \(m \in M\), \(\boldsymbol{g}_{1}, \boldsymbol{g}_{2} \in G\),
The infinitesimal generators of the group action are defined as
$$ \boldsymbol{\lambda } (\boldsymbol{0},m)=m, \qquad \lambda \bigl( \boldsymbol{g}_{1}, \lambda ( \boldsymbol{g}_{2},m)\bigr) = \lambda \bigl( \boldsymbol{\psi } ( \boldsymbol{g}_{1}, \boldsymbol{g}_{2}),m\bigr). $$
(2.35)
$$ \boldsymbol{l}_{\boldsymbol{v}} (m) = \nabla _{1} \boldsymbol{\lambda } (\boldsymbol{0},m) \boldsymbol{v}, \quad \boldsymbol{v} \in \boldsymbol{ \mathfrak{g}}, \, m \in M . $$
(2.36)
Note particularly that \(\nabla _{1} \boldsymbol{\lambda } (\boldsymbol{0},m)\) maps elements of \(\boldsymbol{\mathfrak{g}}\) to vector fields on \(M\), and that it can be shown that this mapping is a Lie algebra homomorphism (from \(\boldsymbol{\mathfrak{g}}\) to the lattice algebra). Thus
$$ \nabla _{1} \boldsymbol{\lambda } (\boldsymbol{0},m) [\boldsymbol{v}, \boldsymbol{w}] = \bigl[ \nabla _{1} \boldsymbol{\lambda } ( \boldsymbol{0},m) \boldsymbol{v}, \nabla _{1} \boldsymbol{\lambda } ( \boldsymbol{0},m) \boldsymbol{w}\bigr], \quad \boldsymbol{v},\boldsymbol{w} \in \boldsymbol{\mathfrak{g}}, \, m \in M . $$
(2.37)
Also we have the following result (anticipated in Sect. 1): let \(\boldsymbol{w}_{0}(\cdot ),\boldsymbol{w}_{1}(\cdot ), \boldsymbol{w}_{2}(\cdot )\) be vector fields on \(M\) such that \([\boldsymbol{w}_{i},\boldsymbol{w}_{j}](\cdot ) = C_{kij} w_{k} ( \cdot )\), \(i,j,k = 0,1,2\), for constant \(C_{kij}=-C_{kji}\) satisfying the Jacobi identity (2.7). Then there exists a Lie group \(G\), corresponding Lie algebra \(\boldsymbol{\mathfrak{g}}\) with (the same) structure constants \(C_{ijk}\) relative to some basis \(\boldsymbol{v}_{0},\boldsymbol{v}_{1},\boldsymbol{v}_{2}\) of \(\boldsymbol{\mathfrak{g}}\), and a (local) group action \(\boldsymbol{\lambda } \colon G \times M \to M\) such that for \(m \in M\),
see [7, 9, 10].
$$ \boldsymbol{w}_{i}(m)=\nabla _{1} \boldsymbol{\lambda } ( \boldsymbol{0},m) \boldsymbol{v}_{i}, \quad i=0,1,2, $$
(2.38)
Finally, in this subsection, by differentiating (2.35)2 with respect to \(\boldsymbol{g}_{1}\), setting \(\boldsymbol{g}_{1}= \boldsymbol{0}\) and \(\boldsymbol{g}_{2} = \boldsymbol{g} \in G\) we get
so if \(\boldsymbol{v} \in \boldsymbol{\mathfrak{g}}\),
The term in brackets in (2.40) is the right invariant field \(\boldsymbol{v}(\cdot )\), with \(\boldsymbol{v}(\boldsymbol{0})= \boldsymbol{v}\), evaluated at \(\boldsymbol{g} \in G\), and the left side of (2.40) is an infinitesimal generator of the group action, recalling (2.36). So for \(\boldsymbol{v} \in \boldsymbol{\mathfrak{g}}\),
and this relation connects the right invariant field \(\boldsymbol{v}( \cdot )\) with the infinitesimal generator \(\boldsymbol{l}_{v} (\cdot )\), \(\boldsymbol{v}=\boldsymbol{v}(\boldsymbol{0})\). Note that \(\nabla _{1} \boldsymbol{\lambda } (\cdot , \cdot )\) is singular in the case that the dimensions of \(M\) and \(\boldsymbol{\mathfrak{g}}\) are different.
$$ \nabla _{1} \boldsymbol{\lambda } \bigl( \boldsymbol{0},\lambda ( \boldsymbol{g},m)\bigr) = \nabla _{1} \boldsymbol{\lambda } ( \boldsymbol{g},m) \nabla _{1} \boldsymbol{\psi } (\boldsymbol{0}, \boldsymbol{g}), $$
(2.39)
$$ \nabla _{1} \boldsymbol{\lambda } \bigl(\boldsymbol{0},\lambda ( \boldsymbol{g},m)\bigr) \boldsymbol{v} = \nabla _{1} \boldsymbol{\lambda } ( \boldsymbol{g},m) \bigl\{ \nabla _{1} \boldsymbol{\psi } ( \boldsymbol{0}, \boldsymbol{g}) \boldsymbol{v} \bigr\} . $$
(2.40)
$$ \boldsymbol{l}_{\boldsymbol{v}} \bigl( \boldsymbol{\lambda }( \boldsymbol{g},m) \bigr) = \nabla _{1} \boldsymbol{\lambda } (\boldsymbol{0},m) \boldsymbol{v}(\boldsymbol{g}), $$
(2.41)
2.6 Homogeneous Space
Define the isotropy group of the left action \(\boldsymbol{\lambda } \colon G \times M \to M\) by
for any \(m \in M\), and suppose that the action is transitive, so
for any \(m \in M\). Then \((G,M)\) is called a homogeneous space.
$$ I_{m} = \bigl\{ \boldsymbol{g} \in G \colon \boldsymbol{\lambda } ( \boldsymbol{g},m)=m \bigr\} , $$
(2.42)
$$ \boldsymbol{\lambda }(G,m) = M, $$
(2.43)
Let \(H\) be a subgroup of \(G\) and define the left coset space \(G/H\) by
Note that if two group elements are juxtaposed, one should understand group composition, i.e., if \(\boldsymbol{a},\boldsymbol{b} \in G\), \(\boldsymbol{ab} \equiv \psi (\boldsymbol{a},\boldsymbol{b})\), so \(\boldsymbol{k} H \equiv \{ \boldsymbol{\psi } (\boldsymbol{k}, \boldsymbol{h}); \boldsymbol{h} \in H \}\), in particular.
$$ G/H = \{ \boldsymbol{k} H ; \boldsymbol{k} \in G \}. $$
(2.44)
According to Komrakov [16], we have the following results:
-
If \(H\) is a closed subgroup of \(G\), then \(G/H\) can be given the structure of a manifold, with \(\boldsymbol{\lambda } \colon G \times G/H \to G/H\) defined by \(\boldsymbol{\lambda } ( \boldsymbol{g}, \boldsymbol{k}H)=\boldsymbol{\psi }(\boldsymbol{g},\boldsymbol{k})H\) smooth and transitive. Then \((G,G/H)\) is a homogeneous space.
-
If \((G,M)\) is a homogeneous space, and \(m \in M\), then \(I_{m}\) is a closed subgroup of \(G\).
So, given a transitive group action \(\boldsymbol{\lambda }\), any isotropy group is a closed subgroup of \(G\), and given any closed subgroup of \(G\) one can construct a corresponding group action. In fact, define the projection mapping \(\boldsymbol{\pi } \colon G \to G/H\) by \(\boldsymbol{\pi } (\boldsymbol{g}) = \boldsymbol{g}H\) and choose a section\(\boldsymbol{\sigma } \colon G/H \to G\) such that \(\boldsymbol{\pi } ( \boldsymbol{\sigma }(\boldsymbol{g}H))= \boldsymbol{g}H\). (Note that it is not generally true that there exists a well defined global section, but that we verify the existence of such a section in each case of interest below.) Then \(\boldsymbol{\lambda }\) can be expressed as:
and this shows how to construct the group action from any closed subgroup. (Note that \(\boldsymbol{\lambda }\), defined by (2.45), is independent of the choice of section.) One can also show that
if \(\boldsymbol{\lambda }\) is so expressed, so any closed subgroup is an isotropy group.
$$ \boldsymbol{\lambda }(\boldsymbol{g},\boldsymbol{k}H) = \boldsymbol{\pi } \bigl( \boldsymbol{\psi } \bigl( \boldsymbol{g}, \boldsymbol{\sigma }(\boldsymbol{k}H) \bigr)\bigr), $$
(2.45)
$$ H=I_{\boldsymbol{\pi }(\boldsymbol{0})}, $$
(2.46)
2.7 Flow Along Infinitesimal Generators
Recall that infinitesimal generators of the group action are defined, for any \(\boldsymbol{v} \in \boldsymbol{\mathfrak{g}}\), by
The flow along these vector fields corresponds, by definition, to the solution \(\{ m(\varepsilon ); \varepsilon \in \mathbb{R} \}\) of
given \(\boldsymbol{g} \in G\), \(m \in M\). It can be shown, as in [1], that
so that the flow along the infinitesimal generators, or lattice vector fields, in \(\varOmega \), corresponds to multiplication by elements of a one parameter subgroup of \(G\), modulo the group action. (Also recall that, in (2.49), \(e^{\varepsilon \boldsymbol{v}} \boldsymbol{g}\) means \(\boldsymbol{\psi }(e^{\varepsilon \boldsymbol{v}},\boldsymbol{g})\).)
$$ \boldsymbol{l}_{\boldsymbol{v}} (m) = \nabla _{1} \boldsymbol{\lambda }(\boldsymbol{0},m)\boldsymbol{v}, \quad m \in M. $$
(2.47)
$$ \frac{d}{d \varepsilon } m(\varepsilon ) = \boldsymbol{l}_{ \boldsymbol{v}} \bigl(m( \varepsilon )\bigr), \quad m(0)= \boldsymbol{\lambda } ( \boldsymbol{g},m) $$
(2.48)
$$ m(\varepsilon )=\boldsymbol{\lambda } \bigl(e^{\varepsilon \boldsymbol{v}} \boldsymbol{g},m \bigr), $$
(2.49)
3 Solvable Groups and Algebras
First we investigate three-dimensional solvable Lie algebras \(\boldsymbol{\mathfrak{g}}\) with derived algebra \(\boldsymbol{\mathfrak{g}}_{2}\) of dimension 1 or 2. Then we construct the corresponding groups and reformulate results of [13] which list the (three generator) discrete subgroups (with compact fundamental domain) of the ‘canonical’ three dimensional Lie groups.
3.1 \(\dim \boldsymbol{\mathfrak{g}}_{2}=1\)
Since \(\boldsymbol{\mathfrak{g}}_{2}\) is one-dimensional we can assume it has basis \(\boldsymbol{e}_{1}\), so
$$ T^{(\boldsymbol{\mathfrak{g}})} = \left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} 0&0&0 \\ \alpha &\beta &\gamma \\ 0&0&0 \end{array}\displaystyle \right ) , \quad \alpha ^{2} + \beta ^{2} + \gamma ^{2} > 0. \quad ( \text{We take } \boldsymbol{e}_{0},\boldsymbol{e}_{1}, \boldsymbol{e}_{2} \text{ as a basis of } \boldsymbol{\mathfrak{g}}.) $$
(3.1)
If \(\alpha = \gamma = 0\), \(\beta \neq 0\), take \(L = \operatorname{diag} (1, 2/\beta ,1)\) in (2.33) to get
Since from (2.30)
such \(T^{(\boldsymbol{\mathfrak{h}})}\) corresponds to a Lie algebra with basis \(\boldsymbol{u},\boldsymbol{v},\boldsymbol{w}\) satisfying the commutation relations
This defines the three-dimensional nilpotent Lie algebra considered in [1], so we do not consider this case any further here. So assume that not both of \(\alpha \) and \(\gamma \) are zero in (3.1). Since permutation matrices are allowed (for \(L\)) in (2.33) we can assume that \(\gamma \neq 0\). Take
and calculate that
By choosing \(x_{3} = \frac{1}{2} \gamma \), \(x_{0} = - \frac{1}{2} \alpha \), \(x_{1} = - \beta / \gamma \), \(x_{2}=2/\gamma \), we get
Such \(T^{(\boldsymbol{\mathfrak{h}})} \equiv T\) corresponds to a solvable Lie algebra with basis \(\boldsymbol{u},\boldsymbol{v}, \boldsymbol{w}\) satisfying
Note that the Jacobi identity is satisfied, when (3.7) holds.
$$ T^{(\boldsymbol{\mathfrak{h}})} = \left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} 0&0&0 \\ 0&2&0 \\ 0&0&0 \end{array}\displaystyle \right ) . $$
(3.2)
$$ 2 C_{irs}^{(\boldsymbol{\mathfrak{h}})} = T_{im}^{( \boldsymbol{\mathfrak{h}})} \varepsilon _{mrs}, $$
(3.3)
$$ [ \boldsymbol{u},\boldsymbol{v}] = \boldsymbol{w}, \qquad [ \boldsymbol{u}, \boldsymbol{w}] = [\boldsymbol{v},\boldsymbol{w}] = \boldsymbol{0}. $$
(3.4)
$$ L = \left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} x_{3}&0&x_{0} \\ 0&1&x_{1} \\ 0&0&x_{2} \end{array}\displaystyle \right ) , \quad x_{2} x_{3} \neq 0, $$
(3.5)
$$ T^{(\boldsymbol{\mathfrak{h}})} = \frac{1}{\det L} LT^{( \boldsymbol{\mathfrak{g}})} L^{T} = \frac{1}{x_{2}x_{3}} \left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} 0&0&0 \\ x_{3} \alpha + x_{0} \gamma &\beta +x_{1} \gamma &x_{2} \gamma \\ 0&0&0 \end{array}\displaystyle \right ) . $$
(3.6)
$$ T^{(\boldsymbol{\mathfrak{h}})}=\left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} 0&0&0 \\ 0&0&2 \\ 0&0&0 \end{array}\displaystyle \right ) \equiv T. $$
$$ [\boldsymbol{u},\boldsymbol{v}] = \boldsymbol{v}, \qquad [ \boldsymbol{u}, \boldsymbol{w}] = [\boldsymbol{v},\boldsymbol{w}] = \boldsymbol{0}. $$
(3.7)
Now consider the automorphisms of the algebra, when \(T\) has the form (3.6). From (2.34) we get
where ∗ denotes a number that plays no role in the calculation. Since \(L\) is non-singular, the first and last row conditions imply that \(L_{01} = L_{21} = 0\). The second row condition implies that \(L_{11} \neq 0\), \(L_{02} = L_{12} = 0\), \(L_{11} L_{22} / \det L = 1\), thus \(L_{00} = 1\). Therefore
$$ \left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} 0&0&0 \\ 0&0&2 \\ 0&0&0 \end{array}\displaystyle \right ) = \frac{2}{\det L} \left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} 0&0&L_{01} \\ 0&0&L_{11} \\ 0&0&L_{21} \end{array}\displaystyle \right ) \left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} \ast &\ast &\ast \\ \ast &\ast &\ast \\ L_{02}&L_{12}&L_{22} \end{array}\displaystyle \right ) , $$
(3.8)
$$ L = \left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} 1&0&0 \\ L_{10}&L_{11}&0 \\ L_{20}&0&L_{22} \end{array}\displaystyle \right ) , \quad L_{11} L_{22} \neq 0. $$
(3.9)
Remarks
-
If \(\boldsymbol{h} = s_{i} \boldsymbol{f}_{i}\) is a non-zero element of the Lie algebra (3.7), with \(\boldsymbol{u}=\boldsymbol{f}_{0}\), \(\boldsymbol{v}=\boldsymbol{f}_{1}\), \(\boldsymbol{w} \equiv \boldsymbol{f}_{2}\), and if \(L\) is an automorphism of the form (3.9), thenwhere$$ L \boldsymbol{h} = (L_{ij} s_{j}) \boldsymbol{f}_{i} \equiv t_{i} \boldsymbol{f}_{i}, $$(3.10)Then if \(s_{0} \neq 0\) we can choose \(L_{10},L_{20}\) so that \(t_{1} = t_{2} = 0\), so that \(\langle \boldsymbol{h} \rangle \) is mapped by an algebra automorphism to \(\langle \boldsymbol{f}_{0} \rangle \). If \(s_{0} = 0\), we can choose \(L_{11},L_{22}\) to rescale coordinates, and bring \(\langle \boldsymbol{h} \rangle \) to one of the forms \(\langle \boldsymbol{f}_{1} \rangle \), \(\langle \boldsymbol{f}_{2} \rangle \), \(\langle \boldsymbol{f}_{1} + \boldsymbol{f}_{2} \rangle \).$$ t_{0} = s_{0}, \qquad t_{1} = L_{10} s_{0} + L_{11} s_{1}, \qquad t_{2} = L_{20} s_{0} + L_{22} s_{2}. $$(3.11)
-
If one replaces \(\boldsymbol{w}\) by \(\tilde{\boldsymbol{w}}= \boldsymbol{w}+\boldsymbol{v}\) in (3.7), the commutation relations becomeand, with this choice of basis, these relations have the form (1.21).$$ [\boldsymbol{u},\boldsymbol{v}] = \boldsymbol{v}, \qquad [ \boldsymbol{u},\bar{ \boldsymbol{w}}] = \boldsymbol{v}, \qquad [ \boldsymbol{v},\bar{\boldsymbol{w}}]= \boldsymbol{0}, $$(3.12)
3.2 \(\dim \boldsymbol{\mathfrak{g}}_{2}=2\)
Here we can assume that \(\boldsymbol{\mathfrak{g}}_{2}\) is spanned by \(\boldsymbol{e}_{1}\) and \(\boldsymbol{e}_{2}\), so \(T^{( \boldsymbol{\mathfrak{g}})}\) is of the form
where \(Q\) is a \(2 \times 2\) matrix. Under a particular transformation of the form
where \(M\) is a non-singular \(2 \times 2\) matrix, \(T^{( \boldsymbol{\mathfrak{g}})}\) transforms as follows, via (2.33):
We shall show that \(\boldsymbol{a} = \boldsymbol{0}\), by contradiction. So suppose \(\boldsymbol{a} \neq 0\) and choose \(M\) such that \(\frac{M\boldsymbol{a}}{\det M} = \left ( {\scriptsize\begin{matrix}{} 2 \cr 0 \end{matrix}} \right ) \) to get
This corresponds to the commutation relations
However from the Jacobi identity we obtain \(q_{22} \boldsymbol{f}_{2} + q_{21} \boldsymbol{f}_{1} = \boldsymbol{0}\), which implies that \(q_{22} = q_{21} = 0\). But this implies that \(\dim \boldsymbol{\mathfrak{g}}_{2} = 1\), contrary to supposition. So \(\boldsymbol{a}=\boldsymbol{0}\) if \(\dim \boldsymbol{\mathfrak{g}} _{2} = 2\).
(3.13)
(3.14)
(3.15)
$$ T^{(\boldsymbol{\mathfrak{h}})} = 2 \left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} 0&0&0 \\ 1&q_{11}&q_{12} \\ 0&q_{21}&q_{22} \end{array}\displaystyle \right ) . $$
(3.16)
$$ \begin{aligned} &[\boldsymbol{f}_{1},\boldsymbol{f}_{2}] = \boldsymbol{f}_{1}, \\ & [\boldsymbol{f}_{2},\boldsymbol{f}_{0}] = q_{11} \boldsymbol{f}_{1} + q_{21} \boldsymbol{f}_{2}, \\ & [\boldsymbol{f}_{0},\boldsymbol{f}_{1}] = q_{12} \boldsymbol{f}_{1} + q_{22} \boldsymbol{f}_{2}. \end{aligned} $$
(3.17)
Changing notation a little, according to (3.19) below, we can therefore assume that
where the \(2 \times 2\) matrix \(\sigma = (\sigma _{ij})\) is such that, with \(Q \equiv (q_{ij})\),
where is the \(2 \times 2\) identity matrix. (There should be no confusion between the matrix \(\sigma \) and the section map \(\boldsymbol{\sigma }\) introduced in (2.45).)
$$ \begin{aligned} &[\boldsymbol{f}_{1},\boldsymbol{f}_{2}]=0 \\ & [\boldsymbol{f}_{0},\boldsymbol{f}_{1}]= \sigma _{11} \boldsymbol{f}_{1} + \sigma _{12} \boldsymbol{f}_{2} \\ & [\boldsymbol{f}_{0},\boldsymbol{f}_{2}]= \sigma _{21} \boldsymbol{f}_{1} + \sigma _{22} \boldsymbol{f}_{2} \end{aligned} $$
(3.18)
(3.19)
Note that \(Q\) and \(\sigma \) must be non-singular, in order that \(\dim \boldsymbol{\mathfrak{g}}_{2} = 2\). One calculates from the transformation rule for \(Q\), which is \((15)_{2}\), when \(L\) has the form (3.14), that
which gives that
since
for arbitrary non-singular \(2 \times 2\) matrices \(M\). So one can use similarity transformations to bring \(\sigma \) to one of the standard canonical forms over the real numbers. One can also transform \(\sigma ^{\top }\) to \(\sigma ^{\top } / \mu \), for any \(\mu \neq 0\), by rescaling \(\boldsymbol{f}_{0}\) in (3.18), and it can be shown that there is no further flexibility gained by taking the most general non-singular matrix \(L\) in (2.33). Thus \(\sigma ^{\top }\) may be replaced by
with \(\mu \neq 0\), \(M\) non-singular but otherwise arbitrary, i.e., \(\sigma \) may be simplified (in (3.18)) by similarity transformations and overall scaling in what follows (cf. [12]).
$$ \tilde{\sigma }^{\top } = - \frac{1}{\det M} \, M \sigma ^{\top } J M ^{\top } J, $$
(3.20)
$$ \tilde{\sigma }^{\top } = M \sigma ^{\top } M^{-1}, $$
(3.21)
$$ - \frac{1}{\det M} J M^{\top } J = M^{-1}, $$
(3.22)
$$ \tilde{\sigma }^{\top } = \frac{1}{\mu } M \sigma ^{\top } M^{-1}, $$
(3.23)
Solvable Lie algebras of the form (3.18) are said to be unimodular if \(\operatorname{tr} \sigma = 0\), and we consider only this case in this paper (because it turns out that \(\operatorname{tr} \sigma = 0\) is a necessary condition for the existence of certain types of discrete subgroups, see the comments preceding (3.53) below). Now we can enumerate the various canonical forms of \(\sigma\):
(i)
if \(\sigma \) is diagonalizable with real eigenvalues, then by similarity and overall scaling one can assume that \(\sigma = \operatorname{diag} (1,\lambda )\), \(\lambda \neq 0\). Given that the algebra is unimodular, \(\lambda = -1\). Hence \(\sigma = \operatorname{diag} (1,-1)\).
(ii)
if \(\sigma \) is not diagonalizable it can be put in the form \(\left ( {\scriptsize\begin{matrix}{} \lambda &1 \cr 0&\lambda \end{matrix}} \right ) \), \(\lambda \neq 0\). No such matrix is unimodular.
(iii)
if \(\sigma \) has complex conjugate eigenvalues, it can be put in the form \(\left ( {\scriptsize\begin{matrix}{} \lambda &\mu \cr -\mu &\lambda \end{matrix}} \right ) \), \(\lambda ^{2} + \mu ^{2} \neq 0\). Unimodularity gives that \(\lambda =0\), and by overall scaling one can then assume that \(\mu = 1\). Hence
Therefore there are two canonical forms of \(\sigma \) to be considered here:
We calculate the automorphisms of the canonical Lie algebras, in the case that \(T^{(\boldsymbol{\mathfrak{g}})}=T\) has the form
(recall (3.13), and recall that \(\boldsymbol{a}=0\) if \(\operatorname{dim} \boldsymbol{\mathfrak{g}}_{2}=2\)). Set
and impose condition (2.34) with \(T^{(\boldsymbol{\mathfrak{h}})}\) replaced by \(T\) to get
Since \(Q\) is non-singular this implies \(\boldsymbol{w}=\boldsymbol{0}\), \(\det L = L_{00} \det M \neq 0\) and \((\det L)Q = MQM^{\top }\). Using (3.19) and (3.22) we get
Taking the determinant of both sides in (3.28), we have
$$\sigma = \left ( \textstyle\begin{array}{c@{\quad}c} 0&1 \\ -1&0 \end{array}\displaystyle \right ) . $$
$$ \sigma = \left ( \textstyle\begin{array}{c@{\quad}c} 1&0 \\ 0&-1 \end{array}\displaystyle \right ) , \left ( \textstyle\begin{array}{c@{\quad}c} 0&1 \\ -1&0 \end{array}\displaystyle \right ) . $$
(3.24)
(3.25)
(3.26)
(3.27)
$$ L_{00} \sigma ^{\top } M = M \sigma ^{\top }. $$
(3.28)
$$ L_{00} = \pm 1. $$
(3.29)
(iv)
Suppose that \(\sigma = \left ( {\scriptsize\begin{matrix}{} 1&0 \cr 0&-1 \end{matrix}} \right ) \) and \(L_{00}= +1\), then one finds from (3.28) that \(M\) is diagonal. If \(L_{00}=-1\), one finds \(M=\left ( {\scriptsize\begin{matrix}{} 0&\alpha \cr -\beta &0 \end{matrix}} \right ) \), \(\alpha \beta \neq 0\). Thus \(L\) has the form
$$\begin{aligned} &\left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} 1&0&0 \\ \ast &\alpha &0 \\ \ast &0&\beta \end{array}\displaystyle \right ) \quad\text{or}\quad \left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} -1&0&0 \\ \ast &0&\alpha \\ \ast &-\beta &0 \end{array}\displaystyle \right ) = \left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} 1&0&0 \\ \ast &\alpha &0 \\ \ast &0&\beta \end{array}\displaystyle \right ) \left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} -1&0&0 \\ 0&0&1 \\ 0&-1&0 \end{array}\displaystyle \right ) , \\ & \quad \alpha \beta \neq 0, \end{aligned}$$
(3.30)
(v)
If \(\sigma = \left ( {\scriptsize\begin{matrix}{} 0&1 \cr -1&0 \end{matrix}} \right ) \) one calculates similarly that \(L\) has the form
(cf., Ha and Lee [17]).
$$\begin{aligned} &\left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} 1&0&0 \\ \ast &\alpha &\beta \\ \ast &-\beta &\alpha \end{array}\displaystyle \right ) \quad\text{or}\quad \left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} -1&0&0 \\ \ast &\beta &\alpha \\ \ast &\alpha &-\beta \end{array}\displaystyle \right ) = \left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} 1&0&0 \\ \ast &\alpha &\beta \\ \ast &-\beta &\alpha \end{array}\displaystyle \right ) \left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c} -1&0&0 \\ 0&0&1 \\ 0&1&0 \end{array}\displaystyle \right ) , \\ & \quad \alpha ^{2} + \beta ^{2} \neq 0, \end{aligned}$$
(3.31)
Remarks
-
For later use, note that if \(\boldsymbol{h}=s_{i} \boldsymbol{f}_{i}\) is a non-zero element of the Lie algebra with \(\sigma = \left ( {\scriptsize\begin{matrix}{} 1&0 \cr 0&-1 \end{matrix}} \right ) \), and \(L\) has the form (3.30), then \(L \boldsymbol{h} = t _{i} \boldsymbol{f}_{i}\) whereor$$t_{0} = s_{0}, \qquad t_{1} = \alpha s_{1} + \ast s_{0}, \qquad t_{2} = \beta s_{2} + \ast s_{0}, $$where \(\alpha \beta \neq 0\). Hence \(\langle \boldsymbol{h} \rangle \) coincides with the span of one of the following choices of \((s_{0},s _{1},s_{2})^{\top }\):$$t_{0} = -s_{0}, \qquad t_{1} = \alpha s_{2} + \ast s_{0}, \qquad t_{2} = -\beta s_{1} + \ast s_{0}, $$$$ \left ( \textstyle\begin{array}{c} 1 \\ 0 \\ 0 \end{array}\displaystyle \right ) , \left ( \textstyle\begin{array}{c} 0 \\ 1 \\ 0 \end{array}\displaystyle \right ) , \left ( \textstyle\begin{array}{c} 0 \\ 1 \\ 1 \end{array}\displaystyle \right ) . $$(3.32)
-
If \(\sigma = \left ( {\scriptsize\begin{matrix}{} 0&1 \cr -1&0 \end{matrix}} \right ) \), then similarlyor$$t_{0} = s_{0}, \qquad t_{1} = \alpha s_{2} + \beta s_{2} + \ast s_{0}, \qquad t_{2} = - \beta s_{1} + \alpha s_{2} + \ast s_{0}, $$So \(\langle \boldsymbol{h} \rangle \) coincides with the span of one of the following choices of \((s_{0},s_{1},s_{2})^{\top }\):$$t_{0} = -s_{0}, \qquad t_{1} = \beta s_{1} + \alpha s_{2} + \ast s_{0}, \qquad t_{2} = \alpha s_{1} - \beta s_{2} + \ast s_{0}. $$(because \(\left ( {\scriptsize\begin{matrix}{} \alpha &\beta \cr -\beta &\alpha \end{matrix}} \right ) \left ( {\scriptsize\begin{matrix}{} s_{1} \cr s_{2} \end{matrix}} \right ) =\left ( {\scriptsize\begin{matrix}{} 1 \cr 0 \end{matrix}} \right ) \) has a solution for \(\left ( {\scriptsize\begin{matrix}{} \alpha &\beta \cr -\beta &\alpha \end{matrix}} \right ) \) with \(\alpha \beta \neq 0\), given \(\left ( {\scriptsize\begin{matrix}{} s_{1} \cr s_{2} \end{matrix}} \right ) \neq \boldsymbol{0}\)).$$ \left ( \textstyle\begin{array}{l} 1 \\ 0 \\ 0 \end{array}\displaystyle \right ) , \left ( \textstyle\begin{array}{l} 0 \\ 1 \\ 0 \end{array}\displaystyle \right ) $$(3.33)
-
If \(\sigma = \left ( {\scriptsize\begin{matrix}{} 1&0 \cr 0&-1 \end{matrix}} \right ) \), the corresponding commutation relations have the form \([\boldsymbol{u},\boldsymbol{v}]=\boldsymbol{v}\), \([\boldsymbol{u}, \boldsymbol{w}]=-\boldsymbol{w}\), \([\boldsymbol{v},\boldsymbol{w}]= \boldsymbol{0}\). They may be put in the form of (1.21) by the change of basis \(\boldsymbol{v} \to \tilde{\boldsymbol{v}} \equiv \boldsymbol{v} + \boldsymbol{w}\), \(\boldsymbol{w} \to \tilde{\boldsymbol{w}} = \boldsymbol{v} - \boldsymbol{w}\). The commutation relations in the case \(\sigma = \left ( {\scriptsize\begin{matrix}{} 0&1 \cr -1&0 \end{matrix}} \right ) \) are in the form (1.21).
3.3 Group Multiplication
First we derive a particular Lie group multiplication such that the commutation relations for a corresponding Lie algebra of vector fields are (3.18). This multiplication is (3.45) below, given without proof in [13]—it is easy enough to check that (3.45) leads to the required Lie algebra, but we could not find an a priori proof anywhere, so we provide one.
To begin with we identify particular vector fields which satisfy those relations using an ansatz. Then we construct a corresponding group composition function by solving the right invariance condition (2.10) for \(\boldsymbol{\psi }\), given these vector fields. Finally we construct an isomorphic group composition function by using (2.27), with an appropriate smooth mapping, to obtain (3.45). This composition function represents a semi-direct product (ℝ acts on \(\mathbb{R}^{2}\)), and there is a matrix representation of this product, (3.47), which facilitates later computations.
So note that if vector fields \(\boldsymbol{l}_{0}(\cdot ), \boldsymbol{l}_{1}(\cdot ),\boldsymbol{l}_{2}(\cdot )\) are defined by
where \(\boldsymbol{l}_{i} = \boldsymbol{l}_{i} (x_{0})\), \(i=0,1,2\), where
where the exponential on the right side of (3.35) is the matrix exponential, then
One calculates that the vector fields satisfy
so that (3.18) holds, with \(\boldsymbol{l}_{a} = f_{\boldsymbol{a}}\), \(a=0,1,2\). Next from an analogue of (2.10), viz.
we find that (with \((\psi _{0} ', \psi _{1} ', \psi _{2} ')\) the components of \(\boldsymbol{\psi }'\)):
These equations give that \(\psi _{0} ' (\boldsymbol{s},\boldsymbol{t})=s _{0} + f(\boldsymbol{t})\), for some \(f \colon \mathbb{R}^{3} \to \mathbb{R}\). Since \(\boldsymbol{\psi }' (\boldsymbol{0}, \boldsymbol{t})=\boldsymbol{t}\) we get that \(\psi _{0} ' ( \boldsymbol{s},\boldsymbol{t})=s_{0} + t_{0}\). Using this fact, (3.38) also implies that
Now we amend notation a little and write
With this amendment, the solution of (3.40) can be written as
Define the smooth invertible mapping \(\boldsymbol{\phi } \colon \mathbb{R}^{3} \to \mathbb{R}^{3}\) by
and construct an isomorphic composition function \(\boldsymbol{\psi }\) by using (3.27) in the form
This gives
and we shall focus on this group composition function exclusively below. Note that if we represent the group element \((x_{0},\boldsymbol{x})\) as
then the right side of (3.45) can be written as
so (3.46) provides a matrix representation of the group.
$$ \boldsymbol{l}_{0} = (1,0,0), \qquad \boldsymbol{l}_{1} = (0,l_{11}, l _{12}), \qquad \boldsymbol{l}_{3} = (0,l_{21},l_{22}), $$
(3.34)
$$ \left ( \textstyle\begin{array}{c@{\quad}c} l_{11}&l_{12} \\ l_{21}&l_{22} \end{array}\displaystyle \right ) = e^{- \sigma x_{0}}, $$
(3.35)
$$ \frac{d}{dx_{0}} \left ( \textstyle\begin{array}{c@{\quad}c} l_{11}&l_{12} \\ l_{21}&l_{22} \end{array}\displaystyle \right ) = - \sigma \left ( \textstyle\begin{array}{c@{\quad}c} l_{11}&l_{12} \\ l_{21}&l_{22} \end{array}\displaystyle \right ) . $$
(3.36)
$$ [ \boldsymbol{l}_{1},\boldsymbol{l}_{2} ] = 0, \qquad [ \boldsymbol{l} _{0},\boldsymbol{l}_{\alpha } ] = \sigma _{\alpha \beta } \boldsymbol{l}_{\beta }, \quad \alpha , \beta = 1,2, $$
(3.37)
$$ \boldsymbol{l}_{a} \bigl( \boldsymbol{\psi }' ( \boldsymbol{s}, \boldsymbol{t})\bigr) = \nabla _{1} \boldsymbol{\psi }' ( \boldsymbol{s}, \boldsymbol{t}) \boldsymbol{l}_{a} (\boldsymbol{s}), \quad a = 0,1,2, $$
(3.38)
$$ \frac{\partial \psi _{0}'}{\partial s_{0}} (\boldsymbol{s}, \boldsymbol{t})=1, \qquad \frac{\partial \psi _{0}'}{\partial s_{\alpha }} (\boldsymbol{s},\boldsymbol{t})=0, \quad \alpha = 1,2. $$
(3.39)
$$ \frac{\partial \psi _{\alpha }'}{\partial s_{0}} (\boldsymbol{s}, \boldsymbol{t})=0, \qquad \frac{\partial \psi _{\alpha }'}{\partial s _{\beta }} (\boldsymbol{s},\boldsymbol{t})= \bigl( e^{-t_{0} \sigma } \bigr) ^{\top }_{\alpha \beta } , \quad \alpha ,\beta = 1,2. $$
(3.40)
$$ \boldsymbol{s} = \left ( \textstyle\begin{array}{c} s_{0} \\ s_{1} \\ s_{2} \end{array}\displaystyle \right ) \quad \text{as} \quad \left ( s_{0}, \left ( \textstyle\begin{array}{c} s_{1} \\ s_{2} \end{array}\displaystyle \right ) \right ) \equiv (s_{0},\boldsymbol{s}), \quad s_{0} \in \mathbb{R}, \, \boldsymbol{s} \in \mathbb{R}^{2}. $$
(3.41)
$$ \boldsymbol{\psi }' \bigl( (s_{0},\boldsymbol{s}),(t_{0}, \boldsymbol{t})\bigr)=\bigl(s _{0} + t_{0}, \boldsymbol{t}+e^{-\sigma ^{\top } t_{0}} \boldsymbol{s} \bigr). $$
(3.42)
$$ \boldsymbol{\phi } (s_{0},\boldsymbol{s})=\bigl(s_{0},e^{\sigma ^{\top } s _{0}} \boldsymbol{s}\bigr),\quad \text{so } \boldsymbol{\phi }^{-1} ( \boldsymbol{x}_{0},\boldsymbol{x})=\bigl(x_{0},e^{-\sigma ^{\top } x_{0}} \boldsymbol{x}\bigr), $$
(3.43)
$$ \boldsymbol{\psi } \bigl((x_{0},\boldsymbol{x}),(y_{0}, \boldsymbol{y})\bigr)= \boldsymbol{\phi } \bigl( \boldsymbol{\psi }' \bigl( \boldsymbol{\phi }^{-1} (x _{0},\boldsymbol{x}), \phi ^{-1} (y_{0},\boldsymbol{y})\bigr)\bigr). $$
(3.44)
$$ \boldsymbol{\psi }\bigl((x_{0},\boldsymbol{x}),(y_{0}, \boldsymbol{y})\bigr)=\bigl(x _{0}+y_{0}, \boldsymbol{x}+e^{\sigma ^{\top } x_{0}} \boldsymbol{y}\bigr), $$
(3.45)
$$ \left ( \textstyle\begin{array}{c@{\quad}c} e^{\sigma ^{\top }x_{0}}& \textstyle\begin{array}{c@{\quad}c} 0&x_{1} \\ 0&x_{2} \end{array}\displaystyle \\ \textstyle\begin{array}{c@{\quad}c} 0&0 \\ 0&0 \end{array}\displaystyle & \textstyle\begin{array}{c@{\quad}c} 1&x_{0} \\ 0&1 \end{array}\displaystyle \end{array}\displaystyle \right ) $$
(3.46)
$$ \left ( \textstyle\begin{array}{c@{\quad}c} e^{\sigma ^{\top } x_{0}}& \textstyle\begin{array}{c@{\quad}c} 0&x_{1} \\ 0&x_{2} \end{array}\displaystyle \\ \textstyle\begin{array}{c@{\quad}c} 0&0 \\ 0&0 \end{array}\displaystyle & \textstyle\begin{array}{c@{\quad}c} 1&x_{0} \\ 0&1 \end{array}\displaystyle \end{array}\displaystyle \right ) \left ( \textstyle\begin{array}{c@{\quad}c} e^{\sigma ^{\top } y_{0}}& \textstyle\begin{array}{c@{\quad}c} 0&y_{1} \\ 0&y_{2} \end{array}\displaystyle \\ \textstyle\begin{array}{c@{\quad}c} 0&0 \\ 0&0 \end{array}\displaystyle & \textstyle\begin{array}{c@{\quad}c} 1&y_{0} \\ 0&1 \end{array}\displaystyle \end{array}\displaystyle \right ) , $$
(3.47)
Note that the group composition (3.45) can also be represented in the form
where juxtaposition of elements in ℝ means addition, similarly for \(\mathbb{R}^{2}\), and \(\phi _{g} \colon \mathbb{R}^{2} \to \mathbb{R}^{2}\) defined by
derives from (inner) automorphisms of the form
So ℝ acts on \(\mathbb{R}^{2}\) via \(\phi _{g}\), and (3.45) is a semi-direct product.
$$ (g,\boldsymbol{g}) \cdot (h,\boldsymbol{h}) \equiv \bigl(gh, \boldsymbol{g} \phi _{g} (\boldsymbol{h})\bigr), \quad g,h \in \mathbb{R}, \, \boldsymbol{g},\boldsymbol{h} \in \mathbb{R}^{2} , $$
(3.48)
$$ \phi _{g}(\boldsymbol{h}) = e^{\sigma ^{\top } g} \boldsymbol{h}, $$
(3.49)
$$ (g,\boldsymbol{0}) (0,\boldsymbol{h}) (g,\boldsymbol{0})^{-1} = \bigl(0,e ^{\sigma ^{\top } g} \boldsymbol{h}\bigr). $$
(3.50)
Now we recall some results from [13]. Note 1
-
If \(G\) is a simply connected, connected, non-compact, non-nilpotent three-dimensional Lie group with maximal nilpotent subgroup \(N\) and discrete subgroup \(D\) such that \(G/D\) is compact, then \(\dim N = 2\).
-
The matrix group \(\{ e^{\sigma ^{\top } g} \colon (g,\boldsymbol{g}) \in D \}\) is generated by a single element \(e^{\sigma ^{\top } \theta }\), \((\theta ,\boldsymbol{\theta }) \in D\), \(\theta \neq 0\). \(D \cap \{(0,\mathbb{R}^{2})\}\) is a lattice generated by two independent elements \((0,\boldsymbol{e}_{1}),(0,\boldsymbol{e}_{2})\), \(\boldsymbol{e}_{1},\boldsymbol{e}_{2} \in \mathbb{R}^{2}\) say. Moreover the lattice is preserved by \(\phi _{\theta } \colon \mathbb{R}^{2} \to \mathbb{R}^{2}\), so thatAlso \(\{ e^{\sigma ^{\top } t} \colon t \in \mathbb{R} \}\) must be a one parameter subgroup of the unimodular group, so$$ \phi _{\theta } (\boldsymbol{e}_{\alpha } ) = \gamma _{\beta \alpha } \boldsymbol{e}_{\beta }, \quad \alpha ,\beta = 1,2,\ \gamma \equiv (\gamma _{\beta \alpha }) \in \textrm{GL}_{2} ( \mathbb{Z}). $$(3.51)which implies that$$ \det \bigl(e^{\sigma ^{\top } t}\bigr)=e^{(\operatorname{tr} \sigma ^{\top })t}=1, $$(3.52)So \(D\) is generated by three distinct elements \((0,\boldsymbol{e}_{1}),(0, \boldsymbol{e}_{2}),(\theta ,\boldsymbol{\theta })\). Note that the inner automorphism \(\xi _{\boldsymbol{h}} \colon G \to G\) defined by$$ \operatorname{tr} \sigma = 0, \qquad \gamma \in \textrm{SL}_{2} ( \mathbb{Z}). $$(3.53)preserves the lattice generated by \((0,\boldsymbol{e}_{1}),(0, \boldsymbol{e}_{2})\), as(3.54)and can be chosen such that$$ \xi _{\boldsymbol{h}} \bigl(0,\boldsymbol{\theta }'\bigr)=\bigl(0, \boldsymbol{\theta }'\bigr), $$(3.55)provided$$ \xi _{\boldsymbol{h}} (\theta ,\boldsymbol{\theta })=(\theta , \boldsymbol{0}), $$(3.56)Hence, if (3.57) holds, we can assume that \(D\) is generated by elements of the form \((0,\boldsymbol{e}_{1}),(0,\boldsymbol{e}_{2}),(\theta ,0)\). Also we can assume that \(\theta > 0\), as \((\theta ,0)^{-1} = (- \theta ,0)\).(3.57)
From (3.49) and (3.51), \(e^{\sigma ^{\top } \theta }\) and \(\gamma \) are similar matrices, hence from (3.57), . If we put
this last inequality implies
Note 2
$$ \gamma = \left ( \textstyle\begin{array}{c@{\quad}c} a&b \\ c&d \end{array}\displaystyle \right ) , \quad a,b,c,d \in \mathbb{Z}, $$
(3.58)
$$ a+d \neq 2. $$
(3.59)
In the case that \(a+d = \operatorname{tr} \gamma = \operatorname{tr} e^{ \sigma ^{\top } \theta } = 2\), and (3.53) holds, from Nicks and Parry [18] one has
If \(\det \sigma = 0\), then since \(\operatorname{tr} \sigma = 0\) we have \(\sigma ^{2} = 0\). We are considering solvable groups where \(\sigma \) is similar modulo overall scaling to either \(\left ( {\scriptsize\begin{matrix}{} 1&0 \cr 0&-1 \end{matrix}} \right ) \), \(\left ( {\scriptsize\begin{matrix}{} 0&1 \cr -1&0 \end{matrix}} \right ) \), so \(\sigma ^{2} \neq 0\). Hence, when \(a+ d=2\), for cases of interest,
Note 3
$$ \sqrt{\bigl|} \det \bigl(\sigma ^{\top } \theta \bigr) \bigr| = 0, \quad \text{or} \quad \sqrt{\bigl|} \det \bigl(\sigma ^{\top }\theta \bigr)\bigr| = 2 n \pi , \quad n > 0, \ n \in \mathbb{Z}. $$
(3.60)
(3.61)
From (3.49) and (3.51)
where the columns of \(P\) are \(\boldsymbol{e}_{1}\) and \(\boldsymbol{e} _{2}\). Hence
$$ e^{\sigma ^{\top } \theta } P = P \gamma , \quad P \in \textrm{GL}_{2} ( \mathbb{R}), $$
(3.62)
$$ \gamma = P^{-1} e^{\sigma ^{\top } \theta } P = e^{(P^{-1} \sigma ^{ \top } P) \theta } \in \textrm{SL}_{2} (\mathbb{Z}). $$
(3.63)
Definition
$$ M_{\sigma ^{\top }} = \bigl\{ M \in \textrm{GL}_{2} (\mathbb{R}) \colon M = \bigl(P^{-1} \sigma ^{\top } P\bigr) \theta , \, P \in \textrm{GL}_{2} ( \mathbb{R}), \, \theta \in \mathbb{R}, \, \theta \neq 0 \bigr\} . $$
(3.64)
These remarks lead to the following proposition.
Proposition 1
Suppose\(\operatorname{tr} \sigma = 0\)and that there exists\(\tilde{\sigma }^{\top } \in M_{\sigma ^{\top }}\)such that\(e^{ \tilde{\sigma }^{\top }} \in \textrm{SL}_{2} (\mathbb{Z})\). Then\(\tilde{\sigma }^{\top } = (P^{-1} \sigma ^{\top } P) \theta \), \(P \in \textrm{GL}_{2} (\mathbb{R})\), \(\theta \neq 0\)and: All discrete subgroups with\(G/D\)compact arise in this way. (Note that it is a short calculation, not given, to check that\(\boldsymbol{\theta }\)is arbitrary in (ii).)
(i)
if\(\operatorname{tr} e^{\sigma ^{\top } \theta } = \operatorname{tr} e^{\tilde{\sigma }^{\top }} \neq 2\), \((0,\boldsymbol{e}_{1})\), \((0,\boldsymbol{e}_{2})\), \((\theta ,0)\)generate a discrete subgroup of\(G\), where\(\boldsymbol{e}_{1},\boldsymbol{e}_{2}\)are the columns of\(P\);
(ii)
if\(\operatorname{tr} e^{\sigma ^{\top } \theta } = \operatorname{tr} \tilde{\sigma }^{\top }=2\), then (cf. Note 2), for arbitrary\(P\), and\((0,\boldsymbol{e}_{1}),(0, \boldsymbol{e}_{2}),(\theta ,\boldsymbol{\theta })\)generate a discrete subgroup of\(G\)whose elements coincide with the points of an arithmetic lattice with basis\((0,\boldsymbol{e}_{1}),(0,\boldsymbol{e}_{2}),( \theta ,\boldsymbol{\theta })\). \(\boldsymbol{e}_{1}\), \(\boldsymbol{e} _{2}\)and\(\boldsymbol{\theta }\)are arbitrary, in this case (except that\(\boldsymbol{e}_{1}\)and\(\boldsymbol{e}_{2}\)are linearly independent).
3.4 Catalogue of Discrete Subgroups
We shall list the discrete subgroups (with \(G/D\) compact) according to the values of \(a+d = \operatorname{tr} (e^{\sigma ^{\top }\theta })\). Note first that if \(A\) is any \(2 \times 2\) matrix with \(\operatorname{tr} A = 0\), then (see Rossmann [19], for example)
(3.65)
(3.66)
$$\begin{aligned} \operatorname{tr}\bigl(e^{A}\bigr) =& \left\{ \textstyle\begin{array}{l@{\quad}l} 2 \cosh k, &\text{if } \det A < 0, \\ 2 \cos k, &\text{if } \det A > 0, \\ 2, &\text{if } \det A = 0. \end{array}\displaystyle \right. \end{aligned}$$
(3.67)
From (3.67), \(a+d \geq -2\) if \(e^{\sigma ^{\top } \theta }\) is to lie on a one parameter subgroup of \(\textrm{SL}_{2} (\mathbb{R})\), so we identify the following cases.
(i)
If \(a+d > 2\), from (3.67), \(\det (\sigma ^{\top }\theta ) < 0\). Let the eigenvalues of the traceless matrix \(\sigma ^{\top } \theta \) be \(\lambda , - \lambda \) (\(\lambda > 0\)). Then \(-\lambda ^{2} = \det (\sigma ^{\top } \theta )\) so \(\lambda = \sqrt{- \det ( \sigma ^{\top } \theta )}\). The eigenvalues of \(e^{\sigma ^{\top } \theta }\) are thus \(e^{\lambda },e^{-\lambda }\) (and are real and distinct).
(ii)
(iii)
If \(a+d \in \{ -2,-1,0,+1 \}\), then \(\det (\sigma ^{ \top } \theta ) > 0\) and one calculates that \(k = \sqrt{\det ( \sigma ^{\top } \theta )}\) is given by
and \(e^{\sigma ^{\top }\theta }\) may be calculated from (3.66)2, given these values of \(k\).
$$ k = \left\{ \textstyle\begin{array}{l@{\quad}l@{\quad}l} \pi n & n = \pm 1 \, \mathrm{mod \,}2 & \text{when } a+d=-2, \\ \frac{2 \pi n}{3} & n = \pm 1 \, \mathrm{mod \,}3 &\text{when } a+d=-1, \\ \frac{\pi n}{2} & n = \pm 1 \, \mathrm{mod \,}4 & \text{when } a+d=0, \\ \frac{\pi n}{3} & n = \pm 1 \, \mathrm{mod \,}6&\text{when } a+d=1, \end{array}\displaystyle \right. $$
(3.68)
Let \(C_{2},C_{3},C_{4},C_{6}\) be cyclic subgroups of \(\textrm{SL}_{2} (\mathbb{Z})\) generated by , \(\left ( {\scriptsize\begin{matrix}{} -1&1 \cr -1&0 \end{matrix}} \right ) \), \(\left ( {\scriptsize\begin{matrix}{} 0&1 \cr -1&0 \end{matrix}} \right ) \), \(\left ( {\scriptsize\begin{matrix}{} 1&1 \cr -1&0 \end{matrix}} \right ) \) respectively. Then:
(3.69)
The eigenvalues of \(e^{\sigma ^{\top }\theta }\) are real and equal, or complex conjugate pairs, in cases (ii) and (iii) respectively, and the eigenvalues of \(\sigma ^{\top } \theta \) are \(\pm ik\), where \(k \equiv \sqrt{\det (\sigma ^{\top } \theta )}\) takes the values given above, in case (iii).
Now recall that the matrices \(\sigma \) which define the composition function (2) fall into two isomorphism classes, one class includes \(\sigma = \left ( {\scriptsize\begin{matrix}{} 1&0 \cr 0&-1 \end{matrix}} \right ) \) and all matrices in that class have real, distinct eigenvalues, the other class includes \(\sigma = \left ( {\scriptsize\begin{matrix}{} 0&1 \cr -1&0 \end{matrix}} \right ) \) and all matrices in that class have complex conjugate eigenvalues. We shall choose particular matrices in each class (not those above, in fact), so define (two) particular composition functions, via (3.45), and construct the discrete subgroups in each case.
First we consider the group \(G\) with composition function defined by \(\sigma _{0} = \left ( {\scriptsize\begin{matrix}{} k_{0}&0 \cr 0&-k_{0} \end{matrix}} \right ) \), where \(k_{0}\) is such that \(e^{k_{0}} + e^{-k_{0}}=3\) (so that \(e^{\sigma _{0}^{\top }}\) is similar to a matrix \(\gamma _{0} \in \textrm{SL}_{2} (\mathbb{Z})\) with \(\operatorname{tr} \gamma _{0} = 3\)). We show how to construct discrete subgroups for any \(\gamma \in \textrm{SL}_{2} (\mathbb{Z})\) with \(\operatorname{tr} \gamma \geq 3\). Any such \(\gamma \) has unequal real eigenvalues \(e^{k}\), \(e^{-k}\) for some \(k > 0\), and there exists \(P \in \textrm{GL}_{2} (\mathbb{R})\) such that \(\gamma = P^{-1} \left ( {\scriptsize\begin{matrix}{} e^{k}&0 \cr 0&e^{-k} \end{matrix}} \right ) P\). Define \(\tilde{\sigma }^{\top } = P^{-1} \left ( {\scriptsize\begin{matrix}{} k&0 \cr 0&-k \end{matrix}} \right ) P\), so that \(e^{\tilde{\sigma }^{\top }}=\gamma \). Then \(\tilde{\sigma }^{\top }\) is similar modulo overall scaling to \(\sigma _{0}^{\top }\), for
Then by (i) of Proposition 1, \(G\) has a discrete subgroup \(D\) (with \(G/D\) compact) generated by \((0,\boldsymbol{e}_{1})\), \((0, \boldsymbol{e}_{2})\), \(( \frac{k}{k_{0}},0 ) \), where \(\boldsymbol{e}_{1},\boldsymbol{e}_{2}\) are the columns of \(P\).
$$ \tilde{\sigma }^{\top } = P^{-1} \left ( \textstyle\begin{array}{c@{\quad}c} k&0 \\ 0&-k \end{array}\displaystyle \right ) P = \left ( P^{-1} \left ( \textstyle\begin{array}{c@{\quad}c} k_{0}&0 \\ 0&-k_{0} \end{array}\displaystyle \right ) P \right ) \biggl( \frac{k}{k_{0}} \biggr) = \bigl(P^{-1} \tilde{\sigma }_{0}^{\top } P\bigr) \biggl( \frac{k}{k_{0}} \biggr) . $$
(3.70)
Second we describe the discrete subgroups of that \(G\) with composition function defined by \(\sigma _{0}^{\top } = \left ( {\scriptsize\begin{matrix}{} 0&2 \pi \cr -2 \pi &0 \end{matrix}} \right ) \), so that . We show how to construct discrete subgroups for any \(\gamma \in \textrm{SL}_{2} ( \mathbb{Z})\) with \(-2 \leq \operatorname{tr} \gamma \leq 2\). Any such matrix is similar in \(\textrm{GL}_{2} (\mathbb{R})\) to one of the unimodular integer matrices listed in cases (ii), (iii) above (cases \(C_{0}\), \(C_{2}\), \(C_{3}\), \(C_{4}\), \(C_{6}\)), and likewise similar to \(e^{\sigma ^{\dagger \top }}\), where \(\sigma ^{\dagger \top } =\left ( {\scriptsize\begin{matrix}{} 0&k \cr -k&0 \end{matrix}} \right ) \) with \(k=2n \pi \) (\(n\) a positive integer) in case (ii), \(k\) given by (3.68) in case (iii). Thus there exists \(P \in \textrm{GL}_{2} (\mathbb{R})\) such that \(\gamma = P^{-1} e^{ \sigma ^{\dagger \top }} P = e^{P^{-1} \sigma ^{\dagger \top } P} \in \textrm{SL}_{2} (\mathbb{Z})\). So \(\gamma = e^{\tilde{\sigma }^{ \top }}\) where
So, in the case that \(a+d=2\), \(G\) has discrete subgroups generated by \((0,\boldsymbol{e}_{1})\), \((0,\boldsymbol{e}_{2})\), \((n, \boldsymbol{\theta })\), where \(\boldsymbol{e}_{1},\boldsymbol{e}_{2}, \boldsymbol{\theta }\) are arbitrary, \(n>0\), \(n \in \mathbb{Z}\) ( in this case, so \(P\) is arbitrary). When \(-2 \leq a+d <2\), \(G\) has discrete subgroups generated by \((0,\boldsymbol{e}_{1})\), \((0,\boldsymbol{e}_{2})\), \(( \frac{k}{2 \pi },0 ) \), where \(\boldsymbol{e}_{1},\boldsymbol{e}_{2}\) are the columns of \(P\), and from (3.68), \(\frac{k}{2 \pi }=\pm \frac{1}{p} \, \mathrm{mod \,}\mathbb{Z}\) in the cases denoted \(C_{p}\), \(p=2,3,4,6\) in (iii) above.
$$ \tilde{\sigma }^{\top } = P^{-1} \sigma ^{\dagger \top } P = P^{-1} \left ( \textstyle\begin{array}{c@{\quad}c} 0&k \\ -k&0 \end{array}\displaystyle \right ) P = P^{-1} \left ( \textstyle\begin{array}{c@{\quad}c} 0&2 \pi \\ -2 \pi &0 \end{array}\displaystyle \right ) P \biggl( \frac{k}{2 \pi } \biggr) = P^{-1} \sigma _{0}^{ \top } P \biggl( \frac{k}{2 \pi } \biggr) . $$
(3.71)
4 Canonical Forms of Vector Fields in \(\pmb{\mathbb{R}}^{2}\) with Three-Dimensional Solvable Lattice Algebras
Here we construct canonical forms of the vector fields in two ways, first using homogeneous space methods, second using direct analytical methods—we give the two methods in order to convince the reader that the first method is the more systematic and informative of the two. We restrict to vector fields where the corresponding solvable Lie algebra is unimodular, so we do not discuss the case \(\dim \boldsymbol{g}_{2}=1\), nor the case where \(\sigma \) is non-diagonalizable and \(\dim \boldsymbol{g}_{2} = 2\). Thus we take \(\sigma = \left ( {\scriptsize\begin{matrix}{} 1&0 \cr 0&-1 \end{matrix}} \right ) ,\left ( {\scriptsize\begin{matrix}{} 0&1 \cr -1&0 \end{matrix}} \right ) \).
4.1 Homogeneous Space Construction
(i)
Recall from the remarks following (3.31) that if \(\sigma = \left ( {\scriptsize\begin{matrix}{} 1&0 \cr 0&-1 \end{matrix}} \right ) \) there are three one-dimensional subalgebras of \(\boldsymbol{\mathfrak{g}}\), with basis \((1,0,0)^{\top }\), \((0,1,0)^{ \top }\), \((0,1,1)^{\top }\) respectively, which are inequivalent modulo algebra automorphism. From (2.28), the corresponding group automorphism produces the inequivalent one-dimensional subgroups \(e^{\langle (1,0,0)^{ \top } \rangle }\), \(e^{\langle (0,1,0)^{\top } \rangle }\), \(e^{\langle (0,1,1)^{\top } \rangle }\). One can calculate the corresponding group actions using Sect. 2.6. Finally one finds the (three sets of) infinitesimal generators, which are the canonical forms of the vector fields, when \(\sigma = \left ( {\scriptsize\begin{matrix}{} 1&0 \cr 0&-1 \end{matrix}} \right ) \). Let \(\boldsymbol{e}_{0} \equiv (1,0,0)^{\top }\), etc., in this section.
-
The elements of the one parameter subgroup \(H=\{ \boldsymbol{x}(t); t \in \mathbb{R} \}\) corresponding to \(\langle \boldsymbol{e}_{0} \rangle \) coincide with the points of the integral curve of the right invariant field whose components at the group identity are \(\boldsymbol{e}_{0} \equiv (1,0,0)^{\top }\). Sowhere \(\boldsymbol{\psi }\) is given by (3.45). This gives \(H=\{ t \boldsymbol{e}_{0} ; t \in \mathbb{R} \}\). If \(\boldsymbol{g}=(z,x,y) \in G\), the left cosets have the form$$ \frac{d}{dt} \boldsymbol{x} (t) = \nabla _{1} \boldsymbol{\psi } \bigl(0, \boldsymbol{x}(t)\bigr) \boldsymbol{e}_{0}, $$(4.1)So elements of the set of left cosets may be identified by the two coordinates \((x,y) \in \mathbb{R}^{2}\). Define the projection \(\boldsymbol{\pi } \colon G \to G/H \equiv \mathbb{R}^{2}\) by$$ \boldsymbol{g} H = \bigl\{ \boldsymbol{\psi }\bigl((z,x,y),(t,0,0)\bigr); t \in \mathbb{R} \bigr\} = \bigl\{ (z+t,x,y) \colon t \in \mathbb{R} \bigr\} . $$(4.2)and choose a corresponding section \(\boldsymbol{\sigma } \colon G/H \equiv \mathbb{R}^{2} \to G\) by$$ \boldsymbol{\pi } (z,x,y) = (x,y), $$(4.3)(For consistency with (3.41), we should write these last two equations as \(\boldsymbol{\pi }(z,x,y)=\left ( {\scriptsize\begin{matrix}{} x \cr y \end{matrix}} \right ) \), \(\boldsymbol{\sigma } \left ( {\scriptsize\begin{matrix}{} x \cr y \end{matrix}} \right ) =(0,x,y)\), but is convenient to allow a little notational abuse in this subsection.)$$ \boldsymbol{\sigma } (x,y) = (0,x,y). $$(4.4)Then according to (2.45), with \(\boldsymbol{g}_{1} \equiv (z_{1},x _{1},y_{1})\), the corresponding group action \(\boldsymbol{\lambda } \colon G \times \mathbb{R}^{2} \to \mathbb{R}^{2}\) iswhere$$\begin{aligned} \boldsymbol{\lambda } (\boldsymbol{g}_{1},\boldsymbol{g}H)= \boldsymbol{\pi } \bigl(\boldsymbol{g}_{1} \boldsymbol{\sigma }( \boldsymbol{g}H)\bigr) &= \boldsymbol{\pi }\bigl(\boldsymbol{\psi } \bigl((z_{1},x _{1},y_{1}),(0,x,y)\bigr)\bigr) \\ &= \boldsymbol{\pi } \bigl((z_{1},x_{1}+\alpha , y_{1}+\beta )\bigr) \\ &=(x_{1}+\alpha ,y_{1}+\beta ), \end{aligned}$$(4.5)The three infinitesimal generators \(\boldsymbol{l}_{0}(\cdot ), \boldsymbol{l}_{1}(\cdot ),\boldsymbol{l}_{2}(\cdot )\) (corresponding to the choices \(\boldsymbol{v}= \boldsymbol{e}_{i}\), \(i=0,1,2\)) have components given by$$\left ( \textstyle\begin{array}{c} \alpha\\ \beta \end{array}\displaystyle \right ) = e^{\sigma ^{\top } z_{1}} \left ( \textstyle\begin{array}{c} x \\ y \end{array}\displaystyle \right ) , \quad \sigma = \left ( \textstyle\begin{array}{c@{\quad}c} 1&0 \\ 0&-1 \end{array}\displaystyle \right ) . $$where \((\lambda _{1},\lambda _{2})\) are the components of \(\boldsymbol{\lambda }\). It follows that$$ \frac{\partial \lambda _{r}}{\partial (\boldsymbol{g}_{1})_{i}} \bigl( \boldsymbol{0},(x,y)\bigr) \equiv \frac{\partial \lambda _{r}}{\partial ( \boldsymbol{g}_{1})_{i}} ( \boldsymbol{0},\boldsymbol{g} H), \quad r=1,2, \, i=0,1,2, $$(4.6)$$ \boldsymbol{l}_{0}(x,y)=(x,-y), \qquad \boldsymbol{l}_{1}(x,y)=(1,0), \qquad \boldsymbol{l}_{2}(x,y)=(0,1). $$(4.7)
-
For the subalgebra \(\langle \boldsymbol{e}_{1} + \boldsymbol{e}_{2} \rangle \), one obtains \(H=\{(0,r,r)\colon r \in \mathbb{R}\}\), and so with \(\boldsymbol{g}=(t_{0},t_{1},t_{2})\),For fixed \(t_{0},t_{1},t_{2}\), (4.8) represents a line through \(\left ( {\scriptsize\begin{matrix}{} t_{1} \cr t_{2} \end{matrix}} \right ) \) also passing through the point \(\frac{t_{1} e^{-t_{0}} - t _{2} e^{t_{0}}}{e^{2t_{0}} + e^{-2t_{0}}} \left ( {\scriptsize\begin{matrix}{} e^{-t_{0}} \cr -e^{t_{0}} \end{matrix}} \right ) \). Note that this line has signed distance \((t_{1} e^{-t_{0}} - t_{2} e^{t_{0}}) / \sqrt{e^{2t_{0}} + e^{-2t _{0}}}\) from the origin in the \(t_{0}\) plane. So we can identify \(\boldsymbol{g}H\) as a point of \(\mathbb{R}^{2}\) with coordinates$$ \boldsymbol{g}H = \left \{ (t_{0},\tau _{1},\tau _{2}) \colon \left ( \textstyle\begin{array}{c} \tau _{1} \\ \tau _{2} \end{array}\displaystyle \right ) = \left ( \textstyle\begin{array}{c} t_{1} \\ t_{2} \end{array}\displaystyle \right ) + r \left ( \textstyle\begin{array}{c} e^{t_{0}} \\ e^{-t_{0}} \end{array}\displaystyle \right ) , r \in \mathbb{R} \right \}. $$(4.8)and choose as projection mapping \(\boldsymbol{\pi } \colon G \to G/H \equiv \mathbb{R}^{2}\),$$ \boldsymbol{g}H \equiv \bigl(t_{0},t_{1} e^{-t_{0}} - t_{2} e^{t_{0}}\bigr), $$(4.9)As choice of section \(\boldsymbol{\sigma } \colon G/H \equiv \mathbb{R}^{2} \to G\) we take$$ \boldsymbol{\pi } (t_{0},t_{1},t_{2}) = \bigl(t_{0},t_{1} e^{-t_{0}} - t _{2} e^{t_{0}}\bigr). $$(4.10)as \(\sigma \) maps \(\boldsymbol{\pi }(t_{0},t_{1},t_{2})\) to the point identified after (4.8), which is the closest point, on the line represented by (4.8), to the origin in the plane \(t_{0}=\) constant. We calculate the group action, with \(\boldsymbol{g}_{1} = (z_{0},z_{1},z _{2})\),$$ \boldsymbol{\sigma }(x,y) = \biggl( x, \frac{ye^{-x}}{e^{2x} + e^{-2x}}, \frac{-ye^{x}}{e^{2x}+e^{-2x}} \biggr) , $$(4.11)where we used$$\begin{aligned} \boldsymbol{\lambda } (\boldsymbol{g}_{1} \boldsymbol{g}H) &= \boldsymbol{\pi }\bigl(\boldsymbol{g}_{1} \boldsymbol{\sigma }( \boldsymbol{g}H)\bigr)=\boldsymbol{\pi } \biggl( \boldsymbol{\psi } \biggl( (z _{0},z_{1},z_{2}), \biggl( x, \frac{ye^{-x}}{e^{2x}+e^{-2x}}, \frac{-ye ^{x}}{e^{2x}+e^{-2x}} \biggr) \biggr) \biggr) \\ &=\boldsymbol{\pi }(z_{0}+x,z_{1}+\tau _{1},z_{2}+\tau _{2}) \\ &=\bigl(z_{0}+x,(z_{1}+\tau _{1}) e^{-(z_{0}+x)}-(z_{2}+\tau _{2})e^{z_{0}+x}\bigr) \\ &=\bigl(z_{0}+x,y+z_{1} e^{-z_{0}-x} - z_{2} e^{z_{0}+x}\bigr), \end{aligned}$$(4.12)One finds that the infinitesimal generators are:$$\left ( \textstyle\begin{array}{c} \tau _{1} \\ \tau _{2} \end{array}\displaystyle \right ) = \left ( \textstyle\begin{array}{c@{\quad}c} e^{z_{0}}&0 \\ 0&e^{-z_{0}} \end{array}\displaystyle \right ) \left ( \textstyle\begin{array}{c} ye^{-x} \\ -ye^{x} \end{array}\displaystyle \right ) \big/ \bigl(e^{2x}+e^{-2x}\bigr) . $$$$ \boldsymbol{l}_{0} = (1,0), \qquad \boldsymbol{l}_{1}= \bigl(0,e^{-x}\bigr), \qquad \boldsymbol{l}_{2}= \bigl(0,-e^{x}\bigr). $$(4.13)
-
For the subalgebra \(\langle \boldsymbol{e}_{1} \rangle \), \(H=\{ (0,r,0) \colon r \in \mathbb{R} \}\), and if \(\boldsymbol{g}=(t_{0},t_{1},t _{2})\) then \(\boldsymbol{g}H = \{(t_{0},t_{1}+re^{t_{0}},t_{2} ) \colon r \in \mathbb{R} \}\). For fixed \(t_{0}\), the points of \(\boldsymbol{g}H\) represent a line through \(\left ( {\scriptsize\begin{matrix}{} t_{1} \cr t_{2} \end{matrix}} \right ) \) also passing through \(\left ( {\scriptsize\begin{matrix}{} 0 \cr t_{2} \end{matrix}} \right ) \). So we identify \(\boldsymbol{g}H \equiv (t_{0},t_{2})\), setand choose$$ \boldsymbol{\pi } (t_{0},t_{1},t_{2})=(t_{0},t_{2}), $$(4.14)We calculate, with \(\boldsymbol{g}_{1} = (z_{0},z_{1},z_{2})\);$$ \boldsymbol{\sigma }(x,y) = (x,0,y). $$(4.15)Finally, the infinitesimal generators are:$$\begin{aligned} \boldsymbol{\lambda }(\boldsymbol{g}_{1} \boldsymbol{g}H) &= \boldsymbol{\pi }\bigl(\boldsymbol{g}_{1} \boldsymbol{\sigma }( \boldsymbol{g}H)\bigr)=\boldsymbol{\pi }\bigl( \boldsymbol{\psi } \bigl((z_{0},z_{1},z _{2}), (x,0,y)\bigr)\bigr) \\ &=\boldsymbol{\pi }(z_{0}+x,z_{1}+\tau _{1},z_{2}+\tau _{2}), \quad \text{where } \left ( \textstyle\begin{array}{c} \tau _{1} \\ \tau _{2} \end{array}\displaystyle \right ) =\left ( \textstyle\begin{array}{c@{\quad}c} e^{z_{0}}&0 \\ 0&e^{-z_{0}} \end{array}\displaystyle \right ) \left ( \textstyle\begin{array}{c} 0 \\ y \end{array}\displaystyle \right ) \\ &=\boldsymbol{\pi } \bigl(z_{0} + x, z_{1}, z_{2} + y e^{-z_{0}}\bigr) \\ &=\bigl(z_{0}+x, z_{2} + ye^{-z_{0}} \bigr). \end{aligned}$$(4.16)Since this is a 2-dimensional algebra of vector fields, we consider it no further.$$ \boldsymbol{l}_{0} (x,y) = (1,-y), \qquad \boldsymbol{l}_{1} (x,y) = (0,0), \qquad \boldsymbol{l}_{3} (x,y) = (0,1). $$(4.17)
(ii)
-
If \(\sigma = \left ( {\scriptsize\begin{matrix}{} 0&1 \cr -1&0 \end{matrix}} \right ) \), and (recalling the remark after (3.32)) we consider the subalgebra \(\langle \boldsymbol{e}_{0} \rangle \), then by the analogue of (4.1) we get \(H=\{ t \boldsymbol{e}_{0} \colon t \in \mathbb{R} \}\). Then \(\boldsymbol{g} H = \{ (z+t,x,y) \colon t \in \mathbb{R} \}\) if \(\boldsymbol{g}=(z,x,y)\) and we can take \(\boldsymbol{\pi }(z,x,y)=(x,y)\), \(\boldsymbol{\sigma }(x,y)=(0,x,y)\). With \(\boldsymbol{g}_{1} = (z_{1},x_{1},y_{1})\) one finds thatand calculates that the infinitesimal generators are:$$ \boldsymbol{\lambda }( \boldsymbol{g}_{1},\boldsymbol{g}H) = (x_{1} + x \cos z_{1} - y \sin z_{1}, y_{1} + x \sin z_{1} + y \cos z_{1} ), $$(4.18)$$ \boldsymbol{l}_{0} (x,y) = (-y,x), \qquad \boldsymbol{l}_{1} (x,y) = (1,0), \qquad \boldsymbol{l}_{2} (x,y) = (0,1). $$(4.19)
-
For the subalgebra \(\langle \boldsymbol{e}_{1} \rangle \), we get \(H= \{ t \boldsymbol{e}_{1} \colon t \in \mathbb{R} \}\), and with \(\boldsymbol{g} = (z,x,y)\), \(\boldsymbol{g} H = \{ (z,x+t \cos z, y+t \sin z) \colon t \in \mathbb{R} \}\). For fixed \((z,x,y)\), \(\boldsymbol{g} H\) represents a line in the plane \(z=\) constant, through \((z,x,y)\), making an angle \(z\) with the \(x\)-axis. The point nearest the origin (i.e., nearest \((z,0,0)\)) is \((z, (y \cos z - x \sin z) (- \sin z, \cos z))\). Therefore we can identify \(\boldsymbol{g}H\) byand choose as section the point nearest the origin, so$$ \boldsymbol{ \pi } (\boldsymbol{g})=(z,y \cos z - x \sin z), $$(4.20)One calculates, in the manner of the previous bullet points, that with \(g_{1} = (z_{1},x_{1},y_{1})\),$$ \sigma (x,y) = (x, -y \sin x, y \cos x). $$(4.21)Finally the infinitesimal generators are:$$ \boldsymbol{\lambda }( \boldsymbol{g}_{1},\boldsymbol{g}H)= \bigl(z_{1} + z, y \cos z - x \sin z -x_{1} \sin (z_{1} + z) + y_{1} \cos (z_{1} + z)\bigr). $$(4.22)Note that the change of basis \(\boldsymbol{l}_{0} \to \boldsymbol{l} _{0}\), \(\boldsymbol{l}_{1} \to + \boldsymbol{l}_{2}\), \(\boldsymbol{l} _{2} \to - \boldsymbol{l}_{1}\) does not change the commutation relations, so the infinitesimal generators can also be written as$$ \boldsymbol{l}_{0} (x,y) = (1,0), \qquad \boldsymbol{l}_{1} (x,y) = (0,- \sin x), \qquad \boldsymbol{l}_{2} (x,y) = (0,\cos x). $$(4.23)$$ \boldsymbol{l}_{0} (x,y) = (1,0), \qquad \boldsymbol{l}_{1} (x,y) = (0, \cos x), \qquad \boldsymbol{l}_{2} (x,y) = (0,\sin x). $$(4.24)
4.2 Direct Construction of Canonical Vector Fields
We construct vector fields \(\boldsymbol{v}_{0},\boldsymbol{v}_{1}, \boldsymbol{v}_{2}\) satisfying (cf. (3.18)):
for \(\sigma = ( \sigma _{\alpha \beta }) = \left ( {\scriptsize\begin{matrix}{} 1&0 \cr 0&-1 \end{matrix}} \right ) \) and \(\left ( {\scriptsize\begin{matrix}{} 0&1 \cr -1&0 \end{matrix}} \right ) \). The vector fields are to coincide with the infinitesimal generators of a transitive three-dimensional group, so from [5], Cor. 2.66, the dimension of \(\langle \boldsymbol{v} _{0}, \boldsymbol{v}_{1},\boldsymbol{v}_{2} \rangle \) is two at each point. We assume that the components of the vector fields are analytic functions of \((x,y) \in \mathbb{R}^{2}\), and focus on a neighbourhood of the origin in \(\mathbb{R}^{2}\). Thus we can assume that at least one of \(\boldsymbol{v}_{1} (0,0), \boldsymbol{v}_{2} (0,0) \neq \boldsymbol{0}\). Suppose that \(\boldsymbol{v}_{1} (0,0) \neq 0\). Then we can choose local coordinates so that \(\boldsymbol{v}_{1}(x,y)=(1,0)^{\top }\), and since \([ \boldsymbol{v}_{1},\boldsymbol{v}_{2}](\cdot ) \equiv 0\) it follows that \(\boldsymbol{v}_{2}(x,y)=(\alpha (y), \beta (y))^{\top }\), for some functions \(\alpha (\cdot )\), \(\beta ( \cdot )\). There are two cases, depending on whether or not \(\boldsymbol{v}_{1} (0,0)\) and \(\boldsymbol{v}_{2} (0,0)\) are linearly dependent, i.e., depending on whether or not \(\beta (0) \neq 0\).
$$ [ \boldsymbol{v}_{1},\boldsymbol{v}_{2}](\cdot )= \boldsymbol{0}, \qquad [\boldsymbol{v}_{0}, \boldsymbol{v}_{\alpha }] = \sigma _{\alpha \beta } \boldsymbol{v}_{\beta }(\cdot ), \quad \alpha , \beta = 1,2, $$
(4.25)
(i)
\(\beta (0) \neq 0\)
Define \(g(y),f(y)\) by
and a change of coordinates \((x,y) \to ( \tilde{x},\tilde{y})\) by
Then from (1.4) we get
Dropping the tilde, for convenience, we now have
say. So from (4.25)
Thus \(\boldsymbol{v}_{0} = (\sigma _{11} x + \sigma _{21} y + c_{0}, \sigma _{12} x + \sigma _{22} y + d_{0} )^{\top }\), \(c_{0},d_{0} \in \mathbb{R}\). Since adding a linear combination of \(\boldsymbol{v}_{1}( \cdot )\) and \(\boldsymbol{v}_{2}(\cdot )\) to \(\boldsymbol{v}_{0}( \cdot )\) does not change the commutation relations (4.25), we can assume that \(c_{0}=d_{0}=0\). Thus
Hence we arrive at the vector fields given in (4.7) and (4.19) (bearing in mind the remark after (4.4)).
$$ g'(y)= \frac{1}{\beta (g)}, \qquad f'(y)=- \frac{\alpha (y)}{\beta (y)}, \quad f(0)=g(0)=0, $$
(4.26)
$$ \tilde{x} = x+f(y), \qquad \tilde{y}=g(y). $$
(4.27)
$$ \tilde{\boldsymbol{v}}_{2} ( \tilde{x},\tilde{y})= \left ( \textstyle\begin{array}{c@{\quad}c} 1&f'(y) \\ 0&g'(y) \end{array}\displaystyle \right ) \left ( \textstyle\begin{array}{c} \alpha (y) \\ \beta (y) \end{array}\displaystyle \right ) = \left ( \textstyle\begin{array}{c} 0 \\ 1 \end{array}\displaystyle \right ) , \qquad \tilde{\boldsymbol{v}}_{1} (\tilde{x}, \tilde{y})= \left ( \textstyle\begin{array}{c} 1 \\ 0 \end{array}\displaystyle \right ) . $$
(4.28)
$$ \boldsymbol{v}_{1}=(1,0)^{\top }, \qquad \boldsymbol{v}_{2}=(0,1)^{\top }, \qquad \boldsymbol{v}_{0}= \bigl(c(x,y),d(x,y)\bigr)^{\top }, $$
(4.29)
$$ \left ( \textstyle\begin{array}{l} \frac{\partial c}{\partial x},\frac{\partial d}{\partial x} \\ \frac{\partial c}{\partial y},\frac{\partial d}{\partial y} \end{array}\displaystyle \right ) = \sigma = (\sigma _{\alpha \beta }). $$
(4.30)
$$ \boldsymbol{v}_{0}(x,y)=\sigma ^{\top } \left ( \textstyle\begin{array}{c} x \\ y \end{array}\displaystyle \right ) . $$
(4.31)
(ii)
\(\beta (0)=0\)
In this case \(\boldsymbol{v}_{0}(0,0) \neq \boldsymbol{0}\), so we put \(\boldsymbol{v}_{0} (x,y) = (1,0)^{\top }\) and
Then from (4.25),
and rearranging
So
for some matrix \(D(y)\).
$$ \boldsymbol{v}_{1}(x,y)=\bigl(a(x,y),b(x,y) \bigr)^{\top }, \qquad \boldsymbol{v} _{2}(x,y)= \bigl(c(x,y),d(x,y)\bigr)^{\top }. $$
(4.32)
$$ -\frac{\partial }{\partial x} (a,b)^{\top } = \sigma _{11} (a,b)^{ \top } + \sigma _{12}(c,d)^{\top }, \qquad - \frac{\partial }{\partial x} (c,d)^{\top } = \sigma _{21} (a,b)^{ \top } + \sigma _{22}(c,d)^{\top }, $$
(4.33)
$$ -\frac{\partial }{\partial x} \left ( \textstyle\begin{array}{c} a \\ c \end{array}\displaystyle \right ) = \sigma \left ( \textstyle\begin{array}{c} a \\ c \end{array}\displaystyle \right ) , \qquad - \frac{\partial }{\partial x} \left ( \textstyle\begin{array}{c} b \\ d \end{array}\displaystyle \right ) = \left ( \textstyle\begin{array}{c} b \\ d \end{array}\displaystyle \right ) . $$
(4.34)
$$ \left ( \textstyle\begin{array}{c@{\quad}c} a&b \\ c&d \end{array}\displaystyle \right ) = \exp (- \sigma x) D(y), $$
(4.35)
-
In the case that \(\sigma = \left ( {\scriptsize\begin{matrix}{} 1&0 \cr 0&-1 \end{matrix}} \right ) \), (4.35) givesfor some functions \(\alpha , \bar{\beta },\gamma ,\delta \) (the functions \(\beta (\cdot )\) and \(\bar{\beta }(\cdot )\) are unrelated). Now one of \(\bar{\beta } (0)\), \(\delta (0)\) is non-zero (since \(\dim \langle \boldsymbol{v}_{0}, \boldsymbol{v}_{1},\boldsymbol{v} _{2} \rangle =2\)). Suppose that \(\bar{\beta } (0) \neq 0\), without loss of generality. By change of coordinates \(x \to \tilde{x} = x + f(y)\), \(y \to \tilde{y} = g(y)\), where \(f' = - \alpha / \bar{\beta }\), \(g' = e^{-f(y)} / \bar{\beta }\), we get that \(\boldsymbol{v}_{1} = (0,e ^{-x})^{\top }\) and that \(\boldsymbol{v}_{2}\) has the functional form given in (4.35), in the new coordinates. Then (4.25)1 gives$$ \boldsymbol{v}_{1} (x,y)=\bigl(\alpha (y) e^{-x}, \bar{\beta } (y) e^{-x} \bigr)^{ \top }, \qquad \boldsymbol{v}_{2} (x,y)=\bigl( \gamma (y) e^{x}, \delta (y) e ^{x} \bigr)^{\top }, $$(4.36)which implies that \(\gamma ' (y) = 0\), \(- \gamma (y) = \delta ' (y)\). Thus \(\gamma (y)=0\), since if \(\gamma (0) \neq 0\), \(\boldsymbol{v} _{1}\) and \(\boldsymbol{v}_{2}\) are linearly independent at the origin. So \(\delta (y)\) is a constant, and we may presume that \(\delta (y) = -1\) (cf. (3.30)). Thus$$ \bigl[ \bigl(0,e^{-x}\bigr)^{\top }, \bigl(\gamma (y) e^{x}, \delta (y) e^{x} \bigr) ^{\top }\bigr] = \boldsymbol{0}, $$(4.37)and these are the vector fields given in (4.13).$$ \boldsymbol{v}_{0} (x,y) = (1,0)^{\top }, \qquad \boldsymbol{v}_{1} (x,y) = \bigl(0,e^{-x}\bigr)^{\top }, \qquad \boldsymbol{v}_{2} (x,y) = \bigl(0,-e^{x} \bigr)^{ \top }, $$(4.38)
-
In the case that \(\sigma = \left ( {\scriptsize\begin{matrix}{} 0&1 \cr -1&0 \end{matrix}} \right ) \), then (4.35) giveswhere \(R(x)\), \(D(y)\) are defined in the obvious way (new function \(\beta (\cdot )\)). So$$ \left ( \textstyle\begin{array}{c@{\quad}c} a&b \\ c&d \end{array}\displaystyle \right ) = \left ( \textstyle\begin{array}{c@{\quad}c} \cos x&-\sin x \\ \sin x&\cos x \end{array}\displaystyle \right ) D(y) = R(x) \left ( \textstyle\begin{array}{c@{\quad}c} \alpha (y)&\beta (y) \\ \gamma (y)&\delta (y) \end{array}\displaystyle \right ) , $$(4.39)At least one of \(\beta (0)\), \(\alpha (0)\) is non-zero at the origin, without loss of generality assume that \(\beta (0) \neq 0\). Let \(\tilde{x} = x + f(y)\), \(\tilde{y} = g(y)\) and let \((\tilde{a} ( \tilde{x}, \tilde{y} ), \tilde{b} (\tilde{x},\tilde{y}) )^{\top }\), \((\tilde{c}(\tilde{x},\tilde{y}), \tilde{d}( \tilde{x},\tilde{y}))^{ \top }\) be the components of \(\boldsymbol{v}_{1},\boldsymbol{v}_{2}\) in the new coordinates. Then$$\begin{aligned} \begin{aligned} \boldsymbol{v}_{1}(x,y) &= ( \alpha \cos x - \gamma \sin x, \beta \cos x - \delta \sin x)^{\top }, \\ \boldsymbol{v}_{2}(x,y) &= (\alpha \sin x + \gamma \cos x, \beta \sin x + \delta \cos x)^{\top }. \end{aligned} \end{aligned}$$(4.40)Now choose \(f\) so that the 11 component of the matrix displayed in the line above is zero, recalling \(\beta (0) \neq 0\)$$\begin{aligned} &\left ( \textstyle\begin{array}{c@{\quad}c} \tilde{a}&\tilde{c} \\ \tilde{b}&\tilde{d} \end{array}\displaystyle \right ) _{\tilde{x} = \tilde{x} (x,y), \tilde{y} = \tilde{y} (y)} \\ &\quad= \left ( \textstyle\begin{array}{c@{\quad}c} 1&f'(y) \\ 0&g'(y) \end{array}\displaystyle \right ) \left ( \textstyle\begin{array}{c@{\quad}c} \alpha (y)&\gamma (y) \\ \beta (y)&\delta (y) \end{array}\displaystyle \right ) R(-x), \\ &\quad= \left ( \textstyle\begin{array}{c@{\quad}c} \alpha + \beta f'&\gamma + \delta f' \\ \beta g'&\delta g' \end{array}\displaystyle \right ) R(f) R(-x-f) \\ &\quad=\left ( \textstyle\begin{array}{c@{\quad}c} (\alpha + \beta f') \cos f + (\gamma + \delta f') \sin f&-(\alpha + \beta f') \sin f + (\gamma + \delta f') \cos f \\ g'(\beta \cos f + \delta \sin f)&g'(-\beta \sin f + \delta \cos f) \end{array}\displaystyle \right ) \\ &\qquad R(-x-f). \end{aligned}$$(4.41)Knowing \(f=f(y)\), choose \(g\) so that the 21 component of the matrix is 1:$$ f' = - \frac{(\alpha \cos f + \gamma \sin f)}{\beta \cos f + \delta \sin f}, \quad f(0)=0. $$(4.42)Then from (4.40)$$ g' = \frac{1}{\beta \cos f + \delta \sin f}, \quad g(0)=0. $$(4.43)for some functions \(\xi , \mu \), and dropping the tilde this gives$$ \left ( \textstyle\begin{array}{c@{\quad}c} \tilde{a}&\tilde{c} \\ \tilde{b}&\tilde{d} \end{array}\displaystyle \right ) _{\tilde{x},\tilde{y}} = \left ( \textstyle\begin{array}{c@{\quad}c} 0&\xi ( \tilde{y} ) \\ 1&\mu (\tilde{y}) \end{array}\displaystyle \right ) R(-\tilde{x}), $$(4.44)Since \(\boldsymbol{v}_{1}\) and \(\boldsymbol{v}_{2}\) are linearly dependent at the origin, \(\xi (0)=0\). We calculate that \([ \boldsymbol{v}_{1}, \boldsymbol{v}_{2}](\cdot )\) has components \(-(\xi ' + \xi ^{2}, \mu ' + \xi \mu )\). Hence \(\xi ' + \xi ^{2} = 0\), \(\xi (0) = 0\), so \(\xi (y)=0\), \(\mu '(y)=0\). So \(\mu (y)=\mu _{0} \in \mathbb{R}\) and \(\boldsymbol{v}_{1} (x,y)=(0,\cos x - \mu _{0} \sin x)^{\top }\), \(\boldsymbol{v}_{2} = (0, \sin x + \mu _{0} \cos x)^{ \top }\). Now from (3.31) we may replace \(\boldsymbol{v}_{1}\) by \(\tilde{\boldsymbol{v}}_{1} = \alpha \boldsymbol{v}_{1} - \beta \boldsymbol{v}_{2}\), \(\boldsymbol{v}_{2}\) by \(\tilde{\boldsymbol{v}} _{2} = \beta \boldsymbol{v}_{1} + \alpha \boldsymbol{v}_{2}\), \(\alpha , \beta \in \mathbb{R}\), \(\alpha ^{2} + \beta ^{2} >0\) without changing the commutation relations. By putting \(\alpha = (1 + \mu _{0} ^{2})^{-1}\), \(\beta = - \mu _{0} \alpha \) we obtain$$\begin{aligned} \begin{aligned} \boldsymbol{v}_{1} (x,y) &= \bigl(- \xi (y) \sin x, \cos x - \mu (y) \sin x\bigr)^{\top }, \\ \boldsymbol{v}_{2} (x,y) &= \bigl( \xi (y) \cos x, \sin x + \mu (y) \cos x\bigr)^{\top }. \end{aligned} \end{aligned}$$(4.45)and so recover (4.24).$$ \boldsymbol{v}_{0} (x,y) = (1,0)^{\top }, \qquad \boldsymbol{v}_{1} (x,y) = (0,\cos x)^{\top }, \qquad \boldsymbol{v}_{2} (x,y) = (0,\sin x)^{\top }, $$(4.46)
5 Sets of Points Obtained by Discrete Flow Along the Primary Lattice Vector Fields
Given the two-dimensional crystal state \(\varSigma \), (1.18), defined by vector fields \(\boldsymbol{l}_{0}(\cdot ), \boldsymbol{l}_{1}(\cdot )\) generating a three-dimensional lattice algebra, construct a set of points \(S_{\varSigma }\) in \(\varOmega \) by the following iterative procedure. Let \(\varepsilon ,\mu \in \mathbb{R}\) both be positive. Choose a point \(\boldsymbol{x}_{0} \in \varOmega \) as starting point and construct two points \(\boldsymbol{x}(\varepsilon ), \boldsymbol{x} (-\varepsilon ) \in \varOmega \) by solving
Obtain two further points \(\boldsymbol{y}(\mu ), \boldsymbol{y}(- \mu ) \in \varOmega \) by solving
Iterate this process, using the four points \(\boldsymbol{x}(\varepsilon )\), \(\boldsymbol{x}(-\varepsilon )\), \(\boldsymbol{y}(\mu )\), \(\boldsymbol{y}(-\mu )\) so obtained as starting points in turn, to begin with. Continue indefinitely in this way and denote the set of all points obtained by \(S_{\varSigma }\). \(S_{\varSigma }\) depends on \(\varepsilon , \mu \). We use (2.48), (2.49) to represent \(S_{\varSigma }\). So put \(\boldsymbol{g}=\boldsymbol{0}\) in those equations to deduce that \(\boldsymbol{x}(t) = \boldsymbol{\lambda } (e^{t \boldsymbol{e}_{0}}, \boldsymbol{x}_{0})\) solves (5.1), as the Lie algebra element corresponding to \(\boldsymbol{l}_{0} (\cdot )\) is \(\boldsymbol{e}_{0}\) (cf. (4.6), for example). Let \(\boldsymbol{\pi }, \boldsymbol{\sigma }\) be the projection and section mappings deriving from a particular choice of isotropy group \(H\), and corresponding group action, so \(\boldsymbol{\lambda }(\boldsymbol{g},\boldsymbol{x})= \boldsymbol{\pi } (\boldsymbol{g} \boldsymbol{\sigma }(\boldsymbol{x}))\). Then
where we define
Similarly
If we now take \(\boldsymbol{\pi }(e^{\varepsilon \boldsymbol{e}_{0}} \boldsymbol{g}_{0} )\) as starting point and (for example) flow along \(\boldsymbol{l}_{1}( \cdot )\), with parameter increase \(\mu \), then by (5.5) and (5.4) we arrive at \(\boldsymbol{\pi }(e^{\mu \boldsymbol{e} _{1}} \boldsymbol{g}_{1})\), where \(\boldsymbol{g}_{1}= \boldsymbol{\sigma }(\boldsymbol{\pi } (e^{\varepsilon \boldsymbol{e} _{0}} \boldsymbol{g}_{0} ))=e^{\varepsilon \boldsymbol{e}_{0}} \boldsymbol{g}_{0} \boldsymbol{h}\), for some \(\boldsymbol{h} \in H \subset G\). Since \(\boldsymbol{\pi } (\boldsymbol{a}\boldsymbol{h})= \boldsymbol{ \pi }(\boldsymbol{a})\) for arbitrary \(\boldsymbol{a} \in G\), \(\boldsymbol{h} \in H\), we have
It follows that
where \(D(e^{\varepsilon \boldsymbol{e}_{0}}, e^{\mu \boldsymbol{e} _{1}} )\) is the subgroup of \(G\) generated by \(e^{\varepsilon \boldsymbol{e}_{0}}, e^{\mu \boldsymbol{e}_{1}}\) (denoted \(D( \boldsymbol{a}_{0}, \boldsymbol{a}_{1})\) in the Introduction). Now we study \(D (e^{\varepsilon \boldsymbol{e}_{0}}, e^{\mu \boldsymbol{e}_{1}} )\) using the form (3.45) of the composition function, with group elements also denoted \((x,\boldsymbol{x})\), \(x \in \mathbb{R}\), \(\boldsymbol{x} \in \mathbb{R}^{2}\). We shall show in Proposition 2, below, that the elements of \(D(e^{\varepsilon \boldsymbol{e}_{0}}, e^{\mu \boldsymbol{e}_{1}})\) consist of ‘integer linear combinations’ of three elements (even though there are just two generators of this subgroup)—this representation allows us to discuss the discreteness of the set \(S_{\varSigma }\), via (5.7). Note that from (3.45), if \((x,\boldsymbol{x}) \in G\) so that any element of \(D (e^{\varepsilon \boldsymbol{e}_{0}}, e^{ \mu \boldsymbol{e}_{1}} )\) can also be represented in this form. Also, \((0, \boldsymbol{x})\) is an element of the one-dimensional subgroup \(\{ (0,t \boldsymbol{x}) \colon t \in \mathbb{R} \}\), with corresponding Lie algebra element \((0,\boldsymbol{x})\), and likewise for \((x,0)\). Hence we may write
where on the left side of (5.9), \((0,\boldsymbol{x}) \in \boldsymbol{g}\), on the right side \((0,\boldsymbol{x}) \in G\), etc. We calculate for later use that
Also, using (5.10)2,
Let us write \(D(e^{\varepsilon \boldsymbol{e}_{0}}, e^{\mu \boldsymbol{e}_{1}} ) \equiv D\) from now on. It is clear from (3.45) that
$$ \frac{d \boldsymbol{x}}{dt} (t) = \boldsymbol{l}_{0} \bigl(\boldsymbol{x}(t) \bigr), \quad \boldsymbol{x}(0)=\boldsymbol{x}_{0}, \ t \in \mathbb{R}. $$
(5.1)
$$ \frac{d \boldsymbol{y}}{ds} (s) = \boldsymbol{l}_{1} \bigl( \boldsymbol{y}(s) \bigr), \quad \boldsymbol{y}(0)=\boldsymbol{x}_{0}, \ s \in \mathbb{R}. $$
(5.2)
$$ \boldsymbol{x}(\varepsilon )= \boldsymbol{\lambda }\bigl(e^{\varepsilon \boldsymbol{e}_{0}}, \boldsymbol{x}_{0} \bigr)=\boldsymbol{\pi }\bigl(e^{\varepsilon \boldsymbol{e}_{0}} \boldsymbol{\sigma } ( \boldsymbol{x}_{0})\bigr) = \boldsymbol{\pi } \bigl(e^{\varepsilon \boldsymbol{e}_{0}} \boldsymbol{g} _{0}\bigr), $$
(5.3)
$$ \boldsymbol{g}_{0} \equiv \boldsymbol{\sigma }(\boldsymbol{x}_{0}). $$
(5.4)
$$ \boldsymbol{y}(\mu )=\boldsymbol{\pi } \bigl(e^{\mu \boldsymbol{e}_{1}} \boldsymbol{g}_{0}\bigr). $$
(5.5)
$$ \boldsymbol{\pi } \bigl(e^{\mu \boldsymbol{e}_{1}} \boldsymbol{g}_{1}\bigr) = \boldsymbol{\pi } \bigl(e^{\mu \boldsymbol{e}_{1}} e^{\varepsilon \boldsymbol{e}_{0}} \boldsymbol{g}_{0} \bigr). $$
(5.6)
$$ S_{\varSigma } = \boldsymbol{\pi } \bigl(D \bigl(e^{\varepsilon \boldsymbol{e}_{0}}, e^{\mu \boldsymbol{e}_{1}} \bigr) \boldsymbol{g}_{0} \bigr), $$
(5.7)
$$ (x, \boldsymbol{x})=\boldsymbol{\psi }\bigl((0,\boldsymbol{x}),(x, \boldsymbol{0})\bigr) \equiv (0,\boldsymbol{x}) (x,\boldsymbol{0}), $$
(5.8)
$$ e^{(0,\boldsymbol{x})} = (0,\boldsymbol{x}), \qquad e^{(x, \boldsymbol{0})} = (x, \boldsymbol{0}), $$
(5.9)
(5.10)
$$ e^{-\varepsilon \boldsymbol{e}_{0}} e^{\mu \boldsymbol{e}_{1}} e^{ \varepsilon \boldsymbol{e}_{0}} = \bigl(0,e^{-\sigma ^{\top } \varepsilon } ( \mu \hat{\boldsymbol{e}}_{1} ) \bigr) , \quad \hat{\boldsymbol{e}}_{1} \equiv \left ( \textstyle\begin{array}{c} 1 \\ 0 \end{array}\displaystyle \right ) . $$
(5.11)
-
if \((x,\boldsymbol{x}) \in D\), then \(x=n \varepsilon \) for some \(n \in \mathbb{Z}\),
-
if \((0,\boldsymbol{x}),(0,\boldsymbol{y}) \in D\), then \((0, \boldsymbol{x})^{l} (0,\boldsymbol{y})^{m} = (0,l \boldsymbol{x} + m \boldsymbol{y}) \in D\), \(l,m \in \mathbb{Z}\),
-
if \((x,\boldsymbol{x}) \in D\) then \(\boldsymbol{x} = \boldsymbol{\alpha } \mu \), where \(\boldsymbol{\alpha }\) is independent of \(\mu \).
We are interested in determining whether or not \(\boldsymbol{\pi } (D)\) is discrete, and it is necessary for this that \(\boldsymbol{\pi } (N')\) is discrete, whenever \(N' \subseteq D\). We notice that from (5.11) and and the last itemised statement above, \(N' \equiv (0,\mu N) \subseteq D\), where
Notice that for any \(\boldsymbol{p},\boldsymbol{q} \in N\), \(\alpha \boldsymbol{p} + \beta \boldsymbol{q} \in N\), \(e^{-\sigma ^{\top } \varepsilon } \boldsymbol{p} \in N\), \(\alpha ,\beta \in \mathbb{Z}\).
$$\begin{aligned} N &\equiv \bigl\{ \boldsymbol{p} \in \mathbb{R}^{2} \colon \boldsymbol{p} = l \hat{\boldsymbol{e}}_{1} + m_{1} e^{-\sigma ^{\top } \varepsilon } \hat{\boldsymbol{e}}_{1} + m_{2} e^{-2 \sigma ^{\top } \varepsilon } \hat{\boldsymbol{e}}_{1} \\ &\quad{}+ \cdots + m_{n} e^{-n \sigma ^{\top } \varepsilon } \hat{ \boldsymbol{e}}_{1}, \, l,m_{1}, \ldots , m_{n}, \, n \in \mathbb{Z} \bigr\} . \end{aligned}$$
(5.12)
Remark
Recall from Sect. 4 that two of the projections that occur have the form \(\boldsymbol{\pi } (z,x,y) = (x,y)\) (the same projection occurs both when \(\sigma = \left ( {\scriptsize\begin{matrix}{} 1&0 \cr 0&-1 \end{matrix}} \right ) \) and when \(\sigma = \left ( {\scriptsize\begin{matrix}{} 0&+1 \cr -1&0 \end{matrix}} \right ) \)). So in these two cases \(\boldsymbol{\pi } (N') = N\). Therefore we consider these two cases first, and enquire in each case if \(\boldsymbol{\pi } (N')=N\) is discrete.
(i)
Suppose that \(\sigma = \left ( {\scriptsize\begin{matrix}{} 0&1 \cr -1&0 \end{matrix}} \right ) \) with Lie algebra basis (from (3.18)) such that \([ \boldsymbol{l}_{1},\boldsymbol{l}_{2}]=\boldsymbol{0}\), \([ \boldsymbol{l}_{0},\boldsymbol{l}_{1}]=\boldsymbol{l}_{2}\), \([\boldsymbol{l}_{0},\boldsymbol{l}_{2}]=-\boldsymbol{l}_{1}\). Then (1.20) holds with \(\boldsymbol{l}_{2}=[\boldsymbol{l}_{0}, \boldsymbol{l}_{1}]\), \(\beta =-1\), other constants zero. Set
\(N\) is to be discrete, and from the remark following (5.12) it follows that \(N\) is invariant under rotation through \(\varepsilon \). Let \(\boldsymbol{p},\boldsymbol{q} \in N\) be two points of \(N\) such that the distance between them (as points in \(\mathbb{R}^{2}\)) is a minimum, then by the standard crystallography argument (in \(\mathbb{R}^{2}\)), using the remark following (5.12), one can obtain a contradiction unless
Hence (5.14) is necessary if \(D\) is to be discrete. According to results in Sect. 3, for each such choice of \(\varepsilon \), there is a matrix \(\gamma \in \textrm{SL}_{2} (\mathbb{Z})\) such that
and the corresponding matrices \(\gamma \) as given in Sect. 3. Hence if \((n \varepsilon ,\boldsymbol{x}), (m \varepsilon , \boldsymbol{y}) \in D\) we have
$$ e^{\sigma ^{\top } \varepsilon } \equiv R(\varepsilon ) \equiv \left ( \textstyle\begin{array}{c@{\quad}c} \cos \varepsilon &-\sin \varepsilon \\ \sin \varepsilon &\cos \varepsilon \end{array}\displaystyle \right ) . $$
(5.13)
$$ \frac{\varepsilon }{2 \pi } = \frac{1}{p}, \quad p=1,2,3,4,6. $$
(5.14)
$$ e^{\sigma ^{\top } \varepsilon } = P \gamma P^{-1}, \quad P \in \textrm{GL}_{2} (\mathbb{R}), $$
(5.15)
$$\begin{aligned} (n \varepsilon ,\boldsymbol{x}) (m \varepsilon ,\boldsymbol{y}) &=\bigl((n+m) \varepsilon , \boldsymbol{x}+e^{n \sigma ^{\top } \varepsilon } \boldsymbol{y}\bigr) \\ &=\bigl((n+m) \varepsilon , \boldsymbol{x} + P \gamma ^{n} P^{-1} \boldsymbol{y}\bigr) \\ &=\bigl((n+m) \varepsilon , P\bigl(P^{-1} \boldsymbol{x} + \gamma ^{n} P^{-1} \boldsymbol{y}\bigr)\bigr). \end{aligned}$$
(5.16)
Proposition 2
Suppose that\(\sigma ^{\top } \varepsilon \)is such that (5.15) holds with\(\gamma \in \textrm{SL}_{2} (\mathbb{Z})\), then all elements of\(D\)can be represented as integer linear combinations of\(\varepsilon \boldsymbol{e}_{0}, (0, \mu \hat{\boldsymbol{e}}_{1} ), (0,e^{ \sigma ^{\top } \varepsilon } (\mu \hat{\boldsymbol{e}}_{1} ))\), and all such linear combinations correspond to elements of\(D\).
Proof
We only have to show that
for the following reason. Recall that \((x,0) \in D\) if and only if \(x=n \varepsilon \) for some \(n \in \mathbb{Z}\). Then if \((x, \boldsymbol{x}) \in G\) is a linear combination of the terms given in the statement of the proposition, we have that \((x,\boldsymbol{x})=(0, \boldsymbol{x})(x,0) \in D\) using the fact recalled and (5.17). Conversely, if \((x,\boldsymbol{x}) \in D\) we have that \(x=n \varepsilon \), \(n \in \mathbb{Z}\), so \((x,0) \in D\). But then \((0,\boldsymbol{x})=(x, \boldsymbol{x})(x,0)^{-1} \in D\), so by (5.17), \(\boldsymbol{x}\) is an integer linear combination of \(\mu \hat{\boldsymbol{e}}_{1}\), \(e^{\sigma ^{\top } \varepsilon } (\mu \hat{\boldsymbol{e}}_{1})\).
$$ (0,\boldsymbol{x}) \in D \text{ if and only if } \boldsymbol{x}= \mu \bigl(l \hat{\boldsymbol{e}}_{1} + m e^{\sigma ^{\top } \varepsilon } \hat{\boldsymbol{e}}_{1} \bigr), \quad l,m \in \mathbb{Z}, $$
(5.17)
Note that
so we just have to prove the ‘only if’ implication in (5.17). So let \(\boldsymbol{g} \equiv (x,\boldsymbol{x}) \in D\). Then \(\boldsymbol{g}\) can be written as a product of the generators \(e^{\varepsilon \boldsymbol{e}_{0}}\), \(e^{\mu \boldsymbol{e}_{1}}\) and their inverses (called a ‘word’ in the generators). Let \(n\) be the minimum length of any such (i.e., \(=\boldsymbol{g}\)) word in the generators. Clearly the desired implication holds if \(n=1\). To prove the result by induction on \(n\) it suffices to show that \(\boldsymbol{f}(k \varepsilon , l(\mu \hat{\boldsymbol{e}}_{1}) + me^{\sigma ^{\top } \varepsilon } (\mu \hat{\boldsymbol{e}}_{1}))\) has the required form when \(\boldsymbol{f}\) is one of the generators or their inverses, \(k,l,m \in \mathbb{Z}\). It turns out that the only non-trivial task is to rearrange
But , by (5.15), and \(\operatorname{tr} \gamma \in \mathbb{Z}\). This proves the result. □
$$ (0,\boldsymbol{x})=\bigl(0,l(\mu \hat{\boldsymbol{e}}_{1})+me^{\sigma ^{ \top } \varepsilon } (\mu \hat{\boldsymbol{e}}_{1})\bigr)= (0,\mu \hat{\boldsymbol{e}}_{1})^{l} \bigl(0,e^{\sigma ^{\top } \varepsilon } ( \mu \hat{\boldsymbol{e}}_{1}) \bigr)^{m} \in D, $$
(5.18)
$$ (\varepsilon \boldsymbol{e}_{0}) \bigl(k \varepsilon , l(\mu \hat{ \boldsymbol{e}}_{1})+me^{\sigma ^{\top } \varepsilon } (\mu \hat{\boldsymbol{e}}_{1}) \bigr)=\bigl((k+1) \varepsilon , e^{\sigma ^{\top } \varepsilon } \bigl( \lambda (\mu \hat{ \boldsymbol{e}}_{1}) + me^{ \sigma ^{\top } \varepsilon } (\mu \hat{\boldsymbol{e}}_{1}) \bigr)\bigr). $$
(5.19)
Remark
-
The proposition holds independently of the choice of \(\hat{\boldsymbol{e}}_{1} = \left ( {\scriptsize\begin{matrix}{} a \cr b \end{matrix}} \right ) \neq \boldsymbol{0}\).It follows thatwhere \(\varepsilon \) is such that (5.14) holds, so \(\pi (D)\) is a two-dimensional lattice, with integral basis \(\mu \hat{\boldsymbol{e}}_{1}\), \(e^{\sigma ^{\top } \varepsilon } (\mu \hat{\boldsymbol{e}}_{1})\), for this choice of isotopy group/projection/group action. Note that the fundamental cell of the lattice can be arbitrarily small.$$ \pi (D) = \bigl\{ l(\mu \hat{\boldsymbol{e}}_{1}) + me^{\sigma ^{\top } \varepsilon } (\mu \hat{\boldsymbol{e}}_{1}) \colon l,m \in \mathbb{Z} \bigr\} , $$(5.20)
(ii)
Now suppose that \(\sigma = \left ( {\scriptsize\begin{matrix}{} 1&0 \cr 0&-1 \end{matrix}} \right ) \), \(\boldsymbol{\pi } (z,x,y) = (x,y)\). The Lie algebra basis such that \([\boldsymbol{l}_{0},\boldsymbol{l}_{1}]=\boldsymbol{l}_{1}\), \([\boldsymbol{l}_{0},\boldsymbol{l}_{2}] = -\boldsymbol{l}_{2}\), \([\boldsymbol{l}_{1},\boldsymbol{l}_{2}]=\boldsymbol{0}\) (from (3.18)) is of the form (1.20). So we take \(\tilde{\boldsymbol{l}}_{0} \equiv \boldsymbol{l}_{0}\), \(\tilde{\boldsymbol{l}}_{1}=\boldsymbol{l}_{1}+ \boldsymbol{l}_{2}\), \(\tilde{\boldsymbol{l}}_{2} = \boldsymbol{l}_{1} - \boldsymbol{l}_{2}\), to get \([\tilde{\boldsymbol{l}}_{0}, \tilde{\boldsymbol{l}}_{1}]=\tilde{\boldsymbol{l}}_{2}\), \([ \tilde{\boldsymbol{l}}_{0},\tilde{\boldsymbol{l}}_{2}]= \tilde{\boldsymbol{l}}_{1}\), \([\tilde{\boldsymbol{l}}_{1}, \tilde{\boldsymbol{l}}_{2}]=\boldsymbol{0}\), which has the form (1.20) with \(\tilde{\boldsymbol{l}}_{2} = [ \tilde{\boldsymbol{l}}_{0}, \tilde{\boldsymbol{l}}_{1}]\), with \(\beta =1\), other constants zero. So here we are interested in the subgroup generated by \(e^{\varepsilon \boldsymbol{e}_{0}}\), \(e^{\mu (\boldsymbol{e}_{1} + \boldsymbol{e} _{2})}\)—we continue to denote the subgroup by \(D\). Note that \(e^{\mu (\boldsymbol{e}_{1} + \boldsymbol{e}_{2})}=e^{\mu \boldsymbol{e}_{1}} e^{\mu \boldsymbol{e}_{2}} = (0,\mu ( \hat{\boldsymbol{e}}_{1} + \hat{\boldsymbol{e}}_{2}))\), where (3.45) holds.
We shall assume, in this case, that \(\varepsilon \) is such that (5.15) holds, so
Given this assumption, from Proposition 2 (and the remark that follows it)
This set is not discrete, for if it were then \(e^{\varepsilon }\) would be rational, so \(e^{\varepsilon } = p/q\), \(p,q \in \mathbb{Z}\) relatively prime. Then (5.21) gives that \(p^{2}/q = np-q\) for some integer \(n\), which implies that \(q\) divides \(p\), so \(q=1\) and \(e^{\varepsilon }=p\), which is impossible.
$$ \operatorname{tr} e^{\sigma ^{\top } \varepsilon } = e^{\varepsilon } + e ^{-\varepsilon } = \operatorname{tr} \gamma \in \mathbb{Z}. $$
(5.21)
$$\begin{aligned} \boldsymbol{\pi } (D) &= \left \{ \mu \left ( l \left ( \textstyle\begin{array}{c} 1 \\ 1 \end{array}\displaystyle \right ) + m \left ( \textstyle\begin{array}{c@{\quad}c} e^{\varepsilon }&0 \\ 0&e^{-\varepsilon } \end{array}\displaystyle \right ) \left ( \textstyle\begin{array}{c} 1 \\ 1 \end{array}\displaystyle \right ) \right ) \colon l,m \in \mathbb{Z} \right \} \\ &= \bigl\{ \mu \bigl(l+m e^{\varepsilon }, l+m e^{-\varepsilon } \bigr)^{\top } \colon l,m \in \mathbb{Z} \bigr\} . \end{aligned}$$
(5.22)
It remains to consider whether or not \(\boldsymbol{\pi } (D)\) is discrete in two cases:
(iii)
\(\sigma = \left ( {\scriptsize\begin{matrix}{} 0&1 \cr -1&0 \end{matrix}} \right ) \), \(\boldsymbol{\pi }(z,x,y)=(z,y \cos z - x \sin z)\), generators \(e^{\sigma \boldsymbol{e}_{0}}\), \(e^{\mu \boldsymbol{e} _{1}}\);
(iv)
\(\sigma = \left ( {\scriptsize\begin{matrix}{} 1&0 \cr 0&-1 \end{matrix}} \right ) \), \(\boldsymbol{\pi } (z,x,y) = (z,x e^{-z} - y e^{z})\), generators \(e^{\varepsilon \boldsymbol{e}_{0}}\), \(e^{\mu ( \boldsymbol{e}_{1}+\boldsymbol{e}_{2})}\).
We shall assume that (5.14), (5.15) hold in case (iii), and that (5.15) holds in case (iv), so that Proposition 2 holds in each case, to simplify the calculations. (We have no results in the case that (5.15) does not hold.)
In case (iii), elements of \(D\) are integer linear combinations of \(\varepsilon \boldsymbol{e}_{0}\), \((0,\mu \hat{\boldsymbol{e}}_{1})\), \((0,R(\varepsilon ) \mu \hat{\boldsymbol{e}}_{1})\), and one calculates that
where we define
We shall show that
$$ \boldsymbol{\pi }(D) = \bigl\{ \bigl( l \varepsilon , \mu \bigl(n \sin \varepsilon \cos l \varepsilon - (m+n \cos \varepsilon ) \sin l \varepsilon \bigr) \bigr) \colon l,m,n \in \mathbb{Z} \bigr\} \equiv \bigcup _{l \in \mathbb{Z}} (l \varepsilon , \mu S_{l}), $$
(5.23)
$$ S_{l} \equiv \bigl\{ -m \sin l \varepsilon + n \sin (l-1) \varepsilon \colon m,n \in \mathbb{Z} \bigr\} . $$
(5.24)
$$ S_{l} = S_{1} = S_{0} = \{ m \sin \varepsilon \colon m \in \mathbb{Z} \}, \quad l \in \mathbb{Z}. $$
(5.25)
It is clear that \(S_{1} = S_{0}\). Recall that \(\varepsilon = \frac{2 \pi }{p}\), \(p=1,2,3,4\) or 6, and notice from the definition that
We prove (5.25) for each value of \(p\) in turn, beginning with \(p=2\)—then \(S_{0} = S_{1}\) and (5.26) gives the result. For \(p=3\), we only have to prove that \(S_{2} = S_{1}\) (from (5.26)), but this is so because \(\sin 4 \pi / 3 = - \sin 2 \pi / 3\). The other cases are similar. Hence
so if \(p=1,2\) this is a one-dimensional lattice, and if \(p=3,4,6\) it is a two-dimensional lattice.
$$ S_{l} = S_{l+p} = S_{p+1-l}, \quad l \in \mathbb{Z}. $$
(5.26)
$$ \boldsymbol{\pi } (D) = \bigl\{ ( l \varepsilon , \mu m \sin \varepsilon ) \colon l,m \in \mathbb{Z} \bigr\} , $$
(5.27)
In case (iv), elements of \(D\) are integer linear combinations of \(\varepsilon \boldsymbol{e}_{0}\), \((0,\mu (\hat{\boldsymbol{e}}_{1} + \hat{\boldsymbol{e}}_{2}))\), \(\left ( 0,\mu \left ( {\scriptsize\begin{matrix}{} e^{\varepsilon }&0 \cr 0&e^{-\varepsilon } \end{matrix}} \right ) \left ( {\scriptsize\begin{matrix}{} 1 \cr 1 \end{matrix}} \right ) \right ) \) and one calculates from \(\boldsymbol{\pi } (z,x,y) = (z,xe^{-z} - ye^{z} )\) that
where we define
$$ \boldsymbol{\pi } (D) = \bigcup_{l \in \mathbb{Z}} (l_{\varepsilon }, \mu S_{l} ), $$
(5.28)
$$ S_{l} = \bigl\{ m\bigl(e^{l \varepsilon } - e^{-l \varepsilon } \bigr) + n \bigl( e^{(l-1) \varepsilon } - e^{-(l-1)\varepsilon } \bigr) \colon m,n \in \mathbb{Z} \bigr\} . $$
(5.29)
Recall that \(e^{\varepsilon } + e^{-\varepsilon } \in \mathbb{Z}\), by assumption. We notice that, for \(k \in \mathbb{Z}\) which is a sum of terms of the form \(e^{r \varepsilon } + e^{-r \varepsilon }\), or 1. But
so by induction we see that \(e^{r \varepsilon } + e^{-r \varepsilon } \in \mathbb{Z}\), \(r > 0\), \(r\) an integer. Therefore we define
\(a_{k}\) is a polynomial of degree \((k-1)\) in the variable \((e^{\varepsilon } + e^{-\varepsilon })\) (Chebyshev polynomial of the second kind). One checks that
where \(p \equiv e^{\varepsilon } + e^{-\varepsilon } \in \mathbb{Z}\).
$$ \frac{\sinh k \varepsilon }{\sinh \varepsilon } = e^{(k-1)\varepsilon } + e^{(k-3)\varepsilon } + \cdots + e^{-(k-3)\varepsilon } + e^{-(k-1) \varepsilon }, $$
(5.30)
$$ \bigl(e^{(r+1)\varepsilon } + e^{-(r+1)\varepsilon }\bigr)=\bigl(e^{r\varepsilon } + e^{-r \varepsilon }\bigr) \bigl(e^{\varepsilon } + e^{-\varepsilon }\bigr)- \bigl(e^{(r-1) \varepsilon } + e^{-(r-1)\varepsilon } \bigr), $$
(5.31)
$$ a_{k} = \frac{\sinh k \varepsilon }{\sinh \varepsilon } \in \mathbb{Z}. $$
(5.32)
$$ a_{k+1}=p a_{k} - a_{k-1}, \quad a_{0} = 0, \, a_{1} = 1, $$
(5.33)
Now \(S_{l}\) can be written as
By (5.34) this can be rearranged as
It follows that
Hence from (5.29), \(\boldsymbol{\pi }(D)\) is a lattice with basis \((\varepsilon ,\boldsymbol{0})\), \(\mu (e^{\varepsilon } - e^{-\varepsilon })(0,\hat{\boldsymbol{e}}_{1} + \hat{\boldsymbol{e}}_{2})\).
$$ S_{l} = \bigl(e^{\varepsilon } - e^{-\varepsilon }\bigr) \{ ma_{l} + na_{l-1} \colon m,n \in \mathbb{Z} \}. $$
(5.34)
$$\begin{aligned} S_{l} &= \bigl(e^{\varepsilon } - e^{-\varepsilon }\bigr) \bigl\{ (n+mp) a_{l-1} - ma _{l-2} \colon m,n \in \mathbb{Z} \bigr\} \\ &=\bigl(e^{\varepsilon } - e^{-\varepsilon }\bigr) \bigl\{ m'a_{l-1} + n' a_{l-2} \colon m',n' \in \mathbb{Z} \bigr\} \\ &=S_{l-1}. \end{aligned}$$
(5.35)
$$ S_{l} = S_{1} = \bigl(e^{\varepsilon } - e^{-\varepsilon } \bigr) \mathbb{Z}. $$
(5.36)
Incidentally notice that
so that \(\left ( {\scriptsize\begin{matrix}{} e^{l \varepsilon } \cr e^{-l \varepsilon } \end{matrix}} \right ) \) is an element of the sublattice \(V\) of \(D\) with basis \(\left ( {\scriptsize\begin{matrix}{} 1 \cr 1 \end{matrix}} \right ) \), \(\left ( {\scriptsize\begin{matrix}{} e^{\varepsilon } \cr e^{-\varepsilon } \end{matrix}} \right ) \) (omitting the first component). The relevant projection mapping represents cosets in terms of lines parallel to \(\left ( {\scriptsize\begin{matrix}{} e^{l \varepsilon } \cr e^{-l \varepsilon } \end{matrix}} \right ) \) in planes \(z=l \varepsilon \), so from (5.37) these lines are rational directions in \(V\). The fact that \(S_{l}\) has the form (5.36) is thus a direct reflection of the fact that the distance between adjacent parallel rational lines in \(V\) is constant.
$$ \left ( \textstyle\begin{array}{c} e^{l \varepsilon } \\ e^{-l \varepsilon } \end{array}\displaystyle \right ) = a_{l} \left ( \textstyle\begin{array}{c} e^{\varepsilon } \\ e^{-\varepsilon } \end{array}\displaystyle \right ) - a_{l-1} \left ( \textstyle\begin{array}{c} 1 \\ 1 \end{array}\displaystyle \right ) , $$
(5.37)
6 Conclusion
We have discussed both continuous and discrete structures associated with crystals that have non-constant dislocation density and unimodular solvable group structure, above. There are some more cases that need to be dealt with before we can progress to the next stage of this programme with a degree of understanding sufficient to address variational problems (say) which model defective crystals with strain energy densities of the type described in Sect. 1. Specifically, we need to consider the case where the relevant Lie group is simple. In particular, the group SU(2) appears—the topology of the corresponding homogeneous space is non-trivial (it has curvature), and the apparatus of Sect. 2 is not quite refined enough to discuss this particular case. (The theory of fibre bundles is the extra ingredient required.)
Once the simple case is dealt with, the next task to consider the ‘symmetries’ of the discrete structures so obtained, and the main issue then is the following: the symmetries of the discrete structures are automorphisms of the corresponding discrete groups—there is no general reason (apparently) why these automorphisms should extend to automorphisms of the ambient (continuous) Lie group. Now the automorphisms of the continuous group, in continuum mechanics terms, can be thought of as elastic deformations—so, rephrasing, the issue is whether or not the discrete symmetries can be embedded (perhaps uniquely) in (smooth) elastic deformations. But if these symmetries may indeed be so extended, then they may be taken as ‘material symmetries’ for strain energy functions which model defective crystals, in generalization of classical work which uses the crystal classes as material symmetries of strain energy densities for perfect crystals.
Finally we remark that the theory of fibre bundles has a well established and prominent position in modern theoretical physics—it leads (for example) to the existence of localized disturbances which satisfy field equations deriving from certain variational problems. So the emergence of this theory in the context of defective crystals is exciting, since the idea that defects have a similar status, as smooth localized disturbances in a continuum mechanics setting, is a long-held ideal (by some).
Acknowledgements
This work was supported by the Engineering and Physical Sciences Research Council [grant number EP/M024202/1], we are very grateful to the EPSRC for the support.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.