|
SCIENTIFIC PROGRAMS AND ACTIVITIES |
|||||||||||||||||
November 11, 2024 | ||||||||||||||||||
Speaker Abstracts
Richard Blute, University of Ottawa In categorical proof theory, the primary goal is build a category whose objects are formulasfrom a given logic and whose arrows are proofs in that logic. This was well understoodfor traditional logics for some time. But in 1987 Jean-Yves Girard introduced linear logic.Linear logic is a common refinement of both classical and intuitionistic logic, combining the best properties of each, but emphasizing in particular the subtleties of merging and duplicating resources.The basic structure of linear logic yields tensor (monoidal) categories of which representationsof Hopf algebras provide canonical examples. Such categories are monoidal and closed and hence provide models of a novel logical system, the linear logic of Jean-Yves Girard. Linear logic is a common refinement of both classical and intuitionistic logic, combining the best properties of each. Jason Crann, Carleton University In open quantum system dynamics there is an important duality between the system and its environment which is usually represented through the notion of complementary channels. One particular manifestation of this duality is the complementarity of private and correctable subsystems in finite-dimensions. In this talk, we will generalize the notion of private subsystems to the level of von Neumann algebras and prove a generalized complementarity theorem with correctable subalgebras in arbitrary dimensions. This is joint work with David Kribs, Rupert Levene and Ivan Todorov. Douglas Farenick, University of Regina In this lecture I will discuss some results obtained in collaboration with A. Kavruk, V. Paulsen, and I.G. Todorov on certain operator subsystems of C*-algebras of discrete groups. Of special interest and importance are operator systems on free groups with finitely many generators, and I will discuss this case in particular, especially with regards to their tensor products and their use in quantum information theory. David Handelman, University of Ottawa (Joint with Sergey Bezuglyi) Akin introduced the notion of a {\it good\/}measure on a Cantor set, in order to classify measures up to homeomorphism. The notion translates directly to dimension groups, in particular, to simple dimension groups. These arise as the ordered groups associated to minimal homeomorphisms on Cantor sets. The translation to this setting permits relatively simple characterizations of goodness, yielding lots of examples of good and not good measures, which do not seem to be tractible in the original setting. When we apply the definitions in the not necessarily simple (i.e., minimal) situation, some interesting phenomena occur. If the dimension group (AF C*-algebra) arises as a fixed point subalgebra of a xerox product type action of an $n$-torus, the extremal traces are known (the faithful ones can be identified, via the weighted moment map, with the interior of an octant in $R^n$), and the characterization among them of the good (or almost good) is in terms of a Zariski topology property (over the integers). Akin also looked at a weaker version of goodness, called {\it refinability\/}; this can be studied via compact convex sets of traces (not necessarily faces in the trace space). This leads to a notion of goodness for such sets of traces on dimension groups, and when applied in the setting of the previous paragraph, leads to an algebraic-geometric characterization. Matthew Kennedy, Carleton University In joint work with M. Kalantar, we established necessary and sufficient conditions for the simplicity of the reduced C*-algebra of a discrete group. More recently, in joint work with E. Breuillard, M. Kalantar and N. Ozawa, we proved that any tracial state on the reduced C*-algebra of a discrete group is supported on the amenable radical. Hence every C*-simple group has a unique tracial state. I will discuss these results, along with recent work (in progress) to generalize these results to quantum groups. James A. Mingo, Queen's University In most examples of asymptotic freeness one starts with an assumption of classical independence of the entries of the random variables. I have shown recently that rearranging the entries of a matrix in a systematic way is enough tp produce asymptotic freeness. I will illustrate this with some standard ensembles of matrices. This is joint work with Mihai Popa. Matthias Neufang, Carleton University As is well known, the equivalence between amenability of a locally compact group $G$ and injectivity of its von Neumann algebra $L(G)$ does not hold beyond inner-amenable groups. We will show that the equivalence persists for all locally compact groups if $L(G)$ is considered as a $T(L_2(G))$-module with respect to a natural action. In fact, we will present an appropriate version of this result for every locally compact quantum group $\mathbb{G}$. This will lead us to several characterizations of quantum group amenability in terms of injectivity in the category of $T(L_2(\mathbb{G}))$-modules. This is joint work with Jason Crann. Sutanu Roy, University of Ottawa & Carleton
University For a quasitriangular C*-quantum group, we enrich a monoidal structure on the category of its continuous coactions on C*-algebras. We define braided C*-quantum groups, where the comultiplication takes values in a twisted tensor product. We show that compact braided C*-quantum groups yield compact quantum groups by a semidirect product construction. This is a joint work with Ralf Meyer and Stanislaw Lech Woronowicz. Zhong-Jin Ruan, University of Illinois at Urbana-Champaign Let $\hat{\mathbb{G}}$ be a compact quantum group. Suppose that $\hat{\mathbb{G}}$ is not co-amenable, i.e. the natural quotient map $C_u(\hat{\mathbb{G}}) \mapsto C(\hat{\mathbb{G}})$ is proper. It is interesting to know whether there exists any compact quantum group C*-algebra $A$ such that the sequence of quotients \[ C_u(\hat{\mathbb{G}}) \mapsto A \mapsto C(\hat{\mathbb{G}}) \] is proper. We call such $A$ an exotic quantum group C*-alegbra. Motivated by the work of Brown-Guentner and Okayasu, we study a special class of exotic quantum group C*-algebras associated with the orthogonal free quantum groups and unitary free quantum groups. This is a recent joint work with Michael Brannan. Nico Spronk, University of Waterloo Let $G$ be a locally compact group. Amenability and weak amenability for its group algebra $L^1(G)$ have been known for a long time now. These properties have also been settled for the Fourier algebra $A(G)$, when its natural operator space structure is considered. Even the characterisation of classical amenability (without operator space structure) has been known for some time. However, the problem of knowing when $A(G)$ is weakly amenable remains unsettled. I wish to discuss recent work, conducted with H. H. Lee, J. Ludwig and E. Samei, which settles the issue for all Lie groups. I will indicate how the problem for general locally compact groups is "almost completed". Charles Starling, University of Ottawa The construction due to Li of a C*-algebra associated to a left-cancellative semigroup $P$ generalizes many interesting classes of C*-algebras. These algebras are akin to Toeplitz algebras, and in this analogy their boundary quotients play the role of the Cuntz algebras. Li's recent work on these algebras focuses on the case where $P$ embeds in a group. The class of semigroups which embed into groups is a large and rich class, though it does not include a great many interesting examples -- for instance semigroups obtained from self-similar groups. In this talk we discuss the boundary quotients of the C*-algebras of such $P$ by using a canonical embedding into an inverse semigroup, and find algebraic conditions on $P$ which guarantee that the boundary quotient is simple and purely infinite. Roland Vergnioux, Université de Caen
Basse-Normandie In a recent joint work with Brannan and Collins we show that $O_n^+$ is generated by two copies of $O_{n-1}^+$ and we deduce that the associated finite von Neumann algebras embed in $R^\omega$. I shall explain the strategy of the proof and the connection to free entropy dimension. Grazia Viola, Lakehead University
Stanisław Lech Woronowicz, IMPAN-Warsaw
University Given $C^*$-algebras $X$ and $Y$ one may consider the $C^*$-algebra $X\otimes Y$. If $X$ and $Y$ are equipped with actions of a locally compact quantum group $G$, then there exists unique action of $G$ on $X\otimes Y$ such that the natural embeddings of $X$ and $Y$ into $X\otimes Y$ intertwine the actions of $G$. In the categorical language: tensor product $\otimes$ defines a monoidal structure on the category $C^*_G$ of all $C^*$-algebras equipped with the action of $G$. This is no longer the case if $G$ is a quantum group. Let $G$ be a locally compact quantum group. It turns out that the category of $C^*_G$ admits a monoidal structure satisfying certain natural conditions if and only if $G$ is quasitriangular. The monoidal structures are in bijective correspondence with unitary $R$-matrices. In general the monoidal structure is not given by $\otimes$.
|
||||||||||||||||||