U-rank
Generated by GPT-5-miniExpansion Funnel Raw 39 → Dedup 0 → NER 0 → Enqueued 0
| U-rank | |
|---|---|
| Name | U-rank |
| Field | Model theory |
| Introduced | 1970s |
| Introduced by | Frank Wagner; Bruno Poizat; Anand Pillay |
| Related | Morley rank, Shelah rank, Lascar rank, KP-rank, SU-rank |
U-rank U-rank is a model-theoretic ordinal-valued rank used to measure complexity of complete types in stable theories and to stratify definable sets in first-order theories. It refines notions such as Morley rank and Lascar rank and appears centrally in stability theory, classification theory, and the analysis of groups and fields definable in stable contexts. U-rank interacts with independence notions exemplified by forking and thorn-forking and plays a role in the structural study of models associated with famous classification results.
Definition and basic properties
The U-rank is defined for complete types over parameter sets in a complete first-order theory by transfinite induction using forking extensions. Key contributors established formal definitions in connection with forking as studied by Saharon Shelah, Michael Morley, Bruno Poizat, Anand Pillay, and Frank O. Wagner. Basic properties include monotonicity under non-forking restriction, additivity for independent tuples in superstable theories, and finiteness characterizations in ω-stable contexts studied by James H. Schmerl and Boris Zilber. For superstable theories the U-rank assigns ordinals or ∞ to types; for simple unstable theories analogues relate to Lascar rank and SU-rank as developed by Byunghan Kim and Zoé Chatzidakis. Results connecting U-rank to definable group structure appear in work by Ehud Hrushovski, Alice Medvedev, and David Marker.
Examples and computations
Classic computations of U-rank occur in algebraically closed fields, differentially closed fields, and separably closed fields. For instance, in the theory of algebraically closed fields of fixed characteristic studied by Alexander Grothendieck-inspired model theorists such as Michael Ziegler and Lou van den Dries, types of generic points have U-rank 1 coinciding with Morley rank. In differentially closed fields examined by E. R. Kolchin and Tom Scanlon, differential-algebraic varieties yield U-ranks that reflect differential transcendence degree; computations by Anand Pillay and Z. Chatzidakis relate U-rank to Kolchin polynomials. In the theory of pure groups and modules, results by Mekler and Mike Prest compute U-rank via decomposition theory and purity; modules of finite length or finite Morley rank often admit explicit U-rank values. Finite U-rank examples include ω-stable theories such as countably categorical structures classified by C. C. Chang and H. Jerome Keisler; infinite U-rank phenomena are demonstrated by theories like the random graph and certain Hrushovski constructions developed by Ehud Hrushovski.
Relation to other model-theoretic ranks
U-rank relates to Morley rank, Lascar rank, Shelah rank, and SU-rank. In ω-stable theories Michael Morley showed coincidence between U-rank and Morley rank for stationary types; Saharon Shelah established connections to his stability spectrum and Shelah rank. In simple theories, SU-rank generalizes U-rank with contributions from Byunghan Kim and Francesco Pillay; Lascar rank studied by Daniel Lascar compares via inequalities and sometimes equality under stability hypotheses. Comparative results by Bruno Poizat, Frank Wagner, and Anand Pillay display that U-rank is bounded above by Lascar rank in many contexts and that additivity properties align with those of Morley rank in superstable settings. The interplay with forking and thorn-forking links U-rank to independence calculus explored by Gregorczyk-style developments and later refinements by Itay Ben-Yaacov.
Applications in classification theory
In classification theory U-rank serves as an invariant for dividing classes of theories such as superstable, totally transcendental, and ω-stable theories. Shelah's classification program uses rank-theoretic information including U-rank to derive structure and categoricity results; contributors like Saharon Shelah, Michael Morley, and John T. Baldwin used ranks to formulate dividing lines. Applications include analysis of definable groups and fields where U-rank constrains possible algebraic configurations, results on binding groups by Zilber and Hrushovski, and tameness results for geometries arising in model theory studied by Boris Zilber and E. Hrushovski. In categorical model theory, U-rank helps prove uniqueness of prime models and countable categoricity consequences investigated by Rami Grossberg and C. Ward Henson.
Variants and generalizations
Generalizations of U-rank include SU-rank for simple theories, U^b-rank for thorn-forking, and analogues for dependent (NIP) theories. Researchers such as Byunghan Kim, Ziv Shami, Itay Kaplan, and Pierre Simon proposed alternative rank-like measures adapted to forking-like independence in broader classes. Localized ranks for types over finite sets and ranks for imaginaries were developed by Bruno Poizat and Frank Wagner. Hrushovski-style predimension constructions led to ranks encoding combinatorial geometries used by Ehud Hrushovski to build new stable and unstable examples.
Historical development and key contributors
The concept evolved from early stability theory work by Michael Morley and the systematic study of forking by Saharon Shelah in the 1970s. Foundational formalizations and popularizations were produced by Bruno Poizat, Anand Pillay, and Frank O. Wagner who articulated U-rank properties and applications. Subsequent refinements and computations were carried out by Ehud Hrushovski, Zlil Sela, Byunghan Kim, Tom Scanlon, and David Marker. Modern developments connecting U-rank to simple theories, thorn-forking, and NIP contexts involve contributions from Pierre Simon, Itay Kaplan, Itay Ben-Yaacov, and Artem Chernikov. The evolving literature ties U-rank to deep structural theorems and ongoing research in model-theoretic algebra and classification.