Blog Archives

Topic Archive: difference fields

Michael Singer
North Carolina State University
Michael Singer is a professor at North Carolina State University, studying differential algebra, difference algebra, and symbolic computation. He received his Ph.D. in 1974 from the University of California at Berkeley, under the supervision of Maxwell Rosenlicht.
Model theory seminarFriday, October 17, 201410:45 amGC5382

Alice Medvedev

Model theory of difference fields, part II

City College -- CUNY

This talk is a continuation of last week’s Logic Workshop. The necessary background will be summarized briefly at the beginning of this talk.

ACFA, the theory of difference closed fields, is a rich source of explicit examples of forking independence and nonorthogonality, the distinction between stable and simple theories, and the distinction between one-based and locally-modular groups. To present these examples, I will introduce “difference varieties”, which are the basic building blocks of definable sets in ACFA, and “sigma-varieties”, a more tractable special case of these.

CUNY Logic WorkshopFriday, October 10, 20142:00 pmGC 6417

Alice Medvedev

Model theory of difference fields, part I

City College -- CUNY

I’ll begin by setting up the first-order language and axioms of difference, and give some interesting examples, including frobenius automorphisms of fields in positive characteristic and difference equations from analysis that give the subject its name. Difference-closed fields, a natural analog of algebraically closed fields, have a nice model theory, starting with almost-quantifier elimination. Further model-theoretic notions – algebraic closure, elementary equivalence, forking independence – all have elementary purely algebraic characterizations that I will explain. The model theory of difference fields has been used in arithmetic geometry in several exciting ways (Hrushovski’s results on the Manin-Mumford Conjecture; his twisted Lang-Weil estimates; several people’s work on algebraic dynamics) that I will probably not explain in detail.

This talk will be continued in the Model Theory Seminar the following week.