Natural S1S^{1}-equivariant lift of the trace for derived categorical sheaves

At least 17 years old · documented by

Let XX be a scheme or algebraic stack, let T∈Dgparf(X)T\in Dg_{parf}(X) be a perfect derived categorical sheaf, and let p:LX⟶Xp:\mathrm{L}X\longrightarrow X be the natural morphism. The pullback p∗(T)p^{*}(T) has an autoequivalence uu, whose trace is a perfect complex

Tr(u)∈End‾Dgparf(LX)(1)=Dparf(LX).Tr(u)\in \underline{End}_{Dg_{parf}(\mathrm{L}X)}(1)=D_{parf}(\mathrm{L}X).

Natural lift conjecture. The complex Tr(u)Tr(u) has a natural lift

TrS1(u)∈DparfS1(LX),Tr^{S^{1}}(u)\in D^{S^{1}}_{parf}(\mathrm{L}X),

where DparfS1(LX)D^{S^{1}}_{parf}(\mathrm{L}X) is the S1S^{1}-equivariant perfect derived category of LX\mathrm{L}X. The conjecture requires a natural lift, not merely the existence of some lift.

This lift is intended to provide the S1S^{1}-equivariant refinement needed in the construction of the Chern character for derived categorical sheaves. The source notes that it is difficult to characterize the required lift by specific properties; the conjecture is resolved by the subsequent application to rigid symmetric monoidal (1,∞)(1,\infty)-categories.

References

Primary source

B. Toën and G. Vezzosi, “A note on Chern character, loop spaces and derived algebraic geometry”, arXiv:0804.1274 (2008).

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.