arXiv subjects

Gábor Korchmáros

Publications and source records attributed to Gábor Korchmáros.

At least 19 recordsLinked to original sources

arXiv2026

Large automorphism groups compared to the $p$-rank of algebraic curves in characteristic $p$

Let $\cX$ be a (projective, geometrically irreducible, non-singular) algebraic curve of genus $\ge 2$ and positive $p$-rank $γ(\cX)$, defined over an algebraically closed field $\mathbb{K}$ of positive characteristic $p>0$. Contrary to what occurs for the genus, no function $h(γ)$ exists such that $|\aut(\cX)|\le h(γ)$ whenever $γ=γ(\cX)$. Thus, to have a bound on $|\aut(\cX)|$ only depending on $γ(\cX)$, some restrictions on $\cX$ and $\aut(\cX)$ are needed. In this context, the following theorem is proven. Let $Γ$ be a subgroup of $\aut(\cX)$. Assume that there is a point $P\in \cX$ such that the quotient curve $\cX/S_P$ is rational, where $S_P$ denotes the Sylow p-subgroup of the stabilizer $Γ_P$ of $P$ in $Γ$. Then the following $p$-rank analog of the Riemann-Hurwitz bound \begin{equation*} |Γ|\le 24 \left(\frac{p}{p-1}\right)^4 γ(\cX)^4 \end{equation*} holds, unless a subgroup of index $\le 2$ of $Γ$ fixes $P$. This bound is sharp up to a constant depending only on $p$.

math.AG↗

arXiv2026

Evaluation codes from linear systems of conics

The Datta-Johnsen code is an evaluation code where the linear combinations of elementary symmetric polynomials are evaluated on the set of all points with pairwise distinct coordinates in an affine space of dimension $\ge 2$ over a finite field $\mathbb{F}_q$. A generalization is obtained by taking a low dimensional linear system of symmetric polynomials. The odd characteristic case was the subject of a recent paper. Here, the even characteristic case is investigated.

math.AG↗

arXiv2026

Cyclic AG-Codes on the Hermitian Curve

Cyclic AG-codes $C_L(D,G)$ on the Hermitian curve $H_q$ over $\mathbb{F}_{q^2}$ are constructed such that $G = m(P_2 + \ldots + P_q)$, where $2 \le m \le q-1$ and $\mathrm{supp}(G)$ is the intersection of $H_q$ with a chord $\ell$ minus two points $P_1, P_{q+1}$. The divisor $D = Q_1 + \ldots + Q_{q^2-1}$ consists of all $q^2 - 1$ points in a single orbit under the action of the (cyclic) 2-point stabilizer $Γ$ of $(P_1, P_{q+1})$ in $\mathrm{Aut}(H_q) = \mathrm{PGU}(3,q)$.

math.AG↗

arXiv2026

Hermitian-Singer Functional and Differential Codes

Algebraic geometry codes on the Hermitian curve have been the subject of several papers, since they happen to have good performances and large automorphism groups. Here, those arising from the Singer cycle of the Hermitian curve are investigated.

math.AG↗

arXiv2025

Evaluation codes arising from symmetric polynomials

Datta and Johnsen (Des. Codes and Cryptogr., {\bf{91}} (2023), 747-761) introduced a new family of evalutation codes in an affine space of dimension $\ge 2$ over a finite field $\mathbb{F}_q$ where linear combinations of elementary symmetric polynomials are evaluated on the set of all points with pairwise distinct coordinates. In this paper, we propose a generalization by taking low dimensional linear systems of symmetric polynomials. Computation for small values of $q=7,9$ shows that carefully chosen generalized Datta-Johnsen codes $\left[\frac{1}{2}q(q-1),3,d\right]$ have minimum distance $d$ equal to the optimal value minus 1.

math.AG↗

arXiv2024

A generalization of Bring's curve in any characteristic

Let $p\ge 7$ be a prime, and $m\ge 5$ an integer. A natural generalization of Bring's curve valid over any field $\mathbb{K}$ of zero characteristic or positive characteristic $p$, is the algebraic variety $V$ of $\textrm{PG}(m-1,\mathbb{K})$ which is the complete intersection of the projective algebraic hypersurfaces of homogeneous equations $x_1^k+\cdots +x_m^{k}=0$ with $1\leq k\leq m-2$. In positive characteristic, we also assume $m\le p-1$. Up to a change of coordinates in $\textrm{PG}(m-1,\mathbb{K})$, we show that $V$ is a projective, absolutely irreducible, non-singular curve of $\textrm{PG}(m-2,\mathbb{K})$ with degree $(m-2)!$, genus $\mathfrak{g}= \frac{1}{4} ((m-2)(m-3)-4)(m-2)!+1$, and tame automorphism group $G$ isomorphic to $\textrm{Sym}_m$. We compute the genera of the quotient curves of $V$ with respect to the stabilizers of one or more coordinates under the action of $G$. In positive characteristic, the two extremal cases, $m=5$ and $m=p-1$ are investigated further. For $m=5$, we show that there exist infinitely many primes $p$ such that $V$ is $\mathbb{F}_{p^2}$-maximal curve of genus $4$. The smallest such primes are $29,59,149,239,839$. For $m=p-1$ we prove that $V$ has as many as $(p-2)!$ points over $\mathbb{F}_p$ and has no further points over $\mathbb{F}_{p^2}$. We also point out a connection with previous work of Rédei about the famous Minkowski conjecture proven by Hajós (1941), as well as with a more recent result of Rodríguez Villegas, Voloch and Zagier (2001) on plane curves attaining the Stöhr-Voloch bound, and the regular sequence problem for systems of diagonal equations introduced by Conca, Krattenthaler and Watanabe (2009).

math.AG↗

arXiv2023

The invariant of $PGU(3,q)$ in the Hermitian function field

Let $F=F|\mathbb{K}$ a be function field over an algebraically closed constant field $\mathbb{K}$ of positive characteristic $p$. For a $\mathbb{K}$-automorphism group $G$ of $F$, the invariant of $G$ is the fixed field $F^G$ of $G$. If $F$ has transendency degree $1$ (i.e. $F$ is the function field of an irreducible curve) and $F^G$ is rational, then each generator of $F^G$ uniquely determines $F^G$ and it makes sense to call each of them the invariant of $G$. In this paper, $F$ is the Hermitian function field $\mathbb{K}(\mathcal{H}_q)=\mathbb{K}(x,y)$ with $y^q+y-x^{q+1}=0$ and $q=p^r$. We determine the invariant of $Aut(\mathbb{K}(\mathcal{H}_q))\cong PGU(3,q)$, and discuss some related questions on Galois subcovers of maximal curves over finite fields.

math.NT↗

arXiv2023

Galois subcovers of the Hermitian curve in characteristic $p$ with respect to subgroups of order $p^2$

A (projective, geometrically irreducible, non-singular) curve $\mathcal{X}$ defined over a finite field $\mathbb{F}_{q^2}$ is maximal if the number $N_{q^2}$ of its $\mathbb{F}_{q^2}$-rational points attains the Hasse-Weil upper bound, that is $N_{q^2}=q^2+2\mathfrak{g}q+1$ where $\mathfrak{g}$ is the genus of $\mathcal{X}$. An important question, also motivated by applications to algebraic-geometry codes, is to find explicit equations for maximal curves. For a few curves which are Galois covered of the Hermitian curve, this has been done so far ad hoc, in particular in the cases where the Galois group has prime order. In this paper we obtain explicit equations of all Galois covers of the Hermitian curve with Galois group of order $p^2$ where $p$ is the characteristic of $\mathbb{F}_{q^2}$. Doing so we also determine the $\mathbb{F}_{q^2}$-isomorphism classes of such curves and describe their full $\mathbb{F}_{q^2}$-automorphism groups.

math.AG↗

arXiv2023

Algebraic approach to the completeness problem for $(k,n)$-arcs in planes over finite fields

In a projective plane over a finite field, complete $(k,n)$-arcs with few characters are rare but interesting objects with several applications to finite geometry and coding theory. Since almost all known examples are large, the construction of small ones, with $k$ close to the order of the plane, is considered a hard problem. A natural candidate to be a small $(k,n)$-arc with few characters is the set $Ω(\mathcal{C})$ of the points of a plane curve $\mathcal{C}$ of degree $n$ (containing no linear components) such that some line meets $\mathcal{C}$ transversally in the plane, i.e. in $n$ pairwise distinct points. Let $\mathcal{C}$ be either the Hermitian curve of degree $q+1$ in $\mathrm{PG}(2,q^{2r})$ with $r\ge 1$, or the rational BKS curve of degree $q+1$ in $\mathrm{PG}(2,q^r)$ with $q$ odd and $r\ge 1$. Then $Ω(\mathcal{C})$ has four and seven characters, respectively. Furthermore, $Ω(\mathcal{C})$ is small as both curves are either maximal or minimal. The completeness problem is investigated by an algebraic approach based on Galois theory and on the Hasse-Weil lower bound. Our main result for the Hermitian case is that $Ω(\mathcal{C})$ is complete for $r\ge 4$. For the rational BKS curve, $Ω(\mathcal{C})$ is complete if and only if $r$ is even. If $r$ is odd then the uncovered points by the $(q+1)$-secants to $Ω(\mathcal{C})$ are exactly the points in $\mathrm{PG}(2,q)$ not lying in $Ω(\mathcal{C})$. Adding those points to $Ω(\mathcal{C})$ produces a complete $(k,q+1)$-arc in $\mathrm{PG}(2,q^r)$, with $k=q^r+q$. The above results do not hold true for $r=2$ and there remain open the case $r=3$ for the Hermitian curve, and the cases $r=3,4$ for the rational BKS curve. As a by product we also obtain two results of interest in the study of the Galois inverse problem for $\mathrm{PGL}(2,q)$.

math.CO↗

arXiv2021

Strongly regular graphs from integral point sets in even dimensional affine spaces over finite fields

In the $m$-dimensional affine space $AG(m,q)$ over the finite field $\mathbb{F}_q$ of odd order $q$, the analogous of the Euclidean distance gives rise to a graph $\mathfrak{G}_{m,q}$ where vertices are the points of $AG(m,q)$ and two vertices are adjacent if their (formal) squared Euclidean distance is a square in $\mathbb{F}_q$ (including the zero). In 2009, Kurz and Meyer made the conjecture that if $m$ is even then $\mathfrak{G}_{m,q}$ is a strongly regular graph. In this paper we prove their conjecture.

math.CO↗

arXiv2020

Curves with more than one inner Galois point

Let $\mathcal{C}$ be an irreducible plane curve of $\text{PG}(2,\mathbb{K})$ where $\mathbb{K}$ is an algebraically closed field of characteristic $p\geq 0$. A point $Q\in \mathcal{C}$ is an inner Galois point for $\mathcal{C}$ if the projection $π_Q$ from $Q$ is Galois. Assume that $\mathcal{C}$ has two different inner Galois points $Q_1$ and $Q_2$, both simple. Let $G_1$ and $G_2$ be the respective Galois groups. Under the assumption that $G_i$ fixes $Q_i$, for $i=1,2$, we provide a complete classification of $G=\langle G_1,G_2 \rangle$ and we exhibit a curve for each such $G$. Our proof relies on deeper results from group theory.

math.AG↗

arXiv2019

Graphical Frobenius representations of non-abelian groups

A group $G$ has a Frobenius graphical representation (GFR) if there is a simple graph $\varGamma$ whose full automorphism group is isomorphic to $G$ and it acts on vertices as a Frobenius group. In particular, any group $G$ with GFR is a Frobenius group and $\varGamma$ is a Cayley graph. The existence of an infinite family of groups with GFR whose Frobenius kernel is a non-abelian $2$-group has been an open question. In this paper, we give a positive answer by showing that the Higman group $A(f,q_0)$ has a GFR for an infinite sequence of $f$ and $q_0$.

math.GR↗

arXiv2018

Large odd prime power order automorphism groups of algebraic curves in any characteristic

Let $\mathcal{X}$ be a (projective, geometrically irreducible, nonsingular) algebraic curve of genus $g \ge 2$ defined over an algebraically closed field $\mathbb{K}$ of odd characteristic $p\ge 0$, and let $\rm{Aut}(\mathcal{X})$ be the group of all automorphisms of $\mathcal{X}$ which fix $\mathbb{K}$ element-wise. For any a subgroup $G$ of $\rm{Aut}(\mathcal{X})$ whose order is a power of an odd prime $d$ other than $p$, the bound proven by Zomorrodian for Riemann surfaces is $|G|\leq 9(g-1)$ where the extremal case can only be obtained for $d=3$. We prove Zomorrodian's result for any $\mathbb{K}$. The essential part of our paper is devoted to extremal $3$-Zomorrodian curves $\mathcal{X}$. Two cases are distinguished according as the quotient curve $\mathcal{X}/Z$ for a central subgroup $Z$ of $\rm{Aut}(\mathcal{X})$ of order $3$ is either elliptic, or not. For elliptic type extremal $3$-Zomorrodian curves $\mathcal{X}$, we completely determine the two possibilities for the abstract structure of $G$ using deeper results on finite $3$-groups. We also show infinite families of extremal $3$-Zomorrodian curves for both types, elliptic or non-elliptic. Our paper does not adapt methods from the theory of Riemann surfaces, nevertheless it sheds a new light on the connection between Riemann surfaces and their automorphism groups.

math.AG↗

arXiv2018

On the Dickson-Guralnick-Zieve curve

The Dickson-Guralnick-Zieve curve, briefly DGZ curve, defined over the finite field $\mathbb{F}_q$ arises naturally from the classical Dickson invariant of the projective linear group $PGL(3,\mathbb{F}_q)$. The DGZ curve is an (absolutely irreducible, singular) plane curve of degree $q^3-q^2$ and genus $\frac{1}{2}q(q-1)(q^3-2q-2)+1.$ In this paper we show that the DGZ curve has several remarkable features, those appearing most interesting are: the DGZ curve has a large automorphism group compared to its genus albeit its Hasse-Witt invariant is positive; the Fermat curve of degree $q-1$ is a quotient curve of the DGZ curve; among the plane curves with the same degree and genus of the DGZ curve and defined over $\mathbb{F}_{q^3}$, the DGZ curve is optimal with respect the number of its $\mathbb{F}_{q^3}$-rational points.

math.AG↗

arXiv2017

Hemisystems of the Hermitian Surface

We present a new method for the study of hemisystems of the Hermitian surface $\mathcal{U}_3$ of $PG(3,q^2)$. The basic idea is to represent generator-sets of $\mathcal{U}_3$ by means of a maximal curve naturally embedded in $\mathcal{U}_3$ so that a sufficient condition for the existence of hemisystems may follow from results about maximal curves and their automorphism groups. In this paper we obtain a hemisystem in $\ PG(3,p^2)$ for each $p$ prime of the form $p=1+16n^2$ with an integer $n$. Since the famous Landau's conjecture dating back to 1904 is still to be proved (or disproved), it is unknown whether there exists an infinite sequence of such primes. What is known so far is that just $18$ primes up to $51000$ with this property exist, namely $17,257,401,577, 1297,1601, 3137, 7057,13457,14401,15377,24337,25601,30977,$ $ 32401,33857,41617,50177.$ The scarcity of such primes seems to confirm that hemisystems of $\mathcal{U}_3$ are rare objects.

math.CO↗

arXiv2017

Group-labeled light dual multinets in the projective plane (with Appendix)

In this paper we investigate light dual multinets labeled by a finite group in the projective plane $PG(2,\mathbb{K})$ defined over a field $\mathbb{K}$. We present two classes of new examples. Moreover, under some conditions on the characteristic $\mathbb{K}$, we classify group-labeled light dual multinets with lines of length least $9$.

math.CO↗

arXiv2017

Transcendency Degree One Function Fields Over a Finite Field with Many Automorphisms

Let $\mathbb{K}$ be the algebraic closure of a finite field $\mathbb{F}_q$ of odd characteristic $p$. For a positive integer $m$ prime to $p$, let $F=\mathbb{K}(x,y)$ be the transcendency degree $1$ function field defined by $y^q+y=x^m+x^{-m}$. Let $t=x^{m(q-1)}$ and $H=\mathbb{K}(t)$. The extension $F|H$ is a non-Galois extension. Let $K$ be the Galois closure of $F$ with respect to $H$. By a result of Stichtenoth, $K$ has genus $g(K)=(qm-1)(q-1)$, $p$-rank (Hasse-Witt invariant) $γ(K)=(q-1)^2$ and a $\mathbb{K}$-automorphism group of order at least $2q^2m(q-1)$. In this paper we prove that this subgroup is the full $\mathbb{K}$-automorphism group of $K$; more precisely $Aut_{\mathbb {K}}(K)=Q\rtimes D$ where $Q$ is an elementary abelian $p$-group of order $q^2$ and $D$ has a index $2$ cyclic subgroup of order $m(q-1)$. In particular, $\sqrt{m}|Aut_{\mathbb{K}}(K)|> g(K)^{3/2}$, and if $K$ is ordinary (i.e. $g(K)=γ(K)$) then $|Aut_{\mathbb{K}}(K)|>g^{3/2}$. On the other hand, if $G$ is a solvable subgroup of the $\mathbb{K}$-automorphism group of an ordinary, transcendency degree $1$ function field $L$ of genus $g(L)\geq 2$ defined over $\mathbb{K}$, then by a result due to Korchmáros and Montanucci, $|Aut_{\mathbb{K}}(K)|\le 34 (g(L)+1)^{3/2}<68\sqrt{2}g(L)^{3/2}$. This shows that $K$ hits this bound up to the constant $68\sqrt{2}$. Since $Aut_{\mathbb{K}}(K)$ has several subgroups, the fixed subfield $F^N$ of such a subgroup $N$ may happen to have many automorphisms provided that the normalizer of $N$ in $Aut_{\mathbb{K}}(K)$ is large enough. This possibility is worked out for subgroups of $Q$.

math.AG↗

arXiv2016

The Geometry of the Artin-Schreier-Mumford Curves over an Algebraically Closed Field

For a power $q$ of a prime $p$, the Artin-Schreier-Mumford curve $ASM(q)$ of genus $g=(q-1)^2$ is the nonsingular model $\mathcal{X}$ of the irreducible plane curve with affine equation $(X^q+X)(Y^q+Y)=c,\, c\neq 0,$ defined over a field $\mathbb{K}$ of characteristic $p$. The Artin-Schreier-Mumford curves are known from the study of algebraic curves defined over a non-Archimedean valuated field since for $|c|<1$ they are curves with a large solvable automorphism group of order $2(q-1)q^2 =2\sqrt{g}(\sqrt{g}+1)^2$, far away from the Hurwitz bound $84(g-1)$ valid in zero characteristic. In this paper we deal with the case where $\mathbb{K}$ is an algebraically closed field of characteristic $p$. We prove that the group $Aut(\mathcal{X})$ of all automorphisms of $\mathcal{X}$ fixing $\mathbb{K}$ elementwise has order $2q^2(q-1)$ and it is the semidirect product $Q\rtimes D_{q-1}$ where $Q$ is an elementary abelian group of order $q^2$ and $D_{q-1}$ is a dihedral group of order $2(q-1)$. For the special case $q=p$, this result was proven by Valentini and Madan. Furthermore, we show that $ASM(q)$ has a nonsingular model $\mathcal{Y}$ in the three-dimensional projective space $PG(3,\mathbb{K})$ which is neither classical nor Frobenius classical over the finite field $\mathbb{F}_{q^2}$.

math.AG↗