arXiv Science⌕ Search

arXiv subjects

Ahmad Kazemifard

Publications and source records attributed to Ahmad Kazemifard.

3 recordsLinked to original sources

Artin-Schreier curves of prescribed p-rank without extra automorphisms

Let p be an odd prime. We study the Artin-Schreier analogue of Poonen's problem of constructing curves without extra automorphisms. An Artin-Schreier curve carries an unavoidable deck group Cp, so the smallest possible full geometric automorphism group inside the Artin-Schreier locus is Cp. We determine the exact numerical range in which this minimum is attained, for every p-rank. More precisely, for integers r >= 0 and N >= 1, there exists an Artin-Schreier curve X/Fp with g(X) = (p - 1)N/2, gamma(X) = r(p - 1), Aut_Fp(X) is isomorphic to Cp if and only if either r = 0, p does not divide N + 1, N >= 3 and (p,N) not equal to (3, 3), or r >= 1, N >= 2r and (r,N) not equal to (1, 2). All models are defined over the prime field by explicit equations together with elementary choices of auxiliary polynomials, and every excluded admissible case is shown to carry an extra geometric automorphism. The main structural input is the theorem of Valentini and Madan on the uniqueness of the rational subfield of index p outside three exceptional families. We exclude these families by intrinsic arguments: the genus and p-rank in most cases, Nakajima's bound on p-subgroups of automorphism groups of ordinary curves for the ordinary family, and the Lehr-Matignon normal form for isomorphisms of one-point covers for the monomial family.

math.AG↗

Cyclic automorphisms beyond the canonical bound

Let X be a smooth projective curve of genus g >= 2 over an algebraically closed field K, and suppose that Aut(X) contains a cyclic subgroup G of order N > 2g - 2. The cases N >= 2g + 1 are known. We treat the two boundary values N = 2g and N = 2g - 1. In the tame case we obtain an explicit finite list of ramification signatures. In odd characteristic we prove that the Sylow p-subgroup of G has order p and determine all wild boundary cases by a direct ramification analysis; the resulting curves are Artin-Schreier-Kummer fiber products. In characteristic two we prove that the 2-part has order at most four and classify all wild boundary cases, including Artin-Schreier-Witt normal forms for the C4 and C12 cases.

math.AG↗

On the generalized Ree curve

Let p be an odd prime, let q_0 := p^s with s >= 1, and put q := p q_0^2. We study the smooth projective curve R_{p,s} with function field F_q(x,y,z), y^q - y = x^{q_0}(x^q - x), z^q - z = x^{2q_0}(x^q - x). The two-equation layer is already present in the ray-class and big-action literature; for p = 3 it gives the classical Ree curve. In analogy with the generalized Suzuki curve, we call R_{p,s} the generalized Ree curve associated with p and s. For p > 3 our principal geometric result determines the full geometric automorphism group: Aut_{F_q}(R_{p,s}) is isomorphic to the semidirect product of U and F_q^*, with |U| = q^3. The natural p-group U gives a big action; we determine the complete ramification filtration of the elementary abelian cover R_{p,s} -> P^1_x and prove that (R_{p,s}, P_infinity) is Castle. In characteristic 3 the same subgroup is only the stabilizer of P_infinity in the full Ree group, so the automorphism structure exhibits a sharp characteristic-three dichotomy. On the arithmetic side, writing Y_{p,s} : y^q - y = x^{q_0}(x^q - x), Z_{p,s} : z^q - z = x^{2q_0}(x^q - x), we prove the F_q-isogeny Jac(R_{p,s}) ~ Jac(Y_{p,s}) x Jac(Z_{p,s})^q. The first factor is supersingular and all three curves have p-rank zero. For p > 3 the first Newton slope of Z_{p,s} satisfies 1/(pq_0 + 2) <= lambda_min(Z_{p,s}) <= 1/3, so Z_{p,s} and R_{p,s} are not supersingular. For fixed p > 3 and s -> infinity, the order of the full automorphism group is asymptotic to 2^(8/5) p^(-4/5) q^(8/5).

math.AG↗