Moduli schemes of generically simple Azumaya modules
Norbert Hoffmann, Ulrich Stuhler
备注：
20 pages. v2: generic setup slightly generalized (from rank one modules over a central division algebra to simple modules over a central simple algebra), a few references added
Let A be an Azumaya algebra over a smooth projective variety X or more generally, a torsion free coherent sheaf of algebras over X whose generic fiber is a central simple algebra. We show that generically simple torsion free A-module sheaves have a projective coarse moduli scheme; it is smooth and even symplectic if X is an abelian or K3 surface and A is Azumaya. We explain a relation to the classical theory of the Brandt groupoid.
In this note we prove that the moduli space of torsion-free modules of rank one over an Azumaya algebra on a K3-surface is an irreducible symplectic variety deformation equivalent to a Hilbert scheme of points on the K3-surface.
We consider moduli spaces of Azumaya algebras on K3 surfaces and construct an example. In some cases we show a derived equivalence which corresponds to a derived equivalence between twisted sheaves. We prove if $A$ and $A'$ are Morita equivalent Azumaya algebras of degree $r$ then $2r$ divides $c_2(A) - c_2(A')$. In particular this implies that if $A$ is an Azumaya algebra on a K3 surface and $c_2(A)$ is within $2r$ of its minimal bound then the moduli stack of Azumaya algebras with the same underlying gerbe, if non empty, is a proper algebraic space.
Let $A$ be a sheaf of Azumaya algebras over a Noetherian base $S$. In this paper we describe using generalized Severi-Brauer varieties, a quasi-projective moduli space parametrizing sheaves of ètale subalgebras of $A$. In the case that $S$ is the spectrum of a field, we study the geometry of this moduli space, and show that in certain cases it is a rational variety.
We study moduli spaces of maximal orders in a ramified division algebra over the function field of a smooth projective surface. As in the case of moduli of stable commutative surfaces, we show that there is a Kollár-type condition giving a better moduli problem with the same geometric points: the stack of blt Azumaya algebras. One virtue of this refined moduli problem is that it admits a compactification with a virtual fundamental class.
In this Part II, D(10.2), of D(10), we take D(10.1) (arXiv:1302.2054 [math.AG]) as the foundation to define the notion of $Z$-semistable morphisms from general Azumaya nodal curves, of genus $\ge 2$, with a fundamental module to a projective Calabi-Yau 3-fold and show that the moduli stack of such $Z$-semistable morphisms of a fixed type is compact. This gives us a counter moduli stack to D-strings as the moduli stack of stable maps in Gromov-Witten theory to the fundamental string. It serves and prepares for us the basis toward a new invariant of Calabi-Yau 3-fold that captures soft-D-string …
We generalize the construction of M. Lieblich for the compactification of the moduli stack of $\PGL_r$-bundles on algebraic spaces to the moduli stack of Tanaka-Thomas $\PGL_r$-Higgs bundles on algebraic schemes. The method we use is the moduli stack of Higgs version of Azumaya algebras. In the case of smooth surfaces, we obtain a virtual fundamental class on the moduli stack of $\PGL_r$-Higgs bundles. An application to the Vafa-Witten invariants is discussed.
Exploiting the description of rings of differential operators as Azumaya algebras on cotangent bundles, we show that the moduli stack of flat connections on a curve (allowed to acquire orbifold points) defined over an algebraically closed field of positive characteristic is étale locally equivalent to a moduli stack of Higgs bundles over the Hitchin base. We then study the interplay with stability and generalize a result of Laszlo-Pauly, concerning properness of the Hitchin map. Using Arinkin's autoduality of compactified Jacobians we extend the main result of Bezrukavnikov-Braverman, the Lang…
This is a continuation of our study of the foundations of D-branes from the viewpoint of Grothendieck in the region of the related Wilson's theory-space where "branes" are still branes. In this work, we focus on D-strings and construct the moduli stack of morphisms from Azumaya prestable curves $C^{Az}$ with a fundamental module ${\cal E}$ to a fixed target $Y$ of a given combinatorial type. Such a morphism gives a prototype for a Wick-rotated D-string of B-type on $Y$, following the Polchinski-Grothendieck Ansatz, and this stack serves as a ground toward a mathematical theory of topological D…
We present a method for compactifying stacks of $\PGL_n$-torsors (Azumaya algebras) on algebraic spaces. In particular, when the ambient space is a smooth projective surface we use our methods to show that various moduli spaces are irreducible and carry natural virtual fundamental classes. We also prove a version of the Skolem-Noether theorem for certain algebra objects in the derived category, which allows us to give an explicit description of the boundary points in our compactified moduli problem.
In this continuation of [L-Y1], [L-L-S-Y], [L-Y2], and [L-Y3] (arXiv:0709.1515 [math.AG], arXiv:0809.2121 [math.AG], arXiv:0901.0342 [math.AG], arXiv:0907.0268 [math.AG]), we study D-branes in a target-space with a fixed $B$-field background $(Y,α_B)$ along the line of the Polchinski-Grothendieck Ansatz, explained in [L-Y1] and further extended in the current work. We focus first on the gauge-field-twist effect of $B$-field to the Chan-Paton module on D-branes. Basic properties of the moduli space of D-branes, as morphisms from Azumaya schemes with a twisted fundamental module to $(Y,α_B)$, ar…
In this note we consider the moduli space of stable bundles of rank two on a very general quintic surface. We study the potentially obstructed points of the moduli space via the spectral covering of a twisted endomorphism. This analysis leads to generically non-reduced components of the moduli space, and components which are generically smooth of more than the expected dimension. We obtain a sharp bound asked for by O'Grady saying when the moduli space is good.
We prove that quantized multiplicative quiver varieties and quantum character varieties define sheaves of Azumaya algebras over the corresponding classical moduli spaces, and we prove that the Azumaya locus of the Kauffman bracket skein algebras contains the smooth locus, proving a strong form of the Unicity Conjecture of Bonahon and Wong. The proofs exploit a strong compatibility between quantum Hamiltonian reduction and the quantum Frobenius homomorphism as it arises in each setting. We therefore introduce the concepts of Frobenius quantum moment maps and their Hamiltonian reduction, and of …
Let X be a complex projective curve which is smooth and irreducible of genus 2. The moduli space M_2 of semistable symplectic vector bundles of rank 4 over X is a variety of dimension 10. After assembling some results on vector bundles of rank 2 and odd degree over X, we construct a generically finite cover of M_2 by a family of 5-dimensional projective spaces, and outline some applications.
Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective surface that maps to the moduli stack, we employ extension properties of logarithmic pluri-forms to establish a strong relationship between the moduli map and the minimal model program of the surface. As a result, we can describe the fibration induced by the moduli map quite explicitly. A refined affirmativ…
In this paper, we study Azumaya algebras and Brauer groups in derived algebraic geometry. We establish various fundamental facts about Brauer groups in this setting, and we provide a computational tool, which we use to compute the Brauer group in several examples. In particular, we show that the Brauer group of the sphere spectrum vanishes, and we use this to prove two uniqueness theorems for the stable homotopy category. Our key technical results include the local geometricity, in the sense of Artin n-stacks, of the moduli space of perfect modules over a smooth and proper algebra, the étale l…
Let $\mathcal{X}$ be a smooth Deligne-Mumford stack which is generically a scheme and has quasi-projective coarse moduli. If $\mathcal{X}$ has elementary Abelian 2-group stabilizers and the coarse moduli of the inertia stack is smooth, we show there exists a semiorthogonal decomposition of the derived category of $\mathcal{X}$ where the pieces are equivalent to the derived category of the components of the coarse moduli of the inertia stack.
We study moduli of semistable twisted sheaves on smooth proper morphisms of algebraic spaces. In the case of a relative curve or surface, we prove results on the structure of these spaces. For curves, they are essentially isomorphic to spaces of semistable vector bundles. In the case of surfaces, we show (under a mild hypothesis on the twisting class) that the spaces are asympotically geometrically irreducible, normal, generically smooth, and l.c.i. over the base. We also develop general tools necessary for these results: the theory of associated points and purity of sheaves on Artin stacks, t…
Given a generically smooth stable curve over a discrete valuation ring such that its special fibre is irreducible with one double point, we construct a moduli stack over that descrete valuation ring which is a model for the moduli stack of vector bundles over the generic fibre of the curve. The model has the following nice properties: 1. It is regular. 2. Its special fibre is a normal crossing divisor. 3. The normalization of its special fibre is a locally trivial KGl-bundle over the moduli stack of vector bundles over the normalization of the special fibre of the curve. Here KGl is a canonica…
Let X be a smooth projective curve over an algebraically closed field k of characteristic p>0. In this paper we explore the relation between algebraic D-modules on the moduli space $Bun_n$ of vector bundles of rank n on X and coherent sheaves on the moduli space $Loc_n$ of vector bundles endowed with a connection (in the way predicted by Beilinson and Drinfeld for k of characteristic 0). The main technical tools used in the paper are the geometry of the Hitchin system and the Azumaya property of the algebra of differential operators in characteristic p.
Let $X$ be a smooth projective curve over an algebraically closed field $k$. Let $\mathcal{G}$ be a Bruhat-Tits group scheme on $X$ which is generically semi-simple and trivial. We show that the étale fundamental group of the moduli stack $\mathcal{M}_X(\mathcal{G})$ of torsors under $\mathcal{G}$ is isomorphic to that of the moduli stack $\mathcal{M}_X(G)$ of principal $G$-bundles. For any smooth, noetherian and irreducible stack $\mathcal{X}$, we show that an inclusion of an open substack $\mathcal{X}^\circ$, whose complement has codimension at least two, will induce an isomorphism of étale …
We construct a connected, irreducible component of the moduli space of minimal surfaces of general type with $p_g=q=2$ and $K^2=5$, which contains both examples given by Chen-Hacon and the first author. This component is generically smooth of dimension 4, and all its points parametrize surfaces whose Albanese map is a generically finite triple cover.
Consider a smooth projective family of canonically polarized complex manifolds over a smooth quasi-projective complex base U, and suppose the family is non-isotrivial. If Y is a smooth compactification of U, such that D := Y U is a simple normal crossing divisor, then we can consider the sheaf of differentials with logarithmic poles along D. Viehweg and Zuo have shown that for some number m>0, the m-th symmetric power of this sheaf admits many sections. More precisely, the m-th symmetric power contains an invertible sheaf whose Kodaira-Iitaka dimension is at least the variation of the family. …
The symplectic Brill--Noether locus ${\mathcal S}_{2n, K}^k$ associated to a curve $C$ parametrises stable rank $2n$ bundles over $C$ with at least $k$ sections and which carry a nondegenerate skewsymmetric bilinear form with values in the canonical bundle. This is a symmetric determinantal variety whose tangent spaces are defined by a symmetrised Petri map. We obtain upper bounds on the dimensions of various components of ${\mathcal S}_{2n, K}^k$. We show the nonemptiness of several ${\mathcal S}_{2n, K}^k$, and in most of these cases also the existence of a component which is generically smo…
Given a smooth non-hyperelliptic prime Fano threefold X, we prove the existence of all rank 2 ACM vector bundles on X by deformation of semistable sheaves. We show that these bundles move in generically smooth components of the corresponding moduli space. We give applications to pfaffian representations of quartic threefolds in P^4 and cubic hypersurfaces of a smooth quadric of P^5.
In this note we give an easy proof of the existence of generically smooth components of the expected dimension of certain Brill--Noether loci of stable rank 2 vector bundles on a curve with general moduli, with related applications to Hilbert scheme of scrolls.
We classify minimal surfaces $S$ of general type with $p_g=q=2$ and $K_S^2=6$ whose Albanese map is a generically finite double cover. We show that the corresponding moduli space is the disjoint union of three generically smooth, irreducible components $\mathcal{M}_{Ia}$, $\mathcal{M}_{Ib}$, $\mathcal{M}_{II}$ of dimension 4, 4, 3, respectively. The general surface $S$ contains a smooth elliptic curve $Z$ such that $Z^2=-2$, which is contracted by the Albanese map and which is preserved by any first-order deformation.
In the prequel to this paper, two versions of Le Potier's strange duality conjecture for sheaves over abelian surfaces were studied. A third version is considered here. In the current setup, the isomorphism involves moduli spaces of sheaves with fixed determinant and fixed determinant of the Fourier-Mukai transform on one side, and moduli spaces where both determinants vary, on the other side. We first establish the isomorphism in rank one using the representation theory of Heisenberg groups. For product abelian surfaces, the isomorphism is then shown to hold for sheaves with fiber degree 1 vi…
Moduli space of genus zero stable maps to the projective three-space naturally carries a real structure such that the fixed locus is a moduli space for real rational spatial curves with real marked points. The latter is a normal projective real variety. The singular locus being in codimension at least two, a first Stiefel-Whitney class is well defined. In this paper, we determine a representative for the first Stiefel-Whitney class of such real space when the evaluation map is generically finite. This can be done by means of Poincaré duals of boundary divisors.
Given a smooth prime Fano threefold $X$ of genus 7 we consider its homologically projectively dual curve $Γ$ and the natural integral functor $Φ^{!}:D^b(X) \to D^b(Γ)$. We prove that, for $d\geq 6$, $Φ^{!}$ gives a birational map from a component of the moduli scheme $M_X(2,1,d)$ of rank 2 stable sheaves on $X$ with $c_1=1$, $c_2=d$ to a generically smooth $2d-9$-dimensional component of the Brill-Noether variety $W^{2d-11}_{d-5,5d-24}$ of stable vector bundles on $Γ$ of rank $d-5$ and degree $5d-24$ with at least $2d-10$ sections. This map turns out to be an isomorphism for $d=6$, and the mod…
In this paper we study the relationship between two different compactifications of the space of vector bundle quotients of an arbitrary vector bundle on a curve. One is Grothendieck's Quot scheme, while the other is a moduli space of stable maps to the relative Grassmannian. We establish an essentially optimal upper bound on the dimension of the two compactifications. Based on that, we prove that for an arbitrary vector bundle, the Quot schemes of quotients of large degree are irreducible and generically smooth. We precisely describe all the vector bundles for which the same thing holds in the…
We develop new techniques to study regularity questions for moduli spaces of pseudoholomorphic curves that are multiply covered. Among the main results, we show that unbranched multiple covers of closed holomorphic curves are generically regular, and simple index zero curves in dimensions greater than four are generically super-rigid, implying e.g. that the Gromov-Witten invariants of Calabi-Yau 3-folds reduce to sums of local invariants for finite sets of embedded curves. We also establish partial results on super-rigidity in dimension four and regularity of branched covers, and briefly discu…
The purpose of this paper and its sequel (Toric Stacks II) is to introduce and develop a theory of toric stacks which encompasses and extends the notions of toric stacks defined in [Laf02, BCS05, FMN10, Iwa09, Sat12, Tyo12], as well as classical toric varieties. In this paper, we define a \emph{toric stack} as a quotient of a toric variety by a subgroup of its torus (we also define a generically stacky version). Any toric stack arises from a combinatorial gadget called a \emph{stacky fan}. We develop a dictionary between the combinatorics of stacky fans and the geometry of toric stacks, stress…
Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective threefold Y that admits a non-constant map to the moduli stack, we employ extension properties of logarithmic pluri-forms to establish a strong relationship between the moduli map and the minimal model program of Y: in all relevant cases the minimal model program leads to a fiber space whose fibration facto…
Let X be an algebraic curve. We study the problem of parametrizing geometric data over X, which is only generically defined. E.g., parametrizing generically defined (aka rational) maps from X to a fixed target scheme Y. There are three methods for constructing functors of points for such moduli problems (all originally due to Drinfeld), and we show that the resulting functors are equivalent in the fppf Grothendieck topology. As an application, we obtain three presentations for the category of D-modules "on" B (K) \G (A) /G (O), and we combine results about this category coming from the differe…
Each finite dimensional irreducible rational representation V of the symplectic group Sp_{2g} determines a generically defined local system \V over the moduli space M_g of genus g smooth projective curves. We study H^2(M_g;\V) and the mixed Hodge structure on it. Specifically, we prove that if g>5, then the natural map IH^2(MS_g;\V)-->H^2(M_g;\V) is an isomorphism where MS_g is the Satake compactification of M_g. Using the work of Saito we conclude that the mixed Hodge structure on H^2(M_g;\V) is pure of weight 2+r if \V underlies a variation of Hodge structure of weight r. We also obtain esti…
We describe a satisfactory theory of degeneration of quadratic forms in three variables in the most general setting possible: the quadratic forms are defined on rank 3 vector bundles over an arbitrary scheme and could have values in nontrivial line bundles. Our results extend what is known for good forms; for example we show that the Witt-invariant suffices for classification. We determine explicitly the general, special and usual orthogonal groups and present applications. We indicate examples of rank 4 vector bundles that do not admit any Azumaya structures and of rank 3 vector bundles that …
Each elliptic curve can be embedded uniquely in the projective plane, up to projective equivalence. The hessian curve of the embedding is generically a new elliptic curve, whose isomorphism type depends only on that of the initial elliptic curve. One gets like this a rational map from the moduli space of elliptic curves to itself. We call it the hessian dynamical system. We compute it in terms of the $j$-invariant of elliptic curves. We deduce that, seen as a map from a projective line to itself, it has 3 critical values, which correspond to the point at infinity of the moduli space and to the…
Let \sF be a coherent rank 2 sheaf on a scheme Y \subset \proj{n} of dimension at least two. In this paper we study the relationship between the functor which deforms a pair (\sF,σ), σ\in H^0(\sF), and the functor which deforms the corresponding pair (X,ξ) given as in the Serre correspondence. We prove that the scheme structure of e.g. the moduli scheme M_Y(P) of stable sheaves on a threefold Y at (\sF), and the scheme structure at (X) of the Hilbert scheme of curves on Y are closely related. Using this relationship we get criteria for the dimension and smoothness of M_Y(P) at (\sF), without a…
We analyse the moduli space and the structure of noncommutative 3-spheres. We develop the notion of central quadratic form for quadratic algebras, and prove a general algebraic result which considerably refines the classical homomorphism from a quadratic algebra to a cross-product algebra associated to the characteristic variety and lands in a richer cross-product. It allows to control the $C^\ast$-norm on involutive quadratic algebras and to construct the differential calculus in the desired generality. The moduli space of noncommutative 3-spheres is identified with equivalence classes of pai…
