Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · math/0209270

The Martin boundary of a discrete quantum group

S. Neshveyev·L. Tuset
View original source ↗Read source document ↗Export metadata ↓

Abstract

We consider the Markov operator P_phi on a discrete quantum group given by convolution with a q-tracial state phi. In the study of harmonic elements x, P_phi(x)=x, we define the Martin boundary A_phi. It is a separable C*-algebra carrying canonical actions of the quantum group and its dual. We establish a representation theorem to the effect that positive harmonic elements correspond to positive linear functionals on A_phi. The C*-algebra A_phi has a natural time evolution, and the unit can always be represented by a KMS state. Any such state gives rise to a u.c.p. map from the von Neumann closure of A_phi in its GNS representation to the von Neumann algebra of bounded harmonic elements, which is an analogue of the Poisson integral. Under additional assumptions this map is an isomorphism which respects the actions of the quantum group and its dual. Next we apply these results to identify the Martin boundary of the dual of SU_q(2) with the quantum homogeneous sphere of Podles. This result extends and unifies previous results by Ph. Biane and M. Izumi.

Explore related subjects

math.OAmath.PRmath.QA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

S. Neshveyev, L. Tuset. 2003-11-17. The Martin boundary of a discrete quantum group. https://doi.org/10.1515/crll.2004.018

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

KEEP EXPLORING

Related papers

arXiv2026

The e-Property for Quantum Markov Semigroups

Let $(\mathcal{T}_t)_{t\geqslant0}$ be a quantum Markov semigroup on a von Neumann algebra and let $\mathcal{A}$ be an invariant Feller $C^*$-algebra. We formulate the $e$-property on the full state space and show that its quantitative defect is equivalent, within an optimal factor two, to the Hausdorff measure of non-compactness of observable orbits. We develop Cesàro and Lip-norm criteria and a generalised Doeblin minorisation by a state-space contracting positive map, including finite-dimensional and measure-prepare factorisations. When every observable has the $e$-property, the Jacobs--de Leeuw--Glicksberg decomposition identifies the reversible Choi--Effros algebra and the norm-stable sector. Expected and decoherence-free subalgebras transfer the property under norm decay of the complementary dynamics, including infinite-dimensional ultracontractive and finite-index Pimsner--Popa regimes. Finally, we establish the full comparison hierarchy among ordinary, eventual, Cesàro and pointwise eventual equicontinuity notions, reinforced by matrix Jamison and homoclinic flow counterexamples. Projection-face criteria are treated in a companion paper.

math.OA↗
arXiv2026

Geometric Aspects of $C^*$-Extreme Points II

Building on the results of \cite{HR}, we investigate the relationship between \(C^*\)-extremality and linear extremality in the closed unit balls of general unital \(C^*\)-algebras. We show that, unlike in von Neumann algebras, these two notions of extremality need not coincide in general \(C^*\)-algebras. More precisely, we prove that the unilateral shift is a linear extreme point, but not a \(C^*\)-extreme point, of the closed unit ball of the Toeplitz \(C^*\)-algebra. We further establish that \(C^*\)-extremality implies linear extremality whenever the \(C^*\)-algebra admits a faithful unital representation on a separable Hilbert space. We also prove this implication for elements admitting a factorization $x=v|x|$, where $v$ is a partial isometry belonging to the algebra, and extend the result to suitable quotient \(C^*\)-algebras, including the Calkin algebra. Finally, we characterize the linear extreme points of the closed unit ball of unital \(C^*\)-subalgebras of \(B(H)\) containing the compact operators.

math.OA↗
arXiv2026

Every classifiable simple C*-algebra has a C*-diagonal

We construct C*-diagonals in all UCT Kirchberg algebras. Together with known constructions of C*-diagonals in the stably finite setting by Xin Li, this shows that every classifiable C*-algebra (in the sense of the Elliott classification programme) has a C*-diagonal. In fact, we show that every UCT Kirchberg algebra admits an untwisted principal étale groupoid model with a finite-dimensional unit space.

math.OA↗