-
Trivial extension DG-algebras, unitally positive $A_\infty$-algebras, and applications
Authors:
Joseph Karmazyn,
Emma Lepri,
Michael Wemyss
Abstract:
To any periodic module over any algebra, this paper introduces an associated trivial extension DG-algebra T. After first passing to a strictly unital $A_\infty$-minimal model, it then constructs a particular $A_\infty$-algebra N, called the unitally positive $A_\infty$-algebra, which roughly speaking describes the identity in degree zero and all the positive cohomology. The object N is fundamental…
▽ More
To any periodic module over any algebra, this paper introduces an associated trivial extension DG-algebra T. After first passing to a strictly unital $A_\infty$-minimal model, it then constructs a particular $A_\infty$-algebra N, called the unitally positive $A_\infty$-algebra, which roughly speaking describes the identity in degree zero and all the positive cohomology. The object N is fundamental, and can be constructed for any DG-category satisfying very mild assumptions.
The main application is to birational geometry. When applied to contraction algebras, the construction gives a simple and direct proof of the Donovan-Wemyss conjecture, namely that smooth irreducible 3-fold flops are classified by their contraction algebras, and thus by noncommutative data.
△ Less
Submitted 23 January, 2025; v1 submitted 26 November, 2024;
originally announced November 2024.
-
Derived categories of singular surfaces
Authors:
Joseph Karmazyn,
Alexander Kuznetsov,
Evgeny Shinder
Abstract:
We develop an approach that allows to construct semiorthogonal decompositions of derived categories of surfaces with cyclic quotient singularities whose components are equivalent to derived categories of local finite dimensional algebras. We first explain how to induce a semiorthogonal decomposition of a surface $X$ with rational singularities from a semiorthogonal decomposition of its resolution.…
▽ More
We develop an approach that allows to construct semiorthogonal decompositions of derived categories of surfaces with cyclic quotient singularities whose components are equivalent to derived categories of local finite dimensional algebras. We first explain how to induce a semiorthogonal decomposition of a surface $X$ with rational singularities from a semiorthogonal decomposition of its resolution. In the case when $X$ has cyclic quotient singularities, we introduce the condition of adherence for the components of the semiorthogonal decomposition of the resolution that allows to identify the components of the induced decomposition with derived categories of local finite dimensional algebras. Further, we present an obstruction in the Brauer group of $X$ to the existence of such semiorthogonal decomposition, and show that in the presence of the obstruction a suitable modification of the adherence condition gives a semiorthogonal decomposition of the twisted derived category of $X$. We illustrate the theory by exhibiting a semiorthogonal decomposition for the untwisted or twisted derived category of any normal projective toric surface depending on whether its Weil divisor class group is torsion-free or not. For weighted projective planes we compute the generators of the components explicitly and relate our results to the results of Kawamata based on iterated extensions of reflexive sheaves of rank 1.
△ Less
Submitted 8 April, 2020; v1 submitted 27 September, 2018;
originally announced September 2018.
-
Ringel duality for certain strongly quasi-hereditary algebras
Authors:
Martin Kalck,
Joseph Karmazyn
Abstract:
We introduce quasi-hereditary endomorphism algebras defined over a new class of finite dimensional monomial algebras with a special ideal structure. The main result is a uniform formula describing the Ringel duals of these quasi-hereditary algebras.
As special cases, we obtain a Ringel-duality formula for a family of strongly quasi-hereditary algebras arising from a type A configuration of proje…
▽ More
We introduce quasi-hereditary endomorphism algebras defined over a new class of finite dimensional monomial algebras with a special ideal structure. The main result is a uniform formula describing the Ringel duals of these quasi-hereditary algebras.
As special cases, we obtain a Ringel-duality formula for a family of strongly quasi-hereditary algebras arising from a type A configuration of projective lines in a rational, projective surface as recently introduced by Hille and Ploog, for certain Auslander-Dlab-Ringel algebras, and for Eiriksson and Sauter's nilpotent quiver algebras when the quiver has no sinks and no sources. We also recover Tan's result that the Auslander algebras of self-injective Nakayama algebras are Ringel self-dual.
△ Less
Submitted 9 April, 2018; v1 submitted 1 November, 2017;
originally announced November 2017.
-
The length classification of threefold flops via noncommutative algebras
Authors:
Joseph Karmazyn
Abstract:
Smooth threefold flops with irreducible centres are classified by the length invariant, which takes values 1, 2, 3, 4, 5 or 6. This classification by Katz and Morrison identifies 6 possible partial resolutions of Kleinian singularities that can occur as generic hyperplane sections, and the simultaneous resolutions associated to such a partial resolution produce the universal flop of length $l$.…
▽ More
Smooth threefold flops with irreducible centres are classified by the length invariant, which takes values 1, 2, 3, 4, 5 or 6. This classification by Katz and Morrison identifies 6 possible partial resolutions of Kleinian singularities that can occur as generic hyperplane sections, and the simultaneous resolutions associated to such a partial resolution produce the universal flop of length $l$.
In this paper we translate these ideas into noncommutative algebra. We introduce the universal flopping algebra of length $l$ from which the universal flop of length $l$ can be recovered by a moduli construction, and we present each of these algebras as the path algebra of a quiver with relations. This explicit realisation can then be used to construct examples of NCCRs associated threefold flops of any length as quiver with relations defined by superpotentials, to recover the matrix factorisation description of the universal flop conjectured by Curto and Morrison, and to realise examples of contraction algebras.
△ Less
Submitted 8 September, 2017;
originally announced September 2017.
-
Noncommutative Knörrer type equivalences via noncommutative resolutions of singularities
Authors:
Martin Kalck,
Joseph Karmazyn
Abstract:
We construct Knörrer type equivalences outside of the hypersurface case, namely, between singularity categories of cyclic quotient surface singularities and certain finite dimensional local algebras. This generalises Knörrer's equivalence for singularities of Dynkin type A (between Krull dimensions $2$ and $0$) and yields many new equivalences between singularity categories of finite dimensional a…
▽ More
We construct Knörrer type equivalences outside of the hypersurface case, namely, between singularity categories of cyclic quotient surface singularities and certain finite dimensional local algebras. This generalises Knörrer's equivalence for singularities of Dynkin type A (between Krull dimensions $2$ and $0$) and yields many new equivalences between singularity categories of finite dimensional algebras.
Our construction uses noncommutative resolutions of singularities, relative singularity categories, and an idea of Hille & Ploog yielding strongly quasi-hereditary algebras which we describe explicitly by building on Wemyss's work on reconstruction algebras. Moreover, K-theory gives obstructions to generalisations of our main result.
△ Less
Submitted 10 July, 2017;
originally announced July 2017.
-
Multigraded linear series and recollement
Authors:
Alastair Craw,
Yukari Ito,
Joseph Karmazyn
Abstract:
Given a scheme $Y$ equipped with a collection of globally generated vector bundles $E_1, \dots, E_n$, we study the universal morphism from $Y$ to a fine moduli space $\mathcal{M}(E)$ of cyclic modules over the endomorphism algebra of $E:=\mathcal{O}_Y\oplus E_1\oplus\cdots \oplus E_n$. This generalises the classical morphism to the linear series of a basepoint-free line bundle on a scheme. We desc…
▽ More
Given a scheme $Y$ equipped with a collection of globally generated vector bundles $E_1, \dots, E_n$, we study the universal morphism from $Y$ to a fine moduli space $\mathcal{M}(E)$ of cyclic modules over the endomorphism algebra of $E:=\mathcal{O}_Y\oplus E_1\oplus\cdots \oplus E_n$. This generalises the classical morphism to the linear series of a basepoint-free line bundle on a scheme. We describe the image of the morphism and present necessary and sufficient conditions for surjectivity in terms of a recollement of a module category. When the morphism is surjective, this gives a fine moduli space interpretation of the image, and as an application we show that for a small, finite subgroup $G\subset \text{GL}(2,k)$, every sub-minimal partial resolution of $\mathbb{A}^2_k/G$ is isomorphic to a fine moduli space $\mathcal{M}(E_C)$ where $E_C$ is a summand of the bundle $E$ defining the reconstruction algebra. We also consider applications to Gorenstein affine threefolds, where Reid's recipe sheds some light on the classes of algebra from which one can reconstruct a given crepant resolution.
△ Less
Submitted 11 October, 2017; v1 submitted 6 January, 2017;
originally announced January 2017.
-
Deformations of algebras defined by tilting bundles
Authors:
Joseph Karmazyn
Abstract:
In this paper we produce noncommutative algebras derived equivalent to deformations of schemes with tilting bundles. We do this in two settings, first proving that a tilting bundle on a scheme lifts to a tilting bundle on an infinitesimal deformations of that scheme and then expanding this result to $\mathbb{C}^*$-equivariant deformations over schemes with a good $\mathbb{C}^*$-action. In both the…
▽ More
In this paper we produce noncommutative algebras derived equivalent to deformations of schemes with tilting bundles. We do this in two settings, first proving that a tilting bundle on a scheme lifts to a tilting bundle on an infinitesimal deformations of that scheme and then expanding this result to $\mathbb{C}^*$-equivariant deformations over schemes with a good $\mathbb{C}^*$-action. In both these situations the endomorphism algebra of the lifted tilting bundle produces a deformation of the original endomorphism algebra, and this is a graded deformation in the $\mathbb{C}^*$-equivariant case.
We apply our results to rational surface singularities, generalising the deformed preprojective algebras, and also to symplectic situations where the deformations produced are related to symplectic reflection algebras.
△ Less
Submitted 15 May, 2015;
originally announced May 2015.
-
Quiver GIT for Varieties with Tilting Bundles
Authors:
Joseph Karmazyn
Abstract:
In the setting of a variety $X$ admitting a tilting bundle $T$ we consider the problem of constructing $X$ as a quiver GIT quotient of the endomorphism algebra $A=\textrm{End}_X(T)^{\textrm{op}}$ corresponding to the tilting bundle. We prove that if the tilting equivalence restricts to a bijection between the skyscraper sheaves of $X$ and the closed points of a quiver GIT moduli functor for $A$ th…
▽ More
In the setting of a variety $X$ admitting a tilting bundle $T$ we consider the problem of constructing $X$ as a quiver GIT quotient of the endomorphism algebra $A=\textrm{End}_X(T)^{\textrm{op}}$ corresponding to the tilting bundle. We prove that if the tilting equivalence restricts to a bijection between the skyscraper sheaves of $X$ and the closed points of a quiver GIT moduli functor for $A$ then $X$ is indeed a fine moduli space for this quiver GIT moduli functor, and we prove this result without any assumptions on the singularities of $X$.
As an application we consider varieties which are projective over an affine base such that the fibres are of dimension $\le 1$, and the pushforward of the structure sheaf on $X$ is the structure sheaf on the base. In this situation there is a particular tilting bundle on $X$ constructed by Van den Bergh, and our result allows us to reconstruct $X$ as a quiver GIT quotient for an easy to describe stability condition and dimension vector.
This result applies to flips and flops in the minimal model program, and in the situation of flops shows that both a variety and its flop appear as quiver GIT moduli spaces for algebras produced from different tilting bundles on the variety. We also give an application to rational surface singularities, showing that their minimal resolutions can always be constructed as quiver GIT quotients for specific dimension vectors and stability conditions. This gives a construction of minimal resolutions as moduli spaces for all rational surface singularities, generalising the $G$-Hilbert scheme moduli space construction which exists only for quotient singularities.
△ Less
Submitted 26 May, 2015; v1 submitted 18 July, 2014;
originally announced July 2014.
-
Superpotentials, Calabi-Yau algebras, and PBW deformations
Authors:
Joseph Karmazyn
Abstract:
The paper [9] by Bocklandt, Schedler and Wemyss considers path algebras with relations given by the higher derivations of a superpotential, giving a condition for such an algebra to be Calabi-Yau. In this paper we extend these results, giving a condition for a PBW deformation of a Calabi-Yau, Koszul path algebra with relations given by a superpotential to have relations given by a superpotential,…
▽ More
The paper [9] by Bocklandt, Schedler and Wemyss considers path algebras with relations given by the higher derivations of a superpotential, giving a condition for such an algebra to be Calabi-Yau. In this paper we extend these results, giving a condition for a PBW deformation of a Calabi-Yau, Koszul path algebra with relations given by a superpotential to have relations given by a superpotential, and proving these are Calabi-Yau in certain cases.
We apply our methods to symplectic reflection algebras, where we show that every symplectic reflection algebra is Morita equivalent to a path algebra whose relations are given by the higher derivations of an inhomogeneous superpotential. In particular we show these are Calabi-Yau regardless of the deformation parameter.
Also, for G a finite subgroup of GL_2(C) not contained in SL_2(C), we consider PBW deformations of a path algebra with relations which is Morita equivalent to C[x,y] \rtimes G. We show there are no nontrivial PBW deformations when G is a small subgroup.
△ Less
Submitted 4 October, 2012;
originally announced October 2012.
