The Mathematical and Computational Sciences at Western are represented by four separate departments: Applied Mathematics, Computer Science, Mathematics, and Statistical & Actuarial Sciences. The Department of Mathematics has established research groups in several areas of contemporary mathematics including algebra, analysis and analytic geometry, homotopy theory, and noncommutative geometry.

Upcoming Events

Each week the Department of Mathematics hosts a wide variety of seminars and events. For a comprehensive list of events, please consult our departmental calendar.

Let $M$ be a $2n$ dimensional manifold with a symplectic form $\omega$. This symplectic form determines a Lie subgroup, $Symp_{\omega}(M)$, of $Diff(M)$ called the symplectomorphism group. There is yet another subgroup of interest called the Hamiltonian group. $Ham_{\omega}(M)$ is an infinite dimensional Lie group yet it has some properties of compact finite dimensional Lie groups. The presence of finite dimensional tori $T^k$, kâ‰¤n, inside $Ham_{\omega}(M)$ determines $M$ completely when $n = 2, 4$. I will sketch the proof of the case $n = 4$, a result of my supervisor and his colleagues.

In the present talk I describe a (conjectural) relation between moduli spaces of (framed) sheaves on some two-dimensional root toric stacks and Nakajima quiver varieties of type the affine Dynkin diagram $\hat{A}_{n}$. If time permits, I will discuss an application of this relation to representation theory of Kac-Moody algebras (and vertex algebras).

In his work on Dulac's problem, Ilyashenko uses a quasianalytic class of functions that is a group under composition, but not closed under addition or multiplication. When trying to extend Ilyashenko's ideas to understand certain cases of Hilbert's 16th problem, it seems desirable to be able to define corresponding quasianalytic classes in several variables that are also closed under various algebraic operations, such as addition, multiplication, blow-ups, etc. One possible way to achieve this requires us to first extend the one-variable class into a quasianalytic algebra whose functions have unique asymptotic expansions based on monomials definable in $R_{an,exp}$. I will explain some of the difficulties that arise in constructing such an algebra and how far (or close) we are to obtaining it. (This is joint work with Tobias Kaiser.)

Operator theory on spaces of holomorphic functions has undergone a rapid development in the last several decades. It started with spaces of functions holomorphic on the unit disk in the complex plane and it kept developing into higher dimensions. Particularly well studied cases are operators acting on Bergman spaces on the ball and polydisk. We use $\overline\partial$-techniques to study compactness of Hankel and Toeplitz operators on Bergman spaces on pseudoconvex domains in $mathbb{C}^n$. This is joint work with Sonmez Sahutoglu.