Graduate Blog

Everyone is welcome to attend.  Refreshments will be served in the Math Lounge before the exam.

Monday, June 18,  2018
11:10 a.m.
BA6183

PhD Candidate:  Vincent Gelinas
Co-Supervisors:   Joel Kamnitzer, Colin Ingalls
Thesis title:  Contributions to the Stable Derived Categories of Gorenstein Rings

***

Abstract:

The stable derived category ${\rm D}_{sg}(R)$ of a Gorenstein ring $R$ is defined as the Verdier quotient of the bounded derived category $ {\rm D}^b(\modsf R) $ by the thick subcategory of perfect complexes, that is, those with finite projective resolutions, and was introduced by Ragnar-Olaf Buchweitz as a homological measure of the singularities of $R$. This thesis contributes to its study, centered around representation theoretic, homological and Koszul duality aspects.

In Part I, we first complete (over $\C$) the classification of homogeneous complete intersection isolated singularities $R$ for which the graded stable derived category ${\rm D}^{\Z}_{sg}(R)$ (respectively, $ {\rm D}^b(\coh X) $ for $X = \proj R$) contains a tilting object. This is done by proving the existence of a full strong exceptional collection of vector bundles on a $2n$-dimensional smooth complete intersection of two quadrics $X = V(Q_1, Q_2) \subseteq \mathbb{P}^{2n+2}$, building on work of Kuznetsov. We then use recent results of Buchweitz-Iyama-Yamaura to classify the indecomposable objects in ${\rm D}_{sg}^{\Z}(R_Y)$ and the Betti tables of their complete resolutions, over $R_Y$ the homogeneous coordinate rings of $4$ points on $\mathbb{P}^1$ and $4$ points on $\mathbb{P}^2$ in general position.

In Part II, for $R$ a Koszul Gorenstein algebra, we study a natural pair of full subcategories whose intersection $\mathcal{H}^{\mathsf{lin}}(R) \subseteq {\rm D}_{sg}^{\Z}(R)$ consists of modules with eventually linear projective resolutions. We prove that such a pair forms a bounded t-structure if and only if $R$ is absolutely Koszul in the sense of Herzog-Iyengar, in which case there is an equivalence of triangulated categories ${\rm D}^b(\mathcal{H}^{\mathsf{lin}}(R)) \cong {\rm D}_{sg}^{\Z}(R)$. We then relate the heart to modules over the Koszul dual algebra $R^!$. As first application, we extend the Bernstein-Gel’fand-Gel’fand correspondence beyond the case of exterior and symmetric algebras, or more generally complete intersections of quadrics and homogeneous Clifford algebras, to any pair of Koszul dual algebras $(R, R^!)$ with $R$ absolutely Koszul Gorenstein. In particular the correspondence holds for the coordinate ring of elliptic normal curves of degree $\geq 4$ and for the anticanonical model of del Pezzo surfaces of degree $\geq 4$. We then relate our results to conjectures of Bondal and Minamoto on the graded coherence of Artin-Schelter regular algebras and higher preprojective algebras; we characterise when these conjectures hold in a restricted setting, and give counterexamples to both in all dimension $\geq 4$.

A copy of the thesis can be found here:  thesis