Some remarks on the Brylinski--Radon and the Fourier transforms (Q2493042)

The author studies the relationship between the Brylinski-Radon and the Fourier transforms of a monodromic perverse sheaf. It is shown that they are equivalent modulo a constant perverse sheaf. In fact, the author shows the following theorem: There is an isomorphism \[ \text{DR}_{{(\breve{\mathbb P}^1)}^N}\left(\bigotimes_j\mathbb D\breve p_j^\ast M(\lambda, q)\right)\simeq\sigma^!Rad\,^0\text{DR}_{\mathbb P^N}\left(\Delta_0^\dag(\lambda, q)\right) \] in the quotient category \(\text{Perv}\left((\breve{\mathbb P}^1)^N\right)/\alpha^\ast[N]\text{Vect}_\mathbb C\), where \((\breve{\mathbb P}^1)^N{\overset\alpha\longrightarrow}\text{Spec}\,\mathbb C\) is the structure morphism and \(\text{Vect}_\mathbb C\) is the abelian category of finite-dimensional vector spaces over \(\mathbb C\). Here \((\breve{\mathbb P}^1)^N{\overset\sigma\longrightarrow}\text{Sym}^N \breve{\mathbb P}^1\simeq\breve{\mathbb P}^N\) is the natural projection and \(\text{DR}\) denotes the de Rham functor. Moreover, \(\mathbb D\breve p^\ast_j\) is the inverse image functor of D-modules. In order to prove this theorem, the author compares Fourier and Radon transforms. As an application, the relation between the Sklyanin transform and the Brylinski-Radon transform is discussed.