Related papers: Undecidability problems for semifree DG algebras
We consider the semilinear damped wave equation $\partial_{tt}^2 u(x,t)+\gamma(x)\partial_t u(x,t)=\Delta u(x,t)-\alpha u(x,t)-f(x,u(x,t))$. In this article, we obtain the first results concerning the stabilization of this semilinear…
We introduce the notion of a strong equivalence between graded algebras and prove that any partially-strongly-graded algebra by a group $G$ is strongly-graded-equivalent to the skew group algebra by a product partial action of $G$. As to a…
We investigate a U(1) gauge invariant quantum mechanical system on a 2D noncommutative space with coordinates generating a generalized deformed oscillator algebra. The Hamiltonian is taken as a quadratic form in gauge covariant derivatives…
In this paper, we prove that the bounded derived category $D^b_{coh}(Y)$ of coherent sheaves on a separated scheme $Y$ of finite type over a field $\mathrm{k}$ of characteristic zero is homotopically finitely presented. This confirms a…
We consider semigroup algorithmic problems in finitely generated metabelian groups. Our paper focuses on three decision problems introduced by Choffrut and Karhum\"{a}ki (2005): the Identity Problem (does a semigroup contain a neutral…
We prove a number of results on the automorphisms of and isomorphisms between Hardy-Toeplitz algebras $\mathcal{T}(D)$ associated to bounded symmetric domains $D$: that the stable isomorphism class of $\mathcal{T}(D)$ determines $D$ (even…
The first part of the paper centers in the study of embeddability between partially commutative groups. In [KK], for a finite simplicial graph $\Gamma$, the authors introduce an infinite, locally infinite graph $\Gamma^e$, called the…
We study identities of finite dimensional algebras over a field of characteristic zero, graded by an arbitrary groupoid $\Gamma$. First we prove that its graded colength has a polynomially bounded growth. For any graded simple algebra $A$…
In this paper, we prove the dg affinity of formal deformation algebroid stacks over complex smooth algebraic varieties. For that purpose, we introduce the triangulated category of formal deformation modules which are cohomologically…
We study the Diophantine problem (decidability of finite systems of equations) in different classes of finitely generated solvable groups (nilpotent, polycyclic, metabelian, free solvable, etc), which satisfy some natural…
Half-flat SU(3)-structures are the natural initial values for Hitchin's evolution equations whose solutions define parallel G_2-structures. Together with the results of arXiv:0912.3486v1, the results of this article completely solve the…
We introduce the notion of bounded quasi-inversion closed semiprime f-algebras and we prove that, if A is such an algebra, then any intermediate algebra in A is an order ideal of A. This extends a recent result by Dominguez who has dealt…
Call a monomial ideal M "generic" if no variable appears with the same nonzero exponent in two distinct monomial generators. Using a convex polytope first studied by Scarf, we obtain a minimal free resolution of M. Any monomial ideal M can…
We investigate quasivarieties of (distributive) p-algebras. We sharpen some previous results, give a better picture of the subquasivariety lattice, and prove that quasivarieties generated by free p-algebras belong to a rather small…
Assume that we are given a semifree noncommutative differential graded algebra (DGA for short) whose differential respects an action filtration. We show that the canonical unital algebra map from the homology of the DGA to its…
Let $\Gamma$ denote a finite, undirected, connected graph, with vertex set $X$. Fix a vertex $x \in X$. Associated with $x$ is a certain subalgebra $T=T(x)$ of ${\rm Mat}_X(\mathbb C)$, called the subconstituent algebra. The algebra $T$ is…
We consider the Membership and the Half-Space Reachability problems for matrices in dimensions two and three. Our first main result is that the Membership Problem is decidable for finitely generated sub-semigroups of the Heisenberg group…
We prove that it is decidable whether or not a finitely generated submonoid of a virtually free group is graded, introduce a new geometric characterization as quasi-geodesic monoids, and show that their word problem is rational (as a…
The solvability for infinite dimensional differential algebraic equations possessing a resolvent index and a Weierstra{\ss} form is studied. In particular, the concept of integrated semigroups is used to determine a subset on which…
The paper presents a subclass of the class of MD5-algebras and MD5-groups, i.e., five dimensional solvable Lie algebras and Lie groups such that their orbits in the co-adjoint representation (K-orbit) are orbit of zero or maximal dimension.…