Related papers: Undecidability problems for semifree DG algebras

We consider a class of differential-algebraic equations (DAEs) with index zero in an infinite dimensional Hilbert space. We define a space of consistent initial values, which lead to classical continuously differential solutions for the…

A DG algebras $A$ over a field $k$ with $H(A)$ connected and $H_{<0}(A)=0$ has a unique up to isomorphism DG module $K$ with $H(K)\cong k$. It is proved that if $H(A)$ is degreewise finite, then $RHom_A(?,K): D^{df}_{+}(A)^{op} \equiv…

This paper studies the role of dg-Lie algebroids in derived deformation theory. More precisely, we provide an equivalence between the homotopy theories of formal moduli problems and dg-Lie algebroids over a commutative dg-algebra of…

We study a notion of indecomposability in differential algebraic groups which is inspired by both model theory and differential algebra. After establishing some basic definitions and results, we prove an indecomposability theorem for…

We show that the domino problem is undecidable on orbit graphs of non-deterministic substitutions which satisfy a technical property. As an application, we prove that the domino problem is undecidable for the fundamental group of any closed…

In this note we give a definition of semiinfinite cohomology for Tate Lie algebras using the language of Differential Graded Lie algebroids with Curvature (CDG Lie algebroids).

We consider a two-fold problem: on the one hand, the classification of a family of solution-generating techniques in (modified) supergravity and, on the other hand, the classification of a family of canonical transformations of…

Let $\mathbb{K}$ be an algebraically closed field of characteristic 0. A finite dimensional Lie algebra $\mathfrak{g}$ over $\mathbb{K}$ is said to be stable if there exists a linear form $g\in\mathfrak{g}^{*}$ and a Zariski open subset in…

In this article, we continue the study of a certain family of 2-Calabi-Yau tilted algebras, called dimer tree algebras. The terminology comes from the fact that these algebras can also be realized as quotients of dimer algebras on a disc.…

We prove that the ideal membership problem and the subalgebra membership problem are algorithmically undecidable for differential polynomial algebras with at least two basic derivation operators.

Let $G$ be a simple linear algebraic group over an algebraically closed field $K$ of characteristic $p \geq 0$ and let $V$ be an irreducible rational $G$-module with highest weight $\lambda$. When $V$ is self-dual, a basic question to ask…

This paper studies the problem of stability of a parameterized delay differential equations (DDE see equation (0.1)). After discretizing the DDE (0.1), we show that the problem can be equivalently casted into a semi-definite programming…

We consider a semilinear parabolic equation with a large class of nonlinearities without any growth conditions. We discretize the problem with a discontinuous Galerkin scheme dG(0) in time (which is a variant of the implicit Euler scheme)…

Let G be a finite group. For semi-free G-manifolds which are oriented in the sense of Waner, the homotopy classes of G-equivariant maps into a G-sphere are described in terms of their degrees, and the degrees occurring are characterized in…

We simplify and extend the construction of half-BPS solutions to 11-dimensional supergravity, with isometry superalgebra D(2,1;\gamma) \oplus D(2,1;\gamma). Their space-time has the form AdS_3 x S^3 x S^3 warped over a Riemann surface…

Consider a field k of characteristic p > 0, G_r the r-th Frobenius kernel of a smooth algebraic group G, DG_r the Drinfeld double of G_r, and M a finite dimensional DG_r-module. We prove that the cohomology algebra H*(DG_r,k) is finitely…

A long standing problem asks whether every group is sofic, i.e., can be separated by almost-homomorphisms to the symmetric group $Sym(n)$. Similar problems have been asked with respect to almost-homomorphisms to the unitary group $U(n)$,…

We construct Quillen equivalent semi-model structures on the categories of dg-Lie algebroids and $L_\infty$-algebroids over a commutative dg-algebra in characteristic zero. This allows one to apply the usual methods of homotopical algebra…

We prove that every commutative differential graded algebra whose cohomology is a simply-connected Poincare duality algebra is quasi-isomorphic to one whose underlying algebra is simply-connected and satisfies Poincare duality in the same…

This paper is a continuation of Almost Commutative Terwilliger Algebras of Group Association Schemes I: Classification [1]. In that paper, we found all groups G for which the Terwilliger algebra of the group association scheme, denoted T…