My PhD was on so called "pure" model theory, and my advisor was not very much interested in applications of model theory to algebra. Now I feel the need to fill in the gap, and I'd like to educate myself on applied model theory. One of the questions I always asked myself is about the study of groups definable (or interpretable) in some structures : it seems that model theorists are very fond of that, since a long time ago (at least since the 70's to my knowledge, and even quite recently with works about groups definable in NIP structures by Pillay). Why is it so ? I guess that the origin of all this is the fact that groups definable in ACF are precisely algebraic groups. This is indeed a nice link between model theory and algebraic geometry (by the way, does this link has brought something interesting and new to algebraic geometry, or has it always been just a slightly different point of view ?). But if it is so, why going on to study extensively groups definable on such exotic kind of theories as NIP or simple for example ? Is it only because something can be said about those groups and that groups are prestigious objects within mathematics, or are there deeper reasons ?

2$\begingroup$ I'm definitely not an expert; but isn't it simply because model theory is about definable things, and so the only groups that sit inside structures that you can talk about are the definable/interpretable ones ? $\endgroup$ – Max Feb 10 '19 at 14:57

7$\begingroup$ Oh you were asking about why "definable groups", I thought you were asking about why "definable groups"; my bad $\endgroup$ – Max Feb 10 '19 at 15:36

3$\begingroup$ I think that groups being prestigious is a significant reason (which of course is related to good reasons to being prestigious). And also it is easier to continue in a wellstudied topic (model theory of groups) than opening a new topic. $\endgroup$ – YCor Feb 10 '19 at 17:03

1$\begingroup$ @MattF. The claim that every topological $4$manifold is homeomorphic to a semialgebraic set seems unlikely to me, but I don't know enough topology to assess it. Even if it's true, the category of topological $4$manifolds definitely won't be equivalent to the semialgebraic category  there just aren't enough semialgebraically definable functions. But all that aside, I'm not sure what your point is here. How is this discussion relevant to the question? $\endgroup$ – Alex Kruckman Feb 10 '19 at 17:50

1$\begingroup$ @IvanDiLiberti, apparently not all topological 4manifolds are triangulable (en.wikipedia.org/wiki/E8_manifold#History), so I will need to see how if there is a better formulation for the topological category. Up until just now, I knew about the failure of unique triangulation, but I will need to think more about this lack of triangulability. $\endgroup$ – Matt F. Feb 10 '19 at 18:07
Here are a few reasons. These are just my perspectives  some people may disagree, and I'm sure there are good reasons to study definable groups that I'm missing.
Mathematicians in general are fond of groups. There is a general theme in mathematics (with different motivations in different contexts) of developing a theory of group objects in any category of interest. For example, algebraic groups are group objects in the category of algebraic varieties, Lie groups are group objects in the category of differentiable manifolds, topological groups are group objects in the category of topological spaces, etc. Model theorists study the category of definable sets relative to a firstorder theory, and group objects in this category are definable groups. [Aside: I'm confused by your comment "model theory is not mainly about definable things in my opinion". If it's not about definable things, what is it about?] Moreover, it sometimes happens that definable groups relative to a theory $T$ correspond to groups of classical interest in mathematics, e.g. as you mention in the question, definable groups relative to the theory of algebraically closed fields are essentially the same as algebraic groups.
Stable groups and their generalizations. One of the most successful applications of Shelah's general stability theory has been the theory of stable groups (i.e. groups definable in stable theories). Model theorists love to generalize results, so there's a natural motivation to try to prove theorems analogous to theorems about stable groups in a wide variety of more general model theoretic contexts, or in individual (unstable) theories of interest. Extra motivation comes from the fact that the theory of stable groups, together with the kinds of connections between definable groups and groups in algebraic geometry mentioned in the previous point, led to Hrushovski's impressive applications of model theory to MordellLang and related problems. This is just one example of applications of the theory of definable groups to other areas of mathematics. For others, you could look at Hrushovski's work on approximate groups, or recent applications to regularity lemmas in groups  both of these make heavy use of theorems about definable groups outside the stable context which were inspired by theorems about stable groups.
Binding groups and internality. Getting more technical here, internality is a key concept in geometric stability theory. Roughly speaking, if one (type)definable set $X$ is internal to another (type)definable set $Y$, then the automorphism group of $X$ over $Y$ in the monster model is realizable as a definable group, called the binding group. The classic example is that an $n$dimensional vector space $V$ over $k$ is internal to the field $k$, with binding group $\text{GL}_n(k)$. If you can understand what kinds of groups are definable in your theory, then you can understand what kinds of internality relations are possible relative to your theory, which can lead to powerful structural results.
Edit: In the comments, you ask "Why not study definable lattices, or rings, or whatever?" In fact, model theorists do study such things. Classifying definable equivalence relations (elimination of imaginaries) is extremely important  it's one of the first things you want to do when you start studying a theory. It's also very important to know whether your theory has any definable orders. And the question of the definability of a field in certain structures is the central question of the Zilber trichotomy and Zariski geometries, which has been a central motivating force in modern model theory.
My point is that definable groups get more attention than other kinds of structures (like lattices, for example) for reasons including those I outlined above. But a huge variety of instances of the general question of interpretability of certain theories in other theories come up everywhere in model theory.

$\begingroup$ About your aside: from my perspective, model theory is about invariant things. When you go outside of stability theory (well, maybe also outside of $\omega$categorical), definable things go nearextinct fast. They are still important, but often they don't really get to the heart of things. $\endgroup$ – tomasz Feb 10 '19 at 19:13

$\begingroup$ @tomasz Yeah, that's a totally reasonable point of view. I think you can come at it from either side: If you're primarily interested in the invariant category, you should still care about definability, because definable / typedefinable / $\bigvee$definable / Boreldefinable sets have better properties (like compactness!). On the other hand, to me, the definable category is the main object of interest, and one is naturally led to enlarge the category by invariant gadgets (this is essentially what Stone duality teaches us) in order to prove things about definable sets. $\endgroup$ – Alex Kruckman Feb 10 '19 at 19:53

$\begingroup$ I guess I'm just too attached to the compactness theorem to agree that model theory is primarily about invariant things. $\endgroup$ – Alex Kruckman Feb 10 '19 at 19:53

$\begingroup$ Well, with typedefinable, you still have compactness, you just need to be careful with negations. $\endgroup$ – tomasz Feb 10 '19 at 20:02

$\begingroup$ @tomasz Oh, absolutely. That's why typedefinability is the best kind of invariance after definability. $\endgroup$ – Alex Kruckman Feb 10 '19 at 20:04