Calendar

Aug
8
Thu
Number Theory Seminar @ Keller 401 (probably)
Aug 8 @ 1:00 pm – Aug 8 @ 2:00 pm

Taylor Markham of the University of Calgary

Title: Integer Factorization

Abstract: The security of many modern day cryptosystems are impacted by the fact that it is computationally difficult to factor large numbers. This talk will give an introduction to the general number field sieve, which is currently the most efficient algorithm for factoring large integers.

Aug
28
Wed
Logic Seminar: Kameryn Williams, Initial segments of models of set theory fixed pointwise by automorphisms
Aug 28 @ 2:30 pm – 3:30 pm

I will present on the paper “Largest initial segments pointwise fixed by automorphisms of models of set theory” by Enayat, Kaufmann, and McKenzie.

https://arxiv.org/abs/1606.04002

Keller Hall 301

Sep
4
Wed
Logic Seminar: Kameryn Williams, Initial segments of models of set theory fixed pointwise by automorphisms
Sep 4 @ 2:30 pm – 3:30 pm

I will present on the paper “Largest initial segments pointwise fixed by automorphisms of models of set theory” by Enayat, Kaufmann, and McKenzie.

https://arxiv.org/abs/1606.04002

Keller Hall 301

Colloquium: Stuart White (U. of Oxford) @ Keller 401
Sep 4 @ 3:30 pm – 4:30 pm

Speaker: Stuart White (U. of Oxford)
Title: Amenable Operator Algebras

Abstract: Operator algebras arise as suitably closed subalgebras of the bounded operators on a Hilbert space. They come in two distinct types: von Neumann algebras which have the flavour of measure theory, and C*-algebras which have the flavour of topology. In the 1970’s Alain Connes obtained a deep structural theorem for amenable von Neumann algebras, leading to a complete classification of these objects. For the last 25 years the Elliott classification programme has been seeking a corresponding result for simple amenable C*-algebras, and now, though the efforts of numerous researchers worldwide, we have a definitive classification theorem. In this talk, I’ll explain what this theorem says, and the analogies it makes to Connes work, using examples from groups and dynamics as motivation. I won’t assume any prior exposure to operator algebras or functional analysis.

Sep
11
Wed
Logic seminar: David Webb
Sep 11 @ 2:30 pm – 3:30 pm
Sep
13
Fri
Colloquium: Asaf Hadari (UHM) @ Keller 401
Sep 13 @ 3:30 pm – 4:30 pm

Speaker: Asaf Hadari (UHM)
Title: In search of a representation theory of mapping class groups.

Abstract:

Mapping class groups are nearly ubiquitous in low dimensional topology. They’ve been studied for over a century. Various results discovered during the past few decades it has become quite clear that there is much to gain by studying them via their linear representations.

Somewhat surprisingly, many such representations are known. Unfortunately, until recently there was almost no representation theory, that is – no underlying structure that allows you to say anything about the class of representations as a whole. It is precisely such an understanding that is necessary for studying mapping class groups.

In this talk I’ll talk about the major source of representations of mapping class groups, and talk about new results in their emerging representation theory.

Sep
18
Wed
Logic seminar: David Webb
Sep 18 @ 2:30 pm – 3:30 pm

“Iterated ultrapowers for the masses”, part 2

Sep
25
Wed
Logic seminar: Mojtaba Moniri
Sep 25 @ 2:30 pm – 3:30 pm

Comparing Near-linearity Notions in Open Induction

There have been works in number theory on characterizing the class of Beatty sequences (integer parts of natural multiples of a fixed nonnegative real slope). The same is true for the inhomogeneous case when a fixed intercept is added before taking the integer part. We consider some notions of multiplicative or additive near-linearity and elaborate on the extent to which they charecterize various such sequences. We show some implications from standard number theory carry over to Open Induction and some do not. [In a second talk we could relate this to the weak fragment allowing the standard integers as a direct summand of a model. That second talk would include two more multiplicative vs. additive topics, details to follow.]