Kummer–Witt–Jackson algebras

This paper is concerned with the construction of a small, but non-trivial, example of a polynomial identity algebra, which we call the Jackson algebra , that will be used in sequels to this paper to study non-commutative arithmetic geometry. In this paper this algebra is studied from a ring-theoretic and geometric view-point. Among other things it turns out that this algebra is a “non-commutative family” of central simple algebras and thus parametrises Brauer classes over extensions of the base.


Introduction
The geometric study of polynomial identity (PI) algebras, and in particular maximal orders, has seen a growing interest at least since the early 1990's, in particular by the school following Michael Artin.For a recent example see [CN13].Most of this study is concerned with algebras over algebraic surfaces (the case of curves is rather well-understood) and there are beautiful results already, but a complete classification, in particular over non-algebraically closed fields (which is my main interest), seems to be out of reach at the moment.
However, the algebras that will appear in this paper are algebras over higherdimensional schemes, and the main example, denoted J x , will turn out to live over a three-fold, say X for now.This three-fold actually seems to be rational in many cases.On the other hand, the restriction of J x to divisors on X will give a particular example of the algebras studied in the literature (see the already mentioned [CN13] and the references therein), at least when extending to the projective closure of the centre Spec(Z(J x )).In fact, X = Spec(Z(J x )).
My impetus for studying this algebra is actually two-fold (no pun intended).The first is that this algebra appeared as a q-deformation of the Lie algebra sl 2 a long time ago in a paper I wrote with S.D. Silvestrov [LS07].In that paper was left a few open questions regarding some ring-theoretic and homological properties concerning this algebra which we weren't able to solve at that moment.A few years later I was able to do this, but I never really wrote it up in any readable manner and it was shelved.Then a few years ago I became interested in applying non-commutative deformation theory to arithmetic geometry and I needed a simple, but non-trivial, algebra to use as testing ground.I remembered the algebra in quarantine.Whence the second reason for doing a somewhat detailed ring-theoretic analysis of this algebra.
e-mail: daniel.larsson@usn.no The construction of this algebra J x will proceed in several steps.First, following the origins of the q-deformed sl 2 , we construct a family of hom-Lie algebras (see section 2) and we also introduce a new class of such, infinitesimal hom-Lie algebras, that will play a specific rôle in a later paper concerning torsion points on elliptic curves.Then, in section 3, we construct "enveloping algebras" of the hom-Lie algebras and restrict to a specific type of algebras which we call Kummer-Witt hom-Lie algebras and their enveloping algebras, Kummer-Witt algebras.We do all this globally over a general scheme, which is strictly not necessary for the rest.
Primarily in order to simplify notation, we therefore restrict to the affine case and study in section 4.2, the ring-theoretic and homological properties of these Kummer-Witt algebras.In particular, the algebra J x will make its entrance as a canonical subalgebra of such a Kummer-Witt algebra (see section 4.4).The section begins with a reminder on the infinitesimal structure of polynomial identity algebras and the definition of "Auslander-regularity".
In section 4.5 we will use a (unpublished) method of A. Bell and S. P. Smith [SS97] to compute the centre and prove, among other things, that after a base extension to the algebraic closure of the base field, the centre has rational singularities (see theorem 4.17).
Section 5 begins by introducing a simplified version of what is to be viewed as a non-commutative scheme for us.A detailed and general definition can be found in [Lar23].The crucial property of a non-commutative space is that it has a more intricate infinitesimal structure captured by the existence of nontrivial Ext 1 -groups between different points.Elements in these groups are to be interpreted as "tangents" between points.Also, in this section is a definition of what is to be meant by an "L-rational point" on a non-commutative scheme.Next we define a family of quadratic divisors on the non-commutative space, X Jx , associated J x .
After that, in section 5.2, comes the first arithmetic discussion of J x .Namely, we prove that fibres in X Jx over an open subscheme S of the central subscheme X = Spec(Z(J x )) parametrises classes in Brauer groups by these fibres containing symbol algebras.We also prove that this fibration over X includes quantum Weyl algebras over the complement of S in X.
Finally, in section 6 we look at rational points on X Jx .First we find all one-dimensional points (the "commutative points") and compute the tangent structure of these points, i.e., compute the Ext 1 -groups.After that we look at higher-dimensional points and use a (slightly modified) construction of D. Jordan [Jor95] to construct families of rational points that, over the algebraic closure, contains all rational points up to isomorphism.There are two types of higher-dimensional points: torsion points and torsion-free points.We prove that there are only a discrete set of torsion points, but a continuous family of torsion-free points.We conclude by giving a somewhat detailed example. Oystaeyen.

Notation
We will adhere to the following notation throughout.
• All rings are unital.
• For a general algebra (not necessarily commutative) Mod(A) denotes the category of left A-modules.
• The notation Max(A) denotes the set of maximal ideals, while Specm(A) denotes the maximal spectrum of A (if A is commutative).
• The notation Mod(A), denotes the set (groupoid) of isoclasses of all Amodules.All modules are left modules unless otherwise explicitly specified.The class of modules with annihilator ideal being prime is denoted Mod ∆ (A).
• Z(A) denotes the centre of A.
• For p a prime in A, k(p) denotes the residue class field of p.
• Abelian sheaves are denoted with scripted letters.
• All schemes and algebras are noetherian.Schemes are also assumed to be separated.Many results surely hold without this assumption but it is cumbersome to keep track of this hypothesis in any given situation so we make the blanket assumption of separatedness throughout for simplicity.

Algebras of twisted derivations
Let X /S be an S-scheme and let A be a coherent sheaf of commutative O X - algebras.Assume that σ is an algebra endomorphism on A. Then a global (σ-)twisted S-derivation on A is an operator Example 2.1.The canonical example of a σ-derivation is a map A → A on the form In fact, for many algebras these types of maps are the only σ-derivations available.
Below U ⊆ X will always denote an open subset of the scheme X.We define the A-module Ann A (∆) as

Assume that
and form the left A-module A • ∆ by We now have the following theorem.
Theorem 2.1.The above product is O S -linear and satisfies The proof of this global version is simply a standard descent argument using the affine version as given in [HLS06].
The following definition was introduced in [Lar17] as a generalisation of a hom-Lie algebra.For our purposes the definition as given below is certainly overkill but we introduce it in its full generality nonetheless.Example 2.2 gives the main example relevant for us.
Let G denote a finite group scheme acting on X over S, and let A be an O X [G]-sheaf of O X -algebras.This means that A is an O X -algebra together with a G-action, compatible with the G-action on X in the sense that σ(xa) = σ(x)σ(a), x ∈ O X , a ∈ A.
Let A G denote the skew-group algebra of G over A. Recall that this is the free algebra A{g 1 , g 2 , . . ., g n }, g i ∈ G, with product defined by the rule This defines an associative algebra structure.Definition 2.1.Given the above data, a (G-)equivariant hom-Lie algebra on Hence, an equivariant hom-Lie algebra is a family of (possibly isomorphic) products parametrised by G. Definition 2.2.A product •, • σ in the equivariant structure, for fixed σ ∈ G, is a hom-Lie algebra on M.
Example 2.2.The main example for us in this paper is: the A-module A• ∆ σ , σ ∈ G defines an equivariant hom-Lie algebra by theorem 2.1.Each σ gives a hom-Lie algebra structure on A • ∆ σ .Some reasons why σ-derivations are important (and actually prevalent in abundance) in arithmetic and geometry, can be found in [Lar17] and the references therein.

Infinitesimal hom-Lie algebras
Let X !be an infinitesimal thickening of X.This means that X is defined as a closed subscheme of X ! by a nilpotent sheaf of ideals I.The order of the thickening is defined as the least integer n such that I n = 0.By construction X and X ! have the same underlying topological space.Notice that O X ! is an O X -algebra.
Let σ be an O S -linear automorphism of X ! .This induces, by definition, an O S -linear automorphism σ X on X, i.e., σ X = σ| X .We will for simplicity assume that σ is a lift of the identity on X.In other words, σ| X = id X .
Put, for all open U ⊆ X, Then O X !• ∆ σ , , is called an infinitesimal hom-Lie algebra on X.The canonical example is the following.To simplify the discussion, we restrict to affine schemes.Everything globalises without problem.So, let X = Spec(R), with R ∈ Com(k).Put t := {t 1 , t 2 , . . ., t d }.Then X !:= Spec R[t]/(t) n is an n-th order infinitesimal thickening of We will look at the particular case of Observe that when i + j ≥ n, then e i , e j = 0 since in that case t i+j = 0.In addition, e 0 , e i = a[i] q e i , for all i.
Example 2.4.When n = 3, we also get a solvable R-Lie algebra: e 0 , e 1 = ae 1 , e 0 , e 2 = a[2] q e 2 , e 1 , e 2 = 0.One would be tempted to conjecture that these are Lie algebras for all n.However, this is not true as the case n = 4 shows.
That the case n = 2 gives a Lie algebra is quite natural, but it seems that this should be the case also for n = 3, is more of a coincidence.

Enveloping algebras
We will now use Theorem 2.1 to construct an "enveloping" algebra.By this we mean an associative algebra E constructed on the given non-associative structure.
This algebra E is constructed as follows.Let A be a finitely generated Then Theorem 2.1 endows A• ∆ with a non-associative algebra structure.It is clear that, over U , the elements , form a basis over U for A•∆ as an A-module, where y 1 , y 2 , . . ., y n are generating sections of A over U .Then we have the relations Obviously this is in general a very complicated algebra because it is infinitely presented, exactly as the universal enveloping algebra of the classical Witt-Lie algebra for instance.Things simplify considerably if A is finite as an O X -module.So assume that A is locally free of (constant) finite rank as O X -algebra, given over U by . ., e n (e ij ). (3.1)

Enveloping algebras of infinitesimal hom-Lie algebras
We continue with the instance d = 1 as to not get too bogged down in awkward notation.That is, we consider the thickening R ! = R[t]/(t) n .This means that A from the previous section, corresponds to R ! . Here = q i e i e j − q j e j e i , whence e ij = q i e i e j − q j e j e i − a q i [j] q − q j [i] q e i+j . Therefore, where we have divided by q i for aesthetic reasons.We continue the examples from Section 2.1.
Using the same change of basis as in the previous example, we get the isomorphic algebra e 0 e 1 − qe 1 e 0 , e 0 e 2 − q 2 e 2 e 0 , e 1 e 2 − qe 2 e 1 .(3.2) The ring Q 3 R,q is a quantum affine three-space.This means that Q 3 R,q comes associated with a solvable Lie algebra.
We will be able to say more concerning these algebras later as they have nice ring-theoretic properties (see section 4.3).
We leave the case n = 4 for the reader.

Kummer-Witt hom-Lie algebras
We keep the notation from above and further denote the algebra structure on A over U by where the y i are the algebra generators of A over U .Let σ be the O X -linear algebra morphism on A defined by σ(y i ) = q i y i , q i ∈ O X (U ) and let ∆ be the σ-derivation from the previous section.Put e i := y i • ∆.Then, from Theorem 2.1, the pair defines a hom-Lie algebra structure on A • ∆.We call W σ A the Witt hom-Lie algebra over X attached to A and σ.
Remark 3.1.The construction just given is obviously not dependent on the particular choice σ(y i ) = q i y i .Any other automorphism can be used.However, the result will, of course, be more complicated and harder to write out.
From now on we assume that the n-th roots of unity are included in O X .Fix a primitive such root ζ = ζ n and consider the case when A is a uniform cyclic extension of O X .In other words, we have an invertible L and a section t = t U over each U , such that Then, with y i = t i , and σ(t) = ζ r t, we see that σ(y i ) = ζ ri y i , and the product on W σ A becomes x U e {i+j mod n} , i ≤ j.
(3.4) where (−) means that (−) is included when i + j ≥ n.We call the resulting hom-Lie algebra the Kummer-Witt hom-Lie algebra of level r and denote it W is the equivariant hom-Lie structure associated with A and G = µ n , the group (scheme) of n-th roots of unity.The structure W 1/n A (µ n ) is a µ n -torsor in a natural way.In addition, note that we are not making any assumptions on n being invertible on the base.
The above gives immediately that E( W 1/n A ), the Kummer-Witt algebra, is given by the relations for i ≤ j.
Remark 3.2.The reason we refer to (3.3) as a Witt-hom-Lie algebra is the similarity in form and construction between this algebra and the Witt-Lie algebra.In fact, the infinitesimal hom-Lie algebras are completely analogous to the classical Witt-Lie algebra in characteristic p, and the algebra (3.3) is a finiterank analogue of the infinite-dimensional Witt-Lie algebra (sometimes called the "centreless Virasoro algebra") appearing in conformal field theory, for instance.
Remark 3.3.The same game can clearly be played with Artin-Schreier extensions.We invite the reader to write out the corresponding relations for him/herself.Let M := A/M and N := A/N, be two simple A-modules, with M, N ∈ Max(A), such that m := M ∩ Z(A) = N ∩ Z(A).We now have the following theorem.
In other words, the "tangent spaces" Ext 1 A (M, N ) are non-zero precisely over the ramification locus, ram(A).
We will primarily be interested in PI-algebras that are furthermore finite as modules over their centre (or central subalgebra).

Some ring-theoretical properties
The following definition is one generalisation of regularity to non-commutative rings.It is not necessary to understand the definition beyond knowing that this is a regularity property suitable for non-commutative algebraic geometry.Definition 4.1.(i) Let R be a ring and M an R-module.Then the grade of M is defined as (ii) R is Auslander-Gorenstein if for every left and right Noetherian R-module M and for all i ≥ 0 and all R-submodules N ⊆ Ext i R (M, R), we have j(N ) ≥ i.
(iii) R is Auslander-regular if it is Auslander-Gorenstein and has finite global dimension.
(iv) Let R be a K-algebra, for K a field.Then R is Cohen-Macaulay (CM) if for every R-module M .Here GKdim denotes Gelfand-Kirillov dimension with respect to K.
Note that when R is commutative we get the ordinary (Serre) regularity as defined in commutative algebra.
For this section we can work slightly more generally and assume that B is an admissible k-algebra.Recall that an admissible (commutative) ring (or scheme) is a ring which is of finite type over a field or excellent Dedekind domain.We assume in addition that B is a regular domain.Essentially everything can be made global if one is careful, but for simplicity we only consider the situation over a fixed affine patch.The crucial difficulty arises when considering viewing Ore extensions in a global setting.
We put and give W the standard ascending filtration by degree with Fil 0 := B and the generators {e i } in degree one.It is important to notice that, if we globalize W , we find that (3.5) is a special case.
Recall that an Ore extension (or skew-polynomial ring) of a ring A is a twisted polynomial ring A[x; σ, δ], where σ is a ring morphism on A and δ a σ-derivation on A, twisted in the sense that xa = σ(a)x + δ(a).
Consider now the iterated Ore extension where we have put q ij := q −1 i q j and where q i ∈ B × for all 0 ≤ i ≤ n − 1.Notice that R is in fact gr(W ) with W given the standard filtration and y i = gr(e i ).
Proposition 4.2.Assume that the q i 's are primitive m i -th roots of unity.Then, (i) gr(W ) is a noetherian, Auslander-regular domain; (ii) Kdim(gr(W )) = Kdim(B) + n; (iii) gl.dim(gr(W )) = gl.dim(B)+ n; (iv) we have the central subalgebra where N is the least common multiple of the m i ; (v) R = gr(W ) is finite as a module over its centre and hence a polynomial identity (PI) algebra, and (vi) R is a maximal order in its quotient ring of fractions, which is a division algebra.
n−1 can be written as Proof.Notice that the monomials in e 0 , e 1 , . . ., e n−1 form a basis for W as a B-module and the relations between the e i 's are on the form Furthermore, for f ∈ B, we have that e i f = f e i , for all i.Then [GTL04, Theorem 1 and Corollary 2] implies that W is Auslander-regular (at this point we could also have used that gr(W ) is Auslander-regular).By assumption B is a noetherian domain.From this, and the fact that the standard filtration is separated, follows that gr(W ) is a noetherian domain if and only if W is a noetherian domain.Since gr(W ) is an iterated Ore extension of a noetherian domain it is itself a noetherian domain.To prove that W is a PI-algebra, we note that W is finite as a module over the commutative subalgebra B[e N 1 , e N 2 , . . ., e N n−1 ] ⊂ W . Hence we can conclude by [MR87,Corollary 13.1.3(iii)].That the ring of fractions is a division algebra follows as in the proof of proposition 4.2.
Remark 4.1.The B-algebras W are not Ore extensions in general.
We will not use the the following two results but I include them for interest's sake.Let T be a commutative ring, A an T -algebra and M a finitely generated Proposition 4.4.Let B be an admissible domain and endow W with the standard filtration (with generators in degree one).Then every finite W -module is generically free.
Proof.We have seen that gr(W ) is an Ore extension and by [ASZ99, Proposition 4.4], gr(W ) is strongly noetherian.We can now apply [ASZ99, Theorem 0.3] to conclude.
For a ring B, K 0 (B) is the Grothendieck group of projective B-modules, and Pic(B) is the Picard group, i.e., the group of locally free B-modules of rank one.
Proposition 4.5.We have and if B = o K , the ring of integers in a number field K, we have Proof.We filter W with the standard filtration with Fil 0 = B and generators in degree one.The associated graded gr(W ) is flat over B since it is an (iterated) Ore extension of B. Since W is Auslander-regular the global dimension is finite.This implies that every cyclic W -module has finite projective dimension (e.g., [MR87, 7.1.8])and so is right regular.Therefore, the first isomorphism now follows from Quillen's theorem [MR87, Theorem 12.6.13].
The isomorphism Corollary 4.6.The morphism K 0 (Z(W )) → K 0 (W ) induces a group morphism Remark 4.2.In order to explicitly transfer projectives between W and B, it would be interesting to know an explicit isomorphism between K 0 (W ) and K 0 (B).
We say that a B-algebra T is fibre-wise Cohen-Macaulay if T ⊗ B k(p) is Cohen-Macaulay for all p ∈ Spec(B).

Kummer-Witt algebras
Recall the assumption that ζ ∈ B, where ζ is a primitive n-th root of unity.We will consider a special case of the construction in section 3.2 from which all else that follow will be built.
As in section 3.2 let A be the cyclic ring extension with e i := t i and x ∈ B. Clearly, e i e j = x e {i+j mod n} .
This means that A is a Kummer extension of B. The element x ∈ B is the A-ramification divisor.This element determines a canonical subscheme in the ramification locus of a non-commutative space attached to A. Observe that x is a ramification invariant in two senses: (1) as the divisor in B over which A is ramified (i.e., p | x ⇒ p ramified); and (2) as an element giving a subscheme of the ramification locus in a certain non-commutative space.Put W is the enveloping algebra of an infinitesimal hom-Lie algebra over B of order n and so X W 1/n 0 (r) can be viewed as a noncommutative fat point of order n.
Observe that W

1/n
x (r) is a special case of the algebra W in the previous section.
Remark 4.3.The above construction globalises immediately.Let x := (U i , x i ) be a Cartier divisor on a scheme X over a base including a ζ n .Then we define an O X -algebra W 1 n x (r) by giving it locally by (4.3), with x replaced by x i .In order to keep it simple, we have opted to only write out the affine case.Every algebra, when given by generators and relations, in this paper can be globalised.Be aware, however, that the isomorphism in proposition 4.10 below cannot be sheafified.

Fibres of W
We begin by observing that the centre commutes with taking fibres The other inclusion follows since any element in Z(W Let p ∈ Spec(B) be a prime.Observe that the reduction of ζ modulo p (i.e., the image of We record the following for easy reference.
Proposition 4.8.We have the following three possibilities when reducing modulo a prime p: (1) ζ = 1, in which case we get the commutative polynomial algebra; (2) x = 0, in which case we get e i e j − ζr(j−i) e j e i , a quantum affine space; (3) and the generic case (4.4) with relations unchanged.
It is important to note that in all three cases, the reduced algebra is a domain (see proposition 4.2). Proof.Obvious.
The ring-theoretic properties of W 1/n x (r) are summarised in the following theorem.
Theorem 4.9.The algebra W 1/n x (r) satisfies the following: (i) it is an Auslander-regular, noetherian PI-domain, finite over its centre; (ii) Kdim(W (iv) it is fibre-wise a maximal order in its fibre-wise division rings of fractions; (v) every finitely generated W 1/n x (r)-module is generically free, and Proof.The point (i) follows from proposition 4.3.By definition, tr.deg of a PI-algebra S over a field is tr.deg(Z(S)).From [MR87, Proposition 13.10.6]we have x (r) /p ), we have that For a filtered ring S we have by [MR87, Lemma 6.5.6] that Kdim(S) ≤ Kdim(gr(S)), and by proposition 4.7 we have that Kdim(gr(W For noetherian prime PI-rings S we have that Kdim(S) ≤ gl.dim(S) by [RSS82, Theorem 1.7(i)], so proving (ii) and (iii).The rest follows directly from proposition 4.7 as W

1/n
x (r) is a special case of W from that section.
Remark 4.4.A natural question is to what extent the above theorem, and the results that will follow, can be extended to other ring extensions, besides Kummer extensions.

Transfer of structure
It is obviously interesting to transfer structures such as modules or subspaces of A /B to corresponding structures over W 1/n x (r).The following easy observation allows us to do just that.Write W 1/n x (r) as B{e 0 , e 1 , . . ., e n−1 }/I, with I the two-sided ideal of relations in B{e 0 , e 1 , . . ., e n−1 } from (4.3).We can construct a B-module morphism Then, if S ⊂ A is a subset, we can transfer S to W 1/n x (r) via the map ξ, to get the subset ξ(S) ⊂ W 1/n x (r).In particular, if S generates an ideal in A, ξ(S) generates a two-sided ideal in W 1/n x (r), and we can consider the quotient W Similarly, if M is an A-module over B, we have an action of e i on M via some structure morphism ρ : A → End B (M ).Via the association ξ we can transfer the action of e i on M to e i to get a morphism B{e 0 , e 1 , . . ., e n−1 } Taking the invariants of M under ρ ′ (I) we get a W 1/n x (r)-module via the induced structure morphism 4.4 The algebra Jackson algebra J x (r) When n > 2 there is a canonical subalgebra of W 1/n x (r) that we will now study in some detail.Let me remark that at some points one needs to be a bit careful when the characteristic is two.
First, notice that since x (r).However, it is more beneficial to work with an isomorphic algebra: It is easy to see that this Ore extension is isomorphic to J x (r).Notice that we have implicitly extended τ to e 1 in the proof.
The algebra J x (r) is isomorphic to the (enveloping algebra of the) "Jackson- sl 2 ", which is a q-deformation of the Lie algebra sl 2 , from [LS07].Therefore the following definition is natural.Definition 4.2.We call the algebra J x (r) the Jackson algebra (of level r) asso- ciated with the cover Spec(A) → Spec(B).If r is irrelevant for the discussion, we will often drop it from the notation.
Remark 4.5.We make the following (long) series of remarks.
(i) If n = 2 the algebra W 1/n x (r) only have two generators, so J x (r) cannot be a subalgebra in this case.Still, abstractly, it is well-defined as given by generators and relations.
However, in this case J x (r) ′ and J x (r) are not isomorphic.
(iii) The algebra defined by (4.5) is isomorphic to the down-up algebra D ζ r over B (see [BR98] for the definition) defined by the relations To see this, solve for ae 0 in (4.5) and insert in the other two relations and simplify.
(iv) If x = 0, we get, after a renaming of generators, the same relations as in (3.2) and hence a quantum A 3 .
(v) The algebras W 1/n x (r) are not Ore extensions in general.
(vi) Notice that J x (r) includes two copies of the quantum plane Q B (r) := B{t 1 , t 2 }/(t 1 t 2 −ζ r t 2 t 1 ).Hence J x (r) is constructed by "glueing" the quan- tum planes via the third relation in (4.5).
(vii) The algebra J x /(e 0 ) is the first quantum Weyl algebra.
The following deserves its own remark: Remark 4.6.Since A /B is a Kummer extension and the ramification properties of such extensions are intimately related to the divisor x, it is natural to assume that the ramification is related to the algebra J x .This is indeed the case, and one of the reasons I started this project.It will be a fundamental part of a sequel to the present paper to study this connection in more depth.
We give the relations in the cases n = 3 and n = 4.The different cases are non-isomorphic.Observe that the case r = 0 is in fact the universal enveloping algebra of a solvable 3-dimensional Lie algebra.
Example 4.2.In a sense the case n = 4 is more interesting.Recall that ζ 4 is chosen to be primitive.This means in particular that ζ 2 4 is not primitive, hence the case r = 2 is rather special.Obviously, the case r = 0 is the same for all n.
4.5 Ring-theoretic and geometric properties of J x (r)

The centre
We will use a result of A. D. Bell and S.P. Smith from [SS97].Unfortunately, as far as I'm aware, this result is not publicly available so, for completeness, I include their proof.Therefore, except for corollary 4.12, there is nothing original (apart for minor modifications) in the following section.Any mistakes are certainly my own.To be consistent with the notation in Bell and Smith's work we rearrange the last relation in J x (r) : Then σ ∈ Aut(W ) (this is part of [SS97, Lemma 3.2.2]).One sees immediately that we 1 = e 1 σ(w) and e 2 w = σ(w)e 2 for all w ∈ W . (4.7) One can easily show that J x (r) + = W [e 2 ; σ] and J x (r) − = W [e 1 ; σ −1 ] are both Ore extensions.The following proposition is part of proposition 3.2.4 in Bell and Smith [SS97].
Proposition 4.11.Put s := ord(σ).Observe that s must be such that sr is a multiple of n by the definition of σ.Then where W σ is the invariant subring under σ.
Proof.An element in J x (r) is central if and only if every term is.Let w ∈ W and consider we i 2 .Then for w ′ ∈ W we have, by (4.7), and, since J x is a domain, we i 2 commutes with all w ′ ∈ W if and only if σ i = id.We similarly see that [e 2 , we i 2 ] ⇐⇒ σ(w) = w.Suppose now that σ i = id and that σ(w) = w.Then, since J x is a domain, we i 2 commutes with e 1 if and only if e 2 e 1 we i 2 = e 2 we i 2 e 1 .(4.8) Now, e 2 e 1 we i 2 = σ(w)we i 2 = wσ(w)e i 2 and e 2 we i 2 e 1 = we i+1 2 e 1 = we i 2 e 2 e 1 = we i 2 σ(w) = wσ i+1 (w)e i 2 = wσ(w)e i 2 .
The exact same reasoning applies to we i 1 , thereby completing the proof.

From this follows:
Corollary 4.12.We have, still with w = e 1 e 2 , and so where l is the least integer such that lr ≡ 0 (mod n) and t minimal with the property that 2tr ≡ 0 (mod n).
Proof.We begin by determining W σ .First, that e m 0 ∈ W σ means that σ(e m 0 ) = ζ mr e m 0 , so mr ≡ 0 (mod n).We can thus assume that m = l, the least such integer such that lr ≡ 0 (mod n).An induction argument shows that and from this, together with σ k (e 0 ) = ζ kr e 0 , follows that the order of σ must be l.Let e l 0 w t ∈ W .Then, σ(e l 0 w t ) = σ(e 0 ) l σ(w If this element shall be invariant under σ we must thus have which, since W is a domain, is equivalent to (4.9) The trinomial identity allows us to expand the parentheses in the left-hand-side to obtain the condition From this follows that if a, b = 0, this can never occur unless t = 0.If a = b = 0, then (4.9) implies that ζ (2t+l)r w t = w t .Since lr ≡ 0 (mod n) we see that we must have 2tr ≡ 0 (mod n).Take, t minimal (possibly zero) with this property.Then proposition 4.11 shows the claim concerning the centre, thereby completing the proof.4.5.2Algebraic geometry of J x (r) Theorem 4.13.The centre of J x (r) is given fibre-wise as follows.
(i) For x = 0: Z(J 0 (r)) /p = k(p) e l 0 , e l 1 , e l 2 , w t , where l is the least integer such that lr ≡ 0 (mod n) and t minimal with the property that 2tr ≡ 0 (mod n), i.e., t is minimal such that 2tr is a multiple of n.
In both cases we have (iii) J x (r) is an Auslander-regular, noetherian, fibre-wise Cohen-Macaulay do- main, finite as a module over its centre and hence a polynomial identity ring (PI) of pideg(J x (r)) = n; (iv) J x (r) is a maximal order in its division ring of fractions; (v) K 0 (J x (r)) ≃ K 0 (B); (vi) Spec(Z(J x (r))) is a normal, irreducible scheme of dimension three, for all x.
(vii) Spec(Z(J x (r))) is in addition fibre-wise Cohen-Macaulay in the commutative sense, i.e., is a Cohen-Macaulay scheme for all p ∈ Spec(B) and all x.
Proof.Properties (i) and (ii) is included in corollary (4.12).Continuing with (iii), the same argument as in the proof of proposition 4.2 shows that J x (r) is finite over its centre, and from this follows that J x (r) is PI by [MR87, Corollary 13.1.13(iii)]and [MR80, Proposition V.2.3] once again shows that it is a order in its division ring of fractions (as in proposition 4.2 again).Since J x (r) is an iterated Ore extension over a noetherian domain, it is Auslander-regular and a noetherian domain itself.
As for the pi-degree, it looks at a first glance like the rank of J x (r) over its centre is n 3 , which it obviously cannot be (it must be a square).On the other hand, on closer inspection of the relations involved, we see that e 0 can be eliminated from J x (r) over Z(J x (r)).Hence we effectively only have two generators, and so pideg(J x (r)) = n also in this case.
Part (v) follows by the same argument as in proposition 4.5 and part (vi) follows from [MR87, 5.1.10b(i)] and (iv) above.That the dimension is three is a consequence of [MR87, Proposition 13.10.6].Finally, when x = 0 the claim concerning the Cohen-Macaulayness in (vii) follows from [CPWZ16, Lemma 2.2] and the case x = 0 is obvious by (ii).
Corollary 4.14.With the notation as above: (i) The algebra J x (r) is finite as a module over k(p) e l 0 , e l 1 , e l 2 .
(ii) Hence, the ring extension k(p) e l 0 , e l 1 , e l 2 ⊆ Z(J x (r)) is finite, and consequently the morphism ψ : Spec Z(J x (r)) → A 3 (l) := Spec k(p) e l 0 , e l 1 , e l 2 is finite as a morphism of schemes.We put l in the notation to indicate that we have a weighted version of the affine three-space.
(iii) Any maximal ideal M in J x (r) intersects the centre uniquely at a maximal ideal m.
(iv) In the other direction, any maximal m in k(p) e l 0 , e l 1 , e l 2 splits into i maximal ideals in J x (r), where 1 ≤ i ≤ m and where m is the rank of J x (r) as a module over k(p) e l 0 , e l 1 , e l 2 .
Proof.The first claim is clear from the theorem and the rest then follows from (i).
It is in fact quite easy to find an explicit presentation of the scheme in theorem 4.13 (i).
Theorem 4.15.Put u i := e l i for 0 ≤ i ≤ 2, and u 3 := w t .Then where a is the minimal integer such that tr = an.From this also follows that t = l and that r and a cannot both include a factor 2. The integer a is uniquely determined by n and r.
Proof.A simple induction argument shows that w k = ζ k(k−1)r e k 1 e k 2 , for all k ∈ N. Recall that t is the minimal integer such that 2tr ≡ 0 (mod n) ⇐⇒ 2tr = sn, for some s.We must have that s = 2a for some a, since otherwise u 1 and u 2 are not defined (we lose commutativity).Therefore tr = an and so, w tr = ζ tr(tr−1)r e tr 1 e tr 2 ⇐⇒ (w t ) r = ζ an(an−1) e an 1 e an This also proves that t = l by minimality of t and that r and a cannot both include a factor 2, since otherwise the centre would not be a domain.
It is now easy to convince oneself of the validity of the following corollary: Corollary 4.16.Let X r be the family of affine surfaces The surface X r furthermore satisfies: (i) X 1 is a regular and rational.
(ii) X r , for r > 1, are ramified r-covers of A 2 , with branch locus the coordinate axes u 1 = u 2 = 0, and singular at the origin.
Observe that Spec Z(J 0 (r)) /p is a trivial A 1 -fibration for all r and that a is uniquely determined by r and n.
We can also prove that the singularities in the above corollary are rational: Theorem 4.17.Let K be a field of characteristic zero and let J x (r) al /K be the base change J x (r) /K ⊗ K K al of J x (r) /K to the algebraic closure K al .Then Spec Z(J x (r) al /K ) has rational singularities for all x.Hence J x (r) has rational singularities on the generic fibre over Spec(B) (recall that B is a domain).
Proof.When x = 0 the centre is A 3 (with some weight) by theorem 4.13 (ii) so we can assume that x = 0.
We know that J x (r) al /K is Auslander-regular and Cohen-Macaulay by theorem 4.13(iii).This implies that J x (r) al /K is homologically homogeneous (which we won't define here) by [Yi95, Corollary 3.8(ii) and Note 3.5(i)].Note that for affine pi-algebras, being Macaulay (as is discussed in this reference) is equivalent to being Cohen-Macaulay, and being Macaulay implies being locally Macaulay.
Now the main theorem of [SVdB08] implies that Z J x (r) al /K has rational singularities.
There's probably an easier way to show rationality, simply by looking at the coordinate ring.Also, it could be that the singularities are rational even before going to the algebraic closure.

Geometry of X J
Even though we haven't formally defined what should be meant by a "noncommutative scheme", we will use the language of schemes in what follows.The following is a "soft" definition of a non-commutative scheme.For the rigorous definition see [Lar23].
Let A be a B-algebra, where B is a commutative ring.Then we define the non-commutative scheme or non-commutative space of A to be We often identify M with its annihilator.
Let M := {M 1 , M 2 , . . ., M r } be a family of A-modules.Then the tangent space of X A at M is the collection of Ext 1 -groups The tangent space T M controls the simultaneous non-commutative deformations of the modules, as a family.
The ring object O A , which we simply have put equal to A here, is actually built from T M via matric Massey products, by taking the projective limits over all families of A-modules.See [ELS17] or [Lar23].For simplicity we view O A as a global object rather than the as a local object which it actually is.Hence the assignment O A := A. Definition 5.1.Suppose A is a K-algebra with K a field, L/K a field extension and M an L-vector space.Then an L-rational point on X A is a K-linear algebra morphism ρ : A → End L (M ) such that ker ρ is a maximal ideal.The set of all L-rational points are denoted X A (L).

A family of divisors of degree 2
Let B be a commutative Dedekind domain with (a) The elements defines a family of normal elements in J x (r), parametrised by A 3 .
(c) Hence, we can view Ω a as defining a flat family of non-commutative quadric surfaces Y a := X Jx(r)/ Ωa embedded in X Jx(r) and parametrised by a ∈ A 3 .
(d) The spaces Y a (i.e., the algebras J x (r)/ Ω a ) are Auslander-regular for all a ∈ A 3 .
Proof.Straightforward (but long) computations show (a) and (b) and then point (c) follows directly from definition.It is well-known that a quotient of an Auslander-regular algebra by a normal element is Auslander-regular, showing (d).
The intersection with the centre, i.e., the image of φ, is given by the (commutative) quadric family with u 0 := e l 0 , u 1 := e l 1 and u 2 := e l 2 , l being the least integer such that lr = n.This means that we have a fibration Notice that P a := Spec Z(J x (r))/ Z(Ω a ) is an affine quadric, and Y a is an non-commutative space over this surface, defined by the order J x (r)/ Ω a .The quadric P a is the "commutative shadow" of Y a .
Remark 5.1.If Ω a ′ and Ω a ′′ are two normal elements in the above family, then Ω a ′ Ω a ′′ is also a normal element.Therefore, it is possible to construct more complicated subspaces (of higher degree) from elements in the family Ω a .

Geometric and arithmetic fibres
There is an important distinction to make concerning the notion of "fibre" in the non-commutative context.Let A be an R-algebra with R ⊆ Z(A).Contraction of prime ideals defines a morphism α : X A → Spec(R).
Let p ∈ Spec(R).We can then talk of the "fibre of α over p" as In the context of PI-algebras there are two types of fibres depending on whether p ∈ azu(A) or p ∈ ram(A).If p ∈ azu(A), then A /p := A ⊗ R k(p) is a central simple algebra over k(p) and so X A /p is one simple module as, both A /p -module and A-module.
On the other hand, if p ∈ ram(A), the "fibre algebra" A /p is not central simple.However, it is certainly artinian so A /p /rad(A /p ), where rad is the Jacobson radical, is semi-simple and A /p and A /p /rad(A /p ) have the same simple modules.The point here is that, even if p ∈ ram(A), it can happen that A /p /rad(A /p ), and hence also A /p , only has one simple module.This apparent contradiction is resolved by being careful what algebra we mean: there is only one simple module of A /p as A /p -module, but as A-module there are more.
Therefore, when we speak of "fibre" when need to be careful what we mean: do we mean the points of α −1 (p) as A-modules or as A /p -modules.We say that α −1 (p) = X A /p is the geometric fibre at p, i.e., we view α −1 (p) as a set of A /p -modules; the set is the arithmetic fibre.By the fibre of A at p, we mean the algebra A /p = A ⊗ R k(p).

Ramification over a central subalgebra
Suppose now that A is a PI-algebra, finite over a central subring R and consider the inclusions We say that A is ramified over R if either f is a ramified map (i.e., the extension Here we see that slightly unfortunate clash between the algebraic-geometric and the PI-theoretic notions of ramification.Notice that, even if p ∈ azu R (A) there can be more than one prime of A over p since the p might split in Z(A).

The fibres
For the rest of this section we work over a field B = K.Recall the assumption that ζ ∈ K is primitive.It is important to note that we, to simplify the discussion, now only consider the case r = 1.Hence l = n and we write .
The characteristic p of K is arbitrary.We begin by recalling that a symbol algebra or cyclic algebra (see e.g., [GS06, Corollary 2.5.5]) over a field K (or a commutative ring) is an algebra (a, b) ξ with generators x and y such that with n invertible in K (in particular n = p).Symbol algebras are central simple algebras.
The actual construction goes as follows.Let L be the cyclic extension Le i , with e n = c and et = σ(t)e = ξte. (5.1) Clearly this is the quotient of the Ore extension K[t]/(t n − a) [e; σ] by the central element e n − c.From [GS06, Exercise 4.10] we have that where Nm is the ordinary norm function Nm : L → K.It also turns out that L is a splitting field for (a, b) ξ , i.e., (a, b) ξ ⊗ K L ≃ M r (L) for some r ≥ 1.Put , Z := Spec(Z(J x )), A 3 (n) := Spec(Λ) and denote by ψ the scheme morphism induced by restriction of primes.Remember that ψ might actually be the identity in some cases, depending on Z.
Pick a maximal ideal in Λ.The fibre (as algebra) of J x over m is .
Recall from remark 4.5(6) that J x includes two copies of the quantum plane ] (if we use x and y as generators for Q K ) and that ram(Q K ) is the union of the coordinate axes.Hence reduction modulo a maximal ideal m ′ ∈ Max(Z(Q K )) gives an algebra of the type (5.2) In fact we can consider this from another angle.Indeed, we can view (a, b) ζ as the fibres over azu(Q K ) of the inclusion the fibres (a, b) ζ become non-commutative fat points (and certainly not central simple).Consider the following diagram of inclusions of algebras where Q 1 and Q 2 are the quantum planes and The point is that this diagram parametrises cyclic algebras over K and Brauer classes.Furthermore, this includes a non-commutative family of central simple algebras.
First of all, we have seen in (5.2) that the centre Z(Q K ) of a quantum plane parametrises cyclic algebras by its very construction.The previous two propositions give information on this parametrisation by extending the centres Z(Q 1 ) and Z(Q 2 ) to the central algebra Λ.(b) In addition: (c) Let M ∈ Max(J x ) be such that m := M ∩ Λ ∈ azu Λ (J x ) and assume that k(M ∩ Z(J x )) = k(m).Then there are two canonical central simple algebras where per(A) denotes the period (i.e., the order of the class of A in Br(K)) of the K-central simple algebra A. This implies that J x parametrises cyclic algebras and Brauer classes in Br(k(m)).
Proof.(a) We observe that there are two symbol algebras as subalgebras inside J m .Namely, (a, b) ζ and (a, c) .
The reason for the addition of "at least" in the claim, is that, as we remarked, even if m ∈ azu Λ (J x ), there might be more than one fibre of J x over m depending on the splitting of m inside Z(J x ).
(b) The claim follows from the above discussion of symbol algebras above, and from the equivalence for simple F -algebras A and B.
(c) Take a maximal ideal M in J x and assume that k(M ∩ Z(J x )) = k(m), with m := M ∩ Λ.Then J x /M is a central simple algebra over k(m).Let and we can extend the fibres to k(m): Turning now to the case when abc = 0, we have already found that the algebra J m is not simple and so m ∈ ram Λ (J x ).Therefore we see that For instance, over the {u 0 = 0}-part of ram Λ (J x ), we find by the central maximal ideal (v l −b, w l −c), where l is the least integer such that 2l is a multiple of n.It is known (see e.g., [Irv79, Theorem 6.2]) that localising A 1 (ζ 2 ) /k(m) at a certain central element, ω, gives an Azumaya algebra.Therefore, the ramification locus in Z A 1 (ζ 2 ) /k(m) is the zero set of this element.In fact, this ω gives the hyperbola vw = (1 Clearly, if ζ 2 = 1, the algebra J m /(e 0 ) is a (commutative) zero-dimensional subscheme embedded into A 2 .
The cases b = 0 and c = 0, both of which are interchangeable, are more subtle (and to be honest, I don't quite understand everything here myself).First recall that for any artinian algebra A, A and its semisimple quotient A/rad(A) have the same simple modules.Let m = (e n 0 − a, e n 1 , e n 2 − c) and look at J m = J x /m.The radical of J m is (e 1 ) so J m and J m /(e 1 ) have the same simple modules and we have a surjection .
Assuming first that x = 0, this clearly means that J m /(e 1 ) only have the onedimensional simple module defined by (5.5) Hence the only simple J m -module is also M , with e 1 acting as b = 0 on u.
Observe that this is independent on a and c: regardless of the values of a and c, the action of J m on M is given as above.This also implies that M is a simple one-dimensional J x -module via the composition J x ։ J m ։ J m /(e 1 ).If x = 0, we get the symbol algebra (a, c) ζ , which is central simple.
The point of the above discussion is that even though there are several maximal ideals (simple modules) of J x above m ∈ ram R (J x ), the algebraic fibre J m has only one simple module M , which is also then a simple module of J x .
We summarise the discussion above in the following proposition.When x = 0, the fibre J m has the simple module given by (5.5), which is also a simple module for J x .In the case x = 0, the simple module is the simple module of (a, c) ζ .
We end this section with an example meant to inspire the reader to go where I dare not at this point.
Example 5.1.The following situation should be worth pondering in some detail in view of the interest of Brauer groups and division algebras over surfaces (see for instance [Sal08]).
Let j Z : S Z → Spec(Z(J x )) be a closed immersion, where S Z is a twodimensional normal subscheme of Spec(Z(J x )).The induced morphism over A 3 (n) = Spec(Λ) is denoted j : S Λ → A 3 (n) .The sheaf J x over Spec(Z(J x )) and A 3 (n) has pull-backs j * Z J x and j * Λ J x over S Z and S Λ , respectively.The algebras j * Z J x and j * Λ J x are maximal orders in j * Z J x ⊗ S Z K(S Z ) and j * Λ J x ⊗ SΛ K(S Λ ).Now, propositions 5.2 and 5.3 seem to give interesting information concerning the Brauer groups at the different points of the surfaces S Z and S Λ .This certainly includes the generic points.The reader is invited to examine this in more detail.
6 Rational points on X J x (r) From now on, unless explicitly stated otherwise, we assume that B is a field K such that K ⊃ µ n .We begin by looking at the "commutative points".

The locus of one-dimensional points and its infinitesimal structure
Let K ⊆ L be a field extension.A one-dimensional representation P = L • u must come from a maximal ideal M in J x (r) and P = J x (r)/M.Since L is a field, the ideal M must include the ideal generated by the commutators of e 0 , e 1 and e 2 .Assume ζ 2r = 1.Then the relations reduce to This implies that x(e 0 + (1 − ζ 2r )) = 0 so, if x = 0, we have that (ζ 2r − 1, 0, 0) is a one-dimensional module.In addition, the conic (hyperbola) C x given by e 1 e 2 = x in the plane e 0 = 0 consists entirely of commutative points (i.e., onedimensional modules).When x = 0, we find that the one-dimensional modules lie on the union of the coordinate axes.Consider first when char(K) = 2.When x = 0 we get that the plane {e 0 = 0} consists entirely of one-dimensional points.On the other hand, when x = 0, we get the union of the coordinate planes.Now, if char(K) = 2, we get, when x = 0, the plane {e 0 = 0} and, if x = 0, the whole A 3 /K .
Put u 1 := e n 1 and u 2 := e n 2 .The restriction, Z(C x ), of C x to the centre is then given by the equation u 1 u 2 = x n and a point Observe that This then means that Z(C x ) lies in the ramification locus.
Be sure to note that the divisors Y a , for all a with a 0 = a 1 , intersect the {e 0 = 0}-part of the ramification locus along C x .
We will now compute the tangents between the one-dimensional modules.From now on we will for simplicity only consider the case r = 1 and leave it to the reader to insert r at the appropriate places.Therefore, put J x := J x (1).Remark 6.2.The Ext-computations below are done in the Hochschild complex.Recall that for an K-algebra R we have the following isomorphisms where HH 1 is the Hochschild cohomology functor and Ad is the subgroup of Der(R, Hom(M 1 , M 2 )) of inner derivations.
Put P 1 := J x /M 1 and P 2 := J x /M 2 , with M 1 , M 2 lying over m ∈ Max(Z(J x )), are both one-dimensional over L. It is easy to see that e 0 must act as zero on any one-dimensional module.Therefore, we put and similarly P(e, f ) := P 2 .Furthermore, put where we chose v as basis for P(e, f ).
Assume first that x = 0.The relations of J x must map to zero in the group Hom L P(b, c), P(e, f ) .This gives restrictions on the set {b, c, e, f, ∆ 0 , ∆ 1 , ∆ 2 }.A small computation shows that these restrictions are: • ∆ 0 = 0.
• b = ζe, and if f = ζc we get one free parameter; if not, we find that ∆ 1 and ∆ 2 are both free.
• b = ζ 2 e: here we get that and ∆ 2 are both free, otherwise only ∆ 2 is free.
• By symmetry we can switch (b, e) and (c, f ) and get the same result.
As for the inner derivations Similar reasoning yields the case x = 0: Proposition 6.2.When x = 0 and ζ 2 = 1, the Ext 1 -groups are The cases when ζ 2 = 1 are more complicated since we then need to handle the case of characteristic two separately.Analogous computations as above gives the following propositions.(ii) char(K) = 2: here Ext 1 A P(b, c), P(b, c) = L 3 and zero otherwise.
The above propositions determine the tangent space T {P(b,c),P(e,f )} .
where the second equality follows since e 0 e 1 + I = ζ r e 1 e 0 + I = ζ r e 1 a+ I. Also, with the actions (6.4) and (6.5).We see that when x = 0, we get e 2 • v i = 0, for all i = 0. Observe that the torsion points are defined already over K.
The above discussion proves the following proposition.
Proposition 6.5.Given (d, r) ∈ Z 2 >0 , the element a is uniquely determined and so for each distinct choice (d, r) there is exactly one torsion module up to isomorphism.In other words, for each pair (d, r) ∈ Z 2 >0 there is a unique e 1 e 2 -torsion point in X Jx (K) and all torsion points are K-rational.

Torsion-free points
To determine the e 1 -and e 2 -torsion-free modules we proceed as follows.Take m = (f ) ∈ Max(K[e 0 ]) such that τ d (m) = m, with d ∈ Z >0 minimal with this property.Let L be the splitting field of f and a ∈ L such that f (a) = 0. Put Observe that e 0 w = we 0 so K[e 0 ][w] is a commutative subalgebra of J x (r).Let f = r i=0 f i e i 0 be a generator for m.Then, recalling that τ (e 0 ) = ζ −r e 0 , we get from which it follows that There are two distinct cases to consider, giving simple e 1 -torsion-free J x (r)- modules: (1) b = 0.Here τ d (M 0 ) = M 0 and we define M (m, c) := J x (r) J x (r)(M 0 , e d 1 − c) ( In both cases the actions are given by formulas (6.6)-(6.9).
There is an obvious e 1 -e 2 -symmetry which gives that the same construction yields the e 2 -torsion-free modules M ′ (m, c) and M ′ (m, b, c), as well.
When K = K al , the above construction is a complete classification of simple finite-dimensional modules of J x (r) up to isomorphism.When K is not alge- braically closed there are finite-dimensional simple modules not isomorphic to one in the above families (in other words, a module, simple over K, might reduce over K alg ; there are "more" simple modules over K al than over K).Studying how modules degenerate into families is actually quite subtle and should definitely be studied further.
We have already discussed the torsion-case above, so we now focus on the torsion-free situation.First, Example 6.2.The commutative points in section 6.1 is gotten with a = 0 and d = 1.In other words, e 0 is a factor in f .Remark 6.3.We make two remarks here.
A necessary condition for the associated module to be isomorphic to one in the above family is that 3 √ t 0 ∈ L. The same remark can be given for e 2 .But notice that e 1 is already given on the correct form.Switching to the e 2 -torsion-free versions, we get that e 2 is on the correct form.
However, if 3 √ t 0 / ∈ L then ρ t is not isomorphic over L to a module in the family.To get an isomorphism we need to extend to L( 3 √ t 0 ).The same applies to e 2 and t 2 .Therefore, over the field K (2) := L[L 1/3 ], every module is isomorphic to a (unique) module in the family.The same remarks apply to the general case of arbitrary n.
(ii) Another thing worth remarking upon, is that in the construction above, we started from a commutative algebra and used induction to bigger rings and constructing modules along these inductions.In this process we have not used the possibility that some power of e 0 is torsion, without e 0 being torsion.The arguments in [Jor95] show that any module, e 0 -torsion or not, is isomorphic to one in the above families over K al (clearly, it must be torsion with respect to some element, though).However, this might not be true over fields which are not algebraically closed.
However, M i := M (m 0 , ζ 3 , ζ i 3 • 2), i = 1, 2, are also two modules contracting to P .Hence the arithmetic fibre over P is Notice that these modules are non-isomorphic over K al since they are distinct points in the family.Therefore they are non-isomorphic also over K.
(By m 0 we mean the 2-sided ideal generated by m 0 .)The support of X Jx/ m0 is the point corresponding to the symbol algebra (ζ 3 , 9) ζ3 (which is simple and so has only one simple module).After a, not quite trivial, computation one finds giving us the tangent structure of X Jx over P ∈ Specm(Z(J x )).
Proposition 5.2.Let m be the maximal ideal m := m(a, b, c) ∈ azu Λ (J x ), with a, b, c ∈ k(m) such that abc = 0, and put L := k(m)[t]/(t n − a).Then the following statements hold.(a) There are at least two symbol algebras (a, b) ζ and (a, c) ζ in J m .These are non-isomorphic unless c/b ∈ Nm(L).

and similarly with Q 2
to get (a, c) ζ,/k(m) .Observe that the extension to k(m) might split (a, b) ζ,/k(m) or (a, c) ζ,/k(m) (or both).It is well-known that (a, b) ⊗ (a, c) ≃ (a, bc) (e.g., [GS06, Ex. 4.10(a)]) and that cyclic algebras are n-torsion in the Brauer group.Hence (5.3) follows.Since J x /M is central simple over k(m) and has order per(J x /M) the tensor product is lcm n, per(J x /M) -torsion in Br(k(m)).The proof is complete.

L
) b = 0.Here M b is periodic since ζ 2r is a root of unity.The order of M b is s = lcm(d, l), with l the least integer such that (ζ 2r ) l = 1.Define M (m, b, c) := J x (r) J x (r)(M b , e s 1 − c) • v i .
this follows that R is PI by [MR87, Corollary 13.1.13(iii)].The last claim, that R is a maximal order in its quotient ring of fractions, follows from [MR80, Proposition V.2.3] since R is prime (every Ore extension over a domain is a domain, hence prime).This is a division ring since R is an Ore domain by [MR87, 2.1.15]together with (i) above, and the claim then follows by [MR87, 2.1.14].Proposition 4.3.The B-algebra W is an Auslander-regular, noetherian PIdomain.Consequently the ring of fractions is a division algebra.