1 lattice formulation of topological field theory tomohisa takimi (nctu) ref) k. ohta, t.t...
TRANSCRIPT
1
Lattice Formulation of Topological Field theory
Tomohisa Takimi (NCTU)Ref) K. Ohta, T.T Prog.Theor. Phys. 117 (2007) No2
[hep-lat /0611011] (Too simple)
Ref) K. Ohta, T.T Prog.Theor. Phys. 117 (2007) No2
[arXiv:0710.0438] (more correct)
7th Dec 2007 at (NCTS)
2
ContentsContents1. 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 About the continuum theory 3.2 BRST cohomology (BPS state) 4. Topological property on the lattice 4.1 About 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
1. Introduction1. Introduction Supersymmetric gauge theory
One solution of hierarchy problem Dark Matter, AdS/CFT correspondence
Important issue for particle physics
3
*Dynamical SUSY breaking. *Study of AdS/CFT
Non-perturbative study is important
4
Lattice: Lattice: A non-perturbative methodApplication to SUSY theory difficultApplication to SUSY theory difficult..
Fine-tuning problem
SUSY breaking Difficult
* taking continuum limit* numerical study
5
Fine-tuning problem
Difficult to perform numerical analysisTime for computation becomes huge.
To take the desired 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 counter terms appear;
is required.
prevents the restoration of the symmetry
Fine-Fine-tuningtuningTuning of the too many parameters.
(To suppress the breaking term effects)
Whole symmetry must be recovered at the limit
6
(1) Lorentz symmetry in 4-d theoryLorentz symmetry is also broken on
the lattice
Relevant counter terms are forbidden by the subgroup !
Subgroup (90o
rotation) is still preserved -
Symmetry breaking term
How is the situation terrible ?
Let us compare with the Lorentz symmetry case.
7
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
(2) SUSY case
No preserved subgroup
8
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
9
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
10
Extended Supersymmetric gauge theory action
Topological Field
Theory action Supersymmetric Lattice Gauge
Theory action latticeregularization
Twisting
BRST charge is extracted from spinor
charges
is preserved
equivalent
11
CKKU models (Cohen-Kaplan-Katz-Unsal)
2-d N=(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:
SUSY lattice gauge models with the
T.T (JHEP 07 (2007) 010))
12
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 ?
13
( Topological Study ) -
2.2. Our proposal for the Our proposal for the non-non-
perturbative studyperturbative study -
14
Extended Supersymmetric gauge theory action
Topological Field
Theory action Supersymmetric Lattice Gauge
Theory action
limit a 0continuum
latticeregularization
15
Topological fieldtheory
Must be realized
Non-perturbative
quantity
How to perform the Non-perturbative investigation
Lattice
Target continuum theory
BRST-cohomol
ogy
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.
Judge
16
Why it is non-perturbaitve? (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:
17
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.
18
In the 2 dimensional N = (4,4) super Yang-Mills theory
3. Topological field theory 3. Topological field theory in the in the continuum theoriescontinuum theories -
3.1 About the continuum theory
3.2 BRST cohomology
19
Equivalent topological field theory action
3.1 About the continuum theory
: covariant derivative(adjoint
representation) : gauge field
(Dijkgraaf and Moore, Commun. Math. Phys. 185 (1997) 411)
(Set of Fields)
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)
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
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)
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
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)
25
4.Topological Field theory on the lattice4.Topological Field theory 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
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
27
BRST transformation on the on the latticelattice
(I)Homogeneous (I)Homogeneous transformation oftransformation of
BRST partner sets
are homogeneous functions of
In continuum theory,
(I)Not Homogeneous (I)Not Homogeneous transformation oftransformation of
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)
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
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
31
BRST cohomology BRST cohomology cannot be cannot be realized!realized!
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))
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)
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 !
34
Supersymmetric lattice gauge theory
continuumlimit a 0
Extended Supersymmetric gauge theory action
Topological field theory
Topological field theory on the lattice
Really Really ??
35
Topological field theory
continuumlimit a 0 Extended
Supersymmetric 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
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
(
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)
38
Topological field theory
continuumlimit a 0 Extended
Supersymmetric 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!
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 whether supersymmetic lattice theories
which preserve BRST charge
have the desired continuum limit or not.
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.
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
42
The realization is difficult due to the independence of gauge parameters
BRST cohomology
Topological quantity
(Singular gauge transformation)Admissibility condition etc. would be needed
Vn Vn+i
(Intersection number)= 1
43
What is the continuum limit ? Matrix model without
space-time(Polynomial of
)0-form All
right
* IR effects and the topological quantity
* The destruction of lattice structure
soft susy breaking mass term is requiredNon-trivial IR Non-trivial IR
effecteffect
Only the consideration of UV artifact Only the consideration of UV artifact
not sufficient.not sufficient.
Dynamical lattice spacing by the deconstructionwhich can fluctuate
Lattice spacing infinity