2 problems

Let $X$ be a smooth scheme over a field of characteristic $p$. Write $X_{\mathrm{fpqc}}$ for its fpqc site, let $T_{X/k}$ be its tangent bundle, and let $T_{X/k}^{\sharp}$ be the f…

Bhatt–Lurie’s conjecture. The class $\alpha_{{\mathrm F}}({\mathfrak X}_0)$ is the obstruction class for lifting ${\mathrm F}_{{\mathfrak X}_0}$ over $\phi_A:A_1\to A_1$.