Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userKoszul Equivalences in $A_infty$-Algebras
212
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We prove a version of Koszul duality and the induced derived equivalence for Adams connected $A_infty$-algebras that generalizes the classical Beilinson-Ginzburg-Soergel Koszul duality. As an immediate consequence, we give a version of the Bernv{s}te{ui}n-Gelfand-Gelfand correspondence for Adams connected $A_infty$-algebras. We give various applications. For example, a connected graded algebra $A$ is Artin-Schelter regular if and only if its Ext-algebra $Ext^ast_A(k,k)$ is Frobenius. This generalizes a result of Smith in the Koszul case. If $A$ is Koszul and if both $A$ and its Koszul dual $A^!$ are noetherian satisfying a polynomial identity, then $A$ is Gorenstein if and only if $A^!$ is. The last statement implies that a certain Calabi-Yau property is preserved under Koszul duality.
rate research
Read More
Kadeishvilis proof of the minimality theorem induces an algorithm for the inductive computation of an $A_infty$-algebra structure on the homology of a dg-algebra. In this paper, we prove that for one class of dg-algebras, the resulting computation will generate a complete $A_infty$-algebra structure after a finite amount of computational work.
The concept of Koszul differential graded algebra (Koszul DG algebra) is introduced. Koszul DG algebras exist extensively, and have nice properties similar to the classic Koszul algebras. A DG version of the Koszul duality is proved. When the Koszul DG algebra $A$ is AS-regular, the Ext-algebra $E$ of $A$ is Frobenius. In this case, similar to the classical BGG correspondence, there is an equivalence between the stable category of finitely generated left $E$-modules, and the quotient triangulated category of the full triangulated subcategory of the derived category of right DG $A$-modules consisting of all compact DG modules modulo the full triangulated subcategory consisting of all the right DG modules with finite dimensional cohomology. The classical BGG correspondence can derived from the DG version.
We compute the Nakayama automorphism of a PBW-deformation of a Koszul Artin-Schelter Gorenstein algebra of finite global dimension, and give a criterion for an augmented PBW-deformation of a Koszul Calabi-Yau algebra to be Calabi-Yau. The relations between the Calabi-Yau property of augmented PBW-deformations and that of non-augmented cases are discussed. The Nakayama automorphisms of PBW-deformations of Koszul Artin-Schelter Gorenstein algebras of global dimensions 2 and 3 are given explicitly. We show that if a PBW-deformation of a graded Calabi-Yau algebra is still Calabi-Yau, then it is defined by a potential under some mild conditions. Some classical results are also recovered. Our main method used in this paper is elementary and based on linear algebra. The results obtained in this paper will be applied in a subsequent paper.
Let $E$ be a Koszul Frobenius algebra. A Clifford deformation of $E$ is a finite dimensional $mathbb Z_2$-graded algebra $E(theta)$, which corresponds to a noncommutative quadric hypersurface $E^!/(z)$, for some central regular element $zin E^!_2$. It turns out that the bounded derived category $D^b(text{gr}_{mathbb Z_2}E(theta))$ is equivalent to the stable category of the maximal Cohen-Macaulay modules over $E^!/(z)$ provided that $E^!$ is noetherian. As a consequence, $E^!/(z)$ is a noncommutative isolated singularity if and only if the corresponding Clifford deformation $E(theta)$ is a semisimple $mathbb Z_2$-graded algebra. The preceding equivalence of triangulated categories also indicates that Clifford deformations of trivial extensions of a Koszul Frobenius algebra are related to the Kn{o}rrer Periodicity Theorem for quadric hypersurfaces. As an application, we recover Kn{o}rrer Periodicity Theorem without using of matrix factorizations.
We provide a description of the tilting complexes of a PI algebra whose spectrum is canonical homeomorphic to the one of its center.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
