Table of contents

  • This session has been presented January 19, 2007.

Description

  • Speaker

    Roger Oyono - University of Waterloo

Dans cet exposé je présenterai deux méthodes différentes pour la construction des équations des courbes non-hyperelliptiques de genre $3$ provenant des facteurs Q-simples A_f principalement polarisés de J(X_0(N)), où X_0(N) repésente la courbe modulaire associée à Gamma_0(N)$. La première méthode, qui ne s'applique qu'aux courbes modulaires, est basée sur le calcul du morphisme canonique des courbes non hyperelliptiques de genre 3 en utilisant des relations algébriques entre éléments d'une base integrale de l'espace S_2 (A_f) des cusp forms. Ces courbes admettent tous des modèles définis sur Q avec des petits coefficients. L'autre méthode est basée sur la résolution explicite du problème de Torelli en dimension 3 : A partir d'une variété abélienne A=C^3 /(Z^3+W Z^3) donnée par sa matrice de périodes W dans H_3 et provenant de la Jacobienne d'une courbe non hyperelliptique de genre 3, trouver l'équation d'un bon modèle de cette courbe (à isomorphisme près).

Next sessions

  • CryptoVerif: a computationally-sound security protocol verifier

    • September 05, 2025 (13:45 - 14:45)

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Speaker : Bruno Blanchet - Inria

    CryptoVerif is a security protocol verifier sound in the computational model of cryptography. It produces proofs by sequences of games, like those done manually by cryptographers. It has an automatic proof strategy and can also be guided by the user. It provides a generic method for specifying security assumptions on many cryptographic primitives, and can prove secrecy, authentication, and[…]
    • Cryptography

Show previous sessions