On some bilinear dual hyperovals

详细信息    查看全文

• 作者：Hiroaki Taniguchi ^{taniguchi@t.kagawa-nct.ac.jp" class="auth_mail" title="E-mail the corresponding author}
• 关键词：Dual hyperoval ; Buratti&ndash ; Del Fra dual hyperoval ; Huybrechts dual hyperoval ; APN dual hyperoval
• 刊名：Discrete Mathematics
• 出版年：2017
• 出版时间：6 January 2017
• 年：2017
• 卷：340
• 期：1
• 页码：3154-3166
• 全文大小：512 K

文摘

It is shown in Yoshiara (2004) that, if e88" title="Click to view the MathML source">d$d$-dimensional dual hyperovals exist in 9f97ddfaf" title="Click to view the MathML source">V(n,2)$V(n,2)$ (bafb619f37e4e3d0f3" title="Click to view the MathML source">GF(2)$GF\left(2\right)$-vector space of rank e52ed78437bec" title="Click to view the MathML source">n$n$), then e7c5f9c6b29bcaab75975a001ebfb7" title="Click to view the MathML source">2d+1≤n≤(d+1)(d+2)/2+2$2d+1\le n\le (d+1)(d+2)/2+2$, and conjectured that e76d592c14d3110c907f389a8ab28f" title="Click to view the MathML source">n≤(d+1)(d+2)/2$n\le (d+1)(d+2)/2$. Known bilinear dual hyperovals in e7d68b3bc049e382e75a5e0846a6d7" title="Click to view the MathML source">V((d+1)(d+2)/2,2)$V((d+1)(d+2)/2,2)$ are the Huybrechts dual hyperoval and the Buratti–Del Fra dual hyperoval. In this paper, we investigate on the covering map $\pi :{\mathcal{S}}_c^{\prime }(l^{\prime },GF\left(2^{r^{\prime }}\right))\to {\mathcal{S}}_c(l,GF\left(2^r\right))$, where the dual hyperovals ${\mathcal{S}}_c^{\prime }(l^{\prime },GF\left(2^{r^{\prime }}\right))$ and S_c(l,GF(2^r))${\mathcal{S}}_c(l,GF\left(2^r\right))$ are constructed in Taniguchi (2014). Using the result, we show that the Buratti–Del Fra dual hyperoval has a bilinear quotient in V(2d+1,2)$V(2d+1,2)$ if e88" title="Click to view the MathML source">d$d$ is odd. On the other hand, we show that the Huybrechts dual hyperoval has no bilinear quotient in V(2d+1,2)$V(2d+1,2)$. We also determine the automorphism group of S_c(l,GF(2^r))${\mathcal{S}}_c(l,GF\left(2^r\right))$, and show that 805193c4fda037b5db965767da9" title="Click to view the MathML source">Aut(S_c(l₂,GF(2^rl₁)))<Aut(S_c(l,GF(2^r)))$Aut\left({\mathcal{S}}_c(l_2,GF\left(2^{r{l}_1}\right))\right)<Aut\left({\mathcal{S}}_c(l,GF\left(2^r\right))\right)$.