Zariski Geometries, Lecture 1
|
|
- Jeremy Mason
- 5 years ago
- Views:
Transcription
1 Zariski Geometries, Lecture 1 Masanori Itai Dept of Math Sci, Tokai University, Japan August 30, 2011 at Kobe university
2 References HZ96 Ehud Hrushovski, Boris Zilber, Zariski geometries, J of the AMS, 1996 Z10 B. Zilber, Zariski Geometries, London Math. Soc. Lect Note Ser. 360, Cambridge, 2010
3 Table of Contents
4 Zilber Conjecture Strongly minimal trivial (no structure) linear (locally modular) : vector spaces non-linear (non-locally modular) : alg. closed fields
5 Zilber Conjecture Strongly minimal trivial (no structure) linear (locally modular) : vector spaces non-linear (non-locally modular) : alg. closed fields Zilber conjectured that any non-locally modular strongly minimal set interprets an acf!
6 Zilber Conjecture Strongly minimal trivial (no structure) linear (locally modular) : vector spaces non-linear (non-locally modular) : alg. closed fields Zilber conjectured that any non-locally modular strongly minimal set interprets an acf! Counter example was constructed by Hrushovski using generic model construction.
7 ZC is true for Zariski geometries In algebraic geometry; algebraically closed field Zariski topology, dimension notion
8 ZC is true for Zariski geometries In algebraic geometry; algebraically closed field Zariski topology, dimension notion Model theory of Zariski structures; Noetherian topology, dmension notion algebraically closed field
9 ZC is true for Zariski geometries In algebraic geometry; algebraically closed field Zariski topology, dimension notion Model theory of Zariski structures; Noetherian topology, dmension notion algebraically closed field Ample (non-linear, non-locally modular) Zariski geometry interprets an algebraically closed field.
10 Topological structures, p. 12 Consider a collection of topological spaces {M n : n N}. each M n is Noetherian proj is continuous graph of equality is closed fibers of closed sets are closed Cartesian products of closed sets is closed etc
11 Good dimension In subsection 3.1.1, we have a list of postulates for the dimesion notion; (DP) dimesion of a point (DU) dimension of unions (SI) strong irreducibility (AF) addition formula (FC) fiber condition
12 Zariski structures Definition (Def 3.1.3) {M n : n N} is Zariski structures if Noetherian topology dimension notion semi-proper : Let S cl M n be irreducible, then there exists a proper closed subset F prs such that. prs F prs
13 Zariski geometry Definition (Def 3.5.2) Zariski geometry = Zariski structure + (sps) + (EU) (sps) : strongly Pre-Smooth (EU) : Essentially Uncountable
14 Theorem (Thm ) A one-dimensional, uncountable, pre-smooth, irreducible Zariski structure M is a Zariski geometry.
15 Basic Examples (1) Algebraic varaity M over an acf. (Thm 3.4.1) Zariski structure is complete (ie. projection of closed is closed) if M is. (PS), pre-smooth if M is. (EU), essentially uncountable, if M.
16 Basic Examples (1) Algebraic varaity M over an acf. (Thm 3.4.1) Zariski structure is complete (ie. projection of closed is closed) if M is. (PS), pre-smooth if M is. (EU), essentially uncountable, if M. Compact complex manifold M with the notion of analytic dimension. It satisfies (PS) and (EU). (Thm 3.4.3)
17 Basic Examples (2) Proper varieties of rigid anlaytic geometry (Thm 3.4.7)
18 Basic Examples (2) Proper varieties of rigid anlaytic geometry (Thm 3.4.7) Definable sets of finite Morley rank and Morley degree 1 in differentially closed fields. (Thm 3.4.9, Pillay)
19 Semi-properness M is a Zariski structure. We want the theory of the structure M to have the elimination of quantifiers. For this, semi-properness axiom is needed: Definition (SP) Let S cl M n be irreducible, then there exists a proper closed subset F prs such that. prs F prs
20 QE for Zariski structures Theorem (Thm 3.2.1) A Zariski structure M admits elimination of quantifiers; that is any definable ssubset Q M n is constructible, i.e., boolean conbination of closed sets.
21 Proof of QE (1) We must show that the projection of a constructible subset is constructible. For this let Q = S P where both S, P closed. We show the theorem by induction on dim S. Let d S = min{dim S(a, M) : a prs}, F = {b prs : dim P(b, M) d S }.
22 Proof of QE (2) Let F be the closure of F.
23 Proof of QE (2) Let F be the closure of F. F is a proper closed subset of prs, by (FC).
24 Proof of QE (2) Let F be the closure of F. F is a proper closed subset of prs, by (FC). Since prs is irreducible, we have dim F < dim prs.
25 Proof of QE (2) Let F be the closure of F. F is a proper closed subset of prs, by (FC). Since prs is irreducible, we have dim F < dim prs. Let S = S pr 1 (F).
26 Proof of QE (2) Let F be the closure of F. F is a proper closed subset of prs, by (FC). Since prs is irreducible, we have dim F < dim prs. Let S = S pr 1 (F). Since F pr(s) pr(s), we have S S.
27 Proof of QE (2) Let F be the closure of F. F is a proper closed subset of prs, by (FC). Since prs is irreducible, we have dim F < dim prs. Let S = S pr 1 (F). Since F pr(s) pr(s), we have S S. Thus, dim S < dim S.
28 Proof of QE (3) Notice that pr(q) = pr(s P) pr(s P) pr(s F).
29 Proof of QE (3) Notice that pr(q) = pr(s P) pr(s P) pr(s F). If b pr(s P), then P(b, M) S(b, M). Thus (prs F) prq.
30 Proof of QE (3) Notice that pr(q) = pr(s P) pr(s P) pr(s F). If b pr(s P), then P(b, M) S(b, M). Thus (prs F) prq. Therefore, pr(q) = pr(s P) = pr(s P) (pr(s) F).
31 Proof of QE (3) Notice that pr(q) = pr(s P) pr(s P) pr(s F). If b pr(s P), then P(b, M) S(b, M). Thus (prs F) prq. Therefore, pr(q) = pr(s P) = pr(s P) (pr(s) F). Notice that pr(s) F is already in the desired form by induction hypothesis.
32 Proof of QE (3) Notice that pr(q) = pr(s P) pr(s P) pr(s F). If b pr(s P), then P(b, M) S(b, M). Thus (prs F) prq. Therefore, pr(q) = pr(s P) = pr(s P) (pr(s) F). Notice that pr(s) F is already in the desired form by induction hypothesis. Apply induction to S P to finish the proof.
33 QE for Zariski geometry Proposition (Prop 3.3.7) M : one-dimensional Zariski Geometry. Then the theory of M admits quantifier elimination.
34 Axioms for one-dimensional Zariski geometry, p. 31 (Z1) (QE) prs prs F, for some proper closed F cl prs (Z2) (SM) For S cl M n+1, there is m such that for all a M n S(a) = M or S(a) m (Z3) dim M n n. Given a closed irreducible S M n. Every component of the diagonal F {x i = x j } is of dimension dim S 1. Remark These are the axioms given in the paper [HZ].
35 strong minimality Corollary (Cor 3.3.8) M is strongly minimal.
36 Proof of S.M. with (Z2) Let E M n M be definable.
37 Proof of S.M. with (Z2) Let E M n M be definable. Show E(a) is finite or co-finite, with a uniform bound for all a M n.
38 Proof of S.M. with (Z2) Let E M n M be definable. Show E(a) is finite or co-finite, with a uniform bound for all a M n. WLOG, E = S F, with S, F closed.
39 Proof of S.M. with (Z2) Let E M n M be definable. Show E(a) is finite or co-finite, with a uniform bound for all a M n. WLOG, E = S F, with S, F closed. If S(a) is finite, then E(a) is finite with the same bound.
40 Proof of S.M. with (Z2) Let E M n M be definable. Show E(a) is finite or co-finite, with a uniform bound for all a M n. WLOG, E = S F, with S, F closed. If S(a) is finite, then E(a) is finite with the same bound. Apply (Z2) to both S, F to finish the proof.
41 Language M : Zariski structure C M n is closed, introduce a predicate symbol for each closed C M n
42 elementary extensions (1) Definition (Def ) a-closed : Let S(x, y) be l + m-ary closed set. S M l. Postulate that each S(a, M m ) is closed in M m. This gives the topology on each M. Dimension dim S(a, M ) = max{k N : a P(S, k)} + 1 where P(S, k) = {a prs : dim S pr 1 (a) > k}.
43 elementary extensions (2) Theorem (Thm ) M : Zariski structure satisfying (EU) M M M : Zariski structure
44 Summary Start with M : Noerthrian topology + dimension notion
45 Summary Start with M : Noerthrian topology + dimension notion Introduce language for M, hence model theory of M is possible
46 Summary Start with M : Noerthrian topology + dimension notion Introduce language for M, hence model theory of M is possible Theory of M admits quantifier elimination
47 Summary Start with M : Noerthrian topology + dimension notion Introduce language for M, hence model theory of M is possible Theory of M admits quantifier elimination M is strongly minimal
48 Summary Start with M : Noerthrian topology + dimension notion Introduce language for M, hence model theory of M is possible Theory of M admits quantifier elimination M is strongly minimal Elementary extension of M is Zariski structure (geometry)
Lectures on Zariski-type structures Part I
Lectures on Zariski-type structures Part I Boris Zilber 1 Axioms for Zariski structures Let M be a set and let C be a distinguished sub-collection of the subsets of M n, n = 1, 2,... The sets in C will
More informationMeasures in model theory
Measures in model theory Anand Pillay University of Leeds Logic and Set Theory, Chennai, August 2010 Introduction I I will discuss the growing use and role of measures in pure model theory, with an emphasis
More informationFoundations. September 4, Foundations. A Model Theoretic Perspective. John T. Baldwin. sociology. Thesis I. Thesis II. A Concept Analysis
September 4, 2009 Outline 1 2 3 4 A Data point for PBPL Practice based philosophy of logic Are model theorists logicians? They do not analyze methods of reasoning. A Data point for PBPL Practice based
More informationClassification of definable groupoids and Zariski geometries
and Zariski geometries Dmitry Sustretov Ben Gurion University sustreto@mathbguacil February 26, 2014 1 Motivation: Azumaya algebras An Azumaya algebra is a generalisation of a central simple algebra for
More informationarxiv:math/ v1 [math.ag] 1 Apr 1993
APPEARED IN BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 28, Number 2, April 1993, Pages 315-323 ZARISKI GEOMETRIES arxiv:math/9304212v1 [math.ag] 1 Apr 1993 Ehud Hrushovski and Boris Zilber Abstract.
More informationTHE ABSOLUTE MORDELL-LANG CONJECTURE IN POSITIVE CHARACTERISTIC. 1. Introduction
THE ABSOLUTE MORDELL-LANG CONJECTURE IN POSITIVE CHARACTERISTIC THOMAS SCANLON Abstract. We describe intersections of finitely generated subgroups of semi-abelian varieties with subvarieties in characteristic
More informationModel Theory of Differential Fields
Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Model Theory of Differential Fields DAVID MARKER Abstract. This article surveys the model theory of differentially closed fields, an
More informationModel Theory and Differential Algebraic Geometry
Model Theory and Differential Algebraic Geometry David Marker Mathematics, Statistics, and Computer Science University of Illinois at Chicago January 6, 2012 Dave Marker (UIC) Model Theory and Diff Alg
More informationSTRONGLY MINIMAL GROUPS IN THE THEORY OF COMPACT COMPLEX SPACES
STRONGLY MINIMAL GROUPS IN THE THEORY OF COMPACT COMPLEX SPACES MATTHIAS ASCHENBRENNER, RAHIM MOOSA, AND THOMAS SCANLON Abstract. We characterise strongly minimal groups interpretable in elementary extensions
More informationNon-algebraic Zariski geometries
Non-algebraic Zariski geometries Dmitry Sustretov Merton College University of Oxford A thesis submitted for the degree of Doctor of Philosophy Trinity 2012 Abstract The thesis deals with definability
More informationON SATURATION AND THE MODEL THEORY OF COMPACT KÄHLER MANIFOLDS
ON SATURATION AND THE MODEL THEORY OF COMPACT KÄHLER MANIFOLDS RAHIM MOOSA Abstract. A hypothesis is introduced under which a compact complex analytic space, X, viewed as a structure in the language of
More informationModel theory, stability, applications
Model theory, stability, applications Anand Pillay University of Leeds June 6, 2013 Logic I Modern mathematical logic developed at the end of the 19th and beginning of 20th centuries with the so-called
More informationINTRODUCTION TO GEOMETRIC STABILITY
INTRODUCTION TO GEOMETRIC STABILITY ARTEM CHERNIKOV Lecture notes for the IMS Graduate Summer School in Logic, National University of Singapore, Jun 2017. The material is based on a number of sources including:
More informationLectures on Zariski-type structures Part I
Lectures on Zariski-type structures Part I Boris Zilber 1 Axioms for Zariski structures Let M be a set and let C be a distinguished sub-collection of the subsets of M n, n = 1, 2,.... The sets in C will
More informationp-jets and Uniform Unramified Manin-Mumford
p-jets and Uniform Unramified Manin-Mumford Thomas Scanlon UC Berkeley scanlon@math.berkeley.edu 19 July 2001 SMF-AMS joint meeting, Lyons 1 The Uniform Unramified Manin-Mumford Theorem Theorem 1 Let R
More informationSTRONGLY MINIMAL REDUCTS OF VALUED FIELDS
STRONGLY MINIMAL REDUCTS OF VALUED FIELDS PIOTR KOWALSKI AND SERGE RANDRIAMBOLOLONA Abstract. We prove that if a strongly minimal non-locally modular reduct of an algebraically closed valued field of characteristic
More informationZariski Geometries. Geometry from the logician s point of view. Boris Zilber
Zariski Geometries Geometry from the logician s point of view Boris Zilber 20 March 2009 2 To Tamara, my wife Contents 1 Introduction 7 1.1 Introduction............................ 7 1.2 About Model Theory.......................
More informationK-ANALYTIC VERSUS CCM-ANALYTIC SETS IN NONSTANDARD COMPACT COMPLEX MANIFOLDS
K-ANALYTIC VERSUS CCM-ANALYTIC SETS IN NONSTANDARD COMPACT COMPLEX MANIFOLDS RAHIM MOOSA AND SERGEI STARCHENKO Abstract. It is shown that in an elementary extension of a compact complex manifold M, the
More informationThe Zariski Spectrum of a ring
Thierry Coquand September 2010 Use of prime ideals Let R be a ring. We say that a 0,..., a n is unimodular iff a 0,..., a n = 1 We say that Σa i X i is primitive iff a 0,..., a n is unimodular Theorem:
More informationModel theory, algebraic dynamics and local fields
Model theory, algebraic dynamics and local fields Thomas Scanlon University of California, Berkeley 9 June 2010 Thomas Scanlon (University of California, Berkeley) Model theory, algebraic dynamics and
More informationDisjoint n-amalgamation
October 13, 2015 Varieties of background theme: the role of infinitary logic Goals 1 study n- toward 1 existence/ of atomic models in uncountable cardinals. 2 0-1-laws 2 History, aec, and Neo-stability
More informationOn model theory, non-commutative geometry and physics. B. Zilber. University of Oxford. zilber/
On model theory, non-commutative geometry and physics B. Zilber University of Oxford http://www.maths.ox.ac.uk/ zilber/ 1 Plan I. Generalities on physics, logical hierarchy of structures and Zariski geometries.
More informationFields and model-theoretic classification, 2
Fields and model-theoretic classification, 2 Artem Chernikov UCLA Model Theory conference Stellenbosch, South Africa, Jan 11 2017 NIP Definition Let T be a complete first-order theory in a language L.
More informationarxiv:math/ v1 [math.ag] 24 Nov 1998
Hilbert schemes of a surface and Euler characteristics arxiv:math/9811150v1 [math.ag] 24 Nov 1998 Mark Andrea A. de Cataldo September 22, 1998 Abstract We use basic algebraic topology and Ellingsrud-Stromme
More informationGROUPS DEFINABLE IN O-MINIMAL STRUCTURES
GROUPS DEFINABLE IN O-MINIMAL STRUCTURES PANTELIS E. ELEFTHERIOU Abstract. In this series of lectures, we will a) introduce the basics of o- minimality, b) describe the manifold topology of groups definable
More informationHrushovski s Fusion. A. Baudisch, A. Martin-Pizarro, M. Ziegler March 4, 2007
Hrushovski s Fusion A. Baudisch, A. Martin-Pizarro, M. Ziegler March 4, 2007 Abstract We present a detailed and simplified exposition of Hrushovki s fusion of two strongly minimal theories. 1 Introduction
More informationOn the strong cell decomposition property for weakly o-minimal structures
On the strong cell decomposition property for weakly o-minimal structures Roman Wencel 1 Instytut Matematyczny Uniwersytetu Wroc lawskiego ABSTRACT We consider a class of weakly o-minimal structures admitting
More informationModel theory and algebraic geometry in groups, non-standard actions and algorithms
Model theory and algebraic geometry in groups, non-standard actions and algorithms Olga Kharlampovich and Alexei Miasnikov ICM 2014 1 / 32 Outline Tarski s problems Malcev s problems Open problems 2 /
More informationCM-triviality and Geometric Elimination of Imaginaries
CM-triviality and Geometric Elimination of Imaginaries Ikuo Yoneda Department of Mathematics Tokai University 18/7/2007 1 1 Introduction Hrushovski gave a counterexample to the Zilber s conjecture on strongly
More informationWhat is the right type-space? Humboldt University. July 5, John T. Baldwin. Which Stone Space? July 5, Tameness.
Goals The fundamental notion of a Stone space is delicate for infinitary logic. I will describe several possibilities. There will be a quiz. Infinitary Logic and Omitting Types Key Insight (Chang, Lopez-Escobar)
More information1. Propositional Calculus
1. Propositional Calculus Some notes for Math 601, Fall 2010 based on Elliott Mendelson, Introduction to Mathematical Logic, Fifth edition, 2010, Chapman & Hall. 2. Syntax ( grammar ). 1.1, p. 1. Given:
More informationCompact complex manifolds with the DOP and other properties.
Compact complex manifolds with the DOP and other properties. Anand Pillay Dept. Mathematics Univ. Illinois at Urbana-Champaign Thomas Scanlon Dept. Mathematics University of California at Berkeley July
More informationMorley s Proof. Winnipeg June 3, 2007
Modern Model Theory Begins Theorem (Morley 1965) If a countable first order theory is categorical in one uncountable cardinal it is categorical in all uncountable cardinals. Outline 1 2 3 SELF-CONSCIOUS
More informationHrushovski s Amalgamation Construction
Amalgamation Frank O Wagner Institut Camille Jordan Université Claude Bernard France 1 August Plan 1 2 3 In 1986, Ehud Hrushovski modified construction of a universial homogeneous countable relational
More informationOn The Classification of Geometries of Strongly Minim. Minimal Structures
On The Classification of Geometries of Strongly Minimal Structures BPGMT 2013 Definition - Strongly Minimal In this talk, when we say a set is definable in a model M, we mean it is definable in the language
More informationStable embeddedness and N IP
Stable embeddedness and N IP Anand Pillay University of Leeds January 14, 2010 Abstract We give some sufficient conditions for a predicate P in a complete theory T to be stably embedded. Let P be P with
More informationEmbedding Differential Algebraic Groups in Algebraic Groups
Embedding Differential Algebraic Groups in Algebraic Groups David Marker marker@math.uic.edu April 8, 2009 Pillay proved that every differential algebraic group can be differentially embedded into an algebraic
More informationAMS regional meeting Bloomington, IN April 1, 2017
Joint work with: W. Boney, S. Friedman, C. Laskowski, M. Koerwien, S. Shelah, I. Souldatos University of Illinois at Chicago AMS regional meeting Bloomington, IN April 1, 2017 Cantor s Middle Attic Uncountable
More informationtp(c/a) tp(c/ab) T h(m M ) is assumed in the background.
Model Theory II. 80824 22.10.2006-22.01-2007 (not: 17.12) Time: The first meeting will be on SUNDAY, OCT. 22, 10-12, room 209. We will try to make this time change permanent. Please write ehud@math.huji.ac.il
More informationFifty Years in the Model Theory of Differential Fields. ASL Winter Meeting 2019 JMM Baltimore
Fifty Years in the Model Theory of Differential Fields ASL Winter Meeting 2019 JMM Baltimore David Marker Mathematics, Statistics, and Computer Science University of Illinois at Chicago January 20, 2019
More informationA SIMPLE PROOF OF THE MARKER-STEINHORN THEOREM FOR EXPANSIONS OF ORDERED ABELIAN GROUPS
A SIMPLE PROOF OF THE MARKER-STEINHORN THEOREM FOR EXPANSIONS OF ORDERED ABELIAN GROUPS ERIK WALSBERG Abstract. We give a short and self-contained proof of the Marker- Steinhorn Theorem for o-minimal expansions
More informationChow Analytic Zariski structures and Chow s Theorem
1602 2008 64-69 64 Chow Analytic Zariski structures and Chow s Theorem (ITAI Masanori) Dept of Math Sciences Tokai University Zilber introduced the notion of analytic Zariski structure as an analytic version
More informationExponential and Weierstrass equations
Exponential and Weierstrass equations Jonathan Kirby 8th April 2005 1 Complex functions Exponentiation is a group homomorphism C exp C. For each elliptic curve E there is a -function which gives a group
More informationCMPSCI 601: Tarski s Truth Definition Lecture 15. where
@ CMPSCI 601: Tarski s Truth Definition Lecture 15! "$#&%(') *+,-!".#/%0'!12 43 5 6 7 8:9 4; 9 9 < = 9 = or 5 6?>A@B!9 2 D for all C @B 9 CFE where ) CGE @B-HI LJKK MKK )HG if H ; C if H @ 1 > > > Fitch
More informationDIOPHANTINE GEOMETRY OVER GROUPS VIII: STABILITY. Z. Sela 1,2
DIOPHANTINE GEOMETRY OVER GROUPS VIII: STABILITY Z. Sela 1,2 This paper is the eighth in a sequence on the structure of sets of solutions to systems of equations in free and hyperbolic groups, projections
More informationMODEL THEORY OF DIFFERENCE FIELDS
MODEL THEORY OF DIFFERENCE FIELDS MOSHE KAMENSKY Lecture 1, Aug. 28, 2009 1. Introduction The purpose of this course is to learn the fundamental results about the model theory of difference fields, as
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationω-stable Theories: Introduction
ω-stable Theories: Introduction 1 ω - Stable/Totally Transcendental Theories Throughout let T be a complete theory in a countable language L having infinite models. For an L-structure M and A M let Sn
More informationMODEL THEORY FOR ALGEBRAIC GEOMETRY
MODEL THEORY FOR ALGEBRAIC GEOMETRY VICTOR ZHANG Abstract. We demonstrate how several problems of algebraic geometry, i.e. Ax-Grothendieck, Hilbert s Nullstellensatz, Noether- Ostrowski, and Hilbert s
More informationElements of Geometric Stability Theory
Elements of Geometric Stability Theory May 2003 1 Completeness and quantifier elimination for some classical theories We first work out a basic example, with a proof that demonstrates geometroalgebraic,
More informationLecture 8, 9: Tarski problems and limit groups
Lecture 8, 9: Tarski problems and limit groups Olga Kharlampovich October 21, 28 1 / 51 Fully residually free groups A group G is residually free if for any non-trivial g G there exists φ Hom(G, F ), where
More informationDefinably amenable groups in NIP
Definably amenable groups in NIP Artem Chernikov (Paris 7) Lyon, 21 Nov 2013 Joint work with Pierre Simon. Setting T is a complete first-order theory in a language L, countable for simplicity. M = T a
More informationIntersecting varieties with tori
Intersecting varieties with tori Boris Zilber zilber@maths.ox.ac.uk 20 December 2001 This paper discusses a conjecture of diophantine type that I came to in connection with an attempt to understand the
More information2.2 Lowenheim-Skolem-Tarski theorems
Logic SEP: Day 1 July 15, 2013 1 Some references Syllabus: http://www.math.wisc.edu/graduate/guide-qe Previous years qualifying exams: http://www.math.wisc.edu/ miller/old/qual/index.html Miller s Moore
More informationSEPARABLE MODELS OF RANDOMIZATIONS
SEPARABLE MODELS OF RANDOMIZATIONS URI ANDREWS AND H. JEROME KEISLER Abstract. Every complete first order theory has a corresponding complete theory in continuous logic, called the randomization theory.
More informationZILBER S PSEUDO-EXPONENTIAL FIELDS. The goal of this talk is to prove the following facts above Zilber s pseudoexponential
ZILBER S PSEUDO-EXPONENTIAL FIELDS WILL BONEY The goal of this talk is to prove the following facts above Zilber s pseudoexponential fields (1) they are axiomatized in L ω1,ω(q) and this logic is essential.
More informationRESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.
RIMS-1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis
More informationON VC-MINIMAL THEORIES AND VARIANTS. 1. Introduction
ON VC-MINIMAL THEORIES AND VARIANTS VINCENT GUINGONA AND MICHAEL C. LASKOWSKI Abstract. In this paper, we study VC-minimal theories and explore related concepts. We first define the notion of convex orderablity
More informationSOME PROJECTIVE PLANES OF LENZ-BARLOTTI CLASS I
PROCEEDINGS of the AMERICAN MATHEMATICAL SOCIETY Volume 123, Number 1, January 1995 SOME PROJECTIVE PLANES OF LENZ-BARLOTTI CLASS I JOHN T. BALDWIN (Communicated by Andreas R. Blass) Abstract. We construct
More informationRational sections and Serre s conjecture
FREIE UNIVERSITÄT BERLIN FORSCHUNGSSEMINAR SS 15 Rational sections and Serre s conjecture Lei Zhang March 20, 2015 Recall the following conjecture of Serre. INTRODUCTION Conjecture. Let K be a perfect
More informationLecture notes - Applied Stability Theory (Math 414) Autumn 2003.
Lecture notes - Applied Stability Theory (Math 414) Autumn 2003. Anand Pillay December 17, 2003 1 Differential fields: first properties. All the rings we deal with are assumed to be commutative, with a
More informationarxiv:alg-geom/ v1 21 Mar 1996
AN INTERSECTION NUMBER FOR THE PUNCTUAL HILBERT SCHEME OF A SURFACE arxiv:alg-geom/960305v 2 Mar 996 GEIR ELLINGSRUD AND STEIN ARILD STRØMME. Introduction Let S be a smooth projective surface over an algebraically
More informationIntroduction. Itaï Ben-Yaacov C. Ward Henson. September American Institute of Mathematics Workshop. Continuous logic Continuous model theory
Itaï Ben-Yaacov C. Ward Henson American Institute of Mathematics Workshop September 2006 Outline Continuous logic 1 Continuous logic 2 The metric on S n (T ) Origins Continuous logic Many classes of (complete)
More informationTHE VIRTUAL SINGULARITY THEOREM AND THE LOGARITHMIC BIGENUS THEOREM. (Received October 28, 1978, revised October 6, 1979)
Tohoku Math. Journ. 32 (1980), 337-351. THE VIRTUAL SINGULARITY THEOREM AND THE LOGARITHMIC BIGENUS THEOREM SHIGERU IITAKA (Received October 28, 1978, revised October 6, 1979) Introduction. When we study
More informationGroups in stable and simple theories
Groups in stable and simple theories Dugald Macpherson, School of Mathematics, University of Leeds, Leeds LS2 9JT,UK April 7, 2010 These are sketch notes for my lecture on the MALOA Introductory Day of
More informationEXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES
EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES DUSTIN CARTWRIGHT Abstract. We study an obstruction to prescribing the dual complex of a strict semistable degeneration of an algebraic surface.
More informationMODEL THEORY OF GROUPS (MATH 223M, UCLA, SPRING 2018)
MODEL THEORY OF GROUPS (MATH 223M, UCLA, SPRING 2018) ARTEM CHERNIKOV Lecture notes in progress. All comments and corrections are very welcome. Last update: May 21, 2018 Contents 1. Introduction 1 1.1.
More informationThree notions of geometry
Three notions of geometry John T. Baldwin University of Illinois at Chicago April 15, 2018 John T. Baldwin University of Illinois at Chicago Three notions of geometry April 15, 2018 1 / 36 Three Themes
More informationarxiv:math.lo/ v1 28 Nov 2004
HILBERT SPACES WITH GENERIC GROUPS OF AUTOMORPHISMS arxiv:math.lo/0411625 v1 28 Nov 2004 ALEXANDER BERENSTEIN Abstract. Let G be a countable group. We proof that there is a model companion for the approximate
More informationMarch 3, The large and small in model theory: What are the amalgamation spectra of. infinitary classes? John T. Baldwin
large and large and March 3, 2015 Characterizing cardinals by L ω1,ω large and L ω1,ω satisfies downward Lowenheim Skolem to ℵ 0 for sentences. It does not satisfy upward Lowenheim Skolem. Definition sentence
More informationFinite Simple Abelian Algebras are Strictly Simple
Finite Simple Abelian Algebras are Strictly Simple Matthew A. Valeriote Abstract A finite universal algebra is called strictly simple if it is simple and has no nontrivial subalgebras. An algebra is said
More informationON A THEOREM OF CAMPANA AND PĂUN
ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified
More informationA MOTIVIC FUBINI THEOREM FOR THE TROPICALIZATION MAP. Notation. Let k be an algebraically closed field of characteristic zero.
A MOTIVIC FUBINI THEOREM FOR THE TROPICALIZATION MAP JOHANNES NICAISE Abstract. This is a write-up of a lecture delivered at the 2017 Simons Symposium on non-archimedean and tropical geometry. The lecture
More informationTame definable topological dynamics
Tame definable topological dynamics Artem Chernikov (Paris 7) Géométrie et Théorie des Modèles, 4 Oct 2013, ENS, Paris Joint work with Pierre Simon, continues previous work with Anand Pillay and Pierre
More informationThe geometrical semantics of algebraic quantum mechanics
The geometrical semantics of algebraic quantum mechanics B. Zilber University of Oxford November 29, 2016 B.Zilber, The semantics of the canonical commutation relations arxiv.org/abs/1604.07745 The geometrical
More informationHilbert s Nustellensatz: Inner Model Theory: Ahmed T Khalil. Elliot Glazer. REU Advisor: Dr. Grigor Sargsyan. A Model-Theoretic Approach
Inner Model Theory: An Introduction Hilbert s Nustellensatz: A Model-Theoretic Approach Elliot Glazer Ahmed T Khalil REU Advisor: Dr. Grigor Sargsyan Part One Inner Model Theory Models of ZFC ZFC is the
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More informationVariational Analysis and Tame Optimization
Variational Analysis and Tame Optimization Aris Daniilidis http://mat.uab.cat/~arisd Universitat Autònoma de Barcelona April 15 17, 2010 PLAN OF THE TALK Nonsmooth analysis Genericity of pathological situations
More informationPullbacks of hyperplane sections for Lagrangian fibrations are primitive
Pullbacks of hyperplane sections for Lagrangian fibrations are primitive Ljudmila Kamenova, Misha Verbitsky 1 Dedicated to Professor Claire Voisin Abstract. Let p : M B be a Lagrangian fibration on a hyperkähler
More informationTOPOLOGY OF LINE ARRANGEMENTS. Alex Suciu. Northeastern University. Workshop on Configuration Spaces Il Palazzone di Cortona September 1, 2014
TOPOLOGY OF LINE ARRANGEMENTS Alex Suciu Northeastern University Workshop on Configuration Spaces Il Palazzone di Cortona September 1, 2014 ALEX SUCIU (NORTHEASTERN) TOPOLOGY OF LINE ARRANGEMENTS CORTONA,
More informationModel theory, algebraic dynamics and local fields
Model theory, algebraic dynamics and local fields Thomas Scanlon University of California, Berkeley 8 June 2010 Thomas Scanlon (University of California, Berkeley) Model theory, algebraic dynamics and
More informationGEOMETRIC STRUCTURES WITH A DENSE INDEPENDENT SUBSET
GEOMETRIC STRUCTURES WITH A DENSE INDEPENDENT SUBSET ALEXANDER BERENSTEIN AND EVGUENI VASSILIEV Abstract. We generalize the work of [13] on expansions of o-minimal structures with dense independent subsets,
More informationSome model theory of the free group
Some model theory of the free group Université Lyon 1 July 4, 2017 1 2 3 s - Algebra A group F is free, if it has the universal property (over a subset S F) for the class of groups. Universal property:
More informationModel Theory and o-minimal Structures
Model Theory and o-minimal Structures Jung-Uk Lee Dept. Math. Yonsei University August 3, 2010 1 / 41 Outline 1 Inroduction to Model Theory What is model theory? Language, formula, and structures Theory
More informationGENERIC TORELLI THEOREM FOR QUINTIC-MIRROR FAMILY. Sampei Usui
GENERIC TORELLI THEOREM FOR QUINTIC-MIRROR FAMILY Sampei Usui Abstract. This article is a geometric application of polarized logarithmic Hodge theory of Kazuya Kato and Sampei Usui. We prove generic Torelli
More information1. Propositional Calculus
1. Propositional Calculus Some notes for Math 601, Fall 2010 based on Elliott Mendelson, Introduction to Mathematical Logic, Fifth edition, 2010, Chapman & Hall. 2. Syntax ( grammar ). 1.1, p. 1. Given:
More informationHence C has VC-dimension d iff. π C (d) = 2 d. (4) C has VC-density l if there exists K R such that, for all
1. Computational Learning Abstract. I discuss the basics of computational learning theory, including concept classes, VC-dimension, and VC-density. Next, I touch on the VC-Theorem, ɛ-nets, and the (p,
More informationTunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society
unisian Journal of Mathematics an international publication organized by the unisian Mathematical Society Ramification groups of coverings and valuations akeshi Saito 2019 vol. 1 no. 3 msp msp UNISIAN
More informationBasic Model Theory of Algebraically Closed Fields
Basic Model Theory of Algebraically Closed Fields Adrien Deloro June 2013 The purpose of this mini-course given at the Moscow Higher School of Economics is to present the very first notions of model theory.
More information3 Lecture 3: Spectral spaces and constructible sets
3 Lecture 3: Spectral spaces and constructible sets 3.1 Introduction We want to analyze quasi-compactness properties of the valuation spectrum of a commutative ring, and to do so a digression on constructible
More informationHandbook of Logic and Proof Techniques for Computer Science
Steven G. Krantz Handbook of Logic and Proof Techniques for Computer Science With 16 Figures BIRKHAUSER SPRINGER BOSTON * NEW YORK Preface xvii 1 Notation and First-Order Logic 1 1.1 The Use of Connectives
More informationarxiv: v2 [math.lo] 3 Nov 2011
ON OMEGA-CATEGORICAL SIMPLE THEORIES arxiv:1102.3631v2 [math.lo] 3 Nov 2011 DANIEL PALACÍN Abstract. In the present paper we shall prove that countable ω-categorical simple CM-trivial theories and countable
More informationZARISKI GEOMETRIES EHUD HRUSHOVSKI AND BORIS ZILBER
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 9, Number 1, January 1996 ZARISKI GEOMETRIES EHUD HRUSHOVSKI AND BORIS ZILBER 1. Introduction Let k be an algebraically closed field. The set of ordered
More informationStability Theory and its Variants
Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Stability Theory and its Variants BRADD HART Abstract. Dimension theory plays a crucial technical role in stability theory and its
More informationMaximilian GANSTER. appeared in: Soochow J. Math. 15 (1) (1989),
A NOTE ON STRONGLY LINDELÖF SPACES Maximilian GANSTER appeared in: Soochow J. Math. 15 (1) (1989), 99 104. Abstract Recently a new class of topological spaces, called strongly Lindelöf spaces, has been
More informationGENERIC SETS IN DEFINABLY COMPACT GROUPS
GENERIC SETS IN DEFINABLY COMPACT GROUPS YA ACOV PETERZIL AND ANAND PILLAY Abstract. A subset X of a group G is called left-generic if finitely many left-translates of X cover G. Our main result is that
More informationSEQUENCES FOR COMPLEXES II
SEQUENCES FOR COMPLEXES II LARS WINTHER CHRISTENSEN 1. Introduction and Notation This short paper elaborates on an example given in [4] to illustrate an application of sequences for complexes: Let R be
More informationDEFINABLE OPERATORS ON HILBERT SPACES
DEFINABLE OPERATORS ON HILBERT SPACES ISAAC GOLDBRING Abstract. Let H be an infinite-dimensional (real or complex) Hilbert space, viewed as a metric structure in its natural signature. We characterize
More information