[Paper Review] Minimal types in super-dependent theories

Assaf Hasson, Alf Onshuus|ArXiv.org|Nov 1, 2007

Advanced Topology and Set Theory3 citations

TL;DR

This paper establishes geometric conditions for a theory definable in an o-minimal structure to interpret a real closed field, showing that such interpretation occurs precisely when there exists a minimal, non-locally modular global type. The analysis hinges on þ-minimal types in super-dependent theories of finite rank, proving that unstable þ-minimal types are almost o-minimal and that stability of types corresponds to coordinatisation in stable þ-minimal types.

ABSTRACT

We give necessary and sufficient geometric conditions for a theory definable in an o-minimal structure to interpret a real closed field. The proof goes through an analysis of thorn-minimal types in super-rosy dependent theories of finite rank. We prove that such theories are coordinatised by thorn-minimal types and that such a type is unstable if an only if every non-algebraic extension thereof is. We conclude that a type is stable if and only if it admits a coordinatisation in thorn-minimal stable types. We also show that non-trivial thorn-minimal stable types extend stable sets.

Motivation & Objective

• To characterize when a theory definable in an o-minimal structure interprets a real closed field using geometric conditions on types.
• To analyze the role of þ-minimal types in super-rosy dependent theories of finite rank, particularly in relation to stability and coordinatisation.
• To extend Hrushovski’s and Buechler’s theorems to the context of o-minimal interpretations, linking stability and group actions.
• To reduce the stable case to Zilber’s Trichotomy conjecture, clarifying conditions under which a pure algebraically closed field is interpretable.

Proposed method

• Develop a theory of þ-minimal types in super-dependent theories of finite rank, using þ-forking as a key tool.
• Introduce hereditarily stable types and prove that in dependent rosy theories, forking coincides with þ-forking for such types.
• Establish that any non-algebraic extension of a þ-minimal unstable type is unstable, leading to the conclusion that such types are almost o-minimal.
• Use the Trichotomy Theorem for o-minimal structures to show that rich, non-locally modular o-minimal types interpret real closed fields.
• Adapt Hrushovski’s theorem to show that locally modular minimal hereditarily stable types admit a type-definable minimal group acting generically on them.
• Prove that stable, non-trivial minimal types extend stable, stably embedded definable sets, and that such groups are themselves stably embedded.

Experimental results

Research questions

• RQ1 What geometric conditions on a minimal global type ensure that a theory definable in an o-minimal structure interprets a real closed field?
• RQ2 How do þ-minimal types in super-dependent theories of finite rank relate to coordinatisation and stability?
• RQ3 Under what conditions does a stable, minimal type in such a theory extend a stable, stably embedded definable set?
• RQ4 When does a minimal, non-locally modular stable type in a definable structure imply the existence of an interpretable algebraically closed field?
• RQ5 Can the Trichotomy Theorem for o-minimal structures be used to characterize the presence of interpretable fields in terms of type complexity?

Key findings

• A theory definable in an o-minimal structure interprets a real closed field if and only if there exists a minimal, non-locally modular (non-trivial) global type.
• A minimal, non-locally modular stable type in such a structure implies the existence of an interpretable pure algebraically closed field, assuming Zilber’s Trichotomy conjecture.
• Every non-algebraic extension of a þ-minimal unstable type is unstable, and such types are almost o-minimal.
• A stable, non-trivial minimal type in a super-dependent theory of finite rank extends a definable stable, stably embedded set.
• For a locally modular minimal hereditarily stable type, there exists a type-definable minimal group acting generically on a non-orthogonal minimal type.
• The definable group arising from a locally modular minimal stable type has a definable minimal supergroup and admits a hereditarily generic stable type, confirming its stably embedded nature.