Gregory Moore, Rutgers University Harvard, March 5, 2015 collaboration with Davide Gaiotto & Edward Witten draft is ``nearly finished’’… Algebraic structure.

Slides:



Advertisements
Similar presentations
Singularity Theory and its Applications Dr Cathy Hobbs 30/01/09.
Advertisements

5.1 Real Vector Spaces.
Quantum One: Lecture 6. The Initial Value Problem for Free Particles, and the Emergence of Fourier Transforms.
On d=3 Yang-Mills-Chern- Simons theories with “fractional branes” and their gravity duals Ofer Aharony Weizmann Institute of Science 14 th Itzykson Meeting.
Calabi-Yau compactifications: results, relations & problems
Brane-World Inflation
Summing planar diagrams
Construction of BPS Solitons via Tachyon Condensation So RIKEN based on the work with T. Asakawa and K. Ohta hep-th/0603***
Non-perturbative effects in string theory compactifications Sergey Alexandrov Laboratoire Charles Coulomb Université Montpellier 2 in collaboration with.
The Topological G 2 String Asad Naqvi (University of Amsterdam) (in progress) with Jan de Boer and Assaf Shomer hep-th/0506nnn.
The partition function of fluxed M5-instantons in F-theory Max Kerstan ITP, Universität Heidelberg String Phenomenology 2012, Cambridge Based on work with.
Review for Test 3.
Quantum One: Lecture 3. Implications of Schrödinger's Wave Mechanics for Conservative Systems.
Test of the Stefan-Boltzmann behavior for T>0 at tree-level of perturbation theory on the lattice DESY Summer Student 2010 Carmen Ka Ki Li Imperial College.
Boundaries in Rigid and Local Susy Dmitry V. Belyaev and Peter van Nieuwenhuizen.
1 MBG-60 Happy birthday, Michael!. 2 Degania, Israel (1910)
Happy 120 th birthday. Mimeograph Constraining Goldstinos with Constrained Superfields Nathan Seiberg IAS Confronting Challenges in Theoretical Physics.
Supersymmetry and Gauge Symmetry Breaking from Intersecting Branes A. Giveon, D.K. hep-th/
Matrix factorisations and D-branes Matthias Gaberdiel ETH Zürich Cambridge, 3 April 2006.
Developments in BPS Wall-Crossing Work done with Davide Gaiotto and Andy Neitzke arXiv: TexPoint fonts used in EMF: AA A A A A A AA A A A A Strings.
1 A. Derivation of GL equations macroscopic magnetic field Several standard definitions: -Field of “external” currents -magnetization -free energy II.
Meta-stable Vacua in SQCD and MQCD David Shih Harvard University K. Intriligator, N. Seiberg and DS hep-th/ I. Bena, E. Gorbatov, S. Hellerman,
Electric-Magnetic Duality On A Half-Space Edward Witten Rutgers University May 12, 2008.
2. Solving Schrödinger’s Equation Superposition Given a few solutions of Schrödinger’s equation, we can make more of them Let  1 and  2 be two solutions.
Wall Crossing and an Entropy Enigma Work done with Frederik Denef hep-th/ arXiv: TexPoint fonts used in EMF: AA A A A A A AA A A A Strings.
Quantum One: Lecture 7. The General Formalism of Quantum Mechanics.
Topological Insulators and Beyond
Gregory Moore, Rutgers University String-Math, Edmonton, June 12, 2014 collaboration with Davide Gaiotto & Edward Witten draft is ``nearly finished’’…
Algebraic structure of the IR limit of massive d=2 N=(2,2) theories
Takayuki Nagashima Tokyo Institute of Technology In collaboration with M.Eto (Pisa U.), T.Fujimori (TIT), M.Nitta (Keio U.), K.Ohashi (Cambridge U.) and.
1 Preliminaries Precalculus Review I Precalculus Review II
Cosmological Vacuum Selection and Meta-Stable Susy Breaking Ioannis Dalianis IFT-University of Warsaw.
GENERAL PRINCIPLES OF BRANE KINEMATICS AND DYNAMICS Introduction Strings, branes, geometric principle, background independence Brane space M (brane kinematics)
ADE Matrix Models in Four Dimensional QFT DK, J. Lin arXiv: , ``Strings, Matrices, Integrability’’ Paris, August 19, 2014.
Gregory Moore, Rutgers University SCGP, Nov. 17, 2014 collaboration with Davide Gaiotto & Edward Witten draft is ``nearly finished’’… Web Formalism and.
Higher Derivative Scalars in Supergravity Jean-Luc Lehners Max Planck Institute for Gravitational Physics Albert Einstein Institute Based on work with.
Announcements Homework returned now 9/19 Switching to more lecture-style class starting today Good luck on me getting powerpoint lectures ready every day.
D-term Dynamical Supersymmetry Breaking K. Fujiwara and, H.I. and M. Sakaguchi arXiv: hep-th/ , P. T. P. 113 arXiv: hep-th/ , N. P. B 723 H.
Gregory Moore, Rutgers University SCGP, October 15, 2013 collaboration with Davide Gaiotto & Edward Witten …work in progress …. Algebra of the Infrared.
Gregory Moore, Rutgers University Lyon, September 3-5, 2014 collaboration with Davide Gaiotto & Edward Witten draft is ``nearly finished’’… Four Lectures.
Uniform discretizations: the continuum limit of consistent discretizations Jorge Pullin Horace Hearne Institute for Theoretical Physics Louisiana State.
Braids, Walls and Mirrors Based on joint work with Sergio Cecotti and Clay Cordova TexPoint fonts used in EMF. Read the TexPoint manual before you delete.
Ch 2. The Schrödinger Equation (S.E)
MODULE 1 In classical mechanics we define a STATE as “The specification of the position and velocity of all the particles present, at some time, and the.
Z THEORY Nikita Nekrasov IHES/ITEP Nagoya, 9 December 2004.
The Topological String Partition Function as a Wave Function (of the Universe) Erik Verlinde Institute for Theoretical Physics University of Amsterdam.
Progress in D=4, N=2 Field Theory Gregory Moore, Rutgers University Strings-Math, Bonn, July, 2012 P. Aspinwall,W.-y. Chuang,E.Diaconescu,J. Manschot,
Gregory Moore, Rutgers University KITP, March, 2014 collaboration with Davide Gaiotto & Edward Witten draft is ``nearly finished’’… Algebra of the Infrared:
1 AdS/CFT correspondence and generation of space-time in Matrix models March at KEK Hikaru Kawai arXiv: , , with T. Suyama arXiv: ,
Quantum cosmology with nontrivial topologies T. Vargas Center for Mathematics and Theoretical Physics National Central University.
Spectral Networks and Their Applications Gregory Moore, Rutgers University Caltech, March, 2012 Davide Gaiotto, G.M., Andy Neitzke Spectral Networks and.
Laboratoire Charles Coulomb
Advanced Engineering Mathematics, 7 th Edition Peter V. O’Neil © 2012 Cengage Learning Engineering. All Rights Reserved. CHAPTER 4 Series Solutions.
Mathematical Tools of Quantum Mechanics
First Steps Towards a Theory of Quantum Gravity Mark Baumann Dec 6, 2006.
A.Sako S.Kuroki T.Ishikawa Graduate school of Mathematics, Hiroshima University Graduate school of Science, Hiroshima University Higashi-Hiroshima ,Japan.
The nonperturbative analyses for lower dimensional non-linear sigma models Etsuko Itou (Osaka University) 1.Introduction 2.The WRG equation for NLσM 3.Fixed.
Martin Schnabl Institute of Physics, Prague Academy of Sciences of the Czech Republic ICHEP, July 22, 2010.
Marginally Deformed Gauge Theories from Twistor String Theory Jun-Bao Wu (SISSA) based on work with Peng Gao hep-th/ v3 KITPC Beijing, October 18,
P-Term Cosmology A.C. Davis (with C. Burrage) ,
ArXiv: (hep-th) Toshiaki Fujimori (Tokyo Institute of Technology) Minoru Eto, Sven Bjarke Gudnason, Kenichi Konishi, Muneto Nitta, Keisuke Ohashi.
Electic-Magnetic Duality On A Half-Space Edward Witten March 9, 2008.
Intro to SUSY II: SUSY QFT Archil Kobakhidze PRE-SUSY 2016 SCHOOL 27 JUNE -1 JULY 2016, MELBOURNE.
Geometric Algebra 9. Unification Dr Chris Doran ARM Research.
Hyun Seok Yang Center for Quantum Spacetime Sogang University
Quantum One.
Quantum Two.
Supersymmetric Quantum Mechanics
Noncommutative Shift Invariant Quantum Field Theory
Quantum Foundations Lecture 3
Presentation transcript:

Gregory Moore, Rutgers University Harvard, March 5, 2015 collaboration with Davide Gaiotto & Edward Witten draft is ``nearly finished’’… Algebraic structure of the IR limit of massive d=2 N=(2,2) theories

Several talks on my homepage. Much ``written’’ material is available: Davide Gaiotto: Seminar at Perimeter, Fall 2013: ``Algebraic structures in massive (2,2) theories,’’ in the Perimeter online archive of talks. Davide Gaiotto: ``BPS webs and Landau-Ginzburg theories,’’ Talk at String-Math On the web.

Three Motivations 1. IR sector of massive 1+1 QFT with N =(2,2) SUSY 2. Knot homology. 3. Spectral networks & categorification of 2d/4d wall-crossing formula [Gaiotto-Moore-Neitzke]. (A unification of the Cecotti-Vafa and Kontsevich-Soibelman formulae.)

Outline 4 Introduction & Motivations LG Theory as SQM Conclusion Introduction to Interfaces Boosted Solitons & Soliton Fans Overview of Results Some Review of LG Theory

d=2, N=(2,2) SUSY We will be interested in situations where two supersymmetries are unbroken:

Main Goal & Result 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. Since the theory is massive this would appear to be trivial.

Vacua and Solitons We develop a formalism – which we call the ``web-based formalism’’ -- which describes many things: The theory has many vacua: There will be BPS states/solitons s ij on R

BPS states have ``interaction amplitudes’’ governed by an L  algebra Interior Amplitudes

L  and A  Algebras If A is a Z-graded module then an  -algebra structure is a series of multiplications: Which satisfy quadratic relations:

Branes/Half-BPS BC’s BPS ``emission amplitudes’’ are governed by an A  algebra

Interfaces Given a pair of theories T 1, T 2 we construct supersymmetric interfaces There is a way of ``multiplying’’ interfaces to produce new ones:

Interface OPE We give a method to compute the product. It can be considered associative, once one introduces a suitable notion of ``homotopy equivalence’’ of interfaces.

Mapping branes Using interfaces we can ``map’’ branes in theory T 1, to branes in theory T 2.

It is a key idea in formulating a categorified version of wall-crossing. turns out to be an ``A  functor of brane categories’’ We return to this at the end. The map: Branes( T 1 )  Branes( T 2 )

Summary ``Soliton interactions’’ satisfy an L  Maurer-Cartan equation. Soliton emission amplitudes from boundaries satisfy an A  MC equation. Supersymmetric interfaces can be multiplied Instanton effects associated with BPS solitons have the following consequences:

Enough with vague generalities! Now I will start to be more systematic. The key ideas behind everything we do come from Morse theory. First review d=2 N=(2,2) Landau-Ginzburg Then review the relation to Morse theory.

Outline 17 Introduction & Motivations LG Theory as SQM Conclusion Introduction to Interfaces Boosted Solitons & Soliton Fans Overview of Results Some Review of LG Theory

LG Models - 1 Chiral superfield Holomorphic superpotential Massive vacua are Morse critical points: Label set of vacua:

LG Models -2 (X,  ): Kähler manifold. W: X  C Superpotential (A holomorphic Morse function) More generally,…

Boundary conditions for  Boundaries at infinity: Boundaries at finite distance: Preserve  -susy: (Simplify:  =d ) + extra conditions on L, discussed later.

Fields Preserving  -SUSY U(  )[Fermi] =0 implies the  -instanton equation: Time-independent:  -soliton equation:

Projection to W-plane The projection of solutions to the complex W plane are contained in straight lines of slope 

Lefshetz Thimbles If D contains x  -  If D contains x  +  Inverse image in X of all solutions defines left and right Lefshetz thimbles They are Lagrangian subvarieties of X

Example of Lefshetz Thimbles

Example:

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)

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:

Scale set by W

 -soliton equation is Hamiltonian flow: Classical solitons: Conditions on Lagrangian Subspaces

Small interval: Susy is unbroken.

Large interval: Susy is broken!

Hamiltonian Symplectomorphisms The quantities we compute, such as BPS spaces, should be invariant under independent Hamiltonian symplectomorphisms of the Lagrangians L r and L l In A-model topological string theory, this is mirror dual to the invariance under complex gauge transformations in the B-model. In both cases, the transformation changes the action by a boundary D-term:

With suitable technical conditions on the allowed Lagrangians we can cure this problem. For example:

Local Operators Imitate the constructions from string theory – even in this massive theory: Incoming i  -soliton

These converge to a slightly novel set of local operators: Local Boundary Operators The local operator is a disorder operator. But invariance under separate Hamiltonian symplectomorphisms of L 1 and L 2 shows there is no invariant distinction between ``order’’ and ``disorder’’ operators.

General Boundary Condition ``Condense’’ a boundary operator satisfying an A  MC equation.

Soliton on the circle with

Outline 38 Introduction & Motivations LG Theory as SQM Conclusion Introduction to Interfaces Boosted Solitons & Soliton Fans Overview of Results Some Review of LG Theory

One (initial) goal of the project was to formulate a categorified WCF: Motivating the SQM Approach: Denote the space of quantum BPS states preserving U(  ) in the ij soliton sector:

BPS Index The BPS index is the Witten index: ``New supersymmetric index’’ of Fendley & Intriligator; Cecotti, Fendley, Intriligator, Vafa; Cecotti & Vafa c These BPS indices were studied by Cecotti, Fendley, Intriligator, Vafa and by Cecotti & Vafa

Given a one-parameter family of W’s: Wall-Crossing

What does it mean to ``categorify’’ this wall-crossing formula? It means understanding what actually happens to ``off-shell complexes’’ whose cohomology gives the BPS states. So we want to define complexes: Categorified Wall-Crossing

Replace wall-crossing for indices:

SQM & Morse Theory (Witten: 1982) M: Riemannian; h: M  R, Morse function SQM: Perturbative vacua:

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.

Why d 2 = 0 Ends of the moduli space correspond to broken flows which cancel each other in computing d 2 = 0. (A similar argument shows independence of the cohomology from h and g IJ.) The moduli space has two ends.

1+1 LG Model as SQM Target space for SQM: Recover the standard 1+1 LG model with superpotential: Two –dimensional  -susy algebra is manifest.

MSW Complex (Taking some shortcuts here….) One good thing about this presentation is that we can discuss ij solitons in the framework of Morse theory: Equivalent to the  -soliton equation

Instantons Instanton equation Thus, the MSW complex categorifies the BPS index. But we need the web-formalism and Interfaces to categorify the wall-crossing formula.

Scale set by W

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

Scale set by W Half-Plane Instantons

These instantons define the differential Q on the complex of approximate groundstates: Cohomology gives the BPS states on the half-line:

Sometimes categorification is not always so straightforward: An example is provided by studying BPS states on the interval [x l,x r ].

Witten index on the interval Naïve categorification? No!

Solitons On The Interval The Witten index factorizes nicely: But the differential is too naïve ! When the interval is much longer than the scale set by W the MSW complex is

Instanton corrections to the naïve differential

Outline 61 Introduction & Motivations LG Theory as SQM Conclusion Introduction to Interfaces Boosted Solitons & Soliton Fans Overview of Results Some Review of LG Theory

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 

The Boosted Soliton -2 Stationary soliton ``Boosted soliton’’ These will define edges of webs…

The Boosted Soliton - 3 Put 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

More corrections to the naïve differential

Path integral on a large disk Consider a cyclic ``fan of solitons’’ Choose boundary conditions preserving  -supersymmetry:

Localization The path integral of the ``LG model’’ with these boundary conditions localizes on moduli space of  -instantons: We assume the mathematically nontrivial statement that, when the index of the Dirac operator (linearization of the instanton equation) is positive then the moduli space is nonempty.

Gluing Two such solutions can be ``glued’’ using the boosted soliton solution -

Ends of moduli space This moduli space has several “ends” where solutions of the  -instanton equation look like We call this picture a  - web: w

 -Vertices The red vertices represent solutions from the compact and connected components of The contribution to the path integral from such components are called ``interior amplitudes.’’ They count (with signs) the zero-dimensional moduli spaces of solutions to the  -instanton equation.

Label the ends of M ( F ) by webs w. Each end contributes  (w) to the path integral: The total wavefunction is Q-invariant L  identities on the interior amplitudes The wavefunctions  (w) are themselves constructed by gluing together wavefunctions  (r) associated with  -vertices r Path Integral With Fan Boundary Conditions Just as in the Morse theory proof of d 2 =0 using ends of moduli space corresponding to broken flows, here the broken flows correspond to webs w

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. ?

In LG theory (say, for X= C n ) the moduli space cannot have an end like the finite bndry of R + Ends of Moduli Spaces in QFT In QFT there can be three kinds of ends to moduli spaces of the relevant 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.

None of these three things can happen at the finite boundary of R +. So, there must be another end: Amplitude:

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 d 2 = 0 in SQM.

Similarly, when perturbing boundary conditions by local boundary operators, to preserve susy these operators must satisfy equations: These turn out to be the A  MC equations.

Outline 79 Introduction & Motivations LG Theory as SQM Conclusion Introduction to Interfaces Boosted Solitons & Soliton Fans Overview of Results Some Review of LG Theory

Families of Theories Consider a family of Morse functions Let  be a path in C connecting z 1 to z 2. View it as a map z: [x l, x r ]  C with z(x l ) = z 1 and z(x r ) = z 2 C This presentation makes construction of half- susy interfaces easy:

Domain Wall/Interface From this construction it manifestly preserves two supersymmetries. Using z(x) we can still formulate our SQM!

If we have continuous path  of theories (e.g. a continuous family of LG superpotentials) then we can construct half-supersymmetric interfaces between the theories. ``Parallel Transport’’ of Branes When the path  crosses marginal stability walls we construct interfaces which ``implement’’ wall-crossing. Branes( T 1 )  Branes( T 2 ) Recall that Interfaces lead to a map: That defines ``parallel transport’’ of brane categories along .

Categorification of the WCF The construction of these ``wall-crossing interfaces’’ sometimes requires discrete jumps in the MSW complexes M ij. Taking the Witten index one recovers the Cecotti-Vafa WCF.

Outline 84 Introduction & Motivations LG Theory as SQM Conclusion Introduction to Interfaces Boosted Solitons & Soliton Fans Overview of Results Some Review of LG Theory

Summary – 1/2 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. Naïve categorification can fail. (Example of the BPS states on the interval and half-lines.) 4. We expect these algebraic structures to be universal identities for massive 1+1 N=(2,2) QFT. (Because the web formalism can be formulated at this level of generality.)

Summary – 2/2 5. When there are paths of Landau-Ginzburg theories, one can define supersymmetric interfaces. 7. This defines a notion of flat parallel transport of the A  category of branes. Existence of this transport categorifies 2d wall-crossing. 6. Colliding these interfaces with the boundaries gives a map of branes.

Sketch of topics for part 2 Explain in detail the ``web-formalism’’ for discussing these instanton effects. More detail about how the A  and L  algebras appear. How to construct the ``OPE’’ of Interfaces. Why this Interface-OPE might be useful for knot homology.