{"id":"arxiv/2603.03518","url":"https://arxiv.org/abs/2603.03518","tags":["math.LO"],"score":0,"title":"Rank and Independence of Imaginaries in Proper Pairs of ACF","domain":"math.LO","source":"arxiv","authors":["Zixuan Zhu"],"reviews":0,"subject":"math.LO","summary":"Let $T_P$ be the theory of beautiful pairs of algebraically closed fields of fixed characteristic. It is known that for real tuples in models of $T_P$, SU-rank coincides with Morley rank and can be computed effectively. Building on Pillay's geometric description (2007) of imaginaries in $T_P$, we define an additive rank on imaginaries of $T_P$, called the geometric rank. It takes values in $ω*\\mathbb N + \\mathbb Z$ and coincides with SU-rank on real tuples. It refines SU-rank and characterizes forking in $T_P^{\\mathrm{eq}}$, from which we derive an explicit criterion for determining forking…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-03","reactions":{}}