Matematik / Mathematics DOI: 10.21597/jist.644583 Araştırma Makalesi / Research Article Iğdır Üniversitesi Fen Bilimleri Enstitüsü Dergisi, 10(2): 1213-1223, 2020 Journal of the Institute of Science and Technology, 10(2): 1213-1223, 2020 ISSN: 2146-0574, eISSN: 2536-4618

Eigenvalue Estimates Using Harmonic 1−Form of Constant Length for The 푺풑풊풏풄

Serhan EKER1*

ABSTRACT: In this paper, we obtain a lower bound for the eigenvalue of the 푆푝푖푛푐 Dirac operator on an (푑 ≥ 3) −dimensional compact Riemannian Spin 푐 −manifold admitting a non−zero harmonic 1 −form of constant length. Then we show that, in the limiting case, this 1 −form is parallel.

Keywords: Spin and 푆푝푖푛푐 geometry, Dirac operator, Estimation of eigenvalues.

Sabit Uzunluklu Harmonik 1−Form Kullanılarak 푺풑풊풏풄 Dirac Operatörünün Özdeğerlerine Tahminler

ÖZET: Bu makalede, sıfır olmayan sabit uzunluklu harmonik 1-formu kabul eden (푑 ≥ 3) −boyutlu kompakt bir Riemann 푆푝푖푛푐 −manifoldu üzerinde tanımlı 푆푝푖푛푐 Dirac operatörünün öz değeri için alt sınır elde ettik. Daha sonra, limit durumunda harmonik 1 −formun paralel olduğunu gösterdik.

Anahtar Kelimeler: Spin ve 푆푝푖푛푐 geometry, Dirac operatörü, Öz değer tahminleri.

1 Serhan EKER (Orcid ID: 0000-0003-1039-0551), Ağrı İbrahim Çeçen Üniversitesi, Fen Edebiyat Fakültesi, Matematik Bölümü, Ağrı, Türkiye *Sorumlu Yazar/Corresponding Author: Serhan EKER, e-mail: [email protected] Geliş tarihi / Received: 08-11-2019 Kabul tarihi / Accepted: 05-01-2020

1213 Serhan EKER 10(2): 1213-1223, 2020 Eigenvalue Estimates Using Harmonic 1−Form of Constant Length for The 푺풑풊풏풄 Dirac Operator

INTRODUCTION The Dirac operator is an important tool that provides information about the topology and geometry of the compact Riemannian 푆푝푖푛푐 −manifold and compact Riemannian 푆푝푖푛 manifold. Due to this feature of the Dirac operator, many authors have been systematically worked on it. One of these studies is to give a lower bound to the the square of the eigenvalue of the Dirac operator. In 1963 A. Lichnerowicz (Lichnerowicz, 1963) presented the following formula called Schrödinger−Lichnerwicz formula

푅 퐷2 = Δ + (1) 4

where Δ is the Laplacian acting on any field and 푅 is the of (푀, 푔). By using (1) A. Lichnerowicz obtained the following estimates for the eigenvalue of the Dirac operator 퐷,

1 휆2 ≥ 푖푛푓푅. (2) 4 푀 In (Friedrich, 1980) T. Friedrich proved that on a Spin manifold (푀, 푔) of dimension 푑 ≥ 2, any eigenvalue 휆 of the Dirac operator satisfies

푑 휆2 ≥ 푖푛푓푅. (3) 4(푑−1) 푀

The proof is based on the modified spinorial Levi−Civita connection

푓 ∇푉휑 = ∇푉휑 + 푓푉 ⋅ 휑, (4) where 푓 ∈ 퐶∞(푀, ℝ). The limiting case of (3) implies that the existence of Killing spinor, i.e a spinor 휑 satisfying the equation:

∇푉φ + 푓푉 ⋅ φ = 0, ∀ 푉 ∈ 휒(푀). (5)

In dimensions 2, C. Bär (Bär, 1992) obtained a bound to the eigenvalue 휆 of the Dirac operator according to the Euler−Poincare characteristic 풳(푀) of 푀 as follows:

2휋풳(푀) 휆2 ≥ . (6) 퐴푟푒푎(푀,푔)

Later on, by using the conformal covariance of the Dirac operator, O. Hijazi improved the inequality (3), on a Spin manifold (푀, 푔) of dimension 푑 ≥ 3,

푑 휆2 ≥ 휇 , (7) 4(푑−1) 1 here 휇1 denotes the first eigenvalue of the Yamabe operator 퐿 given by

푑−1 퐿: = 4 Δ + 푅 (8) 푑−2 푔

and Δ푔 denotes the positive Laplacian acting on functions. In 1995, O. Hijazi (Hijazi, 1995) modified the spinorial Levi−Civita connection in the direction of symmetric endomorphism 푙φ as

1214 Serhan EKER 10(2): 1213-1223, 2020 Eigenvalue Estimates Using Harmonic 1−Form of Constant Length for The 푺풑풊풏풄 Dirac Operator

푙φ ∇푉 φ = ∇푉φ + 푙φ(푉) ⋅ φ (9)

Then, he obtained that

2 푅 2 휆 ≥ 푖푛푓 ( + |푙φ| ). (10) 푀 4

Also, O. Hijazi has shown that using the modified spinorial Levi−Civita connection given in (9) and the conformal covariance of the Dirac operator on a Spin manifold (푀, 푔), any eigenvalue of the Dirac operator is satisfied

1 휇 + 푖푛푓|푙 |2, 푖푓 푑 ≥ 3 4 1 휑 휆2 ≥ { 푀 (11) 휋풳(푀) 2 + 푖푛푓|푙φ| , 푖푓 푑 = 2, 퐴푟푒푎(푀,푔) 푀 where 휇1 is the first eigenvalue of the Wamabe operator 퐿. In the limiting case of (10), O. Hijazi obtained the following relations:

푅 (푡푟푙 )2 = + |푙 |2, φ 4 φ

푔푟푎푑(푡푟푙φ) = −푑푖푣(푡푟푙φ), (12) where (푡푟푙φ) is the trace part of 푙φ. Subsequently, G. Habib (Habib, 2007) modified the spinorial Levi-

Civita connection (9) in the direction of the skew−symmetric endomorphism 푞φ of the 2 −tensor 퐸, as

푙φ ∇푉 φ = ∇푉φ + 푙φ(푉) ⋅ φ + 푞φ(푉) ⋅ φ. (13)

By using (13), he improved (10) as follows:

2 푅 2 2 휆 ≥ 푖푛푓 ( + |푙φ| + |푞φ| ). (14) 푀 4

As mentioned above, many studies have been done to improve lower bound (3), but the fundemantal question is: When is the equalitW in (3) hold? Accordingly, O. Hijazi (Hijazi, 1986) and A. Lichnerowicz (Lichnerowicz, 1988; Lichnerowicz 1987) noticed that the equalitW in (3) cannot hold on the Spin manifolds admitting a non−zero parallel 푟 −form for some 푟 ∈ {1,2, . . . , 푑 − 1}. Under this assumption, A. Moroianu and L. Ornea (Moroianu et al., 2004) enhanced the lower bound obtained in (3) on a 푑 −dimensional Spin manifolds admitting a non−trivial harmonic 1 −form of constant length as follows:

푑−1 휆2 ≥ 푖푛푓푅. (15) 푑−2 푀 In the limiting case, they show that, the universal cover of the manifold is isometric to the ℝ × 푁 where 푁 is a manifold admitting Killing . In this paper, we consider the same assumption for the compact 푑 −dimensional 푆푝푖푛 푐 −manifold admitting a non−trivial harmonic 1 −form of constant length. Before mentioning to this assumption, we briefly touch on what kind of studies are done to obtain lower bound estimates for the eigenvalue of the 푆푝푖푛푐 Dirac operator defined .

1215 Serhan EKER 10(2): 1213-1223, 2020 Eigenvalue Estimates Using Harmonic 1−Form of Constant Length for The 푺풑풊풏풄 Dirac Operator

All the inequalities mentioned above is obtained on the Spin manifold. This paper deals onlW with the eigenvalue of the Dirac operator defined on the 푆푝푖푛푐 − manifold.

In 1999, A. Moroianu and M. Herzlich (Moroianu et al., 1999) proved that on a compact Riemannian 푆푝푖푛푐 manifold of dimension 푛 ≥ 3, any eigenvalue 휆 of the Dirac operator satisfies

푑 휆2 ≥ 휇 , (16) 4(푑−1) 1

Ω where 휇1 denotes the first eigenvalue of the perturbed Yamabe operator 퐿 given by

Ω 퐿 : = 퐿 − 푐푑|Ω|푔, (17) and Ω is the curvature form of the line bundle ℒ. In (Herzlich et al., 1999), theW showed that there are no generalized Killing spinors on a Spin 푐 − manifold of dimension 푑 ≥ 4, except the usual Killing spinors.

Using the modified spinorial Levi−Civita connection in the direction of 푙휑 + 푞φ, R. Nakad (Nakad, 2010) proved that, on a compact 푆푝푖푛푐 −manifold of dimension 푑 ≥ 2 any eigenvalue of the Dirac operator satisfies

2 푅 푐푑 2 2 휆 ≥ 푖푛푓 ( − |Ω|푔 + |푙φ| + |푞φ| ), (18) 푀 4 4

푑 1 where 푐 = 2[ ]2. Also, by considering the deformation of the spinorial Levi−Civita conection in the 푑 2 direction of the symmetric endomorphism 푙Φ given in (9), he obtained

2 푅 푐푑 2 휆 ≥ 푖푛푓 ( − |Ω|푔 + |푙φ| ). (19) 푀 4 4

Furthermore, using the modified spinorial Levi−Civita connecion in the direction of 푙Φ and conformal covariance of the Dirac operator, he has shown that on a on a 푆푝푖푛푐 −manifold, any eigenvalue of the Dirac operator satisfies

1 휇 + 푖푛푓|푙 |2, 푖푓 푑 ≥ 3 4 1 φ 휆2 ≥ { 푀 (20) 휋휒(푀) 2 + 푖푛푓|푙φ| , 푖푓 푑 = 2, 퐴푟푒푎(푀,푔) 푀

Ω where 휇1 denotes first eigenvalue of the perturbed Yamabe operator 퐿 . Then, in the limiting case, he obtained the following relations

푅 푑 1 (푡푟푙 )2 = − [ ] ⁄2|Ω| + |푙 |2, φ 4 2 푔 φ

푔푟푎푑(푡푟푙φ) = −푑푖푣(푡푟푙휑), (21)

where (푡푟푙φ) is the trace part of 푙φ.

1216 Serhan EKER 10(2): 1213-1223, 2020 Eigenvalue Estimates Using Harmonic 1−Form of Constant Length for The 푺풑풊풏풄 Dirac Operator

In this paper, we show that any eigenvalue 휆 of 퐷 on an (푑 ≥ 3) −dimensional 푆푝푖푛 푐 −manifold admitting a non−zero harmonic 1 −form of constant lenght satisfies

2 푑−1 휆 ≥ 푖푛푓(푅 − 푐푑|Ω|푔). (22) 4(푑−2) 푀

Furthermore, in the limiting case, this 1 −form is parallel.

In the following section, some basic notions concerning Riemannian 푆푝푖푛푐-manifold and Dirac operator is introduced.

MATERIALS AND METHODS

푺풑풊풏풄 Geometry and the Dirac operator Definitions of 푆푝푖푛푐 −structures on (푀, 푔) are obtained as follows: The structure group of

푑 −dimensional compact Riemannian manifold (푀, 푔) is 푆푂(푑) and there is an open covering {푈훼}훼∈퐴 with the transition functions 푔훼훽: 푈훼 ∩ 푈훽 ⟶ 푆푂(푑) for (푀, 푔). Accordingly, if there exists another collection of transition functions

푐 푔̃훼훽: 푈훼 ∩ 푈훽 ⟶ 푆푝푖푛 (푑) such that the following diagram commutes

that is, 휆 ∘ 푔̃훼훽 = 푔훼훽 and the cocycle condition 푔̃훼훽(푥) ∘ 푔̃훽훾(푥) = 푔̃훼훾(푥) on 푈훼 ∩ 푈훽 ∩ 푈훾 is satisfied, then 푀 is called 푆푝푖푛푐 manifold. Along with the 푆푝푖푛푐 manifold (푀, 푔), one can construct two principal bundles such as 푃푆푂(푑), 푃푆푝푖푛푐 (Friedrich, 2000).

푐 On a Riemannian 푆푝푖푛 manifold, an associated spinor bundle 핊 = 푃푆푝푖푛푐 ×푑 Δ푑 can be constructed by using spinor representations

휅 : 푆푝푖푛푐(푑) ↦ 퐴푢푡(Δ ) 푛 푑

where Δ푑 is the irreducible representation of (Friedrich, 2000). The sections of 핊 are called spinor fields. The spinor bundle 핊 carries a natural Hermitian product, denoted by ( , ) and satisfies

(푉 ⋅ 휑, ψ) = −(φ, 푉 ⋅ ψ) for every 푉 ∈ χ(M) and φ, ψ ∈ Γ(핊). 1217 Serhan EKER 10(2): 1213-1223, 2020 Eigenvalue Estimates Using Harmonic 1−Form of Constant Length for The 푺풑풊풏풄 Dirac Operator

The following bundle map 휅 is obtained by globalising 휅푛 as follows:

휅: 푇푀 → 퐸푛푑(핊).

and Clifford multiplication of a vector field 푉 with the spinor field φ is defined by

푉 ⋅ φ: = 휅(푉)(φ).

By using the map 휅, the bundle map 휌, which associates each 2 −form to an endomorphism of 핊, can be defined on the orthonormal frame {푒1, 푒2, . . . , 푒푑} as follows:

휌: Λ2(푇∗푀) → 퐸푛푑(핊) 푖 푗 휂 = ∑푖<푗 휂푖푗푒 ∧ 푒 → 휌(휂) = ∑푖<푗 휂푖푗휅(푒푖)휅(푒푗).

Also 휌 can be extended to a complex valued 2 −forms (Salamon,1999), such that

휌: Λ2(푇∗푀) ⊗ ℂ → 퐸푛푑(핊).

On the spinor bundle 핊, 푉 ∈ χ(M) and φ, ψ ∈ Γ(핊), the following properties is satisfied: (Salamon,1999),

푉(φ, ψ) = (∇푉φ, ψ) + (φ, ∇푉ψ)

∇푉(훼 ⋅ φ) = (∇푉훼) ⋅ φ + 훼 ⋅ ∇푉φ

푉 ⋅ 훼 = 푉 ∧ 훼 − 푉⌟훼, (23)

where " ∧ " and "⌟" denotes the exterior product and interior product with 푉, respectively. The Dirac operator induced by the Levi−Civita connection ∇푔, is defined as follows:

∇ 푔 ⋅ 퐷 =⋅∘ ∇: Γ(핊) → Γ(푇∗푀 ⊗ 핊) ≅ Γ(푇푀 ⊗ 핊) → Γ(핊) where the isomorphism between 푇∗푀 and 푇푀 determined by the metric 푔. ∇ is a spinorial connection on the spinor bundle 핊.

Let 푒 = {푒1, 푒2, . . . , 푒푑} be an orthonormal frame on 푈 ⊂ 푀. Accordingly, Dirac operator locally can be written as

∑푑 퐷φ = 푖=1 푒푖 ⋅ ∇푒푖φ (24)

Also, Schrödinger−Lichnerowicz formula is given by

푅 푖 퐷2φ = ∇∗∇φ + Ψ + 휌(Ω)φ. (25) 4 2

On the spinor bundle 핊, ℛ denotes the spinorial curvature associated with the connection Ω as:

1 푖 ℛ φ = ∑푑 푔(푅 푒 , 푒 )푒 ⋅ 푒 ⋅ Ψ + Ω(푉, 푊) ⋅ φ (26) 푉,푊 4 푖,푗=1 푉,푊 푖 푗 푖 푗 2

1218 Serhan EKER 10(2): 1213-1223, 2020 Eigenvalue Estimates Using Harmonic 1−Form of Constant Length for The 푺풑풊풏풄 Dirac Operator where 푉, 푊 ∈ χ(M) and φ ∈ Γ(핊).

In the 푆푝푖푛푐 case, the Ricci is discrebe as

1 푖 ∑ 푒 ⋅ ℛ φ = 푅푖푐(푉) ⋅ φ − (푉⌟Ω) ⋅ φ. (27) 푗 푗 푉,푊 2 2

Lemma 2.1 On the 푑 −dimensional Spin 푐 − manifold, for any spinor field 휑 ∈ 훤(핊) and a real 2 −form 훺, we have

푐 (푖휌(Ω)φ, φ) ≥ − 푑 |Ω| |φ|2, (28) 2 푔

where |Ω|푔 denotes the norm of Ω with respect to the Riemannian metric 푔 (Herzlich et al., 1999).

RESULTS AND DISCUSSION Eigenvalue Estimates In this section, for a given non−zero harmonic 1 −form of constant length, we give a lower bound estimate to the eigenvalue 휆 of the Spin 푐 Dirac operator. Then, by considering limiting case we obtain that harmonic 1 −form is parallel.

Theorem 3.1 Assume that (푀푑, 푔) is a (푑 ≥ 3) − dimensional Spin 푐 −manifold admitting a non zero harmonic 1 −form of constant length. Then, the following estimate is satisfied

2 푑−1 휆 ≥ 푖푛푓(푅 − 푐푑|Ω|푔), (29) 4(푑−2) 푀

푑 1 where 푐 = 2[ ] ⁄2. Also, in equality case for some eigenvalue 휆, 휁 is parallel. 푑 2

Proof. Assume that 휁 is a dual vector field of a harmonic 1 −form 휔 of unit length on a 푆푝푖푛 푐 − manifold (푀푑, 푔). Considering Penrose−like operator 푇: 휒(푀)훤(핊) ⟶ 훤(핊),

1 1 푇 휑 = ∇ 휑 + 푉 ⋅ 퐷휑 − < 푉, 휁 > 휁 ⋅ 퐷휑−< 푉, 휁 > ∇ 휑, (30) 푉 푉 푑−1 푑−1 휁

where 푉 ∈ 휒(푀) and 휑 ∈ Γ(핊).

Taking 푉 = 푒푖 in (30) and performing its Hermitian inner product with itself, yields 2 2 |푇 휑|2 = |∇ 휑|2 − 푅푒(푒 ⋅ ∇ 휑, 퐷휑) − 푅푒(∇ 휑, < 푒 , 휁 > 휁 ⋅ 퐷휑) 푒푖 푒푖 푑 − 1 푖 푒푖 푑 − 1 푒푖 푖

2 − 2푅푒(∇ 휑, < 푒 , 휁 > ∇ 휑) − 푅푒(푒 ⋅ 퐷휑, < 푒 , 휁 > 휁 ⋅ 퐷휑) 푒푖 푖 휁 (푑−1)2 푖 푖 |퐷휑|2 2 + − 푅푒(푒 ⋅ 퐷휑, < 푒 , 휁 > ∇ φ) (푑−1)2 (푑−1) 푖 푖 휁

1 + (< 푒 , 휁 > 휁 ⋅ 퐷휑, < 푒 , 휁 > 휁 ⋅ 퐷휑) (푑−1)2 푖 푖 2 + 푅푒(< 푒 , 휁 > 휁 ⋅ 퐷휑, < 푒 , 휁 > ∇ φ) (푑−1) 푖 푖 휁

1219 Serhan EKER 10(2): 1213-1223, 2020 Eigenvalue Estimates Using Harmonic 1−Form of Constant Length for The 푺풑풊풏풄 Dirac Operator

+(< 푒푖, 휁 > ∇휁휑, < 푒푖, 휁 > ∇휁φ). (31)

Summing over 푖 and using the fact that < 휁, 휁 >= 1, gives

2 2 2 |푇휑|2 = |∇φ|2 − |퐷휑|2 + 푅푒(휁 ⋅ ∇ 휑, 퐷휑) − 2|∇ 휑|2 − |퐷휑|2 푑−1 푑−1 휁 휁 (푑−1)2

푑 2 1 + |퐷휑|2 + 푅푒(퐷휑, 휁 ⋅ ∇ φ) + |퐷휑|2 (푑−1)2 (푑−1) 휁 (푑−1)2

2 − 푅푒(퐷휑, 휁 ⋅ ∇ φ) + |∇ 휑|2 (푑 − 1) 휁 휁

2 1 = |∇φ|2 − |∇ 휑|2 + 푅푒(퐷휑, 휁 ⋅ ∇ φ) − |퐷휑|2. (32) 휁 (푑−1) 휁 (푑−1)2

Recall that, the harmonicitW of 휁 satisfies

퐷(휁 ⋅ 휑) = −휁 ⋅ 퐷휑 − 2∇휁휑. (33)

Square norm of (33) is

2 2 2 |퐷(휁 ⋅ 휑)| = |휁 ⋅ 퐷휑| + 4|∇휁휑| − 4푅푒(퐷휑, 휁 ⋅ ∇휁φ). (34)

Integrating (32) over 푀 and using (34), we obtain

1 2 ∫ |푇휑|2푣 = ∫ (|∇φ|2 − |∇ 휑|2 + |휁 ⋅ 퐷휑|2 + |∇ 휑|2 푀 푔 푀 휁 2(푑−1) 푑−1 휁

1 1 − |퐷(휁 ⋅ 휑)|2 − |퐷휑|2)푣 , (35) 2(푑−1) (푑−1)2 푔 where 푣푔 is the volume element induced by 푔.

Inserting (25) in the above equalitW, we get

푑−2 푅 푖 푑−3 ∫ |푇휑|2푣 = ∫ (( )|퐷휑|2 − |Φ|2 − ( 휌(Ω)φ, φ) − ( )|∇ 휑|2 푀 푔 푀 푑−1 4 2 푑−1 휁

1 − (|퐷(휁 ⋅ 휑)|2 − |휁 ⋅ 퐷휑|2))푣 (36) 2(푑−1) 푔

Using the following Rayleigh inequality (Moroianu et al., 2004) and < 휁, 휁 >= 1,

2 2 ∫푀 |퐷Ψ| 푣푔 휆 ≤ 2 , (37) ∫푀 |Ψ| 푣푔

where Ψ = 휁 ⋅ 휑, we have

푑−2 푅 푖 푑−3 2 ∫ (( )휆2 − − ( 휌(Ω)φ, φ)) |φ|2푣 = ∫ (|푇휑|2 + ( ) |∇ 휑| 푀 푑−1 4 2 푔 푀 푑−1 휁 1 + (|퐷(휁 ⋅ 휑)|2 − |휁 ⋅ 퐷휑|2))푣 ≥ 0, (38) 2(푑−1) 푔 which implies the inequality (29).

1220 Serhan EKER 10(2): 1213-1223, 2020 Eigenvalue Estimates Using Harmonic 1−Form of Constant Length for The 푺풑풊풏풄 Dirac Operator

Consider the limiting case of (29). Let 휆 be an eigenvalue of 퐷 to which is attached an eigenspinor 휑. Then, 푇휑 = 0, implies

휆 휆 ∇ 휑 + 푒 ⋅ 휑 − < 푒 , 휁 > 휁 ⋅ 휑−< 푒 , 휁 > ∇ φ = 0. (39) 푒푖 푛−1 푖 푛−1 푖 푖 휁

Performing its Clifford multiplication by 푒푖 and using < 휁, 휁 >= 1, Wields

푛 휆 휆 0 = ∑ (푒 ⋅ ∇ 휑 + 푒 ⋅ 푒 ⋅ 휑 − < 푒 , 휁 > 푒 ⋅ 휁 ⋅ 휑−< 푒 , 휁 > 푒 ⋅ ∇ 휑) 푖 푒푖 푑 − 1 푖 푖 푑 − 1 푖 푖 푖 푖 휁 푖=1

푑 1 = 휆Φ − 휆Φ + 휆Φ − 휁 ⋅ ∇ Φ 푑−1 푛−1 휁

= −휁 ∙ ∇휁휑. (40)

EqualitW (40) implies that ∇휁φ = 0.

As in (Moroianu et al., 2004), 휑 satisfies the Killing type equation

휆 휆 ∇ φ = − 푉 ⋅ 휑 + < 푉, 휁 > 휁 ⋅ 휑. (41) 푉 푑−1 푑−1

Before we give an explicit form of the curvature tensor ℛ defined in (26), we compute:

휆 ∇ ∇ φ = ∇ (− (푊−< 푊, 휁 > 휁) ⋅ 휑) 푉 푊 푉 푑 − 1 휆 휆 휆 = − ∇ 푊 ⋅ 휑 + ∇ < 푊, 휁 > 휁 ⋅ 휑 + < 푊, 휁 > ∇ 휁 ⋅ 휑 푑 − 1 푉 푑 − 1 푉 푑 − 1 푉

휆2 + (푊−< 푊, 휁 > 휁)(푉−< 푉, 휁 > 휁) ⋅ 휑 (42) (푑−1)2

Also, ∇푊∇푉휑 can be calculated in the same way. Now, we can compute the explicit form of ℛ as follows:

ℛ푉,푊φ = ∇[푉,푊]휑 − [∇푉, ∇푊]φ

휆 휆 = (< ∇ 푊, 휁 > −∇ < 푊, 휁 >)휁 ⋅ 휑 − (< ∇ 푉, 휁 > −∇ < 푉, 휁 >)휁 ⋅ 휑 푑−1 푉 푉 푑−1 푊 푊

휆 휆 휆2 − < 푊, 휁 > ∇ 휁 ⋅ 휑 + < 푉, 휁 > ∇ 휁 ⋅ 휑 + ((푉−< 푉, 휁 > 휁) 푑−1 푉 푑−1 푊 (푑−1)2

(푊−< 푊, 휁 > 휁) − (푊−< 푊, 휁 > 휁)(푉−< 푉, 휁)휁 >) ⋅ 휑

휆 = (< 푉, ∇ 휁 > 휁−< 푊, ∇ 휁 > 휁+< 푉, 휁 > ∇ 휁−< 푊, 휁 > ∇ 휁) ⋅ 휑 푑−1 푊 푉 푊 푉

휆2 + ((푉−< 푉, 휁 > 휁)(푊−< 푊, 휁 > 휁) − (푊−< 푊, 휁)휁 > (푉−< 푉, 휁 > 휁)) ⋅ 휑 (푑−1)2 (43)

1221 Serhan EKER 10(2): 1213-1223, 2020 Eigenvalue Estimates Using Harmonic 1−Form of Constant Length for The 푺풑풊풏풄 Dirac Operator

Taking 푊 = 푒푗 and 푉 = 휁. Then performing Clifforf multiplication with 푒푗, we get

1 푖 ∑푑 푒 ⋅ ℛ φ = 푅푖푐(휁) ⋅ 휑 − (휁⌟Ω) ⋅ 휑 푗=1 푗 휁,푒푗 2 2

휆 = ∑푑 (< 휁, ∇ 휁 > 푒 ⋅ 휁−< 푒 , ∇ 휁 > 푒 ⋅ 휁+< 휁, 휁 > 푒 ⋅ 푑−1 푗=1 푒푗 푗 푗 휁 푗 푗

∇푒푗휁−< 푒푗, 휁 > 푒푗 ⋅ ∇휁휁) ⋅ 휑

휆 = ∑푑 (< 휁, ∇ 휁 > 푒 ⋅ 휁−< 푒 , ∇ 휁 > 푒 ⋅ 휁 + 푒 ⋅ ∇ 휁 − 휁 ⋅ 푑−1 푗=1 푒푗 푗 푗 휁 푗 푗 푒푗 ∇휁휁) ⋅ 휑 (44)

The harmonicity of the vector field 휁 means that < ∇푉휁, 푊 > −< ∇푊휁, 푉 >= 0 for all 푉, 푌 ∈ 휒(푀). In case of 푉 = 휁, one can easilW show that < ∇휁휁, 푊 >= 0 which implies that ∇휁휁 = 0. Accordingly, (44) is vanished. This means that

1 푖 ∑푛 푒 ⋅ ℛ φ = 푅푖푐(휁) ⋅ 휑 − (휁⌟Ω) ⋅ 휑 = 0. 푗=1 푗 휁,푒푗 2 2 (45)

Considering scalar product of (41) with 휑. After seperating real and imaginary parts of this scalar product, we obtain 푅푖푐(휁) = 0 and (휁⌟Ω) = 0. Accordingly, 휁 is parallel, i.e., ∇휁 = 0 (Lawson et al., 1989).

CONCLUSION In this paper, 휁 is using to give an optimal estimates for the eigenvalue of the Spin 푐 Dirac operator. REFERENCES Bär C, 1992. Lower eigenvalue estimates for Dirac operators. Math. Ann., 239: 39-46. Friedrich T, 1980. Der este Eigenwert des Dirac-Operators einer kompakten, Riemannschen Manningfaltigkeit nichtnegativer Skalarkrümmung. Math. Nach. 97: 117-146. Friedrich T, 2000. Dirac operators in Riemannian geometry. Graduate Studies in Mathematics, American Mathematical Society, 25. Habib G, 2007. Energy-Momentum tensor on foliations. J. Geom. Phys. 57: 2234-2248. Herzlich M, Moroianu A, 1999. Generalized Killing spinors and conformal eigenvalue estimates for Spinc manifold. Ann. Global Anal. Geom., 17: 341-370. Hijazi O, 1986. A conformal lower bound fort he smallest eigenvalue of the Dirac operator and Killing spinors. Commun. Math. Phys. 104: 151-162. Hijazi O, 1991. Premire valeur propre de l’ operateur de Dirac et nombre de Yamabe. Comptes rendus de l’ Academie des sciences, Serie 1, Mathematique, 313(12): 865-868. Hijazi O, 1995. Lower bounds for the eigenvalues of the Dirac operator. J. Geom. Phys., 16: 27-38. Lawson H.B, 1989. Spin Geometry. Princeton University Press., Princeton. Lichnerowicz A, 1963. Spineurs harmoniques. C.R. Acad. Sci. Paris Ser. AB, 257. Lichnerowicz A, 1988. Killing spinors according to O. Hijazi and Applications. Spinors in Physics and Geometry (Trieste 1986), World Scientific Publishing Singapore 1-19. Lichnerowicz A, 1987. Spin manifolds. Killing spinors and the universality of the Hijazi inequality. Lett. Math. Phys., 3: 331-344.

1222 Serhan EKER 10(2): 1213-1223, 2020 Eigenvalue Estimates Using Harmonic 1−Form of Constant Length for The 푺풑풊풏풄 Dirac Operator

Moroianu A, Ornea L, 2004. Eigenvalue estimates for the Dirac operator and harmonic 1-forms of constant length. C.R. Math. Acad. Sci. Paris, 338(7): 561-564. Nakad R, 2010. Lower bounds for the eigenvalues of the Dirac operator on manifolds. J. Geom. Phys. 60(10): 1634-1642. Salamon D, 1995. Spin geometry and Seiberg-Witten invariants. Zurich: ETH.

1223