arXiv++ Combinatorics

The sequence $(x_n)_{n\in\mathbb N} = (2,5,15,51,187,\dots)$ given by the rule $x_n=(2^n+1)(2^{n-1}+1)/3$ appears in several seemingly unrelated areas of mathematics. For example, $x_n$ is the density of a language of words of length $n$ with four different letters. It is also the cardinality of the quotient of $(\mathbb Z_2\times \mathbb Z_2)^n$ under the left action of the special linear group $\mathrm{SL}(2,\mathbb Z)$. In this paper we show how these two interpretations of $x_n$ are related to each other. More generally, for prime numbers $p$ we show a correspondence between a quotient of $(\mathbb Z_p\times\mathbb Z_p)^n$ and a language with $p^2$ letters and words of length $n$.

The main result of this paper is the construction of a bijection of the set of words in so-called standard order of length $n$ formed by four different letters and the set $\mathbb{N}^n$ of all subspaces of a fixed $n$-dimensional maximal isotropic subspace of the $2n$-dimensional symplectic space $V$ over $\mathbb{F}_2$ which are not maximal in a certain sense. Since the number of different words in standard order is known, this gives an alternative proof for the formula of the dimension of the universal embedding of a symplectic dual polar space $\mathcal G_n$. Along the way, we give formulas for the number of all $n$- and $(n-1)$-dimensional totally isotropic subspaces of $V$.