Researcher profile

Rahim Moosa

Rahim Moosa contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.LO math.CV math.AC math.AG math.RA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author

9works

0followers

5topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

The degree of nonminimality is at most two

It is shown that if $p$ is a complete type of Lascar rank at least 2 over $A$, in the theory of differentially closed fields of characteristic zero, then there exists a pair of realisations, $a_1$ and $a_2$, such that $p$ has a nonalgebraic forking extension over $A,a_1,a_2$. Moreover, if $A$ is contained in the field of constants then $p$ already has a nonalgebraic forking extension over $A,a_1$. The results are also formulated in a more general setting.

preprint2014arXiv

The model companion of differential fields with free operators

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.

preprint2013arXiv

Differential-algebraic jet spaces preserve internality to the constants

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.

preprint2013arXiv

Model theory of fields with free operators in characteristic zero

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.

preprint2013arXiv

Some model theory of fibrations and algebraic reductions

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.

preprint2011arXiv

Nonstandard methods for bounds in differential polynomial rings

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.

preprint2010arXiv

$\aleph_0$-categorical strongly minimal compact complex manifolds

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.

preprint2010arXiv

Generalised Hasse-Schmidt varieties and their jet spaces

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.

preprint2007arXiv

An essentially saturated surface not of Kaehler-type

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.

Rahim Moosa

Quick read

Decide how to stay connected

How to connect with this researcher

Open a focused conversation when the fit is right

See the researcher in context

Building this graph slice

9 published item(s)

The degree of nonminimality is at most two

The model companion of differential fields with free operators

Differential-algebraic jet spaces preserve internality to the constants

Model theory of fields with free operators in characteristic zero

Some model theory of fibrations and algebraic reductions

Nonstandard methods for bounds in differential polynomial rings

$\aleph_0$-categorical strongly minimal compact complex manifolds

Generalised Hasse-Schmidt varieties and their jet spaces

An essentially saturated surface not of Kaehler-type