Hostname: page-component-7c8c6479df-nwzlb Total loading time: 0 Render date: 2024-03-29T00:35:45.467Z Has data issue: false hasContentIssue false

ADDITIVE COVERS AND THE CANONICAL BASE PROPERTY

Published online by Cambridge University Press:  15 June 2022

MICHAEL LOESCH*
Affiliation:
ABTEILUNG FÜR MATHEMATISCHE LOGIK MATHEMATISCHES INSTITUT, ALBERT-LUDWIGS-UNIVERSITÄT FREIBURG ERNST-ZERMELO-STRASSE 1, D-79104, FREIBURG, GERMANY

Abstract

We give a new approach to the failure of the Canonical Base Property (CBP) in the so far only known counterexample, produced by Hrushovski, Palacín and Pillay. For this purpose, we will give an alternative presentation of the counterexample as an additive cover of an algebraically closed field. We isolate two fundamental weakenings of the CBP, which already appeared in work of Chatzidakis and Moosa-Pillay and show that they do not hold in the counterexample. In order to do so, a study of imaginaries in additive covers is developed. As a by-product of the presentation, we observe that a pure binding-group-theoretic account of the CBP is unlikely.

Type
Article
Copyright
© The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

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

Ahlbrandt, G. and Ziegler, M., What’s so special about ${\left(\mathbb{Z}/ 4\mathbb{Z}\right)}^{\omega }$ ? Archive for Mathematical Logic, vol. 31 (1991), pp. 115132.CrossRefGoogle Scholar
Blossier, T., Martin-Pizarro, A., and Wagner, F. O., On variants of CM-triviality . Fundamenta Mathematicae, vol. 219 (2012), pp. 253262.CrossRefGoogle Scholar
Campana, F., Algébricité et compacité dans l’espace des cycles d’un espace analytique complexe . Mathematische Annalen, vol. 251 (1980), pp. 718.CrossRefGoogle Scholar
Chatzidakis, Z., A note on canonical bases and one-based types in supersimple theories . Confluentes Mathematici, vol. 4 (2012), pp. 1250004-1–1250004-34.CrossRefGoogle Scholar
Chatzidakis, Z., Harrison-Trainor, M., and Moosa, R., Differential-algebraic jet spaces preserve internality to the constants , this Journal, vol. 80 (2015), pp. 10221034.Google Scholar
Hodge, W. and Pillay, A., Cohomology of structures and some problems of Ahlbrandt and Ziegler . Journal of London Mathematical Society, vol. 50 (1994), pp. 116.CrossRefGoogle Scholar
Hrushovski, E., Unidimensional theories. An introduction to geometric stability theory , Logic Colloquium ’87 (H.-D. Ebbinghaus et al., editors), Studies in Logic and the Foundations of Mathematics, vol. 129, North-Holland, Amsterdam, 1989, pp. 73103.Google Scholar
Hrushovski, E., Palacín, D. and Pillay, A., On the canonical base property . Selecta Mathematica, vol. 19 (2013), pp. 865877.CrossRefGoogle Scholar
Jaoui, R., Jimenez, L., and Pillay, A., Relative internality and definable fibrations, preprint, 2020, https://arxiv.org/abs/2009.06014.Google Scholar
Kowalski, P. and Pillay, A., Quantifier elimination for algebraic D-groups . Transactions of the American Mathematical Society, vol. 358 (2006), pp. 167181.Google Scholar
Loesch, M., A (possibly new) structure without the canonical base property, preprint, 2021, https://arxiv.org/abs/2103.11968.Google Scholar
Marker, D. and Pillay, A., Reducts of $\left(\mathbb{C},+,\cdot \right)$  which contain  $+$ , this Journal, vol. 55 (1990), pp. 12431251.Google Scholar
Moosa, R., A model-theoretic counterpart to Moishezon morphisms , Models, Logics, and Higher-Dimensional Categories, American Mathematical Society, Providence, 2011, pp. 177188.CrossRefGoogle Scholar
Moosa, R. and Pillay, A., On canonical bases and internality criteria . Illinois Journal of Mathematics, vol. 52 (2008), pp. 901917.CrossRefGoogle Scholar
Palacín, D. and Pillay, A., On definable Galois groups and the strong canonical base property . Journal of Mathematical Logic, vol. 17 (2017), pp. 1750002-1–1750002-10.Google Scholar
Palacín, D. and Wagner, F. O., Ample thoughts , this Journal, vol. 78 (2013), pp. 489510.Google Scholar
Pillay, A., The geometry of forking and groups of finite Morley rank , this Journal, vol. 60 (1995), pp. 12511259.Google Scholar
Pillay, A., Geometric Stability Theory, Oxford Logic Guides, vol. 32, The Clarendon Press, Oxford University Press, New York, 1996.Google Scholar
Pillay, A. and Ziegler, M., Jet spaces of varieties over differential and difference fields , Selecta Mathematica, vol. 9 (2003), pp. 579599.CrossRefGoogle Scholar
Tent, K. and Ziegler, M., A course in Model Theory , Lecture Notes in Logic, vol. 40, Cambridge University Press, Cambridge, 2012.Google Scholar