pith. sign in

arxiv: 2508.13760 · v2 · pith:CD64O6GUnew · submitted 2025-08-19 · 🧮 math.RT

Classification of indecomposable states on the infinite symmetric inverse semigroup invariant under the infinite symmetric group. Semifinite case

classification 🧮 math.RT
keywords inftyinfiniteleftmathfrakrightsymmetricinvariantpositive
0
0 comments X
read the original abstract

Let $\mathbb{N}$ be a set of the natural numbers. Symmetric inverse semigroup $R_\infty$ is the semigroup of all infinite 0-1 matrices $[g_{ij}]$ with at most one 1 in each row and each column such that $g_{ii}=1$ on the complement of a finite set. The binary operation in $R_\infty$ is the ordinary matrix multiplication. It is clear that infinite symmetric group $\mathfrak{S}_\infty$ is a subgroup of $R_\infty$. The map $\star:\left[ g_{ij}\right]\mapsto\left[ g_{ji}\right]$ is an involution on $R_\infty$. We call a function $f$ on $R_\infty$ positive definite if for all $r_1, r_2, \ldots, r_n\in R_\infty$ the matrix $\left[ f\left( r_ir_j^\star\right)\right]$ is Hermitian and positive semi-definite. A function $f$ said to be indecomposable if the corresponding $\ast$-representation $\pi_f$ is a factor-representation. A class of the $\mathfrak{S}_\infty$-invariant functions is defined by the condition $f(rs)=f(sr)$ for all $r\in R_\infty$ and $s\in\mathfrak{S}_\infty$. In this paper we classify all semifinite factor-representations of $R_\infty$ that correspond to the $\mathfrak{S}_\infty$-invariant positive definite functions.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.