A Non-perturbative analytic study of (a) supersymmetric lattice model(s)

42
1 A Non-pertu rbative analytic study of (a) supersymmetric lat tice model(s) Tomohisa Takimi (RIKEN) K. Ohta, T.T Prog.Theor. Phys. 117 (20 07) No2 [hep-lat /0611011] (and more) 平平 19 平 9 平 7 平 平平平平平平平平平平平平

description

A Non-perturbative analytic study of (a) supersymmetric lattice model(s). Tomohisa Takimi (RIKEN). K. Ohta, T.T Prog.Theor. Phys. 117 (2007) No2 [hep-lat /0611011] (and more) 平成 19 年 9 月 7 日 岡山光量子研究所セミナー. - PowerPoint PPT Presentation

Transcript of A Non-perturbative analytic study of (a) supersymmetric lattice model(s)

Page 1: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

1

A Non-perturbative analytic study of (a) supersymmetric lattice model(s)

Tomohisa Takimi (RIKEN)

K. Ohta, T.T Prog.Theor. Phys. 117 (2007) No2 [hep-lat /0611011] (and more)

平成 19 年 9 月 7 日 岡山光量子研究所セミナー

Page 2: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

2

ContentsContents1. Introduction (review, fine-tuning problems, recent strategy for the

m )2. Motivation of topological study on the lattice 3. Topological property in the continuum theory 3.1 BRST exact form of the model 3.2 BRST cohomology (BPS state) 4. Topological property on the lattice    4.1 BRST exact form of the model 4.2 BRST cohomology (BPS state) 5. Summary

A non-perturbative criterion whether the recent strategy (model) solve the problem

Judge

Difficulty to take the desired continuum limit

Perturbative-level discussion

Page 3: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

3

1. Introduction1. Introduction Supersymmetric gauge theory

One solution of hierarchy problem Dark Matter, AdS/CFT correspondence

Important issue for particle physics

*Dynamical SUSY breaking. *Study of Ads/CFT

Non-perturbative study is important

Page 4: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

4

Lattice: Lattice: A non-perturbative method

lattice construction of SUSY field theory is difficultlattice construction of SUSY field theory is difficult..

Fine-tuning problem SUSY breaking

Difficult* taking continuum limit

* numerical study

Page 5: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

5

Fine-tuning problem

Difficult to perform numerical analysisTime for computation becomes huge.

If the whole symmetry can be repaired at the continuum limit.

SUSY SUSY casecaseViolation is too hard to repair the symmetry at the limit.

in the standard action. (Plaquette gauge action + Wilson or Overlap fermion action)

Many SUSY breaking terms appear;

is required.

prevents the restoration of the symmetry

Fine-Fine-tuningtuningTuning of the too many parameters.

(To suppress the breaking term effects)

Symmetry breaking does not matter

Page 6: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

6

Example). N=1 SUSY with matter fields

gaugino mass, scalar mass

fermion massscalar quartic coupling

Computation time grows as the power of the number of the relevant parameters

By standard lattice action.(Plaquette gauge action + Wilson or Overlap fermion action)

too many4 parameters

Page 7: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

7

Lattice formulations free from fine-tuning

We call as BRST charge

{ ,Q}=P_

P

Q

A lattice model of Extended SUSY

preserving a partial SUSY

: does not include the translation

Page 8: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

8

Twist in the Extended SUSY

Redefine the Lorentz algebra

.

(E.Witten, Commun. Math. Phys. 117 (1988) 353, N.Marcus, Nucl. Phys. B431

(1994) 3-77

by a diagonal subgroup of (Lorentz) (R-symmetry)

Ex) d=2, N=2

d=4, N=4

they do not include in their algebra

Scalar supercharges under , BRST charge

Page 9: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

9

Extended Supersymmetric gauge theory action

Topological Field Theory

action Supersymmetric Lattice

Gauge Theory action latticeregularization

Twisting

BRST charge is extracted from spinor charge

s

is preserved

equivalent

Page 10: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

10

CKKU models (Cohen-Kaplan-Katz-Unsal) 2-d N=(4,4),3-d N=4, 4-d N=4 etc. super Yang-Mills the

ories ( JHEP 08 (2003) 024, JHEP 12 (2003) 031, JHEP 09 (2005) 042)

Sugino models (JHEP 01 (2004) 015, JHEP 03 (2004) 067, JHEP 01 (2005) 016

Phys.Lett. B635 (2006) 218-224 )    Geometrical approach   

Catterall   (JHEP 11 (2004) 006, JHEP 06 (2005) 031) (Relationship between them:

SUSY lattice gauge models with the

T.T (JHEP 07 (2007) 010))

Page 11: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

11

Do they really solve fine-tuning problem?

Perturbative investigation They have the desired continuum limit

CKKU JHEP 08 (2003) 024, JHEP 12 (2003) 031, Onogi, T.T Phys.Rev. D72 (2005) 074504

Non-perturbative investigation Sufficient investigation has not been done !

Our main purpose

Do they have the desired target continuum limit with full supersymmetry ?

Page 12: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

12

2.2. Motivation of the Motivation of the topological topological

studystudy -

( Topological Study ) -

2.2. Our proposal for the Our proposal for the non-perturbative studynon-perturbative study

-

Page 13: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

13

Extended Supersymmetric gauge theory action

Topological Field Theory

action Supersymmetric Lattice

Gauge Theory action limit a 0continuum

latticeregularization

Page 14: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

14

Topological fieldtheory

Must be realized

Non-perturbative quantity

Non-perturbative investigationof the recovery of the continuum theory 

Lattice

Target continuum theory

BRST-cohomology

For 2-d N=(4,4) CKKU models

2-d N=(4,4) CKKU

Forbidden

Imply

The target continuum theory includes a topological field theory as a subsector.

Page 15: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

15

Topological property (action )

BRST cohomology (BPS state)

We can obtain this value non-perturbatively in the semi-classical limit.

these are independent of gauge coupling

Because

Hilbert space of topological field theory:

Page 16: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

16

The aim

A non-perturbative studywhether the lattice theories havethe desired continuum limit or not

through the study of topological property on the lattice

We investigate it in 2-d N=(4,4) CKKU model.

Page 17: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

17

In the 2 dimensional N = (4,4) super Yang-Mills theory

3. Topological property in the 3. Topological property in the continuum continuum

theoriestheories -

3.1 BRST exact action3.2 BRST cohomology

(Review)

Page 18: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

18

Equivalent topological field theory action

3.1 BRST exact form of the action

: covariant derivative(adjoint representation

) : gauge field

(Dijkgraaf and Moore, Commun. Math. Phys. 185 (1997) 411)

(Set of Fields)

Page 19: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

19

: gauge field

(Set of Fields)

3.1 BRST exact form of the action(Dijkgraaf and Moore, Commun. Math. Phys. 185 (1997) 411)

(adjoint representation)

: covariant derivative

Page 20: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

20

BRST transformation BRST partner sets

(I) Is BRST transformation homogeneous ?

(II) Does change the gauge transformation laws?

Let’s consider

If      is set of homogeneous linear function of

    is homogeneous transformation of

def

( is just the coefficient)

Page 21: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

21

(I) What is homogeneous ?

ex) For function ex) For function

We define the homogeneous of as follows

homogeneous

not homogeneous

We treat as coefficient for discussion of homogeneous of

Page 22: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

22

Answer for (I) and (II) BRST

transformation change the gauge transformation law

BRST

(I)BRST transformation is not homogeneous of : homogeneous

function of : not homogeneous of

(II)

Page 23: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

23

3.2 BRST cohomology in the continuum theory

satisfies so-called

descent relation

Integration of over k-homology cycle ( on torus)

(E.Witten, Commun. Math. Phys. 117 (1988) 353)

homology 1-cycle

BRST-cohomology

are BRST cohomology composed by

Page 24: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

24

not BRST exact !

not gauge invariant

formally BRST exact

change the gauge transformation law(II)

Due to (II) can be BRST cohomology

BRST exact (gauge invariant quantity)

Page 25: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

25

4.Topological property on the lattice4.Topological property on the lattice

We investigate in the 2 dimensional = (4,4) CKKU supersymmetric lattice gauge theory

( K.Ohta , T.T (2007))

4.1 BRST exact action4.2 BRST cohomology

Page 26: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

26

N=(4,4) CKKU action as BRST exact form .

4.1 BRST exact form of the lattice action  ( K.Ohta , T.T (2007))

Fermion

Boson

Set of Fields

Page 27: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

27

BRST transformation on the on the latticelattice

(I)Homogeneous transformation of(I)Homogeneous transformation of BRST partner sets

are homogeneous functions of

In continuum theory,

(I)Not Homogeneous transformation of(I)Not Homogeneous transformation of

Page 28: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

28

can be written as tangent vectortangent vectorDue to homogeneous property of

If we introduce fermionic operator

They Compose the number operator as which counts the number of fields within

commute with the number operator sinc

e is homogeneous transformationwhich does not change the number

of fields in

comment on homogeneous property(1)

Page 29: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

29

has a definite number of fields in

can be written as

Any term in a general function of fields

Ex)

A general function

:Polynomial of

comment on homogeneous property(2)

:Eigenvelue of

Page 30: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

30

( II ) Gauge symmetry under and the location of fields

* BRST partners sit on same links or sites

* (II)Gauge transformation laws do not change under BRST transformation

Page 31: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

31

BRST cohomology BRST cohomology cannot be realizcannot be realized!ed!

The BRST closed operators on the N=(4,4) CKKU lattice model

must be the BRST exactexcept for the polynomial of

4.2 BRST cohomology on the lattice theory(K.Ohta, T.T (2007))

Page 32: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

32

【1】

【 2】 commute with gauge transformation : gauge

invariant

for

Proof

with

Consider

From

: gauge invariant

:

must be BRST must be BRST exactexact .

Only have BRST cohomology(end of proof)

Page 33: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

33

BRST cohomology must be composed only by

BRST cohomology are composed by

in the continuum theory

             on the lattice

disagree with each otherdisagree with each other

* BRST cohomology on the lattice

* BRST cohomology in the continuum theory

Not realized in continuum limit !

Page 34: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

34

Supersymmetric lattice gauge theory

continuumlimit a 0 Extended Supersymmetr

ic gauge theory action

Topological field theory

Topological field theory on the lattice

Really ?Really ?

Page 35: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

35

Topological field theory

continuumlimit a 0 Extended Supersymmetr

ic gauge theory

Supersymmetric lattice gauge theory

Topological field theory

One might think the No-go result (A) has not forbidden the realization of BRST cohomology in the continuum limit in the case (B)

(A)

(B)

Even in case (B), we cannot realize the observables in the continuum limit

Page 36: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

36

lattice spacing )

The discussion via the path The discussion via the path (B) (B) Topological observable in the continuum limit

via path (B)

Representation of on the lattice

These satisfy following property

(

Page 37: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

37

We can expand as

And in, it can be written as

So the expectation value of this becomes

Sinc

e

Also in this case, Since the BRST transformation is

homogeneous,

since

!

We cannot realize the topological property

via path (B)

Page 38: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

38

Topological field theory

continuumlimit a 0 Extended Supersymmetr

ic gauge theory

Supersymmetric lattice gauge theory

Topological field theory

(A)

(B)

The 2-d N=(4,4) CKKU lattice model cannot realize the topological property in the continuum limit!

The 2-d N=(4,4) CKKU lattice model would not have the desired continuum limit!

Page 39: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

39

5. Summary5. Summary

• We have proposed that the topological property (like as BRST cohomology) should be used as a non-perturbative criteria to judge wheth

er supersymmetic lattice theories which preserve BRST charge

have the desired continuum limit or not.

Page 40: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

40

We apply the criteria to N= (4,4) CKKU model

There is a possibility that topological property cannot be realized.

The target continuum limit might not be realized by including non-perturbative effect.

It can be a powerful criteria.

Page 41: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

41

Discussion on the No-go result

(I) Homogeneous property of BRST transformation on the lattice.

(II) BRST transformation does not change the gauge transformation laws.

(I)and (II) plays the crucial role.

These relate with the gauge transformation law on the lattice.

Gauge parameters are defined on each sites as the independent parameters.

Vn Vn+itopology

Page 42: A Non-perturbative                 analytic study of   (a) supersymmetric lattice model(s)

42

The realization is difficult due to the independence of gauge parameters

BRST cohomology

Topological quantity defined by the inner product of homology and the cohomology

(Singular gauge transformation)Admissibility condition etc. would be needed

Vn Vn+i