A Sharpened Inequality for Twisted Convolution

Abstract: Consider the trilinear form for twisted convolution on $\mathbb{R}^{2d}$: \begin{equation*} \mathcal{T}_t(\mathbf{f}):=\iint f_1(x)f_2(y)f_3(x+y)e^{it\sigma(x,y)}dxdy,\end{equation*} where $\sigma$ is a symplectic form and $t$ is a real-valued parameter. It is known that in the case $t\neq0$ the optimal constant for twisted convolution is the same as that for convolution, though no extremizers exist. Expanding about the manifold of triples of maximizers and $t=0$ we prove a sharpened inequality for twisted convolution with an arbitrary antisymmetric form in place of $\sigma$.