Lefschetz fixed point theorems for Fourier-Mukai functors and DG algebras (Q713402): Difference between revisions

In the paper under review the author proves several variants of the Lefschetz fixed point (LFP) theorem. In the first part an algebro-geometric setting is considered. Namely, let \(X\) and \(Y\) be smooth projective varieties over a field \(k\) and let \(\Phi_E\) be the usual Fourier--Mukai functor \(\Phi_E: D^b(X)\rightarrow D^b(Y)\) between the bounded derived categories of coherent sheaves on \(X\) and \(Y\) defined by an object \(E\in D^b(X\times Y)\). Given an object \(E\in D^b(X\times X)\), define its Hochschild homology \(HH_i(E)\) to be \(\text{Hom}^{-i}(\mathcal{O}_X,\Delta^*E)\), where \(\Delta\) is the diagonal morphism and all functors are derived. Note that with this definition the total space \(HH_\bullet(E)\) is finite-dimensional and that \(HH_i(\Delta_*\mathcal{O}_X)=:HH_i(X)=\text{Hom}^{-i}(\mathcal{O}_X,\Delta^*\Delta_*\mathcal{O}_X)\). The Hochschild homology of a variety \(X\) has several nice properties, in particular, a Fourier--Mukai functor \(\Phi_E\) as above induces a linear map of graded spaces \(HH_\bullet(X)\rightarrow HH_\bullet(Y)\). For \(X=Y\) one gets an endomorphism and the first LFP-type theorem proved in this paper is the equality \(\sum_i (-1)^i\text{dim} HH_i(E)=\sum_j (-1)^j \text{Tr}HH_j(\Phi_E)\). Next, if \(k=\mathbb{C}\), one can consider singular cohomology \(H^\bullet(X,\mathbb{C})\). A Fourier--Mukai functor \(\Phi_E\) induces a map \(H^\bullet(\Phi_E)\) on cohomology which preserves the parity of the cohomological degree. In this setting and if \(X=Y\), one gets \(\sum_i (-1)^i\text{dim}HH_i(E)=\text{Tr}H^{ev}(\Phi_E)-\text{Tr}H^{odd}(\Phi_E)\). One can also study singular homology \(H_\bullet(X,\mathbb{C})\). For a map \(f: X\rightarrow X\), consider the structure sheaf \(\mathcal{O}_{\Gamma(f)}\) of the graph of \(f\). The author proves that \(\sum_i (-1)^i\text{dim} HH_i(\mathcal{O}_{\Gamma(f)})=\sum_j(-1)^j\text{Tr}H_j(f)\), where \(H_j(f)\) is the linear map induced by \(f\) on the \(j\)-th piece of the homology. The above results are proved in Sections 3, 4 and 5, respectively, while Section 6 establishes a LFT-type theorem for two maps between different spaces. In the second part of the paper the focus shifts to a categorical setting. Namely, let \(A\) be a smooth and proper DG algebra over a field \(k\) and consider the triangulated category of perfect DG \(A\)-modules \(\text{Perf}(A)\). A perfect DG bimodule \(M\) defines an endofunctor of \(\text{Perf}(A)\) by the formula \(\Phi_M(B)=B\otimes^L_A M\). One can define Hochschild homology of \(A\) and \(M\), the functor \(\Phi_M\) induces a map on the Hochschild homology of \(A\) and the final result of the paper is the equality \(\sum_i(-1)^i\text{dim}HH_i(M)=\sum_j(-1)^j\text{Tr}HH_j(\Phi_M)\).