Abstract:A Schur multiplier is a linear map on matrices which acts on its entries by multiplication with some function, called the symbol. We consider idempotent Schur multipliers, whose symbols are indicator functions of smooth Euclidean domains. Given $1<p\neq 2<\infty$, we provide a local characterization (under some mild transversality condition) for the boundedness on Schatten $p$-classes of Schur idempotents in terms of a lax notion of boundary flatness. We prove in particular that all Schur idempotents are modeled on a single fundamental example: the triangular projection. As an application, we fully characterize the local $L_p$-boundedness of smooth Fourier idempotents on connected Lie groups. They are all modeled on one of three fundamental examples: the classical Hilbert transform, and two new examples of Hilbert transforms that we call affine and projective. Our results in this paper are vast noncommutative generalizations of Fefferman's celebrated ball multiplier theorem. They confirm the intuition that Schur multipliers share profound similarities with Euclidean Fourier multipliers |even in the lack of a Fourier transform connection| and complete, for Lie groups, a longstanding search of Fourier $L_p$-idempotents.
What problem does this paper attempt to address?
The core problems that this paper attempts to solve can be summarized as follows:
### Research Objectives
The main objective of the paper is to study the local geometric properties of idempotent Schur multipliers, especially the boundedness conditions of these multipliers on the Schatten $p$-class. Specifically, the author focuses on idempotent Schur multipliers with symbols being the indicator functions of smooth Euclidean domains and provides a local characterization based on boundary flatness.
### Main Problems
1. **Boundedness of Schur Multipliers**:
Given $1 < p \neq 2 < \infty$, the paper attempts to determine the conditions for the boundedness of idempotent Schur multipliers on the Schatten $p$-class. The relationship between this boundedness and the boundary curvature is deeply explored.
2. **Local Characterization of Fourier Idempotents**:
As an application, the paper also attempts to fully characterize the local $L^p$-boundedness of smooth Fourier idempotents on connected Lie groups. These idempotents are proven to be modeled as one of three basic examples: the classical Hilbert transform and its affine and projective variants.
3. **Non - commutative Generalization**:
The results of the paper are a wide generalization of the non - commutative Fefferman - Stein spherical multiplier theorem, revealing the deep similarity between Schur multipliers and Euclidean Fourier multipliers, even in the absence of a Fourier transform connection.
---
### Formula Summary
The following are some key formulas and concepts involved in the paper:
1. **Definition of Schur Multiplier**:
Given a symbol $m \in L^\infty(X\times Y)$, the Schur $S_p$-multiplier is defined as:
$$
S_m(T_K)=(m(x, y)K(x, y))_{x\in X, y\in Y},
$$
where $T_K$ is a Hilbert - Schmidt operator defined by the kernel $K(x, y)$.
2. **Zero - Curvature Condition**:
At the boundary point $(x_0, y_0)$, the boundedness of the Schur multiplier is equivalent to the zero - curvature condition:
$$
T_y(\partial\Sigma_{x_1}) = T_y(\partial\Sigma_{x_2}),
$$
for any $(x_1, y), (x_2, y)\in\partial\Sigma$.
3. **Triangular Truncation Representation**:
The boundedness of the Schur multiplier can also be represented in the following form:
$$
\Sigma\cap(U\times V)=\{(x, y)\in U\times V: f_1(x)>f_2(y)\},
$$
where $f_1: U\rightarrow\mathbb{R}$ and $f_2: V\rightarrow\mathbb{R}$ are $C^1$ functions.
4. **Directional Hilbert Transform Inequality**:
According to Lemma 1.2, the boundedness of the Schur multiplier is equivalent to the square function inequality of the directional Hilbert transform:
$$
\left\|\left(\sum_{j = 1}^N|H_{u_j}(f_j)|^2\right)^{1/2}\right\|_{L^p(\mathbb{R}^n)}\leq C\left\|\left(\sum_{j = 1}^N|f_j|^2\right)^{1/2}\right\|_{L^p(\mathbb{R}^n)}.
$$
5. **Spherical Hilbert Transform**:
The spherical Hilbert transform is defined as:
$$
H_S(A)=(\text{sgn}\langle x, y\rangle A_{xy})_{x, y\in S^n}.
$$