Tensor product surfaces and graded syzygies

Résumé technique de « Tensor Product Surfaces and Graded Syzygies » par Matthew Weaver

Énoncé du problème
L'article aborde le problème d'implicitisation des surfaces produit tensoriel. Plus précisément, étant donné un espace vectoriel de dimension quatre $U \subseteq H^0(\mathcal{O}_{\mathbb{P}^1 \times \mathbb{P}^1}(a, b))$ muni d'une base de polynômes bihomogènes $\{p_0, p_1, p_2, p_3\}$, l'objectif est de déterminer l'équation implicite de l'application rationnelle $\phi_U: \mathbb{P}^1 \times \mathbb{P}^1 \dashrightarrow \mathbb{P}^3$. L'image de cette application, notée $X_U$, est une surface dans $\mathbb{P}^3$. Bien que des techniques d'élimination standard (bases de Gröbner, résultants) existent, elles sont souvent coûteuses en calcul, en particulier dans le cadre multigradé de $\mathbb{P}^1 \times \mathbb{P}^1$. L'article se concentre sur le cas où l'idéal $I_U = (p_0, p_1, p_2, p_3)$ admet une syzygie « simplement graduée », une condition qui a été démontrée dans des travaux antérieurs comme simplifiant le processus d'implicitisation.

Méthodologie
L'auteur utilise le complexe d'approximation $\mathcal{Z}$, développé par Herzog, Simis et Vasconcelos, qui relie l'algèbre de Rees d'un idéal à son algèbre symétrique. La stratégie centrale repose sur le fait que l'équation implicite de $X_U$ peut être récupérée à partir du déterminant d'une représentation matricielle spécifique de la première différentielle $d_1$ d'un segment de $\mathcal{Z}$, à condition que ce segment soit carré et acyclique dans un degré spécifique.

La méthodologie procède comme suit :

1. Syzygie simplement graduée : L'article suppose que $I_U$ possède une syzygie minimale $S$ dans un bidegré simplement gradué, spécifiquement $(0, n)$ (ou symétriquement $(n, 0)$), où $n \ge 1$.
2. Sous-espace associé $V$ : À partir de la syzygie $S$, l'auteur construit un sous-espace vectoriel $V \subseteq U$ sur $K$. Si $S = \sum_{j=0}^n (\sum_{i=0}^3 a_{ij} p_i) u^{n-j}v^j$, alors $V$ est engendré par les polynômes $f_j = \sum_{i=0}^3 a_{ij} p_i$.
3. Analyse de cas par dimension : L'article analyse trois cas distincts basés sur la dimension de $V$ (qui s'avère être 2, 3 ou 4) :
   • Cas $\dim V = 2$ : Les entrées de $S$ forment une suite régulière. L'auteur construit deux syzygies supplémentaires ($S_1, S_2$) en utilisant la structure de Hilbert-Burch de l'idéal engendré par ces entrées.
   • Cas $\dim V = 3$ : Les entrées de $S$ engendrent un idéal artinien de codimension deux. L'auteur utilise le théorème de Hilbert-Burch pour décrire la matrice de syzygie de ces entrées et construit deux syzygies supplémentaires ($S_2, S_3$) en relevant des relations impliquant le générateur restant de $I_U$.
   • Cas $\dim V = 4$ : Ici $V = U$, ce qui signifie que la base de $V$ engendre l'idéal entier $I_U$. Les entrées de $S$ engendrent un idéal artinien avec une résolution plus complexe. L'auteur construit trois syzygies supplémentaires ($S_1, S_2, S_3$) en utilisant une hiérarchie de matrices de Hilbert-Burch et leurs matrices de syzygie associées.
4. Construction matricielle : Dans chaque cas, l'auteur construit explicitement un ensemble de syzygies $\{S, S_1, S_2, S_3\}$ (ou un sous-ensemble de ceux-ci) qui engendrent un module libre de rang suffisant pour former une matrice carrée de taille $2ab \times 2ab$ dans le bidegré $(2a-1, b-1)$.

Contributions et résultats clés
La contribution principale est une généralisation des résultats précédents de Duarte et Schenck (pour les syzygies linéaires, $n=1$) et des travaux antérieurs de l'auteur lui-même (pour les syzygies quadratiques, $n=2$) au cas général d'une syzygie simplement graduée de degré $n$.

• Théorème 4.4 ($\dim V = 2$) : Si $I_U$ possède une syzygie minimale $S$ de bidegré $(0, n)$ avec $b \ge 2n-1$ et $\dim V = 2$, alors $I_U$ admet deux syzygies supplémentaires $S_1, S_2$ de bidegré $(a, b-n)$ telles que l'espace engendré par $\{S, S_1, S_2\}$ dans le bidegré $(2a-1, b-1)$ ait une dimension $2ab$.
• Théorème 5.11 ($\dim V = 3$) : Si $\dim V = 3$, il existe des syzygies $S_1, S_2, S_3$ avec des bidegrés spécifiques impliquant des paramètres $\mu$ dérivés de la résolution des entrées de $S$, de sorte que l'enveloppe de $\{S, S_1, S_2, S_3\}$ dans le bidegré cible ait une dimension $2ab$.
• Théorème 6.8 ($\dim V = 4$) : Si $\dim V = 4$, il existe des syzygies $S_1, S_2, S_3$ avec des bidegrés déterminés par des paramètres $\mu_1, \mu_2$ issus de la résolution des entrées de $S$, de sorte que l'enveloppe de $\{S, S_1, S_2, S_3\}$ ait une dimension $2ab$.

Dans tous les cas, le déterminant de la représentation matricielle $2ab \times 2ab$ de la différentielle $d_1$ formée par ces syzygies est une puissance de l'équation implicite de $X_U$.

Portée et affirmations
L'article affirme que ces résultats fournissent une méthode de calcul plus efficace pour trouver les équations implicites des surfaces produit tensoriel par rapport au calcul du module de syzygie complet $\text{syz}(I_U)$ sur l'anneau à quatre variables $K[s, t, u, v]$.

• Efficacité : Les syzygies construites sont explicites et formulaires. Elles reposent sur les syzygies d'idéaux dans le sous-anneau à deux variables $K[u, v]$ (ou $K[s, t]$), dont la détermination est moins coûteuse en calcul que celle du module complet sur les quatre variables.
• Généralité : Le travail unifie et étend les cas $n=1$ et $n=2$ à un $n$ arbitraire, sous réserve que la condition $b \ge 2n-1$ soit satisfaite.
• Implémentation : L'auteur note que ces constructions sont facilement implémentables dans des systèmes d'algèbre informatique comme Macaulay2. Des exemples computationnels suggèrent que pour des paramètres plus grands, cette méthode est plus rapide que le calcul du module de syzygie complet.

L'article conclut en soulevant des questions ouvertes concernant l'extension de ces méthodes aux surfaces présentant des points de base, l'unicité des syzygies simplement graduées minimales, et les implications géométriques de ces syzygies sur le lieu singulier de la surface.