# Arithmetic on Abelian and Kummer Varieties

2 LFANT - Lithe and fast algorithmic number theory
IMB - Institut de Mathématiques de Bordeaux, Inria Bordeaux - Sud-Ouest
Abstract : A Kummer variety is the quotient of an abelian variety by the automorphism $(-1)$ acting on it. Kummer varieties can be seen as a higher dimensional generalisation of the $x$-coordinate representation of a point of an elliptic curve given by its Weierstrass model. Although there is no group law on the set of points of a Kummer variety, there remains enough arithmetic to enable the computation of exponentiations via a Montgomery ladder based on differential additions. In this paper, we explain that the arithmetic of a Kummer variety is much richer than usually thought. We describe a set of composition laws which exhaust this arithmetic and show that these laws may turn out to be useful in order to improve certain algorithms. We explain how to compute efficiently these laws in the model of Kummer varieties provided by level $2$ theta functions. We also explain how to recover the full group law of the abelian variety with a representation almost as compact and in many cases as efficient as the level $2$ theta functions model of Kummer varieties.
Document type :
Journal articles

Cited literature [37 references]

https://hal.archives-ouvertes.fr/hal-01057467
Contributor : Damien Robert Connect in order to contact the contributor
Submitted on : Wednesday, October 14, 2015 - 5:10:19 PM
Last modification on : Thursday, January 20, 2022 - 4:12:52 PM
Long-term archiving on: : Thursday, April 27, 2017 - 4:14:50 AM

### File

arithmetic.pdf
Files produced by the author(s)

### Citation

David Lubicz, Damien Robert. Arithmetic on Abelian and Kummer Varieties. Finite Fields and Their Applications, Elsevier, 2016, 39, pp.130-158. ⟨10.1016/j.ffa.2016.01.009⟩. ⟨hal-01057467v2⟩

### Metrics

Les métriques sont temporairement indisponibles