DEFINITION D'UNE VARIETE QUADRIDIMENSIONNELLE DE CALABI-YAU




Jean-François COLONNA

CMAP (Centre de Mathématiques APpliquées), Ecole Polytechnique, CNRS
france telecom, France Telecom R&D
91128 Palaiseau Cedex
France

tel = +33.(0)1.69.33.46.45
jean-francois.colonna@polytechnique.edu

http://www.lactamme.polytechnique.fr

http://www.cmap.polytechnique.fr/~colonna


[Site Map, Help and Search [Plan du Sîte, Aide et Recherche]]

[The Y2K bug [Le bug de l'an 2000]]
[Croyez-vous que les Nombres Réels existent dans un ordinateur et que les calculs flottants sont sûrs ?]
[N'oubliez pas de visiter Une Machine Virtuelle à Explorer l'Espace-Temps où vous trouverez plus de 3230 images à la frontière de l'Art et de la Science]


(cette page a été créée le 28/05/2001)
(la dernière mise à jour de cette page -appartenant au sîte CMAP28- a eu lieu le 01/03/2010 19:09:16 -CET-)
[nota relatif à l'absence de lettres accentuées]



/*************************************************************************************************************************************/
/*                                                                                                                                   */
/*        D E F I N I T I O N   D E S   T R O I S   F O N C T I O N S   ' F '  :                                                     */
/*                                                                                                                                   */
/*                                                                                                                                   */
/*        Definition :                                                                                                               */
/*                                                                                                                                   */
/*                    Une variete complexe de Calabi-Yau                                                                             */
/*                  quadridimensionnelle est definie                                                                                 */
/*                  implicitement par :                                                                                              */
/*                                                                                                                                   */
/*                                      /      \n1   /      \n2                                                                      */
/*                                      |  Z'  |     |  Z'  |                                                                        */
/*                                      |   1  |     |   2  |                                                                        */
/*                                      | ---- |   + | ---- |   = 1                                                                  */
/*                                      |  A   |     |  B   |                                                                        */
/*                                      \      /     \      /                                                                        */
/*                                                                                                                                   */
/*                  posons :                                                                                                         */
/*                                                                                                                                   */
/*                                            Z'                                                                                     */
/*                                             1                                                                                     */
/*                                      Z  = ----                                                                                    */
/*                                       1    A                                                                                      */
/*                                                                                                                                   */
/*                                            Z'                                                                                     */
/*                                             2                                                                                     */
/*                                      Z  = ----                                                                                    */
/*                                       2    B                                                                                      */
/*                                                                                                                                   */
/*                  d'ou :                                                                                                           */
/*                                                                                                                                   */
/*                                       n1    n2                                                                                    */
/*                                      Z   + Z   = 1                                                                                */
/*                                       1     2                                                                                     */
/*                                                                                                                                   */
/*                  ou 'Z1' et 'Z2' sont deux nombres complexes.                                                                     */
/*                  Cela peut se reecrire :                                                                                          */
/*                                                                                                                                   */
/*                                               2            2                                                                      */
/*                                      /   n1  \    /   n2  \                                                                       */
/*                                      |  ---- |    |  ---- |                                                                       */
/*                                      |   2   |    |   2   |                                                                       */
/*                                      | Z     |  + | Z     |   = 1                                                                 */
/*                                      \  1    /    \  2    /                                                                       */
/*                                                                                                                                   */
/*                  ou encore :                                                                                                      */
/*                                                                                                                                   */
/*                                            2         2                                                                            */
/*                                      cos(Z)  + sin(Z)  = 1                                                                        */
/*                                                                                                                                   */
/*                  d'ou :                                                                                                           */
/*                                                                                                                                   */
/*                                       n1         2                                                                                */
/*                                      Z   = cos(Z)                                                                                 */
/*                                       1                                                                                           */
/*                                                                                                                                   */
/*                                       n2         2                                                                                */
/*                                      Z   = sin(Z)                                                                                 */
/*                                       2                                                                                           */
/*                                                                                                                                   */
/*                  (ou 'Z' est un "angle" complexe) d'ou :                                                                          */
/*                                                                                                                                   */
/*                                                                 1                                                                 */
/*                                                 k1   /       \ ----                                                               */
/*                                            2ip.---- |         | n1                                                                */
/*                                                 n1  |       2 |                                                                   */
/*                                      Z  = e         | cos(Z)  |                                                                   */
/*                                       1              \       /                                                                    */
/*                                                                                                                                   */
/*                                                                 1                                                                 */
/*                                                 k2   /       \ ----                                                               */
/*                                            2ip.---- |         | n2                                                                */
/*                                                 n2  |       2 |                                                                   */
/*                                      Z  = e         | sin(Z)  |                                                                   */
/*                                       2              \       /                                                                    */
/*                                                                                                                                   */
/*                                                                                                                                   */
/*                  d'ou :                                                                                                           */
/*                                                                                                                                   */
/*                                                 k1         2                                                                      */
/*                                            2ip.----       ----                                                                    */
/*                                                 n1         n1                                                                     */
/*                                      Z  = e         cos(Z)                                                                        */
/*                                       1                                                                                           */
/*                                                                                                                                   */
/*                                                 k2         2                                                                      */
/*                                            2ip.----       ----                                                                    */
/*                                                 n2         n2                                                                     */
/*                                      Z  = e         sin(Z)                                                                        */
/*                                       2                                                                                           */
/*                                                                                                                                   */
/*                  et :                                                                                                             */
/*                                                                                                                                   */
/*                                      Z' = A.Z                                                                                     */
/*                                       1      1                                                                                    */
/*                                                                                                                                   */
/*                                      Z' = B.Z                                                                                     */
/*                                       2      2                                                                                    */
/*                                                                                                                                   */
/*                  ou 'k1' et 'k2' indicent les racines n-iemes                                                                     */
/*                  de l'unite (n = {n1,n2}) :                                                                                       */
/*                                                                                                                                   */
/*                                      k1 E [ 0 , n1-1 ]                                                                            */
/*                                                                                                                                   */
/*                                      k2 E [ 0 , n2-1 ]                                                                            */
/*                                                                                                                                   */
/*                  La variete est ainsi composee de n1.n2 "patches"                                                                 */
/*                  parametres chacun par {u,v}, avec :                                                                              */
/*                                                                                                                                   */
/*                                      u E [ 0 , p/2 ]                                                                              */
/*                                                                                                                                   */
/*                                      v E [ -1 , +1 ]                                                                              */
/*                                                                                                                                   */
/*                  (ou 'p' designe 'pi') et :                                                                                       */
/*                                                                                                                                   */
/*                                      Z = u + i.v                                                                                  */
/*                                                                                                                                   */
/*                  (voir a ce propos 'v $xrs/CalabiYau.14$I permutation.de..u..et.de..v.'                                           */
/*                  pour la justification des bornes de 'u' et de 'v', en particulier).                                              */
/*                                                                                                                                   */
/*                                                                                                                                   */
/*                  [d'apres "A Construction for Computer Complex Curves" de Andrew J. Hanson                                        */
/*                  publie dans "Notices of the American Mathematical Society" du 11-12/1994]                                        */
/*                                                                                                                                   */
/*                                                                                                                                   */
/*************************************************************************************************************************************/


(Nota : les lignes d'explications qui précédent sont des commentaires extraits des programmes ayant été utilisés pour calculer les images correspondantes. Ce programme en est un exemple parmi des centaines.)


Copyright (c) Jean-François Colonna, 2001-2010.
Copyright (c) France Telecom R&D and CMAP (Centre de Mathématiques APpliquées) / Ecole Polytechnique, 2001-2010.