Something I've been thinking about lately has led me to wonder about the following. Consider the quantum polynomial ring $ Q= \mathbb{C}_{1}[x_1,...x_n]$ generated as a graded ring in degree 1 with relations $x_i*x_j=x_j*x_i$ for $i\neq j$. Set $u_i=x_i^2$ consider central homogeneous functions of the form $f(u_1,...,u_n)$ and the quotient ring R. The question is when, if ever, does Proj(R) have finite homological dimension. By Proj(R) I mean the quotient abelian category Gr(R)/Tor(R), where Gr(R) consists of finitely generated left modules and Tor(R) is the subcategory of torsion modules? Based upon some calculations, I believe the answer should be whenever $C[u_1,...u_n]/(u_idf/du_i)$ is finite dimensional.This is a condition about how the zero locus of f intersecting the coordinate axes $u_i$, which I believe should have a geometric interpretation in terms of the map $Z(Q)=C[u_1,...u_n] \mapsto Q$ when the $u_i$ are not zero, the fibers are matrix algebras which degenerate at the locus when some of the $u_i=0$. By analogy with the ordinary projective space, I'd like to think of this as a smooth hypersurface in the quantum projective space $P_{1}^{n1}$ but I can't seem to find this type of stuff analyzed anywhere. Does this ring a bell for anyone? If not, does anyone understand the map on primes $Spec(Q)\mapsto Spec Z(Q)$?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
