Events

Ivan Todorov, Queens University - Belfast

“Group operator systems”

In this talk, which is based on joint work with D. Farenick, A. Kavruk, V. Paulsen and M. Tomforde, I will discuss various properties of operator systems arising from discrete groups, related to C*-envelopes and tensor products.

Drazen Adamovic, University of Zagreb, Croatia

“Vertex algebras, affine Lie algebras and their representations”

We shall first present basic research directions in the theory of vertex algebras and infinite- dimensional Lie algebras. We shall discuss the repre- sentation theory of C2-cofinite vertex algebras.

Xiaobo Liu, Notre Dame University

“Genus-2 generating functions for semisimple cohomological field theory”

An axiomatic definition of Cohomological Field Theories (CFT) was introduced by Kontsevich and Manin. This theory includes Gomov-Witten thoery and quantum singularity theory as special cases.

Douglas Farenick, University of Regina

“Positive Operator-Valued Measures from the Perspective of Measure Theory”

Measure theory and integration are, of course, intimately linked, but this less true for operator-valued measures and functions.

Alexander Wires, Department of Pure Mathematics, University of Waterloo

“Dichotomy for Finite tournament of Mixed-type I”

Since irreflexive digraphs often pp-define partially reflexive digraphs, we can show they yield NP-complete CSP templates by understanding certain mixed-type cases.

Hubie Chen, University of the Basque Country and Ikerbasque

“Generating Powers of Algebras: How, When, and Why”

The quantified constraint satisfaction problem (QCSP) is the computational problem of deciding, given a structure and a first-order prenex sentence whose quantifier-free part is the conjunction of atoms, whether or not the sentence holds

Jon Herman, Pure Mathematics Department, University of Waterloo

“Symplectomorphisms and Geodesic Flow”

I will first define symplectic manifolds and the isomorphisms between them, called symplectomorphisms.

Alexander Wires, Department of Pure Math, University of Waterloo

“Dichotomy for Finite Tournaments of Mixed-Type II”

We will continue the proof announced in the first talk: a finite tournament is compatible with a Taylor operation iff it’s polymorphism algebra generates a congruence meet- semidistributive variety.

Justin Shaw, Pure Mathematics Department, University of Waterloo

“Invariant Vector Calculus 1”

In this first talk we discuss the material typically covered in a first course of vector calculus, showing how the notation and results from standard vector calculus can be interpreted in t

Alexander Wires, Department of Pure Mathematics, University of Waterloo

“Dichotomy for Finite Tournaments III”

We have used cyclic terms and the characterization of Taylor algebras on a two-element to show certain one loop and two loop tournaments of small order are not compatible with a Taylor operation.