This is work motivated by questions at the intersection of algebra and model theory, and using advanced techniques of model theory. Baldwin and Shelah (Algebra Universalis, 1983) studied saturated free algebras. Pillay and Sklinos (Bull. Symb. Logic 2015), following the lead of this paper, studied "almost indiscernible theories", taking the opportunity to refine the statements of the major results and improve the proofs. We extend these results to large infinite contexts, both in the size of the language and the kinds of tuples allowed in a "basis"; and return to examples and applications in algebra, in particular in the theory of modules. The theory develops by noting various analogies. The model-theoretic concept 'indiscernible sequence' generalizes 'linearly independent set' in a vector space, 'free (generating) set' of an algebra, 'algebraic independence' in an algebraically closed field, and similar concepts. 'Saturated model' generalizes concepts such as 'injective envelope of a module', 'algebraic closure of a field', and similar constructions. A complete first-order theory is "almost indiscernible" if it has a (sufficiently large) saturated model which lies in the algebraic closure of an indiscernible set (of sequences). Requiring that a saturated model be generated by an indiscernible set imposes strong structural constraints, but nonetheless there are natural motivating examples. I start with some history and motivation from algebra, then I will give an overview of the main model theoretic concepts and techniques, motivating them as much as possible by examples from algebra. I'll state the new technical structural results for almost indiscernible theories in our more general context, with no more than informal 'hand-waving' about the proof techniques. Then I will present some consequences for free algebras and for theories of modules, including structure theorems and some examples. I conclude with a list of open questions. This is joint work with Anand Pillay.
Saturated free algebras and almost indiscernible theories: an overview
Apr. 12, 2022 2:30pm (MATH 3…
Lie Theory
Richard Green (CU Boulder)
X
A "2-root'' is a symmetrized tensor product of orthogonal roots of a Kac--Moody algebra. We study the 2-roots of the Weyl group W of a simply laced Y-shaped Dynkin diagram with three branches of arbitrary finite lengths. The symmetric square of the reflection representation of W has a natural codimension-1 submodule with a canonical basis of 2-roots. We will discuss some of the remarkable properties of this basis. (This is joint work with Tianyuan Xu.)
Skein modules are linear spaces spanned by knots and links in a given 3-manifold, modulo certain skein relations. They were defined about 30 years ago independently by Przytycki and Turaev and have been extensively studied in the subsequent years. In this introductory talk I will propose a new role for skein modules: as (a component of) the state space of a certain 4-dimensional topological quantum field theory, which according to the work of Kapustin and Witten, encodes the mathematical features of the geometric Langlands program. This realization leads to some surprising conjectures (which can be directly verified in some key cases), relating two different flavors of skein modules on a given closed 3-manifold. This is joint work with David Ben-Zvi, David Jordan, and Pavel Safronov.
Langlands duality for 3-manifolds Sponsored by the Meyer Fund
Saturated free algebras and almost indiscernible theories: an overview