Events & Seminars

2019 Apr 10

Logic Seminar - Yatir Halevi

11:00am to 1:00pm

Location: 

Ross 63

Type Definable Semigroups in Stable Structures


A semigroup is a set together with an associative binary operation. As opposed to stable groups, the model theory of stable semigroups is not so rich. One reason for that is their abundance.
We will review (and prove) some known results on type-definable semigroups in stable structures and offer some examples and counter-examples.
2019 Apr 08

NT & AG Lunch: Michael Temkin, "Explicit Class Field Theory"

1:00pm to 2:00pm

Location: 

Faculty lounge, Math building

In a series of talks I will describe in the chronological order all cases where an explicit
construction of CFT is known:
0. The multiplicative group and Kronecker-Weber -- the case of Q.
1. Elliptic curves with complex multiplication and
Kronecker's Jugendraum -- the case of imaginary quadratic extensions.
2. Formal O-models of Lubin-Tate -- the local case.
3. Drinfeld's elliptic modules -- the function field case.
\infinity. Extending this to real quadratic fields and, more generally,
2019 Apr 01

NT & AG Lunch: Ehud DeShalit "An overview of class field theory, III"

1:00pm to 2:00pm

Location: 

Faculty lounge, Math building
Class field theory classifies abelian extensions of local and global fields
in terms of groups constructed from the base. We shall survey the main results of class
field theory for number fields and function fields alike. The goal of these introductory lectures
is to prepare the ground for the study of explicit class field theory in the function field case,
via Drinfeld modules.
I will talk for the first 2 or 3 times.
2019 Mar 26

Dynamics Seminar: Nattalie Tamam "Diagonalizable groups with non-obvious divergent trajectories"

12:00pm to 1:00pm

Location: 

Manchester faculty club
Singular vectors are the ones for which Dirichlet’s theorem can be infinitely improved. For example, any rational vector is singular. The sequence of approximations for any rational vector q is 'obvious'; the tail of this sequence contains only q. In dimension one, the rational numbers are the only singulars. However, in higher dimensions there are additional singular vectors. By Dani's correspondence, the singular vectors are related to divergent trajectories in Homogeneous dynamical systems. A corresponding 'obvious' divergent trajectories can also be defined.
2019 Mar 25

NT & AG Lunch: Ehud DeShalit "An overview of class field theory, II"

1:00pm to 2:00pm

Location: 

Faculty lounge, Math building
Class field theory classifies abelian extensions of local and global fields
in terms of groups constructed from the base. We shall survey the main results of class
field theory for number fields and function fields alike. The goal of these introductory lectures
is to prepare the ground for the study of explicit class field theory in the function field case,
via Drinfeld modules.
I will talk for the first 2 or 3 times.
2019 Mar 26

T&G: Vivek Shende (Berkeley), Quantum topology from symplectic geometry

1:00pm to 2:30pm

Location: 

Room 110, Manchester Building, Jerusalem, Israel
The discovery of the Jones polynomial in the early 80's was the beginning of ``quantum topology'': the introduction of various invariants which, in one sense or another, arise from quantum mechanics and quantum field theory. There are many mathematical constructions of these invariants, but they all share the defect of being first defined in terms of a knot diagram, and only subsequently shown by calculation to be independent of the presentation. As a consequence, the geometric meaning has been somewhat opaque.
2019 Apr 03

Logic Seminar - Tomasz Rzepecki

11:00am to 1:00pm

Location: 

Ross 63

G-compactness, hereditary G-compactness and related phenomena



The notion of G-compactness, along with the Galois groups, was introduced by Lascar in order to find a sufficient condition under which a first order theory can be recovered from the category of its models.
I will recall this notion. In order to do that, I will also recall various classical notions of strong types, and possibly the Galois group of the theory (and briefly discuss their importance).

Pages