Related papers: Quantifier Elimination and Rectilinearisation Theo…
We investigate generalized derivations of $n$-BiHom-Lie algebras. We introduce and study properties of derivations, $( \alpha^{s},\beta^{r}) $-derivations and generalized derivations. We also study quasiderivations of $n$-BiHom-Lie…
The gauge invariant observables of the closed bosonic string are quantized without anomalies in four space-time dimensions by constructing their quantum algebra in a manifestly covariant approach. The quantum algebra is the kernel of a…
Quantum Lie algebras are generalizations of Lie algebras whose structure constants are power series in $h$. They are derived from the quantized enveloping algebras $\uqg$. The quantum Lie bracket satisfies a generalization of antisymmetry.…
We investigate the representation and complete representation classes for algebras of partial functions with the signature of relative complement and domain restriction. We provide and prove the correctness of a finite equational…
We establish a correspondence between automorphisms and derivations on certain algebras of generalised power series. In particular, we describe a Lie algebra of derivations on a field $k(\!(G)\!)$ of generalised power series, exploiting our…
There are many structures (algebras, categories, etc) with natural gradings such that the degree 0 components are not semisimple. Particular examples include tensor algebras with non-semisimple degree 0 parts, extension algebras of standard…
We provide a simple proof of the radial symmetry of any nonnegative minimizer for a general class of quasi-linear minimization problems.
We call an $\mathbb{R}$-algebra locally complexified-gentle if it becomes a locally gentle $\mathbb{C}$-algebra up to Morita equivalence after complexification. We use modulated quivers to introduce two types of locally complexified-gentle…
In this article we consider partial abelianization of associative algebra with respect to a subalgebra. This notion is a generalization of usual abelianization of associative algebra and has an application in Quantum Mechanics and Quantum…
We prove a monomialization theorem for mappings in general classes of infinitely differentiable functions that are called quasianalytic. Examples include Denjoy-Carleman classes, the class of $\cC^\infty$ functions definable in a…
Quantum general relativity may be considered as generally covariant QFT on differentiable manifolds, without any a priori metric structure. The kinematically covariance group acts by general diffeomorphisms on the manifold and by…
We give a new proof of the rectilinearization theorem of Hironaka. We deduce rectilinearization as a consequence of our theorem on local monomialization for complex and real analytic morphisms.
Using only basic topological properties of real algebraic sets and regular morphisms we show that any injective regular self-mapping of a real algebraic set is surjective. Then we show that injective morphisms between germs of real…
We introduce a generalization of the Heisenberg algebra which is written in terms of a functional of one generator of the algebra, $f(J_0)$, that can be any analytical function. When $f$ is linear with slope $\theta$, we show that the…
Quantum bounded extensions of multifiltered algebras are defined, and they are endowed with a new multifiltration. The behavior of the associated multigraded rings is studied. A refiltering process allows to lift homological properties from…
For any decomposition of a Lie superalgebra $\mathcal G$ into a direct sum $\mathcal G=\mathcal H\oplus\mathcal E$ of a subalgebra $\mathcal H$ and a subspace $\mathcal E$, without any further resctrictions on $\mathcal H$ and $\mathcal E$,…
It is known that a generalized $q$-Schur algebra may be constructed as a quotient of a quantized enveloping algebra $\UU$ or its modified form $\dot{\UU}$. On the other hand, we show here that both $\UU$ and $\dot{\UU}$ may be constructed…
It is proved that for a vector space W, any set of parafermion-like vertex operators on W in a certain canonical way generates a generalized vertex algebra in the sense of [DL2] with W as a natural module. This result generalizes a result…
The paper studies a regularization of the quantum (effective) action for a scalar field theory in a general position on a compact smooth Riemannian manifold. As the main method, we propose the use of a special averaging operator, which…
We give an algebraic quantifier elimination algorithm for the first-order theory over any given finite field using Gr\"obner basis methods. The algorithm relies on the strong Nullstellensatz and properties of elimination ideals over finite…