Of type S⁰

Let φ be an integer 3 × 3 matrix, with two complex eigenvalues ${\displaystyle \alpha ,{\overline {\alpha }}}$ and a real eigenvalue c > 1, with ${\displaystyle |\alpha |^{2}c=1}$. Then φ is invertible over integers, and defines an action of the group of integers, ${\displaystyle \mathbb {Z} ,}$ on ${\displaystyle \mathbb {Z} ^{3}}$. Let ${\displaystyle \Gamma$ :=\mathbb {Z} ^{3}\rtimes \mathbb {Z} .} This group is a lattice in solvable Lie group

${\displaystyle \mathbb {R} ^{3}\rtimes \mathbb {R} =(\mathbb {C} \times \mathbb {R} )\rtimes \mathbb {R} ,}$

acting on ${\displaystyle \mathbb {C} \times \mathbb {R} ,}$ with the ${\displaystyle (\mathbb {C} \times \mathbb {R} )}$-part acting by translations and the ${\displaystyle \rtimes \mathbb {R} }$-part as ${\displaystyle (z,r)\mapsto (\alpha ^{t}z,c^{t}r).}$

We extend this action to ${\displaystyle \mathbb {C} \times \mathbb {H} =\mathbb {C} \times \mathbb {R} \times \mathbb {R} ^{>0}}$ by setting ${\displaystyle v\mapsto e^{\log ct}v}$, where t is the parameter of the ${\displaystyle \rtimes \mathbb {R} }$-part of ${\displaystyle \mathbb {R} ^{3}\rtimes \mathbb {R} ,}$ and acting trivially with the ${\displaystyle \mathbb {R} ^{3}}$ factor on ${\displaystyle \mathbb {R} ^{>0}}$. This action is clearly holomorphic, and the quotient ${\displaystyle \mathbb {C} \times \mathbb {H} /\Gamma }$ is called Inoue surface of type ${\displaystyle S^{0}.}$

The Inoue surface of type S⁰ is determined by the choice of an integer matrix φ, constrained as above. There is a countable number of such surfaces.

Of type S⁺

Let n be a positive integer, and ${\displaystyle \Lambda _{n}}$ be the group of upper triangular matrices

${\displaystyle {\begin{bmatrix}1&x&z/n\\0&1&y\\0&0&1\end{bmatrix}},\qquad x,y,z\in \mathbb {Z} .}$

The quotient of ${\displaystyle \Lambda _{n}}$ by its center C is ${\displaystyle \mathbb {Z} ^{2}}$. Let φ be an automorphism of ${\displaystyle \Lambda _{n}}$, we assume that φ acts on ${\displaystyle \Lambda _{n}/C=\mathbb {Z} ^{2}}$ as a matrix with two positive real eigenvalues a, b, and ab = 1. Consider the solvable group ${\displaystyle \Gamma _{n}:=\Lambda _{n}\rtimes \mathbb {Z} ,}$ with ${\displaystyle \mathbb {Z} }$ acting on ${\displaystyle \Lambda _{n}}$ as φ. Identifying the group of upper triangular matrices with ${\displaystyle \mathbb {R} ^{3},}$ we obtain an action of ${\displaystyle \Gamma _{n}}$ on ${\displaystyle \mathbb {R} ^{3}=\mathbb {C} \times \mathbb {R} .}$ Define an action of ${\displaystyle \Gamma _{n}}$ on ${\displaystyle \mathbb {C} \times \mathbb {H} =\mathbb {C} \times \mathbb {R} \times \mathbb {R} ^{>0}}$ with ${\displaystyle \Lambda _{n}}$ acting trivially on the ${\displaystyle \mathbb {R} ^{>0}}$-part and the ${\displaystyle \mathbb {Z} }$ acting as ${\displaystyle v\mapsto e^{t\log b}v.}$ The same argument as for Inoue surfaces of type ${\displaystyle S^{0}}$ shows that this action is holomorphic. The quotient ${\displaystyle \mathbb {C} \times \mathbb {H} /\Gamma _{n}}$ is called Inoue surface of type ${\displaystyle S^{+}.}$

Of type S⁻

Inoue surfaces of type ${\displaystyle S^{-}}$ are defined in the same way as for S⁺, but two eigenvalues a, b of φ acting on ${\displaystyle \mathbb {Z} ^{2}}$ have opposite sign and satisfy ab = −1. Since a square of such an endomorphism defines an Inoue surface of type S⁺, an Inoue surface of type S⁻ has an unramified double cover of type S⁺.