cff3fdc8cd62e9d6.tex
1: \begin{abstract}
2:   The endomorphism monoid of a model-theoretic structure carries two
3:   interesting topologies: on the one hand, the topology of pointwise
4:   convergence induced externally by the action of the endomorphisms on
5:   the domain via evaluation; on the other hand, the Zariski topology
6:   induced within the monoid by (non\nobreakdash-)solutions to
7:   equations. For all concrete endomorphism monoids of
8:   $\omega$-categorical structures on which the Zariski topology has
9:   been analysed thus far, the two topologies were shown to coincide,
10:   in turn yielding that the pointwise topology is the coarsest
11:   Hausdorff semigroup topology on those endomorphism monoids.
12: 
13:   We establish two systematic reasons for the two topologies to agree,
14:   formulated in terms of the model-complete core of the
15:   structure. Further, we give an example of an $\omega$-categorical
16:   structure on whose endomorphism monoid the topology of pointwise
17:   convergence and the Zariski topology differ, answering a question of
18:   Elliott, Jonu\v{s}as, Mitchell, Péresse and Pinsker.
19: \end{abstract}
20: