Related papers: Undecidability problems for semifree DG algebras

~Let $(g,~[-,-],~\omega)$ be a finite-dimensional complex $\omega$-Lie superalgebra. This paper explores the algbaraic structures of generalized derivation superalgebra ${\rm GDer}(g)$, compatatible generalized derivations algebra ${\rm…

The paper is devoted to classification problem of finite dimensional complex none Lie filiform Leibniz algebras. The motivation to write this paper is an unpublished yet result of J.R.Gomez, B.A.Omirov on necessary and sufficient conditions…

Consider the algebraic dynamics on a torus T=G_m^n given by a matrix M in GL_n(Z). Assume that the characteristic polynomial of M is prime to all polynomials X^m-1. We show that any finite equivariant map from another algebraic dynamics…

We study solutions describing spinning null sources called gyratons in generic theories of gravity with terms that are quadratic in curvature and contain an arbitrary number of covariant derivatives. In particular, we show that the…

We study solvability, nilpotency and splitting property for algebraic supergroups over an arbitrary field $K$ of characteristic $\mathrm{char}\, K \ne 2$. Our first main theorem tells us that an algebraic supergroup $\mathbb{G}$ is solvable…

We define two invariants for (semiprime right Goldie) algebras, one for algebras graded by arbitrary abelian groups, which is unchanged under twists by $2$-cocycles on the grading group, and one for $\mathbb Z$-graded or $\mathbb Z_{\ge…

In a recent paper \cite{HuXi3}, we introduced a classes of derived equivalences called almost $\nu$-stable derived equivalences. The most important property is that an almost $\nu$-stable derived equivalence always induces a stable…

We show that for any class of Boolean algebras with an associative operator, if it contains the complex algebra of (P(N), U), its equational theory is undecidable. Equivalently, any associative normal modal logic valid over the frame (P(N),…

On one hand, together with Pelle Steffens, we recently characterized the infinity category of derived manifolds up to equivalence by a universal property. On the other hand, it is shown in recent work of Behrend-Liao-Xu that the category of…

We study the classification of $\mathbb{Z}$-DGAs with polynomial homology $\mathbb{F}_p[x]$ with $\lvert x \rvert >0$, motivated by computations in algebraic $K$-theory. This classification problem was left open in work of Dwyer, Greenlees,…

We study varieties of certain ordered $\Sigma$-algebras with restricted completeness and continuity properties. We give a general characterization of their free algebras in terms of submonads of the monad of $\Sigma$-coterms. Varieties of…

Let $D, \Omega_1, ..., \Omega_m$ be irreducible bounded symmetric domains. We study local holomorphic maps from $D$ into $\Omega_1 \times... \Omega_m$ preserving the invariant $(p, p)$-forms induced from the normalized Bergman metrics up to…

Let F be a Henselian valued field with char(F) = p and D a semi-ramified, "not strongly degenerate" p-algebra. We show that all Galois subfields of D are inertial. Using this as a tool we study generic abelian crossed product p-algebras,…

The lower transcendence degree, introduced by J. J Zhang, is an important non-commutative invariant in ring theory and non-commutative geometry strongly connected to the classical Gelfand-Kirillov transcendence degree. For LD-stable…

Using a novel rewriting problem, we show that several natural decision problems about finite automata are undecidable (i.e., recursively unsolvable). In contrast, we also prove three related problems are decidable. We apply one result to…

We show that if $T$ is any of four semigroups of two elements that are not groups, there exists a finite dimensional associative $T$-graded algebra over a field of characteristic $0$ such that the codimensions of its graded polynomial…

A novel discontinuous Galerkin (DG) method is developed to solve time-dependent bi-harmonic type equations involving fourth derivatives in one and multiple space dimensions. We present the spatial DG discretization based on a mixed…

Let $M$ be a complete Riemannian manifold and $G$ a Lie subgroup of the isometry group of $M$ acting freely and properly on $M.$ We study the Dirichlet Problem \begin{align*} \operatorname{div}\left( \frac{a\left( \left\Vert \nabla…

We prove that the number of parameters defining a complex of projective modules over a finite dimensional algebra is upper semi-continuous in families of algebras. Supposing that every algebra is either derived tame or derived wild, we get…

In this note we construct smooth bounded domains $\Omega \subset \mathbb R^2$, other than disks, for which the overdetermined problem $$ \left\{ \begin{alignedat}{2} \Delta u + \lambda u &= 0 &\qquad& \text{ in } \Omega, \newline u &= b…