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

From papers

Let XX be a scheme or algebraic stack, let TDgparf(X)T\in Dg_{parf}(X) be a perfect derived categorical sheaf, and let p:LXXp:\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)EndDgparf(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.

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

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

Solutions 0

No solutions have been posted yet.