Définition d'une Variété 8-dimensionnelle de Calabi-Yau






Jean-François COLONNA
[Contact me]

www.lactamme.polytechnique.fr

CMAP (Centre de Mathématiques APpliquées) UMR CNRS 7641, École polytechnique, Institut Polytechnique de Paris, CNRS, France

[Site Map, Help and Search [Plan du Site, Aide et Recherche]]
[The Y2K Bug [Le bug de l'an 2000]]
[Real Numbers don't exist in Computers and Floating Point Computations aren't safe. [Les Nombres Réels n'existent dans les Ordinateurs et les Calculs Flottants ne sont pas sûrs.]]
[N'oubliez pas de visiter Une Machine Virtuelle à Explorer l'Espace-Temps et au-delà où vous trouverez plusieurs milliers d'images et d'animations à la frontière de l'Art et de la Science]
(Site WWW CMAP28 : cette page a été créée le 02/02/2023 et mise à jour le 14/11/2023 17:52:20 -CET-)



/*************************************************************************************************************************************/
/*                                                                                                                                   */
/*        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  ('v $xrs/CalabiYau.42$K') :                                                                                    */
/*                                                                                                                                   */
/*                    Une variete hyper-complexe de Calabi-Yau                                                                       */
/*                  8-dimensionnelle est definie                                                                                     */
/*                  implicitement par :                                                                                              */
/*                                                                                                                                   */
/*                                      /      \n1   /      \n2                                                                      */
/*                                      |  Q'  |     |  Q'  |                                                                        */
/*                                      |   1  |     |   2  |                                                                        */
/*                                      | ---- |   + | ---- |   = 1                                                                  */
/*                                      |  A   |     |  B   |                                                                        */
/*                                      \      /     \      /                                                                        */
/*                                                                                                                                   */
/*                  posons :                                                                                                         */
/*                                                                                                                                   */
/*                                            Q'                                                                                     */
/*                                             1                                                                                     */
/*                                      Q  = ----                                                                                    */
/*                                       1    A                                                                                      */
/*                                                                                                                                   */
/*                                            Q'                                                                                     */
/*                                             2                                                                                     */
/*                                      Q  = ----                                                                                    */
/*                                       2    B                                                                                      */
/*                                                                                                                                   */
/*                  d'ou :                                                                                                           */
/*                                                                                                                                   */
/*                                       n1    n2                                                                                    */
/*                                      Q   + Q   = 1                                                                                */
/*                                       1     2                                                                                     */
/*                                                                                                                                   */
/*                  ou 'Q1' et 'Q2' sont deux nombres hyper-complexes.                                                               */
/*                  Cela peut se reecrire :                                                                                          */
/*                                                                                                                                   */
/*                                               2            2                                                                      */
/*                                      /   n1  \    /   n2  \                                                                       */
/*                                      |  ---- |    |  ---- |                                                                       */
/*                                      |   2   |    |   2   |                                                                       */
/*                                      | Q     |  + | Q     |   = 1                                                                 */
/*                                      \  1    /    \  2    /                                                                       */
/*                                                                                                                                   */
/*                  ou encore :                                                                                                      */
/*                                                                                                                                   */
/*                                            2         2                                                                            */
/*                                      cos(Q)  + sin(Q)  = 1                                                                        */
/*                                                                                                                                   */
/*                  d'ou :                                                                                                           */
/*                                                                                                                                   */
/*                                       n1         2                                                                                */
/*                                      Q   = cos(Q)                                                                                 */
/*                                       1                                                                                           */
/*                                                                                                                                   */
/*                                       n2         2                                                                                */
/*                                      Q   = sin(Q)                                                                                 */
/*                                       2                                                                                           */
/*                                                                                                                                   */
/*                  (ou 'Q' est un "angle" hyper-complexe) d'ou :                                                                    */
/*                                                                                                                                   */
/*                                                                 1                                                                 */
/*                                                 k1   /       \ ----                                                               */
/*                                            2Ip.---- |         | n1                                                                */
/*                                                 n1  |       2 |                                                                   */
/*                                      Q  = e         | cos(Q)  |                                                                   */
/*                                       1              \       /                                                                    */
/*                                                                                                                                   */
/*                                                                 1                                                                 */
/*                                                 k2   /       \ ----                                                               */
/*                                            2Ip.---- |         | n2                                                                */
/*                                                 n2  |       2 |                                                                   */
/*                                      Q  = e         | sin(Q)  |                                                                   */
/*                                       2              \       /                                                                    */
/*                                                                                                                                   */
/*                                                                                                                                   */
/*                  ou 'I' represente l'imaginaire pur (0,1,1,1).                                                                    */
/*                                                                                                                                   */
/*                  D'ou :                                                                                                           */
/*                                                                                                                                   */
/*                                                 k1         2                                                                      */
/*                                            2Ip.----       ----                                                                    */
/*                                                 n1         n1                                                                     */
/*                                      Q  = e        .cos(Q)                                                                        */
/*                                       1                                                                                           */
/*                                                                                                                                   */
/*                                                 k2         2                                                                      */
/*                                            2Ip.----       ----                                                                    */
/*                                                 n2         n2                                                                     */
/*                                      Q  = e        .sin(Q)                                                                        */
/*                                       2                                                                                           */
/*                                                                                                                                   */
/*                  et :                                                                                                             */
/*                                                                                                                                   */
/*                                      Q' = A.Q                                                                                     */
/*                                       1      1                                                                                    */
/*                                                                                                                                   */
/*                                      Q' = B.Q                                                                                     */
/*                                       2      2                                                                                    */
/*                                                                                                                                   */
/*                  ou 'k1' et 'k2' indicent les racines n-iemes                                                                     */
/*                  de l'unite (n = {n1,n2}) :                                                                                       */
/*                                                                                                                                   */
/*                                      k1 ∈ [ 0 , n1-1 ]                                                                            */
/*                                                                                                                                   */
/*                                      k2 ∈ [ 0 , n2-1 ]                                                                            */
/*                                                                                                                                   */
/*                  La variete est ainsi composee de n1.n2 "patches"                                                                 */
/*                  parametres chacun par {u,v,w,t}, avec :                                                                          */
/*                                                                                                                                   */
/*                                      u ∈ [ 0 , p/2 ]                                                                              */
/*                                                                                                                                   */
/*                                      v ∈ [ -1 , +1 ]                                                                              */
/*                                                                                                                                   */
/*                                      w ∈ [ -1 , +1 ]                                                                              */
/*                                                                                                                                   */
/*                                      t ∈ [ -1 , +1 ]                                                                              */
/*                                                                                                                                   */
/*                  (ou 'p' designe 'pi') et :                                                                                       */
/*                                                                                                                                   */
/*                                      Q = u + i.v + j.w + k.t                                                                      */
/*                                                                                                                                   */
/*                                                                                                                                   */
/*************************************************************************************************************************************/


(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 © Jean-François COLONNA, 2023-2023.
Copyright © CMAP (Centre de Mathématiques APpliquées) UMR CNRS 7641 / École polytechnique, Institut Polytechnique de Paris, 2023-2023.