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: Thursday, 2:30pm–3:30pm, STM 664
 Carleton University: Thursday, 2:30pm–3:30pm, HP 4325
To be added to the mailing list for this seminar, subscribe to this group. To schedule a talk, please contact Alistair Savage. For information on the seminar in past semesters, click here.
Talks
Date  Speaker  Title (click for abstract) 

Sep 12 (O)  Alistair Savage (Ottawa) 
Embedding Deligne’s category Rep\((S_t)\) in the Heisenberg category
Deligne’s category Rep\((S_t)\) is a linear monoidal category that interpolates between the representation theory of the symmetric groups. In particular, it is defined even when \(t\) is not a natural number. However, \(t\) is fixed. On the other hand, the Heisenberg category encapsulates the representation theory of all the symmetric groups \(S_n\) (for all natural numbers \(n\)) and the canonical induction and restriction functors between their module categories. It categorifies the Heisenberg algebra and has some deep connections to Hilbert schemes and quiver varieties. In this talk we will describe an embedding of Deligne’s category into the Heisenberg category. We will discuss some nice properties of this embedding and mention how it leads to some natural further directions for research. This is joint work with Samuel Nyobe Likeng and Christopher Ryba.

Sep 19 (O)  Hadi Salmasian (Ottawa) 
Eigenvalues of Capelli operators for superspherical harmonics and the DougallRamanujan identity
Given a multiplicityfree action \(V\) of a simple Lie (super)algebra \(\mathfrak{g}\), one can define a distinguished basis for the algebra of \(\mathfrak{g}\)invariant differential operators on \(V\). The problem of computing the eigenvalues of this basis was first proposed by B. Kostant, and is closely related to the theory of interpolation Jack polynomials and their generalizations. In this talk, we concentrate on an example of similar spirit, associated to the orthosymplectic Lie superalgebras, and compute two formulas for the eigenvalues of the corresponding Capelli operators. Along the way, the DougallRamanujan identity appears in an unexpected fashion. This talk is based on a joint work with Siddhartha Sahi and Vera Serganova.

Oct 3 (O)  Benjamin Dupont* (Lyon) 
Finding bases in linear categories using rewriting
In representation theory, several families of linear monoidal categories admitting diagrammatic presentations by generators and relations emerged. One of the important questions for such a linear category is to compute bases for every set of morphisms, and to that purpose various computational methods are developed. In this talk, we discuss how these questions can be approached using rewriting theory. We introduce the fundamental properties of termination and confluence for rewriting systems on words in monoids, and explain how one can compute bases in linear categories from these two properties. We illustrate these constructions on a family of algebras defined by Khovanov, Lauda and Rouquier appearing in a process of categorification of a quantum group associated with a symmetrizable KacMoody algebra.

Oct 17 (C)  Eleonore Faber (Leeds) 
Grassmannian cluster structures  friezes and infinite Grassmannian
The homogeneous coordinate ring \(\mathbb{C}[\text{Gr}(k,n)]\) of the Grassmannian of \(k\)dimensional subspaces in \(n\) space carries a natural structure of a cluster algebra. There is an additive categorification of this coordinate ring into a socalled Grassmannian cluster category \(C(k,n)\), as shown by JensenKingSu in 2016. In this talk we will construct certain combinatorial objects, socalled Pluecker friezes, from the categories \(C(k,n)\). If time permits, we will moreover comment on the infinite construction of the cluster category \(C(2,\infty)\) and certain subcategories of it.

Oct 24 (O)  Alexander Neshitov (Western) 
Fibrant resolutions of motivic Thom spectra
This is a joint work with G.Garkusha. In the talk I will discuss the construction of fibrant replacements for spectra consisting of Thom spaces (suspension spectra of varieties and algebraic cobordism MGL being the motivating examples) that uses the theory of framed correspondences. As a consequence we get a description of the infinite loop space of MGL in terms of Hilbert schemes.

Oct 31 (O)  Philippe Gille (Lyon) 
Isospectrality and Galois Cohomology
Can one hear the shape of a drum? In other words, to which extent is a Riemannian manifold determined by the spectrum of its Laplace operator? Prasad and Rapinchuk investigated the case of locally symmetric spaces which relates to subtori of algebraic groups and then with nonabelian Galois cohomology. We shall survey results on this algebraic theme by the preceding authors, BeliG.Lee, ChernousovRapinchukRapinchuk and others.

Nov 7 (C)  Nima Hoda (ENS) 
Crystallographic Helly Groups
A Helly graph is a graph in which the metric balls form a Helly family: any pairwise intersecting collection of balls has nonempty total intersection. A Helly group is a group that acts properly and cocompactly on a Helly graph. Helly groups simultaneously generalize hyperbolic, cocompactly cubulated and C(4)T(4) graphical small cancellation groups while maintaining nice properties, such as biautomaticity. I will show that if a crystallographic group is Helly then its point group preserves an \(L^{\infty}\) metric on \(\mathbb{R}^n\). Thus we will obtain some new nonexamples of Helly groups, including the 333 Coxeter group, which is a systolic group. This answers a question posed by Chepoi during the recent Simons Semester on Geometric and Analytic Group Theory in Warsaw.

Nov 14 (O)  Michael Chitayat* (Ottawa) 
On the rigidity of certain PhamBrieskorn rings
Fix a field \(k\) of characteristic zero. If \(a_1,\ldots,a_n\) are positive integers, the integral domain \(k[X_1,\ldots,X_n] / \langle X_1^{a_1} + X_2^{a_2} + ... X_n^{a_n} \rangle\) is called a PhamBrieskorn ring. It is conjectured that if \(a_i > 1\) for all \(i\), and \(a_i = 2\) for at most one \(i\), then \(B\) is rigid. (A ring \(B\) is said to be rigid if the only locally nilpotent derivation \(D \colon B \to B\) is the zero derivation.) We give partial results towards the conjecture.

Nov 21 (C)  Owen Patashnick (University of Bristol; and Kings College, London) 
Toward abelian categories of motives
In this talk I will discuss one approach to constructing explicit particular subcategories of motives and give examples coming from curves/abelian varieties.

Nov 28 (C)  Mike Roth (Queen's) 
A measure of positivity of a line bundle along a subschemes, and a simpler proof of the RuVojta arithmetic theorem
Diophantine geometry seeks to link properties of rational solutions of a set of equations to the geometric properties of the variety they define. One of the main tools in Diophantine geometry is Diophantine approximation — results bounding how the complexity of a rational point must grow as it approaches a subvariety.
In this talk I will discuss a somewhat recent new measure of the positivity of an ample line bundle along a subscheme, and show how its formal properties give a simple proof of a theorem of RuVojta on Diophantine approximation. 
Dec 5 
*graduate student