The nonexistence of negative weight derivations on positive dimensional isolated singularities: generalized Wahl conjecture (Q2188427)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The nonexistence of negative weight derivations on positive dimensional isolated singularities: generalized Wahl conjecture
scientific article

    Statements

    The nonexistence of negative weight derivations on positive dimensional isolated singularities: generalized Wahl conjecture (English)
    0 references
    0 references
    0 references
    0 references
    11 June 2020
    0 references
    Let \(R = \bigoplus_{\nu\geq 0} R_\nu\) be a graded finitely generated algebra over \(R_0=\mathbb C\). Then there is a presentation \(R = P/I\), where \(P\) is a graded polynomial ring over \(\mathbb C\) in \(n\) variables with positive weights \(w_1,\dots, w_n\) and \(I\) is an ideal generated by a sequence of quasihomogeneous polynomials \(f_1, \cdots, f_m\). In 1983, J. M. Wahl conjectured that for any normal graded ring \(R\) having an isolated singularity there is a normal graded ring \(\tilde R\) with isomorphic completion, \(R^\wedge \cong \tilde R^\wedge\), such that the module of \(\mathbb C\)-derivations \(\mathrm{Der}(\tilde R)\) has no elements of negative weight (see [\textit{J. M. Wahl}, Proc. Symp. Pure Math. 40, 613--624 (1983; Zbl 0534.14001)]). On the other hand, in 1982 the reviewer has proved the following statement (in the local analytic setting): if the ideal \(I\) is generated by a regular sequence then the quotient \(\mathrm{Der}(R)/\mathrm{Der^o}(R)\), where \(\mathrm{Der^o}(R)\) is the module of trivial \(\mathbb C\)-derivations, has no elements of negative weight in the induced grading because the quotient is generated by the Euler derivation. Moreover, in this case there are many examples of graded algebras with trivial derivations of negative weight (see [\textit{A. G. Aleksandrov}, Math. USSR, Izv. 26, 437--477 (1986; Zbl 0647.14027); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 49, No. 3, 467--510 (1985)]). Similar results one can easily obtain for any Gorenstein 1-dimensional graded analytic algebra \(R\) using an explicit description of the above quotient (see [\textit{E. Kunz} and \textit{R. Waldi}, Math. Z. 187, 105--123 (1984; Zbl 0543.14014)]). In the paper under review the authors assert that the module \(\mathrm{Der}(R)\) has no elements of negative weight for any graded \(\mathbb C\)-algebra \(R\) satisfying the following two conditions: it determines an isolated singularity of positive dimension and its defining ideal \(I\) can be generated by a sequence of polynomials whose weighted degrees are high enough. In addition, the corresponding bound is expressed explicitly in terms of weights of variables of the ambient ring. It should be noted that the proof presented is mainly based on a series of purely combinatorial arguments and involves a lot of tedious calculations.
    0 references
    graded rings and algebras
    0 references
    derivations
    0 references
    quasihomogeneous singularities
    0 references
    isolated complete intersection singularities
    0 references
    graded Gorenstein singularities
    0 references
    quotient singularities
    0 references
    derivations of negative weight
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references