Rank and Independence of Imaginaries in Proper Pairs of ACF

Zixuan Zhu

arxiv: 2603.03518 · v2 · pith:YDCARPZInew · submitted 2026-03-03 · 🧮 math.LO

Rank and Independence of Imaginaries in Proper Pairs of ACF

Zixuan Zhu This is my paper

Pith reviewed 2026-05-25 07:21 UTC · model grok-4.3

classification 🧮 math.LO

keywords beautiful pairsalgebraically closed fieldsSU-rankforking independenceimaginariesgeometric rankmodel theory

0 comments

The pith

A geometric rank on imaginaries in beautiful pairs of algebraically closed fields refines SU-rank and characterizes forking.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper defines an additive geometric rank on the imaginaries of the theory T_P of beautiful pairs of algebraically closed fields. The rank takes values in ωN + Z and coincides with SU-rank on real tuples. It refines SU-rank and is shown to characterize forking in the eq expansion. This provides an explicit criterion for forking independence, which matters because it makes independence relations in these structures more accessible to calculation. A sympathetic reader would care as it extends known results from real tuples to imaginaries in a structured way.

Core claim

The paper establishes that the geometric rank, built on Pillay's geometric description of imaginaries, is additive, coincides with SU-rank on real tuples, refines SU-rank, and characterizes forking in T_P^eq, from which an explicit criterion for determining forking independence is derived.

What carries the argument

The geometric rank, an additive rank on imaginaries taking values in ω*N + Z that refines SU-rank and detects forking.

If this is right

The geometric rank coincides with SU-rank on real tuples.
The rank refines SU-rank on imaginaries.
Forking in T_P^eq is characterized by the geometric rank.
An explicit criterion for forking independence is obtained.
SU-rank coincides with Morley rank for real tuples.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The criterion could be applied to compute independence in concrete algebraic examples involving pairs of fields.
It may suggest similar rank definitions for other model theoretic structures with geometric descriptions of imaginaries.
Extensions to other characteristics or related theories like real closed fields could be explored.
The rank might interact with other invariants in the theory of fields.

Load-bearing premise

Pillay's geometric description of imaginaries in T_P can be extended to an additive rank on imaginaries that coincides with SU-rank on real tuples and characterizes forking.

What would settle it

A counterexample consisting of imaginaries in a model of T_P where the geometric rank does not correctly indicate forking or differs from the SU-rank would disprove the main claim.

read the original abstract

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 $\omega*\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 independence.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Zhu defines a geometric rank on imaginaries in beautiful pairs of ACF valued in ωN + Z that refines SU-rank and detects forking, building on Pillay 2007, but the proofs remain uninspectable from the abstract alone.

read the letter

Zhu's paper defines an additive geometric rank on imaginaries in the theory T_P of beautiful pairs of algebraically closed fields. The rank takes values in ωN + Z, agrees with SU-rank on real tuples, refines SU-rank in general, and is claimed to characterize forking in T_P^eq, which yields an explicit criterion for forking independence. This is the central new item: the rank construction itself and the forking link, which are not present in the cited Pillay 2007 work on the geometry of imaginaries in this theory. The paper does well in turning the geometric description into a usable rank that could support concrete independence calculations in a setting where SU-rank already matches Morley rank on reals. The construction is presented as a direct extension rather than a reinvention, which keeps the circularity burden low. The main limitation is that only the abstract is available, so the actual definition of the rank on imaginaries, the additivity proof, the verification that it coincides with SU on reals, and the argument that it fully detects forking cannot be checked. If those steps hold without gaps, the work is a focused incremental step; if they do not, the claims collapse. No internal contradiction appears in the stated outline. This paper is aimed at model theorists already working on stable theories of fields, imaginaries, and pairs. A reader familiar with Pillay's 2007 paper would get the most from it, while someone outside geometric model theory would see limited payoff. It deserves a serious referee because the claims are specific enough to be evaluated once the full text is in hand, and the subfield can use the explicit criterion even if the broader impact stays narrow. I would send it to review.

Referee Report

0 major / 3 minor

Summary. The manuscript defines an additive geometric rank on imaginaries in the theory T_P of beautiful pairs of algebraically closed fields of fixed characteristic. Building on Pillay's 2007 geometric description of imaginaries, the rank takes values in ω·ℕ + ℤ, coincides with SU-rank on real tuples, refines SU-rank, and characterizes forking in T_P^eq, from which an explicit criterion for forking independence is derived.

Significance. If the central claims hold, the work supplies a concrete, additive rank on imaginaries that agrees with the known SU-rank on reals and detects forking, extending the effective computability of ranks already available for real tuples in T_P. This could serve as a practical tool for independence calculations in T_P^eq.

minor comments (3)

The value group is written as ω*ℕ + ℤ in the abstract; clarify whether this denotes the standard ordinal sum ω·ℕ + ℤ and whether the rank is strictly increasing under the usual ordering on this group.
The abstract states that the geometric rank 'refines SU-rank'; include a precise statement (e.g., in the introduction or §3) of the refinement relation, such as whether geometric rank ≥ SU-rank with equality on reals.
The explicit criterion for forking independence is announced but not displayed in the abstract; ensure it appears as a numbered theorem or corollary with a clear statement in terms of the geometric rank.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and the recommendation for minor revision. No specific major comments are listed in the report, so there are no individual points requiring point-by-point response or revision.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's central construction extends Pillay's 2007 geometric description of imaginaries in T_P (an external reference by a different author) to define a geometric rank on imaginaries valued in ω⋅ℕ + ℤ. This rank is stated to coincide with SU-rank on real tuples and to characterize forking in T_P^eq. No derivation step reduces by the paper's own equations or self-citation to quantities defined inside the present work; the load-bearing premise is imported from independent prior work rather than being self-referential or fitted internally. The abstract and claims remain self-contained against this external benchmark.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Review performed on abstract only; full details of any free parameters or background axioms are unavailable. The work rests on the standard model-theoretic framework for T_P and the cited Pillay description.

axioms (1)

domain assumption T_P is the theory of beautiful pairs of algebraically closed fields of fixed characteristic
Stated as the base theory whose imaginaries are studied.

invented entities (1)

geometric rank no independent evidence
purpose: Additive rank on imaginaries taking values in ω*N + Z that refines SU-rank and characterizes forking
Newly defined in the paper extending Pillay 2007; no independent evidence outside the paper is provided in the abstract.

pith-pipeline@v0.9.0 · 5632 in / 1212 out tokens · 47171 ms · 2026-05-25T07:21:49.717231+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We define an additive rank on imaginaries of T_P, called the geometric rank. It takes values in ω·N+Z and coincides with SU-rank on real tuples. It refines SU-rank and characterizes forking in T_P^eq
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

gR(e) := (trdeg(a/P(M)),trdeg(b))−dimG_b

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.