Source author record

T. Shaska

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.NT Information Theory math.CV math.IT

Catalog footprint

Research overview

19works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2019arXiv

Rational points in the moduli space of genus two

We build a database of genus 2 curves defined over $\mathbb Q$ which contains all curves with minimal absolute height $h \leq 5$ , all curves with moduli height $\mathfrak h \leq 20$ , and all curves with extra automorphisms in standard form $y^2=f(x^2)$ defined over $\mathbb Q$ with height $h \leq 101$ . For each isomorphism class in the database, an equation over its minimal field of definition is provided, the automorphism group of the curve, Clebsch and Igusa invariants. The distribution of rational points in the moduli space $\mathcal M_2$ for which the field of moduli is a field of definition is discussed and some open problems are presented.

preprint2014arXiv

Genus 3 hyperelliptic curves with (2, 4, 4)-split Jacobians

We study degree 2 and 4 elliptic subcovers of hyperelliptic curves of genus 3 defined over $\mathbb C$ . The family of genus 3 hyperelliptic curves which have a degree 2 cover to an elliptic curve $E$ and degree 4 covers to elliptic curves $E_1$ and $E_2$ is a 2-dimensional subvariety of the hyperelliptic moduli $\mathcal H_3$ . We determine this subvariety explicitly. For any given moduli point $\mathfrak p \in \mathcal H_3$ we determine explicitly if the corresponding genus 3 curve $\mathcal X$ belongs or not to such family. When it does, we can determine elliptic subcovers $E$ , $E_1$ , and $E_2$ in terms of the absolute invariants $t_1, \dots, t_6$ as in \cite{hyp_mod_3}. This variety provides a new family of hyperelliptic curves of genus 3 for which the Jacobians completely split. The sublocus of such family when $E_1$ is isomorphic to $E_2$ is a 1-dimensional variety which we determine explicitly. We can also determine $\mathcal X$ and $E$ starting form the $j$ -invariant of $E_1$ .

preprint2013arXiv

Bielliptic curves of genus 3 in the hyperelliptic moduli

In this paper we study bielliptic curves of genus 3 defined over an algebraically closed field $k$ and the intersection of the moduli space $\M_3^b$ of such curves with the hyperelliptic moduli $\H_3$. Such intersection $§$ is an irreducible, 3-dimensional, rational algebraic variety. We determine the equation of this space in terms of the $Gl(2, k)$ -invariants of binary octavics as defined in \cite{hyp_mod_3} and find a birational parametrization of $§$ . We also compute all possible subloci of curves for all possible automorphism group $G$ . Moreover, for every rational moduli point $\p \in §$, such that $| \Aut (\p) | > 4$, we give explicitly a rational model of the corresponding curve over its field of moduli in terms of the $Gl(2, k)$ -invariants.

preprint2013arXiv

Degree 4 coverings of elliptic curves by genus 2 curves

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.

preprint2013arXiv

Degree even coverings of elliptic curves by genus 2 curves

In this survey we study the genus 2 curves with $(n, n)$ -split Jacobian for even $n$ .

preprint2013arXiv

Determining equations of families of cyclic curves

In previous work we determined automorphism groups of cyclic algebraic curves defined over fields of any odd characteristic. In this paper we determine parametric equations of families of curves for each automorphism group for such curves.

preprint2013arXiv

Quantum codes from superelliptic curves

Let $\X$ be an algebraic curve of genus $g \geq 2$ defined over a field $\F_q$ of characteristic $p > 0$ . From $\X$, under certain conditions, we can construct an algebraic geometry code $C$ . If the code $C$ is self-orthogonal under the symplectic product then we can construct a quantum code $Q$ , called a QAG-code. In this paper we study the construction of such codes from curves with automorphisms and the relation between the automorphism group of the curve $\X$ and the codes $C$ and $Q$ .

preprint2013arXiv

Subvarieties of the hyperelliptic moduli determined by group actions

Let $\mathcal H_g$ be the moduli space of genus $g$ hyperelliptic curves. In this note, we study the locus $\mathcal L$ in $\mathcal H_g$ of curves admitting a $G$ -action of given ramification type $σ$ and inclusions between such loci. For each genus we determine the list of all possible groups, the inclusions among the loci, and the corresponding equations of the generic curve in $\mathcal L$ . The proof of the results is based solely on representations of finite subgroups of $PGL_2 (\mathbb C)$ and the Riemann-Hurwitz formula.

preprint2012arXiv

Codes over rings of size $p^2$ and lattices over imaginary quadratic fields

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$ .

preprint2012arXiv

Codes over rings of size four, Hermitian lattices, and corresponding theta functions

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)$.

preprint2012arXiv

Genus 2 curves that admit a degree 5 map to an elliptic curve

We continue our study of genus 2 curves $C$ that admit a cover $C \to E$ to a genus 1 curve $E$ of prime degree $n$ . These curves $C$ form an irreducible 2-dimensional subvariety $Ł_n$ of the moduli space $\M_2$ of genus 2 curves. Here we study the case $n=5$ . This extends earlier work for degree 2 and 3, aimed at illuminating the theory for general $n$ . We compute a normal form for the curves in the locus $Ł_5$ and its three distinguished subloci. Further, we compute the equation of the elliptic subcover in all cases, give a birational parametrization of the subloci of $Ł_5$ as subvarieties of $\M_2$ and classify all curves in these loci which have extra automorphisms.

preprint2012arXiv

Genus two curves covering elliptic curves: a computational approach

A genus 2 curve $C$ has an elliptic subcover if there exists a degree $n$ maximal covering $ψ: C \to E$ to an elliptic curve $E$ . Degree $n$ elliptic subcovers occur in pairs $(E, E')$ . The Jacobian $J_C$ of $C$ is isogenous of degree $n^2$ to the product $E \times E'$ . We say that $J_C$ is $(n, n)$ -split. The locus of $C$ , denoted by $Ł_n$ , is an algebraic subvariety of the moduli space $\M_2$. The space $Ł_2$ was studied in Shaska/Völklein and Gaudry/Schost. The space $Ł_3$ was studied in Shaska (2004) were an algebraic description was given as sublocus of $\M_2$. In this survey we give a brief description of the spaces $Ł_n$ for a general $n$ and then focus on small $n$ . We describe some of the computational details which were skipped in Shaska/Völklein and Shaska (2004). Further we explicitly describe the relation between the elliptic subcovers $E$ and $E'$ . We have implemented most of these relations in computer programs which check easily whether a genus 2 curve has $(2, 2)$ or $(3, 3)$ split Jacobian. In each case the elliptic subcovers can be explicitly computed.

preprint2012arXiv

Hyperelliptic curves of genus 3 with prescribed automorphism group

We study genus 3 hyperelliptic curves which have an extra involution. The locus $Ł_3$ of these curves is a 3-dimensional subvariety in the genus 3 hyperelliptic moduli $\H_3$. We find a birational parametrization of this locus by affine 3-space. For every moduli point $\p \in \H_3$ such that $|\Aut (\p)|>2$, the field of moduli is a field of definition. We provide a rational model of the curve over its field of moduli for all moduli points $\p \in \H_3$ such that $|\Aut(\p)|>4$. This is the first time that such a rational model of these curves appears in the literature.

preprint2012arXiv

Hyperelliptic curves with reduced automorphism group A5

We study genus $g$ hyperelliptic curves with reduced automorphism group $A_5$ and give equations $y^2=f(x)$ for such curves in both cases where $f(x)$ is a decomposable polynomial in $x^2$ or $x^5$ . For any fixed genus the locus of such curves is a rational variety. We show that for every point in this locus the field of moduli is a field of definition. Moreover, there exists a rational model $y^2=F(x)$ or $y^2=x F(x)$ of the curve over its field of moduli where $F(x)$ can be chosen to be decomposable in $x^2$ or $x^5$ . While similar equations have been given in Bujalance, Cirre, Gamboa and Gromadzki (2001) over $\mathbb R$ , this is the first time that these equations are given over the field of moduli of the curve.

preprint2012arXiv

On the generic curve of genus 3

We study genus $g$ coverings of full moduli dimension of degree $d=[\frac {g+3} 2]$ . There is a homomorphism between the corresponding Hurwitz space $\H$ of such covers to the moduli space $\M_g$ of genus $g$ curves. In the case $g=3$ , using the signature of such covering we provide an equation for the generic ternary quartic. Further, we discuss the degenerate subloci of the corresponding Hurwitz space of such covers from the computational group theory viewpoint. In the last section, we show that one of these degenerate loci corresponds to the locus of curves with automorphism group $C_3$ . We give necessary conditions in terms of covariants of ternary quartics for a genus 3 curve to belong to this locus.

preprint2012arXiv

Some remarks on the hyperelliptic moduli of genus 3

In 1967, Shioda \cite{Shi1} determined the ring of invariants of binary octavics and their syzygies using the symbolic method. We discover that the syzygies determined in \cite{Shi1} are incorrect. In this paper, we compute the correct equations among the invariants of the binary octavics and give necessary and sufficient conditions for two genus 3 hyperelliptic curves to be isomorphic over an algebraically closed field $k$ , $\ch k \neq 2, 3, 5, 7$ . For the first time, an explicit equation of the hyperelliptic moduli for genus 3 is computed in terms of absolute invariants.

preprint2012arXiv

Theta functions and algebraic curves with automorphisms

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.$

preprint2003arXiv

Determining the automorphism group of a hyperelliptic curve

In this note we discuss techniques for determining the automorphism group of a genus $g$ hyperelliptic curve $\X_g$ defined over an algebraically closed field $k$ of characteristic zero. The first technique uses the classical $GL_2 (k)$ -invariants of binary forms. This is a practical method for curves of small genus, but has limitations as the genus increases, due to the fact that such invariants are not known for large genus. The second approach, which uses dihedral invariants of hyperelliptic curves, is a very convenient method and works well in all genera. First we define the normal decomposition of a hyperelliptic curve with extra automorphisms. Then dihedral invariants are defined in terms of the coefficients of this normal decomposition. We define such invariants independently of the automorphism group $\Aut (\X_g)$. However, to compute such invariants the curve is required to be in its normal form. This requires solving a nonlinear system of equations. We find conditions in terms of classical invariants of binary forms for a curve to have reduced automorphism group $A_4$ , $S_4$ , $A_5$ . As far as we are aware, such results have not appeared before in the literature.

preprint2002arXiv

Genus 2 curves with (3,3)-split Jacobian and large automorphism group

Let $\C$ be a genus 2 curve defined over $k$ , $char (k) =0$ . If $\C$ has a $(3,3)$ -split Jacobian then we show that the automorphism group $Aut(\C)$ is isomorphic to one of the following: $\bZ_2, V_4, D_8$, or $D_{12}$ . There are exactly six $\bC$-isomorphism classes of genus two curves $\C$ with $Aut(\C)$ isomorphic to $D_8$ (resp., $D_{12}$ ). %We compute their absolute invariants $i_1, i_2, i_3$ . We show that exactly four (resp., three) of these classes with group $D_8$ (resp., $D_{12}$ ) have representatives defined over $\bQ$. We discuss some of these curves in detail and find their rational points.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

T. Shaska

Research overview

Is this your work?

19 publications

Rational points in the moduli space of genus two

Genus 3 hyperelliptic curves with (2, 4, 4)-split Jacobians

Bielliptic curves of genus 3 in the hyperelliptic moduli

Degree 4 coverings of elliptic curves by genus 2 curves

Degree even coverings of elliptic curves by genus 2 curves

Determining equations of families of cyclic curves

Quantum codes from superelliptic curves

Subvarieties of the hyperelliptic moduli determined by group actions

Codes over rings of size $p^2$ and lattices over imaginary quadratic fields

Codes over rings of size four, Hermitian lattices, and corresponding theta functions

Genus 2 curves that admit a degree 5 map to an elliptic curve

Genus two curves covering elliptic curves: a computational approach

Hyperelliptic curves of genus 3 with prescribed automorphism group

Hyperelliptic curves with reduced automorphism group A5

On the generic curve of genus 3

Some remarks on the hyperelliptic moduli of genus 3

Theta functions and algebraic curves with automorphisms

Determining the automorphism group of a hyperelliptic curve

Genus 2 curves with (3,3)-split Jacobian and large automorphism group

See the researcher in context

Building this map preview

T. Shaska

Research overview

Is this your work?

19 publications

Rational points in the moduli space of genus two

Genus 3 hyperelliptic curves with (2, 4, 4)-split Jacobians

Bielliptic curves of genus 3 in the hyperelliptic moduli

Degree 4 coverings of elliptic curves by genus 2 curves

Degree even coverings of elliptic curves by genus 2 curves

Determining equations of families of cyclic curves

Quantum codes from superelliptic curves

Subvarieties of the hyperelliptic moduli determined by group actions

Codes over rings of size p2p^2p2 and lattices over imaginary quadratic fields

Codes over rings of size four, Hermitian lattices, and corresponding theta functions

Genus 2 curves that admit a degree 5 map to an elliptic curve

Genus two curves covering elliptic curves: a computational approach

Hyperelliptic curves of genus 3 with prescribed automorphism group

Hyperelliptic curves with reduced automorphism group A5

On the generic curve of genus 3

Some remarks on the hyperelliptic moduli of genus 3

Theta functions and algebraic curves with automorphisms

Determining the automorphism group of a hyperelliptic curve

Genus 2 curves with (3,3)-split Jacobian and large automorphism group

See the researcher in context

Building this map preview

Codes over rings of size $p^2$ and lattices over imaginary quadratic fields