I work entirely over a field of characteristic $0$, in case it matters.


Recall that a *Poisson algebra* is a commutative algebra $A$ with a bracket $\lbrace,\rbrace : A^{\wedge 2} \to A$ which is (1) a Lie bracket, i.e. it satisfies a Jacobi identity, and (2) a derivation in each variable. Or, maybe even better is that $(A,\lbrace,\rbrace: A^{\wedge 2} \to A)$ is a *Poisson algebra* if $A$ is a commutative algebra and $\forall a\in A$ $\lbrace a,-\rbrace : A \to A$ is a derivation of $(A,\lbrace,\rbrace)$.


A *coisotrope* in $A$ is a vector subspace $I \subseteq A$ which is (1) an ideal for the multiplication on $A$ and (2) Lie subalgebra for $\lbrace,\rbrace$. In particular, I do not demand that $I$ be an ideal for the bracket. The most important examples of Poisson algebras are $A = \mathcal C^\infty(M)$, where $M$ is a symplectic manifold; then an embedded submanifold $N \hookrightarrow M$ is *coisotropic* ($\mathrm T^\perp N \subseteq \mathrm T N$) iff the vanishing ideal of $N$ is a coisotrope. For more details and equivalent characterizations, see:


* Alan Weinstein, Coisotropic calculus and Poisson groupoids, J. Math. Soc. Japan Volume 40, Number 4 (1988), 705-727. <http://projecteuclid.org/euclid.jmsj/1230129807>


One reason to invent Poisson algebras is that the arise naturally as "deformation" or "quantization" problems: a Poisson algebra is the linear or infinitesimal data for a noncommutative algebra. In the most studied symplectic case, the Poisson algebra is in an important sense "maximally Poisson-noncommutative": the Poisson-center of $A$ consists only of (locally) constant functions. After quantization, the corresponding algebras are maximally noncommutative, and so should be algebras of (bounded) operators on some Hilbert space. In this sense, the quantization of a symplectic manifold $M$ *is* some Hilbert space $H$, or maybe its projectivization $\mathbb P H = H / \mathbb C^\times$.


Then the general dictionary says that *lagrangian*, i.e. minimal coisotropic, submanifolds of a symplectic manifold $M$ should correspond to elements of $H$ (or maybe elements of $\mathbb P H$, i.e. lines in $H$). My question is to understand a generalization of this that relaxes two things:


1. I am interested in algebras that are Poisson but not symplectic, and so might have center; then I do not expect to have as good a "Hilbert-space" description of the quanization. Rather, my quantizations of Poisson algebras $(A,\lbrace,\rbrace)$ are nothing more nor less than (flat) deformations of $A$ in the $\lbrace,\rbrace$ direction.
2. In the non-symplectic setting, one loses a good theory of "lagrangian" submanifold, and the best stand-ins are the coisotropes.


My question is then something along the following:



> 
> Suppose I have a Poisson algebra $(A,\lbrace,\rbrace)$ with a coisotrope $I \subseteq A$, and I have a reasonably good quantization of $A$ in the $\lbrace,\rbrace$-direction. What should I expect/hope to see at the quantum level that corresponds to $I$?
> 
> 
> 


Asking the same question in the opposite direction:



> 
> Suppose I have an associative algebra $B$ with a formal parameter $\hbar$ (and satisfying some strong flatness/topological freeness conditions), such that $B/(\hbar B)$ is commutative. Then the associated graded algebra $A = \bigoplus (\hbar B)^n / (\hbar B)^{n+1}$ is Poisson. What structures (e.g. ideals, left-modules, etc.) on $B$ become coisotropes in $A$ upon taking associated-graded?
> 
> 
> 



In the dictionary between Poisson and Quantum, what corresponds to Coisotropic?
Concerning your first question I have a couple of suggestions: first coisotropic is in some sense the best we can have in a truely Poisson situation: there is nothing like lagrangian (unfortunately).


As you already said, lagrangian sometimes is associated to pure states in the quantum regime, here the main argument is coming from the WKB approximation in physics, which has some very interesting mathematical formulations: in the booklet of Bates&Weinstein (you probably know) you can find a lot of these ideas.


However, I would like to draw your attention to some other point: Having a coisotropic $I$ in some Poisson algebra $A$ (so we left geometry, purely algebraic setting) then the thing you can do classically is *reduction*: You take the idealizer $B \subseteq A$ of $I$ with respect to the Poisson bracket and this turns out to be the largest Poisson subalgebra of $A$ having $I$ as Poisson ideal. So the quotient $B/I$ is again a Poisson algebra. In your favorite geometric setting with nice assumption this corresponds precisely to the Poisson algebra of functions of the (Marsden-Weinstein) quotient: But we see something more:


$A/I$ is a $A$-left module (sure) and it becomes also a $B/I$ right module (just check that things are well-defined). In fact, a little exercise shows that if $A$ has a unit (let's assume that) then $B/I = End\_A(A/I)^{op}$. So we are in some sense even very close to a Morita context (it is not, though...)


Usually I don't like to do that: but to make a little advertisement for some own work, I have a quite detailed paper with Simone Gutt on the above reduction proceedure where we investigate the relations of the representation theories of the big algebra $A$ and the reduced algebra $B/I$ :)


Now the remarkable thing is that this (still classical) bimodule structure might have good chances to survive quantization. In fact (and here one should quote Martin Bordemann's long french preprint as well as the works of Cattaneo&Felder) under certain geometric conditions deformation quantization gives indeed such a quantization.


So the noncommutative version is a *left* ideal $I$ and then the above quotient proceedure just works the same on the algebraic level. Of course, in DQ the trickey question is whether $B/I$ is still something like the quantized functions on the classical Marsden-Weinstein quotient and even more trickey: whether the classical coisotropic ideal can be quantized into a left ideal at all. For this there are obstructions, even local ones, in the Poisson setting, while it works locally in the symplectic setting by taking an adapted Darboux chart. Globally, it is also trickey in the symplectic setting: Martin Bordemann discusses this in detail...


OK: the conclusion is something like coisotropic ideals are used for reduction and their quantization will be left ideals used in the same way. Both lead to the above *bimodule* structures on $A/I$ which is geometrically the coisotropic submanifold itself.


As a small warning: it is *not* true in deformation quantization that all modules (of interest) arise this way. There are other modules which have their support say on points: one can use $\delta$-functionals as positive functional (after some correction terms) and get a GNS like construction also in formal deformation quantization. Then in this case, the module has sort of support on that point...


Ah, the second question: never thought about that in detail, but perhaps the above picture gives some ideas on "reverse engineering"..?


