I will discuss three different constructions of smooth tori in S^4 whose complements have fundamental group Z: turned 1-twist-spun tori due to Boyle, the union of a ribbon disc with a genus one Seifert surface constructed by Cochran and Davis, and certain tori with four critical points. They are all topologically unknotted, but it is not known whether they are smoothly standard, except for tori with four critical points whose middle level set is a split link. The branched double cover of S^4 along any of these surfaces is a potentially exotic copy of S^2 x S^2, though, in the case of Boyle's example, it cannot be distinguished from the standard S^2 x S^2 using Seiberg-Witten invariants. This is joint work with Mark Powell.

Product systems represent powerful contemporary tools in the study of mathematical structures. A major success in the theory came from Katsura (2007), who provided a complete description of the gauge-invariant ideals of many important C*-algebras arising from product systems over Z+. This result recaptures existing results from the literature, illustrating the versatility of product system theory. The question now becomes whether or not Katsura's result can be bolstered to product systems over semigroups other than Z+ and, if so, what applications do we obtain? An answer has been elusive, owing to the more pathological nature of product systems over general semigroups. However, recent strides by Dor-On and Kakariadis (2018) supply a more tractable subclass of product systems that still includes the important cases of C*-dynamics, row-finite higher-rank graphs, and regular product systems. 

In this talk we will build a parametrisation of the gauge-invariant ideals, starting from first principles and gradually increasing in complexity. We will pay particular attention to the higher-rank subtleties that are not witnessed in Katsura's theorem, and comment on the applications.
 

to follow