-
Degree 4 coverings of elliptic curves by genus 2 curves
Authors:
T. Shaska,
G. Wijesiri,
S. Wolf,
L. Woodland
Abstract:
Genus two curves covering elliptic curves have been the object of study of many articles. For a fixed degree $n$ the subloci of the moduli space $\mathcal M_2$ of curves having a degree $n$ elliptic subcover has been computed for $n=3, 5$ and discussed in detail for $n$ odd; see \cite{Sh1, SV2, Fr, FK}. When the degree of the cover is even the case in general has been treated in \cite{PRS}. In thi…
▽ More
Genus two curves covering elliptic curves have been the object of study of many articles. For a fixed degree $n$ the subloci of the moduli space $\mathcal M_2$ of curves having a degree $n$ elliptic subcover has been computed for $n=3, 5$ and discussed in detail for $n$ odd; see \cite{Sh1, SV2, Fr, FK}. When the degree of the cover is even the case in general has been treated in \cite{PRS}. In this paper we compute the sublocus of $\mathcal M_2$ of curves having a degree 4 elliptic subcover.
△ Less
Submitted 19 January, 2013;
originally announced January 2013.
-
Thetanulls of cyclic curves of small genus
Authors:
E. Previato,
T. Shaska,
G. S. Wijesiri
Abstract:
We study relations among the classical thetanulls of cyclic curves, namely curves $\mathcal X$ (of genus $g(\mathcal X)>1$) with an automorphism $σ$ such that $σ$ generates a normal subgroup of the group $G$ of automorphisms, and $g (\mathcal X/ < σ>) =0$. Relations between thetanulls and branch points of the projection are the object of much classical work, especially for hyperelliptic curves, an…
▽ More
We study relations among the classical thetanulls of cyclic curves, namely curves $\mathcal X$ (of genus $g(\mathcal X)>1$) with an automorphism $σ$ such that $σ$ generates a normal subgroup of the group $G$ of automorphisms, and $g (\mathcal X/ < σ>) =0$. Relations between thetanulls and branch points of the projection are the object of much classical work, especially for hyperelliptic curves, and of recent work, in the cyclic case. We determine the curves of genus 2 and 3 in the locus $\mathcal M_g (G, \textbf{C})$ for all $G$ that have a normal subgroup $<\s>$ as above, and all possible signatures \textbf{C}, via relations among their thetanulls.
△ Less
Submitted 19 January, 2013;
originally announced January 2013.
-
Theta functions and algebraic curves with automorphisms
Authors:
T. Shaska,
G. S. Wijesiri
Abstract:
Let $\X$ be an irreducible, smooth, projective curve of genus $g \geq 2$ defined over the complex field $\C.$ Then there is a covering $π: \X \longrightarrow ¶^1,$ where $¶^1$ denotes the projective line. The problem of expressing branch points of the covering $π$ in terms of the transcendentals (period matrix, thetanulls, e.g.) is classical. It goes back to Riemann, Jacobi, Picard and Rosenhein.…
▽ More
Let $\X$ be an irreducible, smooth, projective curve of genus $g \geq 2$ defined over the complex field $\C.$ Then there is a covering $π: \X \longrightarrow ¶^1,$ where $¶^1$ denotes the projective line. The problem of expressing branch points of the covering $π$ in terms of the transcendentals (period matrix, thetanulls, e.g.) is classical. It goes back to Riemann, Jacobi, Picard and Rosenhein. Many mathematicians, including Picard and Thomae, have offered partial treatments for this problem. In this work, we address the problem for cyclic curves of genus 2, 3, and 4 and find relations among theta functions for curves with automorphisms. We consider curves of genus $g > 1$ admitting an automorphism $σ$ such that $\X^σ$ has genus zero and $σ$ generates a normal subgroup of the automorphism group $Aut(\X)$ of $\X$.
To characterize the locus of cyclic curves by analytic conditions on its Abelian coordinates, in other words, theta functions, we use some classical formulas, recent results of Hurwitz spaces, and symbolic computations, especially for genera 2 and 3. For hyperelliptic curves, we use Thomae's formula to invert the period map and discover relations among the classical thetanulls of cyclic curves. For non hyperelliptic curves, we write the equations in terms of thetanulls.
Fast genus 2 curve arithmetic in the Jacobian of the curve is used in cryptography and is based on inverting the moduli map for genus 2 curves and on some other relations on theta functions. We determine similar formulas and relations for genus 3 hyperelliptic curves and offer an algorithm for how this can be done for higher genus curves. It is still to be determined whether our formulas for $g=3$ can be used in cryptographic applications as in $g=2.$
△ Less
Submitted 5 October, 2012;
originally announced October 2012.
-
Codes over rings of size $p^2$ and lattices over imaginary quadratic fields
Authors:
T. Shaska,
C. Shor,
G. Wijesiri
Abstract:
Let $\ell>0$ be a square-free integer congruent to 3 mod 4 and $Ø_K$ the ring of integers of the imaginary quadratic field $K=Q(\sqrt{-\ell})$. Codes $C$ over rings $Ø_K / p Ø_K$ determine lattices $Λ_\ell (C) $ over $K$. If $ p \nmid \ell$ then the ring $\R:=Ø_K / p Ø_K$ is isomorphic to $\F_{p^2}$ or $\F_p \times \F_p$. Given a code $C$ over $\R$, theta functions on the corresponding lattices ar…
▽ More
Let $\ell>0$ be a square-free integer congruent to 3 mod 4 and $Ø_K$ the ring of integers of the imaginary quadratic field $K=Q(\sqrt{-\ell})$. Codes $C$ over rings $Ø_K / p Ø_K$ determine lattices $Λ_\ell (C) $ over $K$. If $ p \nmid \ell$ then the ring $\R:=Ø_K / p Ø_K$ is isomorphic to $\F_{p^2}$ or $\F_p \times \F_p$. Given a code $C$ over $\R$, theta functions on the corresponding lattices are defined. These theta series $θ_{Λ_{\ell}(C)}$ can be written in terms of the complete weight enumerator of $C$. We show that for any two $\ell < \ell^\prime$ the first $\frac {\ell + 1} 4$ terms of their corresponding theta functions are the same. Moreover, we conjecture that for $\ell > \frac {p(n+1)(n+2)} 2$ there is a unique complete weight enumerator corresponding to a given theta function. We verify the conjecture for primes $p< 7$ and $\ell \leq 59$.
△ Less
Submitted 3 September, 2012;
originally announced September 2012.
-
Codes over rings of size four, Hermitian lattices, and corresponding theta functions
Authors:
T. Shaska,
G. S. Wijesiri
Abstract:
Let $K=Q(\sqrt{-\ell})$ be an imaginary quadratic field with ring of integers $Ø_K$, where $\ell$ is a square free integer such that $\ell\equiv 3 \mod 4$ and $C=[n, k]$ be a linear code defined over $Ø_K/2Ø_K$. The level $\ell$ theta function $\Th_{Ł_{\ell} (C)} $ of $C$ is defined on the lattice $Ł_{\ell} (C):= \set {x \in Ø_K^n : ρ_\ell (x) \in C}$, where $ρ_{\ell}:Ø_K \rightarrow Ø_K/2Ø_K$ is…
▽ More
Let $K=Q(\sqrt{-\ell})$ be an imaginary quadratic field with ring of integers $Ø_K$, where $\ell$ is a square free integer such that $\ell\equiv 3 \mod 4$ and $C=[n, k]$ be a linear code defined over $Ø_K/2Ø_K$. The level $\ell$ theta function $\Th_{Ł_{\ell} (C)} $ of $C$ is defined on the lattice $Ł_{\ell} (C):= \set {x \in Ø_K^n : ρ_\ell (x) \in C}$, where $ρ_{\ell}:Ø_K \rightarrow Ø_K/2Ø_K$ is the natural projection. In this paper, we prove that: %
i) for any $\ell, \ell^\prime$ such that $\ell \leq \ell^\prime$, $\Th_{Λ_\ell}(q)$ and $\Th_{Λ_{\ell^\prime}}(q)$ have the same coefficients up to $q^{\frac {\ell+1}{4}}$, %
ii) for $\ell \geq \frac {2(n+1)(n+2)}{n} -1$, $\Th_{Ł_{\ell}} (C)$ determines the code $C$ uniquely, %
iii) for $\ell < \frac {2(n+1)(n+2)}{n} -1$ there is a positive dimensional family of symmetrized weight enumerator polynomials corresponding to $\Th_{\La_\ell}(C)$.
△ Less
Submitted 3 September, 2012;
originally announced September 2012.
