BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

T. Shaska

T. Shaska contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.NTInformation Theorymath.CVmath.IT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
19works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

19 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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)$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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&#39;)$. The Jacobian $J_C$ of $C$ is isogenous of degree $n^2$ to the product $E \times E&#39;$. 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&#39;$. 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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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&#39;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.$

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access