Past Algebra Seminar

Direct products of finitely generated free groups have a surprisingly rich subgroup structure. We will talk about how the finiteness properties of a subgroup of a direct product relate to the way it is embedded in the ambient product. Central to this connection is a conjecture on finiteness properties of fibre products, which we will present along with different approaches towards solving it.

In 1968, Dixmier posed six problems for the algebra of polynomial

  differential operators, i.e. the Weyl algebra. In 1975, Joseph

solved the third and sixth problems and, in 2005, I solved the

  fifth problem and gave a positive solution to the fourth problem

  but only for homogeneous differential operators. The remaining three problems are still open. The first problem/conjecture of Dixmier (which is equivalent to the Jacobian Conjecture as was shown in 2005-07 by Tsuchimito, Belov and Kontsevich) claims that the Weyl algebra `behaves'

like a finite field. The first problem/conjecture of

  Dixmier:   is it true that an algebra endomorphism of the Weyl

  algebra an automorphism? In 2010, I proved that this question has

  an affirmative answer for the algebra of polynomial

  integro-differential operators. In my talk, I will explain the main

  ideas, the structure of the proof and recent progress on the first problem/conjecture of Dixmier.

In 1939, Wilhelm Magnus gave a characterization of free groups in terms of their rank and nilpotent quotients. Our goal in this talk is to present results giving both positive and negative answers to the following question: does a similar characterization hold within the class of finite-extensions of finitely generated free groups? This talk covers joint work with Brandon Seward.

Word maps on groups were studied extensively in the past few years, in connection to various conjectures on profinite groups, finite groups, finite simple groups, etc. I will provide background, as well as very recent works (joint with Larsen, Larsen-Tiep,

Liebeck-O'Brien-Tiep) on word maps with relations to representations (e.g. Gowers' method and character ratios), geometry and probability.

Recent applications, e.g. to subgroup growth and representation varieties, will also be described.

I will conclude with a list of problems and conjectures which are still very much open.  The talk should be accessible to a wide audience.

Following the works of Sela and Kharlampovich-Myasnikov on the Tarski problem, we are interested in the first-order logic of free (and more generally hyperbolic) groups. It turns out that techniques from geometric group theory can be used to answer many questions coming from model theory on these groups. We showed with Sklinos that free groups of finite rank are homogeneous, namely that two tuples of elements which have the same first-order properties are in the same orbit under the action of the automorphism group. We also show that this is not the case for most surface groups.

We analyze the question of the minimal index of a normal subgroup in a free group which does not contain a given element. Recent work by BouRabee-McReynolds and Rivin give estimates for the index. By using results on the length of shortest identities in finite simple groups we recover and improve polynomial upper and lower bounds for the order of the quotient. The bounds can be improved further if we assume that the element lies in the lower central series.

I will prove that generating sets of surface groups are either reducible or Nielsen equivalent to standard generating sets, improving upon a theorem of Zieschang. Equivalently, Aut(F_n) acts transitively on Epi(F_n,S) when S is a surface group.

Abstract:

this is joint work with Eli Aljadeff.

Let G be a group, H a finite index subgroup. Moore's conjecture says that under a certain condition on G and H (which we call the Moore's condition), a G-module M which is projective over H is projective over G. In other words- if we know that a module is ``almost projective'', then it is projective. In this talk we will survey cases in which the conjecture is known to be true. This includes the case in which the group G is finite and the case in which the group G has finite cohomological dimension.

As a generalization of these two cases, we shall present Kropholler's hierarchy LHF, and discuss the conjecture for groups in this hierarchy. In the case of finite groups and in the case of finite cohomological dimension groups, the conjecture is proved by the same finiteness argument. This argument is straightforward in the finite cohomological dimension case, and is a result of a theorem of Serre in case the group is finite. We will show that inside Kropholler's hierarchy the conjecture holds even though this finiteness condition might fail to hold.

We will also discuss some other cases in which the conjecture is known to be true (e.g. Thompson's group F).

I will speak about a geometric method, based on the classical trace map, for investigating word maps on groups PSL(2, q) and SL(2, q). In two different papers (with F. Grunewald, B. Kunyavskii, and Sh. Garion, F. Grunewald, respectively) this approach was applied to the following problems.

1. Description of Engel-like sequences of words in two variables which characterize finite

solvable groups. The original problem was reformulated in the language of verbal dynamical

systems on SL(2). This allowed us to explain the mechanism of the proofs for known

sequences and to obtain a method for producing more sequences of the same nature.

2. Investigation of the surjectivity of the word map defined by the n-th Engel word

[[[X, Y ], Y ], . . . , Y ] on the groups PSL(2, q) and SL(2, q). Proven was that for SL(2, q), this

map is surjective onto the subset SL(2, q) $\setminus$ {−id} $\subset$ SL(2, q) provided that q $\ge q_0(n)$ is

sufficiently large. If $n\le 4$ then the map was proven to be surjective for all PSL(2, q).

We discuss homological finiteness Bredon types FPm with respect to the class of finite subgroups and seperately with respect to the class of virtually cyclic subgroups. We will concentrate to the case of solubles groups and if the time allows to the case of generalized R. Thompson groups of type F. The results announced are joint work with Brita Nucinkis

(Southampton) and Conchita Martinez Perez (Zaragoza) and will appear in papers in Bulletin of LMS and Israel Journal of Mathematics.

Recently Frenkel and Hernandez introduced a kind of "Langlands duality" for characters of semisimple Lie algebras. We will discuss a representation-theoretic interpretation of their duality using quantum analogues of exceptional isogenies. Time permitting we will also discuss a branching rule and relations to Littelmann paths.

An important problem in algebra is the study of algebraic objects

defined over fields and how they behave under field extensions,

for example the Brauer group of a field, Galois cohomology groups

over fields, Milnor K-theory of a field, or the Witt ring of bilinear

forms over

a field. Of particular interest is the determination

of the kernel of the restriction map when passing to a field extension.

We will give an overview over some known results concerning the

kernel of the restriction map from the Witt ring of a field to the

Witt ring of an extension field. Over fields of characteristic

not two, general results are rather sparse. In characteristic two,

we have a much more complete picture. In this talk, I will

explain the full solution to this problem for extensions that are

given by function fields of hypersurfaces over fields of

characteristic two. An important tool is the study of the

behaviour of differential forms over fields of positive

characteristic under field extensions. The result for

Witt rings in characteristic two then follows by applying earlier

results by Kato, Aravire-Baeza, and Laghribi. This is joint

work with Andrew Dolphin.

\ \ The cluster category of Dynkin type $A_\infty$ is a ubiquitous object with interesting properties, some of which will be explained in this talk.

\\

\ \ Let us denote the category by $\mathcal{D}$. Then $\mathcal{D}$ is a 2-Calabi-Yau triangulated category which can be defined in a standard way as an orbit category, but it is also the compact derived category $D^c(C^{∗}(S^2;k))$ of the singular cochain algebra $C^*(S^2;k)$ of the 2-sphere $S^{2}$. There is also a “universal” definition: $\mathcal{D}$ is the algebraic triangulated category generated by a 2-spherical object. It was proved by Keller, Yang, and Zhou that there is a unique such category.

\\

\ \ Just like cluster categories of finite quivers, $\mathcal{D}$ has many cluster tilting subcategories, with the crucial difference that in $\mathcal{D}$, the cluster tilting subcategories have infinitely many indecomposable objects, so do not correspond to cluster tilting objects.

\\

\ \ The talk will show how the cluster tilting subcategories have a rich combinatorial

structure: They can be parametrised by “triangulations of the $\infty$-gon”. These are certain maximal collections of non-crossing arcs between non-neighbouring integers.

\\

\ \ This will be used to show how to obtain a subcategory of $\mathcal{D}$ which has all the properties of a cluster tilting subcategory, except that it is not functorially finite. There will also be remarks on how $\mathcal{D}$ generalises the situation from Dynkin type $A_n$ , and how triangulations of the $\infty$-gon are new and interesting combinatorial objects.

The topic of this talk is the representation theory of Hopf-Galois extensions. We consider the following questions.

Let H be a Hopf algebra, and A, B right H-comodule algebras. Assume that A and B are faithfully flat H-Galois extensions.

1. If A and B are Morita equivalent, does it follow that the subalgebras A^coH and B^coH of H-coinvariant elements are also Morita equivalent?

2. Conversely, if A^coH and B^coH are Morita equivalent, when does it follow that A and B are Morita equivalent?

As an application, we investigate H-Morita autoequivalences of the H-Galois extension A, introduce the concept of H-Picard group, and we establish an exact sequence linking the H-Picard group of A and

the Picard group of A^coH.(joint work with Stefaan Caenepeel)

\ \ In 1939 Rademacher derived a conditionally convergent series expression for the modular j-invariant, and used this expression---the first Rademacher sum---to verify its modular invariance. We may attach Rademacher sums to other discrete groups of isometries of the hyperbolic plane, and we may ask how the automorphy of the resulting functions reflects the geometry of the group in question.

\\

\ \ In the case of a group that defines a genus zero quotient of the hyperbolic plane the relationship is particularly striking. On the other hand, of the common features of the groups that arise in monstrous moonshine, the genus zero property is perhaps the most elusive. We will illustrate how Rademacher sums elucidate this phenomena by using them to formulate a characterization of the discrete groups of monstrous moonshine.

\\

\ \ A physical interpretation of the Rademacher sums comes into view when we consider black holes in the context of three dimensional quantum gravity. This observation, together with the application of Rademacher sums to moonshine, amounts to a new connection between moonshine, number theory and physics, and furnishes applications in all three fields.

Let G be a permutation group on a set S. A base for G is a subset B of S such that the pointwise stabilizer of B in G is trivial. We write b(G) for the minimal size of a base for G.

Bases for finite permutation groups have been studied since the early days of group theory in the nineteenth century. More recently, strong bounds on b(G) have been obtained in the case where G is a finite simple group, culminating in the recent proof, using probabilistic methods, of a conjecture of Cameron.

In this talk, I will report on some recent joint work with Bob Guralnick and Jan Saxl on base sizes for algebraic groups. Let G be a simple algebraic group over an algebraically closed field and let S = G/H be a transitive G-variety, where H is a maximal closed subgroup of G. Our goal is to determine b(G) exactly, and to obtain similar results for some additional base-related measures which arise naturally in the algebraic group context. I will explain the key ideas and present some of the results we have obtained thus far. I will also describe some connections with the corresponding finite groups of Lie type.

A classic problem in invariant theory, often referred to as Hilbert's 14th problem, asks, when a group acts on a finitely generated commutative algebra by algebra automorphisms, whether the ring of invariants is still finitely generated. I shall present joint work with W. van der Kallen treating the problem for a Chevalley group over an arbitrary base. Progress on the corresponding problem of finite generation for rational cohomology will be discussed.

I'll explain how the `Auslander philosophy' from finite dimensional algebras gives new methods to tackle problems in higher-dimensional birational geometry. The geometry tells us what we want to be true in the algebra and conversely the algebra gives us methods of establishing derived equivalences (and other phenomenon) in geometry. Algebraically two of the main consequences are a version of AR duality that covers non-isolated singularities and also a theory of mutation which applies to quivers that have both loops and two-cycles.

Informally speaking, a finitely generated group G is said to be {\it Golod-Shafarevich} (with respect to a prime p) if it has a presentation with a ``small'' set of relators, where relators are counted with different weights depending on how deep they lie in the Zassenhaus p-filtration. Golod-Shafarevich groups are known to behave like (non-abelian) free groups in many ways: for instance, every Golod-Shafarevich group G has an infinite torsion quotient, and the pro-p completion of G contains a non-abelian free pro-p group. In this talk I will extend the list of known ``largeness'' properties of Golod-Shafarevich groups by showing that they always have an infinite quotient with Kazhdan's property (T). An important consequence of this result is a positive answer to a well-known question on non-amenability of Golod-Shafarevich groups.

Many classical results and conjectures in representation theory of finite groups (such as

theorems of Thompson, Ito, Michler, the McKay conjecture, ...) address the influence of global properties of representations of a finite group G on its p-local structure. It turns out that several of them also admit real, resp. rational, versions, where one replaces the set of all complex representations of G by the much smaller subset of real, resp. rational, representations. In this talk we will discuss some of these results, recently obtained by the speaker and his collaborators. We will also discuss recent progress on the Brauer height zero conjecture for 2-blocks of maximal defect.