Abstract
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.
1 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 [1].
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 [2]. On the other hand, building on Beauville’s work in the case of Enriques surfaces in [3], Bergström, Ferrari, Tirabassi and Vodrup studied the socalled Brauer map for bielliptic surfaces in [4].
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,{\mathcal {A}})\) consisting of a classical complex algebraic variety X and a sheaf of noncommutative \({\mathcal {O}}_X\)algebras \({\mathcal {A}}\) of finite rank as an \({\mathcal {O}}_X\)module. The algebras of interest in this article are Azumaya algebras. These are locally isomorphic to a matrix algebra \(M_r({\mathcal {O}}_X)\) with respect to the étale topology and they are classified by the Brauer group \({{\,\textrm{Br}\,}}(X)\) of X.
A noncommutative Picard scheme \({{\,\textrm{Pic}\,}}({\mathcal {A}})\) is the moduli scheme \({{\,\textrm{M}\,}}_{{\mathcal {A}}/X}\) of certain sheaves on X, which have the structure of a left \({\mathcal {A}}\)module. These moduli schemes were constructed by Hoffmann and Stuhler in [5].
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 \({{\,\textrm{Br}\,}}(X)\) can be represented by an Azumaya algebra \({\mathcal {A}}\) that is a generically central simple cyclic division algebra.
Let \((X,{\mathcal {A}})\) be a noncommutative bielliptic surface defined by such an algebra. If the Brauer map of X is injective then we have:

1.
The noncommutative Picard scheme \({{\,\textrm{Pic}\,}}(\mathcal {A})\) is smooth.

2.
Every torsion free \(\mathcal {A}\)module of rank one can be deformed into a locally projective \(\mathcal {A}\)module, that is the locus \({{\,\textrm{Pic}\,}}(\mathcal {A})^{lp}\) of locally projective \(\mathcal {A}\)modules is dense in \({{\,\textrm{Pic}\,}}(\mathcal {A})\).
Let \(\overline{X}\) be the canonically covering abelian surface and denote the pullback of the Azumaya algebra to \(\overline{X}\) by \(\overline{\mathcal {A}}\), then \({{\,\textrm{Pic}\,}}(\overline{\mathcal {A}})\) has a symplectic structure. For fixed Chern classes \(c_1\) and \(c_2\) we have

1.
\({{\,\textrm{Pic}\,}}(\mathcal {A})_{c_1,c_2}\) is a finite étale cover of a smooth projective subscheme Y in \({{\,\textrm{Pic}\,}}(\overline{\mathcal {A}})_{\overline{c_1},\overline{c_2}}\).

2.
The subscheme Y is Lagrangian if and only if the canonical cover of X has degree two or \(\dim ({{\,\textrm{Pic}\,}}(\mathcal {A})_{c_1,c_2})=1\).
Most results in this article are direct counterparts or have immediate generalizations from the case of noncommutative Enriques surfaces studied in [6]. 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 \({\mathbb {C}}\).
2 Modules over an Azumaya algebra and cyclic Galois coverings
In this section we generalize the results of [6, 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 ntorsion line bundle L, that is n is the order of L in \({{\,\textrm{Pic}\,}}(W)\). By [7, I.17] there is a cyclic étale Galois cover
For every coherent sheaf E on W we denote by \({\overline{E}}\) the pullback of E to \({\overline{W}}\) along q.
Definition 1.1
A sheaf of \({\mathcal {O}}_W\)algebras \({\mathcal {A}}\) is called an Azumaya algebra if

\({\mathcal {A}}\) is locally free of finite rank and

for every point \(w\in W\) the fiber \({\mathcal {A}}(w)\) is a central simple algebra over the residue field \({\mathbb {C}}(w)\).
Furthermore a coherent \({\mathcal {O}}_W\)module E is said to be an Azumaya module or an \({\mathcal {A}}\)module if E has the structure of a left \({\mathcal {A}}\)module.
Azumaya algebras on W are classified up to similarity by the Brauer group \({{\,\textrm{Br}\,}}(W)\). Here similarity for two Azumaya algebras \({\mathcal {A}}\) and \({\mathcal {B}}\) is defined as follows:
where \({\mathcal {E}}\) and \({\mathcal {F}}\) are locally free \({\mathcal {O}}_W\)modules of finite rank.
We say \({\mathcal {A}}\) is trivial if \(\left[ {\mathcal {A}} \right] =\left[ {\mathcal {O}}_W\right] \) in \({{\,\textrm{Br}\,}}(W)\). A quick computation shows that \({\mathcal {A}}\) is trivial if and only if \({\mathcal {A}}\cong {\mathcal {E}}nd_W(P)\) for some locally free sheaf P of finite rank. From now on, if not otherwise stated, an Azumaya algebra \({\mathcal {A}}\) is always a nontrivial Azumaya algebra such that \(\overline{{\mathcal {A}}}\) is also nontrivial. The rank of an Azumaya algebra \({\mathcal {A}}\) is always a square so it makes sense to define the degree of such an algebra by:
Using (1), the proof of [6, Lemma 1.4] immediately gives:
Lemma 1.2
Assume E and F are \({\mathcal {A}}\)modules, then
Applying Lemma 1.2 to the case \(F=E\) we find:
Corollary 1.3
Assume E is an \({\mathcal {A}}\)module. \({\overline{E}}\) is a simple \(\overline{{\mathcal {A}}}\)module if and only if E is a simple \({\mathcal {A}}\)module and \({{\,\textrm{Hom}\,}}_{{\mathcal {A}}}(E,E\otimes L^i)=0\) for \(1\leqslant i\leqslant n1\).
We also have the following variant of Serre duality, see [5, Proposition 3.5.]:
Proposition 1.4
Assume E and F are \({\mathcal {A}}\)modules, then for \(i\geqslant 0\) there are isomorphisms
In the case of surfaces, that is \(\dim (W)=2\), we find similar to [6, Lemma 1.7]:
Lemma 1.5
Assume E is an \({\mathcal {A}}\)module which is torsion free as an \({\mathcal {O}}_W\)module. If \(\overline{E^{**}}\) is a simple \(\overline{{\mathcal {A}}}\)module, then \({{\,\textrm{Hom}\,}}_{{\mathcal {A}}}(E,E^{**})\cong {\mathbb {C}}\) and for \(1\leqslant i \leqslant n1\):
Recall that the relative automorphism group of the étale cyclic Galois cover \(q: {\overline{W}} \rightarrow W\) is generated by a covering map \(\iota \) of order n:
As the group \({{\,\textrm{Aut}\,}}({\overline{W}}/W)\) is cyclic, the descent condition for a coherent sheaf F on \({\overline{W}}\), see [8, https://stacks.math.columbia.edu/tag/0D1V], reduces to the existence of an isomorphism \(\varphi _{\iota }: F\rightarrow \iota ^{*}F\) such that the map:
is the identity map. If F is simple, then any \(\varphi _{\iota }\) satisfies \(\psi \in {{\,\textrm{End}\,}}_{{\overline{W}}}(F)={\mathbb {C}}\cdot {{\,\textrm{id}\,}}_F\). Hence after multiplication with an appropriate scalar \(\varphi _{\iota }\) satisfies the descent condition and F descends, that is \(F\cong {\overline{E}}\) for some coherent \({\mathcal {O}}_W\)module E. This standard result can be generalized to the noncommutative situation:
Theorem 1.6
Assume F is a simple \(\overline{{\mathcal {A}}}\)module with an isomorphism \(F\cong \iota ^{*}F\) of \(\overline{{\mathcal {A}}}\)modules, then there is an \({\mathcal {A}}\)module E and an isomorphism of \(\overline{{\mathcal {A}}}\)modules \(F\cong {\overline{E}}\).
The proof of this theorem is the same as the proof of [6, Theorem 2.6]. One uses the BrauerSeveri varieties \(p: Y \rightarrow W\) and \({\overline{p}}:{\overline{Y}}\rightarrow {\overline{W}}\) associated to \({\mathcal {A}}\) and \(\overline{{\mathcal {A}}}\). By functoriality of the BrauerSeveri variety and/or the functoriality of the étale cyclic Galois cover (as a relative spectrum) we get a morphism \({\overline{q}}: {\overline{Y}}\rightarrow Y\).
The idea is to reduce the question about descent of \(\overline{{\mathcal {A}}}\)modules on \({\overline{W}}\) to a descent argument for classical \({\mathcal {O}}_{{\overline{Y}}}\)modules on \({\overline{Y}}\). This works out well, as the morphism \({\overline{q}}: {\overline{Y}}\rightarrow Y\) is also a cyclic étale Galois cover. It is induced by the ntorsion line bundle \(p^{*}L\). The last fact follows from the injectivity of \(p^{*}: {{\,\textrm{Pic}\,}}(W) \rightarrow {{\,\textrm{Pic}\,}}(Y)\), which in turn follows from the projection formula and \(p_{*}{\mathcal {O}}_Y \cong {\mathcal {O}}_W\), see [9, Lemma1.6].
3 Noncommutative bielliptic surfaces
Definition 2.1
A smooth projective minimal surface X is called a bielliptic surface if:

\(\kappa (X)=0\) that is X has Kodaira dimension zero,

\(q(X)=1\) that is \(\textrm{H}^1(X,{\mathcal {O}}_X)\cong {\mathbb {C}}\) and

\(p_g(X)=0\) that is \(\textrm{H}^2(X,{\mathcal {O}}_X)=0\).
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\subset E\) as a finite subgroup and \(\Psi : G \rightarrow {{\,\textrm{Aut}\,}}(F)\) is an injective group homomorphism. That is E/G is again an elliptic curve and \(F/G\cong {\mathbb {P}}^1\). Furthermore \(\omega _X\in {{\,\textrm{Pic}\,}}(X)\) is a torsion element of order n with \(n\in \left\{ 2,3,4,6 \right\} \).
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, llowing table, see for example [7, V.5] or [10, List VI.20]:
Type  G  Order of \(\omega _X\)  \({{\,\textrm{Br}\,}}(X)\) 

1  \({\mathbb {Z}}/2{\mathbb {Z}}\)  2  \({\mathbb {Z}}/2{\mathbb {Z}}\times {\mathbb {Z}}/2{\mathbb {Z}}\) 
2  \({\mathbb {Z}}/2{\mathbb {Z}}\times {\mathbb {Z}}/2{\mathbb {Z}}\)  2  \({\mathbb {Z}}/2{\mathbb {Z}}\) 
3  \({\mathbb {Z}}/4{\mathbb {Z}}\)  4  \({\mathbb {Z}}/2{\mathbb {Z}}\) 
4  \({\mathbb {Z}}/4{\mathbb {Z}}\times {\mathbb {Z}}/2{\mathbb {Z}}\)  4  0 
5  \({\mathbb {Z}}/3{\mathbb {Z}}\)  3  \({\mathbb {Z}}/3{\mathbb {Z}}\) 
6  \({\mathbb {Z}}/3{\mathbb {Z}}\times {\mathbb {Z}}/3{\mathbb {Z}}\)  3  0 
7  \({\mathbb {Z}}/6{\mathbb {Z}}\)  6  0 
Remark 2.2
The Brauer group of a bielliptic surface can be found as follows: first note that according to [11, Proposition 4] there is an isomorphism
Poincaré duality identifies the last group with \(\textrm{H}_1(X,{\mathbb {Z}})_{\textrm{tor}}\). But these groups were, for example, computed by Serrano in [12, 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 Kalgebra A is called cyclic if A contains a strictly maximal subfield \(L\hookrightarrow 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,\sigma ]/(t^na)\), where \(L[t,\sigma ]\) is the skewpolynomial ring defined by a generator \(\sigma \in {{\,\textrm{Gal}\,}}(L/K)\), \(a\in K^{\times }\) and \(n=\deg (A)\), see for example [13, Chapter 15] or [14, Part II: Sections 9 and 10].
If K contains a primitive nth root of unity \(\zeta \) and \(\textrm{char}(K)\not \mid n\), then cyclic algebras can also be described as nsymbol algebras, see [15, Corollary 2.5.5]. Here for \(a,b\in K^{\times }\) the nsymbol algebra \(\left\langle a,b \right\rangle _n\) is the Kalgebra generated by two elements u, v with the relations
The algebra \(\left\langle a,b \right\rangle _n\) is central simple and satisfies
Proposition 2.3
The nontrivial elements in the Brauer group of a bielliptic surface X can be represented by Azumaya algebras \({\mathcal {A}}\) on X that are generically central simple cyclic division \({\mathbb {C}}(X)\)algebras such that
Proof
Looking at the list of types of bielliptic surface, we see that a nontrivial element \(b\in \text {Br}(X)\) has order two or three. As X is smooth by [16, Théorème 2.4.] the restriction to the generic point \(\eta \) gives an injection
So the image \(r_\eta (b)\) has order two respectively three in \(\text {Br}({\mathbb {C}}(X))\).
Since every class in \({{\,\textrm{Br}\,}}({\mathbb {C}}(X))\) contains (up to isomorphism) a unique division algebra, see [13, 12.5. Proposition b], we may assume that \(r_{\eta }(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 \({\mathbb {C}}(X)\) has transcendence degree two over \({\mathbb {C}}\), see [17, 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 [14, 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 [13, 13.1 Corollary b]. Thus if \(\deg (A)=2\) then A contains a strictly maximal subfield L with \([L:{\mathbb {C}}(X)]=2\), hence \(L/{\mathbb {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 [13, 15.6.].
As the class \([A]=r_{\eta }(b)\) comes from \(\text {Br}(X)\) it is unramified at every point of codimension one in X, and thus by [16, Théorème 2.5.] there is an Azumaya algebra \({\mathcal {A}}\) on X with \({\mathcal {A}}\otimes {\mathbb {C}}(X)=A\) such that \(\left[ {\mathcal {A}}\right] =b\). \(\square \)
Since the canonical bundle \(\omega _X\in {{\,\textrm{Pic}\,}}(X)\) is ntorsion, it induces a cyclic étale Galois cover \(\pi : {\overline{X}}\rightarrow X\) of degree n, the so called canonical cover. This cover satisfies the property \(\overline{\omega _X}\cong \omega _{{\overline{X}}}={\mathcal {O}}_{{\overline{X}}}\). It is known that \({\overline{X}}\) is an abelian surface. More exactly, if \(X=(E\times F)/G\) then we see by [4, 2.2.]:
The canonical cover induces a morphism \(\pi ^{*}: {{\,\textrm{Br}\,}}(X)\rightarrow {{\,\textrm{Br}\,}}({\overline{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 [4]. 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 [3], see [4, Theorem 5.3.]:
Theorem 2.4
Let X be a bielliptic surface with \(X=(E\times F)/G\). If the elliptic curves E and F are not isogenous, then the morphism \(\pi ^{*}: {{\,\textrm{Br}\,}}(X) \rightarrow {{\,\textrm{Br}\,}}({\overline{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 \(\overline{{\mathcal {A}}}\) on \({\overline{X}}\) of an Azumaya algebra \({\mathcal {A}}\) constructed in Proposition 2.3 represents a nontrivial class in \({{\,\textrm{Br}\,}}({\overline{X}})\).
4 Noncommutative Picard schemes and deformations
In this section we first start more generally with a smooth projective ddimensional variety W and an Azumaya algebra \({\mathcal {A}}\) on W. We can think of the pair \((W,{\mathcal {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 \({\mathcal {A}}\)module, if E is a left \({\mathcal {A}}\)module such that

E is coherent and torsion free as a \({\mathcal {O}}_W\)module

the stalk \(E_{\eta }\) over the generic point \(\eta \in W\) is a simple module over \({\mathcal {A}}_{\eta }\).
If \({\mathcal {A}}_{\eta }\) is even a central simple division algebra over \({\mathbb {C}}(W)\) then such a module is also called a torsion free \({\mathcal {A}}\)module of rank one.
Remark 3.2
An \({\mathcal {A}}\)module is locally projective if and only if it is locally free as an \({\mathcal {O}}_W\)module. If \({\mathcal {A}}_{\eta }\) is a central simple division algebra then locally projective \({\mathcal {A}}\)modules of rank one can be thought of as line bundles on the noncommutative variety \((W,{\mathcal {A}})\). Furthermore a generically simple torsion free \({\mathcal {A}}\)module is simple, see the argument after Remark 1.1. in [5].
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 [5, Theorem2.4. iii), iv)]:
Theorem 3.3
There is a projective moduli scheme \({{\,\textrm{M}\,}}_{{\mathcal {A}}/W,P}\) classifying generically simple torsion free \({\mathcal {A}}\)modules with Hilbert polynomial P on W.
According to [5, Page 379], the moduli scheme of all generically simple \({\mathcal {A}}\)modules is given by
By the remark above \({{\,\textrm{M}\,}}_{{\mathcal {A}}/W}\) can be understood as the Picard scheme \({{\,\textrm{Pic}\,}}({\mathcal {A}})\) of the noncommutative variety \((W,{\mathcal {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 \({\mathcal {A}}\)module E of rank one on X, the \({\mathcal {A}}\)modules \(E^{**}\) and \(E\otimes L\) for \(L\in {{\,\textrm{Pic}\,}}(X)\) are also torsion free of rank one. In addition \({\overline{E}}\) is a torsion free \(\overline{{\mathcal {A}}}\)module of rank one on \({\overline{X}}\) since \(\pi \) is flat.
We want to study these moduli schemes for a noncommutative bielliptic surfaces \((X,{\mathcal {A}})\) with injective Brauer map.
Since the nontrivial elements in \({{\,\textrm{Br}\,}}(X)\) can be represented by Azumaya algebras which are generically central simple division algebras, we can work with torsion free \({\mathcal {A}}\)modules of rank one in the following. Note that the \({\mathcal {O}}_X\)rank of a torsion free \({\mathcal {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 [6, Theorem 4.10].
Theorem 3.5
Let \((X,{\mathcal {A}})\) be noncommutative bielliptic surface with injective Brauer map.

1
The moduli scheme \({{\,\textrm{M}\,}}_{{\mathcal {A}}/X}\) of torsion free \({\mathcal {A}}\)modules of rank one is smooth.

2
Every torsion free \({\mathcal {A}}\)module of rank one can be deformed into a locally projective \({\mathcal {A}}\)module, that is the locus \({{\,\textrm{M}\,}}_{{\mathcal {A}}/X}^{lp}\) of locally projective \({\mathcal {A}}\)modules is dense in \({{\,\textrm{M}\,}}_{{\mathcal {A}}/X}\).

3
For fixed Chern classes \(c_1\) and \(c_2\) we have
$$\begin{aligned} \dim {{\,\textrm{M}\,}}_{{\mathcal {A}}/X,c_1,c_2}={\left\{ \begin{array}{ll} \,\frac{1}{4}\left( 8c_23c_1^2 \right) c_2({\mathcal {A}})+1 &{} \text {if}\,\,{{\,\textrm{ord}\,}}\left( \left[ {\mathcal {A}} \right] \right) =2\\ {} \,\frac{1}{9}\left( 18c_28c_1^2 \right) c_2({\mathcal {A}})+1 &{} \text {if}\,\,{{\,\textrm{ord}\,}}\left( \left[ {\mathcal {A}} \right] \right) =3. \end{array}\right. } \end{aligned}$$
Remark 3.6
Part (2) of Theorem 3.5 is a new phenomenon in the noncommutative case. As noted in [5, Remark 1.6], in the classical case \({\mathcal {A}}={\mathcal {O}}_X\) just torsion free and locally projective generically simple \({\mathcal {A}}\)modules lie in different connected components of the moduli scheme. The reason is that locally projective \({\mathcal {A}}\)modules do not satisfy the valuative criterion for properness if \({\mathcal {A}}\) is nontrivial. That is the reason why one has to allow for just torsion free \({\mathcal {A}}\)modules to get a proper noncommutative Picard scheme \({{\,\textrm{Pic}\,}}({\mathcal {A}})\).
5 Lagrangian subschemes
Let \(\iota : {\overline{X}}\rightarrow {\overline{X}}\) still be a generator of \({{\,\textrm{Aut}\,}}({\overline{X}}/X)\). This map induces an automorphism
Moreover, using Remark 3.4, the projection \(\pi :{\overline{X}}\rightarrow X\) induces a morphism
where \({{\,\textrm{M}\,}}_{\overline{{\mathcal {A}}}/{\overline{X}},\overline{c_1},\overline{c_2}}\) is the corresponding moduli scheme on the associated canonical cover. By [5, Theorem 3.6.], the latter moduli space is smooth and posseses a symplectic structure.
Our goal in this section is to understand the morphisms \(\iota ^{*}\) and \(\pi ^{*}\) as well as their connection to the symplectic structure.
Theorem 4.1
The image of \(\pi ^{*}\) coincides with the fixed locus of \(\iota ^{*}\), that is we have \({{\,\textrm{Im}\,}}(\pi ^{*})={{\,\textrm{Fix}\,}}(\iota ^{*})\). The latter space is a smooth projective subscheme in \({{\,\textrm{M}\,}}_{\overline{{\mathcal {A}}}/{\overline{X}},\overline{c_1},\overline{c_2}}\). Furthermore the restriction of the symplectic form \(\sigma \) on the tangent bundle of \({{\,\textrm{M}\,}}_{\overline{{\mathcal {A}}}/{\overline{X}},\overline{c_1},\overline{c_2}}\) to \({{\,\textrm{Im}\,}}(\pi ^{*})\) vanishes identically.
Proof
We certainly have \({{\,\textrm{Im}\,}}(\pi ^{*})\subset {{\,\textrm{Fix}\,}}(\iota ^{*})\). By Theorem 1.6 we also have the inclusion \({{\,\textrm{Fix}\,}}(\iota ^{*})\subset {{\,\textrm{Im}\,}}(\pi ^{*})\). So \({{\,\textrm{Im}\,}}(\pi ^{*})={{\,\textrm{Fix}\,}}(\iota ^{*})\). The subscheme \({{\,\textrm{Fix}\,}}(\iota ^{*})\) is projective and smooth by [18, 3.1,3.4].
As \({\overline{E}}\) is simple by Remark 3.4, using Proposition 1.4 and Corollary 1.3 we compute:
Now the vanishing of the symplectic form follows similar to [19, Proof of (3), p.92] from the following commutative diagram:
using Mukai’s description of the symplectic form on the tangent bundle of \({{\,\textrm{M}\,}}_{\overline{{\mathcal {A}}}/{\overline{X}},\overline{c_1},\overline{c_2}}\). \(\square \)
Remark 4.2
The vanishing of the symplectic form on \({{\,\textrm{Im}\,}}(\pi ^{*})\) can also be seen by noting that \(\iota ^{*}\) is an antisymplectic automorphism of \({{\,\textrm{M}\,}}_{\overline{{\mathcal {A}}}/{\overline{X}},\overline{c_1},\overline{c_2}}\). More exactly we have \(\iota ^{*}\sigma =\zeta _n\sigma \) for a nontrivial nth root of unity \(\zeta _n\). This follows as in the proof of [6, Lemma 4.7.]. One just has to note that \(\iota ^{*}\) acts as multiplication by \(\zeta _n\) on \(H^0({\overline{X}},\omega _{{\overline{X}}})\), since \(H^0(X,\omega _X)=0\).
The following two results also have analogues in the commutative case, see [2, Proposition 9.1].
Theorem 4.3
Let \((X,{\mathcal {A}})\) be noncommutative bielliptic surface with injective Brauer map. The pullback map
realizes \({{\,\textrm{M}\,}}_{{\mathcal {A}}/X,c_1,c_2}\) as a finite étale cover of the smooth subscheme \({{\,\textrm{Fix}\,}}(\iota ^{*})\subset {{\,\textrm{M}\,}}_{\overline{{\mathcal {A}}}/{\overline{X}},\overline{c_1},\overline{c_2}}\).
Proof
The previous theorem shows that \(\pi ^{*}\) factors through \({{\,\textrm{Fix}\,}}(\iota ^{*})\) giving rise to a surjective morphism
Since \(\pi : {\overline{X}}\rightarrow X\) is the canonical cover one has isomorphisms
By Corollary 1.3 the \(E\otimes \omega _X^j\) are pairwise nonisomorphic since \({\overline{E}}\) is simple.
Now assume \(\varphi (\left[ E\right] )=\varphi (\left[ F\right] )\) that is \({\overline{E}}\cong {\overline{F}}\) and \({{\,\textrm{Hom}\,}}_{\overline{{\mathcal {A}}}}({\overline{E}},{\overline{F}})\cong {\mathbb {C}}\). Then Lemma 1.2 says
and so by [6, Lemma 4.3] we have
for exactly one j with \(0\leqslant j\leqslant n1\). So \(\varphi \) is an unramified morphism of degree n. Moreover the computations also show that \(\varphi \) is flat by [20, Lemma, p.675], hence \(\varphi \) is étale. \(\square \)
As the symplectic form vanishes on \({{\,\textrm{Fix}\,}}(\iota ^{*})\) one may ask if \({{\,\textrm{Fix}\,}}(\iota ^{*})\) is a Lagrangian subscheme in \({{\,\textrm{M}\,}}_{\overline{{\mathcal {A}}}/{\overline{X}},\overline{c_1},\overline{c_2}}\). This question can be answered by a simple dimension computation.
Lemma 4.4
Let \((X,{\mathcal {A}})\) be noncommutative bielliptic surface with injective Brauer map. The subscheme \({{\,\textrm{Fix}\,}}(\iota ^{*})\) of \({{\,\textrm{M}\,}}_{\overline{{\mathcal {A}}}/{\overline{X}},\overline{c_1},\overline{c_2}}\) is Lagrangian if and only if the bielliptic surface X is of type 1 or 2 or \(\dim ({{\,\textrm{M}\,}}_{{\mathcal {A}}/X,c_1,c_2})=1\).
Proof
By Theorem 4.3 we need to check in which cases we have
It is therefore enough to check in which cases we have
for a locally projective \({\mathcal {A}}\)module E of rank one by part (2) of Theorem 3.5.
Since the canonical cover is finite étale of degree n we find using [6, Lemma 1.3]:
Thus we have
Inserting equation (2) into the last equation and simplifying gives:
We conclude: \({{\,\textrm{Fix}\,}}(\iota ^{*})\) is a Lagrangian subscheme if and only if the canonical cover of X has degree two, that is X is of type 1 or 2, or in case \(\dim ({{\,\textrm{M}\,}}_{{\mathcal {A}}/X,c_1,c_2})=1\). \(\square \)
References
Van de Ven, A.: On the Enriques classification of algebraic surfaces. In: Séminaire Bourbaki, 29e année (1976/77), vol. 677 of Lecture Notes in Mathematics, pp. 237–251. Springer, Berlin (1978)
Nuer, H.: Stable sheaves on bielliptic surfaces: from the classical to the modern, pp. 1–57 (2021). arXiv:2107.13370. [math.AG]
Beauville, A.: On the Brauer group of Enriques surfaces. Math. Res. Lett. 16(6), 927–934 (2009)
Ferrari, E., Tirabassi, S., Vodrup, M., Bergström, J.: On the Brauer group of bielliptic surfaces (with an appendix by Jonas Bergström and Sofia Tirabassi). Doc. Math. 27, 383–425 (2022)
Hoffmann, N., Stuhler, U.: Moduli schemes of generically simple Azumaya modules. Doc. Math. 10, 369–389 (2005)
Reede, F.: Rank one sheaves over quaternion algebras on Enriques surfaces. Adv. Geom. 22(1), 105–112 (2022)
Barth, W.P., Hulek, K., Peters, C.A.M., Van de Ven, A.: Compact Complex Surfaces, 2nd edn. Springer, Berlin (2004)
The Stacks Project Authors.: The Stacks project. https://stacks.math.columbia.edu
Reede, F.: The symplectic structure on the moduli space of line bundles on a noncommutative Azumaya surface. Beitr. Algebra Geom. 60(1), 67–76 (2019)
Beauville, A.: Complex algebraic surfaces, vol. 68 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge (Translated from the French by R. Barlow, N. I. ShepherdBarron and M. Reid) (1983)
Beauville, A.: The Lüroth problem. In: Rationality Problems in Algebraic Geometry, vol. 2172 of Lecture Notes in Mathematics, pp. 1–27. Springer, Cham (2016)
Serrano, F.: Divisors of bielliptic surfaces and embeddings in \({ P}^4\). Math. Z. 203(3), 527–533 (1990)
Pierce, R.S.: Associative Algebras, vol. 9 of Studies in the History of Modern Science. Springer, New York (1982)
Draxl, P.K.: Skew Fields, vol. 81 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge (1983)
Gille, P., Szamuely, T.: Central Simple Algebras and Galois Cohomology, vol. 165 of Cambridge Studies in Advanced Mathematics, 2nd edn. Cambridge University Press, Cambridge (2017)
ColliotThélène, J.L.: Algèbres simples centrales sur les corps de fonctions de deux variables (d’après A. J. de Jong). 307; p. Exp. No. 949, ix, 379–413. Séminaire Bourbaki, vol. 2004/2005 (2006)
Artin, M.: Brauer–Severi varieties. In: Brauer Groups in Ring Theory and Algebraic Geometry (Wilrijk, 1981), vol. 917 of Lecture Notes in Mathematics, pp. 194–210. Springer, Berlin (1982)
Edixhoven, B.: Néron models and tame ramification. Compos. Math. 81(3), 291–306 (1992)
Kim, H.: Moduli spaces of stable vector bundles on Enriques surfaces. Nagoya Math. J. 150, 85–94 (1998)
Schaps, M.: Deformations of Cohen–Macaulay schemes of codimension \(2\) and nonsingular deformations of space curves. Am. J. Math. 99(4), 669–685 (1977)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Vicente Cortés.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Reede, F. Picard schemes of noncommutative bielliptic surfaces. Abh. Math. Semin. Univ. Hambg. (2023). https://doi.org/10.1007/s1218802300265x
Received:
Published:
DOI: https://doi.org/10.1007/s1218802300265x
Keywords
 Bielliptic surfaces
 Azumaya algebras
 Moduli schemes of sheaves
Mathematics Subject Classification
 Primary: 14J60
 Secondary: 14J27
 16H05