Related papers: Algebraic types in Zilber's exponential field

A new algebraic treatment of dependent type theory is proposed using ideas derived from topos theory and algebraic set theory.

We define nodal finite dimensional algebras and describe their structure over an algebraically closed field. For a special class of such algebras (type A) we find a criterion of tameness.

Let Z be an affine algebraic variety and ED(Z)= max(2 dim Z+1, dim TZ). Let X be a smooth algebraic variety isomorphic to a semi-simple linear algebraic group whose Lie algebra is a sum of special linear Lie algebras. We show that if dim X…

We study maximal subalgebras of an arbitrary finite dimensional algebra over a field, and obtain full classification/description results of such algebras. This is done by first obtaining a complete classification in the semisimple case, and…

Our main theorem classifies the Auslander-Reiten triangles according to properties of the morphisms involved. As a consequence, we are able to compute the mapping cone of an irreducible morphism. We finish by showing a technique for…

We consider $m$-cluster tilted algebras arising from quivers of Euclidean type and we give necessary and sufficient conditions for those algebras to be representation finite. For the case $\widetilde{A}$, using the geometric realization, we…

Quivers (directed graphs) and species (a generalization of quivers) and their representations play a key role in many areas of mathematics including combinatorics, geometry, and algebra. Their importance is especially apparent in their…

We define algebras of quasi-quaternion type, which are symmetric algebras of tame representation type whose stable module category has certain structure similar to that of the algebras of quaternion type introduced by Erdmann. We observe…

We provide a framework for part of the homological theory of Z-algebras and their generalizations, directed towards analogues of the Auslander-Gorenstein condition and the associated double Ext spectral sequence that are useful for…

We consider generalized $\Lambda$-structures on algebras and schemes over the ring of integers $\mathit{O}_K$ of a number field $K$. When $K=\mathbb{Q}$, these agree with the $\lambda$-ring structures of algebraic K-theory. We then study…

In 2012, Zilber used model-theoretic techniques to show that a curve of high genus over an algebraically closed field is determined by its Jacobian (viewed only as an abstract group with a distinguished subset for an image of the curve). In…

We consider the Alexander polynomial of a plane algebraic curve twisted by a linear representation. We show that it divides the product of the polynomials of the singularity links, for unitary representations. Moreover, their quotient is…

For a path algebra $A$ over a quiver $Q$, there are bijections between the support-tilting modules of $A$, torsion classes in $\mathrm{mod}(A)$ and wide subcategories in $\mathrm{mod}(A)$; these are part of the Ingalls-Thomas bijections. As…

New relations between algebraic geometry, information theory and Topological Field Theory are developed. One considers models of databases subject to noise i.e. probability distributions on finite sets, related to exponential families. We…

I give an algebraic proof that the exponential algebraic closure operator in an exponential field is always a pregeometry, and show that its dimension function satisfies a weak Schanuel property. A corollary is that there are at most…

This work is devoted to the study of the support of a Laurent series in several variables which is algebraic over the ring of power series over a characteristic zero field. Our first result is the existence of a kind of maximal dual cone of…

This paper has two objectives. First, we study lattices with skew-Hermitian forms over division algebras with positive involutions. For division algebras of Albert types I and II, we show that such a lattice contains an "orthogonal" basis…

We formulate a conjecture classifying algebraic solutions to (possibly non-linear) algebraic differential equations, in terms of the primes appearing in the denominators of the coefficients of their Taylor expansion at a non-singular point.…

We consider the theory of algebraically closed fields of characteristic zero with multivalued operations $x\mapsto x^r$ (raising to powers). It is in fact the theory of equations in exponential sums. In an earlier paper we have described…

Using Mackey functors, we provide a general framework for classifying torsors of algebraic tori in terms of Brauer groups of finite field extensions of the base field. This generalizes Blunk's description of the tori associated to del Pezzo…