[Paper Review] Forking in Short and Tame AECs

Will Boney, Rami Grossberg|arXiv (Cornell University)|Jun 27, 2013

Advanced Topology and Set Theory20 references15 citations

TL;DR

This paper introduces a well-behaved notion of forking independence for Galois-types in abstract elementary classes (AECs) under tameness, type-shortness, and absence of an order property. Under additional assumptions like property (E), the non-forking relation satisfies symmetry, uniqueness, and admits a U-rank, with conditions yielding superstability-like behavior from categoricity in a large cardinal.

ABSTRACT

We develop a notion of forking for Galois-types in the context of AECs. Under the hypotheses that an AEC K is tame, type-short, and failure of an order-property, we consider Definition 1. Let M0 ≺ N be models from K and A be a set. We say that the Gaois-type of A over M does not fork over M0, written A ⌣ N, iff for all small M0 a ∈ A and all small N − ≺ N, we have that Gaois-type of a over N − is realized in M0. Assuming property (E) (see Definition 3.3) we show that this non-forking is a well behaved notion of independence, in particular satisfies symmetry and uniqueness and has a corresponding U-rank. We find conditions for a universal local character, in particular derive superstability-like property from little more than categoricity in a “big cardinal”. Finally, we show that under large cardinal

Motivation & Objective

• To develop a robust notion of forking independence for Galois-types in abstract elementary classes (AECs).
• To establish conditions under which this forking notion satisfies key stability-theoretic properties such as symmetry and uniqueness.
• To connect categoricity in a large cardinal to superstability-like behavior via a universal local character condition.
• To investigate the existence of a U-rank in this context and its implications for stability.

Proposed method

• Define non-forking via the condition that types over small submodels are realized in a base model, ensuring independence from extensions.
• Use tameness and type-shortness to control the complexity of Galois-types and ensure definability of forking relations.
• Assume property (E) to guarantee that forking is well-behaved and satisfies symmetry and uniqueness.
• Apply categoricity in a large cardinal to derive a universal local character, implying a form of superstability.
• Use the absence of an order property to ensure stability and control over long sequences of types.
• Leverage large cardinal assumptions to derive structural properties such as the existence of a U-rank and local character.

Experimental results

Research questions

• RQ1 Under what conditions does a well-behaved notion of forking exist in AECs?
• RQ2 Can symmetry and uniqueness be established for non-forking in tame, type-short AECs with the absence of an order property?
• RQ3 How does categoricity in a large cardinal imply a form of superstability in AECs?
• RQ4 What is the role of property (E) in ensuring the stability-theoretic behavior of the non-forking relation?
• RQ5 Can a U-rank be defined in this context, and what does it imply about the structure of the AEC?

Key findings

• The proposed forking notion satisfies symmetry and uniqueness under the assumptions of tameness, type-shortness, absence of an order property, and property (E).
• A U-rank exists for the non-forking relation, providing a measure of complexity for types in the AEC.
• Categoricity in a large cardinal implies a universal local character, leading to a superstability-like property.
• The absence of an order property, combined with tameness and type-shortness, ensures that the non-forking relation is well-behaved.
• Property (E) is sufficient to guarantee that non-forking is well-defined and satisfies key stability-theoretic axioms.
• Large cardinal assumptions enable the derivation of strong structural results, including local character and stability.