Trace compatibility for obstruction classes of determinants

Let AA0A\to A_0 be a square-zero extension with kernel II, and let XSpecAX\to\operatorname{Spec} A be a flat Artin stack such that

ωX/AOX.\omega_{X/A}\cong\mathscr{O}_X.

Write X0=XAA0X_0=X\otimes_A A_0. Suppose that P0P_0 is a perfect complex on X0X_0 with determinant L0L_0. Let

o(P0)ExtX02(P0,P0LI)o(P_0)\in\operatorname{Ext}^2_{X_0}(P_0,P_0\stackrel{\mathbf{L}}{\otimes} I)

and

o(L0)ExtX02(O,OLI)o(L_0)\in\operatorname{Ext}^2_{X_0}(\mathscr{O},\mathscr{O}\stackrel{\mathbf{L}}{\otimes} I)

be the obstruction classes to deforming P0P_0 and L0L_0 to XX. Trace compatibility conjecture. The trace map

ExtX02(P0,P0LI)ExtX02(O,OLI)\operatorname{Ext}^2_{X_0}(P_0,P_0\stackrel{\mathbf{L}}{\otimes} I)\to\operatorname{Ext}^2_{X_0}(\mathscr{O},\mathscr{O}\stackrel{\mathbf{L}}{\otimes} I)

sends o(P0)o(P_0) to o(L0)o(L_0). This is presented as a generally expected deformation-theoretic compatibility, and the authors indicate that they only need it for a flat family of twisted varieties; no proof or resolution is supplied here.

Sources & referencesView supporting material

Primary source

Katrina Honigs, Max Lieblich and Sofia Tirabassi, “Fourier-Mukai partners of Enriques and bielliptic surfaces in positive characteristic”, arXiv:1708.03409 (2020).

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.