Rational points on algebraic varieties over a generalized real closed field: a model theoretic approach.
Real closed exponential fields
Ressayre considered real closed exponential fields and “exponential” integer parts, i.e., integer parts that respect the exponential function. In 1993, he outlined a proof that every real closed exponential field has an exponential integer part. In the present paper, we give a detailed account of Ressayre’s construction and then analyze the complexity. Ressayre’s construction is canonical once we fix the real closed exponential field R, a residue field section k, and a well ordering ≺ on R. The...
Relative geometries
In this paper, we shall study type-definable groups in a simple theory with respect to one or several stable reducts. While the original motivation came from the analysis of definable groups in structures obtained by Hrushovski's amalgamation method, the notions introduced are in fact more general, and in particular can be applied to certain expansions of algebraically closed fields by operators.
Representation-directed algebras form an open scheme
We apply van den Dries's test to the class of algebras (over algebraically closed fields) which are not representation-directed and prove that this class is axiomatizable by a positive quantifier-free formula. It follows that the representation-directed algebras form an open ℤ-scheme.
Representation-finite triangular algebras form an open scheme
Let V be a valuation ring in an algebraically closed field K with the residue field R. Assume that A is a V-order such that the R-algebra Ā obtained from A by reduction modulo the radical of V is triangular and representation-finite. Then the K-algebra KA ≅ A ⊗V is again triangular and representation-finite. It follows by the van den Dries’s test that triangular representation-finite algebras form an open scheme.