Relation between two twisted inverse image pseudofunctors in duality theory

Srikanth B. Iyengar, Joseph Lipman, Amnon Neeman

Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f^\times right-adjoint to Rf_*, and a pseudofunctor f^! agreeing with f^…