Logic seminar: Boris Zilber (University of Oxford)
| Dates: | 8 November 2023 |
|---|
| Times: | 15:15 - 16:15 |
|---|
| What is it: | Seminar |
|---|
| Organiser: | Department of Mathematics |
|---|
| Who is it for: | University staff, External researchers, Adults, Alumni, Current University students |
|---|
|
Title: Model theory and topological invariants of algebraic varieties.
Abstract:
Can model theory distinguish complex algebraic varieties which are isomorphic as structures but topologically different?
I am going to present evidence that a categorical $L_{\omega_1,\omega$ sentence $\Sigma_X$ describing the universal cover of a complex algebraic variety $X$ is a very strong invariant. Namely, if a complex variety $X'$ is a model of $\Sigma_X$ then
$X'$ is biholomorphically isomorphic to $X$ or to a complex conjugate of $X.$ This is proved for Abelian varieties and Shimura varieties $X.$
1
element room
element building
element city
element country
element geoLocation
2
- room
- building
- city
- country
- geoLocation
3
- name = Alan Turing Building
- refloc = code:building-46
- code = http://www.columbasystems.com/customers/uom/gpp/tag/
- gpp = http://www.columbasystems.com/customers/gpp/xml/details/1-0/
4
5
6
7
- name
- iso2
- iso3
- columbaCode
8
- code = code:GB
- name = United Kingdom
- code = http://www.columbasystems.com/customers/uom/gpp/tag/
- ns1 = http://www.columbasystems.com/customers/gpp/xml/details/1-0/
9
country name = United Kingdom
ISO2 = GB
ISO3 = GBR
Travel and Contact Information
Find event
Frank Adams 1 (and zoom, link in email)
Alan Turing Building
Manchester
GB
