Non-renormalization Theorem and Cyclic Leibniz Rule in Lattice Supersymmetry

Transcription

1 1 Non-renormalization Theorem and Cyclic Leibniz Rule in Lattice Supersymmetry Makoto Sakamoto (Kobe University) in collaboration with Mitsuhiro Kato and Hiroto So based on JHEP 1305(2013)089; arxiv: ; and in progress Talk at Osaka University, January 6, 2015

2 Non-perturbative dynamics of supersymmetry 2 SUSY algebra SUSY breaking Nicolai mapping confinement chiral sym. breaking Supersymmetry AdS/CFT instantons condensation strong-weak duality monopoles

3 Supersymmetry breaking 3 S. Weinberg, Phys. Rev. Lett. 80 (1998) 3702 A theorem for SUSY breaking Supersymmetry cannot be broken at any finite order of perturbation theory unless it is broken at "tree" level. O'Raifeataigh mechanism Fayet-Illiopoulous U(1) D term SUSY breaking via extra dimensions M.S., M.Tachibana & K. Takenaga, Phys. Lett. B458 (1999) 231

4 Supersymmetry breaking 3 S. Weinberg, Phys. Rev. Lett. 80 (1998) 3702 A theorem for SUSY breaking Supersymmetry cannot be broken at any finite order of perturbation theory unless it is broken at "tree" level. O'Raifeataigh mechanism Fayet-Illiopoulous U(1) D term SUSY breaking via extra dimensions M.S., M.Tachibana & K. Takenaga, Phys. Lett. B458 (1999) 231 This theorem may imply that non-perturbative analysis is important for SUSY breaking!

5 History 4 Lattice Theory is undoubtedly one of powerful tools to reveal non-perturbative dynamics of field theories!

6 History 4 Lattice Theory is undoubtedly one of powerful tools to reveal non-perturbative dynamics of field theories! However, for more than 30 years no one has succeeded to construct satisfactory lattice supersymmetric models!

7 Purpose of my talk 5 I explain what is an obstacle to realize supersymmetry on lattice. R No-Go Theorem

8 Purpose of my talk 5 I explain what is an obstacle to realize supersymmetry on lattice. R No-Go Theorem I propose a new idea to construct lattice supersymmetric models. R Cyclic Leibniz Rule R Non-renormalization Theorem

9 Plan of my talk 6 1. Obstacle to realize SUSY on lattice 2. Attempts to construct lattice SUSY models 3. No-Go theorem 4. Complex SUSY QM on lattice 5. Non-renormalization theorem on lattice 6. Q-exact form and cohomology 7. Summary

10 Plan of my talk 6 1. Obstacle to realize SUSY on lattice 2. Attempts to construct lattice SUSY models 3. No-Go theorem 4. Complex SUSY QM on lattice 5. Non-renormalization theorem on lattice 6. Q-exact form and cohomology 7. Summary

11 An obstacle to realize SUSY on lattice 7 We want to find lattice SUSY transf. lattice SUSY transf. lattice action such that with the SUSY algebra translation on lattice

12 An obstacle to realize SUSY on lattice 7 We want to find lattice SUSY transf. lattice SUSY transf. lattice action such that with the SUSY algebra translation on lattice One might replace by a difference operator on lattice.

13 An obstacle to realize SUSY on lattice 7 We want to find lattice SUSY transf. lattice SUSY transf. lattice action such that with the SUSY algebra translation on lattice One might replace by a difference operator on lattice. Since satisfy the Leibniz rule then, we need to find which satisfies the Leibniz rule: Leibniz rule

14 An obstacle to realize SUSY on lattice 8 However, simple difference operators do not satisfy the Leibniz rule on lattice. For example, forward difference operator

15 An obstacle to realize SUSY on lattice 8 However, simple difference operators do not satisfy the Leibniz rule on lattice. For example, forward difference operator

16 An obstacle to realize SUSY on lattice 8 However, simple difference operators do not satisfy the Leibniz rule on lattice. For example, forward difference operator

17 An obstacle to realize SUSY on lattice 8 However, simple difference operators do not satisfy the Leibniz rule on lattice. For example, forward difference operator

18 An obstacle to realize SUSY on lattice 8 However, simple difference operators do not satisfy the Leibniz rule on lattice. For example, forward difference operator Indeed, all known (local) difference operators do not satisfy the Leibniz rule!

19 An obstacle to realize SUSY on lattice 9 Is it possible to construct a difference operator satisfying the Leibniz rule on lattice?

20 An obstacle to realize SUSY on lattice 9 Is it possible to construct a difference operator satisfying the Leibniz rule on lattice? The answer is negative!

21 An obstacle to realize SUSY on lattice 9 Is it possible to construct a difference operator satisfying the Leibniz rule on lattice? The answer is negative! No-Go Theorem M.Kato, M.S. & H.So, JHEP 05(2008)057 There is no difference operator satisfying the following three properties: i) translation invariance ii) locality iii) Leibniz rule This prevents us from the realization of SUSY algebra on lattice! I will prove this theorem later.

22 Plan of my talk Obstacle to realize SUSY on lattice 2. Attempts to construct lattice SUSY models 3. No-Go theorem 4. Complex SUSY QM on lattice 5. Non-renormalization theorem on lattice 6. Q-exact form and cohomology 7. Summary

23 Fine tuning 11 Give up manifest SUSY on lattice!

24 Fine tuning 11 Give up manifest SUSY on lattice! Fine tuning is necessary to restore it in the continuum limit.

25 Fine tuning 11 Give up manifest SUSY on lattice! Fine tuning is necessary to restore it in the continuum limit. In general, there exist various relevant SUSY breaking terms.

26 Fine tuning 11 Give up manifest SUSY on lattice! Fine tuning is necessary to restore it in the continuum limit. In general, there exist various relevant SUSY breaking terms. It turns out to be hard to control it!

27 Fine tuning 11 Give up manifest SUSY on lattice! Fine tuning is necessary to restore it in the continuum limit. In general, there exist various relevant SUSY breaking terms. It turns out to be hard to control it! Exact SUSY on lattice is necessary!

28 Fine tuning 12 There is an exception: Curci-Veneziano, NPB292(1987)555.

29 Fine tuning 12 There is an exception: R N=1 SYM (gluon+an adjoint Majorana fermion) F 1 a F a i D CP 4 F a F a gluon Curci-Veneziano, NPB292(1987)555. gluino

30 Fine tuning 12 There is an exception: R N=1 SYM (gluon+an adjoint Majorana fermion) F 1 a F a i D CP 4 F a F a gluon R The relevant SUSY breaking term is only the gluino mass m! (The gauge invariance guarantees the massless gluons.) Curci-Veneziano, NPB292(1987)555. gluino

31 Fine tuning 12 There is an exception: R N=1 SYM (gluon+an adjoint Majorana fermion) F 1 a F a i D CP 4 F a F a gluon R The relevant SUSY breaking term is only the gluino mass m! (The gauge invariance guarantees the massless gluons.) Curci-Veneziano, NPB292(1987)555. gluino chiral symmetry m SUSY

32 Fine tuning 13 Domain wall fermions kink mass 5th dimension m y x,y x,y localized fermion zero mode massless gluino! R no need for a fine tuning! R two extra parameters: m Ls L Nishimura, PLB406(1997)215; Neuberger, PRD57(1998)5417. m y m R The other chirality appears on the opposite wall for finite Ls. Ls R y

33 Fine tuning Overlap fermions 14 Maru-Nishimura, IJMPA13(1998)2841; Neuberger, PRD57(1998)5417. Ginsparg-Wilson relation D D ad D lattice spacing chiral symmetry ad massless gluino SUSY will appear in the continuum limit!

34 Nicolai map 15

35 Nicolai map 15 fermion determinant

36 Nicolai map 15 fermion determinant Nicolai map Nicolai, PLB89 (1980) 341; NPB176 (1980) 419 with the properties:

37 Nicolai map 15 fermion determinant Nicolai map Nicolai, PLB89 (1980) 341; NPB176 (1980) 419 with the properties: Gaussian integral!

38 Nicolai map 16 Start with the Gaussian integral on lattice!

39 Nicolai map 16 Nicolai map with the properties: Start with the Gaussian integral on lattice!

40 Nicolai map 16 Nicolai map with the properties: Start with the Gaussian integral on lattice!

41 Nicolai map 16 Sakai-Sakamoto, NPB229 (1983) 173 Nicolai map with the properties: Start with the Gaussian integral on lattice!

42 Nilpotent SUSY 17 Most of the recent works have been based on nilpotent SUSYs to avoid the problem of the Leibniz rule!

43 Nilpotent SUSY 17 Most of the recent works have been based on nilpotent SUSYs to avoid the problem of the Leibniz rule!

44 Nilpotent SUSY 17 Most of the recent works have been based on nilpotent SUSYs to avoid the problem of the Leibniz rule!

45 Nilpotent SUSY 17 Most of the recent works have been based on nilpotent SUSYs to avoid the problem of the Leibniz rule!

46 Nilpotent SUSY 17 Most of the recent works have been based on nilpotent SUSYs to avoid the problem of the Leibniz rule!

47 Nilpotent SUSY 17 Most of the recent works have been based on nilpotent SUSYs to avoid the problem of the Leibniz rule! Question Are nilpotent SUSYs enough to restore the full SUSYs in the continuum limit?

48 Nilpotent SUSY 17 Most of the recent works have been based on nilpotent SUSYs to avoid the problem of the Leibniz rule! Question Are nilpotent SUSYs enough to restore the full SUSYs in the continuum limit? Our results suggest that the answer is negative!

49 Nilpotent SUSY 18 N=2 extended SUSY algebra in 2-dim. Q i Q j ij P i,j

50 Nilpotent SUSY 18 N=2 extended SUSY algebra in 2-dim. Q i Q j ij P i,j Q i i

51 Nilpotent SUSY 18 N=2 extended SUSY algebra in 2-dim. Q i Q j ij P i,j Q i i P P

52 Nilpotent SUSY 18 N=2 extended SUSY algebra in 2-dim. Q i Q j ij P i,j Q i i P P Q-exact SUSY S d 2 x with

53 Nilpotent SUSY 18 N=2 extended SUSY algebra in 2-dim. Q i Q j ij P i,j Q i i P P Q-exact SUSY S d 2 x with does not induce any translations!

54 Nilpotent SUSY 18 N=2 extended SUSY algebra in 2-dim. Q i Q j ij P i,j Q i i P P Q-exact SUSY S d 2 x with does not induce any translations! Q-exact SUSY on lattice

55 Hamiltonian formulation 19 Time is continuous. Sakai-Sakamoto, NPB229(1983)173; Elitzur-Schwimmer, NPB226(1983)109. An exact SUSY can be realized in the time-direction. This guarantees the pairing between bosonic and fermionic states.

56 Deconstruction SUSY 20 Cohen-Kaplan-Katz-Unsal, JHEP12(2003)031. U kn d SYM in 3+1 dim. (continuous) dimensional reduction: U kn d extended SYM matrix model in 0+0 dim. Z N d -orbifolding kn d U k SYM in d-dim. (lattice) Some of SUSY are broken by orbifolding. k

57 Perfect action 21 R block-spin transformation So-Ukita, PLB457(1999)314; Bietenholz, MPLA14(1999)51. n R perfect action dx f n (x) (x) e S L n d e n n n Sc n R action invariance n continuum action S c ( (x) (x)) S c ( (x)) S L ( n n ) S L ( n ) dx f n (x) (x) Success only for the free Wess-Zumino model!

58 Ichimatsu lattice 22 R lattice action S lat n n ^ Ichimatsu R fermionic invariance n n real Staggered fermions Itoh-Kato-Sawanaka-So-Ukita, NP(Suppl)106(2002)947. n n ^ ^ ^ n ^ U n : link variables It is unclear that in the continuum limit the lattice model reduces to a continuum SUSY model!

59 Non-commutative approach 23 R new "difference" operator D'Adda-Kanamori-Kawamoto-Nagata, NPB707(2005)100. R difference operator f n g n f n g n f n ^ g n R shift operator ^ T f n f n T T satisfies the Leibniz rule! Dirac-Kähler fermions lattice models with full SUSY!

60 Infinite flavors M. Kato, M.S. & H.So, JHEP 05(2008)057 We find a solution satisfying the Leibniz rule. D ab m;n d a b m n,a b m n, a b C abc l,m;n l n,b n m,a a b,c characteristic features translationally invariant local (= holomorphic) non-trivial connection between lattice sites and flavor indices fi need for infinite flavors! local in the space direction but "non-local" in the flavor direction! 24

61 Plan of my talk Obstacle to realize SUSY on lattice 2. Attempts to construct lattice SUSY models 3. No-Go theorem 4. Complex SUSY QM on lattice 5. Non-renormalization theorem on lattice 6. Q-exact form and cohomology 7. Summary

62 No-Go theorem 26 No-Go Theorem M.Kato, M.S. & H.So, JHEP 05(2008)057 There is no difference operator satisfying the following three properties: i) translation invariance ii) locality iii) Leibniz rule

63 A proof of No-Go theorem 27 To prove the theorem, we generalize the difference operator and the field product as follows: R extension of difference operator R extension of field product

64 A proof of No-Go theorem 27 To prove the theorem, we generalize the difference operator and the field product as follows: R extension of difference operator forward difference operator R extension of field product normal product

65 A proof of No-Go theorem 28 Q Is it possible to construct a difference operator satisfying R extension of difference operator forward difference operator R extension of field product normal product

66 A proof of No-Go theorem 29 R translation invariance

67 A proof of No-Go theorem 29 R translation invariance R locality (exponential damping)

68 A proof of No-Go theorem 29 R translation invariance R locality (exponential damping) holomorphic representation coefficients of Laurent series

69 A proof of No-Go theorem An important observation is that 30 locality

70 A proof of No-Go theorem An important observation is that 30 locality holomorphy on Annulus domain

71 A proof of No-Go theorem Leibniz rule 31

72 A proof of No-Go theorem Leibniz rule 31

73 A proof of No-Go theorem Leibniz rule 31 translation invariance

74 A proof of No-Go theorem Leibniz rule 31 translation invariance

75 A proof of No-Go theorem Leibniz rule 31 translation invariance in holomorphic rep.

76 A proof of No-Go theorem Leibniz rule 32

77 A proof of No-Go theorem Leibniz rule 32

78 A proof of No-Go theorem Leibniz rule 32 By virtue of the identity theorem on holomorphic functions, the domain can be extended to the whole domain without

79 A proof of No-Go theorem Leibniz rule 32 By virtue of the identity theorem on holomorphic functions, the domain can be extended to the whole domain without

80 A proof of No-Go theorem Leibniz rule 32 By virtue of the identity theorem on holomorphic functions, the domain can be extended to the whole domain without

81 A proof of No-Go theorem Leibniz rule 32 non-holomorphic and non-local By virtue of the identity theorem on holomorphic functions, the domain can be extended to the whole domain without

82 A proof of No-Go theorem Leibniz rule 32 non-holomorphic and non-local By virtue of the identity theorem on holomorphic functions, the domain can be extended to the whole domain without

83 A proof of No-Go theorem Leibniz rule 32 non-holomorphic and non-local By virtue of the identity theorem on holomorphic functions, the domain can be extended to the whole domain without

84 A proof of No-Go theorem Leibniz rule 32 non-holomorphic and non-local By virtue of the identity theorem on holomorphic functions, the domain can be extended to the whole domain without There is no difference operator which satisfies the Leibniz rule!! No-Go Theorem!

85 How to escape from No-Go theorem 33 In order to escape from the No-Go theorem, we may abandon one of the three requirements. i) translation inv. ii) locality iii) Leibniz rule

86 How to escape from No-Go theorem 33 In order to escape from the No-Go theorem, we may abandon one of the three requirements. i) translation inv. no translation inv. ii) locality iii) Leibniz rule

87 How to escape from No-Go theorem 33 In order to escape from the No-Go theorem, we may abandon one of the three requirements. i) translation inv. no translation inv. Sysytematic analysis is difficult! ii) locality iii) Leibniz rule

88 How to escape from No-Go theorem 33 In order to escape from the No-Go theorem, we may abandon one of the three requirements. i) translation inv. no translation inv. Sysytematic analysis is difficult! ii) locality non-local difference operator or non-local interaction iii) Leibniz rule

89 How to escape from No-Go theorem 33 In order to escape from the No-Go theorem, we may abandon one of the three requirements. i) translation inv. no translation inv. Sysytematic analysis is difficult! ii) locality non-local difference operator or non-local interaction The continuum limit is highly non-trivial! iii) Leibniz rule

90 How to escape from No-Go theorem 33 In order to escape from the No-Go theorem, we may abandon one of the three requirements. i) translation inv. no translation inv. Sysytematic analysis is difficult! ii) locality iii) Leibniz rule non-local difference operator or non-local interaction The continuum limit is highly non-trivial! Modify the Leibniz rule! We will take this approach!

91 Our approach to construct lattice SUSY model 34 Nilpotent SUSY algebra + Cyclic Leibniz rule Avoid the problem of translations on lattice. A modified version of the Leibniz rule

92 Plan of my talk Obstacle to realize SUSY on lattice 2. Attempts to construct lattice SUSY models 3. No-Go theorem 4. Complex SUSY QM on lattice 5. Non-renormalization theorem on lattice 6. Q-exact form and cohomology 7. Summary

93 Complex SUSY quantum mechanics on lattice 36 Lattice action difference operator: field product: inner product:

94 N=2 nilpotent SUSYs 37 N=2 Nilpotent SUSYs:

95 N=2 nilpotent SUSYs 37 N=2 Nilpotent SUSYs:

96 N=2 nilpotent SUSYs 37 N=2 Nilpotent SUSYs:

97 N=2 nilpotent SUSYs 37 N=2 Nilpotent SUSYs: We call this Cyclic Leibniz rule.

98 Cyclic Leibniz rule 38 We have found that the Cyclic Leibniz Rule guarantees the N=2 nilpotent SUSYs. Cyclic Leibniz Rule (CLR) vs. Leibniz Rule (LR)

99 Cyclic Leibniz rule 38 We have found that the Cyclic Leibniz Rule guarantees the N=2 nilpotent SUSYs. Cyclic Leibniz Rule (CLR) vs. Leibniz Rule (LR)

100 Cyclic Leibniz rule 38 We have found that the Cyclic Leibniz Rule guarantees the N=2 nilpotent SUSYs. Cyclic Leibniz Rule (CLR) vs. Leibniz Rule (LR) No-Go theorem

101 Cyclic Leibniz rule 38 We have found that the Cyclic Leibniz Rule guarantees the N=2 nilpotent SUSYs. Cyclic Leibniz Rule (CLR) vs. Leibniz Rule (LR)! No-Go theorem The cyclic Leibniz rule ensures a lattice analog of vanishing surface terms! on lattice CLR in continuum

102 An example of CLR 39 The important fact is that the cyclic Leibniz rule can be realized on lattice, though the Leibniz rule cannot!

103 An example of CLR 39 The important fact is that the cyclic Leibniz rule can be realized on lattice, though the Leibniz rule cannot! An explicit example of the Cyclic Leibniz Rule : lattice spacing a M.Kato, M.S. & H.So, JHEP 05(2013)089 which satisfy i)translation invariance, ii)locality and iii)cyclic Leibniz Rule.

104 An example of CLR 39 The important fact is that the cyclic Leibniz rule can be realized on lattice, though the Leibniz rule cannot! An explicit example of the Cyclic Leibniz Rule : lattice spacing a M.Kato, M.S. & H.So, JHEP 05(2013)089 which satisfy i)translation invariance, ii)locality and iii)cyclic Leibniz Rule.! The field product should be non-trivial!

105 Advantages of CLR 40 Advantages of our lattice model with CLR are given by CLR no CLR nilpotent SUSYs Nicolai maps surface terms non-renormalization theorem cohomology

106 Advantages of CLR 40 Advantages of our lattice model with CLR are given by CLR no CLR nilpotent SUSYs Nicolai maps surface terms non-renormalization theorem cohomology

107 Advantages of CLR 40 Advantages of our lattice model with CLR are given by CLR no CLR nilpotent SUSYs Nicolai maps surface terms non-renormalization theorem cohomology

108 Advantages of CLR 40 Advantages of our lattice model with CLR are given by CLR no CLR nilpotent SUSYs Nicolai maps surface terms non-renormalization theorem cohomology

109 Advantages of CLR 40 Advantages of our lattice model with CLR are given by CLR no CLR nilpotent SUSYs Nicolai maps surface terms non-renormalization theorem cohomology

110 Advantages of CLR 40 Advantages of our lattice model with CLR are given by CLR no CLR nilpotent SUSYs Nicolai maps surface terms non-renormalization theorem cohomology non-trivial trivial

111 Advantages of CLR 40 Advantages of our lattice model with CLR are given by CLR no CLR nilpotent SUSYs Nicolai maps surface terms non-renormalization theorem cohomology non-trivial trivial

112 Plan of my talk Obstacle to realize SUSY on lattice 2. Attempts to construct lattice SUSY models 3. No-Go theorem 4. Complex SUSY QM on lattice 5. Non-renormalization theorem on lattice 6. Q-exact form and cohomology 7. Summary

113 Non-renormalization theorem in continuum 42 One of the striking features of SUSY theories is the non-renormalization theorem.

114 Non-renormalization theorem in continuum 42 One of the striking features of SUSY theories is the non-renormalization theorem. 4d N=1 Wess-Zumino model in continuum chiral superfield superpotential D term (kinetic terms) F term (potential terms)

115 Non-renormalization theorem in continuum 42 One of the striking features of SUSY theories is the non-renormalization theorem. 4d N=1 Wess-Zumino model in continuum chiral superfield superpotential D term (kinetic terms) F term (potential terms) Non-renormalization Theorem There is no quantum correction to the F-terms in any order of perturbation theory. Grisaru, Seigel, Rocek, NPB159 (1979) 429

116 Essence of non-renormalization theorem 43 D term (kinetic terms) F term (potential terms)

117 Essence of non-renormalization theorem 43 D term F term (kinetic terms) (potential terms) Holomorphy plays an important role in the non-renormalization theorem. chiral superfield anti-chiral superfield tree superpotential coupling constant

118 Essence of non-renormalization theorem 43 tree superpotential D term F term (kinetic terms) (potential terms) Holomorphy plays an important role in the non-renormalization theorem. chiral superfield anti-chiral superfield coupling constant effective superpotential quantum corrections

119 Essence of non-renormalization theorem 43 tree superpotential D term F term (kinetic terms) (potential terms) Holomorphy plays an important role in the non-renormalization theorem. chiral superfield anti-chiral superfield coupling constant effective superpotential quantum corrections holomorphy anti-holomorphy

120 Essence of non-renormalization theorem 43 tree superpotential D term F term (kinetic terms) (potential terms) Holomorphy plays an important role in the non-renormalization theorem. chiral superfield anti-chiral superfield coupling constant effective superpotential quantum corrections holomorphy No quantum correction!! anti-holomorphy Weff Wtree N.Seiberg, Phys. Lett. B318 (1993) 469

121 Essence of non-renormalization theorem 43 tree superpotential D term F term (kinetic terms) (potential terms) Holomorphy plays an important role in the non-renormalization theorem. chiral superfield anti-chiral superfield coupling constant anti-chiral superfield chiral superfield holomorphy No quantum correction!! anti-holomorphy Weff Wtree N.Seiberg, Phys. Lett. B318 (1993) 469

122 Difficulty in defining chiral superfield on lattice 44 The holomorphy requires that the F term W depends only on the chiral superfield x, which is defined by in continuum

123 Difficulty in defining chiral superfield on lattice 44 The holomorphy requires that the F term W depends only on the chiral superfield x, which is defined by? in continuum on lattice

124 Difficulty in defining chiral superfield on lattice 44 The holomorphy requires that the F term W depends only on the chiral superfield x, which is defined by? in continuum on lattice However, the above definition of the chiral superfield is ill-defined because any products of chiral superfields are not chiral due to the breakdown of LR on lattice! the breakdown of the Leibniz rule on lattice

125 Superfield formulation in our lattice model 45 Lattice superfields

126 Superfield formulation in our lattice model 45 Lattice superfields supersymmetry transformations

127 Superfield formulation in our lattice model 45 Lattice superfields supersymmetry transformations Lattice action in superspace

128 Superfield formulation in our lattice model 45 Lattice superfields supersymmetry transformations Lattice action in superspace SUSY invariant with CLR

129 Superfield formulation in our lattice model 46 general Lattice action in superspace

130 Superfield formulation in our lattice model 46 general Lattice action in superspace! is SUSY-invariant if and only if depends only on and is written into the form and has to obey CLR. M.Kato, M.S., H.So, in preparation

131 Non-renormalization theorem on lattice 47

132 Non-renormalization theorem on lattice 47 quantum corrections

133 Non-renormalization theorem on lattice 47 quantum corrections SUSY-invariance with CLR forbids these!

134 Non-renormalization theorem on lattice 47 quantum corrections SUSY-invariance with CLR forbids these! To prove it, we extend to superfields! This extension preserves SUSY-invariace! N.Seiberg, Phys. Lett. B318 (1993) 469

135 Non-renormalization theorem on lattice 47 quantum corrections SUSY-invariance with CLR forbids these! To prove it, we extend to superfields! This extension preserves SUSY-invariace! N.Seiberg, Phys. Lett. B318 (1993) 469 The holomorphic property is realized in our lattice model!

136 Non-renormalization theorem on lattice 48 To restrict the form of conserved charges:, we use the

137 Non-renormalization theorem on lattice 48 To restrict the form of conserved charges:, we use the

138 Non-renormalization theorem on lattice 48 To restrict the form of conserved charges:, we use the zero charge combination

139 Non-renormalization theorem on lattice 48 To restrict the form of conserved charges:, we use the zero charge combination

140 Non-renormalization theorem on lattice 49

141 Non-renormalization theorem on lattice 49

142 Non-renormalization theorem on lattice 49

143 Non-renormalization theorem on lattice 49 Tree diagrams! These diagrams should be excluded from because it consists of 1PI diagrams!

144 Non-renormalization theorem on lattice 49 Tree diagrams! These diagrams should be excluded from because it consists of 1PI diagrams! non-renormalization No quantum correction!

145 Plan of my talk Obstacle to realize SUSY on lattice 2. Attempts to construct lattice SUSY models 3. No-Go theorem 4. Complex SUSY QM on lattice 5. Non-renormalization theorem on lattice 6. Q-exact form and cohomology 7. Summary

146 Q-exact form and cohomology 51

147 Q-exact form and cohomology 51 invariant under because of the nilpotency:

148 Q-exact form and cohomology 51 invariant under because of the nilpotency: invariant under only if

149 Q-exact form and cohomology 51 invariant under because of the nilpotency: invariant under only if -exact

150 Q-exact form and cohomology 51 invariant under because of the nilpotency: invariant under only if -exact

151 Q-exact form and cohomology 51 invariant under because of the nilpotency: invariant under only if -exact

152 Q-exact form and cohomology 51 invariant under because of the nilpotency: -exact invariant under only if -closed but not exact

153 Q-exact form and cohomology 51 invariant under because of the nilpotency: -exact invariant under only if -closed but not exact which has the properties: CLR M.Kato, M.S., H.So in preparation

154 Q-exact form and cohomology 51 invariant under because of the nilpotency: -exact invariant under only if -closed but not exact which has the properties: CLR M.Kato, M.S., H.So in preparation The type II terms are cohomologically non-trivial with CLR!

155 Summary 52 We have proved the No-Go theorem that the Leibniz rule cannot be realized on lattice under reasonable assumptions. We proposed a lattice SUSY model equipped with the cyclic Leibniz rule as a modified Leibniz rule. A striking feature of our lattice SUSY model is that the nonrenormalization theorem holds for a finite lattice spacing. Our results suggest that the cyclic Leibniz rule grasps important properties of SUSY.

156 Remaining tasks 53 Extension to higher dimensions We have to extend our analysis to higher dimensions. Especially, we need to find solutions to CLR in more than one dimensions. inclusion of gauge fields Nilpotent SUSYs with CLR full SUSYs Are nilpotent SUSYs extended by CLR enough to guarantee full SUSYs?

157 History repeats itself! 54

158 History repeats itself! chiral gauge theory 54

159 History repeats itself! chiral gauge theory E left-handed right-handed 54 0

160 History repeats itself! chiral gauge theory E left-handed right-handed 54 0 continuous theory There is no renormalization scheme to preserve the chiral structure nonperturbatively!

161 History repeats itself! chiral gauge theory E left-handed right-handed 54 0 continuous theory There is no renormalization scheme to preserve the chiral structure nonperturbatively! lattice theory The lattice theory can make it possible!!

162 History repeats itself! chiral gauge theory E 0 continuous theory lattice theory left-handed right-handed There is no renormalization scheme to preserve the chiral structure nonperturbatively! The lattice theory can make it possible!! SUSY theory 54

163 History repeats itself! chiral gauge theory E 0 continuous theory lattice theory left-handed right-handed There is no renormalization scheme to preserve the chiral structure nonperturbatively! The lattice theory can make it possible!! SUSY theory E 0 bosons F fermions F 54

164 History repeats itself! chiral gauge theory E 0 continuous theory lattice theory left-handed right-handed There is no renormalization scheme to preserve the chiral structure nonperturbatively! The lattice theory can make it possible!! SUSY theory E bosons F fermions F 0 continuous theory There is no renormalization scheme to preserve the SUSY structure nonperturbatively! 54

165 History repeats itself! chiral gauge theory E 0 continuous theory lattice theory left-handed right-handed There is no renormalization scheme to preserve the chiral structure nonperturbatively! The lattice theory can make it possible!! SUSY theory E bosons F fermions F 0 continuous theory There is no renormalization scheme to preserve the SUSY structure nonperturbatively! lattice theory The lattice theory will make it possible again!! 54