Find in Library

This essay’s title is justified by discussing a class of Yang–Mills-type theories of which standard Yang–Mills theories are special cases but which is broad enough to include gravity as a double field theory. We use the framework of homotopy algebras, where conventional Yang–Mills theory is the tensor product <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi mathvariant="script">K</mi><mo>⊗</mo><mi mathvariant="fraktur">g</mi></mrow></semantics></math></inline-formula> of a ‘kinematic’ algebra <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi mathvariant="script">K</mi></semantics></math></inline-formula> with a color Lie algebra <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi mathvariant="fraktur">g</mi></semantics></math></inline-formula>. The larger class of Yang–Mills-type theories are given by the tensor product of <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi mathvariant="script">K</mi></semantics></math></inline-formula> with more general Lie-type algebras, of which <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi mathvariant="script">K</mi></semantics></math></inline-formula> itself is an example, up to anomalies that can be canceled for the tensor product with a second copy <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mover accent="true"><mi mathvariant="script">K</mi><mo stretchy="false">¯</mo></mover></semantics></math></inline-formula>. Gravity is then given by <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi mathvariant="script">K</mi><mo>⊗</mo><mover accent="true"><mi mathvariant="script">K</mi><mo stretchy="false">¯</mo></mover></mrow></semantics></math></inline-formula>.