Let M be a manifold. I define A(I) the commutativ algebra of generalized functions:
A(I)=C∞(M)[X1,X2,…,Xk]/I
where I is an ideal of C∞(M)[X1,X2,…,Xk], the polynomials over the smooth functions, such that A(I) is of finite type.
Then I define Poisson brackets:
{a,a′}=ω(da,da′)
where a,a′∈A(I) and ω∈Λ2(TA(I)) is a symplectic form of TA(I)=Der(A(I)) the derivations of A(I).
Can we quantize the structure?