On Connection between Second-Degree Exterior and Symmetric Derivations of Kähler Modules

Mathematical physics looks for ways to apply mathematical ideas to problems in physics. In differential forms, the tensor form is first defined, and the definitions of exterior and symmetric differential forms are made accordingly. For instance, M is an R-module, M⊗R M the tensor product of M with itself and H a submodule of M⊗R M generated by x⊗ y− y⊗ x, where x, y in M. Then, ∨2(M) = M⊗R M/H is called the second symmetric power of M. A role of the exterior differential forms in field theory is related to the conservation laws for physical fields, etc. In this study, I present a new approach to emphasize the properties of second exterior and symmetric derivations on Kahler modules, and I find a connection between them. I constitute exact sequences of ∨(Ω1(S)) and Λ(Ω1(S)), and I describe and prove a new isomorphism in the following: Let S be an affine algebra presented by R/I, where R = k[x1, ...xs] is a polynomial algebra and I = ( f1, ... fm) an ideal of R. Then, I have J1Ω1(S) ' Ω1(S)⊕∨(Ω1(S))⊕Λ(Ω1(S).


Introduction
Mathematical physics seeks any approaches to carry out mathematical ideas in problems in physics.These two disciplines are very close, especially with differential forms.Indeed, in the past, it was difficult to classify Newton and Gauss as purely physicists or mathematicians.Mathematical physics has been quite closely related to ideas in calculus, especially those of differential equations.An easy, acute definition of differential forms, due to H. Flanders [1], is that differential forms are those found under the integral signs, which give the current state of the differential forms.We draw up tensor field, related to components a basis formed of tensor products of basis tangent vectors e i and one-forms w i , as displayed: T = T ik... ...mn... e i ⊗ e k ⊗ ...w m ⊗ w n ⊗ ... The components could be functions of the position.One may work in the natural bases for these spaces written, for coordinates x i , e i = ∂ ∂x i , w i = dx i .Differential forms are presented as antisymmetric covariant tensor fields, namely fields that only the w i perform and the components are the antisymmetric basis written as w i ∧ w j ∧ w k = ∑ π (−1) π π[w i ⊗ w j ⊗ w k ] composed of the antisymmetric tensor product of w i .π represents a permutation of the w i .The symbol ∧ is the called wedge product.The exterior derivative d is a map from p-forms to (p + 1)-forms.If γ = f dx i ∧ dx j ∧ ..., then d is defined by dγ = ( ∂ f ∂x k )dx k ∧ dx i ∧ dx j ∧ ..., and the exterior derivative satisfies the Leibniz rule: [2].I now work with the set of differential forms on a commutative algebra.I give lemmas about second order exterior derivations and give definitions and lemmas about symmetric derivations of Kähler differentials, and I improve new approaches regarding second order exterior and symmetric derivatives of Kähler differentials.

Mathematical Background
One of the methods used to prove algebraic sets and their coordinate results is to study the universal modules of differential operators.Thus, problems related to algebraic sets are transferred to the module theory.For example, if p is a point in the algebraic set V, then under suitable conditions, it can be shown that p is a simple point of V if and only if Ω 1 (R) is a free module including a local ring R corresponding to the point p of V, and Ω 1 (R) is the universal module of derivations of R. Universal modules of differential operators propose an alternative solution to the available criteria that helps to understand whether a coordinate ring corresponding to an irreducible finitely-generated algebra is regular or not.Universal modules were first defined by Y. Nakai in 1960 [3].He gave the necessary and sufficient condition for an affine domain to be regular and gave an alternative idea of the Jacobian criterion for regularity.Universal modules of high-order differential operators were first described by H. Osborn in 1967 [4].Y. Nakai [5] extended the fundamental theorems for higher derivations and some properties of the module of high order differentials.R.G. Heynemann and M.E.Sweedler also studied the same notations in [6].They mentioned differential operators on a commutative algebra, which extends the notion of derivations.J. Johnson presented Kähler differentials and differential algebra in [7].Then, Erdogan studied universal modules of higher differential operators in 1993 [8].The exterior and symmetric derivations of universal modules were also studied by Osborn [4], Hart [9,10], Erdogan [8], Olgun [11], Merkepçi and Olgun [12], Merkepçi and et al. [13], M.E.Sweedler [14] and Karakuş and et al [15].Erdogan mentioned the second order exterior derivations of universal modules.Olgun gave the definition of generalized symmetric derivations on Kähler modules and gave some homological properties.Merkepçi and Olgun defined some split exact sequences and isomorphisms about second order symmetric and exterior derivations on Kähler modules, and they calculated the projective dimension of second order symmetric derivations on Kähler modules.

Preliminaries
Let k be a field with characteristic zero and R be a commutative algebra over k.J 1 (R) is the universal module of first order differentials of R over k.Ω 1 (R) is the module of first order K ähler differentials of R over k.
is the second order exterior derivation of Kähler modules on Ω 1 (R), and ∨ 2 (Ω 1 (R)) is the second order symmetric derivation of Kähler modules on Ω 1 (R).
Definition 1.Let R be any k-algebra (commutative with unit), R → Ω n (R) be the n-th order Kähler derivation of R and ∨(Ω n (R)) be the symmetric algebra p≥0 ∨ p (Ω n (R)) generated over R by Ω n (R) [2].
A generalized symmetric derivation is any k-linear map D of ∨(Ω n (R)) into itself such that: Lemma 1.Let R be a commutative k-algebra.Suppose that Ω 1 (R) is the universal module of derivations of R with universal derivation d:R → Ω 1 (R) [6].Then, the map: Proof of Lemma 1. (Osborn, H. Lemma (9.2). p. 155) Proposition 1.Let S be an affine algebra presented by R/I.Then, the map g : Proof of Proposition 1.This follows by Proposition 4.1.5 in [6].

Main Results
Lemma 2. Let S be an affine algebra presented by R/I.Then, Proof of Lemma 2. The following map: is a differential operator of order one on Ω 1 (S) where x i , x j ∈ R and 1 ≤ i, j ≤ s.
By the universal property of J 1 (Ω 1 (S)), there is a unique R-module homomorphism: such that β1 ∆1 = D1 and the following diagram commutes.
β1 is surjective.Therefore, we have: an exact sequence of S-modules.It is sufficient to show that the sequence is exact at J 1 (Ω 1 (S)).
Note that Im ∆1 is generated by ∆1 (d 1 (x i )) for i = 1,..., s.Therefore, we have: Hence, Im ∆1 is in ker β1 .Therefore, we get p : Now, assume that λ 2 F and L N are as in Proposition 1. { ∆1 (x i d 1 (x j )) : 1 ≤ i < j ≤ s} generates J 1 (Ω 1 (S))/Im ∆1 .Since Λ 2 F is a free S-module with basis d 1 (x i ) ∧ d 1 (x j ), we can write a map q : Thus, if { f k } is a generating set for I, we have: where ∂ ∂x i : R −→ R, ∂ i (x j ) = δ i , j for i, j = 1,..., s and δ i , j is the Kronecker delta.Hence, q(L N ) = 0. Therefore, q induces an S-module homomorphism: q : It is clear that q p and p q are identities, and so, ker p = ker β1 /Im ∆1 = 0 and then ker β1 = Im ∆1 .Therefore, the sequence is exact.Similarly, the following lemma is given.Lemma 3. Let S be an affine algebra presented by R/I.Then: is an exact sequence of S-modules.
Proof of Lemma 3. The following map: is a differential operator of order one on Ω 1 (S) where x i , x j in R and 1 ≤ i, j ≤ s.By the universal mapping property of J 1 (Ω 1 (S)), there is a unique S-module homomorphism β1 : J 1 (Ω 1 (S)) −→ ∨ 2 (Ω 1 (S)) such that β1 ∆1 = Ď1 and the following diagram commutes.
β1 is surjective.Therefore, we have: an exact sequence of S-modules.It is sufficient to prove that the sequence is exact at J 1 (Ω 1 (S)).
β is surjective.Therefore, we have: a short exact sequence of S-modules.Now, the map: î : defined by: î Similarly, the map: defined by: ǐ Then, we define the following map: Shortly, I prove the splitting.Let: and: defined by: D1 and Ď1 are first order derivations.
Therefore, by the universal property of J 1 (Ω 1 (S)), there exists S-module homomorphisms: such that diagrams: and: commutes.Therefore, I can write: and: From here, I obtain: Hence, the sequence splits.

Discussion
There are many studies about symmetric and exterior derivations of Kähler modules.Moreover, exterior derivations have been studied more extensively.Especially, there are articles about first order symmetric and exterior derivations of Kähler modules.Then, the question comes to mind: Is there a connection between these two subjects that are working in the same field?In this study, I examined the relationship between the symmetric and exterior derivations of Kähler modules.I am sure that the results that I have found are useful, especially in the next studies.Furthermore, I think the following questions are necessary for the future research: (1) Can I define a new approach related to high order symmetric and exterior derivations of Kähler modules?
(2) Under which conditions can I write a connection about high order symmetric and exterior derivations on Kähler modules.

Conclusions
I know that symmetric and exterior derivations on Kähler modules play an important role both in mathematical physics and in commutative algebra.Studies on the structure of the symmetric and exterior derivations of Kähler modules present interesting aspects for not only mathematical physics, but also commutative algebra.Therefore, in this paper, I searched for new approaches for the connection of first order symmetric and exterior derivations.Finally, I defined some isomorphisms, proved them and gave special examples.