Searcharxiv⌕ Search

arXiv subjects

Gabor Korchmaros

Publications and source records attributed to Gabor Korchmaros.

13 recordsLinked to original sources
arXiv2018

Algebraic curves with many automorphisms

Let $X$ be a (projective, geometrically irreducible, nonsingular) algebraic curve of genus $g \ge 2$ defined over an algebraically closed field $K$ of odd characteristic $p$. Let $Aut(X)$ be the group of all automorphisms of $X$ which fix $K$ element-wise. It is known that if $|Aut(X)|\geq 8g^3$ then the $p$-rank (equivalently, the Hasse-Witt invariant) of $X$ is zero. This raises the problem of determining the (minimum-value) function $f(g)$ such that whenever $|Aut(X)|\geq f(g)$ then $X$ has zero $p$-rank. For {\em{even}} $g$ we prove that $f(g)\leq 900 g^2$. The {\em{odd}} genus case appears to be much more difficult although, for any genus $g\geq 2$, if $Aut(X)$ has a solvable subgroup $G$ such that $|G|>252 g^2$ then $X$ has zero $p$-rank and $G$ fixes a point of $X$. Our proofs use the Hurwitz genus formula and the Deuring Shafarevich formula together with a few deep results from finite group theory characterizing finite simple groups whose Sylow $2$-subgroups have a cyclic subgroup of index $2$. We also point out some connections with the Abhyankar conjecture and the Katz-Gabber covers.

math.AG↗
arXiv2013

Large $3$-groups of automorphisms of algebraic curves in characteristic $3$

Let $S$ be a $p$-subgroup of the $\K$-automorphism group $\aut(\cX)$ of an algebraic curve $\cX$ of genus $\gg\ge 2$ and $p$-rank $γ$ defined over an algebraically closed field $\mathbb{K}$ of characteristic $p\geq 3$.In this paper we prove that if $|S|>2(\gg-1)$ then one of the following cases occurs. \begin{itemize} \item[(i)] $γ=0$ and the extension $\K(\cX)/\K(\cX)^S$ completely ramifies at a unique place, and does not ramify elsewhere. \item[(ii)] $γ>0$, $p=3$, $\cX$ is a general curve, $S$ attains the Nakajima's upper bound $3(γ-1)$ and $\K(\cX)$ is an unramified Galois extension of the function field of a general curve of genus $2$ with equation $Y^2=cX^6+X^4+X^2+1$ where $c\in\K^*$. \end{itemize} Case (i) was investigated by Stichtenoth, Lehr, Matignon, and Rocher.

math.AG↗
arXiv2011

Transitive A_6-invariant k-arcs in PG(2,q)

For $q=p^r$ with a prime $p\ge 7$ such that $q \equiv 1$ or $19\pmod {30},$ the desarguesian projective plane $PG(2,q)$ of order $q$ has a unique conjugacy class of projectivity groups isomorphic to the alternating group $A_6$ of degree 6. For a projectivity group $Γ\cong A_6$ of $PG(2,q)$, we investigate the geometric properties of the (unique) $Γ$-orbit $\mathcal{O}$ of size 90 such that the 1-point stabilizer of $Γ$ in $\mathcal O$ is a cyclic group of order 4. Here $\mathcal O$ lies either in $PG(2,q)$ or in $PG(2,q^2)$ according as 3 is a square or a non-square element in $GF(q)$. We show that if $q\geq 349$ and $q\neq 421$, then $\mathcal O$ is a 90-arc, which turns out to be complete for $q=349, 409, 529, 601,661.$ Interestingly, $\mathcal O$ is the smallest known complete arc in $PG(2,601)$ and in $PG(2,661).$ Computations are carried out by MAGMA.

math.CO↗
arXiv2011

3-nets realizing a group in a projective plane

In a projective plane PG(2,K) defined over an algebraically closed field K of characteristic 0, we give a complete classification of 3-nets realizing a finite group. An infinite family, due to Yuzvinsky, arises from plane cubics and comprises 3-nets realizing cyclic and direct products of two cyclic groups. Another known infinite family, due to Pereira and Yuzvinsky, comprises 3-nets realizing dihedral groups. We prove that there is no further infinite family. Urzua's 3-nets realizing the quaternion group of order 8 are the unique sporadic examples. If p is larger than the order of the group, the above classification holds true in characteristic p>0 apart from three possible exceptions Alt_4, Sym_4 and Alt_5.

math.AG↗
arXiv2011

Large 2-groups of automorphisms of curves with positive 2-rank

Let K be an algebraically closed field of characteristic 2, and let X be a curve over K of genus g>1 and 2-rank r>0. For 2-subgroups S of the K-automorphism group Aut(X) of X, the Nakajima bound is |S| < 4g-3. For every g=2^h+1>8, we construct a curve X attaining the Nakajima bound and determine its relevant properties: X is a bielliptic curve with r=g, and its K-automorphism group has a dihedral K-automorphism group of order 4(g-1) which fixes no point in X. Moreover, we provide a classification of 2-groups S of K-automorphisms not fixing a point of X and such that |S|> 2g-1.

math.AG↗
arXiv2008

Nakajima's remark on Henn's proof

We fill up a gap in Henn's proof concerning large automorphism groups of function fields of degree 1 over an algebraically closed field of positive characteristic.

math.AG↗
arXiv2008

Automorphism groups of algebraic curves with p-rank zero

In positive characteristic, algebraic curves can have many more automorphisms than expected from the classical Hurwitz's bound. There even exist algebraic curves of arbitrary high genus g with more than 16g^4 automorphisms. It has been observed on many occasions that the most anomalous examples invariably have zero p-rank. In this paper, the K-automorphism group Aut(X) of a zero 2-rank algebraic curve X defined over an algebraically closed field K of characteristic 2 is investigated. The main result is that if the curve has genus g greater than or equal to 2, and |Aut(X)|>24g^2, then Aut(X) has a fixed point on X, apart from few exceptions. In the exceptional cases the possibilities for Aut(X) and g are determined.

math.AG↗
arXiv2007

On large automorphism groups of algebraic curves in positive characteristic

In his investigation on large $K$-automorphism groups of an algebraic curve, Stichtenoth obtained an upper bound on the order of the first ramification group of an algebraic curve $\cX$ defined over an algebraically closed field of characteristic $p$. Stichtenoth's bound has raised the problem of classifying all $\K$-automorphism groups $G$ of $\cX$ with the following property: There is a point $P\in \cX$ for which \begin{equation} |G_P^{(1)}|>\frac{p}{p-1}g. \end{equation} Such a classification is obtained here by proving Theorem 1.3

math.AG↗
arXiv2000

On the genus of a maximal curve

Previous results on genera g of F_{q^2}-maximal curves are improved: (1) Either g\leq (q^2-q+4)/6, or g=\lfloor(q-1)^2/4\rfloor, or g=q(q-1)/2; (2) The hypothesis on the existence of a particular Weierstrass point in \cite{at} is proved; (3) For q\equiv 1\pmod{3}, q\ge 13, no F_{q^2}-maximal curve of genus (q-1)(q-2)/3 exists; (4) For q\equiv 2\pmod{3}, q\ge 11, the non-singular F_{q^2}-model of the plane curve of equation y^q+y=x^{(q+1)/3} is the unique F_{q^2}-maximal curve of genus g=(q-1)(q-2)/6; (5) Assume \dim(\cD_\cX)=5, and char(\fq)\geq 5. For q\equiv 1\pmod{4}, q\geq 17, the Fermat curve of equation x^{(q+1)/2}+y^{(q+1)/2}+1=0 is the unique F_{q^2}-maximal curve of genus g=(q-1)(q-3)/8. For q\equiv 3\pmod{4}, q\ge 19, there are exactly two F_{q^2}-maximal curves of genus g=(q-1)(q-3)/8, namely the above Fermat curve and the non-singular F_{q^2}-model of the plane curve of equation y^q+y=x^{(q+1)/4}. The above results provide some new evidences on maximal curves in connection with Castelnuovo's bound and Halphen's theorem, especially with extremal curves; see for instance the conjecture stated in Introduction.

math.AG↗
arXiv2000

Remarks on plane maximal curves

Some new results on plane F_{q^2}-maximal curves are stated and proved. It is known that the degree d of such curves is upper bounded by q+1 and that d=q+1 if and only if the curve is F_{q^2}-isomorphic to the Hermitian. We show that d\le q+1 can be improved to d\le (q+2)/2 apart from the case d=q+1 or q\le 5. This upper bound turns out to be sharp for q odd. We also study the maximality of Hurwitz curves of degree n+1. We show that they are F_{q^2}-maximal if and only if (q+1) divides (n^2-n+1). Such a criterion is extended to a wider family of curves.

math.AG↗
arXiv1999

Embedding of a maximal curve in a Hermitian variety

Let X be a projective geometrically irreducible non-singular algebraic curve defined over a finite field F of order $q^2$. If the number of F-rational points of X satisfies the Hasse-Weil upper bound, then X is said to be F-maximal. For a point P_0\in X(F), let πbe the morphism arising from the linear series D:=|(q+1)P_0|, and let N:=dim(D). It is known that N\ge 2 and that πis independent of P_0 whenever X is F-maximal. The following theorems will be proved: Theorem 0.1: If X is F-maximal, then π:X\to π(X) is a F-isomorphism. The non-singular model π(X) has degree q+1 and lies on a Hermitian variety defined over F of P^N(\bar F); Theorem 0.2: If X is F-maximal, then it is F-isomorphic to a curve Y in P^M(\bar F), with 2\le M\le N, such that Y has degree q+1 and lies on a non-degenerate Hermitian variety defined over F of ¶^M(\bar F). Furthermore, Aut_F(X) is isomorphic to a subgroup of the projective unitary group PGU(M+1,q^2); Theorem 0.3: If X is F-birational to a curve Y embedded in P^M(\bar F) such that Y has degree q+1 and lies on a non-degenerate Hermitian variety defined over F of P^M(\bar F), then X is F-maximal and X is F-isomorphic to Y.

math.AG↗