Alexandre Borovik, Jeffrey Burdges
We show that a non-algebraic simple group of finite Morley rank with a definable representation over a field has no involutions, and otherwise resembles a bad group. In particular, the modern form of the Cherlin-Zilber alebaricity conjecture hold for such groups.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
By exploiting the geometry of involutions in $N_\circ^\circ$-groups of finite Morley rank, we show that any simple group of Morley rank $5$ is a bad group all of whose proper definable connected subgroups are nilpotent of rank at most $2$. The main result is then used to catalog the nonsoluble connected groups of Morley rank $5$.
We show that any simple group of Morley rank 4 must be a bad group with no proper definable subgroups of rank larger than 1. We also give an application to groups acting on sets of Morley rank 2.
We examine Weyl groups of minimal connected simple groups of finite Morley rank of degenerate type. We show that they are cyclic, and lift isomorphically to subgroups of the ambient group.
In this paper we study the algebraic structure of $ω$-stable bilinear maps, arbitrary rings and nilpotent groups. We will also provide rather complete structure theorems for the above structures in the finite Morley rank case.
We prove that in a connected group of finite Morley rank the centralizers of decent tori are connected. We then apply this result to the analysis of minimal connected simple groups of finite Morley rank. Our applications include general covering properties by Borel subgroups, the description of Weyl groups and the analysis of toral automorphisms.
Here we analyze a proper 2-generated core in a minimal counter example to the Cherlin-Zilber Algebraicity Conjecture for simple groups of finite Morley rank. We ultimately show that such a group is strongly embedded and the ambiant group is minimal connected simple.
Bisoluble and Binilpotent Skew Braces of Finite Morley Rank
研究有限Morley秩的连通斜括号，证明其加法与乘法群的幂零性或可解性可推出括号本身的左幂零性或弱可解性。
We prove several results about groups of finite Morley rank without unipotent p-torsion: p-torsion always occurs inside tori, Sylow p-subgroups are conjugate, and p is not the minimal prime divisor of our approximation to the ``Weyl group.'' These results are quickly finding extensive applications within the classification project.
The Şiş Kebap Theorem: A Generic Identification Theorem for Groups of Finite Morley Rank
本文提出有限 Morley 秩“通用”群的最终识别定理的新版本，发展了已有研究成果，为 Hrushovski 计划中有限 Morley 秩无限单群的分类提供支持。
We prove that if the group of fixed points of a generic automorphism of a simple group of finite Morley rank is pseudofinite, then this group is an extension of a (twisted) Chevalley group over a pseudofinite field. On the way to obtain this result, we classify non-abelian definably simple pseudofinite groups of finite centralizer dimension (using the ideas of John S. Wilson).
We show that a minimal counter example to the Cherlin-Zilber Algebraicity Conjecture for simple groups of finite Morley rank has Prufer 2-rank at most two. This article covers the signalizer functor theory and identifies the groups of Lie rank at least three; leaving the uniqueness case analysis to previous articles. This result signifies the end of the general methods used to handle large groups; hereafter each individual group PSL$_2$, PSL$_3$, PSp$_4$, and G$_2$ will require its own identification theorem.
One of the central tools in the classification of simple algebraic groups is the distinction between semisimple subgroups and unipotent subgroups. It is not a priori clear how to make this distinction for torsion-free subgroups of a group of finite Morley rank. We exploit the ``graded'' notion of 0-unipotence to develop a Sylow theory for torsion-free subgroups of a solvable group of finite Morley rank. This Sylow theory provides a robust alternative to the usual theory of Carter subgroups, and will be used in the analysis of intersections of Borel subgroups in minimal simple groups.
We deal with two forms of the "uniqueness cases" in the classification of large simple $K^*$-groups of finite Morley rank of odd type, where large means the $m_2(G)$ at least three. This substantially extends results known for even larger groups having \Prufer 2-rank at least three, to cover the two groups $\PSp_4$ and $\G_2$. With an eye towards distant developments, we carry out this analysis for $L^*$-groups which is substantially broader than the $K^*$ setting.
We prove a Jordan decomposition theorem for minimal connected simple groups of finite Morley rank with non-trivial Weyl group. From this, we deduce a precise structural description of Borel subgroups of this family of simple groups. Along the way we prove a Tetrachotomy theorem that classifies minimal connected simple groups. Some of the techniques that we develop help us obtain a simpler proof of a theorem of Burdges, Cherlin and Jaligot.
We modify the Frecon-Jaligot construction of Carter subgroups to show that a degenerate type group has a Carter subgroup invariant under the Sylow 2-subgroup of a group of automorphisms; thus reducing the need to know that Carter subgroups are conjugate in degenerate type groups.
We investigate the configuration where a group of finite Morley rank acts definably and generically $m$-transitively on an elementary abelian $p$-group of Morley rank $n$, where $p$ is an odd prime, and $m\geqslant n$. We conclude that $m=n$, and the action is equivalent to the natural action of $\operatorname{GL}_n(F)$ on $F^n$ for some algebraically closed field $F$. This strengthens our earlier result in arXiv:1802.05222, and partially answers two problems posed in [9].
We show that a minimal nonalgebraic simple groups of finite Morley rank has Prufer rank at most 2, and eliminates tameness from Cherlin and Jaligot's past work on minimal simple groups. The argument given here begins with the strongly embedded minimal simple configuration of Borovik, Burdges and Nesin. The 0-unipotence machinery of Burdges's thesis is used to analyze configurations involving nonabelian intersections of Borel subgroups. The number theoretic punchline of Cherlin and Jaligot has been replaced with a new genericity argument.
Small groups of finite Morley rank with a supertight automorphism
本文研究具有有限莫利秩和 Prüfer 2-秩1的无限单群，在超紧自同构作用下固定点子群均为伪有限的条件下，证明该群同构于某特征不为2的代数闭域上的 PGL₂(K)。
We show that for a wide class of groups of finite Morley rank the presence of a split $BN$-pair of Tits rank $1$ forces the group to be of the form $\operatorname{PSL}_2$ and the $BN$-pair to be standard. Our approach is via the theory of Moufang sets. Specifically, we investigate infinite and so-called hereditarily proper Moufang sets of finite Morley rank in the case where the little projective group has no infinite elementary abelian $2$-subgroups and show that all such Moufang sets are standard (and thus associated to $\operatorname{PSL}_2(F)$ for $F$ an algebraically closed field of chara…
Jaligot's Lemma states that the Fitting subgroups of distinct Borel subgroups do not intersect in a tame minimal simple groups of finite Morley. Such a strong result appears hopeless without tameness. Here we use the 0-unipotence theory to build a toolkit for the analysis of nonabelian intersections of Borel subgroups. As a demonstration, we show that any connected nilpotent subgroup of an intersection of Borel subgroups, in a nontame minimal simple group, must actually be abelian.
Actions of $\operatorname{Alt}(n)$ on groups of finite Morley rank without involutions
本文研究了有限 Morley 秩群上 $\operatorname{Alt}(n)$ 的忠实作用，证明了无对合时不可解群秩的下界 $n$，并推广到可解群，进而应用于通用传递性限制。
The present survey aims at being a list of Conjectures and Problems in an area of model-theoretic algebra wide open for research, not a list of known results. To keep the text compact, it focuses on structures of finite Morley rank, although the same questions can be asked about other classes of objects, for example, groups definable in $ω$-stable and $o$-minimal theories. In many cases, answers are not known even in the classical category of algebraic groups over algebraically closed fields.
We classify irreducible actions of connected groups of finite Morley rank on abelian groups of Morley rank 3.
Primitive permutation groups of finite Morley rank and affine type
本文综述有限 Morley 秩连通群的可定义本原作用，重点讨论含正则交换正规子群的仿射型本原群及其核心理论地位。
This article proves a version of the Feit-Thompson theorem for simple groups of finite Morley rank: a connected groups of finite Morley rank with a finite Sylow 2-subgroup has a trivial Sylow 2-subgroups.
There is a longstanding conjecture, due to Gregory Cherlin and Boris Zilber, that all simple groups of finite Morley rank are simple algebraic groups. One of the major theorems in the area is Borovik's trichotomy theorem. The "trichotomy" here is a case division of the minimal counterexamples within odd type, i.e. groups with a divisibble connected component of the Sylow 2-subgroup. We introduce a charateristic zero notion of unipotence which can be used to obtain a connected nilpotent signalizer functor from any sufficiently non-trivial solvable signalizer functor. This result plugs seamlessl…
We give an algebraic description of the structure of the analytic universal cover of a complex abelian variety which suffices to determine the structure up to isomorphism. More generally, we classify the models of theories of "universal covers" of rigid divisible commutative finite Morley rank groups.
For any $n\geq 6$ we construct almost strongly minimal geometries of type $\bullet \overset{n}{-} \bullet \overset{n}{-}\bullet$ which are $2$-ample but not $3$-ample.
A minimal type of Morley rank $ω$ in a partial differential field
本文研究特征零微分闭域中无粘 Burgers 方程的一般完备1型，证明其Lascar秩为1而Morley秩为ω，从而给出偏微分域中极小类型的例子。
On p-Lie algebras of finite Morley rank
本文研究有限莫利等级的p-李代数理论，特别是在可解情况下的完整特征化。
Soluble Lie rings of finite Morley rank
该研究针对有限Morley秩的可解李环，通过更强线性化结果推导Lie-Kolchin-Malcev定理的对应版本，并分类了特征非2、3且Morley秩为2的模上的李环作用。
There is no bad group of Morley rank 2n+1 with an abelian Borel subgroup of Morley rank n. In particular, there is no bad group of Morley rank 3 (O. Fr{é}con).
On quasi-Frobenius pairs of finite Morley rank
本研究针对有限Morley秩拟Frobenius构型展开，通过弱化Zamour识别定理的假设、证明奇型强嵌入拟Frobenius构型为Frobenius构型、给出二面体构型维数关系，依托中心化子下非 generic 集合闭包性质推进了相关代数分类研究。
Simple Lie rings of Morley rank 4
本文证明了Cherlin-Zilber猜想的李环版本：特征0时对任意秩成立，特征不为2、3时对秩≤4成立，而群情形下这两个结论仍未解决。
We show that the only transitive and generically $4$-transitive action of a group of finite Morley rank on a set of Morley rank $2$ is the natural action of $\operatorname{PGL}_3$ on the projective plane.
Sharply 2-transitive groups of finite Morley rank
本文研究了有限莫利 rank 群的严格 2-transitive 性质，证明了在特征 2 时群分裂，而在其他特征时群是某个代数闭域的仿射变换群。
We show that the geometry associated to certain non-split sharply 2-transitive groups does not contain a proper projective plane. For a sharply 2-transitive group of finite Morley rank we improve known rank inequalities for this geometry and conclude that a sharply 2-transitive group of Morley rank 6 must be of the form $K\rtimes K^*$ for some algebraically closed field $K$.
Rings of finite Morley rank without the canonical base property
本文给出大量不具有典范基性质（CBP）的自然代数例子，刻画了满足 CBP 的交换幺环，并构造了不具有 CBP 的 CM-平凡环及三角环，进而得到不满足 CBP 的幂零群。
Groups Acting Generically Multiply Transitively on Solvable Groups
本文在有限 Morley 秩设定下，完成了群在可解群上泛多重传递作用的分类，证明此类作用等价于一般线性群在代数闭域向量空间上的自然作用，并推广了可定义本原群的分类。
Bounding the degree of generic sharp transitivity
本研究在L-群条件下证明了有限Morley秩泛型锐t-传递置换群的次数满足t≤r+2，推进了Borovik-Cherlin猜想，证明基于三个独立的群作用相关关键要素。
There is no sad group of Morley rank 2n + 1 with an abelian Borel subgroup of rank n. In particular, Fr{é}con's Theorem follows: There is no bad group of Morely rank 3.
There is an axiomatic treatment of Morley rank in groups, due to Borovik and Poizat. These axioms form the basis of the algebraic treatment of groups of finite Morley rank which is common today. There are, however, ranked structures, i.e. structures on which a Borovik-Poizat rank function is defined, which are not $\aleph_0$-stable. Poizat raised the issue of the relationship between this notion of rank and stability theory in the following terms: ``un groupe de Borovik est une structure stable, alors qu'un univers rangé n'a aucune raison de l'être ...''. Nonetheless, we show that a ranked str…
We revisit the geometry of involutions in groups of finite Morley rank. Our approach unifies and generalises numerous results, both old and recent, that have exploited this geometry; though in fact, we prove much more. We also conjecture that this path leads to a new identification theorem for $\operatorname{PGL}_2(\mathbb{K})$.
Primitive pseudo-finite permutation groups of finite SU-rank
本文研究了有限SU-秩的原始伪有限置换群，证明了该群的秩可由另一个对象的秩限制，类似于Borovik和Cherlin的定理。
We classify irreducible SL(2,K)-modules of low Morley rank (at most 4.rk(K)) as a first step towards a more general conjecture.
We study a model theoretic context (finite thorn rank, NIP, with finitely satisfiable generics) which is a common generalization of groups of finite Morley rank and definably compact groups in o-minimal structures. We show that assuming thorn rank 1, the group is abelian-by-finite, and assuming thorn rank 2 the group is solvable by finite. Also a field is algebraically closed.
Finite-dimensional differential-algebraic permutation groups
本文证明了微分闭域中有限秩可定义本原置换群同构于常数域中的代数置换群，验证了相关猜想，并应用于绑定群与微分方程解的超越性。
In 2008, Borovik and Cherlin posed the problem of showing that the degree of generic transitivity of an infinite permutation group of finite Morley rank $(X,G)$ is at most $n+2$ where $n$ is the Morley rank of $X$. Moreover, they conjectured that the bound is only achieved (assuming transitivity) by $\operatorname{PGL}_{n+1}(\mathbb{F})$ acting naturally on projective $n$-space. We solve the problem under the two additional hypotheses that (1) $(X,G)$ is $2$-transitive, and (2) $(X-\{x\},G_x)$ has a definable quotient equivalent to $(\mathbb{P}^{n-1}(\mathbb{F}),\operatorname{PGL}_{n}(\mathbb{…
We show that a minimal counter example to the Cherlin-Zilber Algebraicity Conjecture for simple groups of finite Morley rank has normal 2-rank at most two, which is a tameness free version of Borovik's original trichotomy theorem. This result serves as a bridge by showing that there are no groups found strictly between the generic and quasithin cases, i.e. between groups of Lie rank at least three, and groups of Lie rank one and two. Again this result depends upon previous work for the uniqueness case analysis.
Counting in Uncountably Categorical Pseudofinite Structures
本文证明不可数范畴伪有限结构中可定义子集的伪有限基数可表示为强极小集大小的有理多项式，并据此将满足同一不可数范畴理论的有限结构类刻画为多项式R-mec和N维渐近类。
In this paper we prove that any strongly embedded subgroup of a K*-group G of finite Morley rank and odd type that does not interpret any bad field is solvable if its Pruefer 2-rank is at least 2. If the normal 2-rank of G is at least 3 this has two important consequences: If G contains a non-solvable centraliser of an involution, then G does not contain any proper 2-generated core and centralisers of involutions have trivial cores.
We exhibit a simplified version of the construction of a field of Morley rank p with a predicate of rank p-1, extracting the main ideas for the construction from previous papers and refining the arguments. Moreover, an explicit axiomatization is given, and ranks are computed.
On the model theory of the Farey graph
研究费马图的模型论，证明其为ω稳定且莫利等级为ω。
We give an example of a finite rank, in fact aleph-1 categorical theory where the CBP (canonical base property) does not hold. We include a "group-like" example. We also prove, in a finite Morley rank context, if all definable Galois groups are "rigid" then the theory has the CBP (in a strong sense).
Let $S$ be a semiabelian variety over an algebraically closed field, and let $X$ be an irreducible subvariety not contained in a coset of a proper algebraic subgroup of $S$. We show that the number of irreducible components of $[n]^{-1}(X)$ is bounded uniformly in $n$, and moreover that the bound is uniform in families $X_t$. We prove this by purely Galois-theoretic methods. This proof applies in the more general context of divisible abelian groups of finite Morley rank. In this latter context, we deduce a definability result under the assumption of the Definable Multiplicity Property (DMP). W…
We use a variation on Mason's $α$-function as a pre-dimension function to construct a not one-based $ω$-stable plane $P$ (i.e. a simple rank $3$ matroid) which does not admit an algebraic representation (in the sense of matroid theory) over any field. Furthermore, we characterize forking in $Th(P)$, we prove that algebraic closure and intrinsic closure coincide in $Th(P)$, and we show that $Th(P)$ fails weak elimination of imaginaries, and has Morley rank $ω$.
We prove that in a continuous $\aleph_0$-stable theory every type-definable group is definable. The two main ingredients in the proof are: \begin{enumerate} \item Results concerning Morley ranks (i.e., Cantor-Bendixson ranks) from \cite{BenYaacov:TopometricSpacesAndPerturbations}, allowing us to prove the theorem in case the metric is invariant under the group action; and \item Results concerning the existence of translation-invariant definable metrics on type-definable groups and the extension of partial definable metrics to total ones. \end{enumerate}
We investigate the question of whether the restriction of a NIP type $p\in S(B)$ which does not fork over $A\subseteq B$ to $A$ is also NIP, and the analogous question for dp-rank. We show that if $B$ contains a Morley sequence $I$ generated by $p$ over $A$, then $p\restriction AI$ is NIP and similarly preserves the dp-rank. This yields positive answers for generically stable NIP types and the analogous case of stable types. With similar techniques we also provide a new more direct proof for the latter. Moreover, we introduce a general construction of "trees whose open cones are models of some…
From the Cherlin-Zilber Conjecture via sharply $2$-transitive groups to the Burnside problem
本文综述了有限Morley秩单群的Cherlin-Zilber代数性猜想现状，指出锐2-传递群可能提供反例，并揭示了Burnside问题的必然介入。
We introduce a family of local ranks DQ depending on a finite set Q of pairs of the form (φ(x,y),q(y)) where φ(x,y) is a formula and q(y) is a global type. We prove that in any NSOP1 theory these ranks satisfy some desirable properties; in particular, DQ(x=x)<ωfor any finite variable x and any Q, if q\supseteq p is a Kim-forking extension of types, then DQ(q)<DQ(p) for some Q, and if q\supseteq p is a Kim-non-forking extension, then DQ(q)=DQ(p) for every Q that involves only invariant types whose Morley powers are \ind^K-stationary. We give natural examples of families of invariant types satis…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。