Abstract:We study the deformation complex of the dg wheeled properad of $\mathbb{Z}$-graded quadratic Poisson structures and prove that it is quasi-isomorphic to the even M. Kontsevich graph complex. As a first application we show that the Grothendieck-Teichmüller group acts on the genus completion of that wheeled properad faithfully and essentially transitively. As a second application we classify all universal quantizations of $\mathbb{Z}$-graded quadratic Poisson structures together with the underlying (so called) homogeneous formality maps. In particular we show that two universal quantizations of Poisson structures are equivalent if the agree on generic quadratic Poisson structures.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is the deformation quantization problem of Z - graded quadratic Poisson structures, which specifically includes the following aspects:
1. **Complexity of Deformation Quantization**:
- The author studies the deformation quantization problem of Z - graded quadratic Poisson structures and tries to understand the complexity of this quantization process. Unlike linear Poisson structures, the deformation quantization of quadratic Poisson structures is not unique, but there are rich generally homotopically non - equivalent universal quantization methods.
2. **The Role of the Grothendieck - Teichmüller Group**:
- The paper proves that the Grothendieck - Teichmüller group $GRT$ acts faithfully and essentially transitively on the completion of the wheeled properad of finite - dimensional Z - graded quadratic Poisson structures.
- This result reveals the importance of the Grothendieck - Teichmüller group in the deformation quantization theory.
3. **Classification of Universal Quantizations**:
- The paper classifies all universal quantizations of Z - graded quadratic Poisson structures and proves that if two universal quantizations agree on a general quadratic Poisson structure, then they are homotopically equivalent.
- Specifically, the author proves that the Grothendieck - Teichmüller group $GRT$ acts freely and transitively on the set $S$ of homotopy classes of universal quantizations of Z - graded quadratic Poisson structures, and the set $S$ can be identified as the set of Drinfeld associators.
4. **Study of Deformation Complexes**:
- The paper studies the derived complex of the dg wheeled properad $Hoqpois^{wheel}_{0,1}$ and proves that it is quasi - isomorphic to the Kontsevich graph complex $FGC_2$.
- This result indicates that the deformation quantization theory of quadratic Poisson structures is actually controlled by the same Kontsevich graph complex.
### Summary of Mathematical Formulas
The following are some key formulas and concepts involved in the paper:
1. **Decomposition of Quadratic Poisson Structures**:
\[
\nu=\sum_{n \geq 1} \nu_n, \quad \nu_n \in \text{Hom}(\wedge^n V, \odot^n V)[2 - n]
\]
2. **Definition of Maurer - Cartan Elements**:
\[
\pi=\sum_{n,m = 0}^{\infty} \pi_n^m, \quad \pi_n^m \in \text{Hom}(\wedge^n V, \odot^m V)[2 - n]
\]
3. **Definition of Deformation Complexes**:
\[
\text{Der}(Hoqpois^{wheel}_{c,d})=\prod_{m \geq 1}\left(\hat{Hoqpois}^{wheel}_{c,d}(m,m)\otimes \text{sgn}^{\otimes |c|}_m\otimes \text{sgn}^{\otimes |d|}_m\right)^{S_m\times S_m}[1+(c + d)(1 - m)]
\]
4. **Differential of Graph Complexes**:
\[
\delta\Gamma=\delta\Gamma\pm\sum_{m \geq 2}\Gamma\circ(\cdot)\pm\sum_{m \geq 2}(\cdot)\circ\Gamma
\]
5. **Differential of Kontsevich Graph Complexes**:
\[
\delta