Kuznetsov–Smirnov Grassmannian residual-category conjecture

From papers

Let X=Gr(k,n)X=\operatorname{Gr}(k,n) be the Grassmannian, and let μ(d)\mu(d) be the Möbius function. Define

Rk,n=dgcd(k,n), d>1μ(d)(n/dk/d).R_{k,n}=-\sum_{d\mid\gcd(k,n),\ d>1}\mu(d)\binom{n/d}{k/d}.

Kuznetsov–Smirnov Grassmannian residual-category conjecture. The category \Db(X)\Db(X) has a rectangular Lefschetz collection whose residual category is generated by Rk,nR_{k,n} completely orthogonal objects. Here μ(d)=1\mu(d)=1 when dd is square-free with an even number of prime factors, μ(d)=1\mu(d)=-1 when it is square-free with an odd number of prime factors, and μ(d)=0\mu(d)=0 when dd has a squared prime factor. The conjecture is known when gcd(k,n)=1\gcd(k,n)=1, when the residual category vanishes, and when kk is prime; the general case remains open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Alexander Kuznetsov, “Semiorthogonal decompositions in families”, arXiv:2111.00527 (2021).

Solutions 0

No solutions have been posted yet.