我们在任意 k-线性 Abel 范畴 Z 中定义了 n 元对象组的非交换形变函子 ncDef_(Z_1,…,Z_n)。在我们的范畴化方法中，把无穷小平坦形变的底层空间视为 Deligne 有限范畴，即具有投射生成元且含 n 个简单对象同构类的有限长度 Abel 范畴。更一般地，我们定义了 Abel 范畴间正合函子 ζ:A→Z 的非交换形变函子 ncDef_ζ。这里 A 的无穷小非交换加厚由一个包含 A 的 Abel 范畴 B 充当，且 A 通过扩张生成 B。函子 ncDef_ζ 将延拓 ζ 的正合函子 B→Z 的等价类集合赋予这样的 B。我们证明：无穷小扩张上的正合函子是全忠实的，当且仅当它在第一无穷小邻域上全忠实。我们表明，若 ζ 全忠实，则 ncDef_ζ 由 ζ 的本质像的扩张闭包 ind-表示。我们证明，对于 flopping contraction（翻收缩）f:X→Y，其闭点上的纤维 C=∪_{i=1}^n C_i，其中 C_i 为不可约曲线，{O_{C_i}(-1)} 是 f 的 null-category（零范畴）中的简单对象集合。我们得出结论：该零范畴 ind-表示函子 ncDef_(O_{C_1}(-1),…,O_{C_n}(-1))。
英文摘要：
We define the functor $\textrm{ncDef}_{(Z_1,\ldots,Z_n)}$ of non-commutative deformations of an $n$-tuple of objects in an arbitrary $k$-linear abelian category $\mathcal{Z}$. In our categorified approach, we view the underlying spaces of infinitesimal flat deformations as Deligne finite categories, i.e. finite length abelian categories admitting projective generators, with $n$ isomorphism classes of simple objects.
More generally, we define the functor $\textrm{ncDef}_ζ$ of non-commutative deformations of an exact functor $ζ\colon \mathcal{A} \to \mathcal{Z}$ of abelian categories. Here the role of an infinitesimal non-commutative thickening of $\mathcal{A}$ is played by an abelian category $\mathcal{B}$ containing $\mathcal{A}$ and such that $\mathcal{A}$ generates $\mathcal{B}$ by extensions. The functor $\textrm{ncDef}_ζ$ assigns to such $\mathcal{B}$ the set of equivalence classes of exact functors $\mathcal{B} \to \mathcal{Z}$ which extend $ζ$. We prove that an exact functor on an infinitesimal extension is fully faithful if and only if it is fully faithful on the first infinitesimal neighbourhood.
We show that if $ζ$ is fully faithful, then the functor $\textrm{ncDef}_ζ$ is ind-represented by the extension closure of the essential image of $ζ$.
We prove that for a flopping contraction $f\colon X\to Y$ with the fiber over a closed point $C = \bigcup_{i=1}^n C_i$, where $C_i$'s are irreducible curves, $\{\mathcal{O}_{C_i}(-1)\}$ is the set of simple objects in the null-category for $f$. We conclude that the null-category ind-represents the functor $\textrm{ncDef}_{(\mathcal{O}_{C_1}(-1),\ldots,\mathcal{O}_{C_n}(-1))}$.
We determine versal non-commutative deformations of some simple collections in the categories of perverse coherent sheaves arising from tilting generators for projective morphisms.
We consider non-commutative deformations of sheaves on algebraic varieties. We develop some tools to determine parameter algebras of versal non-commutative deformations for partial simple collections and the structure sheaves of smooth rational curves. We apply them to universal flopping contractions of length 2 and higher. We confirm Donovan-Wemyss conjecture in the case of deformations of Laufer's flops.
We review the theory of non-commutative deformations of sheaves and describe a versal deformation by using an A-infinity algebra and the change of differentials of an injective resolution. We give some explicit non-trivial examples.
We shall develop a theory of multi-pointed non-commutative deformations of a simple collection in an abelian category, and construct relative exceptional objects and relative spherical objects in some cases. This is inspired by a work by Donovan and Wemyss.
We compare the obstruction classes defined in arXiv:1101.4069 to those defined by Illusie. We also give sheaf theoretic proofs of some of the standard properties of the cotangent complex.
We prove the following criterion for the pro-representability of the deformation cohomology of a commutative formal Lie group. Let f be a flat and separated morphism between noetherian schemes. Assume that the target of f is flat over the integers. For a commutative formal Lie group E, we have the deformation cohomology of f with coefficients in E at our disposal. If the higher direct images of the tangent space of E are locally free and of finite rank then the deformation cohomology is pro-representable by a commutative formal Lie group.
In this this paper we introduce entanglement among the points in a non-commutative scheme, in addition to the tangent directions. A diagram of $A$-modules is a pair $\uc=(|\uc|,Γ)$ where $|\uc|={V_1,...,V_r}$ is a set of $A$-modules, and $Γ=\{γ_{ij}(l)\}$ is a set of $A$-module homomorphisms $γ_{ij}(l):V_i\rightarrow V_j$, seen as the 0'th order tangent directions. This concludes the discussion on non-commutative schemes by defining the deformation theory for diagrams, making these the fundamental points of the non-commutative algebraic geometry, which means that the construction of non-commut…
We define a sheaf of abelian groups whose cohomology is represented by the cotangent complex. We show how obstructions to some standard deformation problems arise as the classes of torsors under and gerbes banded by this sheaf.
We introduce an $A_\infty$-algebra structure on the Hochschild cohomology of the endomorphism bimodule of a finite-dimensional representation of an associative algebra. We prove that this structure determines a presentation for non-commutative deformations of the representation. From this, we deduce presentations of universal deformation rings of Galois representations. In turn, we apply these presentations in order to deduce universal deformation rings of Galois pseudorepresentations, supplying a a tangent and obstruction theory for pseudorepresentations. This generalizes the broadly used tan…
We identify a class of "quasi-compact semi-separated" (qcss) twisted presheaves of algebras A for which well-behaved Grothendieck abelian categories of quasi-coherent modules Qch(A) are defined. This class is stable under algebraic deformation, giving rise to a 1-1 correspondence between algebraic deformations of A and abelian deformations of Qch(A). For a qcss presheaf A, we use the Gerstenhaber-Schack (GS) complex to explicitely parameterize the first order deformations. For a twisted presheaf A with central twists, we descibe an alternative category QPr(A) of quasi-coherent presheaves which…
In this paper we study classical deformations of diagrams of commutative algebras over a field of characteristic 0. In particular we determine several homotopy classes of DG-Lie algebras, each one of them controlling this above deformation problem: the first homotopy type is described in terms of the projective model structure on the category of diagrams of differential graded algebras, the others in terms of the Reedy model structure on truncated Bousfield-Kan approximations. The first half of the paper contains an elementary introduction to the projective model structure on the category of c…
We show that the moduli spaces of stable sheaves on projective schemes admit certain non-commutative structures, which we call quasi NC structures, generalizing Kapranov's NC structures. The completion of our quasi NC structure at a closed point of the moduli space gives a pro-representable hull of the non-commutative deformation functor of the corresponding sheaf developed by Laudal, Eriksen, Segal and Efimov-Lunts-Orlov. We also show that the framed stable moduli spaces of sheaves have canonical NC structures.
We study marginal and relevant supersymmetric deformations of the N=4 super-Yang-Mills theory in four dimensions. Our primary innovation is the interpretation of the moduli spaces of vacua of these theories as non-commutative spaces. The construction of these spaces relies on the representation theory of the related quantum algebras, which are obtained from F-term constraints. These field theories are dual to superstring theories propagating on deformations of the AdS_5xS^5 geometry. We study D-branes propagating in these vacua and introduce the appropriate notion of algebraic geometry for non…
The cohomology groups of line bundles over complex tori (or abelian varieties) are classically studied invariants of these spaces. In this article, we compute the cohomology groups of line bundles over various holomorphic, non-commutative deformations of complex tori. Our analysis interpolates between two extreme cases. The first case is a calculation of the space of (cohomological) theta functions for line bundles over constant, commutative deformations. The second case is a calculation of the cohomologies of non-commutative deformations of degree-zero line bundles.
In this paper we develop the theory of non-commutative $\PP^1$-bundles over commutative (smooth) schemes. Such non-commutative $\PP^1$-bundles occur in the theory of $D$-modules but our definition is more general. We can show that every non-commutative deformation of a Hirzebruch surface is given by a non-commutative $\PP^1$-bundle over $\PP^1$ in our sense.
The classical Fourier-Mukai duality establishes an equivalence of categories between the derived categories of sheaves on dual complex tori. In this article we show that this equivalence extends to an equivalence between two dual objects. Both of these are generalized deformations of the complex tori. In one case, a complex torus is deformed formally in a non-commutative direction specified by a holomorphic Poisson structure. In the other, the dual complex torus is deformed in a B-field direction to a formal gerbe. We show these two deformations are Fourier-Mukai equivalent.
We develop the notion of deformation of a morphism in a left-proper model category. As an application we provide a geometric/homotopic description of deformations of commutative (non-positively) graded differential algebras over a local DG-Artin ring.
Suppose that f is a projective birational morphism with at most one-dimensional fibres between d-dimensional varieties X and Y, satisfying ${\bf R}f_* \mathcal{O}_X = \mathcal{O}_Y$. Consider the locus L in Y over which f is not an isomorphism. Taking the scheme-theoretic fibre C over any closed point of L, we construct algebras $A_{fib}$ and $A_{con}$ which prorepresent the functors of commutative deformations of C, and noncommutative deformations of the reduced fibre, respectively. Our main theorem is that the algebras $A_{con}$ recover L, and in general the commutative deformations of neith…
We suggest to compactify the universal covering of the moduli space of complex structures by non-commutative spaces. The latter are described by certain categories of sheaves with connections which are flat along foliations. In the case of abelian varieties this approach gives quantum tori as a non-commutative boundary of the moduli space. Relations to mirror symmetry, modular forms and deformation theory are discussed.
We give a short review of the algebraic procedure known as deformation quantisation, which replaces a commutative algebra with a non-commutative algebra. We use this framework to examine how the objects known as wavefunctions, as known in the quantum curve literature, arise from deformation quantisation. We give an example in terms of the planar conic $-y+x^2+2 xy + y^2$, and construct an associated wavefunction. We also give an example of the symplectic reduction of a wavefunction, following a procedure from Kontsevich and Soibelman arXiv:1701.09137.
Traditionally, Hodge structures are associated with complex projective varieties. In my expository lectures I discussed a non-commutative generalization of Hodge structures in deformation quantization and in derived algebraic geometry.
