On the unitary invariants of a surface of a vector space over a finite field (Q1203864)

Let \({\mathfrak F}_{q^ 2}\) be a finite field with \(q^ 2\) elements and \(a\to \overline{a}=a^ q\) be the involutive automorphism of \({\mathfrak F}_{q^ 2}\) with the fixed field \({\mathfrak F}_ q\). Define the unitary group of degree \(n\) over \({\mathfrak F}_{q^ 2}\) as \(U_ n({\mathfrak F}_{q^ 2})=\{T\) \(n\times n\) matrix over \({\mathfrak F}_{q^ 2}\mid T\overline{T}'=I\}\). Let \(V_ n({\mathfrak F}_{q^ 2})\) be the \(n\)- dimensional vector space over \({\mathfrak F}_{q^ 2}\) and \(P\) be an \(m\)- dimensional subspace of \(V_ n({\mathfrak F}_{q^ 2})\). Any \(m\times n\) matrix whose \(m\) rows form a basis of \(P\) is called a matrix representation of \(P\) and will be denoted by the same letter \(P\). For any two given subspaces \(P_ 1\) and \(P_ 2\), it is well known that there exists an element \(T\in U_ n({\mathfrak F}_{q^ 2})\) such that \(P_ 1=P_ 2 T\) if and only if \(P_ 1\) and \(P_ 2\) have the same dimension and \(P_ 1\overline {P}_ 1^ \prime\) and \(P_ 2\overline {P}_ 2^ \prime\) have the same rank. Hence the dimension \(m\) of a subspace \(P\) and the rank \(r\) of \(P\overline{P}'\) form a complete system of invariants of the subspace \(P\). In this paper the author proves: (1) Subspaces of type \((m,r)\) exist if and only if \(2r\leq 2m\leq n+r\); (2) The number of transitive sets of subspaces of \(V_ n({\mathfrak F}_{q^ 2})\) under \(U_ n({\mathfrak F}_{q^ 2})\) is \(([n/2]+1)^ 2\) if \(n\) is even, or \(([n/2]+1)([n/2]+2)\) if \(n\) is odd.