Reverse stratification conjecture for de Rham prismatic crystals

Let KK be the coefficient field, let Ml(K)M_l(K) denote the algebra of l×ll\times l matrices over KK, and let {Bm,1}\{B_{m,1}\} be a sequence in Ml(K)M_l(K). Define matrices Am,nA_{m,n} by

A0,0=I,Ai,0=0(i>0),Am,1=Bm,1,A_{0,0}=I,\qquad A_{i,0}=0\quad (i>0),\qquad A_{m,1}=B_{m,1},

and

Am,n+1=(β(nm)+A0,1)Am,n+i+j=m\im1(Aj,1+(ni)θ1,j)Ai,n.A_{m,n+1}=(\beta(n-m)+A_{0,1})A_{m,n}+\sum_{\substack{i+j=m\i\leq m-1}}(A_{j,1}+(n-i)\theta_{1,j})A_{i,n}.

Assume also that

limn+i=0n(iE(π)+B0,1)=0.\lim_{n\to+\infty}\prod_{i=0}^n(iE'(\pi)+B_{0,1})=0.

Reverse stratification conjecture. The expression

ε(e)=em0(n0Am,nX[n])tm\varepsilon(\underline{e})=\underline e\cdot \sum_{m\geq0}\left(\sum_{n\geq 0}A_{m,n}X^{[n]}\right)t^m

can serve as the stratification associated to a certain prismatic de Rham crystal; equivalently, it satisfies the cocycle condition.

Sources & referencesView supporting material

Primary source

Zeyu Liu, “De Rham prismatic crystals over O_K”, arXiv:2205.14914 (2022).

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.