The sharp norm conjecture for the (j,k)(j,k)-plane transform

Let 0j<k<n0\le j<k<n. For a measurable function ff on the affine Grassmannian An,j\mathcal A_{n,j}, let Rj,kfR_{j,k}f denote its (j,k)(j,k)-plane transform on An,k\mathcal A_{n,k}, and set

p=n+1k+1,q=n+1j+1,Ωj,k(n)=(σjknσknjσnjk)1/(n+1).p=\frac{n+1}{k+1},\qquad q=\frac{n+1}{j+1},\qquad \Omega_{j,k}(n)=\left(\sigma_j^{k-n}\sigma_k^{n-j}\sigma_n^{j-k}\right)^{1/(n+1)}.

The sharp norm conjecture for the (j,k)(j,k)-plane transform. One has

Rj,kfLq(An,k)Ωj,k(n)fLp(An,j),\lVert R_{j,k}f\rVert_{L^q(\mathcal A_{n,k})}\leq \Omega_{j,k}(n)\,\lVert f\rVert_{L^p(\mathcal A_{n,j})},

where Ωj,k(n)\Omega_{j,k}(n) is the norm of Rj,kR_{j,k}, and equality holds if and only if

f(ζ)=c(1+Mζ2)(k+1)/2,ζAn,j,f(\zeta)=c\,(1+\lvert M\zeta\rvert^2)^{-(k+1)/2},\qquad \zeta\in\mathcal A_{n,j},

with cc constant and MM an invertible affine map.

This conjecture would give a complete analogue for (j,k)(j,k)-transforms of the sharp kk-plane transform theorem, including both the optimal constant and all extremizers. The source states that this analogue is unknown; no resolution is supplied here.

Sources & referencesView supporting material

Primary source

Boris Rubin, “Norm Estimates for k-Plane Transforms and Geometric Inequalities”, arXiv:1801.00186 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.