GaitsgoryRozenblyum:arXiv:DGindschemes