# Relationships between fixed points and eigenvectors in the group $GL(2,\mathbb{R})$

- Bilal Demir
^{1}, - Nihal Yılmaz Özgür
^{2}and - Özden Koruoğlu
^{3}Email author

**2013**:55

https://doi.org/10.1186/1687-1812-2013-55

© Demir et al.; licensee Springer 2013

**Received: **28 November 2012

**Accepted: **21 February 2013

**Published: **13 March 2013

## Abstract

$PSL(2,\mathbb{R})$ is the most frequently studied subgroup of the Möbius transformations. By adding anti-automorphisms

to the group $PSL(2,\mathbb{R})$, the group $G=PSL(2,\mathbb{R})\cup {G}^{\mathrm{\prime}}$ is obtained. The elements of this group correspond to matrices of $GL(2,\mathbb{R})$. In this study, we consider the relationships between fixed points of the elements of the group *G* and eigenvectors of matrices corresponding to the elements of this group.

**MSC:**20H10, 15A18.

## Keywords

## 1 Introduction

*f*of the form

where $a,b,c,d\in \mathbb{C}$ and $ad-bc\ne 0$. Each Möbius transformation is a meromorphic bijection of ${\mathbb{C}}_{\mathrm{\infty}}$ onto itself and is called an automorphism of ${\mathbb{C}}_{\mathrm{\infty}}$.

Möbius transformations form a group with respect to composition. If *T* is a Möbius transformation, then the composition $T\circ R$ is called an anti-automorphism of ${\mathbb{C}}_{\mathrm{\infty}}$, where $R(z)=-\overline{z}$. The union of automorphisms and anti-automorphisms also form a group under the composition of functions.

By adding anti-automorphisms ${G}^{\mathrm{\prime}}=\{\frac{{a}^{\mathrm{\prime}}\overline{z}+{b}^{\mathrm{\prime}}}{{c}^{\mathrm{\prime}}\overline{z}+{d}^{\mathrm{\prime}}}:{a}^{\mathrm{\prime}},{b}^{\mathrm{\prime}},{c}^{\mathrm{\prime}},{d}^{\mathrm{\prime}}\in \mathbb{R},{a}^{\mathrm{\prime}}{d}^{\mathrm{\prime}}-{b}^{\mathrm{\prime}}{c}^{\mathrm{\prime}}=-1\}$ to the group $PSL(2,\mathbb{R})$, the group $G=PSL(2,\mathbb{R})\cup {G}^{\mathrm{\prime}}$ is obtained. The elements of this group correspond to the matrices of $GL(2,\mathbb{R})$. If we take $T(z)\in G$, then $T(z)$ has the matrix presentation $T=\pm \left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in GL(2,\mathbb{R})$.

The fixed points of automorphisms and anti-automorphisms of the extended complex plane have especially been of great interest in many fields of mathematics, for example, in number theory, functional analysis, theory of complex functions, geometry and group theory (see [1–5] and references therein).

In [6], Beardon gave some relationships between the fixed points of Möbius maps and the lines of the eigenvectors of their corresponding matrices. So, these studies include the transformations of $PSL(2,\mathbb{R})$. In this study, we investigate similar relationships for transformations of ${G}^{\mathrm{\prime}}$. Thus we complete the problem for the group *G*.

## 2 Preliminaries

In this section we give brief information about complex lines and fixed points of the transformations of *G*.

**Definition 1** [6]

*L*is the set of complex scalar multiples of some non-zero point in ${\mathbb{C}}^{2,t}$, and so it is of the form

*L*in Definition 1 and the common value of all of these quotients is the slope $\frac{{z}_{1}}{{z}_{2}}$ of

*L*. The single complex line whose slope is not defined is

*w*, there is a unique complex line $L(w)$ with slope

*w*, namely

**Theorem 1** [6]

*Let* *f* *be a Möbius map with corresponding matrix* *A*. *Then* $f(w)=w$ *if and only if* $L(w)$ *is a line of eigenvectors of* *A*.

Here we mention types of the elements in the group *G* briefly. For each $T\in G$, the point $z\in {\mathbb{C}}_{\mathrm{\infty}}$ is called a fixed point of *T* if $T(z)=z$, and the trace of $T(z)$ is defined by $tr(T)=a+d$. There is a relation between the fixed points and the trace of a transformation of *G*. Thus we can determine fixed points location in ${\mathbb{C}}_{\mathrm{\infty}}$ with the trace.

- (i)
$|tr(T)|>2$, then there are two fixed points in $\mathbb{R}\cup \{\mathrm{\infty}\}$ and $T(z)$ is called a hyperbolic element.

- (ii)
$|tr(T)|=2$, then there is one fixed point in $\mathbb{R}\cup \{\mathrm{\infty}\}$ and $T(z)$ is called a parabolic element.

- (iii)
$|tr(T)|<2$, then there are two conjugate fixed points in $\mathbb{C}\cup \{\mathrm{\infty}\}$ and $T(z)$ is called an elliptic element.

- (iv)
$tr(T)\ne 0$, then there are two distinct fixed points on the $\mathbb{R}\cup \{\mathrm{\infty}\}$ and $T(z)$ is called a glide reflection.

- (v)
$tr(T)=0$, then the set of the fixed points is a circle and $T(z)$ is called a reflection. For more information, one can consult the references [7] and [8].

*G*. Some straightforward computations show that the fixed points of $T(z)$ are

and these points lie on $\mathbb{R}\cup \{\mathrm{\infty}\}$ for any $T(z)=\frac{a\overline{z}+b}{c\overline{z}+d}\in G$ with $tr(T)\ne 0$. For any $T(z)=\frac{a\overline{z}+b}{c\overline{z}+d}\in G$ with $tr(T)=0$, the fixed points of $T(z)$ form a circle centered at $M(\frac{a}{c},0)$ and of radius $r=\frac{1}{|c|}$.

## 3 Eigenvectors of the matrices corresponding to the transformations in the group *G*

If $T(z)\in PSL(2,\mathbb{R})$, then the connection between fixed points of $T(z)$ and lines of eigenvectors for the matrix *T* corresponding to $T(z)$ is explained by Theorem 1. Now we consider the transformations of the group *G* which belong to
.

We use the eigenvector representation $\left(\begin{array}{c}{k}_{1}\\ {k}_{2}\end{array}\right)$ for the matrix *T*. First we begin with the glide reflections.

### 3.1 Glide reflections

We will show that the fixed points of a glide reflection $T(z)$ correspond to the two lines of eigenvectors for the matrix *T* corresponding to $T(z)$. In the following two lemmas, we determine the eigenvalues and eigenvectors of the matrices which correspond to the glide reflections.

**Lemma 1**

*Let the matrix*$T=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$

*correspond to any glide reflection*.

*The eigenvalues of*

*T*

*are*

*and the eigenvectors of*

*T*

*are*

*Proof*It is easy to compute the eigenvalues by the condition $a+d\ne 0$ and (3.1). For an eigenvalue

*λ*, we obtain the eigenvector by the following equation

□

**Theorem 2** *Let* $T(z)$ *be a glide reflection map in the group* *G* *with corresponding matrix T*. *Then* $T(w)=w$ *if and only if* $L(w)$ *is a line of eigenvectors of* *T*.

*Proof*Let $T(z)$ be a glide reflection map in the group

*G*with a corresponding matrix

*T*. For glide reflections, the lines with slope

*w*, where $w=\frac{a-d\pm \sqrt{{(a+d)}^{2}+4}}{2c}$ is a fixed point of $T(z)$, are

Then *T* maps $L(w)$ to $L({w}^{\mathrm{\prime}})$ if and only if $T(w)={w}^{\mathrm{\prime}}$. Thus, *w* is a fixed point of $T(z)$ if and only if *T* maps $L(w)$ to itself, and so if and only if each non-zero point on $L(w)$ is an eigenvector of *T*. □

**Example 1**By (2.3) we find the fixed points of the glide reflection $T=\left(\begin{array}{cc}1& 2\\ 1& 1\end{array}\right)$ as $x=\pm \sqrt{2}$. By (3.2) we find the eigenvalues as . Hence, by Lemma 1, we obtain the following eigenvectors

respectively. We have the slopes ${w}_{1}=\sqrt{2}$ and ${w}_{2}=-\sqrt{2}$.

### 3.2 Reflections

Recall that we have $tr(T)=0$ for any reflection transformation.

**Lemma 2**

*Let the matrix*$T=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$

*correspond to any reflection*.

*The eigenvalues of*

*T*

*are*

*Proof* By (3.1), if we use the condition $tr(T)=0$, the result is obtained. □

First we begin the case $c=0$. For this case, the set of fixed points is a circle with radius ∞ (that is, a line on the complex plane).

**Lemma 3**

*Let the matrix*$T=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$

*correspond to any reflection with*$c=0$.

*We have*

*Proof* The proof is easy by the facts that $ad-bc=-1$ ($a,b,c,d\in \mathbb{R}$) and $tr(T)=0$. □

**Lemma 4**

- (i)
*For the matrix*$T=\left(\begin{array}{cc}1& b\\ 0& -1\end{array}\right)$,*we have the eigenvalues*$\lambda =1$*and*$\lambda =-1$*and the eigenvectors*$\left(\genfrac{}{}{0ex}{}{r}{0}\right)\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}\left(\genfrac{}{}{0ex}{}{-\frac{b}{2}r}{r}\right),$(3.5)

*respectively*.

- (ii)
*For the matrix*$T=\left(\begin{array}{cc}-1& b\\ 0& 1\end{array}\right)$,*we have the eigenvalues*$\lambda =1$*and*$\lambda =-1$*and the eigenvectors*$\left(\genfrac{}{}{0ex}{}{\frac{b}{2}r}{r}\right)\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}\left(\genfrac{}{}{0ex}{}{r}{0}\right),$(3.6)

*respectively*.

*Proof*It is easy to compute the eigenvalues $\lambda =1$ and $\lambda =-1$ by the condition $a+d=0$ and (3.1). For these eigenvalues, we obtain the eigenvectors by the following equation

If we choose ${k}_{2}=r$ as a parameter, we find the eigenvectors as $\left(\begin{array}{c}r\\ 0\end{array}\right)$ and $\left(\begin{array}{c}-\frac{b}{2}r\\ r\end{array}\right)$. The second part of the proof can be obtained similarly. □

In the first part of Lemma 4, we have the slopes as ${w}_{1}=\mathrm{\infty}$ and ${w}_{2}=-\frac{b}{2}$. In the second part, we have ${w}_{1}=\frac{b}{2}$ and ${w}_{2}=\mathrm{\infty}$.

**Lemma 5**

- (i)
*The matrix*$T=\left(\begin{array}{cc}1& b\\ 0& -1\end{array}\right)$*represents the reflection*$T(z)=\frac{\overline{z}+b}{-1}$.*The set of the fixed points of this reflection is a circle with radius*∞,*that is*,*the line*$x=-\frac{b}{2}$. - (ii)
*The matrix*$T=\left(\begin{array}{cc}-1& b\\ 0& 1\end{array}\right)$*represents the reflection*$T(z)=-\overline{z}+b$.*The set of the fixed points of this reflection is the circle*$x=\frac{b}{2}$.

*Proof* The proof follows by straightforward computations. □

In the following theorem, we explain the relationship between fixed points of the reflections with $c=0$ and eigenvectors of the matrices corresponding to those reflections.

**Theorem 3** *Let* $T(z)$ *be a reflection map in the group* *G* *with* $c=0$ *and let* *T* *be the matrix corresponding to* $T(z)$. *Then* $L(\mathrm{\infty})$ *and* $L(\pm \frac{b}{2})$ *are the lines of the eigenvectors of the matrix* *T* *and the set of the fixed points of the reflection* $T(z)$ *is the line* $x=\pm \frac{b}{2}$.

*Proof* The proof follows by Lemma 3, Lemma 4 and Lemma 5. □

Finally, we consider the reflections with $c\ne 0$. Lemma 6 can be proven in a similar way as Lemma 4.

**Lemma 6**

*Let the matrix*$T=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$

*correspond to any reflection with*$c\ne 0$.

*We have the following eigenvectors for the eigenvalues*$\lambda =1$

*and*$\lambda =-1$

*respectively*.

In Lemma 6, we have the slopes as ${w}_{1}=\frac{1-d}{c}$ and ${w}_{2}=-\frac{d+1}{c}$. In the following theorem, we explain the relationship between the set of fixed points of the reflections with $c\ne 0$ and eigenvectors of matrices corresponding to those reflections.

**Theorem 4** *Let* $T(z)$ *be a reflection map in the group* *G* *with* $c\ne 0$ *and let* *T* *be the corresponding matrix of* $T(z)$. *If* $L({w}_{1})$ *and* $L({w}_{2})$ *are the lines of the eigenvectors of the matrix* *T*, *then the set of the fixed points of the reflection* $T(z)$ *is the circle centered at* $M(\frac{{w}_{1}+{w}_{2}}{2},0)$ *and of radius* $\frac{|{w}_{1}-{w}_{2}|}{2}$.

*Proof*For the slopes ${w}_{1}=\frac{1-d}{c}$ and ${w}_{2}=-\frac{d+1}{c}$, we have

Then the proof follows by Lemma 6. □

**Example 2**The fixed point set of the reflection $T=\left(\begin{array}{cc}2& -3\\ 1& -2\end{array}\right)$ is a circle. By Theorem 4, we find the equation of this circle. By Lemma 6, eigenvectors of the matrix

*T*are

Then we have ${w}_{1}=3$ and ${w}_{2}=1$. Thus the fixed point set is a circle centered at $M(\frac{{w}_{1}+{w}_{2}}{2},0)=M(2,0)$ and of radius $\frac{|{w}_{1}-{w}_{2}|}{2}=\frac{|3-1|}{2}=1$.

## Declarations

### Acknowledgements

Dedicated to Professor Hari M Srivastava.

## Authors’ Affiliations

## References

- Ressler W: On binary quadratic forms and the Hecke groups.
*Int. J. Number Theory*2009, 5: 1401–1418. 10.1142/S1793042109002730MATHMathSciNetView ArticleGoogle Scholar - Schmidt TA, Sheingorn M: Length spectra of the Hecke triangle groups.
*Math. Z.*1995, 220(1):369–397. 10.1007/BF02572621MATHMathSciNetView ArticleGoogle Scholar - Rosen D: A class of continued fractions associated with certain properly discontinuous groups.
*Duke Math. J.*1954, 21: 549–563. 10.1215/S0012-7094-54-02154-7MATHMathSciNetView ArticleGoogle Scholar - Fine B: Trace classes and quadratic forms in the modular group.
*Can. Math. Bull.*1994, 37: 202–212. 10.4153/CMB-1994-030-1MATHView ArticleGoogle Scholar - Özdemir N, İskender BB, Yılmaz Özgür N: Complex valued neural network with Möbius activation function.
*Commun. Nonlinear Sci. Numer. Simul.*2011, 16(12):4698–4703. 10.1016/j.cnsns.2011.03.005MATHMathSciNetView ArticleGoogle Scholar - Beardon AF:
*Algebra and Geometry*. Cambridge University Press, Cambridge; 2005.MATHView ArticleGoogle Scholar - Jones GA, Singerman D:
*Complex Functions an Algebraic and Geometric Viewpoint*. Cambridge University Press, Cambridge; 1987.MATHView ArticleGoogle Scholar - Lehner J:
*Discontinuous Groups and Automorphic Functions*. Am. Math. Soc., Providence; 1964.MATHView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.