Jacobian criteria for complete intersections. The graded case (Q1328155): Difference between revisions

Soient \(k\) un corps de caractéristique zéro, \(P = k[X_ 1, \dots, X_ n]\) et \(R = P/I\), où \(I\) est un idéal homogène dans \(P\). Les auteurs donnent une construction du complex cotangent minimal \(L_{R/k}\) d'André et Quillen et un théorème qui affirme qu'un homomorphism du complex \(L_{R/k}\) dans une résolution libre minimale d'idéal homogène maximal \(m\) de \(R\) qui prolonge le homomorphisme d'Euler \(\Omega_{R/k} \to m\) est inversible à gauche. Comme applications sont démontrés des résultats du type suivant: Si la dimension projective du \(R\)-module \(\Omega_{R/k}\) est finie, alors \(R\) est une intérsection complète réduite. \(R\) est un intérsection complète si et seulement si l'une des conditions suivantes est remplie: (i) la dimension projective de \(I/I^ 2\) est finie (le conjecture de Vasconselos dans le cas gradué). (ii) le rayon de convergence de la série de Poincaré de \(I/I^ 2\) est \(\geq 1\). (iii) le rayon de convergence de la série de Poincaré de \(\Omega_{R/k}\) est \(\geq 1\). (iv) \(b_ i (\Omega_{R/k}) \leq q(i)\) pour \(i \gg 0\) et \(q\) un polynôme de \(R[\mathbb{Z}]\) \((b_ i (\Omega_{R/k})\) est le coefficient d'ordre \(i\) de la série de Poincaré de \(\Omega_{R/k})\).