arXiv subjects

Joseph Grant

Publications and source records attributed to Joseph Grant.

9 recordsLinked to original sources

arXiv2024

Frobenius algebra objects in Temperley-Lieb categories at roots of unity

We give a new definition of a Frobenius structure on an algebra object in a monoidal category, generalising Frobenius algebras in the category of vector spaces. Our definition allows Frobenius forms valued in objects other than the unit object, and can be seen as a categorical version of Frobenius extensions of the second kind. When the monoidal category is pivotal we define a Nakayama morphism for the Frobenius structure and explain what it means for this morphism to have finite order. Our main example is a well-studied algebra object in the (additive and idempotent completion of the) Temperley-Lieb category at a root of unity. We show that this algebra has a Frobenius structure and that its Nakayama morphism has order 2. As a consequence, we obtain information about Nakayama morphisms of preprojective algebras of Dynkin type, considered as algebras over the semisimple algebras on their vertices.

math.CT↗

arXiv2024

Mutation of signed valued quivers and presentations of simple complex Lie algebras

We introduce a signed variant of (valued) quivers and a mutation rule that generalizes the classical Fomin-Zelevinsky mutation of quivers. To any signed valued quiver we associate a matrix that is a signed analogue of the Cartan counterpart appearing in the theory of cluster algebras. From this matrix, we construct a Lie algebra via a "Serre-like" presentation. In the mutation Dynkin case, we define root systems using the signed Cartan counterpart and show compatibility with mutation of roots as defined by Parsons. Using results from Barot-Rivera and P\'erez-Rivera, we show that mutation equivalent signed quivers yield isomorphic Lie algebras, giving presentations of simple complex Lie algebras.

math.RT↗

arXiv2022

Serre functors and graded categories

We study Serre structures on categories enriched in pivotal monoidal categories, and apply this to study Serre structures on two types of graded k-linear categories: categories with group actions and categories with graded hom spaces. We check that Serre structures are preserved by taking orbit categories and skew group categories, and describe the relationship with graded Frobenius algebras. Using a formal version of Auslander-Reiten translations, we show that the derived category of a d-representation finite algebra is fractionally Calabi-Yau if and only if its preprojective algebra has a graded Nakayama automorphism of finite order. This connects various results in the literature and gives new examples of fractional Calabi-Yau algebras.

math.RT↗

arXiv2020

Higher preprojective algebras, Koszul algebras, and superpotentials

In this article we study higher preprojective algebras, showing that various known results for ordinary preprojective algebras generalize to the higher setting. We first show that the quiver of the higher preprojective algebra is obtained by adding arrows to the quiver of the original algebra, and these arrows can be read off from the last term of the bimodule resolution of the original algebra. In the Koszul case we are able to obtain the new relations of the higher preprojective algebra by differentiating a superpotential and we show that when our original algebra is $d$-hereditary all the relations come from the superpotential. We then construct projective resolutions of all simple modules for the higher preprojective algebra of a $d$-hereditary algebra. This allows us to recover various known homological properties of the higher preprojective algebras and to obtain a large class of almost Koszul dual pairs of algebras. We also show that when our original algebra is Koszul there is a natural map from the quadratic dual of the higher preprojective algebra to a graded trivial extension algebra.

math.RT↗

arXiv2019

The Nakayama automorphism of a self-injective preprojective algebra

We give a simple proof, using Auslander-Reiten theory, that the preprojective algebra of a basic hereditary algebra of finite representation type is Frobenius. We then describe its Nakayama automorphism, which is induced by the Nakayama functor on the module category of our hereditary algebra.

math.RT↗

arXiv2019

Higher zigzag algebras

Given any Koszul algebra of finite global dimension one can define a new algebra, which we call a higher zigzag algebra, as a twisted trivial extension of the Koszul dual of our original algebra. If our original algebra is the path algebra of a quiver whose underlying graph is a tree, this construction recovers the zigzag algebras of Huerfano and Khovanov. We study examples of higher zigzag algebras coming from Iyama's iterative construction of type A higher representation finite algebras. We give presentations of these algebras by quivers and relations, and describe relations between spherical twists acting on their derived categories. We then make a connection to the McKay correspondence in higher dimensions: if G is a finite abelian subgroup of the special linear group acting on affine space, then the skew group algebra which controls the category of G-equivariant sheaves is Koszul dual to a higher zigzag algebra. Using this, we show that our relations between spherical twists appear naturally in examples from algebraic geometry.

math.RT↗

arXiv2017

Braid groups and quiver mutation

We describe presentations of braid groups of type ADE and show how these presentations are compatible with mutation of quivers, building on work of Barot and Marsh for Coxeter groups. In types A and D these presentations can be understood geometrically using triangulated surfaces. We then give a categorical interpretation of the presentations, with the new generators acting as spherical twists at simple modules on derived categories of Ginzburg dg-algebras of quivers with potential.

math.RT↗

arXiv2013

Lifts of longest elements to braid groups acting on derived categories

If we have a braid group acting on a derived category by spherical twists, how does a lift of the longest element of the symmetric group act? We give an answer to this question, using periodic twists, for the derived category of modules over a symmetric algebra. The question has already been answered by Rouquier and Zimmermann in a special case. We prove a lifting theorem for periodic twists, which allows us to apply their answer to the general case. Along the way we study tensor products in derived categories of bimodules. We also use the lifting theorem to give new proofs of two known results: the existence of braid relations and, using the theory of almost Koszul duality due to Brenner, Butler, and King, the result of Rouquier and Zimmermann mentioned above.

math.RT↗

arXiv2013

Derived autoequivalences from periodic algebras

We present a construction of autoequivalences of derived categories of symmetric algebras based on projective modules with periodic endomorphism algebras. This construction generalises autoequivalences previously constructed by Rouquier-Zimmermann and is related to the autoequivalences of Seidel-Thomas and Huybrechts-Thomas. We show that compositions and inverses of these equivalences are controlled by the resolutions of our endomorphism algebra and that each autoequivalence can be obtained by certain compositions of derived equivalences between algebras which are in general not Morita equivalent.

math.RT↗