420 likes | 546 Views
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 日 岡山光量子研究所セミナー.
E N D
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日 岡山光量子研究所セミナー
A non-perturbative criterion whether the recent strategy (model) solve the problem Contents Difficulty to take the desired continuum limit 1. Introduction (review, fine-tuning problems, recent strategy for them ) 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 Perturbative-level discussion Judge
1. 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
Lattice: A non-perturbative method lattice construction of SUSY field theory is difficult. SUSY breaking Fine-tuning problem * taking continuum limit Difficult * numerical study
Fine-tuning problem If the whole symmetry can be repaired at the continuum limit. Symmetry breaking does not matter SUSY case • in the standard action. • (Plaquette gauge action + Wilson or Overlap fermion action) • Violation is too hard to repair the symmetry at the limit. • Many SUSY breaking terms appear; • prevents the restoration of the symmetry Fine-tuning is required. • (To suppress the breaking term effects) Tuning of the too many parameters. Time for computation becomes huge. Difficult to perform numerical analysis
Example). N=1 SUSY with matter fields By standard lattice action. • (Plaquette gauge action + Wilson or Overlap fermion action) gaugino mass, scalar mass fermion mass scalar quartic coupling 4 parameters too many Computation time grows as the power of the number of the relevant parameters
A lattice model of Extended SUSY preserving a partial SUSY Lattice formulations free from fine-tuning : does not include the translation P We call as BRST charge _ { ,Q}=P Q
Twist in the Extended SUSY (E.Witten, Commun. Math. Phys. 117 (1988) 353, N.Marcus, Nucl. Phys. B431 (1994) 3-77 • Redefine the Lorentz algebra by a diagonal subgroup of (Lorentz) (R-symmetry) Ex) d=2, N=2 d=4, N=4 Scalar supercharges under , . BRST charge they do not include in their algebra
Extended Supersymmetric gauge theory action BRST charge is extracted from spinor charges Twisting equivalent Topological Field Theory action Supersymmetric Lattice Gauge Theory action lattice regularization is preserved
SUSY lattice gauge models with the • CKKU models(Cohen-Kaplan-Katz-Unsal) • 2-dN=(4,4),3-d N=4, 4-d N=4 etc. super Yang-Mills theories • ( 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: T.T (JHEP 07 (2007) 010))
Do they have the desired target continuum limit with full supersymmetry ? 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
Motivation of the • topological study - • Our proposal for the • non-perturbative study - ( Topological Study ) -
Extended Supersymmetric gauge theory action Topological Field Theory action Supersymmetric Lattice Gauge Theory action continuum limit a 0 lattice regularization
Non-perturbative investigation of the recovery of the continuum theory The target continuum theory includes a topological field theory as a subsector. For 2-d N=(4,4) CKKU models BRST-cohomology Imply Target continuum theory 2-d N=(4,4) CKKU Lattice Topological fieldtheory Must be realized Forbidden Non-perturbative quantity
Topological property (action ) Hilbert space of topological field theory: BRST cohomology (BPS state) these are independent of gauge coupling Because • We can obtain this valuenon-perturbatively • in the semi-classical limit.
The aim A non-perturbative study whether the lattice theories have the 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.
3. Topological property in the continuum theories - (Review) 3.1 BRST exact action 3.2 BRST cohomology In the 2 dimensional N = (4,4) super Yang-Mills theory
3.1 BRST exact form of the action (Dijkgraaf and Moore, Commun. Math. Phys. 185 (1997) 411) Equivalent topological field theory action : covariant derivative (adjoint representation) : gauge field (Set of Fields)
3.1 BRST exact form of the action (Dijkgraaf and Moore, Commun. Math. Phys. 185 (1997) 411) : gauge field : covariant derivative (Set of Fields) (adjoint representation)
BRST transformation BRST partner sets If is set of homogeneous linear function of def ishomogeneous transformation of ( is just the coefficient) Let’s consider (I) Is BRST transformation homogeneous ? (II) Does change the gauge transformation laws?
(I) What is homogeneous ? ex) For function ex) For function We treat as coefficient for discussion of homogeneous of We define the homogeneous of as follows homogeneous not homogeneous
Answer for (I) and (II) (II) BRST transformation change the gauge transformation law BRST (I)BRST transformation is not homogeneous of : homogeneous function of : not homogeneous of
3.2 BRST cohomology in the continuum theory (E.Witten, Commun. Math. Phys. 117 (1988) 353) satisfies so-called descent relation Integration of over k-homology cycle ( on torus) BRST-cohomology are BRST cohomology composed by homology 1-cycle
Due to (II) can be BRST cohomology formally BRST exact not BRST exact ! not gauge invariant BRST exact (gauge invariant quantity) change the gauge transformation law(II)
4.Topological property on the lattice (K.Ohta,T.T (2007)) 4.1 BRST exact action 4.2 BRST cohomology We investigatein the 2 dimensionalN = (4,4) CKKU supersymmetric lattice gauge theory
4.1 BRST exact form of the lattice action (K.Ohta,T.T (2007)) N=(4,4) CKKU action as BRST exact form . Boson Set of Fields Fermion
BRST transformation on the lattice are homogeneous functions of BRST partner sets (I)Homogeneous transformation of In continuum theory, (I)Not Homogeneous transformation of
comment on homogeneous property(1) Due to homogeneous property of can be written as tangent vector If we introduce fermionic operator They Compose the number operator as which counts the number of fields within commute with the number operator since is homogeneous transformation which does not change the number of fields in
comment on homogeneous property(2) Any term in a general function of fields has a definite number of fields in Ex) :Eigenvelue of A general function can be written as :Polynomial of
(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
4.2 BRST cohomology on the lattice theory (K.Ohta, T.T (2007)) BRST cohomology cannot be realized! The BRST closed operators on the N=(4,4) CKKU lattice model must be the BRST exact except for the polynomial of
Proof Consider Only have BRST cohomology (end of proof) From 【1】 for with 【2】 commute with gauge transformation : gauge invariant : gauge invariant must be BRST exact . :
on the lattice BRST cohomology must be composed only by disagree with each other BRST cohomology are composed by in the continuum theory * BRST cohomology on the lattice Not realized in continuum limit ! * BRST cohomology in the continuum theory
Extended Supersymmetric gauge theory action Supersymmetric lattice gauge theory Really ? continuum limit a 0 Topological field theory on the lattice Topological field theory
Even in case (B), we cannot realize the observables in the continuum limit One might think the No-go result (A) has not forbidden the realization of BRST cohomology in the continuum limit in the case (B) Extended Supersymmetric gauge theory Supersymmetric lattice gauge theory continuum limit a 0 (B) Topological field theory Topological field theory (A)
The discussion via the path (B) Topological observable in the continuum limit via path (B) Representation of on the lattice These satisfy following property lattice spacing ) (
Also in this case, We cannot realize the topological property via path (B) Since the BRST transformation is homogeneous, We can expand as And in, it can be written as So the expectation value of this becomes ! since Since
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! Extended Supersymmetric gauge theory Supersymmetric lattice gauge theory continuum limit a 0 (B) Topological field theory Topological field theory (A)
5. Summary • We have proposed that • the topological property • (like as BRST cohomology) • should be used as • a non-perturbative criteria to judge whether supersymmetic lattice theories • which preserve BRST charge • have the desired continuum limit or not.
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.
Discussion on the No-go result (I)and (II) plays the crucial role. (I) Homogeneous property ofBRST transformation on the lattice. (II) BRST transformation does not change the gauge transformation laws. These relate with the gauge transformation law on the lattice. Gauge parameters are defined on each sites as the independent parameters. topology Vn Vn+i
BRST cohomology Topological quantitydefined by the inner product of homology and the cohomology The realization is difficult due to the independence of gauge parameters Vn Vn+i (Singular gauge transformation) Admissibility condition etc. would be needed