This paper systematically enumerates all complementary-dual cyclic codes over finite fields, considering various trace bilinear forms, providing a comprehensive classification relevant for coding theory applications.
Contribution
It introduces a complete enumeration method for complementary-dual cyclic codes over finite fields using different trace bilinear forms.
Findings
01
Enumeration formulas for all such codes
02
Classification based on trace bilinear forms
03
Explicit counts for specific parameters
Abstract
Let Fq denote the finite field of order q,n be a positive integer coprime to q and t≥2 be an integer. In this paper, we enumerate all the complementary-dual cyclic Fq-linear Fqt-codes of length n by placing ∗, ordinary and Hermitian trace bilinear forms on Fqtn.
\mathfrak{w}=\left\{\begin{array}[]{cl}\frac{t-1}{2}&\text{if }t\text{ is odd};\\
\frac{t-2}{2}&\text{if either }t\text{ is even and }q\equiv 1~{}(\text{mod }4)\text{ or }t\equiv 0~{}(\text{mod }4)\text{ and }q\equiv 3~{}(\text{mod }4);\\
\frac{t}{2}&\text{if }t\equiv 2~{}(\text{mod }4)\text{ and }q\equiv 3~{}(\text{mod }4).\end{array}\right.\vspace{-2mm}
\mathfrak{w}=\left\{\begin{array}[]{cl}\frac{t-1}{2}&\text{if }t\text{ is odd};\\
\frac{t-2}{2}&\text{if either }t\text{ is even and }q\equiv 1~{}(\text{mod }4)\text{ or }t\equiv 0~{}(\text{mod }4)\text{ and }q\equiv 3~{}(\text{mod }4);\\
\frac{t}{2}&\text{if }t\equiv 2~{}(\text{mod }4)\text{ and }q\equiv 3~{}(\text{mod }4).\end{array}\right.\vspace{-2mm}
\mathfrak{Q}_{\frac{k-1}{2},\mathfrak{w}}=\left\{\begin{array}[]{ll}q^{\frac{2tk-(k+1)^{2}}{4}}(q^{\frac{t}{2}}-1)(q-1)\prod\limits_{j=1}^{(k-1)/2}(q^{t-2j}-1)&\hbox{if $\mathfrak{w}=\frac{t}{2}$ and $k$ is odd; }\\
q^{\frac{2t(k+1)-k(k+4)+1}{4}}(q-1)\prod\limits_{j=0}^{(k-3)/2}(q^{t-2j-1}-1)&\hbox{if $\mathfrak{w}=\frac{t-1}{2}$ and $k$ is odd;}\\
q^{\frac{2tk-(k+1)^{2}}{4}}(q^{\frac{t}{2}}+1)(q-1)\prod\limits_{j=1}^{(k-1)/2}(q^{t-2j}-1)&\hbox{ if $\mathfrak{w}=\frac{t-2}{2}$ and $k$ is odd}.\end{array}\right.\vspace{-2mm}
\mathfrak{Q}_{\frac{k-1}{2},\mathfrak{w}}=\left\{\begin{array}[]{ll}q^{\frac{2tk-(k+1)^{2}}{4}}(q^{\frac{t}{2}}-1)(q-1)\prod\limits_{j=1}^{(k-1)/2}(q^{t-2j}-1)&\hbox{if $\mathfrak{w}=\frac{t}{2}$ and $k$ is odd; }\\
q^{\frac{2t(k+1)-k(k+4)+1}{4}}(q-1)\prod\limits_{j=0}^{(k-3)/2}(q^{t-2j-1}-1)&\hbox{if $\mathfrak{w}=\frac{t-1}{2}$ and $k$ is odd;}\\
q^{\frac{2tk-(k+1)^{2}}{4}}(q^{\frac{t}{2}}+1)(q-1)\prod\limits_{j=1}^{(k-1)/2}(q^{t-2j}-1)&\hbox{ if $\mathfrak{w}=\frac{t-2}{2}$ and $k$ is odd}.\end{array}\right.\vspace{-2mm}
\displaystyle N_{i,k}=\frac{\mathfrak{Q}_{\frac{k-1}{2},\mathfrak{w}}}{\mathfrak{Q}_{\frac{k-1}{2}}}=\left\{\begin{array}[]{ll}\displaystyle q^{\frac{tk-k^{2}-1}{2}}(q^{\frac{t}{2}}-1){(t-2)/2\brack(k-1)/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t}{2}$ and $k$ is odd;}\vspace{1mm}\\
\displaystyle q^{\frac{(t-k)(k+1)}{2}}{(t-1)/2\brack(k-1)/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t-1}{2}$ and $k$ is odd;}\vspace{1mm}\\
\displaystyle q^{\frac{tk-k^{2}-1}{2}}(q^{\frac{t}{2}}+1){(t-2)/2\brack(k-1)/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t-2}{2}$ and $k$ is odd.}\par\end{array}\right.\vspace{-2mm}
\displaystyle N_{i,k}=\frac{\mathfrak{Q}_{\frac{k-1}{2},\mathfrak{w}}}{\mathfrak{Q}_{\frac{k-1}{2}}}=\left\{\begin{array}[]{ll}\displaystyle q^{\frac{tk-k^{2}-1}{2}}(q^{\frac{t}{2}}-1){(t-2)/2\brack(k-1)/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t}{2}$ and $k$ is odd;}\vspace{1mm}\\
\displaystyle q^{\frac{(t-k)(k+1)}{2}}{(t-1)/2\brack(k-1)/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t-1}{2}$ and $k$ is odd;}\vspace{1mm}\\
\displaystyle q^{\frac{tk-k^{2}-1}{2}}(q^{\frac{t}{2}}+1){(t-2)/2\brack(k-1)/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t-2}{2}$ and $k$ is odd.}\par\end{array}\right.\vspace{-2mm}
Ni,k=Ri,k+Si,k.\vspace−2mm
Ni,k=Ri,k+Si,k.\vspace−2mm
\mathbb{A}_{k,\mathfrak{w}}=\left\{\begin{array}[]{ll}\frac{q^{t-k}(q-1)^{2}(q^{\frac{t-k}{2}}-1)(q^{\frac{t-k+2}{2}}-1)}{2}&\hbox{if $\mathfrak{w}=\frac{t}{2};$ }\vspace{1mm}\\
\frac{q^{t-k}(q-1)^{2}(q^{t-k+1}-1)}{2}&\hbox{if $\mathfrak{w}=\frac{t-1}{2};$}\vspace{1mm}\\
\frac{q^{t-k}(q-1)^{2}(q^{\frac{t-k}{2}}+1)(q^{\frac{t-k+2}{2}}+1)}{2}&\hbox{ if $\mathfrak{w}=\frac{t-2}{2}$}.\end{array}\right.\vspace{-2mm}
\mathbb{A}_{k,\mathfrak{w}}=\left\{\begin{array}[]{ll}\frac{q^{t-k}(q-1)^{2}(q^{\frac{t-k}{2}}-1)(q^{\frac{t-k+2}{2}}-1)}{2}&\hbox{if $\mathfrak{w}=\frac{t}{2};$ }\vspace{1mm}\\
\frac{q^{t-k}(q-1)^{2}(q^{t-k+1}-1)}{2}&\hbox{if $\mathfrak{w}=\frac{t-1}{2};$}\vspace{1mm}\\
\frac{q^{t-k}(q-1)^{2}(q^{\frac{t-k}{2}}+1)(q^{\frac{t-k+2}{2}}+1)}{2}&\hbox{ if $\mathfrak{w}=\frac{t-2}{2}$}.\end{array}\right.\vspace{-2mm}
\mathfrak{Q}_{\frac{k-2}{2},\mathfrak{w}}=\left\{\begin{array}[]{ll}\frac{q^{\frac{k(2t-k-2)}{4}}(q^{\frac{t}{2}}-1)(q^{\frac{t-k}{2}}-1)(q-1)^{2}}{2}\prod\limits_{j=1}^{(k-2)/2}(q^{t-2j}-1)&\hbox{if $\mathfrak{w}=\frac{t}{2}$ and $k$ is even; }\\
\frac{q^{\frac{k(2t-k-2)}{4}}(q-1)^{2}}{2}\prod\limits_{j=0}^{(k-2)/2}(q^{t-2j-1}-1)&\hbox{if $\mathfrak{w}=\frac{t-1}{2}$ and $k$ is even;}\\
\frac{q^{\frac{k(2t-k-2)}{4}}(q^{\frac{t}{2}}+1)(q^{\frac{t-k}{2}}+1)(q-1)^{2}}{2}\prod\limits_{j=1}^{(k-2)/2}(q^{t-2j}-1)&\hbox{if $\mathfrak{w}=\frac{t-2}{2}$ and $k$ is even.}\\
\end{array}\right.\vspace{-2mm}
\mathfrak{Q}_{\frac{k-2}{2},\mathfrak{w}}=\left\{\begin{array}[]{ll}\frac{q^{\frac{k(2t-k-2)}{4}}(q^{\frac{t}{2}}-1)(q^{\frac{t-k}{2}}-1)(q-1)^{2}}{2}\prod\limits_{j=1}^{(k-2)/2}(q^{t-2j}-1)&\hbox{if $\mathfrak{w}=\frac{t}{2}$ and $k$ is even; }\\
\frac{q^{\frac{k(2t-k-2)}{4}}(q-1)^{2}}{2}\prod\limits_{j=0}^{(k-2)/2}(q^{t-2j-1}-1)&\hbox{if $\mathfrak{w}=\frac{t-1}{2}$ and $k$ is even;}\\
\frac{q^{\frac{k(2t-k-2)}{4}}(q^{\frac{t}{2}}+1)(q^{\frac{t-k}{2}}+1)(q-1)^{2}}{2}\prod\limits_{j=1}^{(k-2)/2}(q^{t-2j}-1)&\hbox{if $\mathfrak{w}=\frac{t-2}{2}$ and $k$ is even.}\\
\end{array}\right.\vspace{-2mm}
\displaystyle R_{i,k}=\left\{\begin{array}[]{ll}\displaystyle\frac{q^{\frac{k(t-k)}{2}}(q^{\frac{k}{2}}-1)(q^{\frac{t-k}{2}}-1)}{2(q^{\frac{t}{2}}+1)}{t/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t}{2}$ and $k$ is even;}\vspace{1mm}\\
\displaystyle\frac{q^{\frac{k(t-k)}{2}}(q^{\frac{k}{2}}-1)}{2}{(t-1)/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t-1}{2}$ and $k$ is even;}\vspace{1mm}\\
\displaystyle\frac{q^{\frac{k(t-k)}{2}}(q^{\frac{k}{2}}-1)(q^{\frac{t-k}{2}}+1)}{2(q^{\frac{t}{2}}-1)}{t/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t-2}{2}$ and $k$ is even}.\end{array}\right.\vspace{-2mm}
\displaystyle R_{i,k}=\left\{\begin{array}[]{ll}\displaystyle\frac{q^{\frac{k(t-k)}{2}}(q^{\frac{k}{2}}-1)(q^{\frac{t-k}{2}}-1)}{2(q^{\frac{t}{2}}+1)}{t/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t}{2}$ and $k$ is even;}\vspace{1mm}\\
\displaystyle\frac{q^{\frac{k(t-k)}{2}}(q^{\frac{k}{2}}-1)}{2}{(t-1)/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t-1}{2}$ and $k$ is even;}\vspace{1mm}\\
\displaystyle\frac{q^{\frac{k(t-k)}{2}}(q^{\frac{k}{2}}-1)(q^{\frac{t-k}{2}}+1)}{2(q^{\frac{t}{2}}-1)}{t/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t-2}{2}$ and $k$ is even}.\end{array}\right.\vspace{-2mm}
\mathfrak{Q}_{\frac{k}{2},\mathfrak{w}}=\left\{\begin{array}[]{ll}q^{\frac{k(2t-k-2)}{4}}(q^{\frac{t}{2}}-1)(q^{\frac{t-k}{2}}+1)\prod\limits_{j=1}^{(k-2)/2}(q^{t-2j}-1)&\hbox{if $\mathfrak{w}=\frac{t}{2}$ and $k$ is even; }\\
q^{\frac{k(2t-k-2)}{4}}\prod\limits_{j=0}^{(k-2)/2}(q^{t-2j-1}-1)&\hbox{if $\mathfrak{w}=\frac{t-1}{2}$ and $k$ is even;}\\
q^{\frac{k(2t-k-2)}{4}}(q^{\frac{t}{2}}+1)(q^{\frac{t-k}{2}}-1)\prod\limits_{j=1}^{(k-2)/2}(q^{t-2j}-1)&\hbox{if $\mathfrak{w}=\frac{t-2}{2}$ and $k$ is even}.\end{array}\right.\vspace{-2mm}
\mathfrak{Q}_{\frac{k}{2},\mathfrak{w}}=\left\{\begin{array}[]{ll}q^{\frac{k(2t-k-2)}{4}}(q^{\frac{t}{2}}-1)(q^{\frac{t-k}{2}}+1)\prod\limits_{j=1}^{(k-2)/2}(q^{t-2j}-1)&\hbox{if $\mathfrak{w}=\frac{t}{2}$ and $k$ is even; }\\
q^{\frac{k(2t-k-2)}{4}}\prod\limits_{j=0}^{(k-2)/2}(q^{t-2j-1}-1)&\hbox{if $\mathfrak{w}=\frac{t-1}{2}$ and $k$ is even;}\\
q^{\frac{k(2t-k-2)}{4}}(q^{\frac{t}{2}}+1)(q^{\frac{t-k}{2}}-1)\prod\limits_{j=1}^{(k-2)/2}(q^{t-2j}-1)&\hbox{if $\mathfrak{w}=\frac{t-2}{2}$ and $k$ is even}.\end{array}\right.\vspace{-2mm}
S_{i,k}=\left\{\begin{array}[]{ll}\displaystyle\frac{q^{\frac{k(t-k)}{2}}(q^{\frac{k}{2}}+1)(q^{\frac{t-k}{2}}+1)}{2(q^{\frac{t}{2}}+1)}{t/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t}{2}$ and $k$ is even; }\\
\displaystyle\frac{q^{\frac{k(t-k)}{2}}(q^{\frac{k}{2}}+1)}{2}{(t-1)/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t-1}{2}$ and $k$ is even;}\\
\displaystyle\frac{q^{\frac{k(t-k)}{2}}(q^{\frac{k}{2}}+1)(q^{\frac{t-k}{2}}-1)}{2(q^{\frac{t}{2}}-1)}{t/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t-2}{2}$ and $k$ is even}.\end{array}\right.\vspace{-1mm}
S_{i,k}=\left\{\begin{array}[]{ll}\displaystyle\frac{q^{\frac{k(t-k)}{2}}(q^{\frac{k}{2}}+1)(q^{\frac{t-k}{2}}+1)}{2(q^{\frac{t}{2}}+1)}{t/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t}{2}$ and $k$ is even; }\\
\displaystyle\frac{q^{\frac{k(t-k)}{2}}(q^{\frac{k}{2}}+1)}{2}{(t-1)/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t-1}{2}$ and $k$ is even;}\\
\displaystyle\frac{q^{\frac{k(t-k)}{2}}(q^{\frac{k}{2}}+1)(q^{\frac{t-k}{2}}-1)}{2(q^{\frac{t}{2}}-1)}{t/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t-2}{2}$ and $k$ is even}.\end{array}\right.\vspace{-1mm}
N_{i,k}=\left\{\begin{array}[]{ll}\displaystyle q^{\frac{k(t-k)}{2}}{t/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t}{2}$ and $k$ is even; }\vspace{1mm}\\
\displaystyle q^{\frac{k(t-k+1)}{2}}{(t-1)/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t-1}{2}$ and $k$ is even;}\vspace{1mm}\\
\displaystyle q^{\frac{k(t-k)}{2}}{t/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t-2}{2}$ and $k$ is even}.\end{array}\right.\vspace{-2mm}
N_{i,k}=\left\{\begin{array}[]{ll}\displaystyle q^{\frac{k(t-k)}{2}}{t/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t}{2}$ and $k$ is even; }\vspace{1mm}\\
\displaystyle q^{\frac{k(t-k+1)}{2}}{(t-1)/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t-1}{2}$ and $k$ is even;}\vspace{1mm}\\
\displaystyle q^{\frac{k(t-k)}{2}}{t/2\brack k/2}_{q^{2}}&\hbox{if $\mathfrak{w}=\frac{t-2}{2}$ and $k$ is even}.\end{array}\right.\vspace{-2mm}
N_{0,k}=\left\{\begin{array}[]{ll}q^{\frac{k(t-k+1)}{2}}{(t-1)/2\brack k/2}_{q^{2}}&\hbox{if $k$ is even;}\\
q^{\frac{(t-k)(k+1)}{2}}{(t-1)/2\brack(k-1)/2}_{q^{2}}&\hbox{if $k$ is odd.}\par\end{array}\right.\vspace{-1mm}
N_{0,k}=\left\{\begin{array}[]{ll}q^{\frac{k(t-k+1)}{2}}{(t-1)/2\brack k/2}_{q^{2}}&\hbox{if $k$ is even;}\\
q^{\frac{(t-k)(k+1)}{2}}{(t-1)/2\brack(k-1)/2}_{q^{2}}&\hbox{if $k$ is odd.}\par\end{array}\right.\vspace{-1mm}
det G(x1,x2,⋯,xk−2,1+xk−1,α+xk)=det G(x1,x2,⋯,xk−2)+det G(x1,x2,⋯,xk).\vspace−3mm
det G(x1,x2,⋯,xk−2,1+xk−1,α+xk)=det G(x1,x2,⋯,xk−2)+det G(x1,x2,⋯,xk).\vspace−3mm
det G(x1,x2,⋯,xk)=det G(x1,x2,⋯,xk−2)det G(xk−1,xk).\vspace−2.5mm
det G(x1,x2,⋯,xk)=det G(x1,x2,⋯,xk−2)det G(xk−1,xk).\vspace−2.5mm
N_{0,k}=\left\{\begin{array}[]{ll}q^{\frac{tk-k^{2}-2}{2}}\Big{\{}(q^{k}+q-1){(t-2)/2\brack k/2}_{q^{2}}+(q^{t-k+1}-q^{t-k}+1){(t-2)/2\brack(k-2)/2}_{q^{2}}\Big{\}}&\text{if }k\text{ is even; }\vspace{3mm}\\
q^{\frac{tk-k^{2}+t-1}{2}}{(t-2)/2\brack(k-1)/2}_{q^{2}}&\text{if }k\text{ is odd.}\par\end{array}\right.\vspace{-1.2mm}
N_{0,k}=\left\{\begin{array}[]{ll}q^{\frac{tk-k^{2}-2}{2}}\Big{\{}(q^{k}+q-1){(t-2)/2\brack k/2}_{q^{2}}+(q^{t-k+1}-q^{t-k}+1){(t-2)/2\brack(k-2)/2}_{q^{2}}\Big{\}}&\text{if }k\text{ is even; }\vspace{3mm}\\
q^{\frac{tk-k^{2}+t-1}{2}}{(t-2)/2\brack(k-1)/2}_{q^{2}}&\text{if }k\text{ is odd.}\par\end{array}\right.\vspace{-1.2mm}
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsCoding theory and cryptography · graph theory and CDMA systems · Cellular Automata and Applications
Full text
\calligra
Enumeration of complementary-dual cyclic Fq-linear Fqt-codes
Anuradha Sharma
[email protected] support by DST India, under the grant SERB/F/3551/2012-13, is gratefully acknowledged.
Center for Applied Mathematics, IIIT Delhi, India
Taranjot Kaur
Research support by NBHM, India, is gratefully acknowledged.
Department of Mathematics, IIT Delhi, India
Abstract
Let Fq denote the finite field of order q,n be a positive integer coprime to q and t≥2 be an integer. In this paper, we enumerate all the complementary-dual cyclic Fq-linear Fqt-codes of length n by placing ∗, ordinary and Hermitian trace bilinear forms on Fqtn.
Keywords: Sesquilinear forms; Witt decomposition; Formed spaces.
2000 Mathematics Subject Classification: 94B15
1 Introduction
Cyclic codes form an important class of linear codes having a rich algebraic structure. Their algebraic properties enable one to effectively detect or correct errors using linear shift registers. Self-dual, self-orthogonal and complementary-dual codes constitute three important classes of cyclic codes, which have been studied and enumerated by Conway et al. [2], Huffman [10]-[11], Jia et al. [12] and Pless and Sloane [15]. Linear codes are further generalized to additive codes, which have recently attracted a lot of attention due to their connection with quantum error-correcting codes.
Calderbank et al. [1] introduced and studied additive codes of length n over the finite field F4. They further studied their dual codes with respect to the trace inner product on F4n. In the same work, they related the problem of finding quantum error-correcting codes with that of finding self-orthogonal additive codes over F4. Huffman [7] and [8] provided a canonical form decomposition of cyclic additive codes over F4. Using this decomposition, he further studied and enumerated these codes. Besides this, he obtained the number of self-orthogonal and self-dual cyclic additive codes of length n over F4 with respect to the trace inner product on F4n. In order to further explore the properties of cyclic Fq-linear Fqt-codes, Huffman [9] generalized the theory developed in [7] and viewed cyclic Fq-linear Fqt-codes of length n as Fq[X]/⟨Xn−1⟩-submodules of the quotient ring Fqt[X]/⟨Xn−1⟩, where gcd(n,q)=1 and t≥2 is an integer. He also determined the number of cyclic Fq-linear Fqt-codes of length n and studied their dual codes with respect to the ordinary and Hermitian trace bilinear forms on Fqtn. In addition to this, he determined bases of all the self-orthogonal and self-dual cyclic Fq-linear Fq2-codes with respect to these two bilinear forms on Fq2n. Furthermore, for any integer t≥2, he enumerated all the self-dual and self-orthogonal cyclic Fq-linear Fqt-codes of length n with respect to these two bilinear forms. In a recent work [16], we introduced and studied a new trace bilinear form, denoted by ∗, on Fqtn for any integer t≥2 satisfying t≡1(mod p), where p is the characteristic of the finite field Fq. We also observed that the ∗ bilinear form on Fqtn coincides with the trace inner product considered by Calderbank et al. [1] when q=t=2 and Hermitian trace inner product considered by Ezerman et al. [5] when q is even and t=2, which are well-studied inner products in coding theory. Further, by placing the bilinear form ∗ on Fqtn, we enumerated all the self-orthogonal and self-dual cyclic Fq-linear Fqt-codes of length n, provided gcd(n,q)=1. Besides this, we explicitly determined bases of all the complementary-dual cyclic Fq-linear Fq2-codes of length n with respect to ∗, ordinary and Hermitian trace bilinear forms on Fq2n and enumerated these three classes of codes, where gcd(n,q)=1.
The main goal of this paper is
to enumerate all the complementary-dual cyclic Fq-linear Fqt-codes of length n with respect to ∗, ordinary and Hermitian trace bilinear forms on Fqtn,
where q is a prime power, n is a positive integer coprime to q and t≥2 is an integer. Although our enumeration technique is based upon the theory of cyclic Fq-linear Fqt-codes developed by Huffman [7], it is quite different from the technique employed by Huffman [7] in the enumeration of self-orthogonal and self-dual cyclic Fq-linear Fqt-codes.
This paper is organized as follows: In Section 2, we state some preliminaries that are needed to derive our main result. In Section 3, we determine the number of complementary-dual cyclic Fq-linear Fqt-codes of length n with respect to ∗, ordinary and Hermitian trace bilinear forms on Fqtn, where q is a prime power, n is a positive integer with gcd(n,q)=1 and t≥2 is an integer (Theorem 3.1).
2 Some preliminaries
In this section, we will state some basic definitions and results that are needed to derive our main result.
Throughout this paper, let q be a power of the prime p,Fq denote the finite field with q elements, n be a positive integer coprime to p and t≥2 be an integer.
Let Rn(q) and Rn(qt) denote the quotient rings Fq[X]/⟨Xn−1⟩ and Fqt[X]/⟨Xn−1⟩ respectively, where X is an indeterminate over Fp and over any extension field of Fp. As gcd(n,q)=1, by Maschke’s Theorem, both the rings Rn(q) and Rn(qt) are semi-simple, and hence can be written as direct sums of minimal ideals. More explicitly, if {ℓ0=0,ℓ1,⋯,ℓs−1} is a complete set of representatives of q-cyclotomic cosets modulo n, then Xn−1=f0(X)f1(X)⋯fs−1(X) is the factorization of Xn−1 into monic irreducible polynomials over Fq with fi(X)=k∈Cℓi(q)∏(X−ηk) for 0≤i≤s−1, where Cℓi(q)(0≤i≤s−1) is the q-cyclotomic coset modulo n containing the integer ℓi and η is a primitive nth root of unity over Fq.
Therefore for 0≤i≤s−1, if Ki is the (minimal) ideal of Rn(q) generated by the polynomial (Xn−1)/fi(X), then it is easy to see that Rn(q)=K0⊕K1⊕⋯⊕Ks−1, where KiKj={0} for all i=j and Ki≃Fqdi with di as the cardinality of Cℓi(q).
Next to write Rn(qt) as a direct sum of minimal ideals, we further factorize the polynomials f0(X),f1(X),⋯,fs−1(X) into monic irreducible polynomials over Fqt. To do this, by Lemma 1 of Huffman [9], we see that for 0≤i≤s−1,Cℓi(q)=Cℓi(qt)∪Cℓiq(qt)∪⋯∪Cℓiqgi−1(qt) with gi=gcd(di,t), which led to the following factorization of fi(X) over Fqt: fi(X)=Mi,0(X)Mi,1(X)⋯Mi,gi−1(X), where Mi,j(X)=k∈Cℓiqj(qt)∏(X−ηk) for 0≤j≤gi−1. Therefore, if for each i and j,Ii,j is the (minimal) ideal of Rn(qt) generated by (Xn−1)/Mi,j(X), then one can show that Rn(qt)=i=0⨁s−1j=0⨁gi−1Ii,j, where Ii,jIi′,j′={0} for all (i,j)=(i′,j′) and Ii,j≃FqtDi with Di=gidi. Further, it is easy to see that Ji=Ii,0⊕Ii,1⊕⋯⊕Ii,gi−1 is a vector space of dimension t over Ki for 0≤i≤s−1.
In order to study the containment Rn(q)⊂Rn(qt), Huffman [9] defined ring automorphisms τqu,v:Rn(qr)→Rn(qr) as \tau_{q^{u},v}\biggl{(}\sum\limits_{i=0}^{n-1}a_{i}X^{i}\biggr{)}=\sum\limits_{i=0}^{n-1}a_{i}^{q^{u}}X^{vi} for any integer r≥1, where u,v are integers satisfying 0≤u≤r,1≤v≤n and gcd(v,n)=1. When r=t, by Lemma 2 of Huffman [9], we see that τqu,v permutes minimal ideals Ii,j’s of the ring Rn(qt).
It is easy to see that for every i(1≤i≤s−1), there exists a unique integer i′(1≤i′≤s−1) satisfying C−ℓi(q)=Cℓi′(q). This gives rise to a permutation μ of the set {0,1,2,⋯,s−1}, defined by C−ℓi(q)=Cℓμ(i)(q) for 0≤i≤s−1. Note that μ(0)=0 and μ(μ(i))=i for 0≤i≤s−1. That is, μ is either the identity permutation or is a product of transpositions. Note that when n is even, there exists an integer i# satisfying 0≤i#≤s−1 and Cℓi#(q)=C2n(q)={2n}, as q is odd. From this, we see that C−ℓi#(q)=Cℓi#(q), which implies that μ(i#)=i#.
Now an Fq-linear Fqt-code C of length n is defined as an Fq-linear subspace of Fqtn. Further, the code C is said to be cyclic if (c0,c1,⋯,cn−1)∈C implies that (cn−1,c0,c1,⋯,cn−2)∈C.
Throughout this paper, we shall identify each vector a=(a0,a1,⋯,an−1)∈Fqtn with the representative a(X)=i=0∑n−1aiXi of the coset a(X)+⟨Xn−1⟩∈Rn(qt), and perform addition and multiplication of its representatives modulo Xn−1. Under this identification, one can easily observe that the cyclic shift σ(a)=(an−1,a0,a1,⋯,an−2) of a∈Fqtn is identified with Xa(X)∈Rn(qt). In view of this, every cyclic Fq-linear Fqt-code of length n can be viewed as an Rn(q)-submodule of Rn(qt). Huffman [9] studied dual codes of cyclic Fq-linear Fqt-codes of length n with respect to ordinary and Hermitian trace bilinear forms on Fqtn, which are defined as follows:
Let Trq,t:Fqt→Fq be the trace map defined as Trq,t(α)=j=0∑t−1αqj for each α∈Fqt. It is well-known that Trq,t is an Fq-linear, surjective map with kernel of size qt−1 (see [14, Th. 2.23]).
Then for any integer t≥2, the ordinary trace inner product on Fqtn is a map (⋅,⋅)0:Fqtn×Fqtn→Fq, defined as (a,b)0=j=0∑n−1Trq,t(ajbj)for alla=(a0,a1,⋯,an−1),b=(b0,b1,…,bn−1)∈Fqtn,
and the map [⋅,⋅]0:Rn(qt)×Rn(qt)→Rn(q) is defined as
[a(X),b(X)]0=w=0∑t−1τqw,1(a(X)τ1,−1(b(X)))for alla(X),b(X)∈Rn(qt). The Hermitian trace inner product on Fqtn is defined only for even integers t≥2, which can be written as t=2am, where a≥1 and m is odd. It is easy to see that there exists an element γ∈Fq2a satisfying γ+γq2a−1=0.
Then the Hermitian trace inner product on Fqtn is a map (⋅,⋅)γ:Fqtn×Fqtn→Fq, defined as (a,b)γ=j=0∑n−1Trq,t(γajbjqt/2)foralla=(a0,a1,⋯,an−1),b=(b0,b1,…,bn−1)∈Fqtn,
and the map [⋅,⋅]γ:Rn(qt)×Rn(qt)→Rn(q) is defined as
[a(X),b(X)]γ=w=0∑t−1τqw,1(γa(X)τqt/2,−1(b(X)))foralla(X),b(X)∈Rn(qt).
By Lemma 6 of Huffman [9], we see that [⋅,⋅]0 is a non-degenerate, reflexive and Hermitian τ1,−1-sesquilinear form on Rn(qt), while [⋅,⋅]γ is a non-degenerate, reflexive and skew-Hermitian τ1,−1-sesquilinear form on Rn(qt). Sharma and Kaur [16] studied dual codes of cyclic Fq-linear Fqt-codes with respect to the bilinear form ∗ on Fqtn, which is defined only for integers t≥2 satisfying t≡1(mod p). In order to define the form ∗, we see that for any integer t≥2 satisfying t≡1(mod p), the map ϕ:Fqt→Fqt, defined as ϕ(α)=αq+αq2+⋯+αqt−1 for each α∈Fqt,
is an Fq-linear vector space automorphism. Now the ∗-bilinear form on Fqtn is a map (⋅,⋅)∗:Fqtn×Fqtn→Fq, defined as (a,b)∗=j=0∑n−1Trq,t(ajϕ(bj))foralla=(a0,a1,⋯,an−1),b=(b0,b1,…,bn−1)inFqtn, and the map [⋅,⋅]∗:Rn(qt)×Rn(qt)→Rn(q) is defined as
\left[a(X),b(X)\right]_{\ast}=\displaystyle\sum_{u=0}^{t-1}\tau_{q^{u},1}\biggl{(}a(X)\displaystyle\sum_{w=1}^{t-1}\tau_{q^{w},-1}\bigl{(}b(X)\bigr{)}\biggr{)}\text{ ~{}for~{}all~{} }a(X),~{}b(X)\in\mathcal{R}_{n}^{(q^{t})}. By Lemma 3.3 of Sharma and Kaur [16], we see that [⋅,⋅]∗ is a non-degenerate, reflexive and Hermitian τ1,−1-sesquilinear form on Rn(qt).
Next for δ∈{∗,0,γ}, throughout this paper, let Tδ be defined as (i) the set of all integers t≥2 satisfying t≡1(mod p) when δ=∗, (ii) the set of all integers t≥2 when δ=0, and (iii) the set of all even integers t≥2 when δ=γ.
Now for each δ∈{∗,0,γ} with t∈Tδ, the δ-dual code of C is defined as C⊥δ={v∈Fqtn:(v,c)δ=0 for all c∈C}. It is easy to see that the dual code C⊥δ is also an Fq-linear Fqt-code of length n. We also note that if the code C is cyclic, then its dual code C⊥δ is also cyclic. In fact, if C⊆Rn(qt) is any cyclic Fq-linear Fqt-code, then one can easily view its dual code C⊥δ⊆Rn(qt) as the dual code of C with respect to the form [⋅,⋅]δ on Rn(qt). Further, by Theorem 4 of Huffman [9], we see that C=C0⊕C1⊕⋯⊕Cs−1 and C⊥δ=C0(δ)⊕C1(δ)⊕⋯⊕Cs−1(δ), where Ci=C∩Ji and Ci(δ)=C⊥δ∩Ji are Ki-subspaces of Ji for 0≤i≤s−1. In addition, by Theorem 7 of Huffman [9] and Theorem 4.1 of Sharma and Kaur [16], we have Cμ(i)(δ)={a(X)∈Jμ(i):[a(X),c(X)]δ=0 for all c(X)∈Ci} and dimKμ(i)Cμ(i)(δ)=t−dimKiCi for 0≤i≤s−1, (throughout this paper, dimFV denotes the dimension of a finite-dimensional vector space V over the field F). Now for δ∈{∗,0,γ}, the code C is said to be δ-complementary-dual if it satisfies C∩C⊥δ={0}. For more details, one may refer to Huffman [9] and Sharma and Kaur [16].
Henceforth, we shall follow the same notations and terminology as in Section 2.
3 Determination of the number of δ-complementary-dual cyclic Fq-linear Fqt-codes
Throughout this paper, let n be a positive integer, q be a power of the prime p with gcd(n,q)=1 and t∈Tδ for δ∈{∗,0,γ}. In this section, we shall count all the δ-complementary-dual cyclic Fq-linear Fqt-codes of length n for each δ∈{∗,0,γ}.
For this, we first recall that the permutation μ of the set {0,1,2,⋯,s−1} is either the identity or is a product of transpositions, and it satisfies μ(0)=0 and μ(i#)=i# (provided n is even). Let I={0} if n is odd and I={0,i#} if n is even. Let F denote the set consisting of all the fixed points of μ excluding the points of I and M denote the set consisting of exactly one element from each of the transpositions in μ. Throughout this paper, we shall denote the q-binomial coefficient or Gaussian binomial coefficient by [⋅⋅]q, which is defined as [ba]q=i=0∏b−1(qb−qiqa−qi), where a,b are integers satisfying 1≤b≤a. From now onwards, we shall denote the number of isotropic vectors and hyperbolic pairs in a reflexive and non-degenerate formed space of dimension n and Witt index m by Im,n−2m and Hm,n−2m, respectively.
In the following theorem, we enumerate all the δ-complementary-dual cyclic Fq-linear Fqt-codes of length n for each δ∈{∗,0,γ}.
Theorem 3.1**.**
Let q be a power of the prime p and n be a positive integer with gcd(n,q)=1. Then for δ∈{∗,0,γ} with t∈Tδ, the number N of distinct δ-complementary-dual cyclic Fq-linear Fqt-codes of length n is given by
[TABLE]
where R equals
•
2+k≡0(mod 2)k=2∑t−1q2k(t−k)[k/2t/2]q2* when either δ=∗ and both t,q are even or δ=γ and t is even;*
•
2+k≡0(mod 2)k=1∑t−1q2k(t−k+1)[k/2(t−1)/2]q2+k≡1(mod 2)k=1∑t−1q2(t−k)(k+1)[(k−1)/2(t−1)/2]q2\vspace2mm* when δ∈{∗,0} and both t,q are odd;*
•
2+k≡0(mod 2)k=1∑t−1q2k(t−k)[k/2t/2]q2+k≡1(mod 2)k=1∑t−1q2tk−k2−1(q2t+1)[(k−1)/2(t−2)/2]q2\vspace2mm* when δ∈{∗,0} with either t even and q≡1(mod 4) or t≡0(mod 4) and q≡3(mod 4).*
•
2+k≡0(mod 2)k=1∑t−1q2k(t−k)[k/2t/2]q2+k≡1(mod 2)k=1∑t−1q2tk−k2−1(q2t−1)[(k−1)/2(t−2)/2]q2\vspace2mm* when δ∈{∗,0},t≡2(mod 4) and q≡3(mod 4).*
•
2+k≡0(mod 2)k=1∑t−1q2k(t−k+1)[k/2(t−1)/2]q2+k≡1(mod 2)k=1∑t−1q2(t−k)(k+1)[(k−1)/2(t−1)/2]q2\vspace2mm* when δ=0,q is even and t is odd;*
•
\displaystyle 2+\sum\limits_{\stackrel{{\scriptstyle k=1}}{{k\equiv 0(\text{mod }2)}}}^{t-1}q^{\frac{tk-k^{2}-2}{2}}\Big{\{}(q^{k}+q-1){(t-2)/2\brack k/2}_{q^{2}}+(q^{t-k+1}-q^{t-k}+1){(t-2)/2\brack(k-2)/2}_{q^{2}}\Big{\}}+\\
\sum\limits_{\stackrel{{\scriptstyle k=1}}{{k\equiv 1(\text{mod }2)}}}^{t-1}q^{\frac{tk-k^{2}+t-1}{2}}{(t-2)/2\brack(k-1)/2}_{q^{2}}\vspace{2mm}* when δ=0 and both q,t are even.*
To prove the above theorem, we first observe the following:
Proposition 3.1**.**
Let q be a power of the prime p and n be a positive integer coprime to q. Then for δ∈{∗,0,γ} with t∈Tδ, the following hold:
(a)
Let C⊆Rn(qt) be a cyclic Fq-linear Fqt-code of length n. Let us write C=C0⊕C1⊕⋯⊕Cs−1 and C⊥δ=C0(δ)⊕C1(δ)⊕⋯⊕Cs−1(δ), where Ci=C∩Ji and Ci(δ)=C⊥δ∩Ji for 0≤i≤s−1. Then the code C is δ-complementary-dual if and only if Ci∩Ci(δ)={0} for 0≤i≤s−1.
2. (b)
For each i∈F∪I, let Ni denote the number of Ki-subspaces Ci of Ji satisfying Ci∩Ci(δ)={0}. For each h∈M, let Nh denote the number of pairs (Ch,Cμ(h)) with Ch as a Kh-subspace of Jh and Cμ(h) as a Kμ(h)-subspace of Jμ(h) satisfying Ch∩Ch(δ)={0} and Cμ(h)∩Cμ(h)(δ)={0}. Then the total number of distinct δ-complementary-dual cyclic Fq-linear Fqt-codes of length n is given by N=i∈F∪I∏Nih∈M∏Nh.
Proof.
Proof is trivial.
∎
In view of the above proposition, we see that to enumerate all δ-complementary-dual cyclic Fq-linear Fqt-codes of length n for each δ∈{∗,0,γ}, we need to determine the following:
•
For each i∈F∪I, the number Ni of distinct Ki-subspaces Ci of Ji satisfying Ci∩Ci(δ)={0}.
•
For each h∈M, the number Nh of pairs (Ch,Cμ(h)) with Ch as a Kh-subspace of Jh and Cμ(h) as a Kμ(h)-subspace of Jμ(h) satisfying Ch∩Ch(δ)={0} and Cμ(h)∩Cμ(h)(δ)={0}.
First of all, we shall determine the number Ni for each i∈F∪I. For this, we need the following lemma:
Lemma 3.1**.**
Let i∈F∪I be fixed. For each δ∈{∗,0,γ}, let [⋅,⋅]δ↾Ji×Ji denote the restriction of the τ1,−1-sesquilinear form [⋅,⋅]δ to Ji×Ji. Then the following hold.
(a)
For each δ∈{∗,0,γ}, the form [⋅,⋅]δ↾Ji×Ji is reflexive and non-degenerate.
2. (b)
For δ∈{∗,0}, the form [⋅,⋅]δ↾Ji×Ji is Hermitian when i∈F and is symmetric when i∈I. For δ=γ, the form [⋅,⋅]γ↾Ji×Ji is skew-Hermitian when i∈F and is alternating when i∈I.
Proof.
It follows from Lemmas 6 and 13 of Huffman [9] and Lemma 4.3 of Sharma and Kaur [16].
∎
Next we make the following observation.
Remark 3.1**.**
Let C be a cyclic Fq-linear Fqt-code of length n. For each i∈F∪I and δ∈{∗,0,γ}, if Ci=C∩Ji, then by Lemma 3.1, the Ki-subspace Ci(δ)=C⊥δ∩Ji={a(X)∈Ji:[a(X),c(X)]δ=0 for all c(X)∈Ci} can be viewed as the orthogonal complement of Ci with respect to the restricted form [⋅,⋅]δ↾Ji×Ji. From this, it follows that a Ki-subspace Ci of Ji satisfies Ci∩Ci(δ)={0} if and only if Ci is a non-degenerate Ki-subspace of (Ji,[⋅,⋅]δ↾Ji×Ji). Therefore the number Ni equals the number of non-degenerate Ki-subspaces of (Ji,[⋅,⋅]δ↾Ji×Ji) for each i∈F∪I and δ∈{∗,0,γ}.
3.1 Determination of the number Ni when i∈F
Throughout this section, we assume that i∈F. Here we recall that Ji is a t-dimensional vector space over Ki≃Fqdi. Further, by Lemma 10(i) of Huffman [9], we see that the integer di is even.
Then in the following proposition, we determine the number Ni for each δ∈{∗,0,γ}.
Proposition 3.2**.**
Let i∈F be fixed. Then for each δ∈{∗,0,γ}, the number Ni of distinct Ki-subspaces Ci of Ji satisfying Ci∩Ci(δ)={0} is given by Ni=2+k=1∑t−1q2k(t−k)dij=0∏k−1(q2(k−j)di−(−1)k−jq2(t−j)di−(−1)t−j).
Proof.
To prove this, for each integer k(0≤k≤t), let Ni,k denote the number of k-dimensional Ki-subspaces Ci of Ji satisfying Ci∩Ci(δ)={0}. Then we have Ni=k=0∑tNi,k.
When k=0, we have Ci={0}, which gives Ci(δ)=Ji and thus Ci∩Ci(δ)={0} holds. This implies that Ni,0=1. Moreover, by Lemma 3.1(a), we see that (Ji,[⋅,⋅]δ↾Ji×Ji) is a t-dimensional reflexive and non-degenerate space over Ki. This implies that when Ci=Ji, we have Ci(δ)={0}, and thus Ci∩Ci(δ)={0} holds. This gives Ni,t=1. So from now onwards, we assume that 1≤k≤t−1 and we assert that Ni,k=q2k(t−k)dij=0∏k−1(q2(k−j)di−(−1)k−jq2(t−j)di−(−1)t−j) for 1≤k≤t−1. To prove this assertion, by Remark 3.1, we note that the number Ni,k is equal to the number of k-dimensional non-degenerate Ki-subspaces of Ji for 1≤k≤t−1. Now we shall consider the following two cases separately: **I. ** δ∈{∗,0} and **II. ** δ=γ.
Case I. Let δ∈{∗,0}. Here by Lemma 3.1, we see that [⋅,⋅]δ↾Ji×Ji is a reflexive, non-degenerate and Hermitian form, i.e., (Ji,[⋅,⋅]δ↾Ji×Ji) is a unitary space over Ki.
First let k be odd. By [18, p. 116], we see that any k-dimensional non-degenerate (and hence unitary) Ki-subspace of Ji has a Witt decomposition of the form ⟨a1(X),b1(X)⟩⊥⋯⊥⟨a2k−1(X),b2k−1(X)⟩⊥⟨w(X)⟩, where \big{(}a_{\ell}(X),b_{\ell}(X)\big{)} is a hyperbolic pair in Ji for 1≤ℓ≤2k−1 and w(X) is an anisotropic vector in Ji. Now in order to determine the number of k-dimensional non-degenerate (and hence unitary) Ki-subspaces of Ji, we shall count all Witt bases of the type {a1(X),b1(X),⋯,a2k−1(X),b2k−1(X),w(X)} in Ji. For this, we note that (a1(X),b1(X)) is a hyperbolic pair in Ji, so by Corollary 10.6 of [18], it has Hr1,t−2r1 choices, where r1 is the Witt index of Ji. Now since ⟨a1(X),b1(X)⟩ is a non-degenerate Ki-subspace of Ji, working as in Proposition 2.9 of [6], we can write Ji=⟨a1(X),b1(X)⟩⊥⟨a1(X),b1(X)⟩⊥δ, where ⟨a1(X),b1(X)⟩⊥δ is a (t−2)-dimensional non-degenerate Ki-subspace of Ji. Next we need to choose the second hyperbolic pair (a2(X),b2(X)) from the unitary Ki-subspace ⟨a1(X),b1(X)⟩⊥δ of Ji. By Corollary 10.6 of [18], we see that (a2(X),b2(X)) has Hr2,t−2−2r2 choices, where r2 is the Witt index of ⟨a1(X),b1(X)⟩⊥δ. Continuing like this, we see that the (2k−1)th hyperbolic pair (a2k−1(X),b2k−1(X)) has to be chosen from the (t−k+3)-dimensional unitary Ki-subspace ⟨a1(X),b1(X),⋯,a2k−3(X),b2k−3(X)⟩⊥ of Ji, so by Corollary 10.6 of [18], the hyperbolic pair (a2k−1(X),b2k−1(X)) has Hr2k−1,t−k+3−2r2k−1 choices,
where r2k−1 is the Witt index of ⟨a1(X),b1(X),⋯,a2k−3,b2k−3⟩⊥δ. Next we need to choose an anisotropic vector w(X) from the (t−k+1)-dimensional unitary Ki-subspace ⟨a1(X),b1(X),⋯,a2k−1,b2k−1⟩⊥δ of Ji. By Lemma 10.4 of [18], we see that w(X) has q(t−k+1)di−1−Ir2k+1,t−k+1−2r2k+1 choices, where r2k+1 is the Witt index of ⟨a1(X),b1(X),⋯,a2k−1,b2k−1⟩⊥δ. Therefore the number of choices for a Witt basis of cardinality k in Ji is given by
Now using Lemma 10.4 and Corollary 10.6 of [18], we see that Uk,t=q4(2t−k−1)kdi(q2di−1)j=0∏k−1(q2(t−j)di−(−1)t−j). Next working in a similar manner as above and using Lemma 10.4 and Corollary 10.6 of [18], we see that the number of Witt bases of a k-dimensional unitary Ki-subspace of Ji is given by Uk,k=H2k−1,1H2k−3,1⋯H1,1(qdi−1)=q4k(k−1)di(q2di−1)j=0∏k−1(q2(k−j)di−(−1)k−j). Therefore the number of distinct k-dimensional non-degenerate (and hence unitary) Ki-subspaces of Ji is given by
[TABLE]
Next let k be even. Here by [18, p. 116], we see that any k-dimensional non-degenerate (and hence unitary) Ki-subspace of Ji has a Witt decomposition of the form ⟨a1(X),b1(X)⟩⊥⋯⊥⟨a2k(X),b2k(X)⟩, where \big{(}a_{\ell}(X),b_{\ell}(X)\big{)} is a hyperbolic pair in Ji for 1≤ℓ≤2k. Now working in a similar manner as in the previous case, the assertion follows.
Case II. Let δ=γ. By Lemma 3.1, we see that [⋅,⋅]γ↾Ji×Ji is a reflexive, non-degenerate and skew-Hermitian form. In this case, we will first transform the skew-Hermitian form [⋅,⋅]γ↾Ji×Ji to a Hermitian form [⋅,⋅]γ′ on Ji as follows:
By Lemma 11(iii) of Huffman [9], we note that τ1,−1 is not the identity map on Ki, so there exists u(X)∈Ki such that \tau_{1,-1}\bigl{(}\mathfrak{u}(X)\bigr{)}\neq\mathfrak{u}(X). Then we define a map [⋅,⋅]γ′:Ji×Ji→Ki as [c(X),d(X)]γ′=v(X)[c(X),d(X)]γ for all c(X),d(X)∈Ji, where \mathfrak{v}(X)=\mathfrak{u}(X)-\tau_{1,-1}\bigl{(}\mathfrak{u}(X)\bigr{)}\neq 0. It is easy to see that [⋅,⋅]γ′ is a reflexive, non-degenerate and Hermitian form on Ji. Next we observe that if two vectors in Ji are orthogonal with respect to [⋅,⋅]γ↾Ji×Ji, then those two vectors are also orthogonal with respect to [⋅,⋅]γ′ and vice versa. This implies that any non-degenerate Ki-subspace of Ji with respect to [⋅,⋅]γ↾Ji×Ji is also non-degenerate with respect to [⋅,⋅]γ′ and vice versa.
So the number Ni equals the number of non-degenerate Ki-subspaces of Ji with respect to [⋅,⋅]γ′. Now as (Ji,[⋅,⋅]γ′) is a unitary space over Ki having dimension t, working in a similar manner as in case I, the assertion follows. This proves the proposition.
∎
3.2 Determination of the number Ni when i∈I
In this section, we will determine the number Ni for each i∈I and δ∈{∗,0,γ}. Here we recall that Ki≃Fq, as di=1 for each i∈I.
In the following proposition, we suppose that either δ=γ or δ=∗ and q is even, and determine the number Ni of Ki-subspaces Ci of Ji satisfying Ci∩Ci(δ)={0} for each i∈I.
Proposition 3.3**.**
Suppose that either δ=γ or δ=∗ and q is even. For i∈I, the number Ni of distinct Ki-subspaces Ci of Ji satisfying Ci∩Ci(δ)={0} is given by Ni=2+k≡0(mod 2)k=1∑t−1q2k(t−k)[k/2t/2]q2.
Proof.
In order to prove this, for each integer k(0≤k≤t), let Ni,k denote the number of k-dimensional Ki-subspaces Ci of Ji satisfying Ci∩Ci(δ)={0}. Then we have Ni=k=0∑tNi,k.
First we observe that Ni,0=Ni,t=1. So from now onwards, throughout this proof, we assume that 1≤k≤t−1. Here we assert that for 1≤k≤t−1, the number Ni,k=0 when k is odd and Ni,k=q2k(t−k)[k/2t/2]q2 when k is even.
To prove this assertion, by Remark 3.1, we note that the number Ni,k is equal to the number of k-dimensional non-degenerate Ki-subspaces of Ji for 1≤k≤t−1.
Now we shall distinguish the cases, I. δ=γ and II. δ=∗ and q is even.
Case I. Let δ=γ. Here by Lemma 3.1, we see that [⋅,⋅]γ↾Ji×Ji is a reflexive, non-degenerate and alternating form, i.e., (Ji,[⋅,⋅]γ↾Ji×Ji) is a symplectic space over Ki. In view of this, we see that the number Ni,k equals the number of distinct k-dimensional non-degenerate (and hence symplectic) Ki-subspaces of Ji. By [18, p. 69], we see that Ni,k=0 if k is odd. So we need to determine the number Ni,k when k≥2 is an even integer. For this, by [18, p. 69], we see that when k is even, any k-dimensional non-degenerate (and hence symplectic) Ki-subspace of Ji has a Witt decomposition of the form ⟨a1(X),b1(X)⟩⊥⋯⊥⟨a2k(X),b2k(X)⟩, where each (aℓ(X),bℓ(X)) is a hyperbolic pair in Ji. Further, working in a similar manner as in Proposition 3.2 and using [18, pp. 69-70], we get Ni,k=q2k(t−k)[k/2t/2]q2 for each even integer k.
Case II. Let δ=∗ and q be even. In this case, t is even and n is odd, and hence i=0 only. By Huffman [9, p. 264], we see that J0={aM(X):a∈Fqt}≃Fqt and K0={rM(X):r∈Fq}≃Fq, where M(X)=1+X+X2+⋯+Xn−1. We next observe that \left[aM(X),bM(X)\right]_{\ast}=n\text{Tr}_{q,t}\bigl{(}a\phi(b)\bigr{)}M(X)=n(a,b)_{\ast}M(X) for all aM(X),bM(X)∈J0. Since M(X)=0, we observe that if two vectors aM(X),bM(X)∈J0 are orthogonal with respect to [⋅,⋅]∗↾J0×J0, then the corresponding vectors a,b∈Fqt are orthogonal with respect to (⋅,⋅)∗ on Fqt and vice versa. So the number of distinct k-dimensional non-degenerate K0-subspaces of J0 with respect to [⋅,⋅]∗↾J0×J0 is equal to the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt with respect to (⋅,⋅)∗ on Fqt. Further, by Lemma 3.2 of Sharma and Kaur [16], we see that when q is even, (⋅,⋅)∗ is a reflexive, non-degenerate and alternating form on Fqt, i.e., (Fqt,(⋅,⋅)∗) is a symplectic space over Fq having dimension t. Now working in a similar manner as in case I, we obtain N0,k=q2k(t−k)[k/2t/2]q2 when k is even and N0,k=0 when k is odd. This proves the proposition.
∎
In the following proposition, we suppose that δ∈{∗,0} and q is odd, and determine the number of Ki-subspaces Ci of Ji satisfying Ci∩Ci(δ)={0} for each i∈I.
Proposition 3.4**.**
Let δ∈{∗,0} and q be an odd prime power. For i∈I, the number Ni of distinct Ki-subspaces Ci of Ji satisfying Ci∩Ci(δ)={0} is given by the following:
(a)
Ni=2+k≡0(mod 2)k=1∑t−1q2k(t−k+1)[k/2(t−1)/2]q2+k≡1(mod 2)k=1∑t−1q2(t−k)(k+1)[(k−1)/2(t−1)/2]q2* if t is odd.*
2. (b)
Ni=2+k≡0(mod 2)k=1∑t−1q2k(t−k)[k/2t/2]q2+k≡1(mod 2)k=1∑t−1q2tk−k2−1(q2t+1)[(k−1)/2(t−2)/2]q2\vspace2mm* if either t is even and q≡1(mod 4) or t≡0(mod 4) and q≡3(mod 4).*
3. (c)
Ni=2+k≡0(mod 2)k=1∑t−1q2k(t−k)[k/2t/2]q2+k≡1(mod 2)k=1∑t−1q2tk−k2−1(q2t−1)[(k−1)/2(t−2)/2]q2\vspace2mm* if t≡2(mod 4) and q≡3(mod 4).*
To prove this proposition, we see, by Lemma 3.1, that when δ∈{∗,0} and q is an odd prime power, [⋅,⋅]δ↾Ji×Ji is a reflexive, non-degenerate and symmetric form, i.e., (Ji,[⋅,⋅]δ↾Ji×Ji) is an orthogonal space over Ki. Furthermore, since q is odd, the map Qi:Ji→Ki, defined by Qi(u(X))=21[u(X),u(X)]δ for each u(X)∈Ji, is a quadratic map, and hence (Ji,Qi) is a non-degenerate quadratic space over Ki. Now to prove Proposition 3.4, we shall first prove the following lemma:
Lemma 3.2**.**
Let δ∈{∗,0},q be an odd prime power and k≥1 be an odd integer. Let U be a k-dimensional non-degenerate quadratic Ki-subspace of Ji having a Witt decomposition of the form ⟨m1(X),n1(X)⟩⊥⟨m2(X),n2(X)⟩⊥⋯⊥⟨m2k−1(X),n2k−1(X)⟩⊥⟨r(X)⟩, where (mℓ(X),nℓ(X)) is a hyperbolic pair in U for 1≤ℓ≤2k−1 and r(X) is a non-singular vector in U. Then the following hold.
(a)
The number Lk of non-singular vectors u(X)∈U with ⟨u(X)⟩ isometric to ⟨r(X)⟩ is given by Lk=2q2k−1(q−1)(q2k−1+1).
(b)
The number Mk of non-singular vectors u(X)∈U with ⟨u(X)⟩ not isometric to ⟨r(X)⟩ is given by Mk=2q2k−1(q−1)(q2k−1−1).
Proof.
(a)
First of all, we observe that for each odd integer k≥1, the number Lk is equal to the number of pairs (u(X),θ(X)), where u(X) is a non-singular vector in U and θ(X) is a non-zero square in Ki satisfying [u(X),u(X)]δ=θ(X)[r(X),r(X)]δ. Now to determine the number Lk, we will apply induction on an odd integer k≥1.
When k=1, we have U=⟨r(X)⟩. From this, it follows trivially that L1=q−1, i.e., the result holds for k=1.
Next we assume that k≥3 is an odd integer and the result holds for all (k−2)-dimensional non-degenerate quadratic Ki-subspaces of Ji. Now let U be a k-dimensional non-degenerate quadratic Ki-subspace of Ji. As k≥3, by Lemma 7.3 and Theorem 11.2 of [18], there exists a hyperbolic pair in U, say (e(X),f(X)). Further by Proposition 2.9 of [6], we write U=⟨e(X),f(X)⟩⊥⟨e(X),f(X)⟩⊥δ, where ⟨e(X),f(X)⟩⊥δ is a (k−2)-dimensional non-degenerate quadratic Ki-subspace of U. In view of this, any element u(X)∈U can be written as u(X)=λ(X)e(X)+κ(X)f(X)+w(X), where λ(X),κ(X)∈Ki and w(X)∈⟨e(X),f(X)⟩⊥δ. Now we shall count all pairs (u(X),θ(X)) with u(X) as a non-singular vector in U and θ(X) as a non-zero square in Ki satisfying [u(X),u(X)]δ=θ(X)[r(X),r(X)]δ. For this, we see that [u(X),u(X)]δ=θ(X)[r(X),r(X)]δ if and only if
[TABLE]
Here also, we shall distinguish the following two cases: I.λ(X)κ(X)=0 and II.λ(X)κ(X)=0.
I. Let λ(X)κ(X)=0. Then by (1), we have [w(X),w(X)]δ=θ(X)[r(X),r(X)]δ, that is, the Ki-subspaces ⟨w(X)⟩ and ⟨r(X)⟩ are isometric. As w(X)∈⟨e(X),f(X)⟩⊥, by applying the induction hypothesis, we see that the pair (w(X),θ(X)) has precisely Lk−2 relevant choices. Moreover, the pair (λ(X),κ(X)) has 2q−1 choices. Thus in this case, there are precisely (2q−1)Lk−2 number of pairs (u(X),θ(X)), where u(X) is a non-singular vector of U and θ(X) is a non-zero square in Ki satisfying [u(X),u(X)]δ=θ(X)[r(X),r(X)]δ.
II. Next let λ(X)κ(X)=0. Then by (1), we get [w(X),w(X)]δ=θ(X)[r(X),r(X)]δ, that is, the Ki-subspace ⟨w(X)⟩ is not isometric to ⟨r(X)⟩. By applying the induction hypothesis, we see that the number of pairs (w(X),θ(X)) with θ(X) as a non-zero square in Ki and w(X)∈⟨e(X),f(X)⟩⊥ satisfying [w(X),w(X)]δ=θ(X)[r(X),r(X)]δ is given by 2qk−2(q−1)−Lk−2. In view of (1), we see that λ(X) is fixed for a given choice of θ(X),w(X) and κ(X). Also as κ(X)=0, it has q−1 choices. Thus in this case, there are precisely (q-1)\bigg{(}\frac{q^{k-2}(q-1)}{2}-\mathsf{L}_{k-2}\bigg{)} number of pairs (u(X),θ(X)) with u(X) as a non-singular vector of U and θ(X) as a non-zero square in Ki satisfying [u(X),u(X)]δ=θ(X)[r(X),r(X)]δ.
Therefore from the cases I and II above, we see that the number Lk of pairs (u(X),θ(X)) with u(X) as a non-singular vector in U and θ(X) as a non-zero square in Ki satisfying [u(X),u(X)]δ=θ(X)[r(X),r(X)]δ, is given by \mathsf{L}_{k}=(2q-1)\mathsf{L}_{k-2}+(q-1)\bigg{(}\frac{q^{k-2}(q-1)}{2}-\mathsf{L}_{k-2}\bigg{)}. Further, after a simple computation and on substituting the value of L1=q−1, we obtain Lk=2q2k−1(q−1)(q2k−1+1), which proves (a).
(b)
To prove this, we observe that for each odd integer k≥1, the number Lk+Mk is equal to the number of non-singular vectors in U. Furthermore, by Theorem 11.5 of [18], we see that the number of non-singular vectors in U is given by qk−1−I2k−1,1=qk−qk−1, where I2k−1,1 denotes the number of isotropic vectors in U having Witt index 2k−1. From this and using part (a), we obtain Mk=qk−qk−1−Lk=2q2k−1(q−1)(q2k−1−1), which proves (b).
∎
Proof of Proposition 3.4.
To prove this, for each integer k(0≤k≤t), let Ni,k denote the number of k-dimensional Ki-subspaces Ci of Ji satisfying Ci∩Ci(δ)={0}. Then we have
[TABLE]
Now we proceed to determine the number Ni,k for each integer k,0≤k≤t. Towards this, it is easy to observe that Ni,0=Ni,t=1. So we assume 1≤k≤t−1 from now onwards. Here by Remark 3.1, we note that the number Ni,k is equal to the number of k-dimensional non-degenerate Ki-subspaces of Ji for 1≤k≤t−1. Besides this, we recall that (Ji,Qi) is a non-degenerate quadratic space over Ki≃Fq, where the quadratic map Qi:Ji→Ki is defined as Qi(u(X))=21[u(X),u(X)]δ for each u(X)∈Ji.
Then we observe the following:
(□)
The discriminant of every 2-dimensional anisotropic Ki-subspace of Ji is a non-square in Ki. As a consequence, every 2-dimensional anisotropic Ki-subspace of Ji is non-degenerate.
2. (■)
Every 2-dimensional anisotropic Ki-subspace of Ji has an orthogonal basis, i.e., it has a basis of the type {u(X),v(X)} with [u(X),v(X)]δ=0.
Furthermore, by Proposition 1 of Drees et al. [3], we see that the determinant of (Ji,Qi) is a non-square in Ki. From this, by [18, p. 138] and assertion (□), it is easy to observe (see Huffman [9, p. 279]) that the Witt index w of (Ji,Qi) is given by
[TABLE]
Now in order to determine the number Ni,k, by [18, p. 138], we see that any k-dimensional non-degenerate quadratic Ki-subspace of Ji has a Witt decomposition of the form ⟨a1(X),b1(X)⟩⊥⋯⊥⟨amk(X),bmk(X)⟩⊥Wk, where each (aℓ(X),bℓ(X)) is a hyperbolic pair in Ji,mk is its Witt index and Wk is an anisotropic Ki-subspace of Ji with dimKiWk=k−2mk≤2. By [18, p. 138], we also see that mk=2k−1 when k is odd and mk is either 2k−2 or 2k (depending upon the isometry class of Ji) when k is even. We shall first determine the number Qmk,w of Witt bases of the type {a1(X),b1(X),⋯,amk(X),bmk(X)}∪βWk with βWk as a basis of the anisotropic Ki-subspace Wk of Ji, where the basis βWk is orthogonal when dimKiWk=2 (or equivalently, mk=2k−2).
For this, we shall distinguish the following two cases: **I. ** k is odd and **II. ** k is even.
I. Let k be odd. Here, by [18, p. 138], we have mk=2k−1, which implies that dimKiWk=1. So in this case, any k-dimensional non-degenerate quadratic Ki-subspace of Ji has a Witt decomposition of the form ⟨a1(X),b1(X)⟩⊥⋯⊥⟨a2k−1(X),b2k−1(X)⟩⊥⟨w(X)⟩, where (aℓ(X),bℓ(X)) is a hyperbolic pair in Ji for 1≤ℓ≤2k−1 and w(X) is a non-singular vector of Ji. We first note that as (a1(X),b1(X)) is a hyperbolic pair in Ji, by [18, p. 141], it has Hw,t−2w choices, where w is the Witt index of Ji. Further by Proposition 2.9 of [6], we write Ji=⟨a1(X),b1(X)⟩⊥⟨a1(X),b1(X)⟩⊥δ, where ⟨a1(X),b1(X)⟩⊥δ is a (t−2)-dimensional non-degenerate quadratic Ki-subspace of Ji. Now we choose the second hyperbolic pair (a2(X),b2(X)) from the quadratic space ⟨a1(X),b1(X)⟩⊥δ. By applying Witt’s cancellation theorem, we see that the space ⟨a1(X),b1(X)⟩⊥δ has Witt index w−1. By [18, p. 141], again, we see that the second hyperbolic pair (a2(X),b2(X)) has Hw−1,t−2w choices.
Continuing like this, we see that the (2k−1)th hyperbolic pair (a2k−1(X),b2k−1(X)) can be chosen in Hw−2(k−3),t−2w number of ways.
Next to count all possible choices for the basis βWk of a 1-dimensional anisotropic Ki-subspace Wk of ⟨a1(X),b1(X),⋯,a2k−1(X),b2k−1(X)⟩⊥δ, we need to choose a non-singular vector w(X) from the (t−k+1)-dimensional non-degenerate quadratic Ki-subspace ⟨a1(X),b1(X),⋯,a2k−1(X),b2k−1(X)⟩⊥δ of Ji. By applying Witt’s cancellation theorem, we see that the Witt index of ⟨a1(X),b1(X),⋯,a2k−1(X),b2k−1(X)⟩⊥δ is w−2(k−1). Now by Theorem 11.5 of [18], we see that the number of non-singular vectors in ⟨a1(X),b1(X),⋯,a2k−1(X),b2k−1(X)⟩⊥δ is given by qt−k+1−1−Iw−2(k−1),t−k+1−2(w−2(k−1)).
From this, it follows that when k is odd, the number of Witt bases of the form {a1(X),b1(X),⋯,a2k−1(X),b2k−1(X)}∪βWk and having cardinality k in Ji is given by
Next when k is odd, let Q2k−1 denote the number of Witt bases of a k-dimensional non-degenerate quadratic Ki-subspace of Ji. Here working in a similar manner as above and by [18, pp. 138-141], we obtain
[TABLE]
Therefore when k is odd, using (5) and (6), we obtain
[TABLE]
II. Next let k be even. Here by [18, p. 138], we see that mk is either 2k−2 or 2k. For each even integer k(1≤k≤t−1), let Ri,k denote the number of k-dimensional non-degenerate quadratic Ki-subspaces of Ji having Witt index as mk=2k−2 and Si,k denote the number of k-dimensional non-degenerate quadratic Ki-subspaces of Ji having Witt index as mk=2k. In view of this, we have
[TABLE]
Now we shall distinguish the following two cases: **A. ** mk=2k−2 and **B. ** mk=2k.
A. First let mk=2k−2. In this case, by [18, p. 138], we see that any k-dimensional non-degenerate quadratic Ki-subspace of Ji has a Witt decomposition of the form ⟨a1(X),b1(X)⟩⊥⋯⊥⟨a2k−2(X),b2k−2(X)⟩⊥Wk, where each (aℓ(X),bℓ(X)) is a hyperbolic pair in Ji and Wk is a 2-dimensional anisotropic Ki-subspace of Ji.
We note that as (a1(X),b1(X)) is a hyperbolic pair in Ji, by [18, p. 141], it has Hw,t−2w choices, where w is the Witt index of Ji. Further by Proposition 2.9 of [6], we write Ji=⟨a1(X),b1(X)⟩⊥⟨a1(X),b1(X)⟩⊥δ, where ⟨a1(X),b1(X)⟩⊥δ is a (t−2)-dimensional non-degenerate quadratic Ki-subspace of Ji. Continuing like this, we see that the (2k−2)th hyperbolic pair (a2k−2(X),b2k−2(X)) can be chosen in Hw−2(k−4),t−2w number of ways. In order to determine the number Q2k−2,w, we need to determine the number Ak,w of orthogonal bases of all 2-dimensional anisotropic Ki-subspaces of the (t−k+2)-dimensional non-degenerate quadratic Ki-subspace ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ of Ji.
For this, by applying Witt’s cancellation theorem, we see that the space ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ has Witt index as w−2(k−2). Now we assert that
[TABLE]
To prove assertion (9), we will consider the following three cases separately: (i)w=2t,(ii)w=2t−1 and (iii)w=2t−2.
(i) First let w=2t. Here we assert the following:
(a)
The number of orthogonal bases of the type {u(X),v(X)} with u(X),v(X) as non-singular vectors of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ, is given by q23(t−k)(q−1)2(q2t−k+2−1).
2. (b)
The number of orthogonal bases of the type {u(X),v(X)} with u(X),v(X) as non-singular vectors of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ and ⟨u(X),v(X)⟩ containing a singular vector, is given by 2qt−k(q−1)2(q2t−k+2−1)(q2t−k+1).
To prove (a), we need to count orthogonal bases of the type {u(X),v(X)} with u(X),v(X) as non-singular vectors of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ. For this, we see that as w=2t, by Witt’s cancellation theorem, the Witt index of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ is 2t−2(k−2)=2t−k+2. Now as u(X) is a non-singular vector in ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ, by Theorem 11.5 of [18], we see that u(X) has qt−k+2−1−I2(t−k+2),0 choices. Further, by applying Proposition 2.9 of [6], we write ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ=⟨u(X)⟩⊥⟨u(X)⟩⊥δ, where ⟨u(X)⟩⊥δ is a (t−k+1)-dimensional non-degenerate quadratic Ki-subspace of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ. Now we will choose another non-singular vector v(X) from the space ⟨u(X)⟩⊥δ. As u(X) is non-singular, we see that u(X)∈⟨u(X)⟩⊥δ. Moreover, since t−k+1 is odd, by [18, p. 138], we see that the Witt index of ⟨u(X)⟩⊥δ is 2t−k. Then we see that v(X) has qt−k+1−1−I2t−k,1 choices. From this and using Theorem 11.5 of [18], we see that the number of choices for the basis {u(X),v(X)} with u(X),v(X) as non-singular vectors of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ and satisfying [u(X),v(X)]δ=0, is given by (qt−k+2−1−I2(t−k+2),0)(qt−k+1−1−I2(t−k),1)=q23(t−k)(q−1)2(q2t−k+2−1).
To prove (b), we see that if there exists a singular vector, say r1(X), in a 2-dimensional non-degenerate Ki-subspace ⟨u(X),v(X)⟩ of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ satisfying Q_{i}\big{(}u(X)\big{)}\neq 0,~{}Q_{i}\big{(}v(X)\big{)}\\
\neq 0 and [u(X),v(X)]δ=0, then by Lemma 7.3 of [18], we have ⟨u(X),v(X)⟩=⟨r1(X),r2(X)⟩, where (r1(X),r2(X)) is a hyperbolic pair in the Ki-subspace ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ of Ji. By [18, p. 138], we see that the space ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ contains H2t−k+2,0 hyperbolic pairs. On the other hand, by [18, p. 138] again, we see that there are precisely H1,0 distinct hyperbolic pairs in a 2-dimensional non-degenerate quadratic Ki-subspace of Ji containing a singular vector. Thus the number of distinct 2-dimensional non-degenerate Ki-subspaces of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ containing a singular vector is given by H1,0H2t−k+2,0, which equals 2(q−1)qt−k(q2t−k+2−1)(q2t−k+1) by [18, p. 141]. Further, we observe that within each such non-degenerate quadratic Ki-subspace ⟨u(X),v(X)⟩=⟨r1(X),r2(X)⟩ of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ containing a singular vector, there are precisely (q−1)3 distinct choices for a basis of the type {u(X),v(X)} satisfying Q_{i}\big{(}u(X)\big{)}\neq 0,~{}Q_{i}\big{(}v(X)\big{)}\neq 0 and [u(X),v(X)]δ=0. Thus there are precisely Δk=2(q−1)qt−k(q−1)3(q2t−k+2−1)(q2t−k+1) choices for a basis of the type {u(X),v(X)} with u(X),v(X)∈⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ satisfying Q_{i}\big{(}u(X)\big{)}\neq 0,~{}Q_{i}\big{(}v(X)\big{)}\neq 0,[u(X),v(X)]δ=0 and ⟨u(X),v(X)⟩ containing a singular vector.
Now from assertions (a) and (b), it follows that the number of orthogonal bases of 2-dimensional anisotropic Ki-subspaces of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ is given by Ak,2t=q23(t−k)(q−1)2(q2t−k+2−1)−Δk=2qt−k(q−1)2(q2t−k+2−1)(q2t−k−1), which proves assertion (9) when w=2t.
(ii) Next let w=2t−1. Here we assert the following:
(c)
The number of orthogonal bases of the type {u(X),v(X)} with u(X),v(X) as non-singular vectors of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ is given by qt−k(q−1)2(qt−k+1−1).
2. (d)
The number of orthogonal bases of the type {u(X),v(X)} with u(X),v(X) as non-singular vectors of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ and ⟨u(X),v(X)⟩ containing a singular vector, is given by 2qt−k(q−1)2(qt−k+1−1).
To prove this assertion, as w=2t−1, by [18, p. 138], we write Ji=⟨r1(X),s1(X)⟩⊥⋯⊥⟨r2t−1(X),s2t−1(X)⟩⊥⟨η(X)⟩, where (rℓ(X),sℓ(X)) is a hyperbolic pair in Ji for 1≤ℓ≤2t−1 and η(X) is a non-singular vector of Ji.
In order to prove (c), by applying Witt’s cancellation theorem, we see that the Witt index of the Ki-subspace ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ of Ji is 2(t−1)−2(k−2)=2t−k+1. Now we need to choose a non-singular vector u(X) from the space ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ. Here the following two cases arise:
•
the non-singular vector u(X)∈⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ is such that the Ki-subspace ⟨u(X)⟩ is isometric to ⟨η(X)⟩, and
•
the non-singular vector u(X)∈⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ is such that the Ki-subspace ⟨u(X)⟩ is not isometric to ⟨η(X)⟩.
First of all, we choose a non-singular vector u(X) from ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ such that ⟨u(X)⟩ is isometric to ⟨η(X)⟩. In this case, by Lemma 3.2(a), we see that u(X) has Lt−k+2 choices.
Next for each such choice of u(X), by applying Proposition 2.9 of [6], we write ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ=⟨u(X)⟩⊥⟨u(X)⟩⊥δ, where ⟨u(X)⟩⊥δ is a (t−k+1)-dimensional non-degenerate quadratic Ki-subspace of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ. Here as ⟨u(X)⟩ and ⟨η(X)⟩ are isometric, by Witt’s cancellation theorem, we see that the Witt index of ⟨u(X)⟩⊥δ is 2t−k+1. Now we will choose another non-singular vector v(X) from the space ⟨u(X)⟩⊥δ. As u(X) is non-singular, we see that u(X)∈⟨u(X)⟩⊥δ. By [18, p. 138], we observe that v(X) has qt−k+1−1−I2(t−k+1),0 relevant choices. Therefore by Theorem 11.5 of [18] and Lemma 3.2(a), the number of choices for the basis {u(X),v(X)} with ⟨u(X)⟩ isometric to ⟨η(X)⟩ and satisfying Q_{i}\big{(}u(X)\big{)}\neq 0,~{}Q_{i}\big{(}v(X)\big{)}\neq 0 and [u(X),v(X)]δ=0, is given by Lt−k+2(qt−k+1−1−I2(t−k+1),0)=2qt−k(q−1)2(qt−k+1−1).
Next we choose a non-singular vector u(X) from ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ such that ⟨u(X)⟩ is not isometric to ⟨η(X)⟩. Here by Lemma 3.2(b), such a non-singular vector u(X) has Mt−k+2 choices. Now by applying Proposition 2.9 of [6], we write ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ=⟨u(X)⟩⊥⟨u(X)⟩⊥δ, where ⟨u(X)⟩⊥δ is a (t−k+1)-dimensional non-degenerate quadratic Ki-subspace of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ. Here as the Ki-subspaces ⟨u(X)⟩ and ⟨η(X)⟩ of Ji are not isometric, we see, by Witt’s cancellation theorem, that the Witt index of ⟨u(X)⟩⊥δ is 2t−k−1. Now we will choose another non-singular vector v(X) from the space ⟨u(X)⟩⊥δ. As u(X) is non-singular, we see that u(X)∈⟨u(X)⟩⊥δ. By [18, p. 138], we see that v(X) has qt−k+1−1−I2(t−k−1),2 choices. Therefore, by Theorem 11.5 of [18] and Lemma 3.2(b), the number of choices for the basis {u(X),v(X)} with ⟨u(X)⟩ not isometric to ⟨η(X)⟩ and satisfying Q_{i}\big{(}u(X)\big{)}\neq 0,~{}Q_{i}\big{(}v(X)\big{)}\neq 0 and [u(X),v(X)]δ=0, is given by Mt−k+2(qt−k+1−1−I2(t−k−1),2)=2qt−k(q−1)2(qt−k+1−1).
From the above, we see that the number of choices for the basis {u(X),v(X)} with u(X),v(X)∈⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ satisfying Q_{i}\big{(}u(X)\big{)}\neq 0,~{}Q_{i}\big{(}v(X)\big{)}\neq 0 and [u(X),v(X)]δ=0, is given by 2qt−k(q−1)2(qt−k+1−1)+2qt−k(q−1)2(qt−k+1−1)=qt−k(q−1)2(qt−k+1−1), which proves (c).
Next working in a similar way as in assertion (b) of case (i), assertion (d) follows.
Now from assertions (c) and (d), we see that the number of orthogonal bases of 2-dimensional anisotropic Ki-subspaces of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ is given by Ak,2t−1=qt−k(q−1)2(qt−k+1−1)−2qt−k(q−1)2(qt−k+1−1)=2qt−k(q−1)2(qt−k+1−1), which proves assertion (9) when w=2t−1.
(iii) Next suppose that w=2t−2. Here working in a similar manner as in case (i), we observe the following:
(e)
The number of orthogonal bases of the type {u(X),v(X)} with u(X),v(X) as non-singular vectors of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ is given by q23(t−k)(q−1)2(q2t−k+2+1).
2. (f)
The number of orthogonal bases of the type {u(X),v(X)} with u(X),v(X) as non-singular vectors of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ and ⟨u(X),v(X)⟩ containing a singular vector, is given by 2qt−k(q−1)2(q2t−k+2+1)(q2t−k−1).
Now from (e) and (f), it follows that the number of orthogonal bases of 2-dimensional anisotropic Ki-subspaces of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ is given by Ak,2t−2=q23(t−k)(q−1)2(q2t−k+2+1)−2qt−k(q−1)2(q2t−k+2+1)(q2t−k−1)=2qt−k(q−1)2(q2t−k+2+1)(q2t−k+1), which proves assertion (9) when w=2t−2.
Next we see that the number of Witt bases of the form {a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)}∪βWk with βWk as an orthogonal basis of a 2-dimensional anisotropic Ki-subspace Wk of ⟨a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)⟩⊥δ, is given by
[TABLE]
From this, using (9), (10) and [18, p. 141], we get
[TABLE]
Next let Q2k−2 denote the number of Witt bases of a k-dimensional non-degenerate quadratic Ki-subspace of Ji of the form {a1(X),b1(X),⋯,a2k−2(X),b2k−2(X)}∪βWk, where βWk is an orthogonal basis of the 2-dimensional anisotropic Ki-subspace Wk of Ji. Here also, working in a similar manner as above and by [18, pp. 138-141], we obtain
[TABLE]
Therefore the number Ri,k of k-dimensional non-degenerate quadratic Ki-subspaces of Ji having Witt index as mk=2k−2, is given by Ri,k=Q2k−2Q2k−2,w. From this and using (11) and (12), we obtain
[TABLE]
B. Next let mk=2k. Here by [18, p. 138], any k-dimensional non-degenerate quadratic Ki-subspace of Ji has a Witt decomposition of the form ⟨a1(X),b1(X)⟩⊥⋯⊥⟨a2k(X),b2k(X)⟩, where (aℓ(X),bℓ(X)) is a hyperbolic pair in Ji for 1≤ℓ≤2k. Now working as in case A, we see that the number of Witt bases of the form {a1(X),b1(X),⋯,a2k(X),b2k(X)} in Ji is given by
Next when mk=2k, let Q2k denote the number of Witt bases of a k-dimensional non-degenerate quadratic Ki-subspace of Ji having Witt index as 2k. Here working in a similar manner as above and by [18, pp. 138-141], we obtain
[TABLE]
Therefore the number Si,k of k-dimensional non-degenerate Ki-subspaces of Ji having Witt index as 2k, is given by Si,k=Q2kQ2k,w. From this and using (15) and (16), we obtain
[TABLE]
Now on substituting the values of Ri,k and Si,k from (13) and (17) in (8), we obtain
[TABLE]
Further, on substituting the values of Ni,k from (7) and (18) (accordingly as k is even or odd) in (2) and using equation (3), the desired result follows. \hfill□
By closely looking at the proof of Proposition 3.4, we deduce the following divisibility results:
Corollary 3.1**.**
Let q be an odd prime power and λ,μ be positive integers satisfying μ≤λ. Then we have the following:
(a)
If q≡3(mod 4) and λ is odd, then both 2(qλ+1)(qμ+1)(qλ−μ+1)[μλ]q2 and 2(qλ+1)(qμ−1)(qλ−μ−1)[μλ]q2 are integers.
(b)
If either q≡3(mod 4) and λ is even or q≡1(mod 4), then both
2(qλ−1)(qμ+1)(qλ−μ−1)[μλ]q2 and
2(qλ−1)(qμ−1)(qλ−μ+1)[μλ]q2* are integers.*
Proof.
(a)
Let i∈I,δ∈{∗,0},q≡3(mod 4) and dimKiJi=2λ, where λ is an odd integer. Then by (3), we see that the Witt index of Ji is λ. Further, by (13), we see that the number of (2μ)-dimensional non-degenerate quadratic Ki-subspaces of Ji having Witt index as (μ−1) is given by Ri,2μ=q2μ(λ−μ)2(qλ+1)(qμ−1)(qλ−μ−1)[μλ]q2, from which it follows that 2(qλ+1)(qμ−1)(qλ−μ−1)[μλ]q2 is an integer.
Moroever, using (17), we see that the number of (2μ)-dimensional non-degenerate quadratic Ki-subspaces of Ji having Witt index as μ is given by Si,2μ=q2μ(λ−μ)2(qλ+1)(qμ+1)(qλ−μ+1)[μλ]q2, which implies that 2(qλ+1)(qμ+1)(qλ−μ+1)[μλ]q2 is an integer.
(b)
Let i∈I,δ∈{∗,0} and dimKiJi=2λ, where λ is an even integer when q≡3(mod 4) and λ≥1 is any integer when q≡1(mod 4). Here by (3), we see that the Witt index of Ji is (λ−1). Further, by (13), we see that the number of (2μ)-dimensional non-degenerate quadratic Ki-subspaces of Ji having Witt index as (μ−1) is given by Ri,2μ=q2μ(λ−μ)2(qλ−1)(qμ−1)(qλ−μ+1)[μλ]q2, from which it follows that 2(qλ−1)(qμ−1)(qλ−μ+1)[μλ]q2 is an integer.
Moroever, using (17), we see that the number of (2μ)-dimensional non-degenerate quadratic Ki-subspaces of Ji having Witt index as μ is given by Si,2μ=q2μ(λ−μ)2(qλ−1)(qμ+1)(qλ−μ−1)[μλ]q2, which implies that 2(qλ−1)(qμ+1)(qλ−μ−1)[μλ]q2 is an integer.
∎
Next we shall consider the case δ=0 and q is even. As gcd(n,q)=1,n must be odd, which implies that I={0}, i.e., i=0 is the only choice. In the following proposition, we determine the number N0 of K0-subspaces C0 of J0 satisfying C0∩C0(0)={0}.
Proposition 3.5**.**
Let δ=0 and q be an even prime power. Then the number N0 of K0-subspaces C0 of J0 satisfying C0∩C0(0)={0} is given by
(a)
N0=2+k≡0(mod 2)k=1∑t−1q2k(t−k+1)[k/2(t−1)/2]q2+k≡1(mod 2)k=1∑t−1q2(t−k)(k+1)[(k−1)/2(t−1)/2]q2* if t is odd.*
2. (b)
\displaystyle N_{0}=2+\sum\limits_{\stackrel{{\scriptstyle k=1}}{{k\equiv 0(\text{mod }2)}}}^{t-1}q^{\frac{tk-k^{2}-2}{2}}\Big{\{}(q^{k}+q-1){(t-2)/2\brack k/2}_{q^{2}}+(q^{t-k+1}-q^{t-k}+1){(t-2)/2\brack(k-2)/2}_{q^{2}}\Big{\}}+\sum\limits_{\stackrel{{\scriptstyle k=1}}{{k\equiv 1(\text{mod }2)}}}^{t-1}q^{\frac{tk-k^{2}+t-1}{2}}{(t-2)/2\brack(k-1)/2}_{q^{2}}* if t is even.*
Proof.
To prove this, for each integer k(0≤k≤t), let N0,k denote the number of k-dimensional K0-subspaces C0 of J0 satisfying C0∩C0(0)={0}. Then we have N0=k=0∑tN0,k. For this, we first observe that N0,0=N0,t=1. So from now onwards, we assume that 1≤k≤t−1. By Remark 3.1, we note that the number N0,k is equal to the number of k-dimensional non-degenerate K0-subspaces of J0 for 1≤k≤t−1. To determine the numbers N0,k for 1≤k≤t−1, by Huffman [9, p. 264], we see that J0={aM(X):a∈Fqt}≃Fqt and K0={rM(X):r∈Fq}≃Fq, where M(X)=1+X+X2+⋯+Xn−1=0. In view of this, it is easy to observe that [aM(X),bM(X)]0=nTrq,t(ab)M(X)=n(a,b)0M(X) for all a,b∈Fqt. From this, we observe that if two vectors aM(X),bM(X)∈J0 are orthogonal with respect to [⋅,⋅]0↾J0×J0, then the corresponding vectors a,b∈Fqt are also orthogonal with respect to ordinary trace bilinear form (⋅,⋅)0 on Fqt and vice versa. So for each integer k(1≤k≤t−1), the number N0,k of k-dimensional non-degenerate K0-subspaces of J0 with respect to [⋅,⋅]0↾J0×J0 is equal to the number of k-dimensional non-degenerate Fq-subspaces of Fqt with respect to (⋅,⋅)0 on Fqt.
In order to determine the number of k-dimensional non-degenerate Fq-subspaces of Fqt with respect to (⋅,⋅)0, let V0={x∈Fqt:Trq,t(x)=0}, i.e., V0 equals kernel of the trace map Trq,t. Then it is well-known that V0 is an Fq-subspace of Fqt having dimension t−1. Now we will distinguish the following two cases: t is odd and t is even.
(a) Let t be odd. Here we see that 1∈V0 and (v,1)0=0 for all v∈V0, which implies that Fqt=V0⊥⟨1⟩. Furthermore, by Huffman [9, p. 280], we see that (⋅,⋅)0 is a reflexive, non-degenerate and alternating form on V0, i.e., (V0,(⋅,⋅)0↾V0×V0) is a symplectic space over Fq.
We now proceed to count all k-dimensional non-degenerate Fq-subspaces of Fqt with respect to (⋅,⋅)0. To do so, we first observe that any k-dimensional Fq-subspace of Fqt is I. either contained in V0, or II. contained in Fqt but not in V0, i.e., it is of the type ⟨x1,x2,⋯,xk−1,1+xk⟩ with xj∈V0∖{0} for 1≤j≤k−1 and xk∈V0.
**I. ** As (V0,(⋅,⋅)0↾V0×V0) is a symplectic space, by [18, p. 69], we see that a k-dimensional non-degenerate (and hence symplectic) Fq-subspace of V0 exists if and only if k is even. Further, working in a similar manner as in Proposition 3.3 and using the fact that dimFqV0=t−1, we see that the number of k-dimensional non-degenerate (and hence symplectic) Fq-subspaces of V0 is given by q2k(t−k−1)[k/2(t−1)/2]q2 when k is even.
**II. ** We will next count all k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−1,1+xk⟩, where xj∈V0∖{0} for 1≤j≤k−1 and xk∈V0.
First let k be even. Here when xk=0, by applying Theorem 5.1.1 of [17], we see that the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−1,1⟩ of Fqt is degenerate. Next let xk=0. In this case, by Theorem 5.1.1 of [17] again, we note that ⟨x1,x2,⋯,xk−1,1+xk⟩ is a k-dimensional non-degenerate Fq-subspace of Fqt if and only if ⟨x1,x2,⋯,xk−1,xk⟩ is a k-dimensional non-degenerate Fq-subspace of V0. Now working similarly as in Proposition 3.3 again, we see that the number of distinct k-dimensional non-degenerate Fq-subspaces of V0 is given by q2k(t−k−1)[k/2(t−1)/2]q2. Further, we observe that given any k-dimensional non-degenerate Fq-subspace of V0, there are precisely qk−1 distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−1,1+xk⟩ with xj’s in V0∖{0}. Therefore when k is even, the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−1,1+xk⟩ with xj’s in V0∖{0}, is given by q2k(t−k−1)(qk−1)[k/2(t−1)/2]q2.
Next let k be odd. Here using Theorem 5.1.1 of [17], we see that when xk=0,⟨x1,x2,⋯,xk−1,1⟩ is a k-dimensional non-degenerate Fq-subspace of Fqt if and only if ⟨x1,x2,⋯,xk−1⟩ is a (k−1)-dimensional non-degenerate Fq-subspace of V0. Now as (V0,(⋅,⋅)0↾V0×V0) is a symplectic space over Fq, working similarly as in Proposition 3.3, we see that the number of (k−1)-dimensional non-degenerate Fq-subspaces of V0 is q2(k−1)(t−k)[(k−1)/2(t−1)/2]q2, which is equal to the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−1,1⟩ with xj∈V0∖{0} for 1≤j≤k−1. Next let xk be non-zero. In this case, applying Theorem 5.1.1 of [17] again, we see that ⟨x1,x2,⋯,xk−1,1+xk⟩ is a k-dimensional non-degenerate Fq-subspace of Fqt if and only if ⟨x1,x2,⋯,xk−1⟩ is a (k−1)-dimensional non-degenerate Fq-subspace of V0. Further, working in a similar way as in Proposition 3.3 again, we see that the number of (k−1)-dimensional non-degenerate Fq-subspaces of V0 is q2(k−1)(t−k)[(k−1)/2(t−1)/2]q2. Further, for a given (k−1)-dimensional non-degenerate Fq-subspace ⟨x1,x2,⋯,xk−1⟩ of V0, we need to count all choices for xk∈V0∖{0} that give rise to distinct k-dimensional non-degenerate Fq-subspaces ⟨x1,x2,⋯,xk−1,1+xk⟩ of Fqt. To do this, using Proposition 2.9 of [6], we write V0=⟨x1,x2,⋯,xk−1⟩⊥⟨x1,x2,⋯,xk−1⟩⊥0, where the Fq-subspace ⟨x1,x2,⋯,xk−1⟩⊥0 of V0 has dimension t−k. Therefore each xk∈V0 can be uniquely written as xk=w+w, where w∈⟨x1,x2,⋯,xk−1⟩ and w∈⟨x1,x2,⋯,xk−1⟩⊥0. It is easy to see that the subspace ⟨x1,x2,⋯,xk−1,1+w+w⟩=⟨x1,x2,⋯,xk−1,1+w⟩, where w∈⟨x1,x2,⋯,xk−1⟩⊥0. We further observe that each xk∈⟨x1,x2,⋯,xk−1⟩⊥δ∖{0} gives rise to a distinct k-dimensional non-degenerate Fq-subspace ⟨x1,x2,⋯,xk−1,1+xk⟩ of Fqt, and thus there are precisely qt−k−1 relevant choices for xk. Therefore when k is odd, the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−1,1+xk⟩ with xj∈V0∖{0} for 1≤j≤k, is given by q2(k−1)(t−k)(qt−k−1)[(k−1)/2(t−1)/2]q2.
On combining all the above cases, when t is odd, for 1≤k≤t−1, we get
[TABLE]
(b) ** Let t be even. Here we have Trq,t(1)=0, which implies that 1∈V0. Since the trace map Trq,t is non-zero, there exists α∈Fqt such that Trq,t(α)=0. Without any loss of generality, we assume that Trq,t(α)=1. Now we define V1=V0∩α−1V0. It is clear that 1∈V1. By Huffman [9, p. 281], we see that V1 is an Fq-subspace of Fqt having dimension t−2 and V0=V1⊕⟨1⟩, which implies that Fqt=V1⊕⟨1⟩⊕⟨α⟩. Further, we observe that (⋅,⋅)0↾V1×V1 is a reflexive, non-degenerate and alternating form, that is, (V1,(⋅,⋅)0↾V1×V1) is a symplectic space over Fq.
In this case, for 1≤k≤t−1, we see that any k-dimensional Fq-subspace of Fqt is III.
either contained in V1, or ** IV. contained in V1⊕⟨1⟩ but not in V1, or ** V.** contained in V1⊕⟨α⟩ but not in V1, or VI. contained in Fqt=V1⊕⟨1⟩⊕⟨α⟩ but not in any of the spaces V1,V1⊕⟨1⟩ and V1⊕⟨α⟩.
**III. ** To begin with, we shall first enumerate all k-dimensional non-degenerate Fq-subspaces of Fqt that are contained in the symplectic space V1. Here we must have 1≤k≤t−2. When k is odd, by [18, p. 69], we see that there does not exist any k-dimensional non-degenerate (and hence symplectic) Fq-subspace of V1. When k is even, working as in Proposition 3.3, it is easy to see that the number of k-dimensional non-degenerate Fq-subspaces of V1 is given by q2k(t−k−2)[k/2(t−2)/2]q2.
**IV. ** Next we proceed to enumerate all k-dimensional non-degenerate Fq-subspaces of Fqt that are contained in V1⊕⟨1⟩ but not in V1. For this, we observe that any such k-dimensional Fq-subspace of Fqt is of the type ⟨x1,x2,⋯,xk−1,1+xk⟩, where xj∈V1∖{0} for 1≤j≤k−1 and xk∈V1. Here by applying Theorem 5.1.1 of [17], it is easy to observe that the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−1,1+xk⟩ of Fqt is degenerate when either xk=0 or xk=0 and k is odd. Further, when k is even and xk=0, the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−1,1+xk⟩ of Fqt is non-degenerate if and only if the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk⟩ of V1 is non-degenerate. Now when k is even, working in a similar manner as in case II of part (a), we see that the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−1,1+xk⟩ with xj∈V1∖{0} for 1≤j≤k, is given by q2k(t−k−2)(qk−1)[k/2(t−2)/2]q2.
**V. ** Next we shall enumerate all k-dimensional non-degenerate Fq-subspaces of Fqt that are contained in V1⊕⟨α⟩ but not in V1. To do so, we observe that any such k-dimensional Fq-subspace of Fqt is of the type ⟨x1,x2,⋯,xk−1,α+xk⟩, where xj∈V1∖{0} for 1≤j≤k−1 and xk∈V1.
First let k be even. Here when xk=0, by applying Theorem 5.1.1 of [17], it is easy to observe that the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−1,α⟩ of Fqt is degenerate. When xk=0, the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−1,α+xk⟩ of Fqt is non-degenerate if and only if the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk⟩ of V1 is non-degenerate. Now working as in case II of part (a), we see that when k is even, the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−1,α+xk⟩ with xj’s in V1∖{0}, is given by q2k(t−k−2)(qk−1)[k/2(t−2)/2]q2.
Next let k be odd. Here using Theorem 5.1.1 of [17], we see that when xk=0, the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−1,α⟩ of Fqt is non-degenerate if and only if the (k−1)-dimensional Fq-subspace ⟨x1,x2,⋯,xk−1⟩ of V1 is non-degenerate. Now as (V1,(⋅,⋅)0↾V1×V1) is a symplectic space, working similarly as in Proposition 3.3, we see that the number of such spaces is given by q2(k−1)(t−k−1)[(k−1)/2(t−2)/2]q2. When xk=0, by applying Theorem 5.1.1 of [17], we see that k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−1,α+xk⟩ of Fqt is non-degenerate if and only if the (k−1)-dimensional Fq-subspace ⟨x1,x2,⋯,xk−1⟩ of V1 is non-degenerate. Now working as in case II of part (a), we see that the number of distinct k-dimensional non-degenerate Fq-subspaces of the type ⟨x1,x2,⋯,xk−1,α+xk⟩ with xj’s in V1∖{0}, is given by q2(k−1)(t−k−1)(qt−k−1−1)[(k−1)/2(t−2)/2]q2.
**VI. ** We next proceed to enumerate all k-dimensional non-degenerate Fq-subspaces of Fqt that are not contained in any of the subspaces V1,V1⊕⟨1⟩ and V1⊕⟨α⟩ of Fqt. Towards this, we first observe that any such k-dimensional Fq-subspace of Fqt is of the following two types:
•
⟨x1,x2,⋯,xk−1,1+λα+xk⟩, where λ∈Fq∖{0},xj∈V1∖{0} for 1≤j≤k−1 and xk∈V1.
•
⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩, where k≥2,xj∈V1∖{0} for 1≤j≤k−2 and xk−1,xk∈V1.
To begin with, we shall first count all k-dimensional non-degenerate Fq-subspaces of the type ⟨x1,x2,⋯,xk−1,1+λα+xk⟩, where λ∈Fq∖{0},xj∈V1∖{0} for 1≤j≤k−1 and xk∈V1.
First let k be even. When xk=0, by applying Theorem 5.1.1 of [17], we see that the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−1,1+λα⟩ of Fqt is degenerate for each λ∈Fq∖{0}. When xk=0, by applying Theorem 5.1.1 of [17] again, we see that for each λ∈Fq∖{0}, the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−1,1+λα+xk⟩ of Fqt is non-degenerate if and only if the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk⟩ of V1 is non-degenerate. Now as (V1,(⋅,⋅)0↾V1×V1) is a symplectic space, working similarly as in Proposition 3.3, we see that the number of k-dimensional non-degenerate Fq-subspaces of V1 is given by q2k(t−k−2)[k/2(t−2)/2]q2. Further, it is easy to observe that each k-dimensional non-degenerate Fq-subspace of V1 gives rise to precisely (qk−1)(q−1) distinct k-dimensional Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−1,1+λα+xk⟩ with λ∈Fq∖{0} and xj∈V1∖{0} for 1≤j≤k. Therefore when k is even, the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−1,1+λα+xk⟩ with xj∈V1∖{0} for 1≤j≤k and λ∈Fq∖{0}, is given by q2k(t−k−2)(qk−1)(q−1)[k/2(t−2)/2]q2.
Next let k be odd. Here we observe, by Theorem 5.1.1 of [17], that when xk=0, the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−1,1+λα⟩ of Fqt is non-degenerate if and only if the (k−1)-dimensional Fq-subspace ⟨x1,x2,⋯,xk−1⟩ of V1 is non-degenerate for each λ∈Fq∖{0}. Now working as in Proposition 3.3, we see that the number of (k−1)-dimensional non-degenerate Fq-subspaces of the symplectic space V1 is given by q2(k−1)(t−k−1)[(k−1)/2(t−2)/2]q2. Further, we observe that each (k−1)-dimensional non-degenerate Fq-subspace of V1 gives rise to precisely (q−1) distinct Fq-subspaces of the type ⟨x1,x2,⋯,xk−1,1+λα⟩ with xj’s in V1∖{0} and λ∈Fq∖{0}. Therefore when xk=0, the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−1,1+λα⟩ with xj in V1∖{0} for 1≤j≤k−1 and λ∈Fq∖{0}, is given by q2(k−1)(t−k−1)(q−1)[(k−1)/2(t−2)/2]q2 when k is odd.
Next let xk be non-zero. Here using Theorem 5.1.1 of [17], we see that for each λ∈Fq∖{0}, the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−1,1+λα+xk⟩ of Fqt is non-degenerate if and only if the (k−1)-dimensional Fq-subspace ⟨x1,x2,⋯,xk−1⟩ of V1 is non-degenerate. Now as (V1,(⋅,⋅)0↾V1×V1) is a symplectic space, working similarly as in Proposition 3.3, we see that the number of (k−1)-dimensional non-degenerate Fq-subspaces of V1 is given by q2(k−1)(t−k−1)[(k−1)/2(t−2)/2]q2. Further, for a given (k−1)-dimensional non-degenerate Fq-subspace ⟨x1,x2,⋯,xk−1⟩ of V1, we need to count all choices for xk∈V1∖{0} that give rise to distinct k-dimensional non-degenerate Fq-subspaces ⟨x1,x2,⋯,xk−1,1+λα+xk⟩ of Fqt for each λ∈Fq∖{0}. To determine the number of choices for such an element xk∈V1, we note that given any (k−1)-dimensional non-degenerate Fq-subspace ⟨x1,x2,⋯,xk−1⟩ of V1, by Proposition 2.9 of [6], we can write V1=⟨x1,x2,⋯,xk−1⟩⊥⟨x1,x2,⋯,xk−1⟩⊥0, where ⟨x1,x2,⋯,xk−1⟩⊥0 is a non-degenerate Fq-subspace of V1 having dimension t−k−1. In view of this, each xk∈V1 can be uniquely written as xk=v+v, where v∈⟨x1,x2,⋯,xk−1⟩ and v∈⟨x1,x2,⋯,xk−1⟩⊥0. It is easy to see that the subspace ⟨x1,x2,⋯,xk−1,1+λα+v+v⟩=⟨x1,x2,⋯,xk−1,1+λα+v⟩, where v∈⟨x1,x2,⋯,xk−1⟩⊥0. We further observe that for every λ∈Fq∖{0}, each non-zero xk∈⟨x1,x2,⋯,xk−1⟩⊥0 gives rise to a distinct k-dimensional non-degenerate Fq-subspace ⟨x1,x2,⋯,xk−1,1+λα+xk⟩ of Fqt, and thus there are precisely qt−k−1−1 relevant choices for xk. Moreover, each choice of λ∈Fq∖{0} gives rise to a distinct k-dimensional non-degenerate Fq-subspace of the type ⟨x1,x2,⋯,xk−1,1+λα+xk⟩. Therefore the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−1,1+λα+xk⟩ with xj∈V1∖{0} for 1≤j≤k and λ∈Fq∖{0}, is given by q2(k−1)(t−k−1)(q−1)(qt−k−1−1)[(k−1)/2(t−2)/2]q2 when k is odd.
Henceforth we assume that k≥2. Now we shall enumerate all k-dimensional non-degenerate Fq-subspaces of Fqt of the form ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩ with k≥2, where xj∈V1∖{0} for 1≤j≤k−2 and xk−1,xk∈V1. Here also, we shall distinguish the cases: A.k is even and B.k is odd.
Case A. First let k be even.
When xk−1=xk=0, by Theorem 5.1.1 of [17], we see that the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2,1,α⟩ of Fqt is non-degenerate if and only if the (k−2)-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2⟩ of V1 is non-degenerate.
Now as (V1,(⋅,⋅)0↾V1×V1) is a symplectic space, working similarly as in Proposition 3.3, we see that the number of such spaces is given by q2(k−2)(t−k)[(k−2)/2(t−2)/2]q2. When xk−1=0 and xk=0, by Theorem 5.1.1 of [17], we see that the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2,1+xk−1,α⟩ of Fqt is non-degenerate if and only if the (k−2)-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2⟩ of V1 is non-degenerate. Now working as in case II of part (a), we see that the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−2,1+xk−1,α⟩ with xj’s in V1∖{0}, is given by q2(k−2)(t−k)(qt−k−1)[(k−2)/2(t−2)/2]q2.
When xk−1=0 and xk=0, by Theorem 5.1.1 of [17], we see that the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2,1,α+xk⟩ of Fqt is non-degenerate if and only if the (k−2)-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2⟩ of V1 is non-degenerate.
Now working as in case II of part (a), we see that the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−2,1,α+xk⟩ with xj’s in V1∖{0}, is given by q2(k−2)(t−k)(qt−k−1)[(k−2)/2(t−2)/2]q2.
Next suppose that both xk−1,xk∈V1 are linearly independent over Fq.
For any even integer k≥2, if G(x1,x2,⋯,xk−2,1+xk−1,α+xk),G(x1,x2,⋯,xk−2) and G(x1,x2,⋯,xk) are Gram matrices of ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩,⟨x1,x2,⋯,xk−2⟩ and ⟨x1,x2,⋯,xk⟩ respectively, then we observe that
[TABLE]
This, by Theorem 5.1.1 of [17], implies that the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩ of Fqt is non-degenerate if and only if either
(i)
the (k−2)-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2⟩ of V1 is non-degenerate and the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk⟩ of V1 is degenerate, or
2. (ii)
the (k−2)-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2⟩ of V1 is degenerate and the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk⟩ of V1 is non-degenerate, or
3. (iii)
both the Fq-subspaces ⟨x1,x2,⋯,xk−2⟩ and ⟨x1,x2,⋯,xk⟩ of V1 are non-degenerate with det G(x1,x2,⋯,xk)=det G(x1,x2,⋯,xk−2).
We also observe that the condition det G(x1,x2,⋯,xk)=det G(x1,x2,⋯,xk−2) trivially holds in the cases (i) and (ii).
(i) We shall first enumerate all k-dimensional Fq-subspaces ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩ of Fqt such that ⟨x1,x2,⋯,xk−2⟩ is a (k−2)-dimensional non-degenerate Fq-subspace of V1 and ⟨x1,x2,⋯,xk⟩ is a k-dimensional degenerate Fq-subspace of V1. For this, as (V1,(⋅,⋅)0↾V1×V1) is a symplectic space, working similarly as in Proposition 3.3, we see that the number of (k−2)-dimensional non-degenerate Fq-subspaces of V1 is q2(k−2)(t−k)[(k−2)/2(t−2)/2]q2. Now for each such (k−2)-dimensional non-degenerate Fq-subspace ⟨x1,x2,⋯,xk−2⟩ of V1, we need to count all choices for linearly independent vectors xk−1,xk∈V1∖{0} such that the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk⟩ of V1 is degenerate and that give rise to distinct k-dimensional non-degenerate Fq-subspaces ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩ of Fqt. For this, by Proposition 2.9 of [6], we write V1=⟨x1,x2,⋯,xk−2⟩⊥⟨x1,x2,⋯,xk−2⟩⊥0, where the dimension of ⟨x1,x2,⋯,xk−2⟩⊥0 is t−k. In view of this, both xk−1,xk∈V1∖{0} can be uniquely written as xk−1=w1+w1 and xk=w2+w2, where w1,w2∈⟨x1,x2,⋯,xk−2⟩ and w1,w2∈⟨x1,x2,⋯,xk−2⟩⊥0. It is easy to observe that ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩=⟨x1,x2,⋯,xk−2,1+w1+w1,α+w2+w2⟩=⟨x1,x2,⋯,xk−2,1+w1,α+w2⟩. We further observe that each pair (xk−1,xk) of linearly independent vectors in ⟨x1,x2,⋯,xk−2⟩⊥0 gives rise to a distinct k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩ of Fqt with xj’s in V1∖{0}. It is easy to see that ⟨x1,x2,⋯,xk⟩=⟨x1,x2,⋯,xk−2⟩⊥⟨xk−1,xk⟩. This implies that det G(x1,x2,⋯,xk)=det G(x1,x2,⋯,xk−2)det G(xk−1,xk).
Therefore by Theorem 5.1.1 of [17], we see that the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk⟩ of V1 is degenerate if and only if Trq,t(xk−1xk)=0 if and only if xk∈⟨x1,x2,⋯,xk−1⟩⊥0. As xk−1∈⟨x1,x2,⋯,xk−2⟩⊥0∖{0}, it has qt−k−1 choices. Further, we note that xk∈⟨x1,x2,⋯,xk−2,xk−1⟩⊥0, whose dimension is t−k−1 by Proposition 2.4 of [6]. Also as xk−1∈⟨x1,x2,⋯,xk−2,xk−1⟩⊥0, we see that xk has qt−k−1−q choices, which implies that the pair (xk−1,xk) has (qt−k−1)(qt−k−1−q) choices. Therefore for an even integer k≥4, the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the form ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩ such that ⟨x1,x2,⋯,xk−2⟩ is a (k−2)-dimensional non-degenerate Fq-subspace of V1 and ⟨x1,x2,⋯,xk⟩ is a k-dimensional degenerate Fq-subspace of V1, is given by q2(k−2)(t−k)(qt−k−1)(qt−k−1−q)[(k−2)/2(t−2)/2]q2.
(ii) Next we will enumerate all k-dimensional non-degenerate Fq-subspaces ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩ of Fqt such that ⟨x1,x2,⋯,xk⟩ is a k-dimensional non-degenerate Fq-subspace of V1 and ⟨x1,x2,⋯,xk−2⟩ is a (k−2)-dimensional degenerate Fq-subspace of V1. For this, as (V1,(⋅,⋅)0↾V1×V1) is a symplectic space, working similarly as in Proposition 3.3, the number of k-dimensional non-degenerate Fq-subspaces of V1 is q2k(t−k−2)[k/2(t−2)/2]q2. Working as in Proposition 3.3 again, we see that every k-dimensional non-degenerate Fq-subspace ⟨x1,x2,⋯,xk⟩ of V1 has precisely qk−2[(k−2)/2k/2]q2 distinct (k−2)-dimensional non-degenerate Fq-subspaces, which implies that the number of (k−2)-dimensional degenerate Fq-subspaces of the k-dimensional non-degenerate Fq-subspace ⟨x1,x2,⋯,xk⟩ of V1 is given by {[k−2k]q−qk−2[(k−2)/2k/2]q2}. Furthermore, we observe that each such (k−2)-dimensional degenerate Fq-subspace ⟨y1,y2,⋯,yk−2⟩ of ⟨x1,x2,⋯,xk⟩ gives rise to precisely
(q2−1)(q2−q) distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the form ⟨y1,y2,⋯,yk−2,1+yk−1,α+yk⟩ satisfying ⟨y1,y2,⋯,yk⟩=⟨x1,x2,⋯,xk⟩. Therefore for an even integer k≥4, the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the form ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩ such that ⟨x1,x2,⋯,xk−2⟩ is a (k−2)-dimensional degenerate Fq-subspace of V1 and ⟨x1,x2,⋯,xk⟩ is a k-dimensional non-degenerate Fq-subspace of V1, is given by (q2−1)(q2−q)q2k(t−k−2)[k/2(t−2)/2]q2{[k−2k]q−qk−2[(k−2)/2k/2]q2}.
(iii) Finally, we will enumerate all k-dimensional non-degenerate Fq-subspaces ⟨x1,x2,⋯,xk−2,1+xk−1,α+\nolinebreakxk⟩ of Fqt such that ⟨x1,x2,⋯,xk⟩ is a k-dimensional non-degenerate Fq-subspace of V1 and ⟨x1,x2,⋯,xk−2⟩ is a (k−2)-dimensional non-degenerate Fq-subspace of V1 with det G(x1,x2,⋯,xk)=det G(x1,x2,⋯,xk−2). To do so, we see that as (V1,(⋅,⋅)0↾V1×V1) is a (t−2)-dimensional symplectic space over Fq, working similarly as in Proposition 3.3, the number of distinct (k−2)-dimensional non-degenerate Fq-subspaces of V1 is q2(k−2)(t−k)[(k−2)/2(t−2)/2]q2. Next for each (k−2)-dimensional non-degenerate Fq-subspace ⟨x1,x2,⋯,xk−2⟩ of V1, we need to determine choices for linearly independent vectors xk−1,xk in V1 such that the Fq-subspace ⟨x1,x2,⋯,xk⟩ of V1 is non-degenerate and det G(x1,x2,⋯,xk)=det G(x1,x2,⋯,xk−2). For this,
by Proposition 2.9 of [6], we write V1=⟨x1,x2,⋯,xk−2⟩⊥⟨x1,x2,⋯,xk−2⟩⊥0, where the dimension of ⟨x1,x2,⋯,xk−2⟩⊥0 is t−k. So we need to choose vectors xk−1 and xk from ⟨x1,x2,⋯,xk−2⟩⊥0, and each pair (xk−1,xk) of linearly independent vectors in ⟨x1,x2,⋯,xk−2⟩⊥0 gives rise to a distinct k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩ of Fqt with xj’s in V1∖{0}. It is easy to see that ⟨x1,x2,⋯,xk⟩=⟨x1,x2,⋯,xk−2⟩⊥⟨xk−1,xk⟩, which gives
[TABLE]
From this, it follows that the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk⟩ of V1 is non-degenerate if and only if det G(xk−1,xk)=Trq,t(xk−1xk)2=0 if and only if xk∈⟨x1,x2,⋯,xk−1⟩⊥0. Besides this, we note that
det G(x1,x2,⋯,xk)=det G(x1,x2,⋯,xk−2) if and only if det G(xk−1,xk)=Trq,t(xk−1xk)2=1 if and only if (xk−1,xk) is not a hyperbolic pair in ⟨x1,x2,⋯,xk−2⟩⊥0.
First of all, we shall count all pairs (xk−1,xk) of linearly independent vectors in ⟨x1,x2,⋯,xk−2⟩⊥0 satisfying xk∈⟨x1,x2,⋯,xk−1⟩⊥0. For this, as xk−1∈⟨x1,x2,⋯,xk−2⟩⊥0∖{0}, it has qt−k−1 choices. Further, we note, by Proposition 2.4 of [6], that the dimension of ⟨x1,x2,⋯,xk−2,xk−1⟩⊥0 is t−k−1. From this, we see that xk has qt−k−qt−k−1 choices. This implies that the number of pairs (xk−1,xk) such that both the Fq-subspaces ⟨x1,x2,⋯,xk−2⟩ and ⟨x1,x2,⋯,xk⟩ of V1 are non-degenerate, is given by (qt−k−1)(qt−k−qt−k−1). On the other hand, by [18, p. 70], we see that the number of hyperbolic pairs in ⟨x1,x2,⋯,xk−2⟩⊥0 is H2t−k,0=qt−k−1(qt−k−1), which implies that the pair (xk−1,xk) has (qt−k−1)(qt−k−qt−k−1)−H2t−k,0=(qt−k−1)(qt−k−qt−k−1)−qt−k−1(qt−k−1) relevant choices. Therefore the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩ such that ⟨x1,x2,⋯,xk−2⟩ is a (k−2)-dimensional non-degenerate Fq-subspace of V1 and ⟨x1,x2,⋯,xk⟩ is a k-dimensional non-degenerate Fq-subspace of V1 with det G(x1,x2,⋯,xk)=det G(x1,x2,⋯,xk−2),\vspace−2mm is given by
[TABLE]
[TABLE]
On combining cases (i)-(iii), we see that the total number of k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩ with x1,x2,⋯,xk∈V1 as linearly independent vectors over Fq, is given by q2k(t−k−2)(qk+1−q)(qk−2−1)[k/2(t−2)/2]q2+q2(k−2)(t−k)(qt−k−1)(qt−k−qt−k−1−q)[(k−2)/2(t−2)/2]q2.
Next let xk−1,xk∈V1∖{0} be linearly dependent over Fq. In this case, the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩ of Fqt is equal to the Fq-subspace ⟨x1,x2,⋯,xk−2,1+xk−1,1+λα⟩ for some λ∈Fq∖{0}. Further, for each λ∈Fq∖{0}, the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2,1+xk−1,1+λα⟩ of Fqt is non-degenerate if and only if the (k−2)-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2⟩ of V1 is non-degenerate.
Now working as in case II of part (a) and noting that each λ∈Fq∖{0} gives rise to a distinct k-dimensional non-degenerate Fq-subspace ⟨x1,x2,⋯,xk−2,1+xk−1,1+λα⟩ of Fqt, the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−2,1+xk−1,1+λα⟩ with xj’s in V1∖{0} and λ∈Fq∖{0}, is given by q2(k−2)(t−k)(qt−k−1)(q−1)[(k−2)/2(t−2)/2]q2.
Case B. Let k be odd. When xk−1=xk=0, by Theorem 5.1.1 of [17], we see that the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2,1,α⟩ of Fqt is degenerate. When xk−1=0 and xk=0, by Theorem 5.1.1 of [17], we see that the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2,1+xk−1,α⟩ of Fqt is non-degenerate if and only if the (k−1)-dimensional Fq-subspace ⟨x1,x2,⋯,xk−1⟩ of V1 is non-degenerate. Now working as in case II of part (a), we see that the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−2,1+xk−1,α⟩ with xj’s in V1∖{0}, is given by q2(k−1)(t−k−1)(qk−1−1)[(k−1)/2(t−2)/2]q2.
When xk−1=0 and xk=0, by Theorem 5.1.1 of [17], we see that the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2,1,α+xk⟩ of Fqt is degenerate.
Let xk−1,xk∈V1 be linearly independent over Fq. Here by Theorem 5.1.1 of [17], we see that the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩ of Fqt is non-degenerate if and only if the (k−1)-dimensional Fq-subspace ⟨x1,x2,⋯,xk−1⟩ of V1 is non-degenerate. Now as (V1,(⋅,⋅)0↾V1×V1) is a symplectic space, working similarly as in Proposition 3.3, we see that the number of (k−1)-dimensional
non-degenerate Fq-subspaces of V1 is given by q2(k−1)(t−k−1)[(k−1)/2(t−2)/2]q2. Further, we see that each (k−1)-dimensional non-degenerate Fq-subspace of V1 gives rise to precisely (qk−1−1) distinct (k−1)-dimensional non-degenerate Fq-subspaces of the type ⟨x1,x2,⋯,xk−2,1+xk−1⟩ with xj∈V1∖{0} for 1≤j≤k−1. Now for a given (k−1)-dimensional non-degenerate Fq-subspace of the type ⟨x1,x2,⋯,xk−2,1+xk−1⟩ with xj∈V1∖{0} for 1≤j≤k−1, we need to count all choices for xk∈V1∖{0} that give rise to distinct k-dimensional non-degenerate Fq-subspaces ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩ of Fqt. For this,
as ⟨x1,x2,⋯,xk−1⟩ is a non-degenerate Fq-subspace of V1, by Proposition 2.9 of [6], we write V1=⟨x1,x2,⋯,xk−1⟩⊥⟨x1,x2,⋯,xk−1⟩⊥0, where ⟨x1,x2,⋯,xk−1⟩⊥0 is a non-degenerate Fq-subspace of V1 having dimension t−k−1. In view of this, each xk∈V1∖{0} can be uniquely written as xk=ℓ=1∑k−1aℓxℓ+ω, where ω∈⟨x1,x2,⋯,xk−1⟩⊥0 and aℓ∈Fq for 1≤ℓ≤k−1. Then it is easy to see that ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩=⟨x1,x2,⋯,xk−2,1+xk−1,α+ℓ=1∑k−1aℓxℓ+ω⟩=⟨x1,x2,⋯,xk−2,1+xk−1,α+ak−1xk−1+ω⟩, where ω∈⟨x1,x2,⋯,xk−1⟩⊥0. This implies that each xk=ak−1xk−1+ω with ω∈⟨x1,x2,⋯,xk−1⟩⊥0∖{0} and ak−1∈Fq gives rise to a distinct k-dimensional non-degenerate Fq-subspace ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩ of Fqt. Further, we observe that xk=ak−1xk−1+ω=0. This is because, if xk=ak−1xk−1+ω=0, then ω=ak−1xk−1∈⟨x1,x2,⋯,xk−1⟩⊥⟨x1,x2,⋯,xk−1⟩⊥0={0}. This is a contradiction, as xk−1,xk are linearly independent vectors in V1. From this, we observe that xk has precisely q(qt−k−1−1)=(qt−k−q) relevant choices. Therefore when k is odd, the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩ with xj’s in V1∖{0}, is given by q2(k−1)(t−k−1)(qk−1−1)(qt−k−q)[(k−1)/2(t−2)/2]q2.
Next let xk−1,xk∈V1∖{0} be linearly dependent over Fq. In this case, the k-dimensional Fq-subspace ⟨x1,x2,⋯,xk−2,1+xk−1,α+xk⟩ of Fqt is equal to the Fq-subspace ⟨x1,x2,⋯,xk−2,1+xk−1,1+λα⟩ for some λ∈Fq∖{0}. Further, by Theorem 5.1.1 of [17], we see that ⟨x1,x2,⋯,xk−2,1+xk−1,1+λα⟩ is a k-dimensional non-degenerate Fq-subspace of Fqt if and only if ⟨x1,x2,⋯,xk−1⟩ is a (k−1)-dimensional non-degenerate Fq-subspace of V1 for each λ∈Fq∖{0}. Now as (V1,(⋅,⋅)0↾V1×V1) is a symplectic space, working similarly as in Proposition 3.3, we see that the number of (k−1)-dimensional non-degenerate Fq-subspaces of V1 is q2(k−1)(t−k−1)[(k−1)/2(t−2)/2]q2. Further, we observe that each (k−1)-dimensional non-degenerate Fq-subspace of V1 gives rise to precisely (qk−1−1)(q−1) distinct k-dimensional non-degenerate Fq-subspaces of the type ⟨x1,x2,⋯,xk−2,1+xk−1,1+λα⟩ with xj∈V1∖{0} for 1≤j≤k−1 and λ∈Fq∖{0}.
Therefore when k is odd, the number of distinct k-dimensional non-degenerate Fq-subspaces of Fqt of the type ⟨x1,x2,⋯,xk−2,1+xk−1,1+λα⟩ with xj’s in V1∖{0} and λ∈Fq∖{0}, is given by (qk−1−1)q2(k−1)(t−k−1)(q−1)[(k−1)/2(t−2)/2]q2.
Now on combining all the above cases, when t is even, for 1≤k≤t−1, we get
[TABLE]
This completes the proof of the proposition.
∎
3.3 Determination of the number Nh when h∈M
In the following proposition, we consider the case h∈M and enumerate all pairs (Ch,Cμ(h)) with Ch as a Kh-subspace of Jh and Cμ(h) as a Kμ(h)-subspace of Jμ(h) satisfying Ch∩Ch(δ)={0} and Cμ(h)∩Cμ(h)(δ)={0} for each δ∈{∗,0,γ}.
Proposition 3.6**.**
Let h∈M be fixed. For δ∈{∗,0,γ}, the number of pairs (Ch,Cμ(h)) with Ch as a Kh-subspace of Jh and Cμ(h) as a Kμ(h)-subspace of Jμ(h) satisfying Ch∩Ch(δ)={0} and Cμ(h)∩Cμ(h)(δ)={0}, is given by
Nh=2+k=1∑t−1qkdh(t−k)[kt]qdh.
To prove the above proposition, let h∈M be fixed from now onwards. Throughout this section, we shall represent elements of Jh⊕Jμ(h) as a(X)+b(X), where a(X)∈Jh and b(X)∈Jμ(h). On similar lines, we shall represent elements of Kh⊕Kμ(h) as u(X)+v(X), where u(X)∈Kh and v(X)∈Kμ(h). We shall view Jh⊕Jμ(h) as a Kh⊕Kμ(h)-module under the following operations:
[TABLE]
for each a(X)+b(X),c(X)+d(X)∈Jh⊕Jμ(h) and u(X)+v(X)∈Kh⊕Kμ(h).
Next for each δ∈{∗,0,γ}, we observe that
[TABLE]
for all a(X)+b(X),c(X)+d(X)∈Jh⊕Jμ(h).
For each h∈M and δ∈{∗,0,γ}, let \big{[}\cdot,\cdot\big{]}_{\delta}\restriction_{\mathcal{J}_{h}\oplus\mathcal{J}_{\mu(h)}\times\mathcal{J}_{h}\oplus\mathcal{J}_{\mu(h)}} denote the restriction of the form \big{[}\cdot,\cdot\big{]}_{\delta} to Jh⊕Jμ(h)×Jh⊕Jμ(h). Then we make the following observation.
Lemma 3.3**.**
For each h∈M, the following hold.
(a)
Jh⊕Jμ(h)* is a free Kh⊕Kμ(h)-module of rank *t.
2. (b)
For each δ∈{∗,0,γ}, the form \big{[}\cdot,\cdot\big{]}_{\delta}\restriction_{\mathcal{J}_{h}\oplus\mathcal{J}_{\mu(h)}\times\mathcal{J}_{h}\oplus\mathcal{J}_{\mu(h)}} is reflexive and non-degenerate.
3. (c)
For each δ∈{∗,0,γ}, the form \big{[}\cdot,\cdot\big{]}_{\delta}\restriction_{\mathcal{J}_{h}\oplus\mathcal{J}_{\mu(h)}\times\mathcal{J}_{h}\oplus\mathcal{J}_{\mu(h)}} is Hermitian when δ∈{∗,0} and is skew-Hermitian when δ=γ.
Proof.
Proof is trivial.
∎
It is easy to see that both Jh and Jμ(h) can be viewed as Kh⊕Kμ(h)-submodules of Jh⊕Jμ(h) with respect to operations defined by (19) and (20).
From this, we observe that if Ch is a Kh-subspace of Jh and Cμ(h) is a Kμ(h)-subspace of Jμ(h), then Ch⊕Cμ(h) is a Kh⊕Kμ(h)-submodule of Jh⊕Jμ(h). Further, if dimKhCh=ℓ and dimKμ(h)Cμ(h)=r, then working as in Theorem 6 of Huffman [9], we see that the size of the smallest generating set of Ch⊕Cμ(h) is max{ℓ,r}.
Further, for each δ∈{∗,0,γ}, the orthogonal complement of Ch⊕Cμ(h), denoted by \bigl{(}\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)}\bigr{)}^{\perp_{\delta}}, is defined as \bigl{(}\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)}\bigr{)}^{\perp_{\delta}}=\{a(X)+b(X)\in\mathcal{J}_{h}\oplus\mathcal{J}_{\mu(h)}:\left[a(X)+b(X),u(X)+v(X)\right]_{\delta}=0\text{ for all }u(X)+v(X)\in\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)}\}. It is easy to see that \bigl{(}\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)}\bigr{)}^{\perp_{\delta}} is also a Kh⊕Kμ(h)-submodule of Jh⊕Jμ(h).
Further, the Kh⊕Kμ(h)-submodule Ch⊕Cμ(h) of Jh⊕Jμ(h) is said to be non-degenerate if the restricted form [⋅,⋅]δ↾Ch⊕Cμ(h)×Ch⊕Cμ(h) is non-degenerate, which is equivalent to saying that \bigl{(}\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)}\bigr{)}\cap\bigl{(}\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)}\bigr{)}^{\perp_{\delta}}=\{0\}. The Kh⊕Kμ(h)-submodule Ch⊕Cμ(h) of Jh⊕Jμ(h) is said to be Hermitian (skew-Hermitian) if the restricted form [⋅,⋅]δ↾Ch⊕Cμ(h)×Ch⊕Cμ(h) is Hermitian (skew-Hermitian). We will say that \bigl{(}\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)},\left[\cdot,\cdot\right]_{\delta}\restriction_{\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)}\times\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)}}\bigr{)} is a Hermitian (skew-Hermitian) Kh⊕Kμ(h)-space if Ch⊕Cμ(h) is a non-degenerate and Hermitian (skew-Hermitian) Kh⊕Kμ(h)-submodule of Jh⊕Jμ(h).
In view of Lemma 3.3, we see that (Jh⊕Jμ(h),[⋅,⋅]δ↾Jh⊕Jμ(h)×Jh⊕Jμ(h)) is a Hermitian Kh⊕Kμ(h)-space when δ∈{∗,0} and is a skew-Hermitian Kh⊕Kμ(h)-space when δ=γ.
In the following lemma, we observe that for each δ∈{∗,0,γ}, if Ch is a Kh-subspace of Jh and Cμ(h) is a Kμ(h)-subspace of Jμ(h) satisfying Ch∩Ch(δ)={0} and Cμ(h)∩Cμ(h)(δ)={0}, then Ch⊕Cμ(h) is a non-degenerate Kh⊕Kμ(h)-submodule of Jh⊕Jμ(h) and vice versa.
Lemma 3.4**.**
Let h∈M be fixed. Let Ch be a Kh-subspace of Jh and Cμ(h) be a Kμ(h)-subspace of Jμ(h). Then for each δ∈{∗,0,γ}, the following hold.
Ch∩Ch(δ)={0}* and Cμ(h)∩Cμ(h)(δ)={0} if and only if (\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)})\cap\bigl{(}\mathcal{C}_{h}^{(\delta)}\oplus\mathcal{C}_{\mu(h)}^{(\delta)}\bigr{)}=\{0\}.*
3. (c)
Ch∩Ch(δ)={0}* and Cμ(h)∩Cμ(h)(δ)={0} if and only if (\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)})\cap\bigl{(}\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)}\bigr{)}^{\perp_{\delta}}=\{0\}.*
Proof.
Proof is trivial.
∎
Next we observe that any Kh⊕Kμ(h)-submodule N of Jh⊕Jμ(h) can be written as N=Nh⊕Nμ(h), where Nh=N∩Jh is a Kh-subspace of Jh and Nμ(h)=N∩Jμ(h) is a Kμ(h)-subspace of Jμ(h). In view of this and Lemma 3.4, we see that for each h∈M and δ∈{∗,0,γ}, the number of pairs \big{(}\mathcal{C}_{h},\mathcal{C}_{\mu(h)}\big{)} with Ch as a Kh-subspace of Jh and Cμ(h) as a Kμ(h)-subspace of Jμ(h) satisfying Ch∩Ch(δ)={0} and Cμ(h)∩Cμ(h)(δ)={0} is equal to the number of non-degenerate Kh⊕Kμ(h)-submodules of Jh⊕Jμ(h) with respect to [⋅,⋅]δ↾Jh⊕Jμ(h)×Jh⊕Jμ(h). Further, we make the following observation.
Remark 3.2**.**
When δ=γ, by Lemma 3.3, we see that [⋅,⋅]γ is a non-degenerate and skew-Hermitian form on Jh⊕Jμ(h). In this case, we will first transform the skew-Hermitian form [⋅,⋅]γ to a Hermitian form [⋅,⋅]γ(H) as follows: Let ϑ(X)∈Kh∖{0}. Then the corresponding element χ(X)=ϑ(X)−τ1,−1(ϑ(X))∈Kh⊕Kμ(h)∖{0} satisfies \tau_{1,-1}\big{(}\chi(X)\big{)}=-\chi(X).
Now we define the form [⋅,⋅]γ(H) on Jh⊕Jμ(h)×Jh⊕Jμ(h) as [α1(X)+α2(X),β1(X)+β2(X)]γ(H)=χ(X)[α1(X)+α2(X),β1(X)+β2(X)]γ for all α1(X)+α2(X),β1(X)+β2(X)∈Jh⊕Jμ(h). It is easy to see that [⋅,⋅]γ(H) is a non-degenerate and Hermitian form on Jh⊕Jμ(h). Further, as ϑ(X) and τ1,−1(ϑ(X)) are non-zero elements of Kh and Kμ(h) respectively, we observe that if two elements in Jh⊕Jμ(h) are orthogonal with respect to [⋅,⋅]γ, then those two elements are also orthogonal with respect to [⋅,⋅]γ(H) and vice versa. This implies that if Ch is a Kh-subspace of Jh and Cμ(h) is a Kμ(h)-subspace of Jμ(h), then the dual code \big{(}\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)}\big{)}^{\perp_{\gamma}} of the Kh⊕Kμ(h)-submodule Ch⊕Cμ(h) of Jh⊕Jμ(h) with respect to [⋅,⋅]γ↾Jh⊕Jμ(h)×Jh⊕Jμ(h) coincides with the dual code \bigl{(}\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)}\bigr{)}^{\perp_{\gamma^{(H)}}}=\{a(X)+b(X)\in\mathcal{J}_{h}\oplus\mathcal{J}_{\mu(h)}:\left[a(X)+b(X),c(X)+d(X)\right]_{\gamma^{(H)}}=0\text{ for all }c(X)+d(X)\in\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)}\} of Ch⊕Cμ(h) with respect to [⋅,⋅]γ(H).
Therefore the number of non-degenerate Kh⊕Kμ(h)-submodules of Jh⊕Jμ(h) with respect to [⋅,⋅]γ↾Jh⊕Jμ(h)×Jh⊕Jμ(h) is equal to the number of non-degenerate Kh⊕Kμ(h)-submodules of Jh⊕Jμ(h) with respect to [⋅,⋅]γ(H). In view of this, we will consider the Hermitian and non-degenerate form [⋅,⋅]γ(H) on Jh⊕Jμ(h)×Jh⊕Jμ(h) in lieu of the skew-Hermitian and non-degenerate form [⋅,⋅]γ↾Jh⊕Jμ(h)×Jh⊕Jμ(h) from now onwards.
In order to enumerate the number Nh for each h∈M, we will first prove that if Ch is a Kh-subspace of Jh and Cμ(h) is a Kμ(h)-subspace of Jμ(h) such that Ch⊕Cμ(h) is a non-degenerate Kh⊕Kμ(h)-submodule of Jh⊕Jμ(h) with respect to [⋅,⋅]δ for δ∈{∗,0,γ(H)}, then dimKhCh=dimKμ(h)Cμ(h). Note that for each δ∈{∗,0,γ(H)}, the form [⋅,⋅]δ is non-degenerate and Hermitian on Jh⊕Jμ(h), i.e., \bigl{(}\mathcal{J}_{h}\oplus\mathcal{J}_{\mu(h)},\left[\cdot,\cdot\right]_{\delta}\restriction_{\mathcal{J}_{h}\oplus\mathcal{J}_{\mu(h)}\times\mathcal{J}_{h}\oplus\mathcal{J}_{\mu(h)}}\bigr{)} is a Hermitian Kh⊕Kμ(h)-space.
Proposition 3.7**.**
Let h∈M and δ∈{∗,0,γ(H)} be fixed. Let Ch⊕Cμ(h) be a Kh⊕Kμ(h)-submodule of Jh⊕Jμ(h), where Ch is a Kh-subspace of Jh and Cμ(h) is a Kμ(h)-subspace of Jμ(h). If Ch⊕Cμ(h) is non-degenerate, then the Kh-dimension of Ch is equal to the Kμ(h)-dimension of Cμ(h).
In order to prove this proposition, we need to define the following:
Let Ah be a Kh-subspace of Jh and Aμ(h) be a Kμ(h)-subspace of Jμ(h). A non-zero element a(X)+b(X)∈Ah⊕Aμ(h) is said to be isotropic if [a(X)+b(X),a(X)+b(X)]δ=0, otherwise
a(X)+b(X) is called an anisotropic element of Ah⊕Aμ(h). Note that all the non-zero elements of Ah and Aμ(h) are trivially isotropic. An isotropic element a(X)+b(X) of Ah⊕Aμ(h) is said to be non-trivial if both a(X),b(X) are non-zero. We say that two non-trivial isotropic elements a(X)+b(X) and c(X)+d(X) of Ah⊕Aμ(h) form a hyperbolic pair if [a(X)+b(X),c(X)+d(X)]δ=eh(X)+eμ(h)(X), where eh(X) and eμ(h)(X) are multiplicative identities of Kh and Kμ(h) respectively. Throughout this section, we will denote the Kh⊕Kμ(h)-submodule of Ah⊕Aμ(h) generated by the elements α1(X)+β1(X),α2(X)+β2(X),⋯,αm(X)+βm(X)∈Ah⊕Aμ(h) by ⟨α1(X)+β1(X),α2(X)+β2(X),⋯,αm(X)+βm(X)⟩. Furthermore, it is easy to see that ⟨α1(X)+β1(X),α2(X)+β2(X),⋯,αm(X)+βm(X)⟩⊥δ=⟨β1(X),β2(X),⋯,βm(X)⟩⊥δ⊕⟨α1(X),α2(X),⋯,αm(X)⟩⊥δ, where ⟨β1(X),β2(X),⋯,βm(X)⟩⊥δ={a(X)∈Ah:[a(X),βj(X)]δ=0 for 1≤j≤m} is a Kh-subspace of Ah and ⟨α1(X),α2(X),⋯,αm(X)⟩⊥δ={c(X)∈Aμ(h):[c(X),αj(X)]δ=0 for 1≤j≤m} is a Kμ(h)-subspace of Aμ(h).
In the following lemma, we will discuss the existence of a non-trivial isotropic element and a hyperbolic pair in a non-degenerate Kh⊕Kμ(h)-submodule of Jh⊕Jμ(h).
Lemma 3.5**.**
Let h∈M and δ∈{∗,0,γ(H)} be fixed. Let Ah⊕Aμ(h) be a non-degenerate Kh⊕Kμ(h)-submodule of Jh⊕Jμ(h), where Ah is a Kh-subspace of Jh having dimension ℓ and Aμ(h) is a Kμ(h)-subspace of Jμ(h) having dimension r. Then we have the following:
(a)
There does not exist any non-trivial isotropic element in Ah⊕Aμ(h) when either ℓ=1 or r=1.
2. (b)
*There exists a non-trivial isotropic element in Ah⊕Aμ(h) when both *ℓ,r≥2.
3. (c)
When both ℓ,r≥2, there exists a hyperbolic pair in Ah⊕Aμ(h).
4. (d)
The Kh⊕Kμ(h)-submodule of Ah⊕Aμ(h) generated by a hyperbolic pair is non-degenerate.
Proof.
(a)
To prove this, without any loss of generality, suppose that r=1. Let α(X)+β(X) be a non-zero element of Ah⊕Aμ(h), where α(X)∈Ah and β(X)∈Aμ(h). Now α(X)+β(X) is an isotropic element if and only if it satisfies [α(X)+β(X),α(X)+β(X)]δ=0, which holds if and only if [α(X),β(X)]δ=0 and [β(X),α(X)]δ=0, which is equivalent to saying that α(X)∈⟨β(X)⟩⊥δ and β(X)∈⟨α(X)⟩⊥δ, where ⟨β(X)⟩⊥δ is a Kh-subspace of Ah and ⟨α(X)⟩⊥δ is a Kμ(h)-subspace of Aμ(h).
We first assert that dimKμ(h)⟨α(X)⟩⊥δ=0 if α(X)=0 and dimKh⟨β(X)⟩⊥δ=ℓ−1 if β(X)=0. To prove this assertion, we define a map Φα(X):Aμ(h)→Kμ(h) as Φα(X)(r(X))=[r(X),α(X)]δ for all r(X)∈Aμ(h). It is easy to see that Φα(X) is a non-zero vector space homomorphism and ⟨α(X)⟩⊥δ is the kernel of the map Φα(X). Now by Sylvester’s law of nullity, we have dimKμ(h)⟨α(X)⟩⊥δ=dimKμ(h)Aμ(h)−1=0, which proves the assertion. Working in a similar manner as above, one can show that if β(X)=0, then dimKh⟨β(X)⟩⊥δ=ℓ−1≥0.
Further, we observe that ⟨α(X)⟩⊥δ=Aμ(h) if α(X)=0 and ⟨β(X)⟩⊥δ=Ah if β(X)=0. From this, it follows that α(X)+β(X) is an isotropic element of Ah⊕Aμ(h) if and only if either α(X)=0 and β(X)∈Aμ(h)∖{0} or α(X)∈Ah∖{0} and β(X)=0. This shows that there does not exist any non-trivial isotropic element in Ah⊕Aμ(h) when r=1.
2. (b)
Suppose that both ℓ,r≥2.
Let u(X)+v(X) be an element of Ah⊕Aμ(h), where u(X)∈Ah∖{0} and
v(X)∈Aμ(h)∖{0}. If u(X)+v(X) is isotropic, then there is nothing to prove.
Otherwise, we have [u(X)+v(X),u(X)+v(X)]δ=0. By (21), we get [u(X)+v(X),u(X)+v(X)]δ=[u(X),v(X)]δ+[v(X),u(X)]δ. Now by Lemma 3.3(v) of Sharma and Kaur [16], Lemma 6(iv)-(v) of Huffman [9] and using Remark 3.2, we see that [v(X),u(X)]δ=τ1,−1([u(X),v(X)]δ). This gives \left[u(X)+v(X),u(X)+v(X)\right]_{\delta}=\left[u(X),v(X)\right]_{\delta}+\tau_{1,-1}(\left[u(X),v(X)\right]_{\delta})=d(X)+\tau_{1,-1}\big{(}d(X)\big{)}, where d(X)∈Kh∖{0}.
Now consider the Kh⊕Kμ(h)-submodule ⟨u(X)+v(X)⟩⊥δ of
Ah⊕Aμ(h). It is easy to observe that ⟨u(X)+v(X)⟩⊥δ=⟨v(X)⟩⊥δ⊕⟨u(X)⟩⊥δ. Now working as in part (a), we see that dimKh⟨v(X)⟩⊥δ=ℓ−1≥1 and dimKμ(h)⟨u(X)⟩⊥δ=r−1≥1. Using this, we see that there exist non-zero elements α(X)∈⟨v(X)⟩⊥δ and β(X)∈⟨u(X)⟩⊥δ, which implies that α(X)+β(X)∈⟨u(X)+v(X)⟩⊥δ.
Now if the element α(X)+β(X) is isotropic, then we are through. Otherwise, using (21), we get [α(X)+β(X),α(X)+β(X)]δ=[α(X),β(X)]δ+[β(X),α(X)]δ. Now by Sharma and Kaur [16, Lemma 3.3(v)], Huffman [9, Lemma 6(iv)] and using Remark 3.2, we see that [β(X),α(X)]δ=τ1,−1([α(X),β(X)]δ). This implies that \left[\alpha(X)+\beta(X),\alpha(X)+\beta(X)\right]_{\delta}=\left[\alpha(X),\beta(X)\right]_{\delta}+\tau_{1,-1}(\left[\alpha(X),\beta(X)\right]_{\delta})=\eta(X)+\tau_{1,-1}\big{(}\eta(X)\big{)}, where η(X)∈Kh∖{0}.
Now it is easy to see that u(X)+v(X)+\bigl{\{}-d(X)+\tau_{1,-1}\bigl{(}\eta(X)^{-1}\bigr{)}\bigr{\}}\bigl{(}\alpha(X)+\beta(X)\bigr{)} is a non-trivial isotropic element of Ah⊕Aμ(h).
3. (c)
As both ℓ,r≥2, by part (b), we see that Ah⊕Aμ(h) has a non-trivial isotropic element, say a(X)+b(X). Further, we have ⟨a(X)+b(X)⟩⊥δ=⟨b(X)⟩⊥δ⊕⟨a(X)⟩⊥δ. Working as in part (a), we see that
dimKh⟨b(X)⟩⊥δ=ℓ−1≥1 and dimKμ(h)⟨a(X)⟩⊥δ=r−1≥1. Now we choose a non-zero element c(X)∈Ah∖⟨b(X)⟩⊥δ and d(X)∈Aμ(h)∖⟨a(X)⟩⊥δ. Then [a(X)+b(X),c(X)+d(X)]δ=ℓ1(X)+ℓ2(X), where ℓ1(X)∈Kh∖{0} and ℓ2(X)∈Kμ(h)∖{0}. This gives \left[a(X)+b(X),\tau_{1,-1}\big{(}\ell_{2}(X)^{-1}\big{)}c(X)\right.\\
\left.+\tau_{1,-1}\big{(}\ell_{1}(X)^{-1}\big{)}d(X)\right]_{\delta}=e_{h}(X)+e_{\mu(h)}(X). Therefore, without any loss of generality, we assume that c(X)+d(X)∈Ah⊕Aμ(h) is such that [a(X)+b(X),c(X)+d(X)]δ=eh(X)+eμ(h)(X).
If c(X)+d(X) is an isotropic element, then we are done. Otherwise, using (21), we have [c(X)+d(X),c(X)+d(X)]δ=[c(X),d(X)]δ+[d(X),c(X)]δ. Now by Sharma and Kaur [16, Lemma 3.3(v)], Huffman [9, Lemma 6(iv)] and using Remark 3.2, we see that [d(X),c(X)]δ=τ1,−1([c(X),d(X)]δ). This implies that \left[c(X)+d(X),c(X)+d(X)\right]_{\delta}=\left[c(X),d(X)\right]_{\delta}+\tau_{1,-1}(\left[c(X),d(X)\right]_{\delta})=w(X)+\tau_{1,-1}\big{(}w(X)\big{)}, where w(X)∈Kh∖{0}.
Now it is easy to see that c(X)+d(X)-w(X)\bigl{(}a(X)+b(X)\bigr{)}=c(X)+d(X)-w(X)a(X) is a non-trivial isotropic element in Ah⊕Aμ(h). On the other hand, we observe that [a(X)+b(X),c(X)+d(X)−w(X)a(X)]δ=[a(X),d(X)]δ+[b(X),c(X)−w(X)a(X)]δ=eh(X)+eμ(h)(X), which implies that a(X)+b(X) and c(X)+d(X)−w(X)a(X) form a hyperbolic pair in Ah⊕Aμ(h).
4. (d)
Proof is trivial.
∎
The following lemma is quite useful in writing an orthogonal direct sum decomposition of a non-degenerate Kh⊕Kμ(h)-submodule of Jh⊕Jμ(h).
Lemma 3.6**.**
Let h∈M and δ∈{∗,0,γ(H)} be fixed. Let Ah⊕Aμ(h) be a non-degenerate Kh⊕Kμ(h)-submodule of Jh⊕Jμ(h) and Wh⊕Wμ(h) be a non-degenerate Kh⊕Kμ(h)-submodule of Ah⊕Aμ(h), where Aj is a Kj-subspace of Jj and Wj is a Kj-subspace of Aj for each j∈{h,μ(h)}. Then (Wh⊕Wμ(h))⊥δ={a(X)+b(X)∈Ah⊕Aμ(h):[a(X)+b(X),c(X)+d(X)]δ=0 for all c(X)+d(X)∈Wh⊕Wμ(h)} is a non-degenerate Kh⊕Kμ(h)-submodule of Ah⊕Aμ(h) and
[TABLE]
Proof.
It follows from Lemma 1.1 of Knebusch et al. [13].
∎
In the following lemma, we write an orthogonal direct sum decomposition of a non-degenerate Kh⊕Kμ(h)-submodule
of Jh⊕Jμ(h).
Lemma 3.7**.**
Let h∈M and δ∈{∗,0,γ(H)} be fixed. Let Ah⊕Aμ(h) be a non-degenerate Kh⊕Kμ(h)-submodule
of Jh⊕Jμ(h), where Ah is a Kh-subspace of Jh and
Aμ(h) is a Kμ(h)-subspace of Jμ(h) with dimKhAh=ℓ>0 and
dimKμ(h)Aμ(h)=r>0. Then the following hold:
(a)
When r is even and ℓ≥r, we have Ah⊕Aμ(h)=⟨m1(X)+n1(X),p1(X)+q1(X)⟩⊥⟨m2(X)+n2(X),p2(X)+q2(X)⟩⊥⋯⊥⟨m2r(X)+n2r(X),p2r(X)+q2r(X)⟩⊥⟨θ1(X)⟩⊥⟨θ2(X)⟩⊥⋯⊥⟨θℓ−r(X)⟩, where \big{(}m_{j}(X)+n_{j}(X),p_{j}(X)+q_{j}(X)\big{)} is a hyperbolic pair in
Ah⊕Aμ(h) for 1≤j≤2r and {θ1(X),θ2(X),⋯,θℓ−r(X)} is a basis of the (ℓ−r)-dimensional
Kh-subspace ⟨n1(X),q1(X),⋯,n2r(X),q2r(X)⟩⊥δ of Ah.
2. (b)
When r is odd and ℓ≥r, we have Ah⊕Aμ(h)=⟨m1(X)+n1(X),p1(X)+q1(X)⟩⊥⟨m2(X)+n2(X),p2(X)+q2(X)⟩⊥⋯⊥⟨m2r−1(X)+n2r−1(X),p2r−1(X)+q2r−1(X)⟩⊥⟨α(X)+β(X)⟩⊥⟨θ1(X)⟩⊥⟨θ2(X)⟩⊥⋯⊥⟨θℓ−r(X)⟩,
where \big{(}m_{j}(X)+n_{j}(X),p_{j}(X)+q_{j}(X)\big{)} is a hyperbolic pair in Ah⊕Aμ(h)
for 1≤j≤2r−1,α(X)+β(X) is an anisotropic element of Ah⊕Aμ(h) and
{θ1(X),θ2(X),⋯,θℓ−r(X)} is a basis of the (ℓ−r)-dimensional Kh-subspace
⟨n1(X),q1(X),⋯,n2r−1(X),q2r−1(X),β(X)⟩⊥δ of Ah.
3. (c)
When ℓ is even and r≥ℓ, we have Ah⊕Aμ(h)=⟨m1(X)+n1(X),p1(X)+q1(X)⟩⊥⟨m2(X)+n2(X),p2(X)+q2(X)⟩⊥⋯⊥⟨m2ℓ(X)+n2ℓ(X),p2ℓ(X)+q2ℓ(X)⟩⊥⟨η1(X)⟩⊥⟨η2(X)⟩⊥⋯⊥⟨ηr−ℓ(X)⟩, where \big{(}m_{j}(X)+n_{j}(X),p_{j}(X)+q_{j}(X)\big{)} is a hyperbolic pair in
Ah⊕Aμ(h) for 1≤j≤2ℓ and {η1(X),η2(X),⋯,ηr−ℓ(X)} is a basis of the (r−ℓ)-dimensional
Kμ(h)-subspace ⟨m1(X),p1(X),⋯,m2ℓ(X),p2ℓ(X)⟩⊥δ of Aμ(h).
4. (d)
When ℓ is odd and r≥ℓ, we have Ah⊕Aμ(h)=⟨m1(X)+n1(X),p1(X)+q1(X)⟩⊥⟨m2(X)+n2(X),p2(X)+q2(X)⟩⊥⋯⊥⟨m2ℓ−1(X)+n2ℓ−1(X),p2ℓ−1(X)+q2ℓ−1(X)⟩⊥⟨α(X)+β(X)⟩⊥⟨η1(X)⟩⊥⟨η2(X)⟩⊥⋯⊥⟨ηr−ℓ(X)⟩, where \big{(}m_{j}(X)+n_{j}(X),p_{j}(X)+q_{j}(X)\big{)} is a
hyperbolic pair in Ah⊕Aμ(h) for 1≤j≤2ℓ−1,α(X)+β(X) is an anisotropic element of Ah⊕Aμ(h) and
{η1(X),η2(X),⋯,ηr−ℓ(X)} is a basis of the (r−ℓ)-dimensional Kμ(h)-subspace ⟨m1(X),p1(X),⋯,m2ℓ−1(X),p2ℓ−1(X),α(X)⟩⊥δ of Aμ(h).
Proof.
(a)
Suppose that r is even and ℓ≥r. Let us write r=2r1, where r1≥1 is an integer. In order to prove (a), we will apply induction on r1.
First let r1=1. In this case, by Lemma 3.5(c) and (d), we see that Ah⊕Aμ(h) has a hyperbolic pair, say (m1(X)+n1(X),p1(X)+q1(X)), and the Kh⊕Kμ(h)-submodule ⟨m1(X)+n1(X),p1(X)+q1(X)⟩ of Ah⊕Aμ(h) is non-degenerate. Now by Lemma 3.6, we have Ah⊕Aμ(h)=⟨m1(X)+n1(X),p1(X)+q1(X)⟩⊥⟨m1(X)+n1(X),p1(X)+q1(X)⟩⊥δ, where ⟨m1(X)+n1(X),p1(X)+q1(X)⟩⊥δ is a non-degenerate Kh⊕Kμ(h)-submodule of Ah⊕Aμ(h).
Further, it is easy to see that ⟨m1(X)+n1(X),p1(X)+q1(X)⟩⊥δ=⟨n1(X),q1(X)⟩⊥δ⊕⟨m1(X),p1(X)⟩⊥δ. We next observe that dimKh⟨n1(X),q1(X)⟩⊥δ=ℓ−2 and dimKμ(h)⟨m1(X),p1(X)⟩⊥δ=0. This implies that ⟨m1(X)+n1(X),p1(X)+q1(X)⟩⊥δ=⟨n1(X),q1(X)⟩⊥δ. Now let {θ1(X),θ2(X),⋯,θℓ−2(X)} be a basis of the Kh-subspace ⟨n1(X),q1(X)⟩⊥δ of Ah. It is clear that [θj1(X),θj2(X)]δ=0 for all 1≤j1,j2≤ℓ−2. From this, we obtain Ah⊕Aμ(h)=⟨m1(X)+n1(X),p1(X)+q1(X)⟩⊥⟨θ1(X)⟩⊥⟨θ2(X)⟩⊥⋯⊥⟨θℓ−2(X)⟩. Thus the result holds for r1=1.
Next let r1>1 and suppose that the result holds for every non-degenerate Kh⊕Kμ(h)-submodule of the type Wh⊕Wμ(h), where Wh is a Kh-subspace of Jh and Wμ(h) is a Kμ(h)-subspace of Jμ(h) with dimKμ(h)Wμ(h)=2(r1−1) and dimKhWh≥2(r1−1).
We will now prove the result for a non-degenerate Kh⊕Kμ(h)-submodule Ah⊕Aμ(h), where Ah is a Kh-subspace of Jh and Aμ(h) is a Kμ(h)-subspace of Jμ(h) with dimKμ(h)Aμ(h)=2r1 and dimKhAh=ℓ≥2r1. By Lemma 3.5(c) and (d), we see that Ah⊕Aμ(h) has a hyperbolic pair, say (m(X)+n(X),p(X)+q(X)) and the Kh⊕Kμ(h)-submodule ⟨m(X)+n(X),p(X)+q(X)⟩ of Ah⊕Aμ(h) is non-degenerate. Now by Lemma 3.6, we have Ah⊕Aμ(h)=⟨m(X)+n(X),p(X)+q(X)⟩⊥⟨m(X)+n(X),p(X)+q(X)⟩⊥δ, where ⟨m(X)+n(X),p(X)+q(X)⟩⊥δ is a non-degenerate Kh⊕Kμ(h)-submodule of Ah⊕Aμ(h). Further, we see that ⟨m(X)+n(X),p(X)+q(X)⟩⊥δ=⟨n(X),q(X)⟩⊥δ⊕⟨m(X),p(X)⟩⊥δ. It is easy to observe that dimKh⟨n(X),q(X)⟩⊥δ=ℓ−2 and dimKμ(h)⟨m(X),p(X)⟩⊥δ=2r1−2. Now by applying induction hypothesis, we have ⟨m(X)+n(X),p(X)+q(X)⟩⊥δ=⟨m1(X)+n1(X),p1(X)+q1(X)⟩⊥⟨m2(X)+n2(X),p2(X)+q2(X)⟩⊥⋯⊥⟨mr1−1(X)+nr1−1(X),pr1−1(X)+qr1−1(X)⟩⊥⟨θ1(X)⟩⊥⟨θ2(X)⟩⊥⋯⊥⟨θℓ−2r1(X)⟩, where \big{(}\widetilde{m}_{j}(X)+\widetilde{n}_{j}(X),\widetilde{p}_{j}(X)+\widetilde{q}_{j}(X)\big{)} is a hyperbolic pair in ⟨m(X)+n(X),p(X)+q(X)⟩⊥δ for 1≤j≤r1−1 and {θ1(X),θ2(X),⋯,θℓ−2r1(X)} is a basis of the Kh-subspace ⟨n1(X),q1(X),⋯,nr1−1(X),qr1−1(X)⟩⊥δ of ⟨n(X),q(X)⟩⊥δ. From this, we obtain Ah⊕Aμ(h)=⟨m(X)+n(X),p(X)+q(X)⟩⊥⟨m1(X)+n1(X),p1(X)+q1(X)⟩⊥⟨m2(X)+n2(X),p2(X)+q2(X)⟩⊥⋯⊥⟨mr1−1(X)+nr1−1(X),pr1−1(X)+qr1−1(X)⟩⊥⟨θ1(X)⟩⊥⟨θ2(X)⟩⊥⋯⊥⟨θℓ−2r1(X)⟩, where (\widetilde{m}(X)+\widetilde{n}(X),\widetilde{p}(X)+\widetilde{q}(X)),\big{(}\widetilde{m}_{j}(X)+\widetilde{n}_{j}(X),\widetilde{p}_{j}(X)+\widetilde{q}_{j}(X)\big{)} are hyperbolic pairs in Ah⊕Aμ(h) for 1≤j≤r1−1 and {θ1(X),θ2(X),⋯,θℓ−2r1(X)} is a basis of the Kh-subspace ⟨n(X),q(X),n1(X),q1(X),⋯,nr1−1(X),qr1−1(X)⟩⊥δ of Ah. This proves (a).
2. (b)
Suppose that r is odd and ℓ≥r. Let us write r=2r1+1, where r1≥0 is an integer. Here we will apply induction on r1≥0.
We first suppose that r1=0 so that dimKμ(h)Aμ(h)=1.
Here we assert that there exists an anisotropic element in Ah⊕Aμ(h). To prove this, we choose β(X)∈Aμ(h)∖{0}. It is easy to see that dimKh⟨β(X)⟩⊥δ=ℓ−1. From this, we see that there exists α(X)∈Ah∖⟨β(X)⟩⊥δ so that [α(X),β(X)]δ=a(X)∈Kh∖{0}. This gives [α(X)+β(X),α(X)+β(X)]δ=a(X)+τ1,−1(a(X)), i.e., α(X)+β(X) is an anisotropic element of Ah⊕Aμ(h).
Further, it is easy to observe that ⟨α(X)+β(X)⟩ is a non-degenerate Kh⊕Kμ(h)-submodule of Ah⊕Aμ(h). By Lemma 3.6, we get Ah⊕Aμ(h)=⟨α(X)+β(X)⟩⊥⟨α(X)+β(X)⟩⊥δ, where ⟨α(X)+β(X)⟩⊥δ is a non-degenerate Kh⊕Kμ(h)-submodule of Ah⊕Aμ(h). Next we observe that ⟨α(X)+β(X)⟩⊥δ=⟨β(X)⟩⊥δ⊕⟨α(X)⟩⊥δ. Working as in Lemma 3.5(a), we see that dimKh⟨β(X)⟩⊥δ=ℓ−1 and dimKμ(h)⟨α(X)⟩⊥δ=0. This implies that ⟨α(X)+β(X)⟩⊥δ=⟨β(X)⟩⊥δ is a Kh-subspace of Ah and suppose that {θ1(X),θ2(X),⋯,θℓ−1(X)} is its basis. As [θj1(X),θj2(X)]δ=0 for all 1≤j1,j2≤ℓ−1, we have ⟨β(X)⟩⊥δ=⟨θ1(X)⟩⊥⟨θ2(X)⟩⊥⋯⊥⟨θℓ−1(X)⟩. From this, we obtain Ah⊕Aμ(h)=⟨α(X)+β(X)⟩⊥⟨θ1(X)⟩⊥⟨θ2(X)⟩⊥⋯⊥⟨θℓ−1(X)⟩. Thus the result holds when r1=0.
When r1≥1, working in a similar way as in part (a) and using Lemmas 3.5 and 3.6, part (b) follows.
3. (c)
Working in a similar manner as in part (a), part (c) follows.
4. (d)
Working in a similar manner as in part (b), part (d) follows.
∎
Proof of Proposition 3.7. It follows immediately from Lemma 3.7 and using the fact that (\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)})\cap\big{(}\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)}\big{)}^{\perp_{\delta}}=\{0\}.\hfill□
Remark 3.3**.**
Let Ah⊕Aμ(h) be a non-degenerate Kh⊕Kμ(h)-submodule of Jh⊕Jμ(h), where Ah is a Kh-subspace of Jh and
Aμ(h) is a Kμ(h)-subspace of Jμ(h).
Then in view of Proposition 3.7, we must have dimKhAh=dimKμ(h)Aμ(h)=r. Further, it is easy to see that Ah⊕Aμ(h) is a free
Kh⊕Kμ(h)-submodule of Jh⊕Jμ(h) having rank r.
When r is even, by Lemma 3.7(a), we see that Ah⊕Aμ(h) has an orthogonal direct sum decomposition of the type ⟨m1(X)+n1(X),p1(X)+q1(X)⟩⊥⋯⊥⟨m2r(X)+n2r(X),p2r(X)+q2r(X)⟩, where (mj(X)+nj(X),pj(X)+qj(X)) is a hyperbolic pair in Ah⊕Aμ(h) for 1≤j≤2r.
When r is odd, by Lemma 3.7(b), we see that Ah⊕Aμ(h) has an orthogonal direct sum decomposition of the type ⟨m1(X)+n1(X),p1(X)+q1(X)⟩⊥⋯⊥⟨m2r−1(X)+n2r−1(X),p2r−1(X)+q2r−1(X)⟩⊥⟨α(X)+β(X)⟩, where (mj(X)+nj(X),pj(X)+qj(X)) is a hyperbolic pair in Ah⊕Aμ(h) for 1≤j≤2r−1 and α(X)+β(X) is an anisotropic element of Ah⊕Aμ(h). It is easy to see that Ah∪Aμ(h)∖{0} is the set consisting of all the trivial isotropic elements in Ah⊕Aμ(h). From this, it follows that the number of trivial isotropic elements in Ah⊕Aμ(h)
is given by 2(qrdh−1). When r=1, by Lemma 3.5(a), we see that there does not exist any non-trivial isotropic element in Ah⊕Aμ(h).
In the following proposition, we determine the number of non-trivial isotropic elements in Ah⊕Aμ(h) when dimKhAh=dimKμ(h)Aμ(h)=r≥2.
Proposition 3.8**.**
Let Ah⊕Aμ(h) be a non-degenerate Kh⊕Kμ(h)-submodule
of Jh⊕Jμ(h), where Ah is a Kh-subspace of Jh and Aμ(h) is a Kμ(h)-subspace of Jμ(h) with dimKhAh=dimKμ(h)Aμ(h)=r≥2. Then the number of non-trivial isotropic elements in Ah⊕Aμ(h) is given by ir=(q(r−1)dh−1)(qrdh−1).
In order to prove this proposition, we need to prove the following lemma:
Lemma 3.8**.**
Let Ah⊕Aμ(h) be a non-degenerate Kh⊕Kμ(h)-submodule of
Jh⊕Jμ(h), where Ah is a Kh-subspace of Jh and Aμ(h) is a Kμ(h)-subspace of Jμ(h) with dimKhAh=dimKμ(h)Aμ(h)=2. Then the number of non-trivial isotropic elements in Ah⊕Aμ(h) is given by (q2dh−1)(qdh−1).
Proof.
Since dimKhAh=dimKμ(h)Aμ(h)=2,
by Lemma 3.7(a), we have Ah⊕Aμ(h)=⟨α1(X)+α2(X),β1(X)+β2(X)⟩,
where (α1(X)+α2(X),β1(X)+β2(X)) is a hyperbolic pair in Ah⊕Aμ(h).
From this, we get [α1(X),β2(X)]δ=eh(X),[α2(X),β1(X)]δ=eμ(h)(X),[α1(X),α2(X)]δ=0 and [β1(X),β2(X)]δ=0.
Now any element h1(X)+h2(X) in Ah⊕Aμ(h) with h1(X)∈Ah∖{0} and
h2(X)∈Aμ(h)∖{0} can be written as h_{1}(X)+h_{2}(X)=\bigl{(}k_{1}(X)+k_{2}(X)\bigr{)}\bigl{(}\alpha_{1}(X)+\alpha_{2}(X)\bigr{)}+\bigl{(}\ell_{1}(X)+\ell_{2}(X)\bigr{)}\bigl{(}\beta_{1}(X)+\beta_{2}(X)\bigr{)}, where k1(X)+k2(X),ℓ1(X)+ℓ2(X)∈Kh⊕Kμ(h). From this, we obtain h1(X)=k1(X)α1(X)+ℓ1(X)β1(X) and h2(X)=k2(X)α2(X)+ℓ2(X)β2(X).
Next we observe that h1(X)=k1(X)α1(X)+ℓ1(X)β1(X)=0 if and only if (k1(X),ℓ1(X))=(0,0) and
h2(X)=k2(X)α2(X)+ℓ2(X)β2(X)=0 if and only if (k2(X),ℓ2(X))=(0,0).
Now in order to count all the non-trivial isotropic elements in Ah⊕Aμ(h), we will consider the following three cases separately:
**I. ** k1(X)+k2(X)=0 **II. ** ℓ1(X)+ℓ2(X)=0 and **III. ** both k1(X)+k2(X) and ℓ1(X)+ℓ2(X) are non-zero.
Case I. Let k1(X)+k2(X)=0, that is, k1(X)=0 and k2(X)=0. Then we have ℓ1(X)=0 and ℓ2(X)=0.
This gives h1(X)+h2(X)=(ℓ1(X)+ℓ2(X))(β1(X)+β2(X)), which is clearly a non-trivial isotropic element for all ℓ1(X)∈Kh∖{0} and ℓ2(X)∈Kμ(h)∖{0}. So in this case, there are precisely (qdh−1)2 such non-trivial
isotropic elements in Ah⊕Aμ(h).
Case II. Let ℓ1(X)+ℓ2(X)=0. Then we have k1(X)=0 and k2(X)=0, so that h_{1}(X)+h_{2}(X)=\bigl{(}k_{1}(X)+k_{2}(X)\bigr{)}\bigl{(}\alpha_{1}(X)+\alpha_{2}(X)\bigr{)}, which is clearly a non-trivial isotropic element for all k1(X)∈Kh∖{0}
and k2(X)∈Kμ(h)∖{0}. In this case also, there are precisely (qdh−1)2 such non-trivial isotropic elements in
Ah⊕Aμ(h).
Case III. Let k1(X)+k2(X)=0 and ℓ1(X)+ℓ2(X)=0. Then we see that h1(X)+h2(X) is an isotropic element if and
only if [\bigl{(}k_{1}(X)+k_{2}(X)\bigr{)}\bigl{(}\alpha_{1}(X)+\alpha_{2}(X)\bigr{)}+\bigl{(}\ell_{1}(X)+\ell_{2}(X)\bigr{)}\bigl{(}\beta_{1}(X)+\beta_{2}(X)\bigr{)},\bigl{(}k_{1}(X)+k_{2}(X)\bigr{)}\bigl{(}\alpha_{1}(X)+\alpha_{2}(X)\bigr{)}+\bigl{(}\ell_{1}(X)+\ell_{2}(X)\bigr{)}\bigl{(}\beta_{1}(X)+\beta_{2}(X)\bigr{)}]_{\delta}=0
if and only if \bigl{(}k_{1}(X)+k_{2}(X)\bigr{)}\tau_{1,-1}\bigl{(}\ell_{1}(X)+\ell_{2}(X)\bigr{)}+\bigl{(}\ell_{1}(X)+\ell_{2}(X)\bigr{)}\tau_{1,-1}\bigl{(}k_{1}(X)+k_{2}(X)\bigr{)}=0
if and only if
[TABLE]
Now if k1(X)=0 and k2(X)=0, then ℓ1(X)=0 and ℓ2(X)∈Kμ(h). In this case, the condition (22) is not satisfied, which implies
that h1(X)+h2(X) is an anisotropic element of Ah⊕Aμ(h). Next if k2(X)=0 and k1(X)=0, then ℓ2(X)=0 and ℓ1(X)∈Kh. Here also, the condition (22) is not satisfied, which implies
that h1(X)+h2(X) is an anisotropic element of Ah⊕Aμ(h). Working in a similar way, we see that the element h1(X)+h2(X) is anisotropic when either ℓ1(X) or ℓ2(X) (but not both) is zero. Finally, we assume that k1(X),k2(X),ℓ1(X),ℓ2(X) all are non-zero. Then by equation (22), we obtain k1(X)=−ℓ1(X)τ1,−1(k2(X)ℓ2(X)−1), which implies that the number of such non-trivial isotropic elements in Ah⊕Aμ(h)
is given by (qdh−1)3.
On combining all the above cases, we see that the total number
of non-trivial isotropic elements in Ah⊕Aμ(h) is given by 2(qdh−1)2+(qdh−1)3=(qdh−1)(q2dh−1).
∎
Proof of Proposition 3.8. In order to prove this proposition, we will apply induction on r=dimKhAh=dimKμ(h)Aμ(h)≥2. When r=2, by Lemma 3.8, the result holds. Now we assume that r>2 and suppose that the result holds for all Kh⊕Kμ(h)-submodules
Wh⊕Wμ(h) of Jh⊕Jμ(h), where Wh is a Kh-subspace of Jh and Wμ(h) is a Kμ(h)-subspace of Jμ(h) with 2≤dimKhWh=dimKμ(h)Wμ(h)≤r−1.
Now let Ah⊕Aμ(h) be a non-degenerate Kh⊕Kμ(h)-submodule of Jh⊕Jμ(h), where Ah is a Kh-subspace of Jh and Aμ(h) is a Kμ(h)-subspace of Jμ(h) with dimKhAh=dimKμ(h)Aμ(h)=r.
First of all, we assert that there exists an anisotropic element in Ah⊕Aμ(h). For this, we choose w2(X)∈Aμ(h)∖{0}. Working as in Lemma 3.5(a), we see that dimKh⟨w2(X)⟩⊥δ=r−1. Thus there exists w1(X)∈Ah∖⟨w2(X)⟩⊥δ so that [w1(X),w2(X)]δ=a(X)∈Kh∖{0}. This gives [w1(X)+w2(X),w1(X)+w2(X)]δ=a(X)+τ1,−1(a(X)), i.e., w1(X)+w2(X) is an anisotropic element of Ah⊕Aμ(h). Now as ⟨w1(X)+w2(X)⟩ is a non-degenerate Kh⊕Kμ(h)-submodule of
Ah⊕Aμ(h), by Lemma 3.6, we have Ah⊕Aμ(h)=⟨w1(X)+w2(X)⟩⊥⟨w1(X)+w2(X)⟩⊥δ. We observe that ⟨w1(X)+w2(X)⟩⊥δ=⟨w2(X)⟩⊥δ⊕⟨w1(X)⟩⊥δ. Working as in Lemma 3.5(a), we get dimKh⟨w2(X)⟩⊥δ=dimKμ(h)⟨w1(X)⟩⊥δ=r−1. This implies that ⟨w1(X)+w2(X)⟩⊥δ is a non-degenerate
Kh⊕Kμ(h)-submodule of Ah⊕Aμ(h) having rank r−1.
Now any element h1(X)+h2(X)∈Ah⊕Aμ(h) with h1(X)∈Ah∖{0} and h2(X)∈Aμ(h)∖{0} can be uniquely written as
h_{1}(X)+h_{2}(X)=\bigl{(}\lambda_{1}(X)+\lambda_{2}(X)\bigr{)}\bigl{(}w_{1}(X)+w_{2}(X)\bigr{)}+\bigl{(}v_{1}(X)+v_{2}(X)\bigr{)}, where λ1(X)+λ2(X)∈Kh⊕Kμ(h) and v1(X)+v2(X)∈⟨w1(X)+w2(X)⟩⊥δ with
v1(X)∈⟨w2(X)⟩⊥δ and v2(X)∈⟨w1(X)⟩⊥δ. We next observe that h1(X)=λ1(X)w1(X)+v1(X)=0 if and only if \bigl{(}\lambda_{1}(X),v_{1}(X)\bigr{)}\neq(0,0), while h2(X)=λ2(X)w2(X)+v2(X)=0
if and only if \bigl{(}\lambda_{2}(X),v_{2}(X)\bigr{)}\neq(0,0). Now in order to count all non-trivial isotropic elements in Ah⊕Aμ(h), we shall distinguish the following
two cases: **I. ** λ1(X)+λ2(X)=0 and **II. ** λ1(X)+λ2(X)=0.
Case I. Let λ1(X)+λ2(X)=0. Then we must have v1(X)=0 and v2(X)=0. So h1(X)+h2(X)=v1(X)+v2(X)∈⟨w1(X)+w2(X)⟩⊥δ, which is a non-degenerate Kh⊕Kμ(h)-submodule of Ah⊕Aμ(h) having rank r−1. Now by applying induction hypothesis, we see that the number of such non-trivial isotropic elements in Ah⊕Aμ(h) is given by
ir−1.
Case II. Let λ1(X)+λ2(X)=0.
If λ1(X)=0, then λ2(X)=0,v1(X)=0 and v2(X)∈⟨w1(X)⟩⊥δ. Now if v2(X)=0, then we see that h1(X)+h2(X)=λ2(X)w2(X)+v1(X) and clearly
[λ2(X)w2(X)+v1(X),λ2(X)w2(X)+v1(X)]δ=0, which implies that h1(X)+h2(X) is a non-trivial isotropic element
for all λ2(X)∈Kμ(h)∖{0} and v1(X)∈⟨w2(X)⟩⊥δ∖{0}. In this case, there are precisely
q(r−1)dh−1 choices for v1(X) and qdh−1 choices for λ2(X). So there are precisely (q(r−1)dh−1)(qdh−1)
such non-trivial isotropic elements in Ah⊕Aμ(h). On the other hand, if v2(X)=0, then for all λ2(X)∈Kμ(h)∖{0}, we see that
h1(X)+h2(X)=v1(X)+λ2(X)w2(X)+v2(X) is an isotropic element if and only if [v1(X)+λ2(X)w2(X)+v2(X),v1(X)+λ2(X)w2(X)+v2(X)]δ=[v1(X)+v2(X),v1(X)+v2(X)]δ=0 if and only if v1(X)+v2(X) is a non-trivial isotropic
element in ⟨w1(X)+w2(X)⟩⊥δ. Now λ2(X) has qdh−1 choices and by the induction hypothesis, the number of
choices for a non-trivial isotropic element v1(X)+v2(X)∈⟨w1(X)+w2(X)⟩⊥δ is given by ir−1. Thus in this case, the number of non-trivial
isotropic elements in Ah⊕Aμ(h) is given by (qdh−1)ir−1.
Next suppose that λ2(X)=0 so that λ1(X)=0. Then v2(X)=0 and v1(X)∈⟨w2(X)⟩⊥δ.
Now if v1(X)=0, then we see that h1(X)+h2(X)=λ1(X)w1(X)+v2(X), which is clearly a non-trivial isotropic element for all λ1(X)∈Kh∖{0} and v2(X)∈⟨w1(X)⟩⊥δ∖{0}. So the number of such non-trivial
isotropic elements in Ah⊕Aμ(h) is given by (q(r−1)dh−1)(qdh−1).
If v1(X)=0, then h1(X)+h2(X)=λ1(X)w1(X)+v1(X)+v2(X) is an isotropic element if and only if [v1(X)+λ1(X)w1(X)+v2(X),v1(X)+λ1(X)w1(X)+v2(X)]δ=[v1(X)+v2(X),v1(X)+v2(X)]δ=0 if and only if v1(X)+v2(X) is a non-trivial
isotropic element of ⟨w1(X)+w2(X)⟩⊥δ. Now λ1(X) has qdh−1 choices and by the induction hypothesis,
there are precisely ir−1 distinct non-trivial isotropic elements in ⟨w1(X)+w2(X)⟩⊥δ. So in this case,
the number of such non-trivial isotropic elements in Ah⊕Aμ(h) is given by (qdh−1)ir−1.
Further, suppose that both λ1(X),λ2(X) are non-zero. Then v1(X)∈⟨w2(X)⟩⊥δ and v2(X)∈⟨w1(X)⟩⊥δ. Now h1(X)+h2(X) is an isotropic element if and only if [\bigl{(}\lambda_{1}(X)+\lambda_{2}(X)\bigr{)}\bigl{(}w_{1}(X)+w_{2}(X)\bigr{)}+\bigl{(}v_{1}(X)+v_{2}(X)\bigr{)},\bigl{(}\lambda_{1}(X)+\lambda_{2}(X)\bigr{)}\bigl{(}w_{1}(X)+w_{2}(X)\bigr{)}+\bigl{(}v_{1}(X)+v_{2}(X)\bigr{)}]_{\delta}=0 if and only if
\bigl{(}\lambda_{1}(X)+\lambda_{2}(X)\bigr{)}\tau_{1,-1}\bigl{(}\lambda_{1}(X)+\lambda_{2}(X)\bigr{)}\bigl{(}a(X)+\tau_{1,-1}\bigl{(}a(X)\bigr{)}\bigr{)}=-\left[v_{1}(X)+v_{2}(X),v_{1}(X)+v_{2}(X)\right]_{\delta} if and only if
[TABLE]
We observe that when both v1(X),v2(X) are zero, we have h_{1}(X)+h_{2}(X)=\bigl{(}\lambda_{1}(X)+\lambda_{2}(X)\bigr{)}\bigl{(}w_{1}(X)+w_{2}(X)\bigr{)}, which is clearly an anisotropic element. If either v1(X) or v2(X) (but not both) is non-zero, then h_{1}(X)+h_{2}(X)=\bigl{(}\lambda_{1}(X)+\lambda_{2}(X)\bigr{)}\bigl{(}w_{1}(X)+w_{2}(X)\bigr{)}+v_{j}(X) with vj(X)=0 for some j∈{1,2}. Then by (23), we see that
h1(X)+h2(X) is an isotropic element if and only if λ1(X)τ1,−1(λ2(X))a(X)=0, which is not possible, and hence
h1(X)+h2(X) is an anisotropic element.
Now if both v1(X),v2(X) are non-zero, then by (23), h1(X)+h2(X) is an isotropic element
if and only if λ1(X)τ1,−1(λ2(X))a(X)=−[v1(X),v2(X)]δ. We observe that as λ1(X),λ2(X) and a(X) all are non-zero, we must have [v1(X),v2(X)]δ=0, which implies that v1(X)+v2(X) is an
anisotropic element of ⟨w1(X)+w2(X)⟩⊥δ. We also note that λ2(X)∈Kμ(h)∖{0}
is determined uniquely by λ1(X) and [v1(X),v2(X)]δ. We see that λ1(X)∈Kh∖{0} has qdh−1 choices and by the induction hypothesis, the number of anisotropic elements in ⟨w1(X)+w2(X)⟩⊥δ is given by (q2dh(r−1)−1)−2(q(r−1)dh−1)−ir−1=(q2dh(r−1)−1)−2(q(r−1)dh−1)−(q(r−2)dh−1)(q(r−1)dh−1)=q(r−2)dh(qdh−1)(q(r−1)dh−1).
Thus the number of such non-trivial isotropic elements in Ah⊕Aμ(h) is given by q(r−2)dh(qdh−1)2(q(r−1)dh−1).
On combining all the above cases, we see that the total
number of non-trivial isotropic elements in Ah⊕Aμ(h) is given by
ir=ir−1+2(qdh−1)(q(r−1)dh−1)+2(qdh−1)ir−1+q(r−2)dh(qdh−1)2(q(r−1)dh−1), which equals (q(r−1)dh−1)(qrdh−1) after a simple computation.
\hfill□
In the following proposition, we determine the number of hyperbolic pairs in a non-degenerate
Kh⊕Kμ(h)-submodule Ah⊕Aμ(h) of
Jh⊕Jμ(h), where Ah is a Kh-subspace of Jh and Aμ(h) is a Kμ(h)-subspace of Jμ(h) with dimKhAh=dimKμ(h)Aμ(h)=r≥2.
Lemma 3.9**.**
Let Ah⊕Aμ(h) be a non-degenerate Kh⊕Kμ(h)-submodule
of Jh⊕Jμ(h), where Ah is a Kh-subspace of Jh and Aμ(h) is a Kμ(h)-subspace of Jμ(h) with dimKhAh=dimKμ(h)Aμ(h)=r≥2. Then the total number of hyperbolic pairs in Ah⊕Aμ(h) is given by Hr=qdh(2r−3)(q(r−1)dh−1)(qrdh−1).
Proof.
Since r≥2, by Lemma 3.5(a), Ah⊕Aμ(h) has a non-trivial isotropic element,
say α1(X)+α2(X). By Proposition 3.8, the number of choices for α1(X)+α2(X) is given by
ir=(q(r−1)dh−1)(qrdh−1). Further by Lemma 3.5(c) and (d), there exists another non-trivial isotropic element β1(X)+β2(X) in Ah⊕Aμ(h) such that (α1(X)+α2(X),β1(X)+β2(X)) is a hyperbolic pair in Ah⊕Aμ(h) and the Kh⊕Kμ(h)-submodule ⟨α1(X)+α2(X),β1(X)+β2(X)⟩ of Ah⊕Aμ(h) is non-degenerate. Now by Lemma 3.6, we can write Ah⊕Aμ(h)=⟨α1(X)+α2(X),β1(X)+β2(X)⟩⊥⟨α1(X)+α2(X),β1(X)+β2(X)⟩⊥δ, where ⟨α1(X)+α2(X),β1(X)+β2(X)⟩⊥δ is a non-degenerate Kh⊕Kμ(h)-submodule of Ah⊕Aμ(h). Further, we observe that ⟨α1(X)+α2(X),β1(X)+β2(X)⟩⊥δ=⟨α2(X),β2(X)⟩⊥δ⊕⟨α1(X),β1(X)⟩⊥δ, where dimKh⟨α2(X),β2(X)⟩⊥δ=dimKμ(h)⟨α1(X),β1(X)⟩⊥δ=r−2. So any element h1(X)+h2(X)∈Ah⊕Aμ(h) with h1(X)∈Ah∖{0} and h2(X)∈Aμ(h)∖{0} can be written as h_{1}(X)+h_{2}(X)=\bigl{(}u_{1}(X)+u_{2}(X)\bigr{)}\bigl{(}\alpha_{1}(X)+\alpha_{2}(X)\bigr{)}+\bigl{(}v_{1}(X)+v_{2}(X)\bigr{)}\bigl{(}\beta_{1}(X)+\beta_{2}(X)\bigr{)}+\bigl{(}\eta_{1}(X)+\eta_{2}(X)\bigr{)}, where u1(X)+u2(X),v1(X)+v2(X)∈Kh⊕Kμ(h) and η1(X)+η2(X)∈⟨α1(X)+α2(X),β1(X)+β2(X)⟩⊥δ. Note that \bigl{(}h_{1}(X)+h_{2}(X),\alpha_{1}(X)+\alpha_{2}(X)\bigr{)} is a hyperbolic pair if and only if [h1(X)+h2(X),α1(X)+α2(X)]δ=eh(X)+eμ(h)(X) and [h1(X)+h2(X),h1(X)+h2(X)]δ=0. Now [h1(X)+h2(X),α1(X)+α2(X)]δ=eh(X)+eμ(h)(X) if and only if v1(X)=eh(X) and v2(X)=eμ(h)(X), which gives
h_{1}(X)+h_{2}(X)=\bigl{(}u_{1}(X)+u_{2}(X)\bigr{)}\bigl{(}\alpha_{1}(X)+\alpha_{2}(X)\bigr{)}+\bigl{(}\beta_{1}(X)+\beta_{2}(X)\bigr{)}+\bigl{(}\eta_{1}(X)+\eta_{2}(X)\bigr{)}. We also observe that both h1(X)=u1(X)α1(X)+β1(X)+η1(X) and h2(X)=u2(X)α2(X)+β2(X)+η2(X) are non-zero. Further, we see that [h1(X)+h2(X),h1(X)+h2(X)]δ=0 if and only if u_{1}(X)+u_{2}(X)+\tau_{1,-1}\bigl{(}u_{1}(X)+u_{2}(X)\bigr{)}+\left[\eta_{1}(X)+\eta_{2}(X),\eta_{1}(X)+\eta_{2}(X)\right]_{\delta}=0 if and only if
u_{1}(X)+\tau_{1,-1}\bigl{(}u_{2}(X)\bigr{)}=-\left[\eta_{1}(X),\eta_{2}(X)\right]_{\delta}. Now we observe that u1(X) is determined uniquely by
u2(X) and η1(X)+η2(X)∈⟨α1(X)+α2(X),β1(X)+β2(X)⟩⊥δ. Further, it is easy to see that
each of η1(X) and η2(X) has q(r−2)dh choices and u2(X) has qdh choices. From this, it follows that the element h1(X)+h2(X) has q(2r−3)dh choices for (α1(X)+α2(X),h1(X)+h2(X)) to be a hyperbolic pair in Ah⊕Aμ(h). Therefore the total number of hyperbolic pairs in Ah⊕Aμ(h) is given by Hr=qdh(2r−3)ir, which equals qdh(2r−3)(q(r−1)dh−1)(qrdh−1).
∎
Proof of Proposition 3.6.
In view of Remark 3.2, we need to consider δ∈{∗,0,γ(H)} so that \big{(}\mathcal{J}_{h}\oplus\mathcal{J}_{\mu(h)},\left[\cdot,\cdot\right]_{\delta}\restriction_{\mathcal{J}_{h}\oplus\mathcal{J}_{\mu(h)}\times\mathcal{J}_{h}\oplus\mathcal{J}_{\mu(h)}}\big{)} is a Hermitian Kh⊕Kμ(h)-space having rank t.
Now to prove this proposition, for each integer k(0≤k≤t), let Nh,k denote the number of pairs (Ch,Cμ(h)) with Ch as a k-dimensional Kh-subspace of Jh and Cμ(h) as a k-dimensional Kμ(h)-subspace of Jμ(h) satisfying Ch∩Ch(δ)={0} and Cμ(h)∩Cμ(h)(δ)={0}. Then we have Nh=k=0∑tNh,k.
To begin with, we note, by Lemma 3.4(c), that for 0≤k≤t, the number Nh,k is equal to the number of Kh⊕Kμ(h)-submodules Ch⊕Cμ(h) of Jh⊕Jμ(h) satisfying dimKhCh=dimKμ(h)Cμ(h)=k and (\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)})\cap\bigl{(}\mathcal{C}_{h}\oplus\mathcal{C}_{\mu(h)}\bigr{)}^{\perp_{\delta}}=\{0\}, that is, Nh,k is equal to the number of non-degenerate Kh⊕Kμ(h)-submodules Ch⊕Cμ(h) of Jh⊕Jμ(h) satisfying dimKhCh=dimKμ(h)Cμ(h)=k, where Ch is a Kh-subspace of Jh and Cμ(h) is a Kμ(h)-subspace of Jμ(h).
Here by Lemma 3.3, we see that Nh,0=Nh,t=1.
Further, for any integer k satisfying 1≤k≤t−1, using Remark 3.3, Proposition 3.8 and Lemma 3.9 and working in a similar manner as in Proposition 3.2, we see that Nh,k=qkdh(t−k)[kt]qdh for 1≤k≤t−1. From this, the desired result follows.
\hfill□
Proof of Theorem 3.1.
It follows immediately from Propositions 3.1-3.6. \hfill□
Bibliography18
The reference list from the paper itself. Each links out to its DOI / PubMed record.
1[1] Calderbank, A. R., Rains, E. M., Shor, P. M. and Sloane, N. J. A.: Quantum error correction via codes over GF(4), IEEE Trans. Inform. Theory 44(4), pp. 1369-1387 (1998).
2[2] Conway, J.H., Pless, V. and Sloane, N.J.A.: The binary self-dual codes of length up to 32: A Revised Enumeration, J. Combin. Theory Ser. A 60, pp. 183-195 (1992).
3[3] Drees, C., Epkenhans, M. and Krüskemper, M.: On the computation of the trace form of some galois extensions, J. Algebra 192, pp. 209-234 (1997).
4[4] Elman, R., Karpenko, N. and Merkurjev, A.: The algebraic and geometric theory of quadratic forms , American Mathematical Society (2008).
5[5] Ezerman, M. F., Jitman, S., Ling, S. and Pasechnik, D. V.: CSS-like constructions of asymmetric quantum codes, IEEE Trans. Inform. Theory 59(10), pp. 6732-6754 (2013).
6[6] Grove, L.C.: Classical Groups and Geometric Algebra , American Mathematical Society, Providence, Rhode Island (2008).
7[7] Huffman, W. C.: Additive cyclic codes over 𝔽 4 , subscript 𝔽 4 \mathbb{F}_{4}, Adv. Math. Commun. 1(4), pp. 429-461 (2007).
8[8] Huffman, W. C.: Additive cyclic codes over 𝔽 4 subscript 𝔽 4 \mathbb{F}_{4} of even length, Adv. Math. Commun. 2(3), pp. 309-343 (2008).