Algebra of the Infrared: Massive d=2 N=(2,2) QFT
description
Transcript of Algebra of the Infrared: Massive d=2 N=(2,2) QFT
![Page 1: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/1.jpg)
Gregory Moore, Rutgers University
KITP, March, 2014
collaboration with Davide Gaiotto & Edward Witten
draft is ``nearly finished’’…
Algebra of the Infrared:Massive d=2 N=(2,2) QFT
A short ride with a big machine - or -
![Page 2: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/2.jpg)
Three Motivations
1. IR sector of massive 1+1 QFT with N =(2,2) SUSY
2. Knot homology.
3. Categorification of 2d/4d wall-crossing formula.
(A unification of the Cecotti-Vafa and Kontsevich-Soibelman formulae.)
![Page 3: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/3.jpg)
d=2, N=(2,2) SUSY
We will be interested in situations where two supersymmetries are unbroken:
![Page 4: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/4.jpg)
4
OutlineIntroduction & Motivations
LG Theory as SQM
Web-based Formalism
Summary & Outlook
Boosted Solitons & Soliton Fans
Goals, Results, Questions Old & New
Some Review of LG Theory
![Page 5: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/5.jpg)
Example: LG Models - 1
Chiral superfield
Holomorphic superpotential
Massive vacua are Morse critical points:
![Page 6: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/6.jpg)
Example: LG Models -2
(X,): Kähler manifold. (Simplify: =d)
W: X C Superpotential (A holomorphic Morse function)
More generally,…
![Page 7: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/7.jpg)
Boundary conditions for
Boundaries at infinity:
Boundaries at finite distance: Preserve -susy:
![Page 8: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/8.jpg)
Fields Preserving -SUSY
U()[Fermi] =0 implies the -instanton equation:
Time-independent: -soliton equation:
![Page 9: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/9.jpg)
Lefshetz Thimbles
If D contains x -
The projection of solutions to the complex W plane sit along straight lines of slope
If D contains x +
Inverse image in X of all solutions defines left and right Lefshetz thimbles
They are Lagrangian subvarieties of X
![Page 10: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/10.jpg)
Solitons For D=R
For general there is no solution.
But for a suitable phase there is a solution
Scale set by W
This is the classical soliton. There is one for each intersection (Cecotti & Vafa)
(in the fiber of a regular value)
![Page 11: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/11.jpg)
Witten IndexSome classical solitons are lifted by instanton effects, but the Witten index:
can be computed with a signed sum over classical solitons:
![Page 12: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/12.jpg)
These BPS indices were studied by [Cecotti, Fendley, Intriligator, Vafa and by Cecotti & Vafa]. They found the wall-crossing phenomena:
Given a one-parameter family of W’s:
![Page 13: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/13.jpg)
13
OutlineIntroduction & Motivations
LG Theory as SQM
Web-based Formalism
Summary & Outlook
Boosted Solitons & Soliton Fans
Goals, Results, Questions Old & New
Some Review of LG Theory
![Page 14: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/14.jpg)
Goals & Results - 1 Goal: Say everything we can about the theory in the far IR.
Result: When we take into account the BPS states there is an extremely rich mathematical structure.
We develop a formalism – which we call the ``web-based formalism’’ – (that’s the ``big machine’’) - which shows that:
Since the theory is massive this would appear to be trivial.
![Page 15: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/15.jpg)
(A and L are mathematical structures which play an important role in open and closed string field theory, respectivey. Strangely, they show up here. )
Goals & Results - 2 BPS states have ``interaction amplitudes’’ governed by an L algebra
There is an A category of branes/boundary conditions, with amplitudes for emission of BPS particles from the boundary governed by an A algebra.
(That is, using just IR data we can define an L - algebra and there are ``interaction almplitudes’’ of BPS states that define a solution to the Maurer-Cartan equation of that algebra.)
![Page 16: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/16.jpg)
Half-susy interfaces form an A 2-category, and to a continuous family of theories we associate a flat parallel transport of brane categories.
If we have continuous families of theories (e.g. a continuous family of LG superpotentials) then we can construct half-supersymmetric interfaces between the theories.
Goals & Results - 3
The flatness of this connection implies, and is a categorification of, the 2d wall-crossing formula.
These interfaces can be used to ``implement’’ wall-crossing.
![Page 17: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/17.jpg)
![Page 18: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/18.jpg)
![Page 19: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/19.jpg)
Some Old QuestionsWhat are the BPS states on R in sector ij ?
What are the branes/half-BPS boundary conditions ?
Fendley & Intriligator; Cecotti, Fendley, Intriligator, Vafa; Cecotti & Vafa c. 1991
Hori, Iqbal, Vafa c. 2000 & Much mathematical work on A-branes and Fukaya-Seidel categories.
We clarify the relation to the Fukaya-Seidel category & construct category of branes from IR.
Some refinements. Main new point: L structure
![Page 20: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/20.jpg)
Some New Questions -1
What are the BPS states on the half-line ?
![Page 21: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/21.jpg)
Some New Questions - 2 Given a pair of theories T1, T2 what are the supersymmetric interfaces?
Is there an (associative) way of ``multiplying’’ interfaces to produce new ones? And how do you compute it?
![Page 22: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/22.jpg)
Some New Questions - 3
We give a method to compute the product. It can be considered associative, once one introduces a suitable notion of ``homotopy equivalence’’ of interfaces.
![Page 23: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/23.jpg)
Some New Questions - 4
There is a way of using interfaces to ``map’’ branes in theory T1, to branes in theory T2 ?
![Page 24: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/24.jpg)
The theory is massive:For a susy state, the field in the middle of a large interval is close to a vacuum:
Example of a surprise: What is the space of BPS states on an interval ?
![Page 25: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/25.jpg)
Does the Problem Factorize?
For the Witten index: Yes
For the BPS states?
No!
![Page 26: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/26.jpg)
Enough with vague generalities!
Now I will start to be more systematic.
The key ideas behind everything we do come from Morse theory.
![Page 27: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/27.jpg)
27
OutlineIntroduction & Motivations
LG Theory as SQM
Web-based Formalism
Summary & Outlook
Boosted Solitons & Soliton Fans
Goals, Results, Questions Old & New
Some Review of LG Theory
![Page 28: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/28.jpg)
SQM & Morse Theory(Witten: 1982)
M: Riemannian; h: M R, Morse function
SQM:
Perturbative vacua:
![Page 29: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/29.jpg)
Instantons & MSW Complex
MSW complex:
Instanton equation:
``Rigid instantons’’ - with zero reduced moduli – will lift some perturbative vacua. To compute exact vacua:
Space of groundstates (BPS states) is the cohomology.
![Page 30: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/30.jpg)
Why d2 = 0
Ends of the moduli space correspond to broken flows which cancel each other in computing d2 = 0. A similar argument shows independence of the cohomology from h and gIJ.
![Page 31: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/31.jpg)
1+1 LG Model as SQMTarget space for SQM:
Recover the standard 1+1 LG model with superpotential: Two –dimensional -susy algebra is manifest.
![Page 32: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/32.jpg)
Families of Theories
Consider a family of Morse functions
Let be a path in C connecting z1 to z2.
View it as a map z: [xl, xr] C with z(xl) = z1 and z(xr) = z2
C
This presentation makes construction of half-susy interfaces easy:
![Page 33: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/33.jpg)
Domain Wall/Interface
From this construction it manifestly preserves two supersymmetries.
Using z(x) we can still formulate our SQM!
![Page 34: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/34.jpg)
MSW Complex
(Taking some shortcuts here….)
Now return to a single W. Another good thing about this presentation is that we can discuss ij solitons in the framework of Morse theory:
Equivalent to the -soliton equation
![Page 35: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/35.jpg)
InstantonsInstanton equation
At short distance scales W is irrelevant and we have the usual holomorphic map equation.
At long distances the theory is almost trivial since it has a mass scale, and it is dominated by the vacua of W.
![Page 36: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/36.jpg)
Scale set by W
![Page 37: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/37.jpg)
![Page 38: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/38.jpg)
BPS Solitons on half-line D:
Semiclassically:
Q -preserving BPS states must be solutions of differential equation
Classical solitons on the positive half-line are labeled by:
![Page 39: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/39.jpg)
Quantum Half-Line Solitons
MSW complex:
Grading the complex: Assume X is CY and that we can find a logarithm:
Then the grading is by
![Page 40: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/40.jpg)
Scale set by W
Half-Plane Instantons
![Page 41: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/41.jpg)
Solitons On The Interval
The Witten index factorizes nicely:
But the differential
is too naïve !
Now return to the puzzle about the finite interval [xl, xr] with boundary conditions Ll, Lr
When the interval is much longer than the scale set by W the MSW complex is
![Page 42: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/42.jpg)
![Page 43: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/43.jpg)
Instanton corrections to the naïve differential
![Page 44: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/44.jpg)
44
OutlineIntroduction & Motivations
LG Theory as SQM
Web-based Formalism
Summary & Outlook
Boosted Solitons & Soliton Fans
Goals, Results, Questions Old & New
Some Review of LG Theory
![Page 45: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/45.jpg)
The Boosted Soliton - 1
Therefore we produce a solution of the instanton equation with phase if
We are interested in the -instanton equation for a fixed generic
We can still use the soliton to produce a solution for phase
![Page 46: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/46.jpg)
The Boosted Soliton -2
Stationary soliton
``Boosted soliton’’
These will define edges of webs…
![Page 47: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/47.jpg)
The Boosted Soliton - 3Put differently, the stationary soliton in Minkowski space preserves the supersymmetry:
So a boosted soliton preserves supersymmetry :
is a real boost. In Euclidean space this becomes a rotation:
And for suitable this will preserve -susy
![Page 48: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/48.jpg)
More corrections to the naïve differential
![Page 49: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/49.jpg)
![Page 50: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/50.jpg)
Path integral on a large disk
Consider a cyclic ``fan of vacua’’ I = {i1, …, in}.
Choose boundary conditions preserving -supersymmetry:
![Page 51: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/51.jpg)
Ends of moduli space
This moduli space has several “ends” where solutions of the -instanton equation look like
Path integral localizes on moduli space of -instantons with these boundary conditions:
We call this picture a web: w
![Page 52: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/52.jpg)
Label the ends of M(F) by webs w. Each end produces a wavefunction (w) associated to a web w.
The total wavefunction is Q-invariant
L identities on the interior amplitude
The wavefunctions (w) are themselves constructed by gluing together wavefunctions (r) associated with rigid webs r
Path Integral With Fan Boundary ConditionsJust as in the Morse theory proof of d2=0 using ends of moduli space corresponding to broken flows, here the broken flows correspond to webs w
![Page 53: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/53.jpg)
Example: Consider a fan of vacua {i,j,k,t}. One end of the moduli space looks like:
The red vertices are path integrals with rigid webs. They have amplitudes ikt and ijk.
?
![Page 54: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/54.jpg)
In LG theory (say, for X= Cn) the moduli space cannot end like that.
Ends of Moduli Spaces in QFT
In QFT there can be three kinds of ends to moduli spaces of PDE’s:
UV effect: Example: Instanton shrinks to zero size; bubbling in Gromov-Witten theory
Large field effect: Some field goes to Large distance effect: Something happens at large distances.
![Page 55: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/55.jpg)
None of these three things can happen here. So, there must be another end:
Amplitude:
![Page 56: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/56.jpg)
The boundaries where the internal distance shrinks to zero must cancel leading to identities on the amplitudes like:
This set of identities turns out to be the Maurer-Cartan equation for an L - algebra.
This is really a version of the argument for d2 = 0 in SQM.
![Page 57: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/57.jpg)
At this point it is useful to introduce a formalism that facilitates writing the identities satisfied by the various amplitudes - the “web-based formalism”
![Page 58: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/58.jpg)
58
OutlineIntroduction & Motivations
LG Theory as SQM
Web-based Formalism
Summary & Outlook
Boosted Solitons & Soliton Fans
Goals, Results, Questions Old & New
Some Review of LG Theory
![Page 59: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/59.jpg)
Definition of a Plane Web
It is motivated from LG field theory.
Vacuum data:
2. A set of weights
1. A finite set of ``vacua’’:
Definition: A plane web is a graph in R2, together with a labeling of faces by vacua so that across edges labels differ and if an edge is oriented so that i is on the left and j on the right then the edge is parallel to zij = zi – zj . (Option: Require all vertices at least 3-valent.)
We now give a purely mathematical construction.
![Page 60: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/60.jpg)
Useful intuition: We are joining together straight strings under a tension zij. At each vertex there is a no-force condition:
![Page 61: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/61.jpg)
Deformation TypeEquivalence under translation and stretching (but not rotating) of strings subject to no-force constraint defines deformation type.
![Page 62: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/62.jpg)
Moduli of webs with fixed deformation type
(zi in generic position)
Number of vertices, internal edges.
![Page 63: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/63.jpg)
Rigid, Taut, and Sliding
A rigid web has d(w) = 0. It has one vertex:
A taut web has d(w) = 1:
A sliding web has d(w) = 2
![Page 64: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/64.jpg)
Cyclic Fans of VacuaDefinition: A cyclic fan of vacua is a cyclically-ordered set
so that the rays are ordered clockwise
Local fan of vacua at a vertex v:
and at
![Page 65: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/65.jpg)
Convolution of Webs
Definition: Suppose w and w’ are two plane webs and v V(w) such that
The convolution of w and w’ , denoted w *v w’ is the deformation type where we glue in a copy of w’ into a small disk cut out around v.
![Page 66: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/66.jpg)
![Page 67: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/67.jpg)
The Web RingFree abelian group generated by oriented deformation types of plane webs.
``oriented’’: Choose an orientation o(w) of Dred(w)
![Page 68: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/68.jpg)
The taut elementDefinition: The taut element t is the sum of all taut webs with standard orientation
Theorem: Proof: The terms can be arranged so that there is a cancellation of pairs:
They represent the two ends of a one-dimensional (doubly reduced) sliding moduli space.
![Page 69: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/69.jpg)
![Page 70: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/70.jpg)
SKIP TO WEB REPRESENTATIONS & INTERIOR AMPLITUDES: SLIDES 87- 93
![Page 71: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/71.jpg)
Extension to the tensor algebra
• vanishes unless there is some ordering of the vi so that the fans match up.
• when the fans match up we take the appropriate convolution.
Define an operation by taking an unordered set {v1, … , vm} and an ordered set {w1,…, wm} and saying
![Page 72: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/72.jpg)
Convolution Identity on Tensor Algebra
satisfies L relations
Two-shuffles: Sh2(S)
This makes W into an L algebra
![Page 73: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/73.jpg)
Half-Plane Webs Same as plane webs, but they sit in a half-plane H.
Some vertices (but no edges) are allowed on the boundary.
Interior vertices
time-ordered boundary vertices.
deformation type, reduced moduli space, etc. ….
![Page 74: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/74.jpg)
Rigid Half-Plane Webs
![Page 75: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/75.jpg)
Taut Half-Plane Webs
![Page 76: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/76.jpg)
Sliding Half-Plane webs
![Page 77: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/77.jpg)
Half-Plane fansA half-plane fan is an ordered set of vacua,
are ordered clockwise:
such that successive vacuum weights:
![Page 78: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/78.jpg)
Convolutions for Half-Plane Webs
Free abelian group generated by oriented def. types of half-plane webs
There are now two convolutions:
Local half-plane fan at a boundary vertex v:
Half-plane fan at infinity:
We can now introduce a convolution at boundary vertices:
![Page 79: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/79.jpg)
Convolution Theorem
Define the half-plane taut element:
Theorem:
Proof: A sliding half-plane web can degenerate (in real codimension one) in two ways: Interior edges can collapse onto an interior vertex, or boundary edges can collapse onto a boundary vertex.
![Page 80: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/80.jpg)
![Page 81: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/81.jpg)
Tensor Algebra Relations
Sum over ordered partitions:
Extend tH* to tensor algebra operator
![Page 82: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/82.jpg)
Conceptual Meaning
WH is an L module for the L algebra W
There is an L morphism from the L algebra W to the L algebra of the Hochschild cochain complex of WH
WH is an A algebra
![Page 83: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/83.jpg)
Strip-Webs
Now consider webs in the strip
Now taut and rigid strip-webs are the same, and have d(s)=0.
sliding strip-webs have d(s)=1.
![Page 84: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/84.jpg)
Convolution Identity for Strip t’s
Convolution theorem:
where for strip webs we denote time-concatenation by
![Page 85: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/85.jpg)
![Page 86: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/86.jpg)
Conceptual Meaning
WS : Free abelian group generated by oriented def. types of strip webs.
+ … much more
W S is an A bimodule
There is a corresponding elaborate identity on tensor algebras …
![Page 87: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/87.jpg)
Web RepresentationsDefinition: A representation of webs is
a.) A choice of Z-graded Z-module Rij for every ordered pair ij of distinct vacua.
b.) A degree = -1 pairing
For every cyclic fan of vacua introduce a fan representation:
![Page 88: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/88.jpg)
Web Rep & Contraction
Given a rep of webs and a deformation type w we define the representation of w :
by applying the contraction K to the pairs Rij and Rji on each internal edge:
There is a natural contraction operator:
![Page 89: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/89.jpg)
![Page 90: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/90.jpg)
L -algebras, againRep of the rigid webs.
![Page 91: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/91.jpg)
L and A Algebras - 1
If A is a vector space (or Z-module) then an -algebra structure is a series of multiplications:
Which satisfy quadratic relations:
![Page 92: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/92.jpg)
L and A Algebras - 2
A if xi noncommutative, V degree 1
L if xi graded-commutative, V degree 1
![Page 93: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/93.jpg)
Consequence for LG Models
The main claim, in the context of LG models, is that counting solutions to the -instanton equations with fan-boundary conditions and reduced dimension zero defines a solution to the L MC equation:
![Page 94: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/94.jpg)
Half-Plane ContractionsA rep of a half-plane fan:
(u) now contracts
time ordered!
![Page 95: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/95.jpg)
The Vacuum A Category
Objects: i V.
Morphisms:
(For the positive half-plane H+ )
![Page 96: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/96.jpg)
Hint of a Relation to Wall-Crossing
The morphism spaces can be defined by a Cecotti-Vafa/Kontsevich-Soibelman-like product as follows:
Suppose V = { 1, …, K}. Introduce the elementary K x K matrices eij
phase ordered!
![Page 97: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/97.jpg)
Defining A Multiplications
Sum over cyclic fans:
Interior amplitude:
Satisfies the L ``Maurer-Cartan equation’’
![Page 98: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/98.jpg)
Proof of A Relations
![Page 99: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/99.jpg)
Hence we obtain the A relations for :
and the second line vanishes.
Defining an A category :
![Page 100: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/100.jpg)
Enhancing with CP-FactorsCP-Factors: Z-graded
module
Enhanced A category :
![Page 101: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/101.jpg)
Example: Composition of two morphisms
![Page 102: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/102.jpg)
Boundary AmplitudesA Boundary Amplitude B (defining a Brane) is a solution of the A MC:
![Page 103: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/103.jpg)
Constructions with Branes
Strip webs with Brane boundary conditions help answer the physics question at the beginning.
The Branes themselves are objects in an A category
Given a (suitable) continuous path of data we construct an invertible functor between Brane categories, only depending on the homotopy class of the path. (Parallel transport of Brane categories.)
(“Twisted complexes”: Analog of the derived category.)
![Page 104: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/104.jpg)
Convolution identity implies:
![Page 105: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/105.jpg)
Interfaces webs & Interfaces Given data
These behave like half-plane webs and we can define an Interface Amplitude to be a solution of the MC equation:
Introduce a notion of ``interface webs’’
![Page 106: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/106.jpg)
Composite webs Given data
Introduce a notion of ``composite webs’’
![Page 107: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/107.jpg)
Composition of Interfaces
Defines a family of A bifunctors:
Product is associative up to homotopyComposition of such bifunctors leads to categorified parallel transport
A convolution identity implies:
![Page 108: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/108.jpg)
Physical ``Theorem’’
Finitely many critical points with critical values in general position.
• Vacuum data. • Interior amplitudes. • Chan-Paton spaces and boundary amplitudes. • “Parallel transport” of Brane categories.
(X,): Kähler manifold (exact)
W: X C Holomorphic Morse function
Data
We construct an explicit realization of above:
![Page 109: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/109.jpg)
Vacuum data: Morse critical points i
Actually,
Connection to webs uses BPS states:
Semiclassically, they are solitonic particles.
Worldlines preserving “-supersymmetry”are solutions of the “-instanton equation”
![Page 110: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/110.jpg)
A Natural ConjectureFollowing constructions used in the Fukaya category, Paul Seidel constructed an A category FS[X,W] associated to a holomorphic Morse function W: X to C.
Tw[FS[X,W]] is meant to be the category of A-branes of the LG model.
But, we also think that Br[Vac[X,W]] is the category of A-branes of the LG model!
Tw[FS[X,W]] Br[Vac[X,W]]
So it is natural to conjecture an equivalence of A categories:
“ultraviolet” “infrared”
![Page 111: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/111.jpg)
Parallel Transport of Categories
To we associate an A functor
To a homotopy of 1 to 2 we associate an equivalence of A functors. ( Categorifies CVWCF.)
To a composition of paths we associate a composition of A functors:
(Relation to GMN: “Categorification of S-wall crossing”)
![Page 112: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/112.jpg)
112
OutlineIntroduction & Motivations
LG Theory as SQM
Web-based Formalism
Summary & Outlook
Boosted Solitons & Soliton Fans
Goals, Results, Questions Old & New
Some Review of LG Theory
![Page 113: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/113.jpg)
Summary
1. Instantons effects can be thought of in terms of an ``effective theory’’ of BPS particles.
2. This naturally leads to L and A structures.
3. As an application, the set of BPS states on an interval does not satisfy the naïve clustering of classical BPS solitons.
4. When there are families of LG superpotentials there is a notion of parallel transport of the A categories.
![Page 114: Algebra of the Infrared: Massive d=2 N=(2,2) QFT](https://reader035.fdocuments.us/reader035/viewer/2022062501/56816225550346895dd256a2/html5/thumbnails/114.jpg)
Outlook
1. Relation to S-matrix singularities?
3. Generalization to 2d4d systems: Categorification of the 2d4d WCF.
4. Computability of Witten’s approach to knot homology? Relation to other approaches to knot homology?
2. Are these examples of universal identities for massive 1+1 N=(2,2) QFT?