# Questions tagged [hyperelliptic-curves]

The tag has no usage guidance.

49 questions
0answers
63 views

0answers
114 views

### $p$ -adic periods of modular curves X_0(71)

I have seen in some papers computation of $p$-adic periods of modular curves $X_0(N)$. Can somebody please explain to me what are the possible applications of such computations? as a concrete ...
1answer
211 views

### Rational perfect power values of $y(y+1)$

This is hard, so I am looking for partial results and how hard it is. Let $n>4$. Is it true that the hyperelliptic curve $x^n=y(y+1)$ doesn't have rational point with $x \ne 0$? If necessarily ...
2answers
273 views

### Hyperelliptic curves imply FLT-like results

Probably this is known, but doesn't show in searches. If a certain hyperelliptic curve has only trivial rational points, FLT-like curve also has only trivial rationals points for fixed $n$. Working ...
0answers
174 views

### No rational points on $x^n+a=y^2$ for all $n>4$"?

Is there rational (or better integer) $a$ such that for all $n>4$,$x^n+a=y^2$ has no rational points?
1answer
223 views

### Some curves on the Jacobian of a genus $2$ curve and their image under certain maps (char $p$)

I hope this question belongs here. The situation in this question is quite particular and specific. I am trying to weak some of theory to measure the degree of some function on the Jacobian of a ...
3answers
298 views

### Is it true that every mapping class in $\mathrm{Mod}(\Sigma_3)$ commutes with some hyperelliptic involution?

Two questions. First, let $\Sigma_3$ be the closed genus 3 surface and let $\rm Mod(\Sigma_3)$ be its mapping class group. Is it true that for any mapping class $g\in\rm Mod(\Sigma_3)$ there is some ...
0answers
204 views

### Genus=2 theta functions, Arnold's relation, and KZ connection

Let $C_5:=\{{(z_1 \dots, z_5) \in (\mathbb{C})^5 | z_i \neq z_j \forall i\neq j }\}$ be the configuration space of five distinct ordered points in $\mathbb{C}$. Arnold showed that the holomorphic one ...
1answer
222 views

0answers
225 views

0answers
97 views

### Birational map from even to odd degree curve. What is the image of one of infinity points?

Suppose I have a curve $C_1$ determined by $C_1: y^2 = (x+a)(f_{2g+1} x^{2g+1} + \dots + f_0)$. It has even degree polynomial of $x$ on the right side. I want to consider its image under birational ...
1answer
168 views

### Restricted degree function of an endomorphism of a Jacobian to its theta divisor for genus 2 curves

I hope my question is not too vague or basic to be here. I have been constructing a setting to count points on a curve, but I am stucked solving one part of my problem for some time. Now I would like ...
1answer
148 views

### Linear systems and 2-torsion shifts on hyperelliptic curves

Let $C$ be a hyperelliptic curve of genus $g$ and let $D$ be a divisor on $C$ of degree $g+1$. Assume that the linear system $|D|$ is base-point-free. Now add a $2$-torsion point $[E]$ to $D$. I would ...
1answer
434 views

### About the characteristic polynomial of Frobenius of the Jacobian of a genus 2 hyperelliptic curve

I was looking for some information related to the values of the characteristic polynomial $\chi(t)$ of the Frobenius of a Jacobian of a hyperelliptic curve $C$ of genus 2 over $\mathbb{F}_q$ and in ...
2answers
584 views

### Curves of higher genus

I saw the question: Abelian varieties with CM and though I know that there are rare CM elliptic curves, I wonder what kind of curves with higher genus have the CM Jacobians?
0answers
97 views

### How order of divisor with support at infinity is changed at reduction?

Jing Yu in his paper "On Arithmetic Of Hyperelliptic Curves" on page 5 asserts the following The most interesting case is certainly the case $k = \mathbb Q$ and $D \in \mathbb Z[t]$. To decide ...
1answer
833 views

### Abelian varieties with CM

In this site, I looked at a paper of Kazuma Morita claiming the BSD conjecture for the CM case posted on his homepage (he made a mistake three years ago for full BSD). But, I am interested in this ...
0answers
169 views

2answers
322 views

1answer
360 views

### Easiest example where field of definition is not field of moduli

There are many examples of varieties over $\overline{\mathbb Q}$ whose field of moduli is $\mathbb Q$ but which can't be defined over $\mathbb Q$. What is the easiest such example? It should be a ...
4answers
497 views

### Equivalent binary forms

Two binary forms $f, g \in k[x, y]$ are equivalent when there exists an $M \in GL_2 (k)$ such that $f^M = g$. For simplicity we take $k$ such that $char (k) =0$ and $k=\bar k$. The equivalence ...
0answers
152 views

2answers
763 views

### Calculate reduction of Jacobian of hyperelliptic curve

Suppose I have a hyperelliptic curve of genus $2$ over $\mathbb Q$. I want to get information about its Jacobian reduction at prime $p$ (especially, in case $p=2$). Also I'm interesting in the group ...
1answer
514 views

### Motives over finite field not generated by hyperelliptic curves

So the question is that, over a finite field, does there exist an abelian variety $A$ for which there does not exist a generically one-to-one morphism from a hyperelliptic curve $C$ to $A$. p.s. A ...
1answer
454 views

### Canonical lifts from $\mathbb F_q$ and CM-theory

One knows that (ordinary) Jacobians of hyperelliptic curves over a finite field $\mathbb F_q$ (mostly of genus 1 (elliptic curves) and 2) are extensively studied by cryptographers, as a platform for ...
0answers
123 views

### Genus 2 hyperelliptic cryptography : typical discriminant and class number

As far as I know, there is no standard yet for cryptography based on the DLP over Jacobians of genus 2 curves. Yet, what can we say about the class number, and the discriminant of the complex ...
0answers
463 views

### Hyperelliptic Curve [closed]

Consider the curve given by $z^{2g-2}y^2=\displaystyle\prod_{i=1}^{2g}(x-a_iz)$. This is a hyperelliptic curve and has genus $g-1$. At the same time it is a curve defined by an equation of $d=2g$ and ...
3answers
402 views

### Reference for hyperelliptic curves

I was reading a paper the other day that said that all automorphisms of a hyperelliptic curve are liftings of automorphisms of $\mathbb{P}^1$ operating on the set of branch points. Can someone point ...