{"id":"arxiv/2604.00532","url":"https://arxiv.org/abs/2604.00532","tags":["math.QA"],"score":0,"title":"Formal Deformation quantization as a Fréchet algebra","domain":"math.QA","source":"arxiv","authors":["Qin Li"],"reviews":0,"subject":"math.QA","summary":"We define a Fréchet topology on the space $C^\\infty(X)[[\\hbar]]$ of formal smooth functions on a symplectic manifold $X$, by constructing a sequence of semi-norms on it. For any star product $\\star$ on $C^\\infty(X)[[\\hbar]]$ making it a formal deformation quantization of $X$, we will show that the quantum product $\\star$ is jointly continuous, and making it a Fréchet algebra. We will show a quantum Weierstrass theorem which says quantum polynomials are locally dense in all formal smooth functions. We will also show that the canonical trace of any formal deformation quantization is continuous…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-01","reactions":{}}