Generalized cohomological field theories in the higher order formalism

Abstract

In the classical Batalin--Vilkovisky formalism, the BV operator $\Delta$ is a differential operator of order two with respect to the commutative product. In the differential graded setting, it is known that if the BV operator is homotopically trivial, then there is a tree level cohomological field theory induced on the homology; this is a manifestation of the fact that the homotopy quotient of the operad of BV algebras by $\Delta$ is represented by the operad of hypercommutative algebras. In this paper, we study generalized Batalin--Vilkovisky algebras where the operator $\Delta$ is of the given finite order. In that case, we unravel a new interesting algebraic structure on the homology whenever $\Delta$ is homotopically trivial. We also suggest that the sequence of algebraic structures arising in the higher order formalism is a part of a "trinity" of remarkable mathematical objects, fitting the philosophy proposed by Arnold in the 1990s.

arXiv commentv3: further minor changes (several formulas corrected, the explanation of acyclicity of a Koszul-type complex made more precise)

References in corpus (29)

• Kodaira-Spencer Theory of Gravity and Exact Results for Quantum String Amplitudes
• Gromov-Witten classes, quantum cohomology, and enumerative geometry
• Batalin-Vilkovisky algebras and two-dimensional topological field theories
• Frobenius Manifolds and Formality of Lie Algebras of Polyvector Fields
• Issues in Topological Gauge Theory
• Four-Dimensional Avatars of Two-Dimensional RCFT
• Gröbner bases for operads
• Two-dimensional topological gravity and equivariant cohomology
• Nonhomogeneous quadratic duality and curvature
• Pre-Lie deformation theory
• BCOV theory via Givental group action on cohomological field theories
• Quillen homology for operads via Gröbner bases
• Shuffle algebras, homology, and consecutive pattern avoidance
• Givental graphs and inversion symmetry
• De Rham cohomology and homotopy Frobenius manifolds
• Toric varieties of Loday's associahedra and noncommutative cohomological field theories
• Givental group action on Topological Field Theories and homotopy Batalin--Vilkovisky algebras
• From Zwiebach invariants to Getzler relation
• Tautological relations in Hodge field theory
• A group action on Losev-Manin cohomological field theories
• Word operads and admissible orderings
• Givental Action and Trivialisation of Circle Action
• Gauge Independence in a Higher-Order Lagrangian Formalism via Change of Variables in the Path Integral
• Hypercommutative operad as a homotopy quotient of BV
• Cacti and filtered distributive laws
• Anticommutativity Equation in Topological Quantum Mechanics
• The cohomology of coalgebras in species
• Theory of holomorphic maps of two-dimensional complex manifolds to toric manifolds and type A multi-string theory
• Calculus of multilinear differential operators, operator $L_{\infty }$-algebras and ${IBL}_{\infty }$-algebras