Related papers: Algebro-geometric axioms for DCF$_{0,m}$

This is an overview of higher structural constructions in physics. The main motivations of our current attempt are as follows: (i) to provide a brief introduction to derived algebraic geometry, (ii) to understand how derived objects…

We generalize Amitsur's construction of central simple algebras over a field $F$ which are split by field extensions possessing a derivation with field of constants $F$ to nonassociative algebras: for every central division algebra $D$ over…

Let X be an affine irreducible variety over an algebraically closed field k of characteristic zero. Given an automorphism F, we denote by k(X)^F its field of invariants, i.e. the set of rational functions f on X such that f(F)=f. Let n(F)…

Let $K$ be a field of characteristic zero, let $A_1=K[x][\partial ]$ be the first Weyl algebra. In this paper we prove that the Dixmier conjecture for the first Weyl algebra is true, i.e. each algebra endomorphism of the algebra $A_1$ is an…

Let k a characteristic zero field. We give a characterization for the finite quiver k-algebras, based on double derivations. More precisely, we prove that if an associative and unitary k-algebra have a family of double derivations…

We study the model theory of the $2$-sorted structure $(\mathbb{F}, \mathbb{C};\chi)$, where $\mathbb{F}$ is an algebraic closure of a finite field of characteristic $p$, $\mathbb{C}$ is the field of complex numbers and $\chi: \mathbb{F}…

In [2], an exhaustive construction is achieved for the class of all 4-dimensional unital division algebras over finite fields of odd order, whose left nucleus is not minimal and whose automorphism group contains Klein's four-group. We…

The fundamental symmetries in gravity and gauge theories, formulated using differential forms, are gauge transformations and diffeomorphisms. These symmetries act in distinct ways on different dynamical fields. Yet, the commutator of these…

We define general notions of coordinate geometries over fields and ordered fields, and consider coordinate geometries that are given by finitely many relations that are definable over those fields. We show that the automorphism group of…

Given a complete and (locally) cartesian closed category U, it is shown that the category of functors from the category of Weil algebras to the category U is (locally, resp.) cartesian closed. The corresponding axiomatization for…

We prove that the class of partial differential fields of characteristic zero with an automorphism has a model companion. We then establish the basic model theoretic properties of this theory and prove that it satisfies the Zilber dichotomy…

The automorphisms groups and derivation algebras of all two-dimensional algebras over algebraically closed fields are described.

In this memoir, we seek to construct a constructive theory that is as complete as possible to describe the algebraic properties of the real number field in constructive mathematics without a dependent choice axiom. To this purpose, we use a…

We offer an axiomatic definition of a differential algebra of generalized functions over an algebraically closed non-Archimedean field. This algebra is of Colombeau type in the sense that it contains a copy of the space of Schwartz…

We introduce Brauer algebras associated to complex reflection groups of type $G(m,p,n)$, and study their representation theory via Clifford theory. In particular, we determine the decomposition numbers of these algebras in characteristic…

We propose a geometric setting of the axiomatic mathematical formalism of quantum theory. Guided by the idea that understanding the mathematical structures of these axioms is of similar importance as was historically the process of…

In this paper we investigate arithmetic properties of automorphic forms on the group G' = GL_m/D, for a central division-algebra D over an arbitrary number field F. The results of this article are generalizations of results in the split…

We discuss in some generality aspects of noncommutative differential geometry associated with reality conditions and with differential calculi. We then describe the differential calculus based on derivations as generalization of vector…

We study groups definable in existentially closed geometric fields with commuting derivations. Our main result is that such a group can be definably embedded in a group interpretable in the underlying geometric field. Compared to earlier…

Let $k$ be a field containing an algebraically closed field of characteristic zero. If $G$ is a finite group and $D$ is a division algebra over $k$, finite dimensional over its center, we can associate to a faithful $G$-grading on $D$ a…