Artin's classification conjecture for function skewfields of noncommutative surfaces

Let AA be a noetherian, connected graded domain over k{\Bbbk} with GKdimA=3\operatorname{GKdim} A=3. Its graded quotient ring has the form Qgr(A)D[t,t1;α]Q_{gr}(A)\cong D[t,t^{-1};\alpha], where D=Dgr(A)D=D_{gr}(A) is the function skewfield of AA. A noncommutative surface is regarded as the category qgr- ⁣A\operatorname{qgr-\!}A. Artin's classification conjecture. The only function skewfields of noncommutative surfaces are: (i) division rings DD finite dimensional over their centres F=Z(D)F=Z(D), which are then fields of transcendence degree two; (ii) division rings of fractions of Ore extensions k(X)[z;σ,δ]{\Bbbk}(X)[z;\sigma,\delta] for some curve XX; and (iii) the function skewfield D=Dgr(S)D=D_{gr}(S) of a Sklyanin algebra S=S(a,b,c)S=S(a,b,c), assuming that SS is not a finite module over its centre. Artin further asked for a classification of the noncommutative surfaces qgr- ⁣A\operatorname{qgr-\!}A within each birational class, namely the connected graded noetherian algebras AA with a fixed division ring Dgr(A)D_{gr}(A) from this list. This conjecture proposes a birational classification of noncommutative surfaces and reduces their study to the classification of orders within the proposed function-skewfield classes; the source gives no resolution of the conjecture.

Sources & referencesView supporting material

Primary source

D. Rogalski, S. J. Sierra and J. T. Stafford, “Classifying Orders in the Sklyanin Algebra”, arXiv:1308.2213 (2013).

Additional references

2 papers in this index state this conjecture (2009–2013). The statement above is taken from the most recent of them; the others are arXiv:0910.5018.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.