Related papers: Undecidability problems for semifree DG algebras

It is well-known that DG-enhancements of D(QCoh(X)) are all equivalent to each other, see [23]. Here we present an explicit model which leads to applications in deformation theory. In particular, we shall describe three models for derived…

An important classification problem in Algebraic Geometry deals with pairs $(\E,\phi)$, consisting of a torsion free sheaf $\E$ and a non-trivial homomorphism $\phi\colon (\E^{\otimes a})^{\oplus b}\lra\det(\E)^{\otimes c}\otimes \L$ on a…

We prove that every proper connective DG-algebra $A$ admits a geometric realization (as defined by Orlov) by a smooth projective scheme with a full exceptional collection. As a corollary we obtain that $A$ is quasi-isomorphic to a finite…

This work presents a sample constructions of two algebras both with the ideal of relations defined by a finite Gr\"obner basis. For the first algebra the question whether a given element is nilpotent is algorithmically unsolvable, for the…

We give a geometric classification of $n$-dimensional nilpotent, commutative nilpotent and anticommutative nilpotent algebras. We prove that the corresponding geometric varieties are irreducible, find their dimensions and describe explicit…

We determine a DG-Lie algebra controlling deformations of a locally free module over a Lie algebroid $\mathcal{A}$. Moreover, for every flat inclusion of Lie algebroids $\mathcal{A}\subset \mathcal{L}$ we introduce semiregularity maps and…

Let $A$ be an $n$-dimensional algebra over a field $k$ and $a(A)$ its quantum symmetry semigroup. We prove that the automorphisms group ${\rm Aut}_{\rm Alg} (A)$ of $A$ is isomorphic to the group $U \bigl( G(a (A)^{\rm o} ) \bigl)$ of all…

We construct a 2-category of differential graded schemes. The local affine models in this theory are differential graded algebras, which are graded commutative with unit over a field of characteristic zero, are concentrated in non-positive…

Let $G/\Gamma$ be the quotient of a semisimple Lie group by an arithmetic lattice. We show that for reductive subgroups $H$ of $G$ that is large enough, the orbits of $H$ on $G/\Gamma$ intersect nontrivially with a fixed compact set. As a…

We study decision problems on geometric tilings. First, we study a variant of the Domino problem where square tiles are replaced by geometric tiles of arbitrary shape. We show that this variant is undecidable regardless of the shapes,…

We prove that any 2-generated minimal Taylor algebra on a domain of size 4 is not simple. In addition, we find all such algebras up to isomorphism and term-equivalence.

Let $\Gamma$ be a discrete subgroup of a simply connected, solvable Lie group~$G$, such that $\Ad_G\Gamma$ has the same Zariski closure as $\Ad G$. If $\alpha \colon \Gamma \to \GL_n(\real)$ is any finite-dimensional representation…

This paper develops a duality theory for connected cochain DG algebras, with particular emphasis on the non-commutative aspects. One of the main items is a dualizing DG module which induces a duality between the derived categories of DG…

Term algebras are important objects in computer science and are correspondingly well-studied. A natural generalization is to quotient these algebras by finitely many ground term equations, obtaining what we call almost free algebras. One of…

We study graded symmetric algebras, which are the symmetric monoids in the monoidal category of vector spaces graded by a group. We show that a finite dimensional graded semisimple algebra is graded symmetric. The center of a symmetric…

We prove smoothness in the dg sense of the bounded derived category of finitely generated modules over any finite-dimensional algebra over a perfect field, hereby answering a question of Iyama. More generally, we prove this statement for…

In this paper, we introduce the concept of stable automorphic forms for semisimple algebraic groups and use the stability of automorphic forms to study the geometry of infinite dimensional arithmetic quotients.

Let $R$ be a (P.I.D) and let $T(V),\partial)$ be a free $R$-dga. The quasi-isomorphism type of $(T(V),\partial)$ is the set, denoted $\{(T(V),\partial)\}$, of all free dgas which are quasi-isomorphic to $(T(V),\partial)$. In this paper we…

Given a finite-dimensional complex Lie algebra g equipped with a nondegenerate, symmetric, invariant bilinear form B, let V_k(g,B) denote the universal affine vertex algebra associated to g and B at level k. For any reductive group G of…

Let $\Gamma$ be a $T$-ideal of identities of an affine PI-algebra over an algebraically closed field $F$ of characteristic zero. Consider the family $\mathcal{M}_{\Gamma}$ of finite dimensional algebras $\Sigma$ with $Id(\Sigma) = \Gamma$.…