Events & Seminars

2019 Nov 06

Logic Seminar - Itay Kaplan

11:00am to 1:00pm


Ross building - Room 63
On distal and co-distal types


I will define the notions described in the title, and ask if they are equivalent. I will present a proof showing that they are in case the theory is NIP. The proof is essentially the proof of the fact that the lack of distality is witnessed by a sequence of singletons by Pierre Simon’s.
2019 Nov 25

NT & AG Lunch: Michael Temkin, "Resolution of singularities"

Repeats every week every Monday until Sun Feb 02 2020 .
1:00pm to 2:00pm


Mathematics, Faculty Lounge
This semester will be devoted to resolution of singularities -- a process that modifies varieties at the singular locus so that the resulting variety becomes smooth. For many years this topic had the reputation of very technical and complicated, though rather elementary.
In fact, the same resolution algorithm can be described in various settings, including schemes, algebraic varieties or complex analytic spaces.
2019 Oct 30

Logic Seminar - Eugenio Colla

11:00am to 1:00pm


Ross 63
Model-theoretic proofs of partition theorems for semigroups.

Partition theorems have the following form. Let "regular" be some notion for a structure S; theorem: for every finite partition of S there is a "regular" set inside a cell of the partition. 
2019 Nov 05

T&G: Andrei Caldararu (UW Madison), A survey of categorical enumerative invariants

1:00pm to 2:30pm


Room 209, Manchester Building, Jerusalem
I will survey recent progress in defining and computing categorical enumerative invariants, analogues of Gromov-Witten invariants defined directly from a cyclic A_infinity category and a choice of splitting of the Hodge filtration on its periodic cyclic homology. A proposed definition of such invariants appeared in 2005 in work of Costello, but the original approach had technical problems that made computations impossible.