| Number | Title | Description |
|---|---|---|
| 1 | Koszul rings and their duals | The aim of this talk is to introduce some basic definitions, properties and results. Quadratic and Koszul rings should be defined, as well as the quadratic dual $A^!$ and the Koszul dual $E(A)$. Various facts should be included for instance that Koszul implies quadratic, that $E(A)$ is again Koszul, and that $E(E(A)) = A$ (Theorem 1.2.5., [BGS]). The reference is [BGS], section 2 up to 2.11. |
| 2 | The Koszul duality functor | This talk should explain Theorem 1.2.6, [BGS] (Koszul duality as derived equivalence) together with its proof which can be found in loc. cit. section 2.12-2.14. |
| 3 | Necessary and sufficient conditions |
Survey properties which are necessary and/or sufficient for an algebra to be Koszul.
For instance the numerical criterion for Koszulness should be proven ([BGS] Thm 2.11.1). In particular it should be shown that the product of the Hilbert series of $A$ and the Poincare series of $A^!$ is $1$ (see [R]). Further possibilities are:
|
| 4 | Examples from combinatorics |
Combinatorial problems provide a rich source of Koszul algebras.
The aim of this talk is to provide further examples of Koszul algebras.
Several nice examples are outlined in [R] and it is suggested that the speaker explains some subset of the following examples (although of course if the speaker has their own examples in mind the suggestions are not binding):
|
| 5 | BGG correspondence |
This talk should cover the original inspiration for Koszul duality,
namely the relationship between the symmetric and exterior algebras. It would be good to cover the relation provided by Koszul duality in both the setting of the module categories and the traditional form which relates the bounded derived category of coherent sheaves on projective space to the stable category of the exterior algebra. The original reference is [BGG] and a more modern write up can be found in [EFS]. |
| 6 | The preprojective algebra is Koszul (except for Dynkin quivers) |
There are several sources, the speaker should choose the approach which they prefer:
|
| 7 | Perverse sheaves on the flag variety and category $\mathcal{O}$ Part 1 | The aim of these two talks is to understand the main results of [BGS], section 3 and the concept of mixedness in section 4 until 4.4. The first talk covers section 3.1-3.4. Give quick definitions of the bounded derived category with constructible cohomology and the perverse t-structure and the category of perverse sheaves with respect to a stratification. Also the simple objects should be described and that the category of perverse sheaves is an abelian length category (e.g. [HTT], chapter 8, [Ar]). Then explain the Schubert cell decomposition of $G/P$. Prove that the category of perverse sheaves with respect to this stratification has enough projectives and calculate some extension groups, [BGS], Thm 3.3.1, Thm 3.4.1, Prop 3.4.2. |
| 8 | Perverse sheaves on the flag variety and category $\mathcal{O}$ Part 2 | Give a short introduction to category $\mathcal{O}$. Explain [BGS], section 1.3. The main result is [BGS] Thm 3.5.3 which extends Prop 3.5.2. Koszulness of the rings $A_Q, A^Q$. Explain the notion of mixedness and what it means in the considered example (see section 4.1-4.4). A generalization can be found in [Ba]. |
| 9 | Koszulness from Frobenius splitting | The aim of this talk is to prove Theorem~2.2 of [Be]. The paper is mostly self contained, but it would be useful to provide some background and further details on some of the proofs involving homological algebra in categories of coherent sheaves. Another source is [IM]. |
| 10 | dg-categories and derived categories | This is an introductory talk intended to provide the background for the talks which follow. To begin with, dg-categories, dg-functors, and natural transformations of dg-functors should be introduced. The dg-category of dg-modules over a dg-category can then be explained as well as the notions of quasi-isomorphism, acyclicity, and K-projectivity of dg-modules. Finally, the derived category of a dg-category should be introduced and some of its elementary properties should be explained e.g., that the compact objects are given by the perfect complexes. Enhancements of triangulated categories by dg-categories should be briefly mentioned. Suggested references for this talk are [K], and Section 3 of [KL] which provides a helpful, if brief, overview. |
| 11 | Generators for triangulated categories | The first part of the talk should cover classical generators for triangulated categories, following for example [Rou08], as well as giving examples (for instance that for a ring $R$ the category of perfect complexes $\mathsf{D}^\mathrm{perf}(R)$ is clasically generated by $R$ and that the perfect complexes over a dg-category with finitely many objects is clasically generated by the sum of the representable dg-modules). The second part of the talk should give an introduction to Keller's theorem [K] Theorem 4.3 that an algebraic triangulated category $\mathsf{T}$ with a generator $g$ is equivalent to the derived category of the dg-endomorphism algebra of $g$ and the corresponding statement for essentially small algebraic triangulated categories (a complete proof is not expected, a sketch of the ideas would be more than sufficient). In particular, the special case where the dg-endomorphism algebra of $g$ is formal and so one just gets a tilting object should be covered. |
| 12 | Examples of Koszul dualities via dg categories | he aim of this talk is to give some examples of Koszul duality from the point of view of dg-categories using the machinery developed in the preceding two talks. The first, and canonical example (which occurs earlier), is the BGG correspondence relating exterior and symmetric algebras: it should be shown that this example can be understood by analysing the endomorphism dga of the trivial module in the stable category of the exterior algebra. More generally, one can use these techniques to understand Theorem~36 [MVM], which should be explained. |
| 13 | Koszulness from exceptional collections | The aim of this talk is to present a proof of Corollary~7.3 of [B2], relating the Koszul property of the endomorphism algebra of a strong exceptional collection to the left dual of this collection being strong. Basically the talk should consist of introducing the necessary concepts (such as strong exceptional collections and left duals) and proving the corollary, as well as providing examples. Useful references are [B1], [B2], [B3], for the method of helices, see also [BP]. |
| 14 | Koszul duality of strict polynomial functors | This talk should give some details on another instance of Koszul duality, namely its avatar for strict polynomial functors. A rough outline of Ringel/Koszul duality in this context should be given, with a focus on the relationship between divided, symmetric, and exterior powers which gives rise to it. The original source is [Tou13] but an excellent overview is given in [Kr]. |
| 15 | Koszul duality for operads | This is another survey talk intended to give a brief introduction to another aspect of Koszul duality. The main result which should be explained is the duality between the operads for commutative algebras and Lie algebras. A (very) brief introduction to operads (focussing on examples) should be given, together with an explanation of the operads associated to commutative, associative, and Lie algebras. Koszul duality for operads should then be introduced (at least the idea) and the main results concerning the Koszul duals of the commutative and associative operads stated. A suggested reference is [GK] although there are many other sources. |