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.

A solvable extended logarithm of the Johnson homomorphism

The second Johnson homomorphism and the second rational cohomology of the Johnson kernel

A survey of the Johnson homomorphisms of the automorphism groups of free groups and related topics

Gromov hyperbolicity of Johnson and Kneser graphs

On the structures of the Johnson cokernels of the basis-conjugating automorphism groups of free groups

Surface Homeomorphisms That Do Not Extend to Any Handlebody and the Johnson Filtration

Monodromy of elliptic logarithms: some topological methods and effective results

Punctured Logarithmic R-maps

The Logarithmic Gauged Linear Sigma Model

Johnson graphs as slices of a hypercube and an algebra homomorphism from the universal Racah algebra into $U(\mathfrak{sl}_2)$

Log-Noetherian functions

Logarithmic TC via the Infinite Root Stack and the Beilinson Fiber Square

Logarithmic negative tangency and root stacks

Logarithmic moduli of roots of line bundles on curves

Global logarithmic deformation theory

On a continuation of quaternionic and octonionic logarithm along curves and the winding number

A Jørgensen–Thurston Theorem for Homomorphisms

Logarithmic Donaldson-Thomas theory

The Johnson-Morita theory for the handlebody group

On loop extensions and cohomology of loops

Logarithmic Donaldson–Thomas theory