Skip to main content Accessibility help
×
Hostname: page-component-78c5997874-t5tsf Total loading time: 0 Render date: 2024-11-05T15:48:32.612Z Has data issue: false hasContentIssue false

Pillay's conjecture and its solution—a survey

Published online by Cambridge University Press:  01 March 2011

Françoise Delon
Affiliation:
UFR de Mathématiques
Ulrich Kohlenbach
Affiliation:
Technische Universität, Darmstadt, Germany
Penelope Maddy
Affiliation:
University of California, Irvine
Frank Stephan
Affiliation:
National University of Singapore
Get access

Summary

Introduction. These notes were originally written for a tutorial I gave in a Modnet Summer meeting which took place in Oxford 2006. I later gave a similar tutorial in the Wroclaw Logic colloquium 2007. The goal was to survey recent work in model theory of o-minimal structures, centered around the solution to a beautiful conjecture of Pillay on definable groups in o-minimal structures. The conjecture (which is now a theorem in most interesting cases) suggested a connection between arbitrary definable groups in o-minimal structures and compact real Lie groups.

All the results discussed here have already appeared in print (mainly). The goal of the notes is to put the results together and to provide a direct path through the proof of the conjecture, avoiding side-tracks and generalizations which are not needed for the proof. This is especially true for the last paper in the list which was often written with an eye towards generalizations far beyond o-minimality.

The last section of this paper has gone through substantial changes in the final stages of the writing. Originally, it contained several open questions and conjectures which arose during the work on Pillay's Conjecture. However, most of these questions were recently answered in a paper of Hrushovski and Pillay, in which the so-called Compact Domination Conjecture has been solved. In another paper, the assumptions for Pillay's Conjecture were weakened from o-minimal expansions of real closed fields to o-minimal expansions of groups.

Type
Chapter
Information
Logic Colloquium 2007 , pp. 177 - 203
Publisher: Cambridge University Press
Print publication year: 2010

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1] Y., Baisalov and B., Poizat, Paires de structures o-minimales, The Journal of Symbolic Logic, vol. 63 (1998), no. 2, pp. 570–578.Google Scholar
[2] A., Berarducci, O-minimal spectra, infinitesimal subgroups and cohomology, The Journal of Symbolic Logic, vol. 72 (2007), no. 4, pp. 1177–1193.Google Scholar
[3] A., Berarducci, Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup, to appear in The Journal of Symbolic Logic.
[4] A., Berarducci and A., Fornasiero, O-minimal cohomology: Finiteness and invariance results, preprint, 2007.
[5] A., Berarducci and M., Mamino, Equivariant homotopy of definable groups, preprint, 2009.
[6] A., Berarducci, M., Mamino, and M., Otero, Higher homotopy of groups definable in o-minimal structures, to appear in Israel Journal of Mathematics.
[7] A., Berarducci and M., Otero, An additive measure in o-minimal expansions of fields, The Quarterly Journal of Mathematics, vol. 55 (2004), no. 4, pp. 411–419.Google Scholar
[8] A., Berarducci, M., Otero, Y., Peterzil, and A., Pillay, A descending chain condition for groups definable in o-minimal structures, Annals of Pure and Applied Logic, vol. 134 (2005), no. 2-3, pp. 303–313.Google Scholar
[9] A., Conversano, On the Connectionss between Definable Groups in o-Minimal Structures and Real Lie Groups in the Noncompact Case, Ph.D. thesis, U. Siena, 2009.
[10] A., Dolich, Forking and independence in o-minimal theories, The Journal of Symbolic Logic, vol. 69 (2004), no. 1, pp. 215–240.Google Scholar
[11] M., Edmundo, G., Jones, and N., Peatfield, O-minimal sheaf cohomology with supports, preprint, 2006.
[12] M., Edmundo, G., Jones, and N., Peatfield, Hurewicz theorems for definable groups, lie groups and their cohomologies, preprint, 2007.
[13] M., Edmundo and M., Otero, Definably compact abelian groups, Journal of Mathematical Logic, vol. 4 (2004), no. 2, pp. 163–180.Google Scholar
[14] M., Edmundo and G., Terzo, On pillay's conjecture for orientable definable groups, preprint, 2008.
[15] P., Eleftheriou, Groups definable in linear o-minimal structures: the noncompact case, to appear in The Journal of Symbolic Logic.
[16] P., Eleftheriou and S., Starchenko, Groups definable in oredered vector spaces over ordered division rings, The Journal of Symbolic Logic, vol. 72 (2007), no. 4, pp. 1108–1140.Google Scholar
[17] J., Gismatullin, Model theoretic connected components of groups, preprint, 2007.
[18] E., Hrushovski, Y., Peterzil, and A., Pillay, Groups, measures, and the NIP, Journal of the American Mathematical Society, vol. 21 (2008), no. 2, pp. 563–596.Google Scholar
[19] E., Hrushovski, Y., Peterzil, and A., Pillay, On central extensions and definably compact groups in o-minimal structures, preprint, 2008.
[20] E., Hrushovski and A., Pillay, On nip and invariant measures, preprint, 2007.
[21] H. J., Keisler, Measures and forking, Annals of Pure and Applied Logic, vol. 34 (1987), no. 2, pp. 119–169.Google Scholar
[22] J., Maříiková, The structure on the real field generated by the standard part map on an O-minimal expansion of a real closed field, Israel Journal of Mathematics, vol. 171 (2009), pp. 175–195.Google Scholar
[23] J., Maříiková, O-minimal fields with standard part map, preprint, 2009.
[24] A., Onshuus, Groups definable in 〈F, +, <〉, preprint.
[25] A., Onshuus and A., Pillay, Definable groups and compact p-adic Lie groups, Journal of the London Mathematical Society. Second Series, vol. 78 (2008), no. 1, pp. 233–247.Google Scholar
[26] M., Otero and Y., Peterzil, G-linear sets and torsion points in definably compact groups, Archive for Mathematical Logic, vol. 48 (2009), no. 5, pp. 387–402.Google Scholar
[27] Y., Peterzil, Returning to semibounded sets, to appear in The Journal of Symbolic Logic.
[28] Y., Peterzil and A., Pillay, Generic sets in definably compact groups, Fundamenta Mathematicae, vol. 193 (2007), no. 2, pp. 153–170.Google Scholar
[29] Y., Peterzil, A., Pillay, and S., Starchenko, Definably simple groups in o-minimal structures, Transactions of the American Mathematical Society, vol. 352 (2000), no. 10, pp. 4397–4419.Google Scholar
[30] Y., Peterzil, A., Pillay, and S., Starchenko, Linear groups definable in o-minimal structures, Journal of Algebra, vol. 247 (2002), no. 1, pp. 1–23.Google Scholar
[31] Y., Peterzil and S., Starchenko, Definable homomorphisms of abelian groups in o-minimal structures, Annals of Pure and Applied Logic, vol. 101 (2000), no. 1, pp. 1–27.Google Scholar
[32] Y., Peterzil and C., Steinhorn, Definable compactness and definable subgroups of o-minimal groups, Journal of the London Mathematical Society. Second Series, vol. 59 (1999), no. 3, pp. 769–786.Google Scholar
[33] A., Pillay, On groups and fields definable in o-minimal structures, Journal of Pure and Applied Algebra, vol. 53 (1988), no. 3, pp. 239–255.Google Scholar
[34] A., Pillay, Type-definability, compact Lie groups, and o-minimality, Journal of Mathematical Logic, vol. 4 (2004), no. 2, pp. 147–162.Google Scholar
[35] S., Shelah, Minimal bounded index subgroup for dependent theories, Proceedings of the American Mathematical Society, vol. 136 (2008), no. 3, pp. 1087–1091.Google Scholar
[36] S., Shelah, Definable groups and 2-dependent theories, prepprint.
[37] A., Strzebonski, Euler characteristic in semialgebraic and other o-minimal groups, Journal of Pure and Applied Algebra, vol. 96 (1994), no. 2, pp. 173–201.Google Scholar
[38] Lou van den, Dries, Tame Topology and o-Minimal Structures, London Mathematical Society Lecture Note Series, vol. 248, Cambridge University Press, Cambridge, 1998.CrossRefGoogle Scholar
[39] Lou van den, Dries and J., Marikova, Triangulation in o-minimal fields with standard part map, preprint, 2009.
[40] A. J., Wilkie, Fusing o-minimal structures, The Journal of Symbolic Logic, vol. 70 (2005), no. 1, pp. 271–281.Google Scholar

Save book to Kindle

To save this book to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×