International Research Fellowship Program: Permutation Groups and Model Theory

该奖项由2009年美国复苏和再投资法案(公法111-5)资助。国际研究奖学金计划使美国科学家和工程师能够在国外进行9至24个月的研究。该计划的奖项提供了联合研究的机会，并利用国外独特或互补的设施、专业知识和实验条件。该奖项将支持保罗·巴金斯基博士与法国里昂大学的图纳·阿尔蒂内尔博士合作的为期24个月的研究奖学金。排列小组提供特定对象对称性的数学抽象。虽然有限置换群的研究由来已久，但目前的项目使用模型理论方法将这一数学理论扩展到几类具有有限性质的无限置换群。特别地，该项目着重于有限Morley秩和可数范畴的强模型论性质。在有限群的情况下，关于置换群的许多见解出现在有限单群的分类程序的末尾。在无限情形下，模型理论家对有限Morley阶单群进行类似的分类程序已有近30年的历史。分类的现状促使两位著名的研究人员Alexandre Borovik和Gregory Cherlin在2007年表示，有限Morley秩无限置换群的重大进展迫在眉睫。拟议的项目首先解决了Borovik和Cherlin？S提出的关于置换群与其作用的集合之间的基本模型理论相互作用的问题之一，并配备了关系足迹？集体行动的。调查在FMR案例中进行，以分析本原置换群、类n传递性和其他相关问题。同时，该项目考虑了同样的问题，但用可数范畴取代了有限的Morley等级。虽然FMR群通常类似于代数闭域上的代数群，但可数范畴群趋向于有限域上的无限维向量空间。总而言之，具有有限Morley秩或可数范畴性质的群包含了许多在数学中出现的熟悉的无限置换群的例子。Fmr或可数范畴设置的进展有望在模型理论和其他领域(如数论、代数图论和抽象几何)中具有广泛的适用性。该项目以国际合作为特色，来自美国、法国、英国、德国和其他地方的研究人员参与其中，结果将迅速广泛传播。此外，这项研究的意义可能很容易超越数学，因为置换群被用于许多物体的对称性的应用研究，从晶体到作为现代密码学基础的算术曲线。由于它们的大小，其中一些物体实际上是无限的。例如，万维网，当被认为是一组由线(超链接)连接的点(网页)时，形成了一个几乎不可能进行全面分析的系统。虽然在计算上是无限的，但这样的物体自然是有限的。在这种情况下，使用具有有限性质的无限置换群来分析它们的对称性可能是卓有成效的，例如本研究中所描述的那些。

0853293BaginskiThis award is funded under the American Recovery and Reinvestment Act of 2009 (Public Law 111-5).The International Research Fellowship Program enables U.S. scientists and engineers to conduct nine to twenty-four months of research abroad. The program's awards provide opportunities for joint research, and the use of unique or complementary facilities, expertise and experimental conditions abroad.This award will support a twenty-four-month research fellowship by Dr. Paul Baginski to work with Dr. Tuna Altinel at the University of Lyon in France.Permutation groups provide the mathematical abstraction of the symmetries of a specified object. While finite permutation groups have long been examined, the current project uses model-theoretic methods to extend this mathematical theory to several classes of infinite permutation groups with finitary properties. In particular, the project focuses on the strong model-theoretic properties of finite Morley rank (fMR) and countable categoricity. In the case of finite groups, many insights about permutation groups occurred toward the end of the classification program for finite simple groups. In the infinite case, model theorists have pursued an analogous classification program for simple groups of finite Morley rank for nearly thirty years. The current status of the classification prompted two prominent researchers, Alexandre Borovik and Gregory Cherlin, to signal in 2007 that significant progress on infinite permutation groups of finite Morley rank is imminent. The proposed project has begun by addressing one of Borovik and Cherlin?s questions concerning the fundamental model theoretic interactions between the permutation group and the set upon which it acts, equipped with a relational ?footprint? of the group action. The investigation proceeds in the fMR case toward analysis of primitive permutation groups, generic n-transitivity, and other related problems. In parallel, the project considers these same problems, but with countable categoricity in place of finite Morley rank. Whereas groups of fMR generally resemble algebraic groups over algebraically closed fields, countably categorical groups tend toward infinite-dimensional vector spaces over finite fields. Taken together, groups with the properties of finite Morley rank or countable categoricity encompass many familiar examples of infinite permutation groups which appear across mathematics. Advances in the fMR or countably categorical settings can be expected to have broad applicability within model theory and other fields such as number theory, algebraic graph theory and abstract geometry. The project features international cooperation, with involvement from researchers from the USA, France, the United Kingdom, Germany, and elsewhere, and the results would have rapid and wide circulation. Furthermore, implications of this research could easily reach beyond mathematics, since permutation groups are used in the applied study of symmetries of many objects, from crystals to the arithmetic curves that underlie much of modern cryptography. Due to their size, some of these objects are effectively ?infinite?. For example, the world-wide-web, when considered as a set of points (webpages) connected by lines (hyperlinks), forms a nearly impossible system for full-scale analysis. While computationally infinite, such objects are naturally finite. In this case, it may be fruitful to analyze their symmetries using infinite permutation groups with finitary properties, such as the ones featured in this research.