In this talk, I will report about a joint work with D. Ciubotaru, in which we investigate the Dunkl version of the classical Howe-duality (O(k),spo(2|2)). Similar Fischer-type decompositions were studied before in the works of Ben-Said, Brackx, De Bie, De Schepper, Eelbode, Orsted, Soucek and Somberg for other Howe-dual pairs. Our work builds on the notion of a Dirac operator for Drinfeld algebras introduced by Ciubotaru, which was inspired by the analogous theory for Lie algebras, as well as the work of Cheng and Wang on classical Howe dualities.

# Past Algebra Seminar

I will talk about a way of building graded Lie algebras from certain Heisenberg groups. The input for this construction arises naturally when studying families of algebraic curves, and we'll look at some examples in which Lie theory interacts with number theory in an illuminating way.

A mathematical structure is `axiomatizable' if it is completely determined by some family of sentences in a suitable first-order language. This idea has been explored for various kinds of structure, but I will concentrate on groups. There are some general results (not many) about which groups are or are not axiomatizable; recently there has been some interest in the sharper concept of 'finitely axiomatizable' or FA - that is, when only a finite set of sentences (equivalently, a single sentence) is allowed.

While an infinite group cannot be FA, every finite group is so, obviously. A profinite group is kind of in between: it is infinite (indeed, uncountable), but compact as a topological group; and these groups share many properties of finite groups, though sometimes for rather subtle reasons. I will discuss some recent work with Andre Nies and Katrin Tent where we prove that certain kinds of profinite group are FA among profinite groups. The methods involve a little model theory, and quite a lot of group theory.

The notion of colour Lie algebra, introduced by Ree (1960), generalises notions of Lie algebra and Lie superalgebra. From an orthogonal representation V of a quadratic colour Lie algebra g, we give various ways of constructing a colour Lie algebra g’ whose bracket extends the bracket of g and the action of g on V. A first possibility is to consider g’=g⊕V and requires the cancellation of an invariant studied by Kostant (1999). Another construction is possible when the representation is ``special’’ and in this case the extension is of the form g’=g⊕sl(2,k)⊕V⊗k^2. Covariants are associated to special representations and satisfy to particular identities generalising properties studied by Mathews (1911) on binary cubics. The 7-dimensional fundamental representation of a Lie algebra of type G_2 and the 8-dimensional spinor representation of a Lie algebra of type so(7) are examples of special representations.

Combinatorial anabelian geometry is a modern branch of anabelian geometry which deals with those aspects of anabelian geometry which manifest themselves over algebraically closed fields of characteristic zero. The origin of combinatorial anabelian geometry is in S. Mochizuki’s pioneering papers from 2007, in which he reinterpreted and generalised some key components of his earlier famous proof of the Grothendieck conjecture. S. Mochizuki discovered that one can separate arguments which work over algebraically closed fields from arithmetic arguments, and study the former by using combinatorial methods. This led to a very nontrivial development of the theory of combinatorial anabelian geometry by S. Mochizuki and Y. Hoshi and other mathematicians. In this talk, after introducing the theory of combinatorial anabelian geometry I will discuss applications of combinatorial anabelian geometry to the study of the absolute Galois group of number fields and of p-adic local fields and to the study of the Grothendieck-Teichmueller group. In particular, I will talk about the recent construction of a splitting of the natural inclusion of the absolute Galois group of p-adic numbers to the (largest) p-adic Grothendieck–Teichmueller group and a splitting of the natural embedding of the absolute Galois group of rationals into the commensurator of the absolute Galois group of the maximal abelian extension of rationals in the Grothendieck–Teichmueller group.

In 1985, McDowell introduced a family of parabolically induced Whittaker modules over a complex semisimple Lie algebra, which includes both Verma modules and the nondegenerate Whittaker modules studied by Kostant. Many classical results for Verma modules and the Bernstein--Gelfand--Gelfand category O have been generalized to the category of Whittaker modules introduced by Milicic--Soergel, including the classification of irreducible objects and the Kazhdan--Lusztig conjectures. Contravariant forms on Verma modules are unique up to scaling and play a key role in the definition of the Jantzen filtration. In this talk I will discuss a classification of contravariant forms on parabolically induced Whittaker modules. In a recent result, joint with Anna Romanov, we show that the dimension of the space of contravariant forms on a parabolically induced Whittaker module is given by the cardinality of a Weyl group. This result illustrates a divergence from classical results for Verma modules, and gives insight to two significant open problems in the theory of Whittaker modules: the Jantzen conjecture and the absence of an algebraic definition of duality.

A group acting on a regular rooted tree has the congruence subgroup property if every subgroup of finite index contains a level stabilizer. The congruence subgroup problem then asks to quantitatively describe the kernel of the surjection from the profinite completion to the topological closure as a subgroup of the automorphism group of the tree. We will study the congruence subgroup property for a family of branch groups whose construction generalizes that of the Hanoi Towers group, which models the game “The Towers of Hanoi".

Deformation quantization modules or DQ-modules where introduced by M. Kontsevich to study the deformation quantization of complex Poisson varieties. It has been advocated that categories of DQ-modules should provide invariants of complex symplectic varieties and in particular a sort of complex analog of the Fukaya category. Hence, it is natural to aim at describing the functors between such categories and relate them with categories appearing naturally in algebraic geometry. Relying, on methods of homotopical algebra, we obtain an analog of Orlov representation theorem for functors between categories of DQ-modules and relate these categories to deformations of the category of quasi-coherent sheaves.