Algebraic aspects of hypergeometric differential equations

We review some classical and modern aspects of hypergeometric differential equations, including A-hypergeometric systems of Gel$$'$$ ′ fand, Graev, Kapranov and Zelevinsky. Some recent advances in this theory, such as Euler–Koszul homology, rank jump phenomena, irregularity questions and Hodge theoretic aspects are discussed with more details. We also give some applications of the theory of hypergeometric systems to toric mirror symmetry.

Tilting classes over commutative rings

We classify all tilting classes over an arbitrary commutative ring via certain sequences of Thomason subsets of the spectrum, generalizing the classification for noetherian commutative rings by Angeleri, Pospíšil, ŠÅ¥ovíček and Trlifaj (2014). We show that the n-tilting classes can equivalently be expressed as classes of all modules vanishing in the first n degrees of one of the following homology theories arising from a finitely generated ideal: {\operatorname{Tor}_{*}(R/I,-)}, Koszul homology, Čech homology, or local homology (even though in general none of those theories coincide). Cofinite-type n-cotilting classes are described by vanishing of the corresponding cohomology theories. For any cotilting class of cofinite type, we also construct a corresponding cotilting module, generalizing the construction of Šťovíček, Trlifaj and Herbera (2014). Finally, we characterize cotilting classes of cofinite type amongst the general ones, and construct new examples of n-cotilting classes not of cofinite type, which are in a sense hard to tell apart from those of cofinite type.

DETECTING KOSZULNESS AND RELATED HOMOLOGICAL PROPERTIES FROM THE ALGEBRA STRUCTURE OF KOSZUL HOMOLOGY

Let $k$ be a field and $R$ a standard graded $k$-algebra. We denote by $\operatorname{H}^{R}$ the homology algebra of the Koszul complex on a minimal set of generators of the irrelevant ideal of $R$. We discuss the relationship between the multiplicative structure of $\operatorname{H}^{R}$ and the property that $R$ is a Koszul algebra. More generally, we work in the setting of local rings and we show that certain conditions on the multiplicative structure of Koszul homology imply strong homological properties, such as existence of certain Golod homomorphisms, leading to explicit computations of Poincaré series. As an application, we show that the Poincaré series of all finitely generated modules over a stretched Cohen–Macaulay local ring are rational, sharing a common denominator.

KOSZUL CALCULUS

We present a calculus that is well-adapted to homogeneous quadratic algebras. We define this calculus on Koszul cohomology – resp. homology – by cup products – resp. cap products. The Koszul homology and cohomology are interpreted in terms of derived categories. If the algebra is not Koszul, then Koszul (co)homology provides different information than Hochschild (co)homology. As an application of our calculus, the Koszul duality for Koszul cohomology algebras is proved foranyquadratic algebra, and this duality is extended in some sense to Koszul homology. So, the true nature of the Koszul duality theorem is independent of any assumption on the quadratic algebra. We compute explicitly this calculus on a non-Koszul example.