The paper studies what happens when you take a mathematical structure (specifically a vector space, possibly with some additional features) and add a transformation called an endomorphism, which is a map from the vector space to itself that respects the vector space operations. The central question is: what does a "generic" or "typical" such transformation look like, in a precise logical sense? The authors start from a base theory describing an infinite vector space and layer on top of it a symbolic map, then ask which logical theories accurately capture the behavior of transformations that are as unconstrained as possible while still satisfying some specified structural rules.
The structural rules they consider are expressed as equations involving kernels of polynomial combinations of the transformation. A kernel of a map is the set of vectors sent to zero, and polynomials in the transformation give you new maps by composing and adding the original one in various ways. Conditions like "applying the transformation twice gives twice the identity" or "the kernel stabilizes after n steps" are examples that fit this framework. The authors systematically classify all consistent sets of such conditions into a family of theories, indexed by combinatorial data they call C, and then identify what the "existentially closed" models of each theory look like. An existentially closed model is one where any property that could be realized by passing to a larger structure is already realized within the model itself, making it a kind of maximally rich or generic example.
The main technical achievement is identifying when these generic models can be described by a single logical theory with a clean axiomatization, which in model theory is called having a model companion. The authors give a criterion that depends only on the original base theory (not on the specific transformation rules added) for when this cleaner description exists. This framework is broad enough to recover and unify earlier results about specific cases, such as generic automorphisms or nilpotent operators, and it opens the door to studying transformations on vector spaces that carry extra algebraic structure, like fields or modules.