Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2309.16664

Associativity certificates for Kontsevich's star-product $\star$ mod $\bar{o}(\hbar^k)$: $k\leqslant 6$ unlike $k\geqslant7$

Ricardo Buring·Arthemy V. Kiselev
View original source ↗Read source document ↗Export metadata ↓

Abstract

The formula $\star$ mod $\bar{o}(\hbar^k)$ of Kontsevich's star-product with harmonic propagators was known in full at $\hbar^{k\leqslant 6}$ since 2018 for generic Poisson brackets, and since 2022 also at $k=7$ for affine brackets. We discover that the mechanism of associativity for the star-product up to $\bar{o}(\hbar^6)$ is different from the mechanism at order $7$ for both the full star-product and the affine star-product. Namely, at lower orders the needed consequences of the Jacobi identity are immediately obtained from the associator mod $\bar{o}(\hbar^6)$, whereas at order $\hbar^7$ and higher, some of the necessary differential consequences are reached from the Kontsevich graphs in the associator in strictly more than one step.

Explore related subjects

math.QAmath-phmath.COmath.MPmath.SG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ricardo Buring, Arthemy V. Kiselev. 2023-09-29. Associativity certificates for Kontsevich's star-product $\star$ mod $\bar{o}(\hbar^k)$: $k\leqslant 6$ unlike $k\geqslant7$. https://doi.org/10.1088/1742-6596%2F2667%2F1%2F012080

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Graded Necklace Lie Bialgebras and Batalin-Vilkovisky Formalism

An involutive Lie bialgebra induces a Batalin-Vilkovisky operator on its exterior algebra. We introduce a graded generalization of the necklace Lie bialgebra, which depends on a choice of a quiver $Q$. We relate the resulting Batalin-Vilkovisky structure to the Batalin-Vilkovisky structure coming from a degree $-1$ symplectic form on a suitably defined representation variety of the quiver $Q$. The morphism intertwining these Batalin-Vilkovisky algebras will be given by a twisted trace, recovering the usual (super)trace and the odd trace.

math.QA↗
arXiv2026

Freeness and divisibility for right $H$-simple left $H$-comodule algebras over a pointed Hopf algebra $H$

Let $H$ be a pointed Hopf algebra and let $A$ be a right $H$-simple left $H$-comodule algebra. We show that every relative $(H,A)$-Hopf module is free as an $A$-module and that this freeness characterizes the class of pointed Hopf algebras. We give a criterion for the category of relative $(H,A)$-Hopf modules to be semisimple. We also show that $A$ can be embedded into a left $H$-comodule algebra of a specific form when $H$ and $A$ are $\mathbb{N}_0$-graded. As a consequence, we prove that if $H$ is finite-dimensional and $A^{\mathrm{co} H}=\Bbbk$, then $A$ is finite-dimensional and $\dim A$ divides $\dim H$.

math.QA↗
arXiv2026

$C_2$-Cofiniteness and Rationality of the Icosahedral Orbifold $V_{L_2}^{A_5}$

Let $L_2=\mathbb{Z}α$ be the rank-one root lattice with $(α,α)=2$, and let $A_5$ act on the lattice vertex operator algebra $V_{L_2}$ through an icosahedral subgroup of $\operatorname{Aut}(V_{L_2})\cong PSL_2(\mathbb{C})$. We prove that the fixed-point vertex operator algebra $V_{L_2}^{A_5}$ is strongly rational.

math.QA↗