• Interaction With Direct Images With Compact Support. Let $f\colon X\to X'$ and $g\colon Y\to Y'$ be functions. The diagram

    commutes, i.e. we have

    \[ \webleft [f_{!}\times g_{!}\webright ]\webleft (U\boxtimes _{X\times Y}V\webright )=f_{!}\webleft (U\webright )\boxtimes _{X'\times Y'}g_{!}\webleft (V\webright ) \]

    for each $\webleft (U,V\webright )\in \mathcal{P}\webleft (X\webright )\times \mathcal{P}\webleft (Y\webright )$.


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: