Abstract:This paper is part of a program initiated by Saharon Shelah to extend the model theory of first order logic to the non-elementary setting of abstract elementary classes (AECs). An abstract elementary class is a semantic generalization of the class of models of a complete first order theory with the elementary substructure relation. We examine the symmetry property of splitting (previously isolated by the first author) in AECs with amalgamation that satisfy a local definition of superstability. The key results are a downward transfer of symmetry and a deduction of symmetry from failure of the order property. These results are then used to prove several structural properties in categorical AECs, improving classical results of Shelah who focused on the special case of categoricity in a successor cardinal. We also study the interaction of symmetry with tameness, a locality property for Galois (orbital) types. We show that superstability and tameness together imply symmetry. This sharpens previous work of Boney and the second author.

Exceptional symmetric domains

REGULARITY CRITERION AND CLASSIFICATION FOR ALGEBRAS OF JORDAN TYPE

Quantum Bounded Symmetric Domains

Symmetric quasi-hereditary envelopes

Some isomorphisms between exceptional W-algebras

Symmetry in abstract elementary classes with amalgamation

From the Albert algebra to Kac's ten-dimensional Jordan superalgebra via tensor categories in characteristic 5

On Dextral Symmetric Algebra

Special multiserial algebras, Brauer configuration algebras and more : a survey

On maximally symmetric subalgebras

Reflexive symmetric differentials and quotients of bounded symmetric domains

Exceptional domains in higher dimensions

Tame and Wild Symmetric Special Multiserial Algebras

Hybrid algebras

String diagrams for symmetric powers I: In symmetric monoidal $\mathbb{Q}_{\ge 0}$-linear categories

AF-Domains and Their Generalizations

Consequences of the existence of exceptional collections in arithmetic and rationality

Noetherianity up to symmetry

Exceptional algebroids and type IIA superstrings

Sporadic SICs and Exceptional Lie Algebras

Elliptic surfaces and toroidal superalgebras