Searcharxiv⌕ Search

arXiv subjects

Stéfani C. Vieira

Publications and source records attributed to Stéfani C. Vieira.

3 recordsLinked to original sources

$a$-Numbers, higher Cartier ranks and maximality of van der Geer-van der Vlugt curves

Let $p$ be an odd prime and let $C_R$ be the van der Geer-van der Vlugt curve $y^p-y=xR(x)$ over an algebraically closed field of characteristic $p$, where $R(x)=\sum_{i=0}^{h}a_ix^{p^i}$ is an additive polynomial of degree $p^h$. We determine the image and the rank of every power of the Cartier operator $\Cart$ on $H^0(C_R,\Omg)$. For $1\le r\le h-1$ the image of $\Cart^r$ is spanned by an explicit set of monomial differentials that does not depend on $R$, and $\rank(\Cart^r)=p^{h-r-1}\binom{p+r}{r+2}$. The last iterate detects the linear coefficient: $\rank(\Cart^h)=0$ if $a_0=0$ and $\rank(\Cart^h)=\binom{(p-1)/2+h}{h+1}$ if $a_0\neq0$, so the nilpotency index of $\Cart$ is $h$ or $h+1$. Hence, for $h\ge2$, the loci $a_0=0$ and $a_0\ne0$ have the same $a$-number, which is the largest $a$-number of a one-point Artin-Schreier curve with pole order $p^h+1$, but they share no Ekedahl-Oort type. Over finite fields we deduce that a curve over $\F_{p^{2n}}$ that is geometrically isomorphic to $C_R$ can be $\F_{p^{2n}}$-maximal or $\F_{p^{2n}}$-minimal only if $n\ge h$, and only if $n\ge h+1$ when $a_0\neq0$. Explicit examples show that the second bound is attained for $(p,h)=(3,1)$, $(3,2)$ and $(5,2)$.

math.AG↗

Nonexistence of maximal curves of genus five over $\F_{64}$

We show that there is no maximal curve of genus five over $\F_{64}$. As a consequence, $N_{64}(5)=140$, and the genus spectrum of maximal curves over $\F_{64}$ is determined. The proof uses the vanishing of the third iterate of the Cartier operator. We prove that a nonhyperelliptic curve of genus five in characteristic two satisfying this condition is nontrigonal. Its canonical theta characteristic defines a separable cover of degree four with one geometric branch value. The two possible ramification types give either a rational subcanonical point or a point bound obtained from the cubic resolvent. Both cases exclude maximality over $\F_{64}$.

math.AG↗

Maximal Subcovers of the Skabelund Curve: Uniqueness via Genus and Automorphism Groups

We establish a rigidity phenomenon for a family of intermediate covers of the Skabelund curve over $\mathbb{F}_{q^4}$. The Skabelund curve, introduced by D.~Skabelund as a cyclic cover of the Suzuki curve, is a maximal curve with a large automorphism group and plays a central role in the theory of maximal curves over finite fields. For the intermediate covers arising from this construction, we determine their full automorphism groups and compute the Weierstrass semigroups at all $\mathbb{F}_{q^4}$-rational points. Using these structural and arithmetic invariants, we prove that each curve in the family is uniquely determined, up to isomorphism over its field of definition, by the pair consisting of its genus and its full automorphism group. This provides a rigidity-type classification of intermediate Suzuki-type covers; in particular, the Skabelund curve itself is uniquely characterized within this family by its genus and automorphism group.

math.AG↗