arXiv subjects

Pietro Speziali

Publications and source records attributed to Pietro Speziali.

15 recordsLinked to original sources

arXiv2026

Curves on Frobenius nonclassical loci of hypersurfaces

Let $\mathcal{S} \subset \mathbb{P}^n$ be an absolutely irreducible projective hypersurface defined over a finite field $\mathbb{F}_q$, equipped with the $\mathbb{F}_q$-Frobenius map $Φ_q$. In this paper, we investigate irreducible curves $\mathcal{X} \subset \mathcal{S}_{Φ_q}$, where $\mathcal{S}_{Φ_q}$ is the $\mathbb{F}_q$-Frobenius nonclassical locus of $\mathcal{S}$. In particular, we show that every curve $\mathcal{X} \subset \mathcal{S}_{Φ_q}$ such that the restriction of the Gauss map of $\mathcal{S}$ to $\mathcal{X}$ is inseparable is $\mathbb{F}_q$-Frobenius nonclassical. This provides a way to construct new Frobenius nonclassical curves, which are curves that tend to have many $\mathbb{F}_q$-rational points. We also prove that a certain type of Frobenius nonclassical hypersurfaces $\mathcal{S}$ defined by separated variables are such that their Gauss maps restricted to any curve contained in $\mathcal{S}$ is inseparable. Finally, in parallel with the plane curve cases, we show that if the strict Gauss map $Γ$ of a $\mathbb{F}_q$-Frobenius nonclassical hypersurface $\mathcal{S}$ is given by $p$ powers, then $Γ$ is purely inseparable.

math.AG↗

arXiv2025

On lattices over Fermat function fields

Function field lattices are an interesting example of algebraically constructed lattices. Their minimum distance is bounded below by a function of the gonality of the underlying function field. Known explicit examples--coming mostly from elliptic and Hermitian curves--typically meet this lower bound. In this paper, we construct, for every integer $n \geqslant 4$, a new family of lattices arising from the Fermat function field $F_n$ and the set of its $3n$ total inflection points. These lattices have rank $3n-1$, and we show that their minimum distance equals $\sqrt{2n}$, thereby exceeding the classical bound $\sqrt{2γ(F_n)} = \sqrt{2(n-1)}$. We also determine their kissing number, which turns out to be independent of $n$, and analyze the structure of the second shortest vectors. Our results provide the first explicit examples of function field lattices of arbitrarily large rank whose minimum distance surpasses the expected bound, offering new geometric features of potential interest for coding-theoretic and cryptographic applications.

math.AG↗

arXiv2025

On gap sets in arbitrary Kummer extensions of $K(x)$

Let $K$ be an algebraically closed field, and let $F/K(x)$ be a Kummer extension of function fields of genus $g$. We provide a compact and explicit description of the gap set $G(Q)$ at any totally ramified place $Q$ of the extension $F/K(x)$. As a consequence, we deduce structural properties of the Weierstrass semigroup $H(Q)$; in particular, we determine a generating set for $H(Q)$, and we characterize its symmetry in certain cases. We also generalize a formula due to Towse that describes the asymptotic behavior of the sum of the Weierstrass weights at all totally ramified places of the extension $F/K(x)$ relative to $g^3-g$.

math.AG↗

arXiv2025

Classifying compact Riemann surfaces by number of symmetries

In this article we consider compact Riemann surfaces that are uniquely determined by the property of possessing a group of automorphisms of a prescribed order, strengthening uniqueness results proved by Nakagawa. More precisely, we deal with the cases in which such an order is $3g$ and $3g+3,$ where $g$ is the genus. We prove that if $g$ is odd (respectively $g$ even and $g \not \equiv 2 \mbox{ mod } 3$) then there exists a unique Riemann surface of genus $g$ with a group of automorphisms of order $3g$ (respectively $3g+3$). A similar conclusion can be derived in terms of orientably-regular hypermaps. In addition, we determine the full automorphism group of such Riemann surfaces and provide decompositions of their Jacobians.

math.AG↗

arXiv2024

Infinitely many Riemann surfaces with transitive action on Weierstrass points

In this short note, we prove the existence of infinitely many pairwise non-isomorphic non-hyperelliptic Riemann surfaces with automorphism group acting transitively on the Weierstrass points. We also found all those compact Riemann surfaces with automorphism group acting transitively on the Weierstrass points, under the assumption that they are simple.

math.AG↗

arXiv2022

Optimal plane curves of degree $q-1$ over a finite field

Let $q\geq 5$ be a prime power. In this note, we prove that if a plane curve $\mathcal{X}$ of degree $q - 1$ defined over $\mathbb{F}_q$ without $\mathbb{F}_q$-linear components attains the Sziklai upper bound $(d-1)q+1 = (q - 1)^2$ for the number of its $\mathbb{F}_q$-rational points, then $\mathcal{X}$ is projectively equivalent over $\mathbb{F}_q$ to the curve $ \mathcal{C}_{(α,β,γ)} : αX^{q - 1} + βY^{q - 1} + γZ^{q - 1} = 0$ for some $α, β, γ\in \mathbb{F}_q^{*}$ such that $α+ β+ γ= 0$. This completes the classification of curves that are extremal with respect to the Sziklai bound. Also, since the Sziklai bound is equal to the Stöhr-Voloch's bound for plane curves of degree $q - 1$, our main result classifies the $\mathbb{F}_q$-Frobenius classical extremal plane curves of degree $q - 1$.

math.AG↗

arXiv2022

Plane curves possessing two outer Galois points

We classify plane curves $\mathcal{C}$ possessing two Galois points $P_1$ and $P_2 \in \mathbb{P}^2 \setminus \mathcal{C}$ such that the associated Galois groups $G_{P_1}$ and $G_{P_2}$ generate the semidirect product $G_{P_1}\rtimes G_{P_2}$. New examples of plane curves with two Galois points are also presented.

math.AG↗

arXiv2020

Algebraic curves with automorphism groups of large prime order

Let $\mathcal{X}$ be an algebraic curve of genus $g$ defined over an algebraically closed field $K$ of characteristic $p \geq 0$, and $q$ a prime dividing $|\mbox{Aut}(\mathcal{X})|$. We say that $\mathcal{X}$ is a $q$-curve. Homma proved that either $q \leq g+1$ or $q = 2g+1$, and classified $(2g+1)$-curves. In this note, we classify $(g+1)$-curves, and fully characterize the automorphism groups of $q$-curves for $q= 2g+1, g+1$. We also give some partial results on $q$-curves for $q = g, g-1$.

math.AG↗

arXiv2019

Large automorphism groups of ordinary curves in characteristic $2$

Let $\mathcal{X}$ be a (projective, non-singular, irreducible) curve of even genus $g(\mathcal{X}) \geq 2$ defined over an algebraically closed field $K$ of characteristic $p$. If the $p$-rank $γ(\mathcal{X})$ equals $g(\mathcal{X})$, then $\mathcal{X}$ is ordinary. In this paper, we deal with large automorphism groups $G$ of ordinary curves. Under the hypotheses that $p = 2$, $g(\mathcal{X})$ is even and $G$ is solvable, we prove that $|G| < 35(g(\mathcal{X}) +1)^{3/2}$.

math.AG↗

arXiv2019

Large automorphism groups of ordinary curves of even genus in odd characteristic

Let $\mathcal{X}$ be a (projective, non-singular, geometrically irreducible) curve of even genus $g(\mathcal{X}) \geq 2$ defined over an algebraically closed field $K$ of odd characteristic $p$. If the $p$-rank $γ(\mathcal{X})$ equals $g(\mathcal{X})$, then $\mathcal{X}$ is \emph{ordinary}. In this paper, we deal with \emph{large} automorphism groups $G$ of ordinary curves of even genus. We prove that $|G| < 821.37g(\mathcal{X})^{7/4}$. The proof of our result is based on the classification of automorphism groups of curves of even genus in positive characteristic, see \cite{giulietti-korchmaros-2017}. According to this classification, for the exceptional cases ${\rm Aut}(\mathcal{X}) \cong {\rm Alt}_7$ and ${\rm Aut}(\mathcal{X}) \cong \rm{M}_{11}$ we show that the classical Hurwitz bound $|{\rm Aut}(\mathcal{X})| < 84(g(\mathcal{X})-1)$ holds, unless $p=3$, $g(\mathcal{X})=26$ and ${\rm Aut}(\mathcal{X}) \cong \rm{M}_{11}$; an example for the latter case being given by the modular curve $X(11)$ in characteristic $3$.

math.AG↗

arXiv2018

The Hurwitz curve over a finite field and its Weierstrass points for the morphism of lines

For any smooth Hurwitz curve $\mathcal{H}_n: \, XY^n+YZ^n+X^nZ=0$ over the finite field $\mathbb{F}_{p}$, an explict description of its Weierstrass points for the morphism of lines is presented. As a consequence, the full automorphism group ${\rm Aut}(\mathcal{H}_n)$, as well as the genera of all Galois subcovers of $\mathcal{H}_n$, with $n\neq 3, p^r$, are computed. Finally, a question by F. Torres on plane non nonsingular maximal curves is answered.

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

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

On generalizations of Fermat curves over finite fields and their automorphisms

Let $\mathcal{X}$ be an irreducible algebraic curve defined over a finite field $\mathbb{F}_q$ of characteristic $p>2$. Assume that the $\mathbb{F}_q$-automorphism group of $\mathcal{X}$ admits as an automorphism group the direct product of two cyclic groups $C_m$ and $C_n$ of orders $m$ and $n$ prime to $p$ such that both quotient curves $\mathcal{X}/C_n$ and $\mathcal{X}/C_m$ are rational. In this paper, we provide a complete classification of such curves, as well as a characterization of their full automorphism groups.

math.AG↗

arXiv2016

The $a$-numbers of Fermat and Hurwitz curves

For an algebraic curve $\mathcal{X}$ defined over an algebraically closed field of characteristic $p >0$, the $a$-number $a(\mathcal{X})$ is the dimension of the space of exact holomorphic differentials on $\mathcal{X}$. We compute the $a$-number for an infinite families of Fermat and Hurwitz curves. Our results apply to Hermitian curves giving a new proof for a previous result of Gross.

math.NT↗