Professional Documents
Culture Documents
Lawrence A. Eclarin
INTRODUCTION
1
standard basis {e, e}. A sublattice of that is generated by two linearly
independent translations and is represented by the 2 2 matrix .
Two 2 2 matrices are column equivalent if one may be obtained from the
other by a finite combination of any of the following elementary column operations:
(1) permutation of the columns; (2) multiplication of a column by 1 or 1; or (3)
addition of an integral multiple of a column to another column. Column equivalent
matrices represent the same sublattice.
A canonical form for the 2 2 matrix representing a given sublattice is
= , , , 0 < , 0 < . This upper triangular matrix with the
0
given form, representing , is unique. The sublattice has distinct cosets which is
equal to the determinant of the canonical matrix representing .
2
Figure 2. The cosets of a sublattice of index 3. Points of
the same color belong to the same coset.
With this canonical form we can show that the number of subgroups of
of index is given by | .
3
< , 0 . Then the intersection is a sublattice of and may be
represented by a 2 2 matrix in canonical form.
Since the intersection may be written in canonical form, we can limit our
domain to the points for which , 1 and the nonnegative integers, . So we get
the following sets:
For , we have
{0}
( + ) {}
(2 + ) {2}
(3 + ) {3}
For , we have
{0}
( + ) {}
(2 + ) {2}
(3 + ) {3}
If = 0 < , 0 < , then the points (, 0) and (, ) will
0
be in the intersection of the above subsets of and . We can easily get (, 0) by
taking (, ) = . By listing the elements of the above subsets in the domain
where , 1, we can identify (, ) as the point common to the subsets which
satisfies the condition that 0 < where b is minimum. The points (, 0) and
(, ) taken in this manner are linearly independent and they generate the
sublattice .
4
Let us apply this method in finding the intersection of the sublattices
2 1 3 2
= and = .
0 2 0 1
And we have
2 1 3 2 6 1
Thus = = .
0 2 0 1 0 2
That is, in the above example we can just consider the sets
{1 + 2} {2} = {(1,2), (3,2), (5,2), (7,2), }
(1 + 3) {2} = {(1,2), (4,2), (7,2), (10,3) } .
5
COINCIDENCE SITE LATTICES
Figure 3. The square lattice, a rotated copy and the CSL formed.
6
5 2
The CSL formed is .
0 1
In general, the CSLs are of the form where is the largest of the
0 1
Pythagorean triples corresponding to the coincidence rotation . Suppose (, , )
is a Pythagorean triple satisfying + = and = tan(/). For (, )
[], we have
(, = ) , (, ( = ), 1).
For example, take = tan(4/3). We have
3 4
(, = ) , (, ).
5 5
Equating the product to (, 1) we get the equations
3 4
=
5 5
4 3
+ = 1 .
5 5
Solving for in terms of ,
5 4
= 5 4 0 3
3
From this congruence we get the least positive integral solution. So we take = 2
5 2
and find = 2. Thus the intersection .
0 1
CONCLUSION
In this paper, it is shown that the canonical representation = ,
0
, , , 0 < , 0 < given by De Las Penas and Felix is useful in deriving a
method for finding the intersection of two distinct sublattices of the square lattices.
Furthermore, using the results of Baake we can also find the CSL formed by the
square lattice with a rotated copy of itself given that the coincidence rotation is an
orthogonal matrix with rational entries.
7
REFERENCES