In the context of varieties of representations of arbitrary quivers, possibly carrying loops, we define a generalization of Lusztig Lagrangian subvarieties. From the combinatorial study of their irreducible components arises a structure richer than the usual Kashiwara crystals. Along with the geometric study of Nakajima quiver varieties, in the same context, this yields a notion of generalized crystals, coming with a tensor product. As an application, we define the semicanonical basis of the Hopf algebra generalizing quantum groups, which was already equipped with a canonical basis. The irreducible components of the Nakajima varieties provide the family of highest weight crystals associated to dominant weights, as in the classical case.

Harm Derksen made a conjecture concerning degree bounds for the syzygies of rings of polynomial invariants in the non-modular case [Degree bounds for syzygies of invariants, Adv. Math. 185 (2004), 207–214]. We provide counterexamples to this conjecture, but also prove a slightly weakened version. We also prove some general results that give degree bounds on the homology of complexes and of $\text{Tor}\,$ groups.

Using twisted nearby cycles, we define a new notion of slopes for complex holonomic ${\mathcal{D}}$ -modules. We prove a boundedness result for these slopes, study their functoriality and use them to characterize regularity. For a family of (possibly irregular) algebraic connections ${\mathcal{E}}_{t}$ parametrized by a smooth curve, we deduce under natural conditions an explicit bound for the usual slopes of the differential equation satisfied by the family of irregular periods of the ${\mathcal{E}}_{t}$ . This generalizes the regularity of the Gauss–Manin connection proved by Griffiths, Katz and Deligne.

In this work we prove the so-called dimension property for the cohomological field theory associated with a homogeneous polynomial $W$ with an isolated singularity, in the algebraic framework of [A. Polishchuk and A. Vaintrob, Matrix factorizations and cohomological field theories, J. Reine Angew. Math. 714 (2016), 1–122]. This amounts to showing that some cohomology classes on the Deligne–Mumford moduli spaces of stable curves, constructed using Fourier–Mukai-type functors associated with matrix factorizations, live in prescribed dimension. The proof is based on a homogeneity result established in [A. Polishchuk and A. Vaintrob, Algebraic construction of Witten’s top Chern class, in Advances in algebraic geometry motivated by physics (Lowell, MA, 2000) (American Mathematical Society, Providence, RI, 2001), 229–249] for certain characteristic classes of Koszul matrix factorizations of $0$ . To reduce to this result, we use the theory of Fourier–Mukai-type functors involving matrix factorizations and the natural rational lattices in the relevant Hochschild homology spaces, as well as a version of Hodge–Riemann bilinear relations for Hochschild homology of matrix factorizations. Our approach also gives a proof of the dimension property for the cohomological field theories associated with some quasihomogeneous polynomials with an isolated singularity.

For a prime number $p$ , we show that differentials $d_{n}$ in the motivic cohomology spectral sequence with $p$ -local coefficients vanish unless $p-1$ divides $n-1$ . We obtain an explicit formula for the first non-trivial differential $d_{p}$ , expressing it in terms of motivic Steenrod $p$ -power operations and Bockstein maps. To this end, we compute the algebra of operations of weight $p-1$ with $p$ -local coefficients. Finally, we construct examples of varieties having non-trivial differentials $d_{p}$ in their motivic cohomology spectral sequences.

Let $F$ be a totally real field in which a prime $p$ is unramified. We define the Goren–Oort stratification of the characteristic- $p$ fiber of a quaternionic Shimura variety of maximal level at $p$ . We show that each stratum is a $(\mathbb{P}^{1})^{r}$ -bundle over other quaternionic Shimura varieties (for an appropriate integer $r$ ). As an application, we give a necessary condition for the ampleness of a modular line bundle on a quaternionic Shimura variety in characteristic $p$ .