Table of Contents
Fetching ...

A note on Hilbert transform over lattices of $\mathrm{PSL}_2(\mathbb{C})$

Jorge Pérez García

TL;DR

The paper analyzes L_p-bounded Fourier multipliers on group von Neumann algebras arising from PSL$_2(\mathbb{C})$, focusing on a symbol $m$ obtained by lifting a hyperbolic partition to PSL$_2(\mathbb{C})$ and restricting to arithmetic lattices $\Gamma_n = \mathrm{PSL}_2(\mathbb{Z}[\sqrt{-n}])$ and Bianchi groups. Building on the non-commutative Cotlar framework, it identifies a kernel set $K_n = \{g\in\Gamma_n: m(g)=0\}$, decomposes it into $K_n^+$ and $K_n^-$ (with extra $L_n^\pm$ pieces in the Bianchi setting), and proves that $m$ is left $(K_n,\chi)$-equivariant with a sign character $\chi$; this structural control enables verification of the Cotlar identity on $\Gamma_n$, yielding L_p-boundedness of the associated multiplier $T_m$ on $L_p(\mathcal{L}\Gamma_n)$ for all $1<p<\infty$ with norm growth $\lesssim\left(\frac{p^2}{p-1}\right)^\beta$ where $\beta=1+\log_2(1+\sqrt{2})$. The work further explores when Cotlar-type control holds on Bianchi groups, showing obstructions for the original $m$ (notably for $n\equiv -1\pmod{4}$) but obtaining Cotlar identity for an alternative multiplier $\widetilde{m}$ induced by a different hyperbolic plane, which holds on $\mathrm{PSL}_2(\mathbb{Z}[i])$ and most $\Gamma_n'$ with $n\neq 3$. Together, these results extend Cotlar-based L_p-boundedness to arithmetic lattices in $\mathrm{PSL}_2(\mathbb{C})$ and provide practical tools for non-commutative harmonic analysis on these groups.

Abstract

González-Pérez, Parcet and Xia introduced recently a framework to study $L_p$-boundedness of certain families of idempotent multipliers on von Neumann algebras. It includes symbols $m\colon \mathrm{PSL}_2(\mathbb{C})\to \mathbb{R}$ arising from lifting the indicator function of a partition $\{Σ^+,Σ^+,Σ^-\}$ of the hyperbolic space $\mathbb{H}^3$ to its isometry group $\mathrm{PSL}_2(\mathbb{C})$. The boundedness of $T_m$ on $L_p(\mathcal{L} \mathrm{PSL}_2(\mathbb{C}))$ was disproved by Parcet, de la Salle and Tablate. Nevertheless, we will show that this Fourier multiplier is bounded when restricted to the arithmetic lattices $\mathrm{PSL}_2(\mathbb{Z}[\sqrt{-n}])$, solving a question left open by the first named authors.

A note on Hilbert transform over lattices of $\mathrm{PSL}_2(\mathbb{C})$

TL;DR

The paper analyzes L_p-bounded Fourier multipliers on group von Neumann algebras arising from PSL, focusing on a symbol obtained by lifting a hyperbolic partition to PSL and restricting to arithmetic lattices and Bianchi groups. Building on the non-commutative Cotlar framework, it identifies a kernel set , decomposes it into and (with extra pieces in the Bianchi setting), and proves that is left -equivariant with a sign character ; this structural control enables verification of the Cotlar identity on , yielding L_p-boundedness of the associated multiplier on for all with norm growth where . The work further explores when Cotlar-type control holds on Bianchi groups, showing obstructions for the original (notably for ) but obtaining Cotlar identity for an alternative multiplier induced by a different hyperbolic plane, which holds on and most with . Together, these results extend Cotlar-based L_p-boundedness to arithmetic lattices in and provide practical tools for non-commutative harmonic analysis on these groups.

Abstract

González-Pérez, Parcet and Xia introduced recently a framework to study -boundedness of certain families of idempotent multipliers on von Neumann algebras. It includes symbols arising from lifting the indicator function of a partition of the hyperbolic space to its isometry group . The boundedness of on was disproved by Parcet, de la Salle and Tablate. Nevertheless, we will show that this Fourier multiplier is bounded when restricted to the arithmetic lattices , solving a question left open by the first named authors.
Paper Structure (4 sections, 14 theorems, 49 equations)

This paper contains 4 sections, 14 theorems, 49 equations.

Key Result

Theorem A

For any integer $n>0$, the symbol $m$ restricted to the group $\Gamma_n$ defines a bounded Fourier multiplier in $L_p(\mathcal{L}\,\Gamma_n)$ for all $1<p<\infty$, whose norm satisfies:

Theorems & Definitions (28)

  • Theorem A
  • Theorem 1.1
  • Proposition 1.2
  • Proposition 1.3
  • Lemma 2.1
  • proof
  • Theorem B
  • proof
  • Remark 2.2
  • Remark 2.3
  • ...and 18 more