On Bilinear Structures on Divisor Class Groups
Annales Mathématiques Blaise Pascal, Tome 16 (2009) no. 1, pp. 1-26.

It is well known that duality theorems are of utmost importance for the arithmetic of local and global fields and that Brauer groups appear in this context unavoidably. The key word here is class field theory.

In this paper we want to make evident that these topics play an important role in public key cryptopgraphy, too. Here the key words are Discrete Logarithm systems with bilinear structures.

Almost all public key crypto systems used today based on discrete logarithms use the ideal class groups of rings of holomorphic functions of affine curves over finite fields ${\mathbf{F}}_{q}$ to generate the underlying groups. We explain in full generality how these groups can be mapped to Brauer groups of local fields via the Lichtenbaum-Tate pairing, and we give an explicit description.

Next we discuss under which conditions this pairing can be computed efficiently.

If so, the discrete logarithm is transferred to the discrete logarithm in local Brauer groups and hence to computing invariants of cyclic algebras. We shall explain how this leads us in a natural way to the computation of discrete logarithms in finite fields.

To end we give an outlook to a globalisation using the Hasse-Brauer-Noether sequence and the duality theorem ot Tate-Poitou which allows to apply index-calculus methods resulting in subexponential algorithms for the computation of discrete logarithms in finite fields as well as for the computation of the Euler totient function (so we have an immediate application to the RSA-problem), and, as application to number theory, a computational method to “describe” cyclic extensions of number fields with restricted ramification.

DOI : https://doi.org/10.5802/ambp.250
Classification : 11R65,  11R37,  11G20
Mots clés : Discrete Logarithms, pairings, Brauer groups, Index-Calculus
@article{AMBP_2009__16_1_1_0,
author = {Frey, Gerhard},
title = {On {Bilinear} {Structures} on {Divisor} {Class} {Groups}},
journal = {Annales Math\'ematiques Blaise Pascal},
pages = {1--26},
publisher = {Annales math\'ematiques Blaise Pascal},
volume = {16},
number = {1},
year = {2009},
doi = {10.5802/ambp.250},
mrnumber = {2514524},
zbl = {1187.11044},
language = {en},
url = {http://www.numdam.org/articles/10.5802/ambp.250/}
}
TY  - JOUR
AU  - Frey, Gerhard
TI  - On Bilinear Structures on Divisor Class Groups
JO  - Annales Mathématiques Blaise Pascal
PY  - 2009
DA  - 2009///
SP  - 1
EP  - 26
VL  - 16
IS  - 1
PB  - Annales mathématiques Blaise Pascal
UR  - http://www.numdam.org/articles/10.5802/ambp.250/
UR  - https://www.ams.org/mathscinet-getitem?mr=2514524
UR  - https://zbmath.org/?q=an%3A1187.11044
UR  - https://doi.org/10.5802/ambp.250
DO  - 10.5802/ambp.250
LA  - en
ID  - AMBP_2009__16_1_1_0
ER  - 
Frey, Gerhard. On Bilinear Structures on Divisor Class Groups. Annales Mathématiques Blaise Pascal, Tome 16 (2009) no. 1, pp. 1-26. doi : 10.5802/ambp.250. http://www.numdam.org/articles/10.5802/ambp.250/

[1] Avanzi, R.; Cohen, H.; Doche, C.; Frey, G.; Lange, T.; Nguyen, K.; Vercauteren, F. The Handbook of Elliptic and Hyperelliptic Curve Cryptography, CRC, Baton Rouge, 2005 | MR 2162716 | Zbl 1082.94001

[2] Barreto, P. S. L. M.; Lynn, B.; Scott, M.; Cimato, S; Galdi, C.; Persiano, G. Constructing elliptic curves with prescribed embedding degrees, Security in Communication Networks – SCN 2002, volume 2576 of Lecture Notes in Comput. Sci., Springer-Verlag, Berlin, 2003, pp. 257-267 | Zbl 1022.94008

[3] Barreto, P. S. L. M.; Naehrig, M.; Preneel, B; St.Tavares Pairing-friendly elliptic curves of prime order, Selected Areas in Cryptography – SAC’2005, Lecture Notes in Comput. Sci. 3897, Springer Verlag, Berlin, 2006, pp. 319-331 | MR 2241646 | Zbl 1151.94479

[4] Boneh, D.; Franklin, M. Identity based encryption from the Weil pairing, SIAM J. Comput., Volume 32(3) (2003), pp. 586-615 | Article | MR 2001745 | Zbl 1046.94008

[5] Boneh, D.; Lynn, B.; Shacham, H.; Boyd, C Short signatures from the Weil pairing, Advances in Cryptology – Asiacrypt 2001, Lecture Notes in Comput. Sci. 2248, Springer Verlag Berlin, 2002, pp. 514-532 | MR 1934861 | Zbl 1064.94554

[6] Frey, G.; Jungnickel, D.; Niederreiter, H. Applications of arithmetical geometry to cryptographic constructions, Finite fields and applications, Springer, Berlin, 2001, pp. 128-161 | MR 1849086 | Zbl 1015.94545

[7] Frey, G. On the relation between Brauer groups and discrete logarithms, Tatra Mt. Math. Publ., Volume 33 (2006), pp. 199-227 | MR 2271447

[8] Frey, G.; Lange, T.; Aubry, Y. Mathematical background of public key cryptography, Séminaires et Congrès SMF: AGCT 2003, SMF, 2005, pp. 41-74 | MR 2182837

[9] Frey, G.; Müller, M.; Rück, H. G. The Tate pairing and the discrete logarithm applied to elliptic curve cryptosystems, IEEE Trans. Inform. Theory, Volume 45(5) (1999), pp. 1717-1719 | Article | MR 1699906 | Zbl 0957.94025

[10] Frey, G.; Rück, H. G. A remark concerning $m$-divisibility and the discrete logarithm problem in the divisor class group of curves, Math. Comp., Volume 62 (1994), pp. 865-874 | MR 1218343 | Zbl 0813.14045

[11] Huang, M.-D.; Raskind, W.; Hess, F; Pauli, S; Pohst, M Signature calculus and discrete logarithm problems, Proc. ANTS VII, LNCS 4076, Springer, Berlin, 2006, pp. 558-572 | MR 2282949 | Zbl 1143.11363

[12] Neukirch, J Algebraic number theory, Springer, Heidelberg, 1999 | MR 1697859 | Zbl 0956.11021

[13] Joux, A.; Bosma, W. A one round protocol for tripartite Diffie–Hellman, Proc. ANTS IV, LNCS 1838, Springer, 2000, pp. 385-394 | MR 1850619 | Zbl 1029.94026

[14] Lichtenbaum, S. Duality theorems for curves over $p$-adic fields, Invent. Math., Volume 7 (1969), pp. 120-136 | Article | MR 242831 | Zbl 0186.26402

[15] Mazur, B. Notes on étale cohomology of number fields, Ann. sci. ENS, Volume 6 (1973) no. 4, pp. 521-552 | Numdam | MR 344254 | Zbl 0282.14004

[16] Miller, V.C. The Weil Pairing, and Its Efficient Calculation, J.Cryptology, Volume 17 (2004), pp. 235-261 | Article | MR 2090556 | Zbl 1078.14043

[17] Mumford, D. Abelian Varieties, Oxford University Press, Oxford, 1970 | MR 282985 | Zbl 0223.14022

[18] Nguyen, K. Explicit Arithmetic of Brauer Groups, Ray Class Fields and Index Calculus (2001) (Ph.D. thesis, University of Essen)

[19] Serre, J.P. Groupes algébriques et corps de classes, Hermann, Paris, 1959 | MR 103191 | Zbl 0097.35604

[20] Serre, J.P. Corps locaux, Hermann, Paris, 1962 | MR 354618 | Zbl 0137.02601

[21] Stichtenoth, H. Algebraic Function Fields and Codes, Springer, Heidelberg, 1993 | MR 1251961 | Zbl 0816.14011

[22] Tate, J. $WC$-groups over $𝔭$-adic fields, Séminaire Bourbaki; 10e année: 1957/1958. Textes des conférences; Exposés 152 à 168; 2e éd. corrigée, Exposé 156, 13, Secrétariat mathématique, Paris, 1958 | Numdam | MR 105420 | Zbl 0091.33701

Cité par Sources :