Two-parameter families of quantum symmetry groups

We introduce and study natural two-parameter families of quantum groups motivated on one hand by the liberations of classical orthogonal groups and on the other by quantum isometry groups of the duals of the free groups. Specifically, for each pair (p,q) of non-negative integers we define and investigate quantum groups O⁺(p,q), B⁺(p,q), S⁺(p,q) and H⁺(p,q) corresponding to, respectively, orthogonal groups, bistochastic groups, symmetric groups and hyperoctahedral groups. In the first three cases the new quantum groups turn out to be related to the (dual free products of ) free quantum groups studied earlier. For H⁺(p,q) the situation is different and we show that , where the latter can be viewed as a liberation of the classical isometry group of the p-dimensional torus.     

On some infinite dimensional linear groups

Let F be a field, A be a vector space over F, and GL(F,A) the group of all automorphisms of the vector space A. A subspace B of A is called nearly G-invariant, if dim _F (BFG/B) is finite. A subspace B is called almost G-invariant, if dim _F (B/Core _G (B)) is finite. In the present article we begin the study of subgroups G of GL(F,A) such that every subspace of A is either nearly G-invariant or almost G-invariant. More precisely, we consider the case when G is a periodic p′-group where p = charF.      

Sequences of words characterizing finite solvable groups

There are two sequences in two variables which characterize the solvability of finite groups. Namely, the sequence of Bandman, Greuel, Grunewald, Kunyavskii, Pfister and Plotkin which is defined by u ₁ = x ⁻² y ⁻¹ x and and the sequence of Bray, Wilson, and Wilson defined by s ₁ = x and . We define new sequences and proof that six of them characterize the solvability of finite groups.      

Sequences of words characterizing finite solvable groups

There are two sequences in two variables which characterize the solvability of finite groups. Namely, the sequence of Bandman, Greuel, Grunewald, Kunyavskii, Pfister and Plotkin which is defined by u ₁ = x ⁻² y ⁻¹ x and u_n=[x u_n-1^-1 x^-1, yu_n-1^-1 y^-1]{u_{n}=[x u_{n-1}^{-1} x^{-1}, yu_{n-1}^{-1} y^{-1}] } and the sequence of Bray, Wilson, and Wilson defined by s ₁ = x and s_n=[s_n-1 ^-y, s_n-1]{s_{n}=[s_{n-1} ^{-y}, s_{n-1}] }. We define new sequences and proof that six of them characterize the solvability of finite groups.     

On quasifree representations of infinite dimensional symplectic group

We consider an infinite dimensional generalization of metaplectic representations (Weil representations) for the (double covering of) symplectic group. Given quasifree states of an infinite dimensional CCR algebra, projective unitary representations of the infinite dimensional symplectic group are constructed via unitary implementors of Bogoliubov automorphisms. Complete classification of these representations up to quasi-equivalence is obtained.     

Hyperbolic surfaces with prescribed infinite symmetry groups

For any countable group whatsoever, there is a complete hyperbolic surface whose isometry group is .

     

Kazhdan groups with infinite outer automorphism group

For each countable group we produce a short exact sequence where has a graphical presentation and is f.g. and satisfies property .

As a consequence we produce a group with property  such that is infinite.

Using the tools developed we are also able to produce examples of non-Hopfian and non-coHopfian groups with property .

One of our main tools is the use of random groups to achieve certain properties.

     

Decidability of the binary infinite Post Correspondence Problem

We shall show that it is decidable for binary instances of the Post Correspondence Problem whether the instance has an infinite solution. In this context, a binary instance (h,g) consists of two morphisms h and g with a common two element domain alphabet. An infinite solution ω is an infinite word ω=a₁a₂… such that h(ω)=g(ω). This problem is known to be undecidable for the unrestricted instances of the Post Correspondence Problem.     

On the intersection of infinite matroids

We show that the infinite matroid intersection conjecture of Nash-Williams implies the infinite Menger theorem proved by Aharoni and Berger in 2009.We prove that this conjecture is true whenever one matroid is nearly finitary and the second is the dual of a nearly finitary matroid, where the nearly finitary matroids form a superclass of the finitary matroids.In particular, this proves the infinite matroid intersection conjecture for finite-cycle matroids of 2-connected, locally finite graphs with only a finite number of vertex-disjoint rays.     

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.     

Reduction of exterior differential systems with infinite dimensional symmetry groups

A symmetry-based method for constructing solutions to systems of differential equations founded on the reduction of exterior differential systems invariant under the action of an infinite dimensional pseudogroup is proposed. One can associate to any system of differential equations Δ=0 with a symmetry group an exterior differential system invariant under so that solutions of Δ=0 correspond to integral manifolds . The -invariant exterior differential system gives rise to a reduced system specified on a cross section to the pseudogroup orbits, and it is shown that solutions to Δ=0 can be reconstructed from integral manifolds by solving an equation of generalized Lie type for the jets of pseudogroup transformations. In particular, as opposed to the classical method of symmetry reduction, every solution to the system of differential equations can, under some mild regularity assumptions, be constructed by the present algorithm. AMS subject classification (2000)  58A15, 58A20, 58H05, 58J70     

On the symmetry of images of word maps in groups

Word maps on a group are defined by substitution of formal words. Lubotzky gave a characterization of the images of word maps in finite simple groups, and a consequence of his characterization is the existence of a group G such that the image of some word map on G is not closed under inversion. We show that there are only two groups with order less than 108 with the property that there is a word map with image not closed under inversion. We also study this behavior in nilpotent groups.     

无限亚局部循环群及其自同构群

作为之前工作的继续, 本文研究了无限亚局部循环群的结构以及它们的自同构和自同构群. 设 A,B 分别是秩1 的无挠Abel 群, G 为n 阶循环群. 群E 是A 被G 的扩张, G 被A 的扩张或者A 被 B 的扩张. 讨论了群E 的结构以及它们的自同构, 并得到了它们的自同构群.