Abstract: The profinite completion of a free profinite group on an infinite set of generators is a profinite group of greater rank. However, it is still unknown whether it is a free profinite group as well. I am going to present some partial results regarding this question.
January 16, 12:00-13:00, Seminar room 209, Manchester building.
Abstract: I plan to show a proof of the statement "residually-finite-by-residually-finite extensions are weakly sofic". The proof is based on characterization of weakly sofic groups by solvability of equations over groups. It looks different from other proofs of soficity and weak soficity. I plan to discuss relations of equations on and over groups with soficity in some details.
Let G be a finite group, V a finite dimensional G- module over a field F, and S(V) the symmetric algebra of V. The above problem seeks to determine when is the ring of invariants S(V)^G , a polynomial ring. In the non-modular case (i.e. char(F) being prime to order(G)), this was settled in the Shephard-Todd-Chevalley theorem. The modular case (i.e. char(F) divides order (G) ), is still wide open. I shall discuss some older results due to Serre, Nakajima , Kemper-Malle and explain some new results, mostly in dimension 3.
The sofic groups and hyperlinear groups are groups approximable by finite symmetric
and by unitary groups, respectively. I recall their definitions and discuss why those classes of groups are interesting. Then I consider approximations by other classes of groups and review some results, including rather recent ones by N. Nikolov, J. Schneider, A.Thom, https://arxiv.org/abs/1703.06092 .
If time permits I'll speak about stability and its relations with approximability.
Let A be an Artin group. It is known that if A is spherical (of finite type) and irreducible (not a direct sum), then it has infinite cyclic center.
It is conjectured that all other irreducible Artin groups have trivial center. I prove this conjecture under a stronger assumption that not being spherical namely, if there is a standard generator which is not contained in any 3-generated spherical standard parabolic subgroup. The main tool is relative presentations of Artin groups.
The Teichmuller space with the Thurston metric and Outer Space with the Lipschitz metric are two examples of spaces with an asymmetric metric i.e. d(x,y)
eq d(y,x). The latter case is also incomplete: There exist Cauchy sequences that do not have a limit. We develop the theory of the completion of an asymmetric space and give lots of examples. Time permitting we will describe the case of Outer Space.
The family of high rank arithmetic groups is a class of groups playing an important role in various areas of mathematics.
It includes SL(n,Z), for n>2 , SL(n, Z[1/p] ) for n>1, their finite index subgroups and many more.
A number of remarkable results about them have been proven including; Mostow rigidity, Margulis Super rigidity and the Quasi-isometric rigidity.
Model theorists define, in structures whose first-order theory is "stable" (i.e. suitably nice), a notion of independence between elements. This notion coincides for example with linear independence when the structure considered is a vector space, and with algebraic independence when it is an algebraically closed field. Sela showed that the theory of the free group is stable. In a joint work with Rizos Sklinos, we give an interpretation of this model theoretic notion of independence in the free group using Grushko and JSJ decompositions.
A free n-Engel group is the relatively free group of the variety of groups with the identical relation [x, y, y,...,y (n times)]=1. Let n>=20. We show that the free Engel group on at least two generators is not locally nilpotent. Our approach to Engel groups combines
The length of a finite group G is defined to be the maximal length of an unrefinable chain of subgroups going from G to 1. This notion was studied by many authors since the 1940s.
Recently there is growing interest also in the depth of G, which is the minimal length of such a chain. Moreover, similar notions were defined and studied for important families of infinite groups, such as connected algebraic groups and connected Lie groups.
The basis of elements of the highest weight representations of affine Lie algebra of type A can be labeled in three different ways, my multipartitions, by piecewise linear paths in the weight space, and by canonical basis elements. The entire infinite basis is recursively generated from the highest weight vector of operators f_i from the Chevalley basis of the affine Lie algebra, and organized into a crystal called a Kashiwara crystal. We describe cases where one can move between the different labelings in a non-recursive fashion, particularly when the crystal has some symmetry.