Let $\mathbb F$ be a finite field. Consider a direct sum $V$ of an infinite number of copies of $\mathbb F$, consider the dual space $V^\diamond$, i.~e., the direct product of an infinite number of copies of $\mathbb F$. Consider the direct sum ${\mathbb V}=V\oplus V^\diamond$. The object of the paper is the group $\mathbf{GL}$ of continuous linear operators in $\mathbb V$. We reduce the theory of unitary representations of $\mathbf{GL}$ to projective representations of a certain category whose morphisms are linear relations in finite-dimensional linear spaces over $\mathbb F$. In fact we consider a certain family $ Q_α$ of subgroups in $\mathbb V$ preserving two-element flags, show that there is a natural multiplication on spaces of double cosets with respect to $ Q_α$, and reduce this multiplication to products of linear relations. We show that this group has type $\mathrm{I}$ and obtain an 'upper estimate' of the set of all irreducible unitary representations of $\mathbf{GL}$.
We consider a group $GL(\infty)$ and its parabolic subgroup $B$ corresponding to partition $\infty=\infty+m+\infty$. Denote by $P$ the kernel of the natural homomorphism $B\to GL(m)$. We show that the space of double cosets of $GL(\infty)$ by $P$ admits a natural structure of a semigroup. In fact this semigroup acts in subspaces of $P$-fixed vectors of some unitary representations of $GL(\infty)$ over finite field.
We consider a product of three copies of infinite symmetric group and its representations spherical with respect to the diagonal subgroup. We show that such representations generate functors from a certain category of simplicial two-dimensional surfaces to the category of Hilbert spaces and bounded linear operators.
We construct spherical subgroups in infinite-dimensional classical groups $G$ (usually they are not symmetric and their finite-dimensional analogs are not spherical). We present a structure of a semigroup on double cosets $L\setminus G/L$ for various subgroups $L$ in $G$, moreover these semigroups act in spaces of $L$-fixed vectors in unitary representations of $G$. We also obtain semigroup envelops of groups $G$ generalizing constructions of operator colligations.
For some infinite-dimensional groups $G$ and suitable subgroups $K$ there exists a monoid structure on the set $K\backslash G/K$ of double cosets of $G$ with respect to $K$. In this paper we show that the group $B_\infty$, of the braids with finitely many crossings on infinitely many strands, admits such a structure.
We show that double cosets of the infinite symmetric group with respect to some special subgroups admit natural structures of semigroups. We interpret elements of such semigroups in combinatorial terms (chips, colored graphs, two-dimensional surfaces with polygonal tiling) and describe explicitly the multiplications.
We investigate products of certain double cosets for the symmetric group and use the findings to derive some multiplication formulas for q-Schur superalgebras. This gives a combinatorialisation of the relative norm approach developed by the first two authors. We then give several applications of the multiplication formulas, including the matrix representation of the regular representation and a semisimplicity criterion for q-Schur superalgebras. We also construct infinitesimal and little q-Schur superalgebras directly from the multiplication formulas and develop their semisimplicity criteria.
We extend the classical construction of operator colligations and characteristic functions. Consider the group $G$ of finite block unitary matrices of size $α+\infty+...+\infty$ ($k$ times). Consider the subgroup $K=U(\infty)$, which consists of block diagonal unitary matrices (with a block 1 of size $α$ and a matrix $u\in U(\infty)$ repeated $k$ times). It appears that there is a natural multiplication on the conjugacy classes $G//K$. We construct 'spectral data' of conjugacy classes, which visualize the multiplication and are sufficient for a reconstruction of a conjugacy class.
We construct $p$-adic analogs of operator colligations and their characteristic functions. Consider a $p$-adic group $G=GL(α+k\infty, Q_p)$, its subgroup $L=O(k\infty,Z_p)$, and the subgroup $K=O(\infty,Z_p)$ embedded to $L$ diagonally. We show that double cosets $Γ= K\setminus G/K$ admit a structure of a semigroup, $Γ$ acts naturally in $K$-fixed vectors of unitary representations of $G$. For each double coset we assign a 'characteristic function', which sends a certain Bruhat--Tits building to another building (buildings are finite-dimensional); image of the distinguished boundary is contain…
Let $λ\in P^{+}$ be a level-zero dominant integral weight, and $w$ an arbitrary coset representative of minimal length for the cosets in $W/W_λ$, where $W_λ$ is the stabilizer of $λ$ in a finite Weyl group $W$. In this paper, we give a module $\mathbb{K}_{w}(λ)$ over the negative part of a quantum affine algebra whose graded character is identical to the specialization at $t = \infty$ of the nonsymmetric Macdonald polynomial $E_{w λ}(q,\,t)$ multiplied by a certain explicit finite product of rational functions of $q$ of the form $(1 - q^{-r})^{-1}$ for a positive integer $r$. This module $\mat…
In the spectral theory of non-self-adjoint operators there is a well-known operation of product of operator colligations. Many similar operations appear in the theory of infinite-dimensional groups as multiplications of double cosets. We construct characteristic functions for such double cosets and get semigroups of matrix-valued functions in matrix balls.
We consider groups $\mathbb{I}$ of isometries of ultrametric Urysohn spaces $\mathbb{U}$. Such spaces $\mathbb{U}$ admit transparent realizations as boundaries of certain $R$-trees and the groups $\mathbb{I}$ are groups of automorphisms of these $R$-trees. Denote by $\mathbb{I}[X]\subset \mathbb{I}$ stabilizers of finite subspaces $X\subset \mathbb{U}$. Double cosets $\mathbb{I}[X]\cdot g\cdot \mathbb{I}[Y]$, where $g\in \mathbb{I}$, are enumerated by ultrametrics on union of spaces $X\cup Y$. We construct natural associative multiplications on double coset spaces $\mathbb{I}[X]\backslash \mat…
Motivated by recent developments on visible actions on complex manifolds, we raise a question whether or not the multiplication of three subgroups $L$, $G'$ and $H$ surjects a Lie group $G$ in the setting that $G/H$ carries a complex structure and contains $G'/G' \cap H$ as a totally real submanifold. Particularly important cases are when $G/L$ and $G/H$ are generalized flag varieties, and we classify pairs of Levi subgroups $(L, H)$ such that $L G' H = G$, or equivalently, the real generalized flag variety $G'/H \cap G'$ meets every $L$-orbit on the complex generalized flag variety $G/H$ in t…
Let $G$ be the group of automorphisms of a free group $F_\infty$ of infinite order. Let $H$ be the stabilizer of first $m$ generators of $F_\infty$. We show that the double cosets of $Γ$ with respect to $H$ admit a natural semigroup structure. For any compact group $K$ the semigroup $Γ$ acts in the space $L^2$ on the product of $m$ copies of $K$
In this paper we study the Lie theoretic properties of a class of topological groups which carry a Banach manifold structure but whose multiplication is not smooth. If $G$ and $N$ are Banach-Lie groups and $π: G \to \mathrm{Aut}(N)$ is a homomorphism defining a continuous action of $G$ on $N$, then $H := N \rtimes_πG$ is a Banach manifold with a topological group structure for which the left multiplication maps are smooth, but the right multiplication maps need not to be. We show that these groups share surprisingly many properties with Banach-Lie groups: (a) for every regulated function $ξ: […
Let $\mathbb{N}$ be a set of the natural numbers. Symmetric inverse semigroup $R_\infty$ is the semigroup of all infinite 0-1 matrices $\left[ g_{ij}\right]_{i,j\in \mathbb{N}}$ 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 i…
There is a natural map from a symmetric group $S_n$ to a smaller symmetric group $S_{n-1}$, we write a decomposition of a permutation into a product of disjoint cycles and remove the element $n$ from this expression. For this reason there exists the inverse limit $\mathfrak{S}$ of sets $S_n$. We equip $S_n$ with the uniform distribution (or more generally with an Ewens distribution) and get a structure of a measure space on $\mathfrak{S}$ (it is called 'virtual permutations' or 'Chinese restaurant process'), a double $S_\infty\times S_\infty $ of an infinite symmetric group acts on $\mathfrak{…
