Description
Après avoir traité un exemple élémentaire (multiplicité d'un point sur une courbe plane ou plus généralement d'une hypersurface), nous fournissons la définition du polynôme et de la série d'Hilbert-Samuel d'un anneau local noethérien. Nous considérerons également le cadre gradué, cadre dans lequel le polynôme d'Hilbert-Samuel (ou la série) permet en particulier le calcul de la dimension (de Krull). Nous tenterons de faire le lien entre les deux cadres (local, gradué) via l'anneau gradué associé à un anneau local ce qui conduit d'un point de vue géométrique à la notion de cône tangent.<br/> Il est prévu de traiter quelques exemples élémentaires. Un algorithme de calcul de la série d'Hilbert-Samuel d'un idéal homogène à l'aide des bases de Groebner sera donné.
Prochains exposés
-
Oblivious Transfer from Zero-Knowledge Proofs (or how to achieve round-optimal quantum Oblivious Transfer without structure)
Orateur : Léo Colisson - Université Grenoble Alpes
We provide a generic construction to turn any classical Zero-Knowledge (ZK) protocol into a composable oblivious transfer (OT) protocol (the protocol itself involving quantum interactions), mostly lifting the round-complexity properties and security guarantees (plain-model/statistical security/unstructured functions…) of the ZK protocol to the resulting OT protocol. Such a construction is unlikely[…]-
Cryptography
-