arXiv subjects
Publications and source records attributed to Rahim Moosa.
Recent work using the model theory of differentially closed fields to answer questions having to do with the Dixmier-Moeglin equivalence for (noncommutatve) finitely generated noetherian algebras, and for (commutative) finitely generated Poisson algebras, is here surveyed, with an emphasis on the model-theoretic and differential-algebraic-geometric antecedents.
The classical notion of a k-automatic subset of the natural numbers is here extended to that of an F-automatic subset of an arbitrary finitely generated abelian group $Γ$ equipped with an arbitrary endomorphism F. This is applied to the isotrivial positive characteristic Mordell-Lang context where F is the Frobenius action on a commutative algebraic group G over a finite field, and $Γ$ is a finitely generated F-invariant subgroup of G. It is shown that the F-subsets of $Γ$ introduced by the second author and Scanlon are F-automatic. It follows that when G is semiabelian and X is a closed subvariety then X intersect $Γ$ is F-automatic. Derksen's notion of a k-normal subset of the natural numbers is also here extended to the above abstract setting, and it is shown that F-subsets are F-normal. In particular, the X intersect $Γ$ appearing in the Mordell-Lang problem are F-normal. This generalises Derksen's Skolem-Mahler-Lech theorem to the Mordell-Lang context.
Suppose $T$ is totally transcendental and every minimal non-locally-modular type is nonorthogonal to a nonisolated minimal type over the empty set. It is shown that a finite rank type $p=tp(a/A)$ is isolated if and only if $a$ is independent from $q(\mathcal U)$ over $Ab$ for every $b\in \operatorname{acl}(Aa)$ and $q\in S(Ab)$ nonisolated and minimal. This applies to the theory of differentially closed fields -- where it is motivated by the differential Dixmier-Moeglin equivalence problem -- and the theory of compact complex manifolds.
The correspondence between definable connected groupoids in a theory $T$ and internal generalised imaginary sorts of $T$, established by Hrushovski in ["Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics, 2012], is here extended in two ways: First, it is shown that the correspondence is in fact an equivalence of categories, with respect to appropriate notions of morphism. Secondly, the equivalence of categories is shown to vary uniformly in definable families, with respect to an appropriate relativisation of these categories. Some elaboration on Hrushovki's original constructions are also included.
A differential-algebraic geometric analogue of the Dixmier-Moeglin equivalence is articulated, and proven to hold for $D$-groups over the constants. The model theory of differentially closed fields of characteristic zero, in particular the notion of analysability in the constants, plays a central role. As an application it is shown that if $R$ is a commutative affine Hopf algebra over a field of characteristic zero, and $A$ is an Ore extension to which the Hopf algebra structure extends, then $A$ satisfies the classical Dixmier-Moeglin equivalence. Along the way it is shown that all such $A$ are Hopf Ore extensions
Motivated by possible applications to meromorphic dynamics, and generalising known properties of difference-closed fields, this paper studies the theory CCMA of compact complex manifolds with a generic automorphism. It is shown that while CCMA does admit geometric elimination of imaginaries, it cannot eliminate imaginaries outright: a counterexample to 3-uniqueness in CCM is exhibited. Finite-dimensional types are investigated and it is shown, following the approach of Pillay and Ziegler, that the canonical base property holds in CCMA. As a consequence the Zilber dichotomy is deduced: finite-dimensional types of SU-rank one are either one-based or almost internal to the fixed field. In addition, a general criterion for stable embeddedness in TA (when it exists) is established, and used to determine the full induced structure of CCMA on projective varieties, simple nonalgebraic complex tori, and simply connected nonalgebraic strongly minimal manifolds.
Hrushovski's generalization and application of [Jouanolou, "Hypersurfaces solutions d'une équation de Pfaff analytique", Mathematische Annalen, 232 (3):239--245, 1978] is here refined and extended to the partial differential setting with possibly nonconstant coefficient fields. In particular, it is shown that if $X$ is a differential-algebraic variety over a partial differential field F that is finitely generated over its constant field F_0, then there exists a dominant differential-rational map from X to the constant points of an algebraic variety V over F_0, such that all but finitely many codimension one subvarieties of X over F arise as pull-backs of algebraic subvarieties of V over F_0. As an application, it is shown that the algebraic solutions to a first order algebraic differential equation over C(t) are of bounded height, answering a question of Eremenko. Two expected model-theoretic applications to DCF_{0,m} are also given: 1) Lascar rank and Morley rank agree in dimension two, and 2) dimension one strongly minimal sets orthogonal to the constants are \aleph_0-categorical. A detailed exposition of Hrushovski's original (unpublished) theorem is included, influenced by [Ghys, "À propos d'un théorème de J.-P. Jouanolou concernant les feuilles fermées des feuilletages holomorphes", Rend. Circ. Mat. Palermo (2)}, 49(1):175--180, 2000.
Brown and Gordon asked whether the Poisson Dixmier-Moeglin equivalence holds for any complex affine Poisson algebra; that is, whether the sets of Poisson rational ideals, Poisson primitive ideals, and Poisson locally closed ideals coincide. In this article a complete answer is given to this question using techniques from differential-algebraic geometry and model theory. In particular, it is shown that while the sets of Poisson rational and Poisson primitive ideals do coincide, in every Krull dimension at least four there are complex affine Poisson algebras with Poisson rational ideals that are not Poisson locally closed. These counterexamples also give rise to counterexamples to the classical (noncommutative) Dixmier-Moeglin equivalence in finite $\operatorname{GK}$ dimension. A weaker version of the Poisson Dixmier-Moeglin equivalence is proven for all complex affine Poisson algebras, from which it follows that the full equivalence holds in Krull dimension three or less. Finally, it is shown that everything, except possibly that rationality implies primitivity, can be done over an arbitrary base field of characteristic zero.
A model companion is shown to exist for the theory of partial differential fields of characteristic zero equipped with free operators that commute with the derivations. The free operators here are those introduced in [R. Moosa and T. Scanlon, Model theory of fields with free operators in characteristic zero, Preprint 2013]. The proof relies on a new lifting lemma in differential algebra: a differential version of Hensel's Lemma for local finite algebras over differentially closed fields.
Let p=tp(a/A) be a stationary type in an arbitrary finite rank stable theory, and P an A-invariant family of partial types. The following property is introduced and characterised: whenever c is definable over (A,a) and a is not algebraic over (A,c) then \tp(c/A) is almost internal to P. The characterisation involves among other things an apparently new notion of ``descent" for stationary types. Motivation comes partly from results in Section~2 of [Campana, Oguiso, and Peternell. Non-algebraic hyperkähler manifolds. Journal of Differential Geometry, 85(3):397--424, 2010] where structural properties of generalised hyperkähler manifolds are given. The model-theoretic results obtained here are applied back to the complex analytic setting to prove that the algebraic reduction of a nonalgebraic (generalised) hyperkähler manifold does not descend. The results are also applied to the theory of differentially closed fields, where examples coming from differential algebraic groups are given.
This paper concerns the model theory of jet spaces (i.e., higher-order tangent spaces) in differentially closed fields. Suppose p is the generic type of the jet space to a finite dimensional differential-algebraic variety at a generic point. It is shown that p satisfies a certain strengthening of almost internality to the constant field called "preserving internality to the constants". This strengthening is a model-theoretic abstraction of the generic behaviour of jet spaces in complex-analytic geometry. A counterexample is constructed showing that only this generic analogue holds in differential-algebraic geometry.
Generalising and unifying the known theorems for difference and differential fields, it is shown that for every finite free ${\mathbb S}$-algebra ${\mathcal D}$ over a field $A$ of characteristic zero the theory of ${\mathcal D}$-fields has a model companion ${\mathcal D}$-CF$_0$ which is simple and satisfies the Zilber dichotomy for finite-dimensional minimal types.
Motivated by the problem of the existence of bounds on degrees and orders in checking primality of radical (partial) differential ideals, the nonstandard methods of van den Dries and Schmidt ["Bounds in the theory of polynomial rings over fields. A nonstandard approach.", Inventionnes Mathematicae, 76:77--91, 1984] are here extended to differential polynomial rings over differential fields. Among the standard consequences of this work are: a partial answer to the primality problem, the equivalence of this problem with several others related to the Ritt problem, and the existence of bounds for characteristic sets of minimal prime differential ideals and for the differential Nullstellensatz.
This work provides a unified formalism for studying difference and (Hasse-) differential algebraic geometry, by introducing a theory of "iterative Hasse rings and schemes". As an application, Hasse jet spaces are constructed generally, allowing the development of the theory for arbitrary systems of algebraic partial difference/differential equations, where constructions by earlier authors applied only to the finite dimensional case. In particular, it is shown that under appropriate separability assumptions a Hasse variety is determined by its jet spaces at a point.
Essential $\aleph_0$-categoricity; i.e., $\aleph_0$-categoricity in some full countable language, is shown to be a robust notion for strongly minimal compact complex manifolds. Characterisations of triviality and essential $\aleph_0$-categoricity are given in terms of complex-analytic automorphisms, in the simply connected case, and correspondences in general. As a consequence it is pointed out that an example of McMullen yields a strongly minimal compact Kähler manifold with trivial geometry but which is not $\aleph_0$-categorical, giving a counterexample to a conjecture of the second author and Tom Scanlon.
In this note a natural strengthening of internality motivated by complex geometry, being "Moishezon" to a set of types, is introduced. Under the hypothesis of Pillay's canonical base property, and using results of Chatzidakis, a criterion is given for when a finite U-rank stationary type that is internal to a nonmodular minimal type is in fact Moishezon to the set of all nonmodular minimal types. This result is a model-theoretic analogue of (a special case of) Campana's "first algebraicity criterion". Other related abstractions from complex geometry, including "coreductions" and "generating fibrations" are also discussed.
It is shown that if $X$ is an Inoue surface of type $S_M$ then the irreducible components of the Douady space of $X^n$ are compact, for all $n>0$. This gives an example of an essentially saturated compact complex manifold (in the sense of model theory) that is not of Kaehler-type. Among the known compact complex surfaces without curves, it is shown that these are the only examples.
A criterion is given for a type in a finite rank stable theory to be (almost) internal to a given nonmodular minimal type. The motivation comes from results of Campana which give criteria for compact complex analytic spaces to be algebraic (namely Moishezon), in terms of the existence of "generating" families of algebraic subvarieties. A model-theoretic anologue/generalisation of Campana's results is given under the hypothesis that the theory has the "canonical base property" (CBP), a property that is conjectured to hold in all stable finite rank theories and which states that the type of the canonical base over a realisation is almost internal to the minimal types of the theory.