Über den Derivationenmodul und das Jacobi-Ideal von Kurvensingularitäten (Q795884): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: The Milnor number and deformations of complex curve singularities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Numerische Charakterisierung Quasihomogener GORENSTEIN-Kurvensingularitäten / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Der kanonische Modul eines Cohen-Macaulay-Rings. (The canonical moduls of a Cohen-Macaulay-ring) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasihomogene Singularitäten algebraischer Kurven / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Free Derivation Modules on Algebraic Varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4075559 / rank | |||
Normal rank |
Latest revision as of 13:20, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Über den Derivationenmodul und das Jacobi-Ideal von Kurvensingularitäten |
scientific article |
Statements
Über den Derivationenmodul und das Jacobi-Ideal von Kurvensingularitäten (English)
0 references
1984
0 references
Let \(R=K[X_ 1,...,X_ n]/I\) be a reduced curve singularity over an algebraically closed field K of characteristic 0. If R is Gorenstein the derivation module \(Der_ K(R)\) contains a canonical free submodule D of rank 1, the ''module of trivial derivations''. In case R is a complete intersection, i.e. \(I=(F_ 1,...,F_{n-1}),\) the derivation \(\delta:=\sum^{n}_{k=1}(-1)^{n-k}\Delta_ k(\partial /\partial X_ k),\) where \(\Delta_ k\) denote the maximal minors of the Jacobian \(\partial(F_ 1,...,F_{n-1})/\partial(X_ 1,...,X_ n),\) is a basis element of D. The following facts are proved: Theorem 1. The length of \(Der_ K(R)/D\) is \(\leq 2\delta_ R-r_ R+1,\) where \(\delta_ R\) is the degree of singularity of R and \(r_ R\) the number of branches of R. Equality holds iff R is a quasihomogeneous singularity. Theorem 2. The minimal number of generators of \(Der_ K(R)/D\) is r(coker c\({}_ R)\), where \(c_ R:\Omega^ 1_{R/K}\to \omega^ 1_{R/K}\) is the canonical homomorphism from Kähler differentials to regular differentials and r denotes the Cohen-Macaulay type of a module. Moreover, the following conditions are equivalent: (a) \(Der_ K(R)/D\) is a cyclic R-module, (b) R is quasihomogeneous. - Theorem 3. If R is a complete intersection and J denotes the Jacobian ideal of R/K then R is quasihomogeneous iff R/J is a Gorenstein ring.
0 references
number of generators of derivation module
0 references
length of derivation module
0 references
reduced curve singularity
0 references
complete intersection
0 references
0 references