Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  Worldsheet instantons in A-model

+ 4 like - 0 dislike
879 views

In the usual gauge theory in four dimensions instantons are solutions of the anti-self-dual equation $\star F=- F$ where $F$ is the curvature of the connection of a principal $G$-bundle over a four-manifold $M$. In the topological string A-model one tries to count stable maps from a genus $g$ Riemann surface to a target space

$$ f : \Sigma_g \to X $$

and to get a consistent string theory $X$ has to be a Calabi-Yau 3fold. These stable maps are also called "world sheet instantons". Does this name arise because they are solutions of a 2d analogue of the (anti)self dual equation for the corresponding $\sigma$-model? And if yes which analogue is this?

Also, the corresponding topological string partition function sums over all different worldsheet instantons which are classified (with respect to their finite automorphism group) by their pullback to the corresponding (co)homology. Let $\beta$ denote a class in that vector space. Then, the Gromov-Witten invariants $ N_{g,\beta}(X)$ appear in the free energy as 

$$ \log Z_{\text{top.}} =F_{\text{top.}}(g_s, \vec{q}) =  \sum_g \sum_{\beta} g_s^{\chi(g)} N_{g,\beta}(X) \vec{q}^{\beta}  $$

Is it correct to interpret physically the GW invariants as the number of isomorphic instants configurations for a specific $\beta$? That would be confusing though because, e.g. in usual 4d theories these configurations are quotients by the gauge group and the number of representatives within some isomorphism class is infinite. But maybe I have some misconception here.  

Edit: Another question that popped into my mind is in what sense there even exists some instanton moduli space since the A-model (as well as the B-model) are topological twists of the standard non-linear sigma model which does not consider gauge fields. The Lagrangian for this model (before any twist) is 

$$ \mathcal{L} \backsim \int \frac{1}{2}g_{IJ}(\Phi)\partial_z \phi^I \partial_{\bar{z}}\phi^J + \frac{i}{2}g_{IJ} \psi_{-}^I D_z \psi_{-}^J + \frac{i}{2}g_{IJ} \psi_{+}^I D_{\bar{z}} \psi_{+}^J + R_{IJKL} \psi_{+}^I\psi_{+}^J\psi_{-}^K \psi_{-}^L $$

So, how do any notion of instantons (in the sense of the particular gauge field configuration we are familiar with) comes into the game here?

asked Nov 29, 2016 in Theoretical Physics by conformal_gk (3,625 points) [ revision history ]
edited Nov 29, 2016 by conformal_gk

1 Answer

+ 3 like - 0 dislike

A "world sheet instanton" $f : \Sigma_g \rightarrow X$ is by definition an holomorphic map: $\bar{\partial}f=0$. This equation is the analogue of the anti-self dual (ASD) equation for 4d gauge fields.

In fact, there exists a really precise analogy between the A-model and 4d instantons (known since the 1980's: Gromov's idea to use (pseudo)holomorphic curves to study symplectic manifolds was directly inspired by Donaldson's work using 4d instantons to study 4-manifolds)(in fact, in a non-supersymmetric context, it was known in the 1970's in physics that there is an analogy between 2d $\sigma$-models and 4d gauge theories). From a physics point of view, this comes from the fact that the A-model is a topological twist of a 2d theory with $\mathcal{N}=(2,2)$ SUSY and that the natural setting for 4d instantons is the Donaldson-Witten theory, topological twist of a 4d theory with $\mathcal{N}=2$ SUSY. The key point is that $\mathcal{N}$ 2d SUSY is dimensional reduction of $\mathcal{N}=1$ 4d SUSY and $\mathcal{N}=2$ 4d SUSY is dimensional reduction of $\mathcal{N}=1$ 6d SUSY. Both SUSY algebras comes by dimensional reduction of a SUSY algebra in two higer dimensions, and so will have a charge of topological nature, a BPS-like bound and a general notion of instanton as finite action configuration saturating this bound. In both cases, instanton configurations are determined by a first order PDE (ASD equation in 4d, holomorphic map equation in 2d) whereas the general equations of motion of the (untwisted) theory are second order PDE (Yang-Mills equations in 4d, harmonic map equation in 2d).

Another way to understand the analogy is not to go up but to go down in dimensions. Both 4d ASD equations and 2d holomorphic map equation are gradient flow lines for some (infinite dimensional version of) Morse theory (in the same way that the usual tunneling instantons of quantum mechanics are related to the usual finite dimensional Morse theory: see Witten's paper "Supersymmetry and Morse theory"). More precisely, the 4d ASD equation is the equation of gradient flow lines for the 3d Chern-Simons functional, whereas the 2d holomorphic map equation is the equation of gradient flow lines for the 1d action functional ($\int_\gamma pdq)$. It is possible to extend the analogy at some level of details like finding the analogue of the topological subtleties appearing in the definition of the Chern-Simons functional, and so on.

In summary, both stories come from a miracle. The miracle in 4d is the splitting of 2-forms in self-dual and anti-self-dual parts. The miracle in 2d is the splitting of harmonic functions in holomorphic and anti-holomorphic parts. In other words, the 4d miracle is the existence of quaternions and the 2d miracle is the existence of complex numbers (from there, you could ask:  what is the 8d miracle coming from the existence of octonions?).

The A-model, and in fact the topological string (i.e. the coupling of the A-model with topological 2d gravity) makes sense for $X$ Kähler manifold of any dimension (which is different from the physical string where the coupling to physical 2d gravity imposes a critical dimension). For any $\beta  \in H_2(X,\mathbb{Z})$, there is a moduli space $M_g(X,\beta)$ parametrizing holomorphic maps  of class $\beta$ from genus $g$ Riemann surfaces to $X$. It is the analogue of a moduli space of 4d ASD instantons of given instanton number. If the dimension of the moduli space of 4d ASD instantons is zero, it means that the moduli space is made of finitely many points and one can obtain a number by counting the number of points. If the dimension is not zero, one can obtain numbers by integrating differential forms over the moduli space: one obtains the Donaldson invariants, which determine the correlation functions of the Donaldson-Witten theory. In fact, to make precise sense of that, one has to ensure that the moduli space is compact and to have that, one has to had "punctual instantons" (singular limits of instantons shrinking to a point). There is a similar story for holomorphic maps: one has to had singular configurations bubbling-off as limit of smooth configurations (the precise technical thing to do was found by Kontsevich and is the "stable" part of "stable map"). If the compactified moduli space has dimension zero, one can simply count the number of points, if not, one can integrate differential forms over the moduli space and obtain the Gromov-Witten invariants of $X$, which determine the correlation functions of the A-model/topological string.

What is special about $X$ Calabi-Yau 3-fold is that all the moduli spaces $M_g(X,\beta)$ are of dimensional zero, and one obtains numbers $N_{g,\beta}$ by counting the number of points in these moduli spaces. In fact, it is not true, $M_g(X,\beta)$ can be of higher dimension, but it is always "virtually of dimension zero" and it is always possible to extract numbers $N_{g,\beta}$ (which are rational in general). To make the preceding phrase precise is the main technical difficulty of the theory (this difficulty has been solved but requires some thinking), from a physics point of view, it has to do with the correct treatment of the fermionic zero modes.

answered Nov 30, 2016 by 40227 (5,140 points) [ revision history ]

@40227 Thanks for your answer. I will think about it and will comment any further questions. But, in a first glance, the term instanton here is not related to some gauge field configuration, correctly? This is confusing since one can indeed have 2d gauge theories.

That's right. In a standard 2d $\sigma$-model, there is no gauge field and the "world-sheet instanton" is made of the scalar fields (and fermionic partners) with value in the target manifold. For a 2d gauge theory, a natural topologically non-trivial configuration, natural analogue of the 4d gauge instanton, happening for an abelian gauge group (e.g. U(1)), is a vortex.

But in some cases, there is a relation between the two stories: some 2d abelian gauge theory in the UV can become strongly coupled in the IR and can flow under the RG flow to some 2d $\sigma$-model (without gauge groups), and non-perturbative UV effects due to the vortices are mapped to the non-perturbative IR effects due to the "world-sheet instantons" (see https://arxiv.org/abs/hep-th/9301042 ).

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysicsOver$\varnothing$low
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...