Invariance of log Lefschetz classes under prime-to-order powers

Let f:VUf:V\to U be a finite étale morphism of connected separated and smooth schemes of finite type purely of dimension dd over a perfect field FF, and let σ\sigma be a non-trivial automorphism of VV over UU. For an automorphism τ\tau of VV over UU, write (Γτ,ΔV)log(\Gamma_\tau,\Delta_{\overline V})^{\log} for its log Lefschetz class, where ΓτV×UV\Gamma_\tau\subset V\times_U V is the graph of τ\tau. Invariance conjecture. If jj is an integer prime to the order of σ\sigma, then

(Γσ,ΔV)log=(Γσj,ΔV)log.(\Gamma_\sigma,\Delta_{\overline V})^{\log}=(\Gamma_{\sigma^j},\Delta_{\overline V})^{\log}.

This is an expected symmetry of log Lefschetz classes under generators of the same cyclic subgroup; the supplied text gives no resolution, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Kazuya Kato and Takeshi Saito, “Ramification theory for varieties over a perfect field”, arXiv:math/0402010 (2005).

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.