Time and location
The OttawaCarleton joint algebra seminar meets during the academic year approximately once per week at either The University of Ottawa or Carleton University. Unless otherwise indicated, time and location are as follows:
 University of Ottawa: Friday, 2:30pm–3:30pm, KED B015
 Carleton University: Friday, 2:30pm–3:30pm, HP 4325
For information on the seminar in past semesters, click here. To schedule a talk, please contact Alistair Savage.
Talks
Date  Speaker  Title (click for abstract) 

Jan 12 (O)  Mohammad Bardestani (Cambridge) 
Kirillov's orbit method and polynomiality of the faithful dimension of \(p\)groups
Let \(G\) be a finite group. The faithful dimension of \(G\) is defined to be the smallest possible dimension for a faithful complex representation of \(G\). Aside from its intrinsic interest, the problem of determining the faithful dimension of \(p\)groups is motivated by its connection to the theory of essential dimension. In this paper, we will address this problem for groups of the form \(\mathbf{G}_p:=\exp(\mathfrak{g} \otimes_{\mathbb{Z}}\mathbb{F}_p)\), where \(\mathfrak{g}\) is a nilpotent \(\mathbb{Z}\)Lie algebra of finite rank, and \(\mathbf{G}_p\) is the \(p\)group associated to \(\mathfrak{g} \otimes_{\mathbb{Z}}\mathbb{F}_p\) in the Lazard correspondence. We will show that in general the faithful dimension of \(\mathbf{G}_p\) is given by a finite set of polynomials associated to a partition of the set of prime numbers into Frobenius sets. At the same time, we will show that for many naturally arising groups, including a vast class of groups defined by partial orders, the faithful dimension is given by a single polynomial. The arguments are reliant on various tools from number theory, model theory, combinatorics and Lie theory.

Jan 19 (O)  Alistair Savage (Ottawa) 
A graphical calculus for the Jack inner product on symmetric functions
Starting from a graded Frobenius superalgebra \(B\), we consider a graphical calculus of \(B\)decorated string diagrams. From this calculus we produce algebras consisting of closed planar diagrams and of closed annular diagrams. The action of annular diagrams on planar diagrams can be used to make clockwise (or counterclockwise) annular diagrams into an inner product space. In turns out that this space can be identified with the space of symmetric functions equipped with the Jack inner product at Jack parameter \(\dim B_\textrm{even}  \dim B_\textrm{odd}\). In this way, we obtain a graphical realization of that inner product space. This is joint work with Anthony Licata and Daniele Rosso.

Jan 26 (O)  David Handelman (Ottawa) 
Ordered Grothendieck groups as invariants for directed graphs
To a finite directed graph, we can associate functorially a \(\mathbf{Z}\)action on a zerodimensional compact space, and take either the (pre)ordered (first) Čech cohomology group, or the (pre)ordered \(\mathrm{K}_0\) group of the crossed product \(C^*\)algebra. The resulting preordered group is easy to describe, and is closely related to the usual first edge cohomology group of the graph, but equipped with a natural partial ordering. This yields two classes of invariants; one easy to calculate with. The more complicated invariant is surprisingly effective at distinguishing graphs. Many examples will be given.

Feb 2 (O)  Rostislav Devyatov (Ottawa) 
Multiplicityfree products of Schubert divisors
Let \(G/B\) be a flag variety over \(\mathbb{C}\), where \(G\) is a simple algebraic group with a simply laced Dynkin diagram, and \(B\) is a Borel subgroup. The Bruhat decomposition of \(G\) defines subvarieties of \(G/B\) called Schubert subvarieties. The codimension 1 Schubert subvarieties are called Schubert divisors. The Chow ring of \(G/B\) is generated as a ring by the classes of Schubert divisors, and it is generated as an abelian group by the classes of all Schubert varieties. In particular, each product of Schubert divisors is a linear combination of Schubert varieties. I am going to discuss the coefficients of these linear combinations. In particular, I am going to explain how to check if a coefficient of such a linear combination equals 1. Also, I am going to talk about possible applications of my result to the computation of socalled canonical dimension of flag varieties over nonalgebraicallyclosed fields. 
Mar 2 (C)  Fereshteh Yazdani (New Brunswick) 
Hopfcyclic cohomology of ConnesMoscovici Hopf algebras with infinite dimensional coefficients
I will show that the space \(\Omega^{\leq 1}\) of formal differential \(\leq 1\)forms on \(\mathbb{R}^n\) has an (induced) SAYD module structure on the ConnesMoscovici Hopf algebra \(\mathcal{H}_n\). Then we will see that the Hopfcyclic cohomology \(\mathcal{H}_n\) with coefficients in formal differential forms is identified with the GelfandFuks cohomology of the Lie algebra \(W_n\) of formal vector fields on \(\mathbb{R}^n\). Furthermore, I will introduce a multiplicative structure on the Hopfcyclic bicomplex, and we will see that this vanEst type isomorphism is multiplicative. I finally show the whole machinery in the case \(n=1\); by pulling back the multiplicative generators of \(H^\ast(W_1,\Omega^1_{1})\) to \(H^\ast(\mathcal{H}_1, \Omega^1_{1 \delta})\).

Mar 9 (C)  Adam Logan (Tutte Institute) 
Three modular fivefolds of level 8
It has long been known that the numbers of solutions to certain equations over finite fields can be described in terms of modular forms. The most famous results of this type are that of EichlerShimura, showing that every rational Hecke eigenform of weight 2 gives rise to an elliptic curve over Q whose point counts are expressed in terms of the coefficients of the form, and Wiles, showing that conversely all elliptic curves over Q come from a modular form in this way. In dimension 2, the situation is understood by work of Elkies and SchÃ¼tt together with some analytic number theory. In dimension 3, there are many examples, but no general theory, and almost nothing is known beyond that. I will describe three examples of varieties of dimension 5 whose point counts appear to be explained by the Hecke eigenform of weight 6 and level 8. For one of these the relation can be proved by connecting it to work of FrechetteOnoPapanikolas on products of families of elliptic curves; for a second, the large degree of symmetry may make it practical to construct and analyze a resolution of singularities explicitly; and the third appears to give a new relation for hypergeometric functions over finite fields.

Mar 16 (C)  Hugh Thomas (UQAM) 
The RobinsonSchenstedKnuth correspondence via quiver representations
The RobinsonSchenstedKnuth correspondence is a manyfaceted jewel of algebraic combinatorics. In one variation, it provides a bijection between permutations of n and pairs of standard Young tableaux with the same shape, which is a partition of n. In another (more general) version, it provides a bijection between fillings of a partition lambda by arbitrary nonnegative integers and fillings of the same shape lambda by nonnegative integers which weakly increase along rows and down columns (i.e., reverse plane partitions of shape lambda). I will discuss an interpretation of RSK in terms of the representation theory of type A quivers (i.e., directed graphs obtained by orienting a path graph). This allows us to generalize RSK to other Dynkin types (plus a choice of minuscule weight), and is related to periodicity results for piecewiselinear toggling. I will not assume familiarity with either RSK or with quiver representations. This is joint work with Al Garver and Becky Patrias.

Mar 16, 3:30pm (C)  Vincent Gelinas (Toronto) 
Koszul duality for algebras without Koszulity
Koszul duality is a beautiful and widereaching set of ideas occuring in algebra, topology and representation theory. In its simplest form it exchanges pairs of associative \(\mathbb{C}\)algebras with presentations by ``good'' quadratic relations and relates their representation theory, e.g. the symmetric algebra \(\mathrm{Sym} (V)\) and antisymmetric algebra \(\bigwedge (V^*)\). This talk will be a short introduction to the ideas behind Koszul duality. Time willing, we will present recent joint results with Ben Briggs on presenting the Koszul dual to arbitrary commutative complete intersection algebras, whose relations are neither "good" nor even quadratic.

Apr 6 (C)  Charles Paquette (RMC) 
Generators in abelian categories
It is well known that a cocomplete abelian category A with a compact projective generator has to be a module category, and viceversa. What happens if we just assume that our category A has a generator M? Does it have to have a projective generator (we do not know whether A has enough projective objects)? We will give a positive answer to this question in case where the endomorphism ring of M is nice enough. Finally, we will consider some applications in representation theory.

Apr 13 (C)  Eleonore Faber (Leeds) 
Friezes and Mutations
A frieze is an array of positive integers with a finite number of infinite rows and whose entries satisfy a diamond rule: the \(2 \times 2\) matrix formed by the neighboring entries is 1. Introduced in the 1970's by Conway and Coxeter, the interest in friezes gained fresh momentum in the last decade, when strong relations to cluster theory were discovered. In particular, there exists a bijection between friezes and cluster algebras of type A. In cluster theory, the key concept is that of mutation. We introduce mutations of ConwayCoxeter friezes that are compatible with these cluster mutations, and describe the resulting entries using combinatorics of quiver representations. We will also consider a generalization of the ConwayCoxeter friezes, socalled \(SL_k\)friezes, where the determinant of every \(k \times k\) determinant is 1. Here we obtain \(SL_k\)friezes from cluster categories associated to certain Grassmannians \(Gr(k,n)\). This is joint work with K. Baur, S. Gratz, K. Serhiyenko, and G. Todorov.
