Related papers: Model theory of differential fields with finite gr…

We prove that the theory of differentially closed fields of characteristic zero in $m\geq 1$ commuting derivations DCF$_{0,m}$ satisfies the expected form of the dichotomy. Namely, any minimal type is either locally modular or nonorthogonal…

We use the "geometric axioms" point of view to give an effective listing of the complete types of the theory $DCF_{0}$ of differentially closed fields of characteristic $0$. This gives another account of observations made in earlier papers.

Let $G$ be a classical group of dimension $d$ and let $\boldsymbol{a}=(a_1,\dots,a_d)$ be differential indeterminates over a differential field $F$ of characteristic zero with algebraically closed field of constants $C$. Further let…

Diffeomorphism groups $G$ of manifolds $M$ on locally $\bf F$-convex spaces over non-Archimedean fields $\bf F$ are investigated. It is shown that their structure has many differences with the diffeomorphism groups of real and complex…

We consider an arbitrary representation of the additive group over a field of characteristic zero and give an explicit description of a finite separating set in the corresponding ring of invariants.

Finding functions, particularly permutations, with good differential properties has received a lot of attention due to their varied applications. For instance, in combinatorial design theory, a correspondence of perfect $c$-nonlinear…

We seek to create tools for a model-theoretic analysis of types in algebraically closed valued fields (ACVF). We give evidence to show that a notion of 'domination by stable part' plays a key role. In Part A, we develop a general theory of…

Let F be a global function field and let F^ab be its maximal abelian extension. Following an approach of D.Hayes, we shall construct a continuous homomorphism \rho: Gal(F^ab/F) \to C_F, where C_F is the idele class group of F. Using class…

Bondal and Kapranov describe how to assign to a full exceptional collection on a variety X a DG category C such that the bounded derived category of coherent sheaves on X is equivalent to the bounded derived category of C. In this paper we…

If G is a (connected) complex Lie Group and Z is a generalized flag manifold for G, the the open orbits D of a (connected) real form G_0 of G form an interesting class of complex homogeneous spaces, which play an important role in the…

The problem of extending derivations of a field $F$ to an $F-$algebra $B$ is widely studied in commutative algebra and non-commutative ring theory. For example, every derivation of $F$ extends to $B$ if $B$ is a separable algebraic…

Let G be a discrete group which acts properly and isometrically on a complete CAT(0)-space X. Consider an integer d with d=1 or d greater or equal to 3 such that the topological dimension of X is bounded by d. We show the existence of a…

Let $\Gamma$ be a discrete group. To every ideal in $\ell^{\infty}(\G)$ we associate a C$^*$-algebra completion of the group ring that encapsulates the unitary representations with matrix coefficients belonging to the ideal. The general…

Extending the work of the first author, we introduce a notion of semisimple topological field theory in arbitrary even dimension and show that such field theories necessarily lead to stable diffeomorphism invariants. The main result of this…

Let $G$ be a complex semisimple Lie group and ${G}_{\mathbb R}$ a real form that contains a compact Cartan subgroup $T_{\mathbb R}$. Let $\pi$ be a discrete series representation of $G_{\mathbb R}$. We present geometric interpretations in…

Let $G$ be a totally disconnected, locally compact group and let $H$ be a virtually flat (for example, polycyclic) group of automorphisms of $G$. We study the structure of, and relationships between, various subgroups of $G$ defined by the…

In the framework of algebraic quantum field theory we analyze the anomalous statistics exhibited by a class of automorphisms of the observable algebra of the two-dimensional free massive Dirac field, constructed by fermionic gauge group…

We study finite-dimensional groups definable in models of the theory of real closed fields with a generic derivation (also known as CODF). We prove that any such group definably embeds in a semialgebraic group. We extend the results to…

A construction of fully abstract typed models for PCF and PCF^+ (i.e., PCF + "parallel conditional function"), respectively, is presented. It is based on general notions of sequential computational strategies and wittingly consistent…

We show that many nice properties of a theory $T$ follow from the corresponding properties of its reducts to finite subsignatures. If $\{ T_i \}_{i \in I}$ is a directed family of conservative expansions of first-order theories and each…