Some $p$-ranks related to a conic in $PG(2,q)$

Junhua Wu

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

2010-02-05

Abstract:Let $\A$ be the incidence matrix of lines and points of the classical projective plane $PG(2,q)$ with $q$ odd. With respect to a conic in $PG(2,q)$, the matrix $\A$ is partitioned into 9 submatrices. The rank of each of these submatices over $\Ff_q$, the defining field of $PG(2,q)$, is determined.

Combinatorics

What problem does this paper attempt to address?

Characterising pointsets in PG(4,q) that correspond to conics

S.G. Barwick,Wen-Ai Jackson

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

2013-08-21

Abstract:We consider a non-degenerate conic in $\PG(2,q^2)$, $q$ odd, that is tangent to $\ell_\infty$ and look at its structure in the Bruck-Bose representation in $\PG(4,q)$. We determine which combinatorial properties of this set of points in $\PG(4,q)$ are needed to reconstruct the conic in $\PG(2,q^2)$. That is, we define a set $\C$ in $\PG(4,q)$ with $q^2$ points that satisfies certain combinatorial properties. We then show that if $q\ge 7$, we can use $\C$ to construct a regular spread $§$ in the hyperplane at infinity of $\PG(4,q)$, and that $\C$ corresponds to a conic in the Desarguesian plane $¶(§)\cong\PG(2,q^2)$ constructed via the Bruck-Bose correspondence.

Combinatorics
Incidence Matrices of Finite Quadratic Spaces

Yan Liu,Haode Yan,Chunlei Liu

DOI: https://doi.org/10.1007/s10013-018-0284-0

2018-03-12

Vietnam Journal of Mathematics

Abstract:Let q be an odd prime power, and PG(n,q) be the projective space of Fqn+1\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}${\mathbb {F}}_{q}^{n + 1}$\end{document}. We equip Fqn+1\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}${\mathbb {F}}_{q}^{n + 1}$\end{document} with a nondegenerate quadratic form. The 2-rank of the incidence matrix of anisotropic points versus their corresponding hyperplanes of PG(n,q) is determined for n = 2,3.
A characterisation of F_q-conics of PG(2,q^3)

S.G. Barwick,Wen-Ai Jackson,Peter Wild

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

2022-11-30

Abstract:This article considers an F_q-conic contained in an F_q-subplane of PG(2,q^3), and shows that it corresponds to a normal rational curve in the Bruck-Bose representation in PG(6,q). This article then characterises which normal rational curves of PG(6,q) correspond via the Bruck-Bose representation to F_q-conics of PG(2,q^3). The normal rational curves of interest are called 3-special, which relates to how the extension of the normal rational curve meets the transversal lines of the regular 2-spread of the Bruck-Bose representation. This article uses geometric arguments that exploit the interaction between the Bruck-Bose representation of PG(2,q^3) in PG(6,q), and the Bose representation of PG(2,q^3) in PG(8,q).

Combinatorics
A geometric characterization of known maximum scattered linear sets of $\mathrm{PG}(1,q^n)$

Giovanni Giuseppe Grimaldi,Somi Gupta,Giovanni Longobardi,Rocco Trombetti

2024-05-02

Abstract:An $\mathbb{F}_q$- linear set $L=L_U$ of $\Lambda=\mathrm{PG}(V, \mathbb{F}_{q^n}) \cong \mathrm{PG}(r-1,q^n)$ is a set of points defined by non-zero vectors of an $\mathbb{F}_q$-subspace $U$ of $V$. The integer $\dim_{\mathbb{F}_q} U$ is called the rank of $L$. In [G. Lunardon, O. Polverino: Translation ovoids of orthogonal polar spaces. Forum Math. 16 (2004)], it was proven that any $\mathbb{F}_q$-linear set $L$ of $\Lambda$ of rank $u$ such that $\langle L \rangle=\Lambda$ is either a canonical subgeometry of $\Lambda$ or there are a $(u-r-1)$-dimensional subspace $\Gamma$ of $\mathrm{PG}(u-1,q^n) \supset \Lambda$ disjoint from $\Lambda$ and a canonical subgeometry $\Sigma \cong \mathrm{PG}(u-1,q)$ disjoint from $\Gamma$ such that $L$ is the projection of $\Sigma$ from $\Gamma$ onto $\Lambda$. The subspace $\Gamma$ is called the vertex of the projection. In this article, we will show a method to reconstruct the vertex $\Gamma$ for a peculiar class of linear sets of rank $u = n(r - 1)$ in $\mathrm{PG}(r - 1, q^n)$ called evasive linear sets. Also, we will use this result to characterize some families of linear sets of the projective line $\mathrm{PG}(1,q^n)$ introduced from 2018 onward, by means of certain properties of their projection vertices, as done in [B. Csajbók, C. Zanella: On scattered linear sets of pseudoregulus type in $\mathrm{PG}(1, q^t)$, Finite Fields Appl. 41 (2016)] and in [C. Zanella, F. Zullo: Vertex properties of maximum scattered linear sets of $\mathrm{PG}(1, q^n)$. Discrete Math. 343(5) (2020)].

Combinatorics
Conics in Baer subplanes

S.G. Barwick,Wen-Ai Jackson,Peter Wild

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

2019-06-04

Abstract:This article studies conics and subconics of $PG(2,q^2)$ and their representation in the André/Bruck-Bose setting in $PG(4,q)$. In particular, we investigate their relationship with the transversal lines of the regular spread. The main result is to show that a conic in a tangent Baer subplane of $PG(2,q^2)$ corresponds in $PG(4,q)$ to a normal rational curve that meets the transversal lines of the regular spread. Conversely, every 3 and 4-dimensional normal rational curve in $PG(4,q)$ that meets the transversal lines of the regular spread corresponds to a conic in a tangent Baer subplane of $PG(2,q^2)$.

Combinatorics
On the rank index of projective curves of almost minimal degree

Jaewoo Jung,Hyunsuk Moon,Euisung Park

2024-11-26

Abstract:In this article, we investigate the rank index of projective curves $\mathscr{C} \subset \mathbb{P}^r$ of degree $r+1$ when $\mathscr{C} = \pi_p (\tilde{\mathscr{C}})$ for the standard rational normal curve $\tilde{\mathscr{C}} \subset \mathbb{P}^{r+1}$ and a point $p \in \mathbb{P}^{r+1} \setminus \tilde{\mathscr{C}}^3$. Here, the rank index of a closed subscheme $X \subset \mathbb{P}^r$ is defined to be the least integer $k$ such that its homogeneous ideal can be generated by quadratic polynomials of rank $\leq k$. Our results show that the rank index of $\mathscr{C}$ is at most $4$, and it is exactly equal to $3$ when the projection center $p$ is a coordinate point of $\mathbb{P}^{r+1}$. We also investigate the case where $p \in \tilde{\mathscr{C}}^3 \setminus \tilde{\mathscr{C}}^2$.

Algebraic Geometry
Webs and squabs of conics over finite fields

Nour Alnajjarine,Michel Lavrauw

2024-05-17

Abstract:This paper is a contribution towards a solution for the longstanding open problem of classifying linear systems of conics over finite fields initiated by L. E. Dickson in 1908, through his study of the projective equivalence classes of pencils of conics in $\mathrm{PG}(2,q)$, for $q$ odd. In this paper a set of complete invariants is determined for the projective equivalence classes of webs and of squabs of conics in $\mathrm{PG}(2,q)$, both for $q$ odd and even. Our approach is mainly geometric, and involves a comprehensive study of the geometric and combinatorial properties of the Veronese surface in $\mathrm{PG}(5,q)$. The main contribution is the determination of the distribution of the different types of hyperplanes incident with the $K$-orbit representatives of points and lines of $\mathrm{PG}(5,q)$, where $K\cong\mathrm{PGL}(3,q)$, is the subgroup of $\mathrm{PGL}(6,q)$ stabilizing the Veronese surface.

Combinatorics,Algebraic Geometry
On the $p$-ranks of class groups of certain Galois extensions

Ufuoma Asarhasa,Rusiru Gambheera,Debanjana Kundu,Enrique Nunez Lon-wo,Arshay Sheth

2024-08-08

Abstract:Let $p$ be an odd prime, let $N$ be a prime with $N \equiv 1 \pmod{p}$, and let $\zeta_p$ be a primitive $p$-th root of unity. We study the $p$-rank of the class group of $\mathbb{Q}(\zeta_p, N^{1/p})$ using Galois cohomological methods and obtain an exact formula for the $p$-rank in terms of the dimensions of certain Selmer groups. Using our formula, we provide a numerical criterion to establish upper and lower bounds for the $p$-rank, analogous to the numerical criteria provided by F.~Calegari--M.~Emerton and K.~Schaefer--E.~Stubley for the $p$-ranks of the class group of $\mathbb{Q}(N^{1/p})$. In the case $p=3$, we use Redei matrices to provide a numerical criterion to exactly calculate the $3$-rank, and also study the distribution of the $3$-ranks as $N$ varies through primes which are $4,7 \pmod{9}$.

Number Theory
A ruled quintic surface in $PG(6,q)$

S.G. Barwick

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

2019-06-04

Abstract:In this article we look at a scroll of $PG(6,q)$ that uses a projectivity to rule a conic and a twisted cubic. We show this scroll is a ruled quintic surface $\mathcal V^5_2$, and study its geometric properties. The motivation in studying this scroll lies in its relationship with an $\mathbb F_q$-subplane of $PG(2,q^3)$ via the Bruck-Bose representation.

Combinatorics
The chromatic index of finite projective spaces

Lei Xu,Tao Feng

2023-06-25

Abstract:A line coloring of PG$(n,q)$, the $n$-dimensional projective space over GF$(q)$, is an assignment of colors to all lines of PG$(n,q)$ so that any two lines with the same color do not intersect. The chromatic index of PG$(n,q)$, denoted by $\chi'(PG(n,q))$, is the least number of colors for which a coloring of PG$(n,q)$ exists. This paper translates the problem of determining the chromatic index of PG$(n,q)$ to the problem of examining the existences of PG$(3,q)$ and PG$(4,q)$ with certain properties. In particular, it is shown that for any odd integer $n$ and $q\in\{3,4,8,16\}$, $\chi'(PG(n,q))=(q^n-1)/(q-1)$, which implies the existence of a parallelism of PG$(n,q)$ for any odd integer $n$ and $q\in\{3,4,8,16\}$.

Combinatorics
Update: Some new results on lower bounds on $(n,r)$-arcs in $PG(2,q)$ for $q\le 31$

Michael Braun

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

2021-06-11

Abstract:An $(n,r)$-arc in $PG(2,q)$ is a set $B$ of points in $PG(2,q)$ such that each line in $PG(2,q)$ contains at most $r$ elements of $B$ and such that there is at least one line containing exactly $r$ elements of $B$. The value $m_r(2,q)$ denotes the maximal number $n$ of points in the projective geometry $PG(2,q)$ for which an $(n,r)$-arc exists. By explicitly constructing $(n,r)$-arcs using prescribed automorphisms and integer linear programming we obtain some improved lower bounds for $m_r(2,q)$: $m_{10}(2,16)\ge 144$, $m_3(2,25)\ge 39$, $m_{18}(2,25)\ge 418$, $m_9(2,27)\ge 201$, $m_{14}(2,29)\ge 364$, $m_{25}(2,29)\ge 697$, $m_{25}(2,31)\ge 734$. Furthermore, we show by systematically excluding possible automorphisms that putative $(44,5)$-arcs, $(90,9)$-arcs in $PG(2,11)$, and $(39,4)$-arcs in $PG(2,13)$ -- in case of their existence -- are rigid, i.e. they all would only admit the trivial automorphism group of order $1$. In addition, putative $(50,5)$-arcs, $(65,6)$-arcs, $(119,10)$-arcs, $(133,11)$-arcs, and $(146,12)$-arcs in $PG(2,13)$ would be rigid or would admit a unique automorphism group (up to conjugation) of order $2$.

Combinatorics
On the p-rank of curves

Sadık Terzi

2024-01-18

Abstract:In this paper, we are concerned with the computations of the $p$-rank of curves in two different setups. We first work with complete intersection varieties in $\mb{P}^n \text{ for}~n\ge 2$ and compute explicitly the action of Frobenius on the top cohomology group. In case of curves and surfaces, this information suffices to determine if the variety is ordinary. Next, we consider curves on more general surfaces with $p_g(S) = 0 = q(S)$ such as Hirzebruch surfaces and determine $p$-rank of curves on Hirzebruch surfaces.

Algebraic Geometry
The Bose representation of PG(2,q^3) in PG(8,q)

S.G. Barwick,Wen-Ai Jackson,Peter Wild

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

2019-06-25

Abstract:This article looks at the Bose representation of $PG(2,q^3)$ as a 2-spread of $PG(8,q)$. It is shown that an $\mathbb F_q$-subline of $PG(2,q^3)$ corresponds to a 2-regulus, and an $\mathbb F_q$-subplane corresponds to a Segre variety $S_{2;2}$. Moreover, the extension of these varieties to $PG(8,q^3)$ and $PG(8,q^6)$ is determined. These are used to determine the structure of an $\mathbb F_q$-conic of $PG(2,q^3)$ in the Bose representation in $PG(8,q)$.

Combinatorics
2-semiarcs in $\mathrm{PG}(2,q)$, $q\leq 13$

Daniele Bartoli,Giorgio Faina,György Kiss,Stefano Marcugini,Fernanda Pambianco

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

2014-07-22

Abstract:A $2$-semiarc is a pointset ${\mathcal S}_k$ with the property that the number of tangent lines to ${\mathcal S}_k$ at each of its points is two. Using some theoretical results and computer aided search, the complete classification of $2$-semiarcs in PG$(2,q)$ is given for $q\leq 7,$ the spectrum of their sizes is determined for $q\leq 9$, and some results about the existence are proven for $q=11$ and $q=13.$ For several sizes of $2$-semiarcs in $\mathrm{PG}(2,q)$, $q\leq 7$, classification results have been obtained by theoretical proofs.

Combinatorics
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
Saturating linear sets in PG$(2,q^4)$

Ferdinando Zullo

2024-02-22

Abstract:Bonini, Borello and Byrne started the study of saturating linear sets in Desarguesian projective spaces, in connection with the covering problem in the rank metric. In this paper we study \emph{$1$-saturating} linear sets in PG$(2,q^4)$, that is $\mathbb{F}_q$-linear sets in PG$(2,q^4)$ with the property that their secant lines cover the entire plane. By making use of a characterization of generalized Gabidulin codes, we prove that the rank of such a linear set is at least $5$. This answers to a recent question posed by Bartoli, Borello and Marino.

Mathematics
A Degree Bound for Planar Functions

Christof Beierle,Tim Beyne

2024-07-05

Abstract:Using Stickelberger's theorem on Gauss sums, we show that if $F$ is a planar function on a finite field $\mathbb{F}_q$, then for all non-zero functions $G : \mathbb{F}_q \to \mathbb{F}_q$, we have \begin{equation*} \mathrm{deg } \ G \circ F - \mathrm{deg } \ G \le \frac{n(p-1)}{2}\,, \end{equation*} where $q = p^n$ with $p$ a prime and $n$ a positive integer, and $\mathrm{deg } \ F$ is the algebraic degree of $F$, i.e., the degree of the corresponding multivariate polynomial over $\mathbb{F}_p$. This bound leads to a simpler proof of the classification of planar polynomials over $\mathbb{F}_p$ and planar monomials over $\mathbb{F}_{p^2}$. As a new result, using the same degree bound, we complete the classification of planar monomials for all $n = 2^k$ with $p>5$ and $k$ a non-negative integer. Finally, we state a conjecture on the sum of the base-$p$ digits of integers modulo $q-1$ that implies the complete classification of planar monomials over finite fields of characteristic $p>5$.

Combinatorics
A characterization of the planes meeting a hyperbolic quadric of $\PG(3,q)$ in a conic

Bikramaditya Sahu

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

2021-02-07

Combinatorics

Abstract:In this article, a combinatorial characterization of the family of planes of $\PG(3,q)$ which meet a hyperbolic quadric in an irreducible conic, using their intersection properties with the points and lines of $\PG(3,q)$, is given.
Characterising ovoidal cones by their hyperplane intersection numbers

Bart De Bruyn,Geertrui Van de Voorde

DOI: https://doi.org/10.1002/jcd.21959

IF: 0.773

2024-10-11

Journal of Combinatorial Designs

Abstract:In this paper, we characterise point sets having the same intersection numbers with respect to hyperplanes as an ovoidal cone. In particular, we show that a set of points of PG(4 , q ) which blocks all planes and intersects solids in q + 1 , q 2 + 1 or q 2 + q + 1 points is a plane or an ovoidal cone, and determine all examples that arise when the blocking condition is omitted.

mathematics
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

Some $p$-ranks related to a conic in $PG(2,q)$

Characterising pointsets in PG(4,q) that correspond to conics

Incidence Matrices of Finite Quadratic Spaces

A characterisation of F_q-conics of PG(2,q^3)

A geometric characterization of known maximum scattered linear sets of $\mathrm{PG}(1,q^n)$

Conics in Baer subplanes

On the rank index of projective curves of almost minimal degree

Webs and squabs of conics over finite fields

On the $p$-ranks of class groups of certain Galois extensions

A ruled quintic surface in $PG(6,q)$

The chromatic index of finite projective spaces

Update: Some new results on lower bounds on $(n,r)$-arcs in $PG(2,q)$ for $q\le 31$

On the p-rank of curves

The Bose representation of PG(2,q^3) in PG(8,q)

2-semiarcs in $\mathrm{PG}(2,q)$, $q\leq 13$

Quatroids and Rational Plane Cubics

Saturating linear sets in PG$(2,q^4)$

A Degree Bound for Planar Functions

A characterization of the planes meeting a hyperbolic quadric of $\PG(3,q)$ in a conic

Characterising ovoidal cones by their hyperplane intersection numbers

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