Related papers: Tangent complexes and the Diamond Lemma
Since the diagonal lemma plays a key role in the proof of the main limitative theorems of logic, its proof could shed light on the very essence of these fundamental theorems. Yet the lemma is often characterized as one of those important…
We generalise notions of Gorenstein homological algebra for rings to the context of arbitrary abelian categories. The results are strongest for module categories of rngs with enough idempotents. We also reformulate the notion of Frobenius…
In this paper, we consider the global regularity for Monge-Amp\`ere type equations with the Neumann boundary conditions on Riemannian manifolds. It is known that the classical solvability of the Neumann boundary value problem is obtained…
We describe mutation elements in free $\mathfrak{perm}$ algebras. Moreover, we construct a base of free mutation of free $\mathfrak{perm}$ algebra. Using Cohn's criterion for the specialty of algebras, we show that there is an exceptional…
This paper uses reconstruction algebras to construct simultaneous resolution of determinantal surfaces. The main new difference to the classical case is that, in addition to the quiver of the reconstruction algebra, certain noncommutative…
In \cite[Section 5, p.32]{Arnold-1998}, Arnold writes: "Classification of singularities of curves can be interpreted in dual terms as a description of 'co-artin' subalgebras of finite co-dimension in the algebra of formal series in a single…
In this note, we use give some algebraic applications of a previous result by the author which compares the deformations parameterized by the Maurer-Cartan elements of a differential graded Lie algebra, and a differential graded Lie…
For a finite set of homogeneous locally nilpotent derivations of the algebra of polynomials in several variables, a finite dimensionality criterion for the Lie algebra generated by these derivations is known. Also the structure of the…
We consider inverse boundary value problems for elliptic equations of second order of determining coefficients by Dirichlet-to-Neumann map on subboundaries, that is, the mapping from Dirichlet data supported on $\partial\Omega\setminus…
We consider a new version of Composition-Diamond Lemma for dialgebras in order to obtain an explicit Groebner-Shirshov basis for HNN-extension of dialgebras and determine a normal form for that.
$\Gamma$-structures are weak forms of multiplications on closed oriented manifolds. As shown by Hopf the rational cohomology algebras of manifolds admitting $\Gamma$-structures are free over odd degree generators. We prove that this…
Based on the recent progress in the irregular Riemann-Hilbert correspondence, we study the monodromies at infinity of the holomorphic solutions of Fourier transforms of holonomic D-modules in some situations. Formulas for their eigenvalues…
A notion known as smooth envelope, or superposition closure, appears naturally in several approaches to generalized smooth manifolds which were proposed in the last decades. Such an operation is indispensable in order to perform…
In a k-linear triangulated category (where k is a field) we show that the existence of Auslander-Reiten triangles implies that objects are determined, up to shift, by knowing dimensions of homomorphisms between them. In most cases the…
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…
To do homological algebra with unbounded chain complexes one needs to first find a way of constructing resolutions. Spaltenstein solved this problem for chain complexes of R-modules by truncating further and further to the left, resolving…
We derive a sharp spectral estimate for a superlinear free boundary problem arising in plasma physics. The semilinear equation is coupled with a constraint, which forces the analysis of a non-local eigenvalue equation. Consequently the…
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
Even if a ring A is coherent, the polynomial ring A[X] in one variable could fail to be coherent. In this note we show that A[X] is graded coherent with the standard grading deg X=1. More generally, we give a criterion of graded…
In this paper, the Composition-Diamond lemma for commutative algebras with multiple operators is established. As applications, the Gr\"obner-Shirshov bases and linear bases of free commutative Rota-Baxter algebra, free commutative…