Search arXiv⌕ Search

arXiv · 2409.14414

Campanato spaces via quantum Markov semigroups on finite von Neumann algebras

Abstract

We study the Campanato spaces associated with quantum Markov semigroups on a finite von Neumann algebra $\mathcal M$. Let $\mathcal T=(T_{t})_{t\geq0}$ be a Markov semigroup, $\mathcal P=(P_{t})_{t\geq0}$ the subordinated Poisson semigroup and $α>0$. The column Campanato space ${\mathcal{L}^{c}_α(\mathcal{P})}$ associated to $\mathcal P$ is defined to be the subset of $\mathcal M$ with finite norm which is given by \begin{align*} \|f\|_{\mathcal{L}^{c}_α(\mathcal{P})}=\left\|f\right\|_{\infty}+\sup_{t>0}\frac{1}{t^α}\left\|P_{t}|(I-P_{t})^{[α]+1}f|^{2}\right\|^{\frac{1}{2}}_{\infty}. \end{align*} The row space ${\mathcal{L}^{r}_α(\mathcal{P})}$ is defined in a canonical way. In this article, we will first show the surprising coincidence of these two spaces ${\mathcal{L}^{c}_α(\mathcal{P})}$ and ${\mathcal{L}^{r}_α(\mathcal{P})}$ for $0<α<2$. This equivalence of column and row norms is generally unexpected in the noncommutative setting. The approach is to identify both of them as the Lipschitz space ${Λ_α(\mathcal{P})}$. This coincidence passes to the little Campanato spaces $\ell^{c}_α(\mathcal{P})$ and $\ell^{r}_α(\mathcal{P})$ for $0<α<\frac{1}{2}$ under the condition $Γ^{2}\geq0$. We also show that any element in ${\mathcal{L}^{c}_α(\mathcal{P})}$ enjoys the higher order cancellation property, that is, the index $[α]+1$ in the definition of the Campanato norm can be replaced by any integer greater than $α$. It is a surprise that this property holds without further condition on the semigroup. Lastly, following Mei's work on BMO, we also introduce the spaces ${\mathcal{L}^{c}_α(\mathcal{T})}$ and explore their connection with ${\mathcal{L}^{c}_α(\mathcal{P})}$. All the above-mentioned results seem new even in the (semi-)commutative case.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Guixiang Hong, Yuanyuan Jing. 2024-09-22. Campanato spaces via quantum Markov semigroups on finite von Neumann algebras. https://arxiv.org/abs/2409.14414

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Simplicity of reduced crossed products

We characterize the simplicity of reduced crossed product C*-algebras in terms of stabilizer subgroups. Specifically, we prove that if $G$ is a countable group and $X$ is a minimal $G$-flow, then the reduced crossed product C*-algebra $\mathrm{C}(X) \times_λG$ is simple if and only if there is a point in $X$ with a C*-simple stabilizer subgroup. Further, these conditions are equivalent to a generic point in $X$ having a C*-simple stabilizer subgroup. We also provide an example demonstrating that this result does not extend to uncountable groups. This completely resolves a question of Ozawa.

math.OA↗

$\mathrm{C}^*$-selflessness of vigorous groups

We prove that countable groups which admit a faithful piecewise minimal-extremely-proximal action on the Cantor set are $\mathrm{C}^*$-selfless. In particular, topological full groups of second countable, Hausdorff, minimal, purely infinite, topologically principal, ample groupoids with compact unit spaces are $\mathrm{C}^*$-selfless. Examples include the Higman--Thompson groups and the Brin--Thompson groups.

math.OA↗

A computable wandering and tracelike vector for modular orbits in the Bergman space

We construct a function $Φ$ such that the orbit under the representation of PSL(2,Z) is an orthonormal basis for the Bergman space with weight $α=12$. Moreover, we show that $Φ$ is effectively computable as a holomorphic function on the upper half-plane (in the precise sense of computable analysis), by providing an effective procedure. This constructs a wandering and tracelike vector for PSL(2,Z), whose abstract existence was proved by Sir Vaughan Jones in his last paper, where the corresponding construction was left as a problem. The function is built using an orthonormalization and modularization method, and it displays modular reminiscencies, despite not being modular itself. provides a computable implementing vector for the abstract anti-isomorphism between the von Neumann algebra $M_{12}(Γ)$ and its commutant, which is generated, in Rădulescu's sense, by cusp-form Toeplitz operators, while Voiculescu's results provide a random matrix model for $M_{12}(Γ)$.

math.OA↗