Je ne sais pas comment il sera possible de « voir » ce feuilletage de Reeb, car le feuilletage de codimension un transversalement dyadique ne me semble pas forcément évident à programmer : il s’agit du « feuilletage stable faible » du champ gradient de log-norme.
En ce qui concerne la notion de livre ouvert, tu peux généraliser à toutes les dimensions. En dimension 3 tu connais. En dimension qcq il s’agit d’une fibration sur le cercle en dehors d’une sous-variété de codimension deux appelée la reliure ; la fibration au voisinage de la reliure étant localement donnée par
\[ (x,z=r\cdot\text{exp}^{i\theta}) \longmapsto \text{exp}(i\theta) \]
dans des coordonnées \( (x,z) \in \mathbf{D}^{n-2} \times \mathbf{D}^2 \). La reliure est alors donnée par \( z=0 \). Cette notion existe d’ailleurs sur les surfaces même si la terminologie n’est pas très parlante dans cette dimension.
Dans notre cas, on a pas une fibration mais un feuilletage de codimension un avec une dynamique transverse dyadique assez riche, donc j’ai exagéré en disant qu’il s’agit d’un livre ouvert. Néanmoins, il possède la même structure locale au voisinage de la surface de Bogomolov B : au voisinage de tout point de B privé de B le feuilletage est donné par les niveaux d’applications à valeurs dans le cercle donnée par la même formule que plus haut, qui sont bien définies modulo post-composition par un élément du groupe de Thompson. Il y a donc une représentation de monodromie (à la différence d’un livre ouvert standard), qui associe à un élément du groupe fondamental de B un élément du groupe de Thompson. Il s’agit bien évidemment de la représentation dont on a parlé plusieurs fois !
Dernière remarque : la classe de Godbillon-Vey discrète de cette représentation sera égale au nombre de singularités fois la classe de GV discrète du feuilletage de Reeb de \(\mathbf{S}^3\). Ceci résulte de l’existence du feuilletage de codimension un transversalement dyadique défini sur \( \mathbf{P}^2(\mathbf{C} \setminus (\text{sing}(\mathcal{F} \cup B) \), ainsi que de l’invariance de GV par bordisme. Par contre, je n’arrive pas encore à bien comprendre comment on calcule GV pour les feuilletages de codimension un transversalement dyadiques, à la façon d’une intégrale explicite comme pour l’invariant de GV classique. Il y a un petit travail à faire ici…
On s’éclate bien 😊 !