The logarithmic gauged linear sigma model

DOI10.1007/S00222-021-01044-2MaRDI QIDQ2049910zbMATH OpenOpenAlexFDO

Authors Qile Chen, Felix Janda, Yongbin Ruan

Publication date 27 August 2021

Published in Inventiones Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1906.04345

zbMATH Keywords

cosection localizationFJRW theoryGromov-Witten invariantshybrid targetLandau-Ginzburg/Calabi-Yau correspondencelogarithmic compactificationlogarithmic structurenon-GIT quotientperfect obstruction theorypre-stable mapsR-chargestability conditionssuperpotentialvirtual fundamental cyclevirtual localization formula

Mathematics Subject Classification ID

Stacks and moduli problems (14D23) Gromov-Witten invariants, quantum cohomology, Gopakumar-Vafa invariants, Donaldson-Thomas invariants (algebro-geometric aspects) (14N35)

Abstract: We introduce the notion of log R-maps, and develop a proper moduli stack of stable log R-maps in the case of a hybrid gauged linear sigma model. Two virtual cycles (canonical and reduced) are constructed for these moduli stacks. The main results are two comparison theorems relating the reduced virtual cycle to the cosection localized virtual cycle, as well as the reduced virtual cycle to the canonical virtual cycle. This sets the foundation of a new technique for computing higher genus Gromov-Witten invariants of complete intersections.

Review text

The paper continues the authors' project to develop mathematical foundations and computational methods for the gauged linear sigma model (GLSM) introduced by Witten in 1993. Compared to the Gromov-Witten theory, there is an additional torus action on the target (the ``\(R\)-charge) that creates difficulties with the properness of the moduli stacks carrying the virtual cycles. The paper focuses on GLSM with the so-called hybrid targets, such as non-GIT quotients. The main results include relating several natural virtual fundamental cycles to each other, establishing a localization formula for GLSM invariants, and developing a new GLSM based technique for computing higher genus Gromov-Witten invariants of complete intersections. The authors' approach is based on \(R\)-maps, logarithmic \(R\)-maps that factor through a proper substack with the trivial logarithmic structure, which generalize pre-stable maps and whose moduli give a mathematical description of spaces on which the general A-twist localizes. A subtle \(\infty\)-stability type condition allows proving that the category of stable log \(R\)-maps is represented by a proper Deligne-Mumford stack, resolving a major technical hurdle of GLSM theory. The moduli of log \(R\)-maps admit two different perfect obstruction theories. The first, canonical one, is obtained from Olsson's logarithmic cotangent complex. With the help of a superpotential, it allows to define, in addition to the canonical virtual cycle, the cosection localized virtual cycle supported on the proper substack parametrizing \(R\)-maps to the critical locus of the superpotential. However, the canonical cosection over the substack category does not have a nice extension to the target stack category. A proper morphism, called modular principalization, from the authors' previous paper is used to get around that, and extend cosections to the boundary of logarithmic compactification. This leads to the second, reduced, perfect obstruction theory and the corresponding virtual cycle. The paper then establishes correspondences among the three virtual cycles and sketches how they can be applied to computing invariants. The reduced cycle is proved to be just the pullback of the cosection localized cycle by the inclusion map, which recovers the FJRW theory and Clader's hybrid model. As a result, the Gromov-Witten invariants of complete intersections involving only cohomology cycles from the ambient space can be computed in terms of log GLSM invariants, which is especially effective for higher genera. The canonical cycle is proved to be the sum of the reduced cycle and an additional virtual cycle, which can be further decomposed in terms of torus localizations. This correspondence can be used to prove structural properties of the Gromov-Witten invariants of quintics, for example. Finally, the authors relate virtual cycles for different twisting choices, which translates into relating GLSM invariants for different targets with isomorphic infinity hyperplanes. The applications include proving the Landau-Ginzburg/Calabi-Yau correspondence for quintics, and the formula for the cycle of holomorphic differentials with specified zeros conjectured by the second author.

Recommendations

• Towards logarithmic GLSM: the \(r\)-spin case
• A mathematical theory of the gauged linear sigma model
• Introduction to the gauged linear sigma model
• Logarithmic Gromov-Witten invariants
• Higher-genus wall-crossing in the gauged linear sigma model

Cites work

• (Log) twisted curves
• A mathematical theory of the gauged linear sigma model
• A-twisted Landau-Ginzburg models
• Birational invariance in logarithmic Gromov-Witten theory
• Coherent Tannaka duality and algebraicity of Hom-stacks
• Compactifying the space of stable maps
• Decomposition of degenerate Gromov-Witten invariants
• Geometry and analysis of spin equations
• Gromov-Witten invariants of stable maps with fields
• Gromov-Witten theory of Deligne-Mumford stacks
• Higher genus Gromov-Witten invariants as genus zero invariants of symmetric products
• Landau-Ginzburg/Calabi-Yau correspondence for the complete intersections \(X_{3,3}\) and \(X_{2,2,2,2}\)
• Localization of virtual classes
• Localizing virtual cycles by cosections
• Logarithmic Gromov-Witten invariants
• Logarithmic structures of Fontaine-Illusie. II
• Matrix factorizations and cohomological field theories
• Orbifold thechniques in degeneration formulas
• Phases of \(N=2\) theories in two dimensions
• Stable logarithmic maps to Deligne-Faltings pairs I
• Stable logarithmic maps to Deligne-Faltings pairs. II
• Tautological relations via 𝑟-spin structures
• The enumerative geometry of K3 surfaces and modular forms
• The intrinsic normal cone
• The logarithmic cotangent complex
• The Witten equation, mirror symmetry, and quantum singularity theory
• Twisted stable maps to tame Artin stacks
• Using stacks to impose tangency conditions on curves
• Virtual cycles of stable (quasi-)maps with fields
• Virtual pull-backs
• Witten's top Chern class via cosection localization

Cited in

(18)

• A mathematical theory of the gauged linear sigma model
• Virtual cycles of stable (quasi-)maps with fields
• Higher-genus wall-crossing in the gauged linear sigma model
• A genus-one FJRW invariant via two methods
• An effective theory of GW and FJRW invariants of quintics Calabi-Yau manifolds
• The moduli space in the gauged linear sigma model
• Towards logarithmic GLSM: the \(r\)-spin case
• Motivic integration and birational invariance of BCOV invariants
• Correlation functions of gauged linear -model
• The symplectic approach of gauged linear -model
• Gauged linear sigma model for disc invariants
• Gauged Witten equations and adiabatic limit
• Marginal deformations of Calabi-Yau hypersurface hybrids with \((2, 2)\) supersymmetry
• Leading logarithms in the massive O(N) nonlinear sigma model
• Constructing smoothings of stable maps
• On A-twisted moduli stack for curves from Witten's gauged linear sigma models
• Logarithmic lift of the \(\widehat{\text{su}}(2)_{-1/2}\) model
• Logarithmic scaling in gauge/string correspondence

This page was built for publication: The logarithmic gauged linear sigma model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2049910)