On the Second-Degree Exterior Derivation of Kahler Modules on X ⊗ Y

This article presents a new approach to stress the properties of Kahler modules. In this paper, we construct the Kahler modules of second-degree exterior derivations and we constitute an exact sequence of X ⊗ Y -modules. Particularly, we examine Kahler modules on X ⊗ Y , and search for the homological size of Λ 2 ( Ω 1 ( X ⊗ Y ) ) .


Introduction and Preliminaries
On a differentiable manifold, the exterior derivative extends the concept of the differential of a function to differential forms of higher degree. The exterior derivative was first described in its current form by Elie Cartan in 1899; it allows for a natural, metric-independent generalization of Stokes' theorem, Gauss's theorem, and Green's theorem from vector calculus. If a k-form is thought of as measuring the flux through an infinitesimal k-parallelotope, then its exterior derivative can be thought of as measuring the net flux through the boundary of a (k + 1)-parallelotope.
In order to prove the results regarding algebraic clusters and their coordinate rings, one of the methods is to study the Kahler module of differential operators. This notion of studying the Kahler module may reduce questions about algebras to questions regarding module theory.
Differential forms are ubiquitous in modern mathematical physics, and their relevance for computations has increasingly been realized. Differential forms in mathematical physics have been studied by C. von Westenholz. An example or two will give the flavor of the subject. First, let M be an n-dimensional smooth differentiable manifold that is thought of as the configuration space of a mechanical system with n degrees of freedom. Each point of M has a neighborhood with a local coordinate system q 1 , q 2 , . . . , q n . When the system is in motion, we need not only the coordinates q i of a point of M, but also the momentum vector (p 1 , p 2,..., p n ) at q. Thus, we are led to the phase space, or cotangent bundle of M, which is denoted T * M. This space already has an interesting structure: the differential form of degree one with local expression: which is really a global quantity on T * M. Its exterior derivative: is automatically a global quantity on T * M, and an exterior differential form of degree two (skewsymmetric covariant two-tensor) [1].
In this study, we searched the homological features of differential operators and the Kahler modules of second-degree exterior derivations. Let X be a commutative algebra to an algebraically closed field k with characteristic 0. Let Ω n (X) and δ n : X → Ω n (X) symbolize the Kahler module of nth-degree derivations and standard nth degree k-derivation of X, respectively. The double (δ n , Ω n (X)) has the universal functioning feature that for any X-module N and any high derivation d : X → N of degree ≤ n, there is only an X-homomorphism t : Ω n (X) → N ; so d = t · δ n . Ω n (X) is produced by the set {δ n (x) : x ∈ X}. Therefore, if X is parochially produced k-algebra, in turn, Ω n (X) will be parochially produced X-module. Let X and Y be commutative algebras onto an algebraically closed field k with the characteristic 0. Then, X ⊗ Y is a commutative ring with unit by describing: where a i , a j ∈ X and b i , b j ∈ Y. Let U and V be ideals of X and Y, respectively. If X → X U and Y → Y V are standard homomorphisms of k-algebras, there exists an k-algebra isomorphism:

Background Material
All of the rings considered in this paper are commutative with identity, and all of the fields are of characteristic zero, unless otherwise stated. Let's say that X is a commutative algebra onto an algebraically closed field k of characteristic 0, and M is an X-module. For any non-negative integer n, by the universal nth degree differential operator on M, we denote a pair (d n , J n (M)) that is composed of an R-module J n (M) and a differential operator d n : M → J n (M) such that for any nth degree differential operator D from M to an randomly X-module N, there is only an X-module homomorphism α from J n (M) to N, which satisfied αd n = D. The module J n (M) is named the Kahler module of the nth degree differential operators on M [3]. For the case M = X, J n (X) is produced by the cluster {d n (x) : x ∈ X}. Therefore, if X is parochially produced k-algebra, then J n (X) will be a parochially produced X-module.
Let M and N be X-modules.

Proposition 1.
Let M be an X-module, T be a submodule of M, and L T be a submodule of ∧ 2 (M) produced by the cluster {σ ∧ τ : σ ∈ M, τ ∈ T}. Then, there is an X-module isomorphism: Erdogan [4].

Proposition 2.
Assume that J a (Ω b (X)) is the Kahler module of differential operators of degree a on Ω b (X) with the universal differential ∆ a . Then, there exists only the X-module homomorphism: So, the next diagram: commutes. Erdogan [4].

Remark 1.
Let X be a k-algebra and θ : Ω a+b (X) → J a (Ω b (X)) be an X-module homomorphism, as given in Proposition 2. In the circumstances, we have an exact sequence of X-modules as follows: where i is the inclusion map, and p is the natural surjection: Erdogan [4].

Lemma 2.
Let X be a commutative k-algebra. We presume thatΩ 1 (X) is the Kahler module of derivations of X with the universal derivation ∆ : X → Ω 1 (X) . In the present case, the function:

Proposition 3.
There is a split exact sequence of X-modules: Hart [6].
Under the favor of this test, the conditions kerθ = 0 and cokerθ = 0 are found in the following result. Theorem 1. Take into consideration the affine k-algebras X and Y. Let U be an ideal of X, and δ n : X → Ω n (X) be the standard nth degree k-derivation of X. Imagine that P is a submodule of Ω n (X) that is produced by all of the members of the style {δ n (x) : x ∈ U}. In that case, the sequence: is an exact sequence of X U -modules [7].

Proposition 4.
Let U and V be ideals of X and Y, in return. At that rate, there is an exact sequence: Theorem 2. Take into consideration the affine k-algebras X and Y. Let U and V be ideals of X and Y, respectively, and say that K = U ⊗ Y ⊕ X ⊗ V and P is a submodule of Ω n (X ⊗ Y) that is produced by all of the members of the style {δ n (x) : At that, the sequence: is an exact sequence of X ⊗ Y-modules [8].
Theorem 3. Conceive affine k-algebras X and Y. Let U and V be ideals of X and Y, respectively., and say that K = U ⊗ Y ⊕ X ⊗ V . Given that P is a submodule of Ω n (X ⊗ Y) produced by all of the members of style {δ n (x) : x ∈ K}, where δ n : X ⊗ Y → Ω n (X ⊗ Y) is the standard nth degree k-derivation of X ⊗ Y. Hence: Olgun and Erdogan [8].

Main Results
Throughout this section, X and Y affine k-algebras. Let U and V be the ideals of X and Y, respectively, and let's say that K = U ⊗ Y ⊕ X ⊗ V. In this section, we will be studying the second-degree exterior derivation of Kahler modules ∧ 2 (Ω 1 (X ⊗ Y)) on X ⊗ Y. Let us firstly mention that there exists an exact sequence: where Q is a free X ⊗ Y-module, and T is the submodule of Q [8].
Definition 1. Let X ⊗ Y be a commutative k-algebra. Let's suppose that Ω 1 (X ⊗ Y) is the Kahler module of derivations of X ⊗ Y with the universal derivation d 1 : X ⊗ Y → Ω 1 (X ⊗ Y) . So, the function: is a differential operators of degree 1 over Ω 1 (X ⊗ Y).
Let X ⊗ Y be a commutative k-algebra and Ω 2 (X ⊗ Y) be the Kahler module of second-degree derivations of X ⊗ Y.

Remark 2.
Let X ⊗ Y be an affine k-algebra. The function: Theorem 4. Let X ⊗ Y be an affine k-algebra. At that rate: is an exact sequence of X ⊗ Y modules.

Proof of Theorem 4.
It is enough to indicate that the sequence is exact at J 1 (Ω 1 (X ⊗ Y)). Consider Imλ is produced by λ(d 2 (x i ⊗ y i )), λ d 2 x i y i ⊗ x j y j for 1 ≤ i ≤ r, 1 ≤ j ≤ s and that Therefore we have: And: This is to say that Imλ is included in the kerγ. Hence, we have a reduced function: p : Assume that ∧ 2 (Q) and L T in Remark 2. The cluster: Since ∧ 2 (Q) is a free X ⊗ Y-module with bases: we can define a function: Therefore, if {f k } is a producing set for K, we have: Hence, q(L T ) = 0. So, q reduces an X ⊗ Y-module homomorphism: q : It is nearly explicit that qp and pq are the identities, and so, kerp = kerγ Imλ = 0. Therefore, the sequence is exact. Proposition 6. Let X ⊗ Y be a local k-algebra of dimension 1. Then, X ⊗ Y is a regular ring if ∧ 2 (Ω 1 (X ⊗ Y)) = 0.
Theorem 5. Let X ⊗ Y be an affine k-algebra of dimension 1. Let λ : Ω 2 (X ⊗ Y) → J 1 (Ω 1 (X ⊗ Y)) be as over. Then, X ⊗ Y is a regular k-algebra if λ is a surjective X ⊗ Y-module homomorphism.
Proof of Theorem 5. We have seen that if X ⊗ Y is regular of dimension 1, then λ is an isomorphism. On the other hand, assume that λ is surjective. Then, by the exact sequence in Proposition 6, we see that ∧ 2 (Ω 1 (X ⊗ Y)) = 0. Let m 1 ⊗ m 2 be the maximal ideal of X ⊗ Y. Then: So, we attain that (X ⊗ Y) m 1 ⊗m 2 is regular just as we want.
Proof of Theorem 6. We need to see that Ω 1 (X ⊗ Y) is projective. Due to rankΩ 1 (X ⊗ Y) = s, it follows that µ(Ω 1 (X ⊗ Y)) = s just as we want. Now, we will give an example with regard to our above results. 3 and V = ϕ 2 − ψ 3 be ideals of X and Y, respectively, and let's say that K = U ⊗ Y ⊕ X ⊗ V. Let Q be the X ⊗ Y-module produced by: and let T be a submodule of Q produced by: Now, the rank of ∧ 2 (Ω 1 (X ⊗ Y)) = 6 with bases: The rank of J 1 (Ω 1 (X ⊗ Y)) = 20 with bases: (1 ⊗ ψ)).

Discussion
Many studies related to the exterior derivation of Kahler modules have been done by researchers. Especially, a large work area related to first-degree exterior derivations of Kahler modules was created. In this paper, we investigated some homological properties of second-exterior derivations of Kahler modules. We believe that the results we found are useful, particularly in future works. Therefore, now whether or not to calculate higher degrees of exterior derivation of Kahler modules, that is the third degree, the fourth degree or the higher degree of exterior derivation, of Kahler modules comes to mind. Furthermore, we think that future research ought to relate to the following questions: (1) Can we calculate a higher degree of exterior derivation of Kahler modules? (2) Under which conditions can we calculate higher-degree orders of exterior derivation of Kahler modules? (3) Which Kahler modules have finite projective dimensions?

Conclusions
We know that exterior derivation has an important place not only in mathematical physics, but also in commutative algebra. Study on the structure of the exterior derivation of Kahler modules over X ⊗ Y presents interesting aspects for both mathematical physics and commutative algebra. The second exterior derivation of Kahler modules over X ⊗ Y has never been studied before in detail. So, in this paper, by using the concept of the first degree of exterior derivation of Kahler modules, we searched the new approach for ways to discover the homological features of the second degree of exterior derivation of Kahler modules. Finally, we investigated some interesting properties of the algebras of Kahler modules.
Author Contributions: All authors have promoted to all sections of the article. All authors read and agreed the ultimate manuscript. All authors have contributed equally to this paper. The individual responsibilities and contribution of all authors can be described as follows: The idea of this whole paper was put forward by A.K., he also completed the preparatory work of the paper and he wrote the whole article. N.O. analyzed the existing work of Symmetry 298417 On the Second-Degree Exterior Derivation of Kahler Modules on X ⊗ Y. The revision of this paper was completed with the help of by M.Ş.