Abstract:In this paper, we develop the theory of punctured R-maps as a crucial component of logarithmic gauged linear sigma models (log GLSM). A punctured R-map is a punctured map in the sense of ACGS, further twisted by the sheaf of differentials on the domain curve. They admit two different but closely related perfect obstruction theories - a canonical one and a reduced one. While the canonical theory leads to generalized double ramification cycles with targets and spin structures, without expansions, the reduced theory describes boundary contributions in log GLSM. Major results of this paper include a sequence of axioms in both canonical and reduced theories: 1. A product formula computing disconnected invariants in terms of connected ones 2. Fundamental class axioms, string and divisor equations As an important application, these formulas lead to a class of invariants in the reduced theory, called effective invariants. They are at the heart of recent advances in GW theory, and will be shown to give rise to explicit correction terms to the quantum Lefschetz principle in higher genus GW theory for arbitrary smooth complete intersections in a forthcoming paper. For quintic 3-folds, we show that all effective invariants are determined by $[(2g-2)/5] + 1$ many basic effective invariants, using the formulas in (1) and (2). This matches the number of free parameters of the famous BCOV B-model theory in physics. Similar results apply to other complete intersections. This, together with the joint works of the last two authors and S. Guo on the genus two mirror theorem and the higher genus mirror conjectures for quintic 3-folds, shows that log GLSM is an effective tool for proving BCOV-type conjectures in higher genus GW theory. Further applications of punctured R-maps include an LG/CY correspondence for effective invariants and a relation to the locus of holomorphic differentials.

From polygons and symbols to polylogarithmic functions

Symbology for elliptic multiple polylogarithms and the symbol prime

Elliptic symbol calculus: from elliptic polylogarithms to iterated integrals of Eisenstein series

Elliptic Double Box and Symbology Beyond Polylogarithms

Intersection theory rules symbology

Polylogarithm for families of commutative group schemes

Punctured Logarithmic R-maps

Polylogarithms from the bound state S-matrix

Polytope symmetries of Feynman integrals

Unifying trigonometric and hyperbolic function derivatives via negative integer order polylogarithms

A symbolic approach to the poly-Bernoulli numbers

Classical Polylogarithm -- Abstract of a series of lectures given at the workshop on polylogs in Essen, May 1 -- 4, 1997

Representation of solutions of the Gauss hypergeometric equation by the multiple polylogarithms, functional relations of the multiple polylogarithms and relations of the multiple zeta values

Discrete sums of classical symbols on Z^d and zeta functions associated with Laplacians on tori

Motivic coaction and single-valued map of polylogarithms from zeta generators

Visible Point Partition Identities for Polylogarithms, and Parametric Euler Sums

The normal symbol on Riemannian manifolds

Symbol Alphabets from the Landau Singular Locus

Symmetries of weight 6 multiple polylogarithms and Goncharov's Depth Conjecture

Symbol letters of Feynman integrals from Gram determinants