相关论文: Unification and Projectivity in De Morgan and Klee…

We show that any adjoint absolutely simple linear algebraic group over a field of characteristic zero is the automorphism group of some projector on a central simple algebra. Projective homogeneous varieties can be described in these terms;…

We present a variational approach to a general Lienard-type equation in order to linearize it and, as an example, the Van der Pol oscillator is discussed. The new equation which is almost linear is factorized. The point symmetries of the…

We define united K-theory for real C*-algebras, generalizing Bousfield's topological united K-theory. United K-theory incorporates three functors -- real K-theory, complex K-theory, and self-conjugate K-theory -- and the natural…

The basic tool for solving problems in metric geometry and isotonic regression is the metric projection onto closed convex cones. Isotonicity of these projections with respect to a given order relation can facilitate finding the solutions…

The generalized projection-tensor geometry introduced in an earlier paper is extended. A compact notation for families of projected objects is introduced and used to summarize the results of the previous paper and obtain fully projected…

The classical multidimensional resultant can be defined as the, suitably normalized, generator of a projective elimination ideal in the ring of universal coefficients. This is the approach via the so-called inertia forms or…

We show that the polymodal provability logic GLP, in a language with at least two modalities and one variable, has nullary unification type. More specifically, we show that the formula [1]p does not have maximal unifiers, and exhibit an…

We give a series of integrable top equations associated with the projective geometry over Z_2 as a (2^n-1)-dimensional generalisation of the 3D Euler top equations. The general solution of the (2^n-1)D top is shown to be given by an…

We provide a geometric-combinatorial model for the category of coherent sheaves on the weighted projective line of type (2,2,n) via a cylindrical surface with n marked points on each of its upper and lower boundaries, equipped with an order…

We study silting objects over derived preprojective algebras of acyclic quivers by giving a direct relationship between silting objects, spherical twist functors and mutations. Especially, for a Dynkin quiver, we establish a bijection…

Typical arguments for results like Kleene's Second Recursion Theorem and the existence of self-writing computer programs bear the fingerprints of equational reasoning and combinatory logic. In fact, the connection of combinatory logic and…

We discuss the use of methods coming from integrable systems to study problems of enumerative and algebraic combinatorics, and develop two examples: the enumeration of Alternating Sign Matrices and related combinatorial objects, and the…

We obtain a complete classification of minimal simple unitary $W$-algebras.

The theory of unified product and extending structures for alternative and pre-alternative algebras are developed. It is proved that the extending structures of these algebras can be classified by using some non-abelian cohomology and…

We develop universal algebra over an enriched category $\mathcal K$ and relate it to finitary enriched monads over $\mathcal K$. Using it, we deduce recent results about ordered universal algebra where inequations are used instead of…

We describe the derived category of coherent sheaves on the minimal resolution of the Kleinian singularity associated to a finite subgroup G of SL(2). Then, we give an application to the Euler-characteristic version of the Hall algebra of…

Polynomial algebra offers a standard approach to handle several problems in geometric modeling. A key tool is the discriminant of a univariate polynomial, or of a well-constrained system of polynomial equations, which expresses the…

We are concerned with rigid analytic geometry in the general setting of Henselian fields $K$ with separated analytic structure, whose theory was developed by Cluckers--Lipshitz--Robinson. It unifies earlier work and approaches of numerous…

In this paper we give a unified approach in categorical setting to the problem of finding the Galois closure of a finite cover, which includes as special cases the familiar finite separable field extensions, finite unramified covers of a…

We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be derived from the underlying untyped equations. As a consequence, the…