The problem of harmonic analysis on the infinite-dimensional unitary group

The goal of harmonic analysis on a (noncommutative) group is to decompose the most “natural” unitary representations of this group (like the regular representation) on irreducible ones. The infinite-dimensional unitary group U(∞) is one of the basic examples of “big” groups whose irreducible representations depend on infinitely many parameters. Our aim is to explain what the harmonic analysis on U(∞) consists of.We deal with unitary representations of a reasonable class, which are in 1-1 correspondence with characters (central, positive definite, normalized functions on U(∞)). The decomposition of any representation of this class is described by a probability measure (called spectral measure) on the space of indecomposable characters. The indecomposable characters were found by Dan Voiculescu in 1976.The main result of the present paper consists in explicitly constructing a 4-parameter family of “natural” representations and computing their characters. We view these representations as a substitute of the nonexisting regular representation of U(∞). We state the problem of harmonic analysis on U(∞) as the problem of computing the spectral measures for these “natural” representations. A solution to this problem is given in the next paper (Harmonic analysis on the infinite-dimensional unitary group and determinantal point processes, math/0109194, to appear in Ann. Math.), joint with Alexei Borodin.We also prove a few auxiliary general results. In particular, it is proved that the spectral measure of any character of U(∞) can be approximated by a sequence of (discrete) spectral measures for the restrictions of the character to the compact unitary groups U(N). This fact is a starting point for computing spectral measures.     

Moment sets and unitary dual for the diamond group

The diamond group G is a solvable group, semi-direct product of R with a (2n+1)-dimensional Heisenberg group Hn. We consider this group as a first example of a semi-direct product with the form R?N where N is nilpotent, connected and simply connected.Computing the moment sets for G, we prove that they separate the coadjoint orbits and its generic unitary irreducible representations.Then we look for the separation of all irreducible representations. First, moment sets separate representations for a quotient group G⁻ of G by a discrete subgroup, then we can extend G to an overgroup G⁺, extend simultaneously each unitary irreducible representation of G to G⁺ and separate the representations of G by moment sets for G⁺.     

Dissipative and nonunitary solutions of operator commutation relations

We study the (generalized) semi-Weyl commutation relations U_gAU* _g = g(A) on Dom(A), where A is a densely defined operator and G ? g ? U_g is a unitary representation of the subgroup G of the affine group G, the group of affine orientation-preserving transformations of the real axis. If A is a symmetric operator, then the group G induces an action/flow on the operator unit ball of contracting transformations from Ker(A* - iI) to Ker(A* + iI). We establish several fixed-point theorems for this flow. In the case of one-parameter continuous subgroups of linear transformations, self-adjoint (maximal dissipative) operators associated with the fixed points of the flow yield solutions of the (restricted) generalized Weyl commutation relations. We show that in the dissipative setting, the restricted Weyl relations admit a variety of representations that are not unitarily equivalent. For deficiency indices (1, 1), the basic results can be strengthened and set in a separate case.     

Nonstandard representations of locally compact groups

In the note, it is proved that, under natural conditions, any infinite-dimensional unitary representation T of a direct product of groups G = K × N, where K is a compact group and N is a locally compact Abelian group, is imaged by a representation of the nonstandard analog \(\tilde G\) of the group G in the group of nonstandard matrices of a fixed nonstandard size.     

Crystalline liftings and the weight part of Serre’s conjecture

We prove some new cases of the weight part of Serre’s conjectures for mod p Galois representation associated to automorphic representations on unitary groups U(d). The approach is a generalization of the work of Gee–Liu–Savitt, namely, we study reductions of certain crystalline representations, as well as crystalline lifts of these reductions.     

On differentiable vectors for representations of infinite dimensional Lie groups

In this paper we develop two types of tools to deal with differentiability properties of vectors in continuous representations π:G→GL(V) of an infinite dimensional Lie group G on a locally convex space V. The first class of results concerns the space V^∞ of smooth vectors. If G is a Banach-Lie group, we define a topology on the space V^∞ of smooth vectors for which the action of G on this space is smooth. If V is a Banach space, then V^∞ is a Fréchet space. This applies in particular to C^∗-dynamical systems (A,G,α), where G is a Banach-Lie group. For unitary representations we show that a vector v is smooth if the corresponding positive definite function 〈π(g)v,v〉 is smooth. The second class of results concerns criteria for Ck-vectors in terms of operators of the derived representation for a Banach-Lie group G acting on a Banach space V. In particular, we provide for each k∈N examples of continuous unitary representations for which the space of Ck+1-vectors is trivial and the space of Ck-vectors is dense.     

The Clebsch-Gordan coefficients for the quantum group SμU(2) and q-Hahn polynomials

The tensor product of two unitary irreducible representations of the quantum group S_μU(2) is decomposed in a direct sum of unitary irreducible representations with explicit realizations. The Clebsch-Gordan coefficients yield the orthogonality relations for q-Hahn and dual q-Hahn polynomials.     

Glider Representations of Group Algebra Filtrations of Nilpotent Groups

We continue the study of glider representations of finite groups G with given structure chain of subgroups e ? G ₁ ?… ? G _d = G. We give a characterization of irreducible gliders of essential length e ≤ d which in the case of p-groups allows to prove some results about classical representation theory. The paper also contains an introduction to generalized character theory for glider representations and an extension of the decomposition groups in the Clifford theory. Furthermore, we study irreducible glider representations for products of groups and nilpotent groups.     

Separation of unitary representations of connected Lie groups by their moment sets

We show that every unitary representation π of a connected Lie group G is characterized up to quasi-equivalence by its complete moment set.Moreover, irreducible unitary representations π of G are characterized by their moment sets.     

Harmonic analysis on unitary groups

A theory of harmonic analysis on a metric group (G, d) is developed with the model of U$\text{U}$, the unitary group of a C¹-algebra $\text{U}$, in mind. Essential in this development is the set $\text{G}\text{?}{}_{\mathrm{d}}$ of contractive, irreducible representations of G, and its concomitant set P_d(G) of positive-definite functions. It is shown that $\text{G}\text{?}{}_{\mathrm{d}}$ is compact and closed in $\text{G}\text{?}$. The set $\text{G}\text{?}{}_{\mathrm{d}}$ is determined in a number of cases, in particular when G = U($\text{U}$) with $\text{U}$ abelian. If $\text{U}$ is an AW¹-algebra, it is shown that $\text{G}\text{?}$_d is essentially the same as $\text{U}\text{?}$. Unitary groups are characterised in terms of a certain Lie algebra $\text{g}$_u and several characterisations of G = U($\text{U}$) when $\text{U}$ is abelian are given.     

A construction for modified generalized Hadamard matrices using QGH matrices

Let G be a group of order mu and U a normal subgroup of G of order u. Let G/U = {U ₁,U ₂, . . . ,U _m } be the set of cosets of U in G. We say a matrix H = [h _ij ] of order k with entries from G is a quasi-generalized Hadamard matrix with respect to the cosets G/U if \({\sum_{1\le t \le k} h_{it}h_{jt}^{-1} = \lambda_{ij1}U_1+\cdots+\lambda_{ijm}U_m (\exists\lambda_{ij1},\ldots, \exists \lambda_{ijm} \in \mathbb{Z})}\) for any i ≠ j. On the other hand, in our previous article we defined a modified generalized Hadamard matrix GH(s, u, λ) over a group G, from which a TD _λ (uλ, u) admitting G as a semiregular automorphism group is obtained. In this article, we present a method for combining quasi-generalized Hadamard matrices and semiregular relative difference sets to produce modified generalized Hadamard matrices.     

Split BN-pairs of rank 2: the octagons

Let G be a group with an irreducible spherical BN-pair of rank 2 where B contains a normal nilpotent subgroup U with B=U(B∩N). Then G is essentially a group of Lie type. This completes the classification of split BN-pairs of rank 2, generalizing the corresponding result for finite groups due to Fong and Seitz.     

Universal deformation rings and generalized quaternion defect groups

We determine the universal deformation rings R(G,V) of certain mod 2 representations V of a finite group G which belong to a 2-modular block of G whose defect groups are isomorphic to a generalized quaternion group D. We show that for these V, a question raised by the author and Chinburg concerning the relation of R(G,V) to D has an affirmative answer. We also show that R(G,V) is a complete intersection even though R(G/N,V) need not be for certain normal subgroups N of G which act trivially on V.     

Zwei Klassen lokalkompakter maximal fastperiodischer Gruppen

In this paper we study the class of all locally compact groupsG with the property that for each closed subgroupH ofG there exists a pair of homomorphisms into a compact group withH as coincidence set, and the class of all locally compact groupG with the property that finite dimensional unitary representations of subgroups ofG can be extended to finite dimensional representations ofG. It is shown that [MOORE]-groups (every irreducible unitary representation is finite dimensional) have these two properties. A solvable group in is a [MOORE]-group. Moreover, we prove a structure theorem for Lie groups in the class [MOORE], and show that compactly generated Lie groups in [MOORE] have faithful finite dimensional unitary representations.     

Joint spectrum and the infinite dihedral group

A subgroup H of a group G is called pronormal if, for any element g ∈ G, the subgroups H and H ^g are conjugate in the subgroup <H,H ^g >. We prove that, if a group G has a normal abelian subgroup V and a subgroup H such that G = HV, then H is pronormal in G if and only if U = N _U (H)[H,U] for any H-invariant subgroup U of V. Using this fact, we prove that the simple symplectic group PSp_6n (q) with q ≡ ±3 (mod 8) contains a nonpronormal subgroup of odd index. Hence, we disprove the conjecture on the pronormality of subgroups of odd indices in finite simple groups, which was formulated in 2012 by E.P. Vdovin and D.O. Revin and verified by the authors in 2015 for many families of simple finite groups.     

Decomposition of graph functions

The V-functions of Tutte [1] are generalized to U-functions on graphs with a distinguished subset of vertices. The class of U-functions of two variables generalize dichromatic polynomials as well as the W-functions defined by Tutte [2]. The values of U-functions on a graph G are characterized in terms of spanning subgraphs of G and also in terms of collections of simple graphs constructed from G. Decompositions of dichromatic polynomials as well as dichromatic U-functions are obtained in terms of decompositions of G.     

Bordismengruppen unitärer Torusmannigfaltigkeiten

Let G be a k-dimensional torus. Let U _* ^G , denote the homotopical unitary bordism theory. We show that restriction to the fixed point set determines an element of U _* ^G . This implies that the bordism class of a unitary G-manifold is determined by its characteristic numbers in equivariant K-theory.     

Séparation des orbites coadjointes d'un groupe exponentiel par leur enveloppe convexe

Looking to the separation of irreducible unitary representations of an exponential Lie group G through the image of their moment map, we propose here a new way: instead to extend the moment map to the universal enveloping algebra of G, we define a non linear mapping Φ from the dual of the Lie algebra g of G to the dual g^+∗ of a larger solvable group G⁺, and we extend the representation from G to G⁺, in such a manner that the corresponding coadjoint orbits in g^+∗ have distinct closed convex hull. This allows us to separate the irreducible unitary representations of G.