An introduction to noncommutative deformations of modules
Eivind Eriksen
备注：
33 pages, AMS-LaTeX, uses package Xy-pic, submitted to Noncommutative Geometry and Rings (Almeria 2002) conference proceedings
发表信息：
Noncommutative Algebra and Geometry, (Corrado De Concini, Freddy Van Oystaeyen, Nikolai Vavilov, and Anatoly Yakovlev, eds.), Lecture Notes in Pure and Applied Mathematics, vol. 243, Chapman & Hall/CRC, 2005, pp. 90-126
This paper gives an elementary introduction to noncommutative deformations of modules. The main results of this deformation theory are due to Laudal.
Let k be an algebraically closed (commutative) field, let A be an associative k-algebra, and let M = {M_1, ..., M_p} be a finite family of left A-modules. We study the simultaneous formal deformations of the family M, described by the noncommutative deformation functor Def(M): a(p) -> Sets introduced by Laudal. In particular, we prove that the deformation functor Def(M) has a pro-representing hull H(M), unique up to non-canonical isomorphism, and describe how to calculate H(M) using the Ext groups of the family M and their matric Massey products.
Let A be an associative algebra over a field, and let M be a finite family of right A-modules. Study of the noncommutative deformation functor of the family M leads to the construction of the algebra of observables and the Generalized Burnside Theorem, due to Laudal. In this paper, we give an overview of aspects of noncommutative deformations closely connected to the Generalized Burnside Theorem.
We compute the noncommutative deformations of a family of modules over the first Weyl algebra. This example shows some important properties of noncommutative deformation theory that separates it from commutative deformation theory.
We prove that the functor of noncommutative deformations of every flipping or flopping irreducible rational curve in a 3-fold is representable, and hence associate to every such curve a noncommutative deformation algebra. This new invariant extends and unifies known invariants for flopping curves in 3-folds, such as the width of Reid, and the bidegree of the normal bundle. It also applies in the settings of flips and singular schemes. We show that the noncommutative deformation algebra is finite dimensional, and give a new way of obtaining the commutative deformations of the curve, allowing us…
For a general class of contractions of a variety X to a base Y, I discuss recent joint work with M. Wemyss defining a noncommutative enhancement of the locus in Y over which the contraction is not an isomorphism, along with applications to the derived symmetries of X. This note is based on a talk given at the Kinosaki Symposium in 2016.
We show that Braun-Chuang-Lazarev's derived quotient prorepresents a naturally defined noncommutative derived deformation functor. Given a noncommutative partial resolution of a Gorenstein algebra, we show that the associated derived quotient controls part of its dg singularity category. We use a recent result of Hua and Keller to prove a recovery theorem, which can be thought of as providing a solution to a derived enhancement of a conjecture made by Donovan and Wemyss about the birational geometry of threefold flops.
We describe a noncommutative deformation theory for presheaves and sheaves of modules that generalizes the commutative deformation theory of these global algebraic structures, and the noncommutative deformation theory of modules over algebras due to Laudal. In the first part of the paper, we describe a noncommutative deformation functor for presheaves of modules on a small category, and an obstruction theory for this functor in terms of global Hochschild cohomology. An important feature of this obstruction theory is that it can be computed in concrete terms in many interesting cases. In the la…
Let (X,D) be a D-scheme in the sense of Beilinson and Bernstein, given by an algebraic variety X and a morphism O_X -> D of sheaves of rings on X. We consider noncommutative deformations of quasi-coherent sheaves of left D-modules on X, and show how to compute their pro-representing hulls. As an application, we compute the noncommutative deformations of the left D_X-module O_X when X is any elliptic curve.
We show that equivariant tilting modules over equivariant algebras induce equivalences of derived factorization categories. As an application, we show that the derived category of a noncommutative resolution of a linear section of a Pfaffian variety is equivalent to the derived factorization category of a noncommutative gauged Landau-Ginzburg model $(Λ,χ, w)^{\mathbb{G}_m}$, where $Λ$ is a noncommutative resolution of the quotient singularity $W/\operatorname{GSp}(Q)$ arising from a certain representation $W$ of the symplectic similitude group $\operatorname{GSp}(Q)$ of a symplectic vector spa…
We study properties of graded maximal Cohen-Macaulay modules over an N-graded locally finite, Auslander Gorenstein, and Cohen-Macaulay algebra of dimension two. As a consequence, we extend a part of McKay correspondence in dimension two to a more general setting.
A noncommutative deformation of a quadric surface is usually described by a three-dimensional cubic Artin-Schelter regular algebra. In this paper we show that for such an algebra its bounded derived category embeds into the bounded derived category of a commutative deformation of the Hilbert scheme of two points on the quadric. This is the second example in support of a conjecture by Orlov. Based on this example, we formulate an infinitesimal version of the conjecture, and provide some evidence in the case of smooth projective surfaces.
We continue our study of the noncommutative algebraic and differential geometry of a particular class of deformations of toric varieties, focusing on aspects pertinent to the construction and enumeration of noncommutative instantons on these varieties. We develop a noncommutative version of twistor theory, which introduces a new example of a noncommutative four-sphere. We develop a braided version of the ADHM construction and show that it parametrizes a certain moduli space of framed torsion free sheaves on a noncommutative projective plane. We use these constructions to explicitly build insta…
We study the noncommutative operator graph ${\mathcal L}_{θ}$ depending on complex parameter $θ$ recently introduced by M.E. Shirokov to construct channels with positive quantum zero-error capacity having vanishing n-shot capacity. We define the noncommutative group $G$ and the algebra ${\mathcal A}_{θ}$ which is a quotient of ${\mathbb C}G$ with respect to the special algebraic relation depending on $θ$ such that the matrix representation $ϕ$ of ${\mathcal A}_{θ}$ results in the algebra ${\mathcal M}_{θ}$ generated by ${\mathcal L}_{θ}$. In the case of $θ=\pm 1$ $ϕ$ is degenerated to the fait…
We study the derived categories of coherent sheaves of weighted projective spaces and their noncommutative deformations, and the derived categories of Lagrangian vanishing cycles of their mirror Landau-Ginzburg models. In particular, we show that the derived category of coherent sheaves (B-branes) on the weighted projective plane $\CP^2(a,b,c)$ is equivalent to the derived category of vanishing cycles (A-branes) on the affine hypersurface $X=\{x^ay^bz^c=1\}\subset (\C^*)^3$ equipped with an exact symplectic form and the superpotential $W=x+y+z$. Hence, the homological mirror symmetry conjectur…
We construct and study noncommutative deformations of toric varieties by combining techniques from toric geometry, isospectral deformations, and noncommutative geometry in braided monoidal categories. Our approach utilizes the same fan structure of the variety but deforms the underlying embedded algebraic torus. We develop a sheaf theory using techniques from noncommutative algebraic geometry. The cases of projective varieties are studied in detail, and several explicit examples are worked out, including new noncommutative deformations of Grassmann and flag varieties. Our constructions set up …
We give new examples of noncommutative manifolds that are less standard than the NC-torus or Moyal deformations of $\Rb^n$. They arise naturally from basic considerations of noncommutative differential topology and have non-trivial global features. The new examples include the instanton algebra and the NC-4-spheres $S^4_θ$. The noncommutative algebras $\Ac=C^{\ify} (S^{4}_θ)$ of functions on NC-spheres are solutions to the vanishing, $ {\rm ch}_j (e) = 0, j < 2 $, of the Chern character in the cyclic homology of $\Ac$ of an idempotent $e \in M_4 (\Ac), e^2 = e, e = e^*$. The universal noncommu…
We prove that an abelian category equipped with an ample sequence of objects is equivalent to the quotient of the category of coherent modules over the corresponding algebra by the subcategory of finite-dimensional modules. In the Noetherian case a similar result was proved by Artin and Zhang.
We elaborate on the quantization of toric varieties by combining techniques from toric geometry, isospectral deformations and noncommutative geometry in braided monoidal categories, and the construction of instantons thereon by combining methods from noncommutative algebraic geometry and a quantised twistor theory. We classify the real structures on a toric noncommutative deformation of the Klein quadric and use this to derive a new noncommutative four-sphere which is the unique deformation compatible with the noncommutative twistor correspondence. We extend the computation of equivariant inst…
In this paper we study noncommutative plane curves, i.e. non-commutative k-algebras for which the 1-dimensional simple modules form a plane curve. We study extensions of simple modules and we try to enlighten the completion problem, i.e. understanding the connection between simple modules of different dimension.
A class of noncommutative spaces, named `soft noncommutative schemes via toric geometry', are constructed and the mathematical model for (dynamical/nonsolitonic, complex algebraic) D-branes on such a noncommutative space, following arXiv:0709.1515 [math.AG] (D(1)), is given. Any algebraic Calabi-Yau space that arises from a complete intersection in a smooth toric variety can embed as a commutative closed subscheme of some soft noncommutative scheme. Along the study, the notion of `soft noncommutative toric schemes' associated to a (simplicial, maximal cone of index $1$) fan, `invertible sheave…
We construct a period mapping for deformations of a differential graded algebra, that generalizes Griffiths' period mapping. It is constructed as a morphism between differential graded Lie algebras which has a moduli-theoretic interpretation, where the domain of the morphism is the shifted Hochschild cocohain complex. We then use this period mapping to give some applications such as unobstructedness of deformations.
This is the third paper in a series. In part I we developed a deformation theory of objects in homotopy and derived categories of DG categories. Here we show how this theory can be used to study deformations of objects in homotopy and derived categories of abelian categories. Then we consider examples from (noncommutative) algebraic geometry. In particular, we study noncommutative Grassmanians that are true noncommutative moduli spaces of structure sheaves of projective subspaces in projective spaces.
Using the Atiyah class we give a criterion for a vector bundle on a coisotropic subvariety, $Y$, of an algebraic Poisson variety $X$ to admit a first and second order noncommutative deformation. We also show noncommutative deformations of a vector bundle are governed by a curved dg Lie algebra which reduces to the classical relative Hochschild complex when the Poisson structure on $X$ is trivial.
We continue our study on the corresponding noncommutative deformation of the relative $p$-adic Hodge structures of Kedlaya-Liu along our previous work. In this paper, we are going to initiate the study of the corresponding descent of pseudocoherent modules carrying large noncommutative coefficients. And also we are going to more systematically study the corresponding noncommutative geometric aspects of noncommutative deformation of Hodge structures, which will definitely also provide the insights not only for noncommutative Iwasawa theory but also for noncommutative analytic geometry. The nonc…
We define a notion of astrongly homotopy BV algebra and apply it to deformation theory problems. Formality conjectures for Hochschild and cyclic chains are formulated. We prove some partial results supporting these conjectures.
We construct explicitly noncommutative deformations of categories of holomorphic line bundles over higher dimensional tori. Our basic tools are Heisenberg modules over noncommutative tori and complex/holomorphic structures on them introduced by A. Schwarz. We obtain differential graded (DG) categories as full subcategories of curved DG categories of Heisenberg modules over the complex noncommutative tori. Also, we present the explicit composition formula of morphisms, which in fact depends on the noncommutativity.
