Showing 1–50 of 68 results for author: Shaska, T

Machine learning for moduli space of genus two curves and an application to post-quantum cryptography

Authors: Elira Shaska, Tony Shaska

Abstract: We use machine learning to study the locus ${\mathcal L}_n$ of genus two curves with $(n, n)$-split Jacobian. More precisely we design a transformer model which given values for the Igusa invariants determines if the corresponding genus two curve is in the locus ${\mathcal L}_n$, for $n=2, 3, 5, 7$. Such curves are important in isogeny based cryptography. During this study we discover that there… ▽ More We use machine learning to study the locus ${\mathcal L}_n$ of genus two curves with $(n, n)$-split Jacobian. More precisely we design a transformer model which given values for the Igusa invariants determines if the corresponding genus two curve is in the locus ${\mathcal L}_n$, for $n=2, 3, 5, 7$. Such curves are important in isogeny based cryptography. During this study we discover that there are no rational points ${\mathfrak p} \in {\mathcal L}_n$ with weighted moduli height $\leq 2$ in any of ${\mathcal L}_2$, ${\mathcal L}_3$, and ${\mathcal L}_5$. This extends on previous work of the authors to use machine learning methods to study the moduli space of genus 2 algebraic curves. △ Less

Submitted 25 March, 2024; originally announced March 2024.

Comments: This is a short summary of extensive computations done in the moduli space of genus 2 curves with focus on curves with (n,n)-split Jacobians

MSC Class: 94A60; 68T20

Vojta's conjecture on weighted projective varieties

Authors: Sajad Salami, Tony Shaska

Abstract: We formulate Vojta's conjecture for smooth weighted projective varieties, weighted multiplier ideal sheaves, and weighted log pairs and prove that all three versions of the conjecture are equivalent. In the process, we introduce generalized weighted general common divisors and express them as heights of weighted projective spaces blown-up relative to an exceptional divisor. Furthermore, we prove t… ▽ More We formulate Vojta's conjecture for smooth weighted projective varieties, weighted multiplier ideal sheaves, and weighted log pairs and prove that all three versions of the conjecture are equivalent. In the process, we introduce generalized weighted general common divisors and express them as heights of weighted projective spaces blown-up relative to an exceptional divisor. Furthermore, we prove that assuming Vojta's conjecture for weighted projective varieties one can bound the $\log {\rm h_{wgcd}}$ for any subvariety of codimension $\geq 2$ and a finite set of places $S$. An analogue result is proved for weighted homogeneous polynomials with integer coefficients. △ Less

Submitted 11 April, 2024; v1 submitted 19 September, 2023; originally announced September 2023.

MSC Class: 11G50; 14G40

Local and Global Heights on Weighted Projective Varieties

Authors: Sajad Salami, Tony Shaska

Abstract: We investigate local and global weighted heights a-la Weil for weighted projective spaces via Cartier and Weil divisors and extend the definition of weighted heights on weighted projective spaces from arXiv:1902.06563 to weighted varieties and closed subvarieties. We prove that any line bundle on a weighted variety admits a locally bounded weighted $M$-metric. Using this fact, we define local and… ▽ More We investigate local and global weighted heights a-la Weil for weighted projective spaces via Cartier and Weil divisors and extend the definition of weighted heights on weighted projective spaces from arXiv:1902.06563 to weighted varieties and closed subvarieties. We prove that any line bundle on a weighted variety admits a locally bounded weighted $M$-metric. Using this fact, we define local and global weighted heights for weighted varieties in weighted projective spaces and their closed subschemes and show their fundamental properties. △ Less

Submitted 19 November, 2023; v1 submitted 4 April, 2022; originally announced April 2022.

Comments: The paper was posted earlier in a longer version and called "Local and global heights on weighted projective varieties and Vojta's conjecture". After the referees suggestions it was split into two papers. This is the first one of the two, which in cludded a modified proof for Proposition 4

MSC Class: 14G40

Arithmetic inflection of superelliptic curves

Authors: Ethan Cotterill, Ignacio Darago, Cristhian Garay López, Changho Han, Tony Shaska

Abstract: In this paper, we explore the inflectionary behavior of linear series on superelliptic curves $X$ over fields of arbitrary characteristic. Here we give a precise description of the inflection of linear series over the ramification locus of the superelliptic projection; and we initiate a study of those inflectionary varieties that parameterize the inflection points of linear series on $X$ supported… ▽ More In this paper, we explore the inflectionary behavior of linear series on superelliptic curves $X$ over fields of arbitrary characteristic. Here we give a precise description of the inflection of linear series over the ramification locus of the superelliptic projection; and we initiate a study of those inflectionary varieties that parameterize the inflection points of linear series on $X$ supported away from the superelliptic ramification locus that is predicated on the behavior of their Newton polytopes. △ Less

Submitted 10 October, 2021; originally announced October 2021.

Comments: 34 pages, 6 figures

MSC Class: 14Hxx; 14Mxx; 11Gxx; 05Exx

Superelliptic curves with many automorphisms and CM Jacobians

Authors: Andrew Obus, Tony Shaska

Abstract: Let $\mathcal{C}$ be a smooth, projective, genus $g\geq 2$ curve, defined over $\mathbb{C}$. Then $\mathcal{C}$ has \emph{many automorphisms} if its corresponding moduli point $p \in \mathcal{M}_g$ has a neighborhood $U$ in the complex topology, such that all curves corresponding to points in $U \setminus \{p \}$ have strictly fewer automorphisms than $\mathcal{C}$. We compute completely the list… ▽ More Let $\mathcal{C}$ be a smooth, projective, genus $g\geq 2$ curve, defined over $\mathbb{C}$. Then $\mathcal{C}$ has \emph{many automorphisms} if its corresponding moduli point $p \in \mathcal{M}_g$ has a neighborhood $U$ in the complex topology, such that all curves corresponding to points in $U \setminus \{p \}$ have strictly fewer automorphisms than $\mathcal{C}$. We compute completely the list of superelliptic curves having many automorphisms. For each of these curves, we determine whether its Jacobian has complex multiplication. As a consequence, we prove the converse of Streit's complex multiplication criterion for these curves. △ Less

Submitted 25 June, 2020; v1 submitted 22 June, 2020; originally announced June 2020.

Comments: Incorrect program file very_good_primes.sage replaced with stable_reduction.sage, no changes in article, still 24 pages

MSC Class: 14H37 (primary); 14H45; 14K22 (secondary)

Journal ref: Math. Comp. 90 (2021), no. 332, 2951--2975

Geometry of Prym varieties for special bielliptic curves of genus three and five

Authors: Adrian Clingher, Andreas Malmendier, Tony Shaska

Abstract: We construct two pencils of bielliptic curves of genus three and genus five. The first pencil is associated with a general abelian surface with a polarization of type $(1,2)$. The second pencil is related to the first by an unramified double cover, the Prym variety of which is canonically isomorphic to the Jacobian of a very general curve of genus two. Our results are obtained by analyzing suitabl… ▽ More We construct two pencils of bielliptic curves of genus three and genus five. The first pencil is associated with a general abelian surface with a polarization of type $(1,2)$. The second pencil is related to the first by an unramified double cover, the Prym variety of which is canonically isomorphic to the Jacobian of a very general curve of genus two. Our results are obtained by analyzing suitable elliptic fibrations on the associated Kummer surfaces and rational double covers among them. △ Less

Submitted 7 September, 2021; v1 submitted 10 May, 2020; originally announced May 2020.

Comments: 35 pages, 4 figures

MSC Class: 14H40; 14J28

Journal ref: Pure Appl. Math. Q. 17 (2021), no. 5, 1739-1784

The addition on Jacobian varieties from a geometric viewpoint

Authors: Yaacov Kopeliovich, Tony Shaska

Abstract: We give a geometric interpretation of the group law for Jacobian varieties by extending the geometric construction of chords and tangents on an elliptic curve. For any given algebraic curve $\mathcal X$ and reduced divisors $D_1, D_2 \in \mbox{Jac } \mathcal X$, we define curves $\mathcal X^\prime$ and $\mathcal X^{"}$ such that the intersection $\mathcal X \cap \mathcal X^\prime$ determines preci… ▽ More We give a geometric interpretation of the group law for Jacobian varieties by extending the geometric construction of chords and tangents on an elliptic curve. For any given algebraic curve $\mathcal X$ and reduced divisors $D_1, D_2 \in \mbox{Jac } \mathcal X$, we define curves $\mathcal X^\prime$ and $\mathcal X^{"}$ such that the intersection $\mathcal X \cap \mathcal X^\prime$ determines precisely the divisor $-(D_1+D_2)$ and the intersection $\mathcal X\cap \mathcal X^{"}$ determines $D_1+D_2$. For superelliptic curves such formulas are made explicit. △ Less

Submitted 27 October, 2019; v1 submitted 25 July, 2019; originally announced July 2019.

MSC Class: 14H05; 14H40 (Primary); 14H55; 94A60 (Secondary)

From hyperelliptic to superelliptic curves

Authors: Andreas Malmendier, Tony Shaska

Abstract: In this long survey article we show that the theory of elliptic and hyperelliptic curves can be extended naturally to all superelliptic curves. We focus on automorphism groups, stratification of the moduli space $\mathcal{M}_g$, binary forms, invariants of curves, weighted projective spaces, minimal models for superelliptic curves, field of moduli versus field of definition, theta functions, Jacob… ▽ More In this long survey article we show that the theory of elliptic and hyperelliptic curves can be extended naturally to all superelliptic curves. We focus on automorphism groups, stratification of the moduli space $\mathcal{M}_g$, binary forms, invariants of curves, weighted projective spaces, minimal models for superelliptic curves, field of moduli versus field of definition, theta functions, Jacobian varieties, addition law in the Jacobian, isogenies among Jacobians, etc. Many recent developments on the theory of superelliptic curves are provided as well as many open problems. △ Less

Submitted 5 June, 2019; originally announced June 2019.

Comments: survey paper on hyperelliptic and superelliptic curves; 96 pages

MSC Class: 14H10; 14H37; 14H40

Journal ref: Albanian J. Math. 13 (2019), no. 1, 107-200

Superelliptic curves with minimal weighted moduli height

Authors: Tanush Shaska

Abstract: For a superelliptic curve $\mathcal X$, defined over $\mathbb Q$, let $\mathfrak p$ denote the corresponding moduli point in the weighted moduli space. We describe a method how to determine a minimal integral model of $\mathcal X$ such that: i) the corresponding moduli point $\mathfrak p$ has minimal weighted height, ii) the equation of the curve has minimal coefficients. Part i) is accomplished b… ▽ More For a superelliptic curve $\mathcal X$, defined over $\mathbb Q$, let $\mathfrak p$ denote the corresponding moduli point in the weighted moduli space. We describe a method how to determine a minimal integral model of $\mathcal X$ such that: i) the corresponding moduli point $\mathfrak p$ has minimal weighted height, ii) the equation of the curve has minimal coefficients. Part i) is accomplished by reduction of the moduli point which is equivalent with obtaining a representation of the moduli point $\mathfrak p$ with minimal weighted height, as defined in [5], and part ii) by the classical reduction of the binary forms. △ Less

Submitted 26 July, 2021; v1 submitted 18 April, 2019; originally announced April 2019.

Comments: The accepted version is updated. The paper will appear in Contemporary Math., (AMS), 2022

Rational points in the moduli space of genus two

Authors: L. Beshaj, R. Hidalgo, S. Kruk, A. Malmendier, S. Quispe, T. Shaska

Abstract: 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… ▽ More 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. △ Less

Submitted 21 February, 2019; originally announced February 2019.

MSC Class: 14H50 (11G05 14H10 14Q05)

Journal ref: Contemp. Math., 703, 83-115, Amer. Math. Soc., Providence, RI, 2018

Weighted greatest common divisors and weighted heights

Authors: Lubjana Beshaj, Jaime Gutierrez, Tony Shaska

Abstract: We introduce the weighted greatest common divisor of a tuple of integers and explore some of it basic properties. Furthermore, for a set of heights $\mathfrak w=(q_0, \ldots , q_n)$, we use the concept of the weighted greatest common divisor to define a height $\mathfrak{h} (\mathfrak p)$ on weighted projective spaces $\mathbb{WP}_{\mathfrak w}^n (k)$. We prove some of the basic properties of this… ▽ More We introduce the weighted greatest common divisor of a tuple of integers and explore some of it basic properties. Furthermore, for a set of heights $\mathfrak w=(q_0, \ldots , q_n)$, we use the concept of the weighted greatest common divisor to define a height $\mathfrak{h} (\mathfrak p)$ on weighted projective spaces $\mathbb{WP}_{\mathfrak w}^n (k)$. We prove some of the basic properties of this weighted height, including an analogue of the Northcott's theorem for heights on projective spaces. △ Less

Submitted 19 March, 2019; v1 submitted 18 February, 2019; originally announced February 2019.

MSC Class: 11G50; 14G40

Journal ref: Journal of Number Theory, 2020

Isogenous components of Jacobian surfaces

Authors: Lubjana Beshaj, Artur Elezi, Tony Shaska

Abstract: Let $\mathcal X$ be a genus 2 curve defined over a field $K$, $\mbox{char} K = p \geq 0$, and $\mbox{Jac} (\mathcal X, ι)$ its Jacobian, where $ι$ is the principal polarization of $\mbox{Jac} (\mathcal X)$ attached to $\mathcal X$. Assume that $\mbox{Jac} (\mathcal X)$ is $(n, n)$- geometrically reducible with $E_1$ and $E_2$ its elliptic components. We prove that there are only finitely many curv… ▽ More Let $\mathcal X$ be a genus 2 curve defined over a field $K$, $\mbox{char} K = p \geq 0$, and $\mbox{Jac} (\mathcal X, ι)$ its Jacobian, where $ι$ is the principal polarization of $\mbox{Jac} (\mathcal X)$ attached to $\mathcal X$. Assume that $\mbox{Jac} (\mathcal X)$ is $(n, n)$- geometrically reducible with $E_1$ and $E_2$ its elliptic components. We prove that there are only finitely many curves $\mathcal X$ (up to isomorphism) defined over $K$ such that $E_1$ and $E_2$ are $N$-isogenous for $n=2$ and $N=2,3, 5, 7$ with $\mbox{Aut} (\mbox{Jac} \mathcal X )\cong V_4$ or $n = 2$, $N = 3,5, 7$ with $\mbox{Aut} (\mbox{Jac} \mathcal X ) \cong D_4$. The same holds if $n=3$ and $N=5$. Furthermore, we determine the Kummer and the Shioda-Inose surfaces for the above $\mbox{Jac} \mathcal X$ and show how such results in positive characteristic $p>2$ suggest nice applications in cryptography. △ Less

Submitted 17 February, 2019; originally announced February 2019.

Journal ref: European Journal of Mathematics (2019)

On isogenies among certain abelian surfaces

Authors: Adrian Clingher, Andreas Malmendier, Tony Shaska

Abstract: We construct a three-parameter family of non-hyperelliptic and bielliptic plane genus-three curves whose associated Prym variety is two-isogenous to the Jacobian variety of a general hyperelliptic genus-two curve. Our construction is based on the existence of special elliptic fibrations with the section on the associated Kummer surfaces that provide a simple geometric interpretation for the ration… ▽ More We construct a three-parameter family of non-hyperelliptic and bielliptic plane genus-three curves whose associated Prym variety is two-isogenous to the Jacobian variety of a general hyperelliptic genus-two curve. Our construction is based on the existence of special elliptic fibrations with the section on the associated Kummer surfaces that provide a simple geometric interpretation for the rational double cover induced by the two-isogeny between the abelian surfaces. △ Less

Submitted 2 July, 2020; v1 submitted 28 January, 2019; originally announced January 2019.

Comments: 33 pages; minor typos corrected in version 2

MSC Class: 14J28; 14H40

Journal ref: Michigan Math. J. 71 (2022), 227-269

Weight distributions, zeta functions and Riemann hypothesis for linear and algebraic geometry codes

Authors: Artur Elezi, Tony Shaska

Abstract: This is a survey on weight enumerators, zeta functions and Riemann hypothesis for linear and algebraic-geometry codes. This is a survey on weight enumerators, zeta functions and Riemann hypothesis for linear and algebraic-geometry codes. △ Less

Submitted 13 July, 2018; originally announced July 2018.

Journal ref: NATO Science for Peace and Security Series D: Information and Communication Security, vol. 41, pg. 328-359, 2015

Curves, Jacobians, and Cryptography

Authors: Gerhard Frey, Tony Shaska

Abstract: The main purpose of this paper is to give an overview over the theory of abelian varieties, with main focus on Jacobian varieties of curves reaching from well-known results till to latest developments and their usage in cryptography. In the first part we provide the necessary mathematical background on abelian varieties, their torsion points, Honda-Tate theory, Galois representations, with emphasi… ▽ More The main purpose of this paper is to give an overview over the theory of abelian varieties, with main focus on Jacobian varieties of curves reaching from well-known results till to latest developments and their usage in cryptography. In the first part we provide the necessary mathematical background on abelian varieties, their torsion points, Honda-Tate theory, Galois representations, with emphasis on Jacobian varieties and hyperelliptic Jacobians. In the second part we focus on applications of abelian varieties on cryptography and treating separately, elliptic curve cryptography, genus 2 and 3 cryptography, including Diffie-Hellman Key Exchange, index calculus in Picard groups, isogenies of Jacobians via correspondences and applications to discrete logarithms. Several open problems and new directions are suggested. △ Less

Submitted 9 November, 2018; v1 submitted 13 July, 2018; originally announced July 2018.

Comments: 66 pages

Journal ref: Contemp. Math., 724, pg. 279 -- 344, Amer. Math. Soc., Providence, RI, 2019

On automorphisms of algebraic curves

Authors: A. Broughton, T. Shaska, A. Wootton

Abstract: An irreducible, algebraic curve $\mathcal X_g$ of genus $g\geq 2$ defined over an algebraically closed field $k$ of characteristic $\mbox{char } \, k = p \geq 0$, has finite automorphism group $\mbox{Aut} (\mathcal X_g)$. In this paper we describe methods of determining the list of groups $\mbox{Aut} (\mathcal X_g)$ for a fixed $g\geq 2$. Moreover, equations of the corresponding families of curves… ▽ More An irreducible, algebraic curve $\mathcal X_g$ of genus $g\geq 2$ defined over an algebraically closed field $k$ of characteristic $\mbox{char } \, k = p \geq 0$, has finite automorphism group $\mbox{Aut} (\mathcal X_g)$. In this paper we describe methods of determining the list of groups $\mbox{Aut} (\mathcal X_g)$ for a fixed $g\geq 2$. Moreover, equations of the corresponding families of curves are given when possible. △ Less

Submitted 7 July, 2018; originally announced July 2018.

Journal ref: Contemp. Math., 724, pg. 175--212, Amer. Math. Soc., Providence, RI, 2019

Bezoutians and the discriminant of a certain quadrinomials

Authors: Shuichi Otake, Tony Shaska

Abstract: We give an explicit formula for the discriminant $Δ_f (x)$ of the quadrinomials of the form $f (x)=x^n+ t (x^2+ax+b)$. The proof uses Bezoutians of polynomials. We give an explicit formula for the discriminant $Δ_f (x)$ of the quadrinomials of the form $f (x)=x^n+ t (x^2+ax+b)$. The proof uses Bezoutians of polynomials. △ Less

Submitted 23 June, 2018; originally announced June 2018.

Journal ref: Contemp. Math., 724, pg. 55--72, Amer. Math. Soc., Providence, RI, 2019

Six line configurations and string dualities

Authors: Adrian Clingher, Andreas Malmendier, Tony Shaska

Abstract: We study the family of K3 surfaces of Picard rank sixteen associated with the double cover of the projective plane branched along the union of six lines, and the family of its Van Geemen-Sarti partners, i.e., K3 surfaces with special Nikulin involutions, such that quotienting by the involution and blowing up recovers the former. We prove that the family of Van Geemen-Sarti partners is a four-param… ▽ More We study the family of K3 surfaces of Picard rank sixteen associated with the double cover of the projective plane branched along the union of six lines, and the family of its Van Geemen-Sarti partners, i.e., K3 surfaces with special Nikulin involutions, such that quotienting by the involution and blowing up recovers the former. We prove that the family of Van Geemen-Sarti partners is a four-parameter family of K3 surfaces with $H \oplus E_7(-1) \oplus E_7(-1)$ lattice polarization. We describe explicit Weierstrass models on both families using even modular forms on the bounded symmetric domain of type $IV$. We also show that our construction provides a geometric interpretation, called geometric two-isogeny, for the F-theory/heterotic string duality in eight dimensions. As a result, we obtain novel F-theory models, dual to non-geometric heterotic string compactifications in eight dimensions with two non-vanishing Wilson line parameters. △ Less

Submitted 2 July, 2020; v1 submitted 19 June, 2018; originally announced June 2018.

Comments: 42 pages; minor typos corrected in version 2

MSC Class: 11F03; 14J28; 14J81

Journal ref: Comm. Math. Phys. 371 (2019), no. 1, 159-196

Some remarks on the non-real roots of polynomials

Authors: Shuichi Otake, Tony Shaska

Abstract: Let $f \in { \mathbb R} ( t) [x]$ be given by $ f(t, x) = x^n + t \cdot g(x) $ and $β_1 < \dots < β_m$ the distinct real roots of the discriminant $Δ_{(f, x)} (t)$ of $f(t, x)$ with respect to $x$. Let $γ$ be the number of real roots of $g(x)=\sum_{k=0}^s t_{s-k} x^{s-k}$. For any $ξ> | β_m |$, if $n-s$ is odd then the number of real roots of $f(ξ, x)$ is $γ+1$, and if $n-s$ is even then the numbe… ▽ More Let $f \in { \mathbb R} ( t) [x]$ be given by $ f(t, x) = x^n + t \cdot g(x) $ and $β_1 < \dots < β_m$ the distinct real roots of the discriminant $Δ_{(f, x)} (t)$ of $f(t, x)$ with respect to $x$. Let $γ$ be the number of real roots of $g(x)=\sum_{k=0}^s t_{s-k} x^{s-k}$. For any $ξ> | β_m |$, if $n-s$ is odd then the number of real roots of $f(ξ, x)$ is $γ+1$, and if $n-s$ is even then the number of real roots of $f(ξ, x)$ is $γ$, $γ+2$ if $t_s>0$ or $t_s < 0$ respectively. A special case of the above result is constructing a family of totally complex polynomials which are reducible over $\mathbb Q$. △ Less

Submitted 7 February, 2018; originally announced February 2018.

Comments: 23 pages

MSC Class: 12Y05; 12E10

Journal ref: Cubo 20 (2018), no. 2, 67--93

Computing heights on weighted projective spaces

Authors: Jorgo Mandili, Tony Shaska

Abstract: In this note we extend the concept height on projective spaces to that of weighted height on weighted projective spaces and show how such a height can be computed. We prove some of the basic properties of the weighted height and show how it can be used to study hyperelliptic curves over Q. Some examples are provided from the weighted moduli space of binary sextics and octavics. In this note we extend the concept height on projective spaces to that of weighted height on weighted projective spaces and show how such a height can be computed. We prove some of the basic properties of the weighted height and show how it can be used to study hyperelliptic curves over Q. Some examples are provided from the weighted moduli space of binary sextics and octavics. △ Less

Submitted 30 August, 2018; v1 submitted 18 January, 2018; originally announced January 2018.

Journal ref: Contemp. Math., 724, pg. 149--160, Amer. Math. Soc., Providence, RI, 2019

Reduction of binary forms via the hyperbolic center of mass

Authors: Artur Elezi, Tony Shaska

Abstract: In this paper we provide an alternative reduction theory for real, binary forms with no real roots. Our approach is completely geometric, making use of the notion of hyperbolic center of mass in the upper half-plane. It appears that our model compares favorably with existing reduction theories, at least in certain aspects related to the field of definition. Various tools and features of hyperbolic… ▽ More In this paper we provide an alternative reduction theory for real, binary forms with no real roots. Our approach is completely geometric, making use of the notion of hyperbolic center of mass in the upper half-plane. It appears that our model compares favorably with existing reduction theories, at least in certain aspects related to the field of definition. Various tools and features of hyperbolic geometry that are interesting in themselves, but also relevant for our and various other reduction theories papers (\cite{julia} and \cite{SC}), are also treated in detail and in a self-contained way here. △ Less

Submitted 7 May, 2017; originally announced May 2017.

Comments: 15 pages, 5 figures

MSC Class: 51F99

Mësimdhënia e matematikës nëpërmjet problemeve klasike

Authors: Bedri Shaska, Tanush Shaska

Abstract: In this paper we discuss how teaching of mathematics for middle school and high school students can be improved dramatically when motivation of concepts and ideas is done through the classical problems and the history of mathematics. This method improves intuition of students, awakens their curiosity, avoids memorizing useless formulas, and put concepts in a historical prospective. To illustrate w… ▽ More In this paper we discuss how teaching of mathematics for middle school and high school students can be improved dramatically when motivation of concepts and ideas is done through the classical problems and the history of mathematics. This method improves intuition of students, awakens their curiosity, avoids memorizing useless formulas, and put concepts in a historical prospective. To illustrate we show how diagonalizing quadratic forms, elliptic integrals, discriminants of high degree polynomials, and geometric constructions can be introduced successfully in high school level. △ Less

Submitted 28 December, 2016; originally announced December 2016.

Comments: in Albanian

MSC Class: 94B05; 97A30; 97C70; 97D40

Journal ref: Albanian J. Math. vol. 10, (2016), no. 1. 47--80

On generalized superelliptic Riemann surfaces

Authors: Ruben A. Hidalgo, Saúl Quispe, Tony Shaska

Abstract: A closed Riemann surface $\mathcal X$, of genus $g \geq 2$, is called a generalized superelliptic curve of level $n \geq 2$ if it admits an order $n$ conformal automorphism $τ$ so that $\mathcal X/\langle τ\rangle$ has genus zero and $τ$ is central in ${\rm Aut}(\mathcal X)$; the cyclic group $H=\langle τ\rangle$ is called a generalized superelliptic group of level $n$ for $\mathcal X$. These Riem… ▽ More A closed Riemann surface $\mathcal X$, of genus $g \geq 2$, is called a generalized superelliptic curve of level $n \geq 2$ if it admits an order $n$ conformal automorphism $τ$ so that $\mathcal X/\langle τ\rangle$ has genus zero and $τ$ is central in ${\rm Aut}(\mathcal X)$; the cyclic group $H=\langle τ\rangle$ is called a generalized superelliptic group of level $n$ for $\mathcal X$. These Riemann surfaces are natural generalizations of hyperelliptic Riemann surfaces (when $n=2$). We provide an algebraic curve description of these Riemann surfaces in terms of their groups of automorphisms. Also, we observe that the generalized superelliptic group $H$ of level $n$ is unique, with the exception of a very particular family of exceptional generalized superelliptic Riemann surfaces for $n$ even. In particular, the uniqueness holds if either: (i) $n$ is odd or (ii) the quotient $\mathcal X/H$ has all its cone points of order $n$ (for instance, when $\mathcal X$ is a superelliptic curve of level $n$). In the non-exceptional case, we use this uniqueness property of its generalized superelliptic group $H$ to observe that the corresponding curves are definable over their fields of moduli if ${\rm Aut}(\mathcal X)/H$ is neither trivial or cyclic. △ Less

Submitted 20 October, 2016; v1 submitted 29 September, 2016; originally announced September 2016.

Comments: Updated reference list

The Satake sextic in elliptic fibrations on K3

Authors: Andreas Malmendier, Tony Shaska

Abstract: We describe explicit formulas relevant to the F-theory/heterotic string duality that reconstruct from a specific Jacobian elliptic fibration on the Shioda-Inose surface covering a generic Kummer surface the corresponding genus-two curve using the level-two Satake coordinate functions. We derive explicitly the rational map on the moduli space of genus-two curves realizing the algebraic corresponden… ▽ More We describe explicit formulas relevant to the F-theory/heterotic string duality that reconstruct from a specific Jacobian elliptic fibration on the Shioda-Inose surface covering a generic Kummer surface the corresponding genus-two curve using the level-two Satake coordinate functions. We derive explicitly the rational map on the moduli space of genus-two curves realizing the algebraic correspondence between a sextic curve and its Satake sextic. We will prove that it is not the original sextic defining the genus-two curve, but its corresponding Satake sextic which is manifest in the F-theory model, dual to the $\mathfrak{so}(32)$ heterotic string with an unbroken $\mathfrak{so}(28)\oplus \mathfrak{su}(2)$ gauge algebra. △ Less

Submitted 14 September, 2016; originally announced September 2016.

Comments: 23 pages

MSC Class: 11F03; 14J28; 14J81

Journal ref: J. Geom. Phys. 120 (2017), 290-305

A Universal Genus-Two Curve from Siegel Modular Forms

Authors: Andreas Malmendier, Tony Shaska

Abstract: Let $\mathfrak p$ be any point in the moduli space of genus-two curves $\mathcal M_2$ and $K$ its field of moduli. We provide a universal equation of a genus-two curve $\mathcal C_{α, β}$ defined over $K(α, β)$, corresponding to $\mathfrak p$, where $α$ and $β$ satisfy a quadratic $α^2+ b β^2= c$ such that $b$ and $c$ are given in terms of ratios of Siegel modular forms. The curve… ▽ More Let $\mathfrak p$ be any point in the moduli space of genus-two curves $\mathcal M_2$ and $K$ its field of moduli. We provide a universal equation of a genus-two curve $\mathcal C_{α, β}$ defined over $K(α, β)$, corresponding to $\mathfrak p$, where $α$ and $β$ satisfy a quadratic $α^2+ b β^2= c$ such that $b$ and $c$ are given in terms of ratios of Siegel modular forms. The curve $\mathcal C_{α, β}$ is defined over the field of moduli $K$ if and only if the quadratic has a $K$-rational point $(α, β)$. We discover some interesting symmetries of the Weierstrass equation of $\mathcal C_{α, β}$. This extends previous work of Mestre and others. △ Less

Submitted 30 November, 2017; v1 submitted 27 July, 2016; originally announced July 2016.

MSC Class: 14H10; 14H45

Journal ref: SIGMA Symmetry Integrability Geom. Methods Appl. 13 (2017), Paper No. 089, 17 pp

On the field of moduli of superelliptic curves

Authors: Ruben Hidalgo, Tony Shaska

Abstract: A superelliptic curve $\X$ of genus $g\geq 2$ is not necessarily defined over its field of moduli but it can be defined over a quadratic extension of it. While a lot of work has been done by many authors to determine which hyperelliptic curves are defined over their field of moduli, less is known for superelliptic curves. In this paper we observe that if the reduced group of a genus $g\geq 2$ supe… ▽ More A superelliptic curve $\X$ of genus $g\geq 2$ is not necessarily defined over its field of moduli but it can be defined over a quadratic extension of it. While a lot of work has been done by many authors to determine which hyperelliptic curves are defined over their field of moduli, less is known for superelliptic curves. In this paper we observe that if the reduced group of a genus $g\geq 2$ superelliptic curve $\X$ is different from the trivial or cyclic group, then $\X$ can be defined over its field of moduli; in the cyclic situation we provide a sufficient condition for this to happen. We also determine those families of superelliptic curves of genus at most $10$ which might not be definable over their field of moduli. △ Less

Submitted 17 June, 2019; v1 submitted 9 June, 2016; originally announced June 2016.

Comments: A sentence in the third page of the previous version might have given the impression that equations of Tables 1..3 were defined over the field of moduli. This has been rewritten in order to make it clear. Remark~1 is added (pg. 11) and the abstract has been rewritten. The authors want to thanks Jeroen Sijsling for his many valuable comments and suggestions to the previous version

MSC Class: 14H45; 14H35

Journal ref: Higher genus curves in mathematical physics and arithmetic geometry, 47 -- 62, Contemp. Math., 703, Amer. Math. Soc., Providence, RI, 2018

Self-inversive polynomials, curves, and codes

Authors: David Joyner, Tony Shaska

Abstract: We study connections between self-inversive and self-reciprocal polynomials, reduction theory of binary forms, minimal models of curves, and formally self-dual codes. We prove that if $\mathcal X$ is a superelliptic curve defined over $\mathbb C$ and its reduced automorphism group is nontrivial or not isomorphic to a cyclic group, then we can write its equation as $y^n = f(x)$ or $y^n = x f(x)$, w… ▽ More We study connections between self-inversive and self-reciprocal polynomials, reduction theory of binary forms, minimal models of curves, and formally self-dual codes. We prove that if $\mathcal X$ is a superelliptic curve defined over $\mathbb C$ and its reduced automorphism group is nontrivial or not isomorphic to a cyclic group, then we can write its equation as $y^n = f(x)$ or $y^n = x f(x)$, where $f(x)$ is a self-inversive or self-reciprocal polynomial. Moreover, we state a conjecture on the coefficients of the zeta polynomial of extremal formally self-dual codes. △ Less

Submitted 9 June, 2016; originally announced June 2016.

Journal ref: Higher genus curves in mathematical physics and arithmetic geometry, 189--208, Contemp. Math., 703, Amer. Math. Soc., Providence, RI, 2018

Theta functions of superelliptic curves

Authors: L. Beshaj, A. Elezi, T. Shaska

Abstract: In this short survey we give a description of the theta functions of algebraic curves, half-integer theta-nulls, and the fundamental theta functions. We describe how to determine such fundamental theta functions and describe the components of the moduli space in terms of such functions. In this short survey we give a description of the theta functions of algebraic curves, half-integer theta-nulls, and the fundamental theta functions. We describe how to determine such fundamental theta functions and describe the components of the moduli space in terms of such functions. △ Less

Submitted 9 April, 2015; v1 submitted 1 March, 2015; originally announced March 2015.

Comments: Fixed some of the references and corrected some typos in sections 4 and 5. arXiv admin note: text overlap with arXiv:1210.1684

Journal ref: Advances on superelliptic curves and their applications, 47--69, NATO Sci. Peace Secur. Ser. D Inf. Commun. Secur., 41, IOS, Amsterdam, 2015

The case for superelliptic curves

Authors: Tony Shaska, Eustrat Zhupa, Lubjana Beshaj

Abstract: There is a natural question to ask whether the rich mathematical theory of the hyperelliptic curves can be extended to all superelliptic curves. Moreover, one wonders if all of the applications of hyperelliptic curves such as cryptography, mathematical physics, quantum computation, diophantine geometry, etc can carry over to the superelliptic curves. In this short paper we make the case that the s… ▽ More There is a natural question to ask whether the rich mathematical theory of the hyperelliptic curves can be extended to all superelliptic curves. Moreover, one wonders if all of the applications of hyperelliptic curves such as cryptography, mathematical physics, quantum computation, diophantine geometry, etc can carry over to the superelliptic curves. In this short paper we make the case that the superelliptic curves are exactly the curves that one should study. △ Less

Submitted 25 February, 2015; originally announced February 2015.

MSC Class: 14-01 (Primary)

Weierstrass points of superelliptic curves

Authors: T. Shaska, C. Shor

Abstract: In this lecture we give a brief introduction to Weierstrass points of curves and computational aspects of $q$-Weierstrass points on superelliptic curves. In this lecture we give a brief introduction to Weierstrass points of curves and computational aspects of $q$-Weierstrass points on superelliptic curves. △ Less

Submitted 22 February, 2015; originally announced February 2015.

Journal ref: Advances on superelliptic curves and their applications, 15--46, NATO Sci. Peace Secur. Ser. D Inf. Commun. Secur., 41, IOS, Amsterdam, 2015

Cyclic curves over the reals

Authors: Milagros Izquierdo, Tony Shaska

Abstract: In this paper we study the automorphism groups of real curves admitting a regular meromorphic function $f$ of degree $p$, so called real cyclic $p$-gonal curves. When $p=2$ the automorphism groups of real hyperelliptic curves where given by Bujalance et al. in \cite{BCGG}. In this paper we study the automorphism groups of real curves admitting a regular meromorphic function $f$ of degree $p$, so called real cyclic $p$-gonal curves. When $p=2$ the automorphism groups of real hyperelliptic curves where given by Bujalance et al. in \cite{BCGG}. △ Less

Submitted 7 January, 2015; originally announced January 2015.

Comments: NATO Advanced Study Institute, 2014, Ohrid, Macedonia

Journal ref: Advances on superelliptic curves and their applications, 70--83, NATO Sci. Peace Secur. Ser. D Inf. Commun. Secur., 41, IOS, Amsterdam, 2015

Heights on algebraic curves

Authors: L. Beshaj, T. Shaska

Abstract: In these lectures we cover basics of the theory of heights starting with the heights in the projective space, heights of polynomials, and heights of the algebraic curves. We define the minimal height of binary forms and moduli height for algebraic curves and prove that the moduli height of superelliptic curves $\mathcal H (f) \leq c_0 \tilde H (f)$ where $c_0$ is a constant and $\tilde H$ the mini… ▽ More In these lectures we cover basics of the theory of heights starting with the heights in the projective space, heights of polynomials, and heights of the algebraic curves. We define the minimal height of binary forms and moduli height for algebraic curves and prove that the moduli height of superelliptic curves $\mathcal H (f) \leq c_0 \tilde H (f)$ where $c_0$ is a constant and $\tilde H$ the minimal height of the corresponding binary form. For genus $g=2$ and 3 such constant is explicitly determined. Furthermore, complete lists of curves of genus 2 and genus 3 hyperelliptic curves with height 1 are computed. △ Less

Submitted 12 March, 2015; v1 submitted 21 June, 2014; originally announced June 2014.

Comments: Fixes some minor typos and corrected some missing references from the first version. Information security, coding theory and related combinatorics, 165-202, NATO Sci. Peace Secur. Ser. D Inf. Commun. Secur., IOS, Amsterdam, 2015

MSC Class: 11G30; 11G50; 14G40

Journal ref: Advances on superelliptic curves and their applications, 137--175, NATO Sci. Peace Secur. Ser. D Inf. Commun. Secur., 41, IOS, Amsterdam, 2015

On Jacobians of curves with superelliptic components

Authors: Lubjana Beshaj, Tony Shaska, Caleb Shor

Abstract: We investigate the decomposition of Jacobians of superelliptic curves based on their automorphisms. For curve with equation $y^n=f(x^m)$ we provide an necessary and sufficient condition in terms of $m$ and $n$ for the decomposition of the Jacobian induced by the automorphisms of the curve. Moreover, we generalize a construction in \cite{Ya} of a family of non-hyperelliptic curves… ▽ More We investigate the decomposition of Jacobians of superelliptic curves based on their automorphisms. For curve with equation $y^n=f(x^m)$ we provide an necessary and sufficient condition in terms of $m$ and $n$ for the decomposition of the Jacobian induced by the automorphisms of the curve. Moreover, we generalize a construction in \cite{Ya} of a family of non-hyperelliptic curves $\mathcal X_{r,s} $ and determine arithmetic conditions on $r$ and $s$ that the Jacobians $\mbox{Jac} (\mathcal X_{r, s})$ decomposes. △ Less

Submitted 3 April, 2014; v1 submitted 27 October, 2013; originally announced October 2013.

MSC Class: Primary 14H10; 14H37; Secondary 11xxx; 14Q05

Journal ref: Contemporary Mathematics, Volume 629, 2014, pg. 1-14

Theta functions and symmetric weight enumerators for codes over imaginary quadratic fields

Authors: Tony Shaska, Caleb Shor

Abstract: In this paper we continue the study of codes over imaginary quadratic fields and their weight enumerators and theta functions. We present new examples of non-equivalent codes over rings of characteristic $p=2$ and $p=5$ which have the same theta functions. We also look at a generalization of codes over imaginary quadratic fields, providing examples of non-equivalent pairs with the same theta funct… ▽ More In this paper we continue the study of codes over imaginary quadratic fields and their weight enumerators and theta functions. We present new examples of non-equivalent codes over rings of characteristic $p=2$ and $p=5$ which have the same theta functions. We also look at a generalization of codes over imaginary quadratic fields, providing examples of non-equivalent pairs with the same theta function for $p=3$ and $p=5$. △ Less

Submitted 15 September, 2013; originally announced September 2013.

MSC Class: 11T71; 11F27

Journal ref: Des. Codes Cryptogr. 76 (2015), no. 2, 217--235

The 2-Weierstrass points of genus 3 hyperelliptic curves with extra automorphisms

Authors: T. Shaska, C. Shor

Abstract: For each group $G$, $(|G| > 2)$ \, which acts as a full automorphism group on a genus 3 hyperelliptic curve, we determine the family of curves which have 2-Weierstrass points. Such families of curves are explicitly determined in terms of the absolute invariants of binary octavics. The 1-dimensional families that we discover have the property that they contain only genus 0 components. For each group $G$, $(|G| > 2)$ \, which acts as a full automorphism group on a genus 3 hyperelliptic curve, we determine the family of curves which have 2-Weierstrass points. Such families of curves are explicitly determined in terms of the absolute invariants of binary octavics. The 1-dimensional families that we discover have the property that they contain only genus 0 components. △ Less

Submitted 4 August, 2013; v1 submitted 30 July, 2013; originally announced July 2013.

MSC Class: Primary 54C40; 14E20; Secondary 46E25; 20C20

Journal ref: Comm. Algebra 45 (2017), no. 5, 1879-1892

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

Authors: T. Shaska

Abstract: 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… ▽ More 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$. △ Less

Submitted 9 June, 2014; v1 submitted 21 June, 2013; originally announced June 2013.

MSC Class: Primary 14H10; 14H37; Secondary 14Q05

Bielliptic curves of genus 3 in the hyperelliptic moduli

Authors: T. Shaska, F. Thompson

Abstract: 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 \ci… ▽ More 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. △ Less

Submitted 20 May, 2013; originally announced May 2013.

MSC Class: 14H10; 14H37; 14Q05

Journal ref: Appl. Algebra Engrg. Comm. Comput. 24 (2013), no. 5, 387 -- 412

Quantum codes from superelliptic curves

Authors: A. Elezi, T. Shaska

Abstract: 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 automorphism… ▽ More 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$. △ Less

Submitted 7 September, 2013; v1 submitted 16 May, 2013; originally announced May 2013.

Comments: The article has been posted without journal's permission and must be withdrawn

Journal ref: Albanian J. Math. 5 (2011), no. 4, 175--191

Degree even coverings of elliptic curves by genus 2 curves

Authors: N. Pjero, M. Ramasaço, T. Shaska

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

Submitted 16 May, 2013; originally announced May 2013.

Comments: arXiv admin note: substantial text overlap with arXiv:1209.3187, arXiv:1209.0439, arXiv:1301.4596, arXiv:math/0312285

Journal ref: Albanian J. Math. 2 (2008), no. 3, 241-248

On the automorphism groups of some AG-codes based on $C_{a, b}$ curves

Authors: T. Shaska, Q. Wang

Abstract: We study $C_{a, b}$ curves and their applications to coding theory. Recently, Joyner and Ksir have suggested a decoding algorithm based on the automorphisms of the code. We show how $C_{a, b}$ curves can be used to construct MDS codes and focus on some $C_{a, b}$ curves with extra automorphisms, namely $y^3=x^4+1, y^3=x^4-x, y^3-y=x^4$. The automorphism groups of such codes are determined in most… ▽ More We study $C_{a, b}$ curves and their applications to coding theory. Recently, Joyner and Ksir have suggested a decoding algorithm based on the automorphisms of the code. We show how $C_{a, b}$ curves can be used to construct MDS codes and focus on some $C_{a, b}$ curves with extra automorphisms, namely $y^3=x^4+1, y^3=x^4-x, y^3-y=x^4$. The automorphism groups of such codes are determined in most characteristics. △ Less

Submitted 17 April, 2016; v1 submitted 16 May, 2013; originally announced May 2013.

Comments: A recent update of an old paper from 2006. Some connections to superelliptic curves are explored and references updated

Journal ref: Serdica J. Computing, vol.1, Nr. 1, 2007, 193--206

Subvarieties of the hyperelliptic moduli determined by group actions

Authors: T. Shaska

Abstract: 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$. Th… ▽ More 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. △ Less

Submitted 16 February, 2013; originally announced February 2013.

Journal ref: Serdica Math. Journal, No. 4, 355-374, 2006

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.

Journal ref: Albanian J. Math. Vol. 2, (2008), No. 4, 307-318

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.

Comments: arXiv admin note: substantial text overlap with arXiv:1210.1684

MSC Class: 14Hxx

Journal ref: Albanian J. Math. Vol. 1, Number 4, 2007, 253-270

Determining equations of families of cyclic curves

Authors: R. Sanjeewa, T. Shaska

Abstract: 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. 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. △ Less

Submitted 19 January, 2013; originally announced January 2013.

Comments: 5 Tables

MSC Class: Primary: 14Hxx; Secondary: 14H37; 14H10;

Journal ref: Albanian J. Math. VOL 2, NO 3 (2008)

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.

Journal ref: Algebraic aspects of digital communications, 193--237, NATO Sci. Peace Secur. Ser. D Inf. Commun. Secur., 24, IOS, 2009

Genus two curves covering elliptic curves: a computational approach

Authors: T. Shaska

Abstract: 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$. T… ▽ More 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. △ Less

Submitted 14 September, 2012; originally announced September 2012.

Comments: arXiv admin note: substantial text overlap with arXiv:1209.0439

Journal ref: Lecture Notes Ser. Comput., 13 (2005), 206--231

Hyperelliptic curves of genus 3 with prescribed automorphism group

Authors: J. Gutierrez, D. Sevilla, T. Shaska

Abstract: 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 ove… ▽ More 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. △ Less

Submitted 13 September, 2012; originally announced September 2012.

MSC Class: Primary 54C40; 14E20; Secondary 46E25; 20C20

Journal ref: Computational aspects of algebraic curves, 109--123, Lecture Notes Ser. Comput., 13, World Sci. Publ., Hackensack, NJ, 2005

Hyperelliptic curves with reduced automorphism group A5

Authors: T. Shaska, D. Sevilla

Abstract: 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… ▽ More 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. △ Less

Submitted 9 September, 2012; originally announced September 2012.

Journal ref: Appl. Algebra Engrg. Comm. Comput. 18 (2007), no. 1-2, 3--20

Some special families of hyperelliptic curves

Authors: T. Shaska

Abstract: Let $Ł_g^G$ denote the locus of hyperelliptic curves of genus $g$ whose automorphism group contains a subgroup isomorphic to $G$. We study spaces $Ł_g^G$ for $G \iso \Z_n, \Z_2ø\Z_n, \Z_2øA_4$, or $SL_2(3)$. We show that for $G \iso \Z_n, \Z_2ø\Z_n$, the space $Ł_g^G$ is a rational variety and find generators of its function field. For $G\iso \Z_2øA_4, SL_2(3)$ we find a necessary condition in ter… ▽ More Let $Ł_g^G$ denote the locus of hyperelliptic curves of genus $g$ whose automorphism group contains a subgroup isomorphic to $G$. We study spaces $Ł_g^G$ for $G \iso \Z_n, \Z_2ø\Z_n, \Z_2øA_4$, or $SL_2(3)$. We show that for $G \iso \Z_n, \Z_2ø\Z_n$, the space $Ł_g^G$ is a rational variety and find generators of its function field. For $G\iso \Z_2øA_4, SL_2(3)$ we find a necessary condition in terms of the coefficients, whether or not the curve belongs to $Ł_g^G$. Further, we describe algebraically the loci of such curves for $g\leq 12$ and show that for all curves in these loci the field of moduli is a field of definition. △ Less

Submitted 9 September, 2012; originally announced September 2012.

Journal ref: J. Algebra Appl. 3 (2004), no. 1, 75--89

Some remarks on the hyperelliptic moduli of genus 3

Authors: T. Shaska

Abstract: 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 alg… ▽ More 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. △ Less

Submitted 6 September, 2012; originally announced September 2012.

Comments: arXiv admin note: text overlap with arXiv:1209.0446

Journal ref: Communications in Algebra, Volume 42, Issue 9, September 2014, pages 4110-4130