Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2109.02010

Poisson boundary on full Fock space

B. V. Rajarama Bhat·Panchugopal Bikram·Sandipan De·Narayan Rakshit
View original source ↗Read source document ↗Export metadata ↓

Abstract

This article is devoted to studying the non-commutative Poisson boundary associated with $\Big(B\big(\mathcal{F}(\mathcal{H})\big), P_ω\Big)$ where $\mathcal{H}$ is a separable Hilbert space (finite or infinite-dimensional), $\dim \mathcal{H} > 1$, with an orthonormal basis $\mathcal{E}$, $B\big(\mathcal{F}(\mathcal{H})\big)$ is the algebra of bounded linear operators on the full Fock space $\mathcal{F}(\mathcal{H})$ defined over $\mathcal{H}$, $ω= \{ω_e : e \in \mathcal{E} \}$ is a sequence of positive real numbers such that $\sum_e ω_e = 1$ and $P_ω$ is the Markov operator on $B\big(\mathcal{F}(\mathcal{H})\big)$ defined by \begin{align*} P_ω(x) = \sum_{e \in \mathcal{E}} ω_e l_e^* x l_e, \ x \in B\big(\mathcal{F}(\mathcal{H})\big), \end{align*} where, for $e \in \mathcal{E}$, $l_e$ denotes the left creation operator associated with $e$. The non-commutative Poisson boundary associated with $\Big(B\big(\mathcal{F}(\mathcal{H})\big), P_ω\Big)$ turns out to be an injective factor of type $III$ for any choice of $ω$. Moreover, if $\mathcal{H}$ is finite-dimensional, we completely classify the Poisson boundary in terms of its Connes $S$-invarinat and curiously they are type $III _{λ}$ factors with $λ$ belonging to a certain small class of algebraic numbers.

Explore related subjects

math.OAmath.FA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

B. V. Rajarama Bhat, Panchugopal Bikram, Sandipan De, Narayan Rakshit. 2022-02-16. Poisson boundary on full Fock space. https://arxiv.org/abs/2109.02010

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

KEEP EXPLORING

Related papers

arXiv2026

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↗
arXiv2026

$\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↗
arXiv2026

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↗