On the constellations of Weierstrass points (Q1359085)

Let \(X\) be a projective, irreducible, non-singular algebraic curve defined over an algebraically closed field \(k\) of characteristic \(p\geq 0\). Let \(n\geq 1\) be an integer and \(C_X\) a canonical divisor of \(X\). The pluricanonical linear system \(|nC_X |\) defines a nondegenerate morphism \(\pi_n: X\to \mathbb{P}^{N(n)}\). To any \(P\in X\) we then associate the sequence of multiplicities \[ \{\nu_P (\pi^*_n (H)):\;H\text{ hyperplane}\subseteq \mathbb{P}^{N(n)}\} = \{\varepsilon_0 (P)< \varepsilon_1(P) < \cdots <\varepsilon _{N(n)} (P)\}. \] Such a sequence is the same for all but finitely many points, the so called \(n\)-Weierstrass points of \(X\). Let \(P_1, \dots, P_{\omega_n}\) be the \(n\)-Weierstrass points (counted with multiplicity according to their \(n\)-Weierstrass weights). Definition. The orbit \({\mathcal O}_n(X)\) of \((\pi_n (P_1), \dots, \pi_n (P_{\omega_n})) \in (\mathbb{P}^{N(n)})^{\omega_n}\) under the action of the product of the symmetric group \(S_{\omega_n}\) and the projective linear group \(\text{PGL} (N(n)+1)\) is called the constellation of \(n\)-Weierstrass points of \(X\). \({\mathcal O}_1 (X)\) is called the constellation of Weierstrass points of \(X\). Theorem. Let \(X\) and \(X_1\) be \(\gamma\)-hyperelliptic curves of genus \(g\geq 9\gamma - 17+\frac{43\gamma-20}{2\gamma^2+\gamma-1}\) with \(\gamma\geq 3\). Assume that \(p=0\) or \(p>2g-2\). Then \(X\) and \(X_1\) are isomorphic provided \({\mathcal O}_1(X)={\mathcal O}_1(X_1)\).