VIRASORO CONSTRAINTS IN QUANTUM SINGULARITY THEORIES WEIQIANG HE AND YEFENG SHEN Abstract. We introduce Virasoro operators for any Landau-Ginzburg pair (W, G) where W is a non-degenerate quasi-homogeneous polynomial and G is a certain group of diagonal symme- tries. We propose a conjecture that the total ancestor potential of the FJRW theory of the pair (W, G) is annihilated by these Virasoro operators. We prove the conjecture in various cases, in- cluding: (1) invertible polynomials with the maximal group, (2) two-variable homogeneous Fer- mat polynomials with the minimal group, (3) certain Calabi-Yau polynomials with groups. We also discuss the connections among Virasoro constraints, mirror symmetry of Landau-Ginzburg models, and Landau-Ginzburg/Calabi-Yau correspondence. Contents 0. Introduction 1 0.1. Admissible Landau-Ginzburg pairs and the state spaces 2 0.2. Virasoro operators for admissible LG pairs 4 0.3. Virasoro constraints 5 0.4. Main results 6 1. Virasoro constraints of L 1 and L0 7 − 1.1. String equation and the operator L 1 7 − 1.2. A grading equation and the operator L0 8 2. Virasoro relations and Givental formalism 10 2.1. Quantization of quadratic Hamiltonians 11 2.2. Virasoro relations 12 3. Semi-simple Frobenius manifolds and Virasoro constraints 15 3.1. Frobenius manifolds and Givental Theorem 15 3.2. Semisimple Frobenius manifolds via LG mirror symmetry 18 3.3. Semisimple Frobenius manifolds via quantum Euler vector 19 4. Virasoro constraints and Landau-Ginzburg/Calabi-Yau correspondence 23 4.1. Calabi-Yau polynomials with large central charges 24 arXiv:2103.00313v2 [math.AG] 3 Mar 2021 4.2. Fermat CY polynomials of three variables 25 4.3. Invertible CY polynomials of three variables 32 Appendix A. A super trace formula 33 References 35 0. Introduction Virasoro constraints have been proposed in Gromov-Witten theory by Eguchi, Hori, and Xiong [16]. It becomes one of the most fundamental and fascinating conjectures in Gromov- Witten theory. Despite significant developments in the literature [16, 17, 45, 24, 14, 25, 50], it remains as one of the most difficult conjectures in Gromov-Witten theory. Virasoro constraints have also been proposed in various topics in enumerative geometry [14, 31, 11, 48, 49]. 1 2 WEIQIANG HE AND YEFENG SHEN In this paper, we propose Virasoro constraints for certain Landau-Ginzburg pairs (W, G), with W a certain quasi-homogeneous polynomial and G a certain group of symmetries of W . For such a LG pair (W, G), Fan, Jarvis, and Ruan constructed a Cohomological Field Theory1 in [21, 22], based on a proposal of Witten [58]. Originally it was called quantum singularity theory in [22]. Nowadays the theory constructed in [21, 22] are widely called Fan-Jarvis-Ruan-Witten theory (or FJRW for short). The construction used both algebraic and analytic tools. There are purely algebraic constructions of Cohomology field theories for the same LG pair by Polishchuk- Vaintrob [51], and Kiem-Li [33]. The three constructions are conjectured to be equivalent. These theories are LG A-model theories in the study of mirror symmetry [30, 6, 5, 38, 9, 41, 28, 29]. 0.1. Admissible Landau-Ginzburg pairs and the state spaces. Following the work of Fan, Jarvis, and Ruan [22], we let W : Cn C be a non-degenerate quasi-homogeneous polynomial of n variables. Here the non-degeneracy→ means the W has isolated critical points only at the origin and the weights (or degrees) of the variables are uniquely given by rational numbers. We write 1 wt(x ) := q 0, Q. i i ∈ 2 ∩ n Let GW G be the group of diagonal symmetries of W defined by ≤ m G := (λ , , λ ) Gn W (λ x , , λ x )= W (x , ,x ) . W 1 · · · n ∈ m 1 1 · · · n n 1 · · · n n o There exists the exponential grading element J := (exp(2π√ 1q ), , exp(2π√ 1q )) G . W − 1 · · · − n ∈ W Definition 0.1 (Admissible LG pairs). A subgroup G G is called admissible if J G. ≤ W W ∈ We call the pair (W, G) an admissible LG pair if G is admissible. • We call JW the minimal group of W . • We call Gh thei maximal group of W and write G = G or G = Aut(W ) sometimes. • W W max W For an admissible LG pair (W, G), there exists a super vector space with a non-degenerate bilinear pairing and a bigrading [30, 6, 5, 38]. We call it the state space and denote it by W,G. Let us briefly review the construction here. H 0.1.1. A state space . For each γ G Gn , we write HW,G ∈ ≤ m (0.1) γ := exp(2π√ 1θ ), , exp(2π√ 1θ ) , − 1 · · · − n where for all i such that 1 i n, θi [0, 1) Q are given uniquely. Define the degree shift number of γ to be ≤ ≤ ∈ ∩ n n (0.2) ι := age(γ) q := (θ q ). γ − i i − i Xi=1 Xi=1 The fixed locus of γ in Cn is denoted by Fix(γ). It is a subspace of Cn of dimension Nγ := dimC Fix(γ). Let Wγ := W Fix(γ) be the restriction. We denote dxγ the standard top form on Fix(γ). Recall the Jacobian algebra| of W is given by ∂W ∂W Jac(W ) := C[x , ,x ] = = = 0 . 1 · · · n ∂x · · · ∂x 1 n 1in the sense of Kontsevich and Manin [35] VIRASORO CONSTRAINTS IN QUANTUM SINGULARITY THEORIES 3 Definition 0.2 (A state space). For an LG pair (W, G), the state space W,G is defined to be the direct sum of G-invariant spaces H := , := (Jac(W ) dx )G . HW,G Hγ Hγ γ · γ γ G M∈ Here γ = (λ1, , λn) G acts on xi and dxi both by multiplying λi. We call an element in the subspace · · ·narrow∈ if N = 0, otherwise it is broad. Hγ γ Following the notation of [38], the state space is spanned by elements of the form α γ , HW,G | i where γ G and α Jac(Wγ) dxγ . If xi is fixed by γ, i.e. θi = 0, then we write i Wγ. Consider∈ a monomial∈ representative· ∈ m α = [x ] dx = xmi dx Jac(W ) dx . γ · γ i · γ ∈ γ · γ i Wγ ∈Y m Let wt(α) be the weight of the form xγ dxγ , defined by wt(α) := (mi + 1)qi. i Wγ X∈ 0.1.2. A pairing on . We fix a homogeneous basis of , denoted by HW,G HW,G φ = [f ]dx γ γ G, [f ] Jac(W ) . a a γa | ai | a ∈ a ∈ γa n o Let ResWγa be the Grothendieck residue pairing on Jac(Wγa ). Then there is a natural nonde- generate bilinear pairing ( , ) on , defined by · · HW,G 1 0, if γa = γb− ; (0.3) ηab := (φa, φb) := 6 1 Res (f f dx ), if γ = γ− . Wγa a b · γa a b 0.1.3. Bigrading and parity. We denote the central charge of the polynomial W by n (0.4) c := (1 2q ). W − i Xi=1 Following [30, 38], we introduce a bigradingb and a parity on . For an homogeneous element HW,G m φ := α γ = [x ] dx γ , a | i γ · γ | i∈HW,G + we assign a bigrading (µa ,µa−), b µ+ := wt(α)+ ι cW ; a γ − 2 (0.5) b µ := N wt(α)+ ι cW . a− γ − γ − 2 and a parity (0.6) φ = ( 1)Nγ . | a| − We also define a complex degree 1 + (0.7) deg φ := µ + µ− + c . C a 2 a a W b 4 WEIQIANG HE AND YEFENG SHEN 3 3 3 Example 0.3. For the Fermat cubic pair (W = x1 + x2 + x3, G = JW ), we have the following list for a basis of . This example will be discussed in Section h4.2 withi more details. HW,G Table 1. The state space of a Fermat cubic φ 1 J 1 J 2 dx J 0 x x x dx J 0 a | i | i | i 1 2 3 | i (µ+,µ ) ( 1 , 1 ) ( 1 , 1 ) ( 1 , 1 ) ( 1 , 1 ) a a− − 2 − 2 2 2 − 2 2 2 − 2 φ 1 1 1 1 | a| − − 1 1 degC φa 0 1 2 2 0.2. Virasoro operators for admissible LG pairs. For ℓ R and n Z 0, we denote the Pochhammer symbol by ∈ ∈ ≥ ℓ(ℓ + 1) (ℓ + n 1), if n 1. (0.8) (ℓ) := · · · − ≥ n 1, if n = 0. We assign a variable ta to each φ zm [[z]]. m a ∈HW,G Definition 0.4 (Virasoro operators). For each integer k Z 1, we introduce a differential operator ∈ ≥− 3 c ∂ L := − W k − 2 ∂t0 k+1 k+1 b ∞ 1 ∂ + µ+ + m + ta a 2 m ∂ta m=0 k+1 m+k X 1 ~2 − 1 ∂ ∂ (0.9) + ( 1)m µ+ + m + ηab 2 − a 2 ∂ta ∂tb m= k k+1 m 1 m+k X− − − 1 a b + δ 1,kηabt0t0 2~2 − δ0,k φa + 1 + 1 ( 1)| |(µ )(µ + ). − 4 − a − 2 a 2 a X ab Here η is the (a, b)-th entry of the inverse matrix of the pairing matrix (ηab). Following the work of Givental [25], these differential operators are related to quantization of quadratic Hamiltonians. This allows us to verify Proposition 0.5. The differential operators Lk k 1 satisfy the relations: { } ≥− (0.10) [L ,L ] = (m n)L . m n − m+n In general, a set of operators Lk k Z are called Virasoro operators if { } ∈ m3 m [L ,L ] = (m n)L + − δ c, m n − m+n 12 · m+n,0 · with some constant c (which is called the central charge of the Virasoro algebra).