On trilinear oscillatory integrals (Q742889)

The investigation of multilinear oscillatory integrals with modulation invariances was initiated in the seminal paper [\textit{M. Christ} et al., Duke Math. J. 130, No. 2, 321--351 (2005; Zbl 1119.42005)]. The paper under review studies trilinear oscillatory integrals \[ I(P;f_1,f_2,f_3) := \int_{\mathbb{R}^{2\kappa}} e^{iP(x,y)} f_1(x) f_2(y) f_3(x+y) \eta(x,y) dx dy, \] where \(P\) is a polynomial of degree at most \(d\), while \(\eta\) is a smooth compactly supported function, and establishes decay estimates of the form \[ |I(P;f_1,f_2,f_3)| \leq C (1+\|P\|_{nd})^{-\epsilon} \prod_{j=1}^{3}\|f_j\|_{\mathrm{L}^{2}(\mathbb{R}^\kappa)}. \] Here \(\|\cdot\|_{nd}\) denotes some norm on the quotient space of the polynomials of degree at most \(d\) by degenerate polynomials (i.e. sums of the polynomials in \(x\), \(y\), or \(x+y\) alone), while the constants \(\epsilon\) and \(C\) are allowed to depend on \(\kappa\), \(d\), and \(\eta\). This result is new when \(\kappa\geq 2\), as the techniques developed prior to this paper were applicable only when either the functions are one-dimensional or they are defined on subspaces of small codimension. Also, the general case when the three functions \(f_1,f_2,f_3\) are composed with three surjective maps from \(\mathbb{R}^{2\kappa}\) to \(\mathbb{R}^\kappa\) with mutually transverse nullspaces can be reduced to the case stated above. The authors invent a reduction argument that decomposes the functions into appropriate ``structured'' and ``pseudorandom'' parts.