An infinite family of $m$-ovoids of the hyperbolic quadrics $\mathcal{Q}^+(7,q)$

Francesco Pavese,Hanlin Zou

2023-09-13

Abstract:An infinite family of $(q^2+q+1)$-ovoids of $\mathcal{Q}^+(7,q)$, $q\equiv 1\pmod{3}$, admitting the group $\mathrm{PGL}(3,q)$, is constructed. The main tool is the general theory of generalized hexagons.

Combinatorics

What problem does this paper attempt to address?

A family of $m$-ovoids of parabolic quadrics

tao feng,koji momihara,qing xiang

DOI: https://doi.org/10.1016/j.jcta.2016.01.002

2015-01-01

Abstract: We construct a family of $\frac{(q-1)}{2}$-ovoids of $Q(4,q)$, the parabolic quadric of $\textup{PG}(4,q)$, for $q\equiv 3\pmod 4$. The existence of $\frac{(q-1)}{2}$-ovoids of $Q(4,q)$ was only known for $q=3, 7,$ or $11$. Our construction provides the first infinite family of $\frac{(q-1)}{2}$-ovoids of $Q(4,q)$.Along the way, we also give a construction of $\frac{q+1}{2}$-ovoids in $Q(4,q)$ for $q\equiv 1\pmod 4$.
An infinite family of m-ovoids of Q(4, q)

Tao Feng,Ran Tao

DOI: https://doi.org/10.1016/j.ffa.2020.101644

IF: 1.655

2020-01-01

Finite Fields and Their Applications

Abstract:In this paper, we construct an infinite family of q-1/2-ovoids of the generalized quadrangle Q(4, q) for q 1(mod 4) and q > 5. Together with [3] and [11], this establishes the existence of q-1/2-ovoids in Q(4, q) for each odd prime power q. (C) 2020 Elsevier Inc. All rights reserved.
An infinite family of $m$-ovoids of $Q(4,q)$

Tao Feng,Ran Tao

DOI: https://doi.org/10.48550/arXiv.1905.06085

2019-05-16

Abstract:In this paper, we construct an infinite family of $\frac{q-1}{2}$-ovoids of the generalized quadrangle $Q(4,q)$, for $q\equiv 1 (\text{mod}\ 4)$ and $q>5$. Together with the examples given by Bamberg et al. and constructions provided by Feng et al., this establishes the existence of $\frac{q-1}{2}$-ovoids in $Q(4,q)$ for each odd prime power $q$.

Combinatorics
An infinite family of hyperovals of $Q^+(5,q)$, $q$ even

Bart De Bruyn

2023-09-04

Abstract:We construct an infinite family of hyperovals on the Klein quadric $Q^+(5,q)$, $q$ even. The construction makes use of ovoids of the symplectic generalized quadrangle $W(q)$ that is associated with an elliptic quadric which arises as solid intersection with $Q^+(5,q)$. We also solve the isomorphism problem: we determine necessary and sufficient conditions for two hyperovals arising from the construction to be isomorphic.

Combinatorics
On $m$-ovoids of $Q^+(7,q)$ with $q$ odd

Sam Adriaensen,Jan De Beule,Giovanni Giuseppe Grimaldi,Jonathan Mannaert

DOI: https://doi.org/10.1016/j.ffa.2024.102387

2024-02-12

Abstract:In this paper, we provide a construction of $(q+1)$-ovoids of the hyperbolic quadric $Q^+(7,q)$, $q$ an odd prime power, by glueing $(q+1)/2$-ovoids of the elliptic quadric $Q^-(5,q)$. This is possible by controlling some intersection properties of (putative) $m$-ovoids of elliptic quadrics. It yields eventually $(q+1)$-ovoids of $Q^+(7,q)$ not coming from a $1$-system. Secondly, we also construct $m$-ovoids for $m \in \{ 2,4,6,8,10\}$ in $Q^+(7,3)$. Therefore we first investigate how to construct spreads of $\pg(3,q)$ that have as many secants to an elliptic quadric as possible.

Combinatorics
Bm$\textup{psu}_3(q)$-Invariant Intriguing Sets of Orthogonal Polar Space Bm$q^+(7,q)$

Feng Tao,Li Weicong,Tao Ran

DOI: https://doi.org/10.1360/ssm-2022-0071

2022-01-01

Scientia Sinica Mathematica

Abstract:Suppose that $q$ is a prime power such that $q\equiv~2\pmod{3}$. By using Kantor's model of $Q^+(7,q)$, we study the orbit structure of the action of $\textup{PSU}_3(q)$ on the polar space $Q^+(7,q)$ and obtain new $(q^2+q)$- and $q^3$-ovoids with an automorphism group $\textup{PSU}_3(q)$. In this way, we determine all $\textup{PSU}_3(q)$-invariant intriguing sets of $Q^+(7,q)$. It turns out that such an intriguing set is either the unitary ovoid, one of the two new $m$-ovoids, or their complements.
On m-ovoids of symplectic polar spaces

Tao Feng,Ye Wang,Qing Xiang

DOI: https://doi.org/10.1016/j.jcta.2020.105279

IF: 1.263

2020-01-01

Journal of Combinatorial Theory Series A

Abstract:In this paper, we develop a new method for constructing movoids in the symplectic polar space W(2r - 1, p(e)) from some strongly regular Cayley graphs constructed in [6]. Using this method, we obtain many new m-ovoids which can not be derived by field reduction. (C) 2020 Elsevier Inc. All rights reserved.
On finite generalized quadrangles with $\mathrm{PSL}(2,q)$ as an automorphism group

Tao Feng,Jianbing Lu

DOI: https://doi.org/10.1007/s10623-023-01203-x

2023-01-01

Abstract: Let $\mathcal{S}$ be a finite thick generalized quadrangle, and suppose that $G$ is an automorphism group of $\mathcal{S}$. If $G$ acts primitively on both the points and lines of $\mathcal{S}$, then it is known that $G$ must be almost simple. In this paper, we show that if the socle of $G$ is $\mathrm{PSL}(2,q)$ with $q\geq4$, then $q=9$ and $\mathcal{S}$ is the unique generalized quadrangle of order $2$.
Some non-existence results on $m$-ovoids in classical polar spaces

Jan De Beule,Jonathan Mannaert,Valentino Smaldore

2024-02-20

Abstract:In this paper we develop non-existence results for $m$-ovoids in the classical polar spaces $Q^-(2r+1,q), W(2r-1,q)$ and $H(2r,q^2)$ for $r>2$. In [4] a lower bound on $m$ for the existence of $m$-ovoids of $H(4,q^2)$ is found by using the connection between $m$-ovoids, two-character sets, and strongly regular graphs. This approach is generalized in [3] for the polar spaces $Q^-(2r+1,q), W(2r-1,q)$ and $H(2r,q^2)$, $r>2$. In [1] an improvement for the particular case $H(4,q^2)$ is obtained by exploiting the algebraic structure of the collinearity graph, and using the characterization of an $m$-ovoid as an intruiging set. In this paper, we use an approach based on geometrical and combinatorial arguments, inspired by the results from [10], to improve the bounds from [3].

Combinatorics
Ovoids in the cyclic presentation of PG(3,q)

Kanat Abdukhalikov,Simeon Ball,Duy Ho,Tabriz Popatia

2024-10-10

Abstract:We consider the cyclic presentation of $PG(3,q)$ whose points are in the finite field $\mathbb{F}_{q^4}$ and describe the known ovoids therein. We revisit the set $\mathcal{O}$, consisting of $(q^2+1)$-th roots of unity in $\mathbb{F}_{q^4}$, and prove that it forms an elliptic quadric within the cyclic presentation of $PG(3,q)$. Additionally, following the work of Glauberman on Suzuki groups, we offer a new description of Suzuki-Tits ovoids in the cyclic presentation of $PG(3,q)$, characterizing them as the zeroes of a polynomial over $\mathbb{F}_{q^4}$.

Combinatorics,Number Theory
On the classification of low-degree ovoids of

Daniele Bartoli,Nicola Durante,Giovanni Giuseppe Grimaldi

DOI: https://doi.org/10.1007/s10801-024-01365-4

2024-10-06

Journal of Algebraic Combinatorics

Abstract:Ovoids of the Klein quadric of have been studied in the last 40 years, also because of their connection with spreads of and hence translation planes. Beside the classical example given by a three-dimensional elliptic quadric (corresponding to the regular spread of ) many other classes of examples are known. First of all the other examples (beside the elliptic quadric) of ovoids of Q (4, q ) give also examples of ovoids of . To every ovoid of two bivariate polynomials and can be associated. Another important class of ovoids of is given by the ones associated to a flock of a three-dimensional quadratic cone and in this case . In this paper, we classify such ovoids of with the additional properties that , that is and have "low degree" compared with q .

mathematics
Quatroids and Rational Plane Cubics

Taylor Brysiewicz,Fulvio Gesmundo,Avi Steiner

2023-09-14

Abstract:It is a classical result that there are $12$ (irreducible) rational cubic curves through $8$ generic points in $\mathbb{P}_{\mathbb{C}}^2$, but little is known about the non-generic cases. The space of $8$-point configurations is partitioned into strata depending on combinatorial objects we call quatroids, a higher-order version of representable matroids. We compute all $779777$ quatroids on eight distinct points in the plane, which produces a full description of the stratification. For each stratum, we generate several invariants, including the number of rational cubics through a generic configuration. As a byproduct of our investigation, we obtain a collection of results regarding the base loci of pencils of cubics and positive certificates for non-rationality.

Algebraic Geometry
Ovoidal fibrations in $PG(3,q), q$ even

N.S. Narasimha Sastry,R.P. Shukla

DOI: https://doi.org/10.48550/arXiv.1704.06024

2017-04-20

Abstract:We prove that, given a partition of the point-set of $PG(3,q), q=2^n >2$, by ovoids $\{\theta_i\}^q_{i=0}$ of $PG(3,q)$ and a line $\ell$ of $PG(3,q)$, not tangent to $\theta_0$ if $\ell^\perp$ denotes the polar of $\ell$ relative to the symplectic form on $PG(3,q)$ whose isotropic lines are the tangent lines to $\theta_0$, then $\ell$ and $\ell^\perp$ are tangent to distinct ovoids $\theta_j, \theta_k$, both distinct from $\theta_0$. This uses the fact that the radical of the linear code generated by the dual duals $\ell\cup \ell^\perp$ of the hyperbolic quadrics , with $\ell$ and $\ell^\perp$ as above, is of codimension $1$

Group Theory
A characterization of the family of secant lines to a hyperbolic quadric in PG(3,q), q odd

Puspendu Pradhan,Bikramaditya Sahu

DOI: https://doi.org/10.48550/arXiv.2002.08576

2020-02-20

Abstract:We give a combinatorial characterization of the family of lines of P G(3, q) which meet a hyperbolic quadric in two points (the so called secant lines) using their intersection properties with the points and planes of PG(3,q).

Combinatorics
A common generalization of hypercube partitions and ovoids in polar spaces

Jozefien D'haeseleer,Ferdinand Ihringer,Kai-Uwe Schmidt

2024-01-19

Abstract:We investigate what we call generalized ovoids, that is families of totally isotropic subspaces of finite classical polar spaces such that each maximal totally isotropic subspace contains precisely one member of that family. This is a generalization of ovoids in polar spaces as well as the natural $q$-analog of a subcube partition of the hypercube (which can be seen as a polar space with $q=1$). Our main result proves that a generalized ovoid of $k$-spaces in polar spaces of large rank does not exist. More precisely, for $q=p^h$, $p$ prime, and some positive integer $k$, a generalized ovoid of $k$-spaces in a polar space $\mathcal{P}$ with rank $r \geq r_0(k, p)$ in a vector space $V(n,q)$ does not exist.

Combinatorics
On $m$-ovoids of finite classical polar spaces with an irreducible transitive automorphism group

Tao Feng,Weicong Li,Ran Tao

DOI: https://doi.org/10.48550/arXiv.2208.13023

2022-11-17

Abstract:In this paper, we classify the $m$-ovoids of finite classical polar spaces that admit a transitive automorphism group acting irreducibly on the ambient vector space. In particular, we obtain several new infinite families of transitive $m$-ovoids.

Combinatorics
Explicit coverings of families of elliptic surfaces by squares of curves

Colin Ingalls,Adam Logan,Owen Patashnick

DOI: https://doi.org/10.48550/arXiv.2009.07807

2021-12-02

Abstract:We show that, for each $n>0$, there is a family of elliptic surfaces which are covered by the square of a curve of genus $2n+1$, and whose Hodge structures have an action by ${\mathbb Q}(\sqrt{-n})$. By considering the case $n=3$, we show that one particular family of K3 surfaces are covered by the square of genus $7$. Using this, we construct a correspondence between the square of a curve of genus $7$ and a general K3 surface in ${\mathbb P}^4$ with $15$ ordinary double points up to isogeny. This gives an explicit proof of the Kuga-Satake-Deligne correspondence for these K3 surfaces and any K3 surfaces isogenous to them, and further, a proof of the Hodge conjecture for the squares of these surfaces. We conclude that the motives of these surfaces are Kimura-finite. Our analysis gives a birational equivalence between a moduli space of curves with additional data and the moduli space of these K3 surfaces with a specific elliptic fibration.

Algebraic Geometry,Number Theory
The Coble Quadric

Vladimiro Benedetti,Daniele Faenzi,Michele Bolognesi,L Manivel

DOI: https://doi.org/10.1017/fms.2024.52

2023-07-12

Abstract:Given a smooth genus three curve $C$, the moduli space of rank two stable vector bundles on C with trivial determinant embeds in $\mathbb{P}^8$ as a hypersurface whose singular locus is the Kummer threefold of $C$; this hypersurface is the Coble quartic. Gruson, Sam and Weyman realized that this quartic could be constructed from a general skew-symmetric fourform in eight variables. Using the lines contained in the quartic, we prove that a similar construction allows to recover SU$_C(2, L)$, the moduli space of rank two stable vector bundles on C with fixed determinant of odd degree L, as a subvariety of $G(2, 8)$. In fact, each point $p \in C$ defines a natural embedding of SU$_C(2, \mathcal{O}(p))$ in $G(2, 8)$. We show that, for the generic such embedding, there exists a unique quadratic section of the Grassmannian which is singular exactly along the image of SU$_C(2, \mathcal{O}(p))$, and thus deserves to be coined the Coble quadric of the pointed curve $(C, p)$.

Algebraic Geometry
Families of quadratic sets on the Klein quadric

Bart De Bruyn

DOI: https://doi.org/10.1007/s10623-024-01390-1

IF: 1.4

2024-03-31

Designs Codes and Cryptography

Abstract:Consider the Klein quadric in . A set of points of is called a quadratic set if it intersects each plane of in a possibly reducible conic of , i.e. in a singleton, a line, an irreducible conic, a pencil of two lines or the whole of . A quadratic set is called good if at most two of these possibilities occur as ranges over all planes of . Good quadratic sets can come into 15 possible types and in earlier work we already discussed 11 of these types. The present paper is devoted to the four remaining types. We will describe several infinite families of good quadratic sets of . This will show that there are examples of quadratic sets for each of these four types and for each value of the prime power q .

mathematics, applied,computer science, theory & methods
On $q$-deformed cubic equations: the quantum heptagon and nonagon

Valentin Ovsienko,Alexey Ustinov

2024-08-25

Abstract:The recent notion of $q$-deformed irrational numbers is characterized by the invariance with respect to the action of the modular group $\PSL(2,\Z)$, or equivalently under the Burau representation of the braid group~$B_3$. The theory of $q$-deformed quadratic irrationals and quadratic equations with integer coefficients is known and entirely based on this invariance. In this paper, we consider the case of cubic irrationals. We show that irreducible cubic equations with three distinct real roots and cyclic Galois group~$C_3$ (or $\Z/3\Z$) acting by a third order element of $\PSL(2,\Z)$, have a canonical $q$-deformation, that we describe. This class of cubic equations contains well-known examples including the equations that describe regular $7$- and $9$-gons.

Combinatorics

An infinite family of $m$-ovoids of the hyperbolic quadrics $\mathcal{Q}^+(7,q)$

A family of $m$-ovoids of parabolic quadrics

An infinite family of <i>m</i>-ovoids of <i>Q</i>(4, <i>q</i>)

An infinite family of $m$-ovoids of $Q(4,q)$

An infinite family of hyperovals of $Q^+(5,q)$, $q$ even

On $m$-ovoids of $Q^+(7,q)$ with $q$ odd

Bm$\textup{psu}_3(q)$-Invariant Intriguing Sets of Orthogonal Polar Space Bm$q^+(7,q)$

On <i>m</i>-ovoids of symplectic polar spaces

On finite generalized quadrangles with $\mathrm{PSL}(2,q)$ as an automorphism group

Some non-existence results on $m$-ovoids in classical polar spaces

Ovoids in the cyclic presentation of PG(3,q)

On the classification of low-degree ovoids of

Quatroids and Rational Plane Cubics

Ovoidal fibrations in $PG(3,q), q$ even

A characterization of the family of secant lines to a hyperbolic quadric in PG(3,q), q odd

A common generalization of hypercube partitions and ovoids in polar spaces

On $m$-ovoids of finite classical polar spaces with an irreducible transitive automorphism group

Explicit coverings of families of elliptic surfaces by squares of curves

The Coble Quadric

Families of quadratic sets on the Klein quadric

On $q$-deformed cubic equations: the quantum heptagon and nonagon