Abstract

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.

Highlights

  • 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 Fq to generate the underlying groups

  • One can suspect that DL-systems based on divisor class groups of rings of holomorphic functions on curves over finite fields are endowed with a bilinear structure. (Note that in this case Pic(O) is finite and so

  • Has singularities, or if K is a finite field which is the interesting case for cryptography since in this case H 2 (GK, (Fq )s ) = 0

Read more

Summary

DL-systems

Letbe a prime number and A a group of ordersuch that i): the elements in A are presented in a compact way, for instance by O(log(`)) bits, ii): it is easy to implement the group composition ◦ such that it is very fast, for instance has complexity O(log(`)), but iii): to compute, for randomly chosen elements g1 , g2 ∈ A, a number k ∈ Z such that g2k = g1 (the discrete logarithm problem (DLproblem)) is hard. In the ideal case this complexity were exp(O(log(`))). This is obtained in black box groups, and, as we hope, in certain groups related to elliptic curves and abelian varieties. Typical examples are systems related to the multiplicative group of quotients of rings of integers (“classical” DL). A group (A, ◦) satisfying conditions i),ii) and iii) is called a DL-system

Bilinear Structures
Some applications of bilinear structures
Discrete Logarithms in class groups
Ideal classes of function rings
The regular “complete” case
The Lichtenbaum-Tate pairing
The regular affine case
The singular case
Conclusion
Lifting of Galois groups
Lifting of curves
Local duality
The unramified case: the invariant
The tamely ramified case
The Frobenius case
Explicit description of the Lichtenbaum-Tate pairing
Evaluation
Bilinear structures on divisor classes
An Index-Calculus approach for the computation of invariants
Applications
Index-Calculus in global Brauer groups
Construction of elements in the Brauer group
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.