On Fitting Ideals of Kahler Differential Module

: Let k be an algebraically closed ﬁeld of characteristic zero, and R / I and S / J be algebras over k . Ω 1 ( R / I ) and Ω 1 ( S / J ) denote universal module of ﬁrst order derivation over k . The main result of this paper asserts that the ﬁrst nonzero Fitting ideal Ω 1 ( R / I ⊗ k S / J ) is an invertible ideal, if the ﬁrst nonzero Fitting ideals Ω 1 ( R / I ) and Ω 1 ( S / J ) are invertible ideals. Then using this result, we conclude that the projective dimension of Ω 1 ( R / I ⊗ k S / J ) is less than or equal to one.


Introduction
Fitting ideals are used in different areas of mathematics to investigate the structure of modules. They appear as invariants which are useful as the annihilator ideal of a module. Fitting ideal or Fitting invariant was introduced by H. Fitting in 1936 [1]. Lipman proves that when R is a quasilocal ring, the first nonzero Fitting ideal is an regular principle ideal if and only if R is a complete intersection and Ω 1 (R)/T(Ω 1 (R)) is free [2]. Kunz sets apart a section of his book of Fitting ideals of universal differential modules [3], Olgun and Erdogan study universal differential modules and their Fitting ideals [4][5][6][7][8]; Olgun also gives examples about Fitting ideals of universal differential modules. Ohm generalizes Lipman's results in a global case [9]. Hadjirezai, Hedayat, and Karimzadeh assert that when a finitely generated module in which the first nonzero Fitting ideal is maximal or regular, they characterize this module [10]. They also study the first nonzero Fitting ideal of the module over unique factorization domain rings [11]. Simis and Ulrich examine the circumstances in which the equation l(Λ r E) ≥ height(F r (M)) holds [12]. In [13], it has been shown M is a free R-module if and only if the Fitting ideal F T (M) is grade unmixed.
Fitting ideals are used in mathematical physics at the same time. They provide a transition between commutative algebra and physics. M. Einsiedler and T. Ward show how the dynamical properties of the system may be deduced from the Fitting ideals. They prove the entropy and expansiveness related with only the first Fitting ideal. This gives an easy computation instead of computing syzygy modules. Also, they show how the dynamical properties and periodic point behavior may be deduced from the determinant of the matrix of relations [14].
In this paper, we will show that if the first nonzero Fitting ideals of Ω 1 (R/I) and Ω 1 (S/J) are invertible ideals, the first nonzero Fitting ideal of Ω 1 (R/I ⊗ k S/J) is an invertible ideal. Then using this result, when the first nonzero Fitting ideals F i (Ω 1 (R/I)) and F j (Ω 1 (S/J)) are invertible ideals, we can conclude that the projective dimension of Ω 1 (R/I ⊗ k S/J) is less than or equal to one.

Background Material
Throughout this paper we will suppose that R is a commutative algebra over an algebraically closed field k with characteristic zero. In this section, we will give some results about the Fitting ideal of universal modules. When R is a k-algebra, Ω q (R) denotes the universal module of q-th order derivations of R over k, and δ q denotes the canonical q-th order k-derivative from R to Ω q (R) of R. The pair (Ω q (R), δ q ) has the universal mapping property with respect to the q-th order k-differentials of R.
Ω q (R) is R-module generated by the set δ q (r) : r R . If R is finitely generated k-algebra, then Ω q (R) will be finitely generated.
Let M be a finitely generated R-module and {m 1 , m 2 , . . . , m n } be a system of generators of M. The exact sequence of R-modules where α maps the i-th canonical basis element e i onto m i (i = 1, 2, . . . , n) and K = ker(α) is said the presentation of M defined by {m 1 , m 2 , . . . , m n }.
is called a relation matrix of M with respect to {m 1 , m 2 , . . . , m n }. When the matrix A is given, let F i (A) denote the ideal of R generated by all (n − i) rowed subdeterminants of A(i = 1, 2, . . . , n − 1), and let F i (A) = R for i ≥ n.

Proof.
(i) and (ii) are trivial. As for (iii) think the exact sequence: derived from exact sequence of R-modules: It is obvious that the images of x λ i in S define a relation matrix of the S-module S ⊗ R M with respect to 1 ⊗ m 1 , 1 ⊗ m 2 , . . . , 1 ⊗ m n . To prove (iv), we can use the isomorphism N −1 M M ⊗ R N −1 R and (iii), then we obtain Similarly, for (v), we can use the isomorphism M/I M M ⊗ R R/I and (iii). Theorem 1. Let R be an affine k-algebra and R be a regular ring. Then Ω n (R) is a projective R-module [15]. Theorem 2. Let R be an affine k-algebra and R be a regular ring if and only if Ω 1 (R) is a projective R-module [16].
. , x n ] be the polynomial algebra and let I = ( f 1 , f 2 , . . . , f m ) be an ideal of R and Ω n (R/I) is the n-th order universal module of derivatives of R/I. Ω n (R/I) F/N where F is a free module which is generated by the set {δ n (x α + I) : |α| ≤ n} and N is a submodule of F generated by the set {δ n (x α f i + I) : |α| < n, i = 1, 2, . . . , m}. Therefore we have the following exact sequence of R/I-modules: In this sequence θ is a relation matrix of the universal module Ω n (R/I). Given such a matrix, F i (Ω n (R/I)) denotes the ideal of R/I generated by all rank F − i rowed subdeterminants of θ. F i (Ω n (R/I)) is called i-th Fitting ideal of Ω n (R/I). We can write the following increasing chain by using properties of Fitting ideals:

Proposition 2.
Let R be an affine domain with dimension s. If Ω n (R) has rank r, then the first nonzero Fitting ideal of Ω n (R) is F r (Ω n (R)) [3].
Proposition 3. Let R be an affine local domain with dimension s. Ω n (R) is a free R-module with rank r if and only if the first nonzero Fitting ideal is R [3].

Proof.
Let Ω n (R) be a free R-module with rank r. Then, Conversely, if F i (Ω n (R)) = 0 for i < r and F i (Ω n (R)) = R for i ≥ r then the relation matrix of Ω n (R) is a zero matrix. Hence Ω n (R) is a free R-module which has rank r. Corollary 1. Let R be an affine k-algebra with dimension s. Ω n (R) is a projective R-module with rank r if and only if the first nonzero Fitting ideal is R [3].
Theorem 3. Let R be an affine k-algebra. Then the following are equivalent [6]: Proof. It follows from Proposition 3 and Theorem 2.
Corollary 2. Let R be an affine k-algebra. Then the following are equivalent [6]: Theorem 4. Let R be an affine local k-algebra and T(Ω n (R)) be torsion module of Ω n (R) [2]. Then the following statements are equivalent: (i) The first nonzero Fitting ideal is the principal ideal generated by a nonzero divisor of R (ii) Ω n (R) T(Ω n (R)) R r and there exists an exact sequence with free R-modules P 0 , P 1 of finite rank.

Results
Definition 3. Let R be an integral domain, I be the ideal of R and Q be the quotient field of R. If xI ⊆ R for 0 = x ∈ Q, then I is called a fractional ideal of R. Let I −1 denote {q ∈ Q|qI ⊆ R}. If I I −1 = R, then I is called an invertible ideal.
The minimum of the lengths n of such resolutions is called the projective dimension of M. It is denoted by pd R M. T(Ω n (R)) is a projective R-module of rank r and pd R Ω n (R) ≤ 1.

Proof.
Since R is an affine domain, we have T(Ω n (R)) p = T Ω n (R) p for each p ∈ Spec(R). An ideal in a Noetherian ring is an invertible ideal if and only if it is locally generated by a nonzero divisor. It follows from Theorem 4.

Corollary 3.
Let R be an affine domain and Ω n (R) be the universal module of rank r. If F r (Ω n (R)) is an invertible ideal then pd(Ω n (R)) ≤ 1 [6].
We can say Ω 2 (S) is not a projective module from Corollary 1. Hence, S is not a regular ring by the Theorem 1.
Since Ω 1 R⊗ k S K F/N, we have the following exact sequence, Then N is a free module. Therefore the above sequence is a free resolution of Ω 1 is not a regular ring. Hence, Let F be the free R ⊗ k S module generated by the set: And let N be submodule of F generated by: Since Ω 2 R⊗ k S K F /N , we have the following exact sequence: Since rankN = rankF − rankΩ 2 R⊗ k S K = 14 − 5 = 9, the generating set of N is not a basis: The Fitting ideals of Ω 2 R⊗ k S K are: is not a projective module (i.e., Ω 2 R⊗ k S K = 0 ), so R⊗ k S K is not a regular ring by the Corollary 2. Hence, pdΩ 2 R⊗ k S K must be 1 and 2.
Theorem 8 can be expressed as follows: Theorem 9. Suppose that R/I and S/J be as Theorem 8. If the first nonzero Fitting ideals of Ω 1 (R/I) and Ω 1 (S/J) are invertible ideals, then the first nonzero Fitting ideal of Ω 1 (R/I ⊗ k S/J) is an invertible ideal.
We can obtain the following result by using above the theorem.
Proof. Suppose that F i (Ω 1 (R/I)) and F j (Ω 1 (S/J)) are invertible ideals for some integers i and j, then F i+j (Ω 1 (R/I ⊗ k S/J)) is an invertible ideal from Theorem 9. Therefore pdΩ 1 (R/I ⊗ k S/J) is zero or one from Corollary 3.

Discussion
Fitting ideals are important tools to determine the projective dimension of the modules. In this study, we obtain a result for the projective dimension of Kahler modules Ω 1 (R/I ⊗ k S/J) using the invertibility of Fitting ideals. At this point, the following questions arise:

1.
Can we generalize these results to the universal module of nth order derivations of R/I ⊗ k S/J? 2.
Using the invertibility of Fitting ideals of modules, what else can we say about other properties of modules? 3.
We know that the first Fitting ideal of a module is important for the dynamical properties of the system. Is there any relation between the invertible Fitting ideal and the dynamical properties of the system?

Conclusions
Fitting ideals are important tools to characterize modules and determine regularity of ring. However, there are few studies about the Fitting ideal of universal modules. Here, we try to determine the projective dimension of the Kahler module Ω 1 (R/I ⊗ k S/J) by using the invertibility of Fitting ideals of Ω 1 (R/I) and Ω 1 (S/J). So, we use another way to determine the projective dimension of Kahler modules. Finally, we give examples for our conclusions.
Author Contributions: All authors have contributed equally to this paper. The idea of this whole paper was brought about by N.T.; she also prepared the whole article; N.O. looked into the final manuscript.
Funding: This research received no external funding.