Picard schemes of noncommutative bielliptic surfaces

We study the nontrivial elements in the Brauer group of a bielliptic surface and show that they can be realized as Azumaya algebras with a simple structure at the generic point of the surface. We go on to study some properties of the noncommutative Picard scheme associated to such an Azumaya algebra.


Introduction
According to Enriques' classification of smooth complex algebraic surfaces, the surfaces with Kodaira dimension zero can be divided into four classes: K3 surfaces, Enriques surfaces, abelian surfaces and bielliptic surfaces, see [20].
The study of moduli spaces of sheaves on surfaces with Kodaira dimension zero gave rise to a lot of interesting results, for example the construction of hyperkähler varieties, that is irreducible holomorphic symplectic manifolds, of higher dimension.But it seems that the case of bielliptic surfaces was not studied extensively in this direction.
This situation changed recently.On the one hand, Nuer studied stable sheaves and especially possible Chern characters of stable sheaves on bielliptic surface in detail, see [13].On the other hand, building on Beauville's work in the case of Enriques surfaces in [4], Bergström, Ferrari, Tirabassi and Vodrup studied the so-called Brauer map for bielliptic surfaces in [9].
In this article we want to combine both directions by studying a certain version of noncommutative Picard schemes.Here we think of a noncommutative variety as a pair (X, A) consisting of a classical complex algebraic variety X and a sheaf of noncommutative O X -algebras A of finite rank as an O X -module.The algebras of interest in this article are Azumaya algebras.These are locally isomorphic to a matrix algebra M r (O X ) with respect to the étale topology and they are classified by the Brauer group Br(X) of X.
A noncommutative Picard scheme Pic(A) is the moduli scheme M A/X of certain sheaves on X, which have the structure of a left A-module.These moduli schemes were constructed by Hoffmann and Stuhler in [11].
In this article we study the situation of noncommutative bielliptic surfaces.The main results of this article can be summarized as follows: Theorem.Let X be a bielliptic surface such that the Brauer group is nontrivial.Then every nontrivial element in Br(X) can be represented by an Azumaya algebra A that is a generically central simple cyclic division algebra.
Let (X, A) be a noncommutative bielliptic surface defined by such an algebra.If the Brauer map of X is injective then we have: i) The noncommutative Picard scheme Pic(A) is smooth.ii) Every torsion free A-module of rank one can be deformed into a locally projective Amodule, that is the locus Pic(A) lp of locally projective A-modules is dense in Pic(A).
Let X be the canonically covering abelian surface and denote the pullback of the Azumaya algebra to X by A, then Pic(A) has a symplectic structure.For fixed Chern classes c 1 and iv) The subscheme Y is Lagrangian if and only if the canonical cover of X has degree two or dim(Pic(A) Most results in this article are direct counterparts or have immediate generalizations from the case of noncommutative Enriques surfaces studied in [16].But some results are new due to new phenomena on bielliptic surfaces, for example Brauer classes of order three.In this article we work over the field of complex numbers C.

Modules over an Azumaya algebra and cyclic Galois coverings
In this section we generalize the results of [16, Section 1] from étale double covers to arbitrary cyclic étale Galois covers.So denote by W a smooth projective variety of dimension d together with a nontrivial n-torsion line bundle L, that is n is the order of L in Pic(W ).By [2, I.17] there is a cyclic étale Galois cover (1) q For every coherent sheaf E on W we denote by E the pullback of E to W along q.
Definition 1.1.A sheaf of O W -algebras A is called an Azumaya algebra if • A is locally free of finite rank and • for every point w ∈ W the fiber A(w) is a central simple algebra over the residue field C(w).Furthermore a coherent O W -module E is said to be an Azumaya module or an A-module if E has the structure of a left A-module.
Azumaya algebras on W are classified up to similarity by the Brauer group Br(W ).
Here similarity for two Azumaya algebras A and B is defined as follows: where E and F are locally free O W -modules of finite rank.
We say A quick computation shows that A is trivial if and only if A ∼ = End W (P ) for some locally free sheaf P of finite rank.From now on, if not otherwise stated, an Azumaya algebra A is always a nontrivial Azumaya algebra such that A is also nontrivial.The rank of an Azumaya algebra A is always a square so it makes sense to define the degree of such an algebra by: deg(A) := rk(A).
Using (1), the proof of [16,Lemma 1.4] immediately gives: Lemma 1.2.Assume E and F are A-modules, then Applying Lemma 1.2 to the case F = E we find: We also have the following variant of Serre duality, see [11,Proposition 3.5.]:Proposition 1.4.Assume E and F are A-modules, then for i 0 there are isomorphisms In the case of surfaces, that is dim(W ) = 2, we find similar to [16, Lemma 1.7]: Recall that the relative automorphism group of the étale cyclic Galois cover q : W → W is generated by a covering map ι of order n: As the group Aut(W /W ) is cyclic, the descent condition for a coherent sheaf F on W , see [19, Lemma 0D1V], reduces to the existence of an isomorphism ϕ ι : F → ι * F such that the map: Hence after multiplication with an appropriate scalar ϕ ι satisfies the descent condition and F descends, that is F ∼ = E for some coherent O W -module E. This standard result can be generalized to the noncommutative situation: Theorem 1.6.Assume F is a simple A-module with an isomorphism F ∼ = ι * F of Amodules, then there is an A-module E and an isomorphism of A-modules F ∼ = E.
The proof of this theorem is the same as the proof of [16,Theorem 2.6].One uses the Brauer-Severi varieties p : Y → W and p : Y → W associated to A and A. By functoriality of the Brauer-Severi variety and/or the functoriality of the étale cyclic Galois cover (as a relative spectrum) we get a morphism q : Y → Y .
The idea is to reduce the question about descent of A-modules on W to a descent argument for classical O Y -modules on Y .This works out well, as the morphism q : Y → Y is also a cyclic étale Galois cover.It is induced by the n-torsion line bundle p * L. The last fact follows from the injectivity of p * : Pic(W ) → Pic(Y ), which in turn follows from the projection formula and It is well known that each such surface is of the form where E and F are elliptic curves and G is a finite abelian group.G acts via where we understand G ⊂ E as a finite subgroup and Ψ : G → Aut(F ) is an injective group homomorphism.That is E/G is again an elliptic curve and F/G ∼ = P 1 .Furthermore ω X ∈ Pic(X) is a torsion element of order n with n ∈ {2, 3, 4, 6}.Using this structure theorem Bagnera and de Franchis were able to classify all bielliptic surfaces.In fact, each such surface belongs to one of seven families, which can be found in the following table, see for example [2, V.5] or [3,List VI.20 Remark 2.2.The Brauer group of a bielliptic surface can be found as follows: first note that according to [5, Proposition 4] there is an isomorphism Br(X) ∼ = H 3 (X, Z) tor .
Poincaré duality identifies the last group with H 1 (X, Z) tor .But these groups were, for example, computed by Serrano in [18, Page 531, Table 3].
The table shows that we only need to work with bielliptic surfaces of type 1, 2, 3 and 5 in the following, since we are interested in nontrivial Azumaya algebras.
Next we want to study the nontrivial elements in the Brauer group of a bielliptic surface.For this we start with a field K.A central simple K-algebra A is called cyclic if A contains a strictly maximal subfield ֒→ A, such that L is a cyclic Galois extension of K.Here L is called strictly maximal if [L : K] = deg(A).These algebras are special cases of so called crossed products and have the fairly simple description A = L[t, σ]/(t n − a), where L[t, σ] is the skew-polynomial ring defined by a generator σ ∈ Gal(L/K), a ∈ K × and n = deg(A), see for example [14,Chapter 15] or [7, Part II: Sections 9 and 10].
If K contains a primitive n-th root of unity ζ and char(K) ∤ n, then cyclic algebras can also be described as n-symbol algebras, see [ Proposition 2.3.The nontrivial elements in the Brauer group of a bielliptic surface X can be represented by Azumaya algebras A on X that are generically central simple cyclic division C(X)-algebras such that Proof.Looking at the list of types of bielliptic surface, we see that a nontrivial element b ∈ Br(X) has order two or three.As X is smooth by [6, Théorème 2.4.] the restriction to the generic point η gives an injection r η : Br(X) ֒→ Br(C(X)).
So the image r η (b) has order two respectively three in Br(C(X)).
Since every class in Br(C(X)) contains (up to isomorphism) a unique division algebra, see [14, 12.5.Proposition b], we may assume that r η (b) is represented by a central simple division algebra A. By a result of Artin and Tate, the division algebra A has index two respectively three as C(X) has transcendence degree two over C, see [1,Appendix].It remains to note that the index of A is nothing but its degree, since A is a division algebra.
Due to Köthe's theorem, see [7, Page 64], a division algebra over a field K contains a maximal subfield L such that L/K is separable.But maximal subfields in a division algebra are strictly maximal by [14, 13.1 Corollary b].Thus if deg(A) = 2 then A contains a strictly maximal subfield L with [L : C(X)] = 2, hence L/C(X) is cyclic Galois and so A is cyclic.The fact that a division algebra of degree three is cyclic is a classical result due to Wedderburn, see [14, 15.6.].
As the class [A] = r η (b) comes from Br(X) it is unramified at every point of codimension one in X, and thus by [6, Théorème 2.5.]there is an Azumaya algebra A on X with Since the canonical bundle ω X ∈ Pic(X) is n-torsion, it induces a cyclic étale Galois cover π : X → X of degree n, the so called canonical cover.This cover satisfies the property ω X ∼ = ω X = O X .It is known that X is an abelian surface.More exactly, if X = (E × F )/G then we see by [9, 2.2.]: The canonical cover induces a morphism π * : Br(X) → Br(X), the so called Brauer map.A natural question is, if the Brauer map is injective.Bergström, Ferrari, Tirabassi and Vodrup give a complete answer to this question in [9].It turns out that the answer is quite complicated and subtle in some cases and the results are not easily stated.Here we only record one example of these results, because it resembles most the case of Enriques surfaces found by Beauville in [4], see [9, Theorem 5.3.]:Theorem 2.4.Let X be a bielliptic surface with X = (E × F )/G.If the elliptic curves E and F are not isogenous, then the morphism π * : Br(X) → Br(X) is injective.
Since the property that two elliptic curves E and F are not isogenous is very general in the moduli of these curves, a very general bielliptic surface (in some "moduli" sense) has injective Brauer map.Thus if X is a bielliptic surface with injective Brauer map then the pullback A on X of an Azumaya algebra A constructed in Proposition 2.3 represents a nontrivial class in Br(X).

Noncommutative Picard schemes and deformations
In this section we first start more generally with a smooth projective d-dimensional variety W and an Azumaya algebra A on W .We can think of the pair (W, A) as a noncommutative version of W .We want to study moduli schemes of sheaves on such noncommutative pairs.Definition 3.1.A sheaf E on W is called a generically simple torsion free A-module, if E is a left A-module such that • E is coherent and torsion free as a O W -module • the stalk E η over the generic point η ∈ W is a simple module over A η .If A η is even a central simple division algebra over C(W ) then such a module is also called a torsion free A-module of rank one.Remark 3.2.An A-module is locally projective if and only if it is locally free as an O W -module.If A η is a central simple division algebra then locally projective A-modules of rank one can be thought of as line bundles on the noncommutative variety (W, A).Furthermore a generically simple torsion free A-module is simple, see the argument after Remark 1.1.in [11].
By fixing the Hilbert polynomial P of such sheaves (with respect to a chosen ample line bundle), Hoffmann and Stuhler showed that these modules are classified by a moduli scheme, see [11,Theorem 2.4.iii), iv)]: Theorem 3.3.There is a projective moduli scheme M A/W,P classifying generically simple torsion free A-modules with Hilbert polynomial P on W .
According to [11,  By the remark above M A/W can be understood as the Picard scheme Pic(A) of the noncommutative variety (W, A) in case the generic stalk is central simple division algebra.We also note the following useful facts: Remark 3.4.For a torsion free A-module E of rank one on X, the A-modules E * * and E ⊗ L for L ∈ Pic(X) are also torsion free of rank one.In addition E is a torsion free A-module of rank one on X since π is flat.
We want to study these moduli schemes for a noncommutative bielliptic surfaces (X, A) with injective Brauer map.
Since the nontrivial elements in Br(X) can be represented by Azumaya algebras which are generically central simple division algebras, we can work with torsion free A-modules of rank one in the following.Note that the O X -rank of a torsion free A-module of rank one E is We can now state the main result of this section, whose proof is literally the same as for [16,Theorem 4.10].Theorem 3.5.Let (X, A) be noncommutative bielliptic surface with injective Brauer map.
i) The moduli scheme M A/X of torsion free A-modules of rank one is smooth.ii) Every torsion free A-module of rank one can be deformed into a locally projective A-module, that is the locus M lp A/X of locally projective A-modules is dense in M A/X .
iii) For fixed Chern c 1 and c 2 we have Remark 3.6.Part (2) of Theorem 3.5 is a new phenomenon in the noncommutative case.As noted in [11,Remark 1.6], in the classical case A = O X just torsion free and locally projective generically simple A-modules lie in different connected components of the moduli scheme.The reason is that locally projective A-modules do not satisfy the valuative criterion for properness if A is nontrivial.That is the reason why one has to allow for just torsion free A-modules to get a proper noncommutative Picard scheme Pic(A).

Lagrangian subschemes
Let ι : X → X still be a generator of Aut(X/X).This map induces an automorphism Moreover, using Remark 3.4, the projection π : X → X induces a morphism where M A/X,c 1 ,c 2 is the corresponding moduli scheme on the associated canonical cover.By [11, Theorem 3.6.],the latter moduli space is smooth and posseses a symplectic structure.Our goal in this section is to understand the morphisms ι * and π * as well as their connection to the symplectic structure.
Theorem 4.1.The image of π * coincides with the fixed locus of ι * , that is we have Im(π * ) = Fix(ι * ).The latter space is a smooth projective subscheme in M A/X,c 1 ,c 2 .Furthermore the restriction of the symplectic form σ on the tangent bundle of M A/X,c 1 ,c 2 to Im(π * ) vanishes identically.
As E is simple by Remark 3.4, using Proposition 1.4 and Corollary 1.3 we compute: Ext 2 A (E, E) ∼ = (Hom A (E, E ⊗ ω X )) ∨ = 0 for all [E] ∈ M A/X,c 1 ,c 2 .Now the vanishing of the symplectic form follows similar to [12, Proof of (3), p.92] from the following commutative diagram: A (E, E) using Mukai's description of the symplectic form on the tangent bundle of M A/X,c 1 ,c 2 .
Remark 4.2.The vanishing of the symplectic form on Im(π * ) can also be seen by noting that ι * is an antisymplectic automorphism of M A/X,c 1 ,c 2 .More exactly we have ι * σ = ζ n σ for a nontrivial n-th root of unity ζ n .This follows as in the proof of [16,Lemma 4.7.].One just has to note that ι * acts as multiplication by ζ n on H 0 (X, ω X ), since H 0 (X, ω X ) = 0.
The following two results also have analogues in the commutative case, see [13

10 ,
Corollary 2.5.5].Here for a, b ∈ K × the n-symbol algebra a, b n is the K-algebra generated by two elements u, v with the relations u n = a, v n = b and uv = ζvu.The algebra a, b n is central simple and satisfies deg( a, b n ) = n and ord( a, b n ) = n in Br(K).
Page 379], the moduli scheme of all generically simple A-modules is given by M A/W := P M A/W,P = c 1 ,...,c d M A/W,c 1 ,...,c d .