Formality theorem for quantizations of Lie bialgebras

TL;DR

This paper proves a formality theorem related to the universal quantization process of Lie bialgebras using the theory of props, advancing the mathematical understanding of their deformation quantization.

Contribution

It introduces a formality theorem for quantizations of Lie bialgebras utilizing props, providing a new theoretical framework.

Findings

Established a formality theorem for Lie bialgebra quantizations

Connected props theory with universal quantization methods

Enhanced the mathematical foundation of Lie bialgebra deformations

Abstract

Using theory of props we prove a formality theorem associated with universal quantizations of (strongly homotopy) Lie bialgebras.