Related papers: Model theory of fields with free operators in char…
Let $A$ be a finite-dimensional algebra over a field $k$. We define $A$ to be $\mathbf{C}$-dichotomic if it has the dichotomy property of the representation type on complexes of projective $A$-modules. $\mathbf{C}$-dichotomy implies the…
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…
We present a free field realisation for the vertex operator algebra associated to the genus-two, class $\mathcal{S}$ superconformal field theory of type $\mathfrak{a}_1$. The free field realisation is in the style of recent work by the…
The space of derivations of finite dimensional evolution algebras associated to graphs over a field with characteristic zero has been completely characterized in the literature. In this work we generalize that characterization by describing…
We investigate certain arithmetic properties of field theories. In particular, we study the vacuum structure of supersymmetric gauge theories as algebraic varieties over number fields of finite characteristic. Parallel to the Plethystic…
A theory of higher colimits over categories of free presentations is developed. It is shown that different homology functors such as Hoshcshild and cyclic homology of algebras over a field of characteristic zero, simplicial derived…
A noncommutative space is considered the position operators of which satisfy the commutativity relations of a Lie algebra. The basic tools for calculation on this space, including the product of the fields, inner product and the proper…
We show that the theories of some (ordered) central simple algebras with involution over real closed fields are model-complete or admit quantifier elimination, and characterize positive cones in terms of morphisms into models of some of…
We introduce a new approach to representation theory of finite groups that uses some basic algebraic geometry and allows to do all the theory without using characters. With this approach, to any finite group $G$ we associate a finite number…
Motivated by structural properties of differential field extensions, we introduce the notion of a theory $T$ being derivation-like with respect to another model complete theory $T_0$. We prove that when $T$ admits a model companion $T_+$,…
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…
We give a function field specific, algebraic proof of the main results of class field theory for abelian extensions of degree coprime to the characteristic. By adapting some methods known for number fields and combining them in a new way,…
We prove Zilber's Trichotomy Conjecture for strongly minimal expansions of two-dimensional groups, definable in o-minimal structures: Theorem. Let M be an o-minimal expansion of a real closed field, (G;+) a 2-dimensional group definable in…
A binding group theorem is proved in the context of quantifier-free internality to the fixed field in difference-closed fields of characteristic zero. This is articulated as a statement about the birational geometry of isotrivial algebraic…
In this paper, we show that the $\exists^1 \forall^1$ theories of Hilbertian fields with charateristic 0 and perfect Hilbertian fields are both decidable. We also prove that the $\forall^1 \exists^1$ theories of Hilbertian fields with…
We show that certain representations over fields with positive characteristic of groups having CAT(0) fixed point property ${\rm F}\mathcal{B}_{\widetilde{A}_n}$ have finite image. In particular, we obtain rigidity results for…
Let $(X,\Delta)$ be a proper dlt pair and $L$ a nef Cartier divisor such that $aL-(K_X+\Delta)$ is nef and log big on $(X,\Delta)$ for some $a\in {\mathbb Z}_{>0}$. Then $|mL|$ is base point free for every $m\gg 0$.
Let (X, O_X) be an algebraic manifold in characteristic 0, or an analytic manifold over \C. A standard theorem says that a left D_X-module M, which is coherent as an O_X-module, is locally free. This theorem has a generalization to the…
In this paper we study fundamental model-theoretic questions for free associative algebras, namely, first-order classification, decidability of the first-order theory, and definability of the set of free bases. We show that two free…
Motivated by work of Barot, Geiss and Zelevinsky, we study a collection of Z-bases (which we call companion bases) of the integral root lattice of a root system of simply-laced Dynkin type. Each companion basis is associated with the quiver…