Skip to main content

All Questions

Filter by
Sorted by
Tagged with
23 votes
1 answer
1k views

Is hyperelliptic cryptography "practical"?

Previosly my impression on this subject was that hyperelliptic cryptography systems (as well as other possible cryptosystems based on abelian varieties of dimension $>1$) have no advantages over ...
Mikhail Bondarko's user avatar
15 votes
0 answers
427 views

Counting abelian varieties over finite fields in a given isogeny class

Let $f(x) \in \mathbb Z[x]$ be a monic polynomial of degree $g$ with all roots having absolute value $\sqrt{q}$. How many principally polarized abelian varieties over $\mathbb F_q$ have $f(x)$ as the ...
Will Sawin's user avatar
  • 148k
14 votes
3 answers
978 views

Zeta function of Abelian variety over finite field

Let $A/\mathbf{F}_q$ be an Abelian variety of dimension $g$. Suppose one knows $|A(\mathbf{F}_{q^n})|$ for all $1 \leq n \leq g$. Does one know then $\zeta(A,s)$ (equivalently, $|A(\mathbf{F}_{q^n})|$ ...
user avatar
9 votes
1 answer
633 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 ...
Cheng-Chiang Tsai's user avatar
8 votes
2 answers
704 views

Isomorphic endomorphism algebras implies isogenous (for abelian varieties over finite fields)?

$\newcommand{\F}{\mathbb{F}} \newcommand{\End}{\mathrm{End}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\Z}{\mathbb{Z}}$ I would like to know if the following is true: Proposition A : Let $A_1, A_2$ ...
Watson's user avatar
  • 1,742
7 votes
1 answer
812 views

Galois action on $p$-adic Tate module of Abelian variety over finite field semisimple?

Let $A,B$ be positive dimensional Abelian varieties over a finite field and $p$ be an arbritrary prime. By Zarhin, Homomorphisms of abelian varieties over finite fields http://www.math.nyu.edu/~...
user avatar
6 votes
0 answers
126 views

For which (g,q) does there exist a supersingular curve?

We say a curve over a finite field $\mathbb F_q$ is supersingular if it's Frobenius eigenvalues (on $H^1(X,\mathbb Z_\ell)$) are of the form $q^{1/2}\alpha$ for $\alpha$ a root of unity. As far as I ...
Asvin's user avatar
  • 7,746
6 votes
0 answers
943 views

formal group laws of Abelian varieties in positive characteristic

Let $G$ be an algebraic group defined over an (algebraically closed) field $k$. Then one can obtain a formal group law by completing the multiplication map $m: G \times G \to G$ at the unit of $G$. ...
Dima Sustretov's user avatar
5 votes
0 answers
459 views

A functor on Abelian varieties corresponding to this operation on Weil numbers

Let $A/\mathbb F_q$ be an abelian variety over a finite field with Weil numbers $q^{1/2}\alpha_1,\dots,q^{1/2}\alpha_n$. Consider the numbers $q^{d/2}\alpha_1,\dots,q^{d/2}\alpha_n$. These are still ...
Asvin's user avatar
  • 7,746
5 votes
0 answers
177 views

Is a Kummer surface over an finite field $\mathbb{F}_q$ supersingular iff $\mathbb{F}_q$-unirational?

Let $A$ be an abelian surface over an finite field $\mathbb{F}_q$. In particular, I am interested in the case when $A$ is a Jacobian variety. Is the Kummer surface $K_A/\mathbb{F}_q$ Shioda-...
Dimitri Koshelev's user avatar
4 votes
1 answer
363 views

The numbers of isomorphism classes of abelian variety over finite fields

It is known that there are only finitely many isomorphism classes of abelian variety over a finite field. I am curious about the exact number of these isomorphism classes. Explicitly, fix $g$, let $\...
Yuan Yang's user avatar
  • 547
3 votes
0 answers
118 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 ...
Maxim's user avatar
  • 424
2 votes
2 answers
327 views

How to prove that $A$ is supersingular iff the Picard number $\rho(A)$ is equal to the second $l$-adic Betti number $b_2(A) = 6$?

Let $A$ be an abelian surface over algebraically closed field $k$ of characteristic $p > 2$. How to prove that $A$ is supersingular (in other words, there is an isogeny between $A$ and $E^2$, where ...
Dimitri Koshelev's user avatar
2 votes
1 answer
295 views

The size of endomorphism rings and the relation to ordinariness of Abelian surfaces

For Elliptic curves over a finite field, there is a very useful characterization of ordinary elliptic as those with commutative, quadratic endomorphism rings and of supersingular curves as those with ...
Asvin's user avatar
  • 7,746
2 votes
0 answers
122 views

A Lefschetz style formula for the $\ell^\infty$ torsion of an Abelian variety over a finite field

Let $A/\mathbb F_q$ be an abelian variety over a finite field. Define $A_\ell = A[\ell^\infty](\mathbb F_q)$, the $\ell^n$ ($n\geq 0)$ torsion points defined over the base field. I can assume $\ell \...
Asvin's user avatar
  • 7,746
1 vote
1 answer
238 views

Endomorphisms of abelian varieties defined over finite fields

Let $A$ be an abelian variety defined over a finite field $k$, and $End(A)$ be it ring of endomorphisms defined over an algebraic closure $\overline{k}$ of $k$. Suppose that for an integer $M$ ...
A. GM's user avatar
  • 389
1 vote
0 answers
268 views

Moduli space of abelian surfaces

Let $K$ be a finite field with algebraic closure $\overline{K}$. The $j$-invariant gives a bijection between the the affine line $\mathbb{A}_K^1$ and $\overline{K}$-isomorphism classes of elliptic ...
Sebastian Monnet's user avatar