Model Theory and Definable Additive Combinatorics

Ohio State University, The, Columbus OH

Investigators

Abstract

The research in this project concerns a branch of mathematical logic called model theory, which studies mathematical structures at the linguistic level, and classifies structures according the complexity of their behavior with respect to a fixed choice of mathematical language. The tools for testing whether a mathematical structures is suitable for classification are various hypotheses called "dividing lines", which forbid some fixed pattern in the behavior of a structure. A main focus of this project is one such dividing line called VC-dimension, which originated in machine learning, and uses ideas from graph theory to measure randomness in mathematical objects. In model theory, this notion emerged in the study of so-called "NIP theories". Conant will apply this model theoretic framework to questions in group theory, from both the discrete and topological perspectives, and also in the newer field of arithmetic combinatorics, which is a fusion of algebra, analysis, and discrete math. A large part of past research in model theory has focused on structures which exhibit tameness at the global level, in the sense that every definable relation in the structure omits a combinatorial configuration of some fixed type. This research focuses on the local level, in which one analyzes a single tame relation inside an otherwise complicated structure. A major aim is to develop an algebraic theory of NIP formulas in arbitrary groups, which continues prior research of Conant and Pillay in the case of pseudofinite groups. A second aim is to extend this work on pseudofinite groups outside of the NIP environment. This setting is suitable for applications to arithmetic combinatorics in finite groups, for example previous research of Conant, Pillay, and Terry on tame arithmetic regularity. In the proposed research, Conant will use Lie theory and representation theory to develop arithmetic regularity in the pseudofinite setting without extra tameness assumptions. The goal is to give a model theoretic account of arithmetic regularity results of Green and Tao, and extend these results to non-commutative groups. This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.