On the order sequence of an embedding of the Ree curve (Q2174102)

Let \(p =3, q =3q_0^2\), with \(q_0 = s^s, s \geq 1\). Consider the curve \(X\) given by the following singular space model \[ y^q-y=x^{q_0}(x^q-x), \: z^q-z = x^{q_0}(y^q-y). \] The Deligne-Lusztig curve associated with the Ree group \(^2G_2\) is any curve birationally equivalent to \(X\). Such a curve has genus \(g = \frac{3}{2}q_0(q - 1)(q + q_0+ 1)\), Hasse-Witt invariant \(\gamma = 0\), and automorphism group \(\mathrm{Aut}(X)\) isomorphic to \(^2G_2\). Further, as the number \(X(\mathbb{F}_q)\) of \(\mathbb{F}_q\)-rational points of \(X\) equals \(q^3+1\), \(X\) is \(\mathbb{F}_q\)-optimal. Also, the \(L\)-polynomial \(L _X(t)\) is given by \[ (1 + 3q_0t + qt^2)^{q_0(q^2-1)}(1 + qt^2)^{ q_0(q-1)(q+3q_0+1)/2}. \] This gives rise to the Frobenius linear series \[ D_X = |(1 + 3q_0+ 2q + 3qq_0+ q^2)P_0|, \] where \(P_0\) is any \(\mathbb{F}_q\)-rational point. This paper deals with an \(\mathrm{Aut}(X)\)-invariant subseries \(D \subseteq D_X\) giving rise to a smooth embedding of \(X\) in the projective space \(\mathbb{P}^{13}\). More in detail, the order-sequence of \(D\) is computed (Theorem 1 in the paper). As a corollary, it is determined that the set of Weierstrass points of \(D\) is given precisely by \(X(\mathbb{F}_q)\) (Corollary 9 in the paper). This paper is organized as follows. Section 2 contains the necessary background on linear series on curves and their order-sequence. In section 3, the 14 functions in the function field of \(X\) are presented, as well as, closed formulas for the Hasse derivatives of such functions. The actual computation of the order-sequence is carried on in Section 4, while some of the necessary differential equations are verified in Section 5. Finally, the \(D\)-Weierstrass points are characterized in Section 6.