Abstract:We use the dictionary between general field theories and strongly homotopy algebras to provide an algebraic formulation of the procedure of integrating out of degrees of freedom in terms of homotopy transfer. This includes more general effective theories in which some massive modes are kept while other modes of a comparable mass scale are integrated out, as first explored by Sen in the context of closed string field theory. We treat L∞$L_infty$‐algebras both in terms of a nilpotent coderivation and, on the dual space, in terms of a nilpotent derivation (corresponding to the BRST charge of the field theory) and provide explicit formulas for homotopy transfer. These are then shown to govern the integrating out of degrees of freedom at tree level, while the generalization to loop level will be explored in a sequel to this paper. The dictionary between general field theories and strongly homotopy algebras is used to provide an algebraic formulation of the procedure of integrating out of degrees of freedom in terms of homotopy transfer. This includes more general effective theories in which some massive modes are kept while other modes of a comparable mass scale are integrated out, as first explored by Sen in the context of closed string field theory. The authors treat L1‐algebras both in terms of a nilpotent coderivation and, on the dual space, in terms of a nilpotent derivation (corresponding to the BRST charge of the field theory) and provide explicit formulas for homotopy transfer. These are then shown to govern the integrating out of degrees of freedom at tree level, while the generalization to loop level will be explored in a sequel to this paper.

Algebraic Structures In Closed Superstring Field Theory, Homotopy Transfer And Effective Actions

Closed superstring field theory and its applications

Superstring field theory and the Wess-Zumino-Witten action

More on closed string effective actions at order $α'^2$

Superstring field theory with open and closed strings

More on closed string effective actions at order

String Field Theory: A Review

The Nilpotent Structure of Open-Closed String Field Theory

Loop Action for Lattice U(1) Gauge Theory

Open Superstring Theory and Superalgebra of the Brane Antibrane System

Homotopy Transfer and Effective Field Theory I: Tree‐level

Effective String Tension and Renormalizability: String Theory in a Noncommutative Space

Super Yang-Mills Action from Hybrid Superstring Field Theory

Type II chiral affine Lie algebras and string actions in doubled space

Homotopy Classification of Bosonic String Field Theory

Supersymmetric form of the string action in the presence of the gauge field

Superstring field theory, superforms and supergeometry

Non-supersymmetric Tachyon-free Type-II and Type-I Closed Strings from RCFT

Homotopy theory of algebraic quantum field theories

Algebraic Structure of S-Theory

Closed superstrings in magnetic field: instabilities and supersymmetry breaking