On bilinear structures on divisor class groups
type: Item
instance of: scholarly article
title: On bilinear structures on divisor class groups
zbMATH Open document ID: 1187.11044
published in: Annales Mathématiques Blaise Pascal
publication date: 2009-05-18T00:00:00Z
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/10569
review text: Let \(K_s\) be the separable closure of a field \(K\) with units \(K_s^*\) and let \(G_K\) be the absolute Galois group \(\Aut_K(K_s)\) of \(K\). Denote by \(\mathcal{O}\), resp. \(\bar{\mathcal{O}}\), the ring of holomorphic functions of an affine curve \(C_O\) defined over \(K\), resp. the ring of holomorphic functions of the curve \(\bar{C_O}\) obtained from \(C_O\) by constant field extension to \(K_s\). Denote by \(\text{Pic}(\mathcal{O})\) and \(\text{Pic}(\bar{\mathcal{O}})\) the ideal class group of \(\mathcal{O}\) and \(\bar{\mathcal{O}}\). For all \(n\) prime to \(\text{char}(K)\), the author first defines the Lichtenbaum-Tate pairing \[ T_{L,n}: \text{Pic}(\mathcal{O})/n\text{Pic}(\mathcal{O})\times H^1(G_K, \text{Pic}(\bar{\mathcal{O}}))[n]\rightarrow H^2(G_K,K_s^*)[n], \] induced from the Lichtenbaum pairing [\textit{S. Lichtenbaum}, Invent. Math. 7, 120--136 (1969; Zbl 0186.26402)]. When \(K=\mathbb{F}_q\) is a finite field with \(q\) elements, the author shows that the Lichtenbaum-Tate pairing induces a bilinear structure on \(\text{Pic}(\mathcal{O})\) of complexity \(\mathcal{O}(k\log(q))\) with value group \(\text{Br}(K)=H^2(G_K,K_s^*)\), where \(k\) is the smallest number such that \(n|q^k-1\). Thus the discrete logarithm in \(\text{Pic}(\mathcal{O})\) is reduced to the computation of invariants in \(\text{Br}(K)\). Lastly the author gives an index-calculus approach for the computation of invariants using the Hasse-Brauer-Noether sequence and the duality theorem of Tate-Poitou [\textit{B. Mazur}, Ann. Sci. Éc. Norm. Supér. (4) 6, 521--552 (1973; Zbl 0282.14004)].
reviewed by: Jing Long Hoelscher
Mathematics Subject Classification ID: 11R65
Mathematics Subject Classification ID: 11R37
Mathematics Subject Classification ID: 11G20
zbMATH DE Number: 5554656
zbMATH Keywords: discrete logarithms
zbMATH Keywords: pairings
zbMATH Keywords: Brauer groups
zbMATH Keywords: index-calculus
MaRDI profile type: Publication
OpenAlex ID: W2331303371
cites work: Handbook of Elliptic and Hyperelliptic Curve Cryptography
cites work: Q4414287
cites work: Pairing-Friendly Elliptic Curves of Prime Order
cites work: Identity-Based Encryption from the Weil Pairing
cites work: Q4474196
cites work: Q2712108
cites work: Q3421478
cites work: The Tate pairing and the discrete logarithm applied to elliptic curve cryptosystems
cites work: A Remark Concerning m-Divisibility and the Discrete Logarithm in the Divisor Class Group of Curves
cites work: Algorithmic Number Theory
cites work: Q4254917
cites work: Q2739458
cites work: Duality theorems for curves over p-adic fields
cites work: Notes on étale cohomology of number fields
cites work: The Weil pairing, and its efficient calculation
cites work: Q5628266
cites work: Q3277020
cites work: Q5509718
cites work: Algebraic function fields and codes
cites work: Q3266818
DOI: 10.5802/AMBP.250
Recommended article: Q3421478
Recommended article: A Remark Concerning m-Divisibility and the Discrete Logarithm in the Divisor Class Group of Curves
Recommended article: Picard Groups and Refined Discrete Logarithms
Recommended article: Local Duality and the Discrete Logarithm Problem
Recommended article: The Tate pairing and the discrete logarithm applied to elliptic curve cryptosystems
Recommended article: Discrete Logarithms, Duality, and Arithmetic in Brauer Groups
Recommended article: The discrete logarithm problem from a local duality perspective
Recommended article: Self-pairings on hyperelliptic curves
Recommended article: On the discrete logarithm in the divisor class group of curves
Recommended article: Q3044320
author: Gerhard Frey
description: scientific article; zbMATH DE number 5554656