Is there any kind of generalization of Vélu formulae for Jacobians?


The question technically is:


Given a hyperelliptic curve $H/\overline{\mathbb{F}}\_q$ and its jacobian $J\_H$ of dimension $2$, if $D\in J\_H$:


Is there a way to construct an isogeny $\psi:J\to{J\_D}$ with kernel $nD$ for all $n\in \mathbb{Z}$ and construct the Jacobian variety $J\_D$ of some other hyperelliptic curve? (maybe $J\_D$ should be an abelian variety in general) 


Is well known that elliptic curve isogenies have specific form, this helps to represent easily an isogeny.


What is known about isogenies between genus 2 jacobians for example?


I know that if $J$ is non simple, this could make things easier, and maybe reduce it to Vélu formulae in an $(a,b)$-isogeny, but, if $J$ is simple?


Is it possible to use the Affine part of a Jacobian of dimension 2 to reconstruct a hyperelliptic curve of genus 2 using an isogeny in Mumford representation?



Isogeny from kernel in higher dimensional abelian varieties
This question seems a bit confused.


If $D$ is an arbitrary point in the Jacobian then one cannot construct an isogeny with kernel the subgroup generated by $D$ -- as this subgroup is typically infinite, and the kernel of an isogeny is finite.


If however $D$ is assumed torsion, then one can certainly construct an isogeny with kernel generated by $D$ -- one can just quotient out the abelian variety by the finite group generated by $D$; this quotient exists in algebraic geometry and is another abelian variety.


However this quotient will typically not be a Jacobian if the dimension is 2 or more -- indeed in general the quotient will not admit a principal polarisation, which precludes it from being a Jacobian. This phenomenon does not occur in dimension 1, because every elliptic curve admits a principal polarization, but in higher dimension it represents an obstruction to what you want to do.


Your other questions are a bit too vague for me to say anything. Isogenies between genus 2 Jacobians can happen -- for example multiplication by a positive integer is an isogeny from a Jacobian to itself. I don't know what "the affine part" of a Jacobian is -- perhaps you think about Jacobians in a different way to me: for me a Jacobian is an abstract variety -- it can be covered by affines, but it doesn't have some sort of canonical "affine part".


