My questions are the following (from this paper of Arinkin-Gaitsgory):
Q1 Let $P \subset G$ be algebraic groups (in my case, $P$ being a parabolic subgroup of a reductive group $G$, but the following should hold in more generality). The natural map (of algebraic stacks) induces a map $\alpha: pt/P \times_{\mathfrak{p}/P} pt/P \rightarrow pt/G \times_{\mathfrak{g}/G} pt/G$. Let $\Delta: pt/G \rightarrow pt/G \times_{\mathfrak{g}/G} pt/G$ be the diagonal map (and abusing notation, denote also by $\Delta$ the corresponding map for $P$ instead of $G$). Let $\Delta_G = \Delta_* \mathcal{\omega}_{pt/G}$, and define $\Delta_P$ similarly (where $\omega$ denotes the canonical sheaf).
Is it true that $\alpha^{!} \Delta_G = \Delta_P$, and if so, why?
Q2 It is stated on pg $97$ of that paper that $End(\Delta_G)=Sym_{\mathcal{O}_{pt/G}}(\mathfrak{g}/G[-2])$. How is this statement proven? (It is used to formulate a Koszul duality-type result; I was having trouble unwinding the explanation given in that paper.)
Consider the same statement where one gets rid of the $G$-equivariance (i.e. replacing $pt/G$ by $pt$ and $\mathfrak{g}/G$ by $\mathfrak{g}$). If it's easier to answer the above question in this setting, I would also be happy with that. I understand this statement is similar to Koszul duality between the exterior and symmetric algebras.
Q3 On the same page, it is also stated that $\mathcal{F} \rightarrow Hom(\Delta_G, \mathcal{F})$ is an equivalence between $IndCoh(pt/G \times_{\mathfrak{g}/G} pt/G) \rightarrow Mod(End(\Delta_G))$. Why is this true? Again, I was having trouble unwinding the explanation given on that page and in $5.3$.
