A-twisted Landau-Ginzburg models Eric Sharpe Virginia Tech J. Guffin, ES, arxiv: 0801.3836, 0803.3955 M. Ando, ES, to appear
A Landau-Ginzburg model is a nonlinear sigma model on a space or stack X plus a ``superpotential W. S = Σ d 2 x ( g ij φ i φ j + ig ij ψ j + D zψ i + + ig ijψ j D zψ i + The superpotential + g ij i W j W + ψ i + ψj D i j W + ψ ı + ψj D ı j W W : X C is holomorphic, (so LG models are only interesting when X is noncompact). There are analogues of the A, B model TFTs for Landau-Ginzburg models...
In the past, people have mostly only considered Landau-Ginzburg models in which X = C n for some n, (or an orbifold thereof,) with a quasi-homogeneous superpotential, and only one topological twist. In the case X = C n, states are elements of C[x 1,, x n ]/(dw ) with correlation functions (at genus 0) O 1 O n = X d2 φ i dχı + dχı O 1 O n exp = dw =0 O 1 O n ( det 2 W ) 1 ( dw 2 + χ ı + χj ı j W )
For nonlinear sigma models, there are 2 topological twists: the A, B models. 1) A model ψ i + Γ(φ (T 1,0 X)) χ i ψ ı Γ(φ (T 0,1 X)) χ ı Q φ i = χ i, Q φ ı = χ ı, Q χ = 0, Q 2 = 0 States Q d b µ ν χ µ χ ν H, (X) Correlation functions O 1 O n = d M d O 1 O n Obs
2) B model ψ ı ± Γ(φ (T 0,1 X)) η ı = ψ ı + + ψı θ i = g ij (ψ j + ψj Q φ i = 0, Q φ ı = η ı, Q η ı = 0, Q θ j = 0, Q 2 = 0 Identify η ı dz ı θ j z j States: Q b j 1 j m ı 1 ı n η ı1 η ı n θ j1 θ jm H n (X, Λ m T X) We can also talk about A, B twists of LG models over nontrivial spaces, generalizing earlier notions on LG TFT... )
LG B model: The states of the theory are Q-closed (mod Q-exact) products of the form b(φ) j 1 j m ı 1 ı n η ı1 η ı n θ j1 θ jm where η, θ are linear comb s of ψ Q φ i = 0, Q φ ı = η ı, Q η ı = 0, Q θ j = j W, Q 2 = 0 Identify η ı dz ı, θ j z j, so the states are hypercohomology Q H ( X, Λ 2 T X dw T X dw O X )
Quick checks: 1) W=0, standard B-twisted NLSM H ( X, Λ 2 T X dw T X dw O X ) H (X, Λ T X) 2) X=C n, W = quasihomogeneous polynomial Seq above resolves fat point {dw=0}, so H ( X, Λ 2 T X dw T X dw O X ) C[x 1,, x n ]/(dw )
Correlation functions (schematic): O 1 O n = = dw =0 X dφ dη ı dθ j ω 1 ω n exp ( dw 2 η ı θ j g jk ı k W dφ ω j 1ı ωj nı (Ω X) ı ık k (Ω X ) j jm m ( Dk m W ) (D k m W ) det 2 W 2 where Ω X = holomorphic top-form ω = rep of class given in forms on X Math: this is a product on hypercohomology; elegant understanding?
LG A model: Defining the A twist of a LG model is more interesting. (Fan, Jarvis, Ruan) (Ito; J Guffin, ES) Producing a TFT from a NLSM involves changing what bundles the ψ couple to, e.g. ψ Γ(Σ, K Σ φ T X) Γ(Σ, φ T X), Γ(Σ, K Σ φ T X) The two inequivalent possibilities are the A, B twists. To be consistent, the action must remain well-defined after the twist. True for A, B NLSM s & B LG, but not A LG...
LG A model: The problem is terms in the action of the form ψ i + ψj D i j W If do the standard A NLSM twist, this becomes a 1-form on Σ, which can t integrate over Σ. Fix: modify the A twist.
LG A model: There are several ways to fix the A twist, and hence, several different notions of a LG A model. One way: multiply offending terms in the action by another 1-form. Another way: use a different prescription for modifying bundles. The second is advantageous for physics, so I ll use it, but, disadvantage: not all LG models admit A twist in this prescription.
To twist, need a U(1) isometry on X w.r.t. which the superpotential is quasi-homogeneous. Twist by ``R-symmetry + isometry Let Q(ψ i ) be such that then twist: W (λ Q(ψ i) φ i ) = λw (φ i ) ψ Γ where Q R,L (ψ) = Q(ψ) + ( original K (1/2)Q R Σ K (1/2)Q L Σ 1 ψ = ψ i +, R 1 ψ = ψ i, L 0 else )
Example: X = C n, W quasi-homog polynomial Here, to A twist, need to make sense of e.g. K 1/r Σ where r = 2(degree) Options: * couple to top gravity (FJR) * don t couple to top grav (GS) -- but then usually can t make sense of K 1/r Σ I ll work with the latter case.
A twistable example: LG A model: LG model on X = Tot( ) E B with W = pπ s, s Γ(B, E) Accessible states are Q-closed (mod Q-exact) prod s: where b(φ) ı1 ı n j 1 j m ψ ı 1 ψ ı n ψ j 1 + ψj m + φ {s = 0} B Q φ i = ψ i +, Q φı = ψ ı, Q ψi + = Q ψı = 0, Q2 = 0 π ψ T B {s=0} Identify ψ i + dzi, ψ ı dzı, Q d so the states are elements of H m,n (B) {s=0}
Correlation functions: B-twist: Integrate over X, weight by exp ( dw 2 + fermionic ) and then perform transverse Gaussian, to get the standard expression. A-twist: Similar: integrate over M X and weight as above.
Witten equ n in A-twist: BRST: δψ i = α ( φ i ig ij j W ) implies localization on sol ns of φ i ig ij j W = 0 (``Witten equ n ) On complex Kahler mflds, there are 2 independent BRST operators: δψ i = α + φ i + α ig ij j W which implies localization on sol ns of φ i = 0 g ij j W = 0 which is what we re using.
Sol ns of Witten equ n: φ i ig ij j W 2 = Σ Σ ( φ i 2 + i W 2) LHS = 0 iff RHS = 0 hence sol ns of Witten equ n same as the moduli space we re looking at.
LG A model, cont d O 1 O n = M In prototypical cases, ω 1 ω n dχ p dχ p exp ( s 2 χ p dz i D i s c.c. F ij dz i dz j χ p χ p) } {{ } Mathai Quillen form The MQ form rep s a Thom class, so O 1 O n = M ω 1 ω n Eul(N {s=0}/m ) = {s=0} ω 1 ω n -- same as A twisted NLSM on {s=0} Not a coincidence, as we shall see shortly.
Example: LG model on Tot( O(-5) --> P 4 ), W = p s Twisting: p Γ(K Σ ) Degree 0 (genus 0) contribution: O 1 O n = d 2 φ i dχ i dχ ı dχ p dχ p O 1 O n P 4 i exp ( s 2 χ i χ p D i s χ p χ ı D ı s R ippk χ i χ p χ p χ k) (curvature term ~ curvature of O(-5) ) (cont d)
Example, cont d Q In the A twist (unlike the B twist), the superpotential terms are BRST exact: ( ψ i iw ψ i + ıw ) dw 2 + ψ i + ψj D i j W + c.c. So, under rescalings of W by a constant factor λ, physics is unchanged: O 1 O n = d 2 φ i dχ i dχ ı dχ p dχ p O 1 O n P 4 i exp ( λ 2 s 2 λχ i χ p D i s λχ p χ ı D ı s R ippk χ i χ p χ p χ k)
Example, cont d O 1 O n = d 2 φ i P 4 Limits: 1) λ 0 dχ i dχ ı dχ p dχ p O 1 O n i exp ( λ 2 s 2 λχ i χ p D i s λχ p χ ı D ı s R ippk χ i χ p χ p χ k) Exponential reduces to purely curvature terms; bring down enough factors to each up χ p zero modes. Equiv to, inserting Euler class. 2) λ Localizes on {s = 0} P 4 Equivalent results, either way.
RG preserves TFT s. If two physical theories are related by RG, then, correlation functions in a top twist of one = correlation functions in corresponding twist of other.
LG model on X = Tot( B ) with W = p s E π Renormalization group flow NLSM on {s = 0} where s Γ(E) This is why correlation functions match. B
Another example: LG model on Tot( O(-1) 2 --> P 1 x C 4 ) RG flow NLSM on small res n of conifold Degree > 0 contributions to NLSM corr f ns include multicovers. In the LG model, those multicovers arise from same localization as before on vanishing locus of (induced) section -- no obstruction bundle, etc.
Another way to associate LG models to NLSM. S pose, for ex, the NLSM has target space = hypersurface {G=0} in P n of degree d Associate LG model on [C n+1 /Z d ] with W = G * Not related by RG flow * But, related by Kahler moduli, so have same B model
LG model on Tot( O(-5) --> P 4 ) with W = p s Relations between LG models (Same TFT) (RG flow) NLSM on {s=0} P 4 (Kahler) (Only B twist same) LG model on [C 5 /Z 5 ] with W = s
Analogous results exist for elliptic genera. Recall: elliptic genus = 1-loop partition function. q (1/24)(2n+r) Tr ( ) F R exp(iγj L )q L 0 q L 0 For a heterotic NLSM on X, dim n, with bundle E, rank r, this is X Â(T X) ch ( S q n((t X) C ) Λ q n((e iγ E) C ) ) -- TX contributions from left-moving bosonic modes -- E contribution from left-moving fermionic modes -- right-moving contributions cancel
Elliptic genera of LG models on C n -- Witten R-symmetries are NLSM + C* action, just as in A twist pt Â(pt)ch Result (for n=1) proportional to ( ) S q n((e iγ L) C ) Λ q n( (e i(k+1)γ L) C ) where pt is fixed point of C* action L is line bundle over pt W is homogeneous of degree k+2
Elliptic genus of LG model over X = Tot( E* ---> B ) with W = p s (s a section of E) B is proportional to Td(T B) ch ( S q n((t B) C ) S q n((e iγ E) C ) Λ q n((e iγ T B) C ) Λ q n((e) C -- C* rotates fibers, so B is the fixed-point locus
It can be shown that the elliptic genus just outlined, for a LG model on Tot( E* --> B), matches an elliptic genus of NLSM on {s = 0} in B. Physics: the two theories are related by RG flow. Math: the two genera are related by a Thom class. This is closely related to A-twisted LG, where we saw that theories related by RG had correlation functions related by Mathai-Quillen, a rep of a Thom class. Suggests: RG flow interpretation in twisted theories as Thom class, perhaps from underlying Atiyah- Jeffrey description of the TFT.
Possible mirror symmetry application: Part of what we ve done is to replace NLSM s with LG models that are `upstairs in RG flow. Then, for example, one could imagine rephrasing mirror symmetry as a duality between the `upstairs LG models. -- P. Clarke, 0803.0447
Another application: generalizing GLSM s Given a standard GLSM, integrate out the gauge field to get a LG model over a nontrivial space/stack. LG on Tot( O(-5) --> P 4 ) with W = p s Example: quintic in P 4 Kahler LG on Tot( O(-1) 5 --> BZ 5 ) The two spaces/stacks are birational. = [C 5 /Z 5 ] Could imagine, working with families of LG models on birational spaces -- &, if don t have to come from GLSM, then don t have to be toric.
Hybrid LG models In the same vein, we should also take a moment to explain the `hybrid LG models appearing in GLSM s. These are LG models on stacks, rather than spaces. Example: GLSM for complete int P n [w 1,...,w k ] r >> 0: LG on Tot( O(-w 1 ) +... + O(-w k ) ---> P n ) birational r << 0: LG on Tot( O(-1) n+1 ---> P k-1 [w1...wk] ) -- ``hybrid Special case: P 0 [n] = BZ n, Tot(O(-1) n --> BZ k ) = [C n /Z k ]
Open problem: Analyses of the form described here, for LG models on stacks, instead of spaces. Answers known for special case of orbifolds of vector spaces, but, more general cases look more difficult.
Another direction: Heterotic Landau-Ginzburg models We ll begin with heterotic nonlinear sigma models...
S = Heterotic nonlinear sigma models: Let X be a complex manifold, E X a holomorphic vector bundle Action: d 2 x such that ch 2 (E) = ch 2 (T X) ( g ij φ i φ j + ig ij ψ j + D zψ i + + ih ab λb D zλ a + Σ ( φ, ψ + as before λ a Γ E K Σ ) Reduces to ordinary NLSM when E = T X
Heterotic Landau-Ginzburg model: S = Σ d 2 x ( g ij φ i φ j + ig ij ψ j + D zψ i + + ih ab λb D zλ a + + h ab F a F b + ψ+ i λa D if a + c.c. ) + h ab E a E b + ψ+ i λa D ie b h ab + c.c. Has two superpotential-like pieces of data E a Γ(E), F a Γ(E ) E a F a = 0 such that (2,2) locus: E = T X, E a 0, F a = i W a
Pseudo-topological twists: * If E a = 0, then can perform std B twist ψ ı + Γ((φ T 1,0 X) ) λ a Γ(φ E) Need Λ top E ( = K X, ch 2 (E) = ch 2 (T X) H Λ 2 E i Fa E i ) Fa O X States * If F a = 0, then can perform std A twist ψ i + Γ(φ T 1,0 X) λ a Γ(φ E) Need Λ top ( E = K X, ch 2 (E) = ch 2 (T X) H Λ 2 E i E a E i ) E a O X States * More gen ly, must combine with C* action.
Heterotic LG models are related to heterotic NLSM s via renormalization group flow. Example: A heterotic LG model on X = Tot with & ( F 1 E = π F 2 F a 0, E a 0 Renormalization group A heterotic NLSM on B with E = coker (F 1 F 2 ) ) π B
Example: Corresponding to NLSM on P 1 xp 1 with E as cokernel 0 O O O(1, 0) 2 O(0, 1) 2 E 0 = x 1 ɛ 1 x 1 x 2 ɛ 2 x 2 0 x 1 0 x 2 have (upstairs in RG) LG model on with X = Tot ( O O π P 1 P 1) E = π O(1, 0) 2 π O(0, 1) 2 F a 0 E 1 = x 1 p 1 + ɛ 1 x 1 p 2 E 3 = x 1 p 1 E 2 = x 2 p 1 + ɛ 2 x 2 p 2 E 4 = x 2 p 2
Example, cont d Since F a = 0, can perform std A twist. O 1 O n = d 2 x P 1 P 1 dχ i dλ a O 1 O n (λ a Ẽ a 1 ) ( ) λ b Ẽ2 b f(ẽa 1, Ẽa 2 ) which reproduces std results for (0,2) quantum cohomology in this example.
One can also compute elliptic genera in these models. B For the given example, elliptic genus proportional to Td(T B) ch ( S q n((t B) C ) S q n((e iγ F 1 ) C ) Λ q n((e iγ F 2 ) C ) and there is a Thom class argument that this matches a corresponding elliptic genus of the NLSM related by RG flow.
Another class: A heterotic LG model on with & X = Tot Renormalization group ( F2 E = π F 1 E a 0, F a 0 ) π B A heterotic NLSM on B with E = ker (F 1 F 2 )
Example: deformation of the (2,2) quintic Consider LG with X = Tot ( O( 5) E = T X E a 0 F i = p(d i s + s i ) s Γ(O(5)) π P 4) This RG flows to a heterotic NLSM describing a (0,2) deformation of a (2,2) quintic.
Example, cont d Can A twist -- must combine w/ C* action. Result: O 1 O n = dχ i dλ i dχ p P 4 dλ p O 1 O n exp ( s 2 χ i λ p D i s χ p λ ı (D ı s + s ı ) R ippk χ i χ p λ p λ k) -- not quite Mathai-Quillen -- superpotential terms not BRST exact
Most general case: LG model on with gauge bundle NLSM on Y {G µ = 0} B with bundle E X = Tot E given by ( F 1 F3 G µ Γ(G) given by cohom of the monad F 1 F 2 F 3 ) π B 0 π G E π F 2 0 Renormalization group (2,2) locus: F 1 = 0, F 2 = T B, F 3 = G
Spectators: Possible complaint: X isn t CY in gen l, and E doesn t have c 1 =0; why should they have good IR fixed point? X = Tot Answer: add spectators. ( F 1 F3 Tot ) π B ( F 1 F 3 ( K B Λ top F 1 Λtop F 3 ) E E π ( K B Λ top F 1 Λtop F 3 ) ) π B plus a canonical term added to F a to give mass.
Heterotic GLSM phase diagrams: Heterotic GLSM phase diagrams are famously different from (2,2) GLSM phase diagrams; however, the analysis of earlier still applies. A LG model on X, with bundle E, can be on the same Kahler phase diagram as a LG model on X, with bundle E, if X birat l to X, and E, E match on the overlap. (necessary, not sufficient)
Example: NLSM on {G = 0} W P 4 w 1,,w 5 with bundle E given by G Γ(O(d)) 0 E O(n a ) O(m) 0 is described (upstairs in RG) by a LG model on X = Tot ( O( m) π W P 4) with bundle 0 π O(d) E π O(n a ) 0 and is related to LG on Tot ( O( w i ) BZ m ) = [C 5 /Z m ] with ~ same bundle.
Open problem: In the Kahler duality: A LG model on X, with bundle E, can be on the same Kahler phase diagram as a LG model on X, with bundle E, if X birat l to X, and E, E match on the overlap. How to uniquely determine E? What are sufficient conditions to be on same SCFT moduli space? How does this compare to GLSM Kahler moduli space, in the special case of toric X, X? Larger?
Bold, unjustified, conjecture: Given a heterotic LG model on X, with bundle E, describing IR NLSM on Calabi-Yau Y, if X is birat l to X, then E --> X is uniquely determined by: 1) E matches E on common Zariski open subset, 2) ch 2 (E ) = ch 2 (TX ), 3) Witten indices of IR NLSM s match.
Summary: * A, B topological twists of Landau-Ginzburg models on nontrivial spaces -- Mathai-Quillen, elliptic genera, Thom forms * Heterotic LG models