Effacement des dérivations et spectres premiers des algèbres quantiques

Given any (commutative) field k and any iterated Ore extension R=kX₁]X₂;σ₂,δ₂]X_N;σ_N,δ_N] satisfying some suitable assumptions, we construct the so-called “Derivative-Elimination Algorithm.” It consists of a sequence of changes of variables inside the division ring F=Fract(R), starting with the indeterminates (X₁,…,X_N) and terminating with new variables (T₁,…,T_N). These new variables generate some quantum-affine space such that . This algorithm induces a natural embedding which satisfies the following property:

Full-size image

. We study both the derivative-elimination algorithm and natural embedding and use them to produce, for the general case, a (common) proof of the “quantum Gelfand–Kirillov” property for the prime homomorphic images of the following quantum algebras: , (wW), R_qG] (where G denotes any complex, semi-simple, connected, simply connected Lie group with associated Lie algebra and Weyl group W), quantum matrices algebras, quantum Weyl algebras and quantum Euclidean (respectively symplectic) spaces. Another application will be given in G. Cauchon, J. Algebra, to appear]: In the general case, the prime spectrum of any quantum matrices algebra satisfies the normal separation property.