Related papers: Normal forms and representable functions in Moisil…

We study a new class of functions that arise naturally in quaternionic analysis, we call them "quasi regular functions". Like the well-known quaternionic regular functions, these functions provide representations of the quaternionic…

In this paper we consider the structure of general quantum W-algebras. We introduce the notions of deformability, positive-definiteness, and reductivity of a W-algebra. We show that one can associate a reductive finite Lie algebra to each…

We show that formal isomorphism of intransitive linear Lie equations along transversal to the orbits can be extended to neighborhoods of these transversal. In analytic cases, the word formal is dropped from theorems. Also, we associate an…

We introduce a category-theoreticabstraction of a syntax with auxiliary functions, called an admissiblemonad morphism. Relying on an abstract form of structural recursion,we then design generic tools to construct admissible monad…

In the first part of this thesis we study the generalization of the recent algebraic approach to classical field theory by proposing a more general setting based on the manifold of smooth sections of a non-trivial fiber bundle. Central is…

We will introduce formal frames of manifolds, which are a generalization of ordinary frames. Their fundamental properties are discussed. In particular, canonical forms are introduced, and torsions are defined in terms of them as a…

Numerical functions, which characterize Dynkin schemes, Coxeter graphs and tame marked quivers, are considered.

Universal Deformation Formulas (UDFs) for the deformation of associative algebras play a key role in deformation quantization. Here we present examples for certain classes of infinitesimals. A basic representable 2-cocycle $F$ of an…

We present an approach to obtain formally verified implementations of classical Computational Logic algorithms. We choose the Why3 platform because it allows to implement functions in a style very close to the mathematical definitions, as…

Let W be the Weyl group of a crystallographic root system acting on the associated weight lattice by reflections. In the present notes we extend the notion of an exponent of the W-action introduced in [Baek-Neher-Zainoulline,…

Most of the special functions of mathematical physics are connected with the representation of Lie groups. The action of elements $D$ of the associated Lie algebras as linear differential operators gives relations among the functions in a…

Let $k$ be a number field. We consider norm form equations associated to a full $O_k$-module contained in a finite extension field $l$. It is known that the set of solutions is naturally a union of disjoint equivalence classes of solutions.…

A description of a ring of functions on the base of a universal formal deformation for several moduli problems is given. The answer is given in terms of a homology group of a certain dg Lie algebra canonically (up to an essentially unique…

Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. We then consider invariance under behavioral equivalence of MSO-formulas.…

A theorem of Pridham and Lurie provides an equivalence between formal moduli problems and Lie algebras in characteristic zero. We prove a generalization of this correspondence, relating formal moduli problems parametrized by algebras over a…

In a soliton sector of a quantum field theory, it is often convenient to expand the quantum fields in terms of normal modes. Normal mode creation and annihilation operators can be normal ordered, and their normal ordered products have…

This paper surveys some combinatorial aspects of Smith normal form, and more generally, diagonal form. The discussion includes general algebraic properties and interpretations of Smith normal form, critical groups of graphs, and Smith…

The injective tensor product of normal representable bimodules over von Neumann algebras is shown to be normal. The usual Banach module projective tensor product of central representable bimodules over an Abelian C$^*$-algebra is shown to…

We define a random Liouville function (\lambda_Q) which depends on a random set (Q) of primes and prove that (A_Q = \{n \in \mathbb{N} | \lambda_Q(n) = -1 \}) is normal almost everywhere. This fact enables us to generate a family of normal…

Ideas from deformation quantization are applied to deform the expression of elements of an algebra. Extending these ideas to certain transcendental elements implies that $\frac{1}{i\h}uv$ in the Weyl algebra is naturally viewed as an…