相关论文: Differential Calculi and Linear Connections
Linear forms in logarithms over connected commutative algebraic groups over the algebraic numbers field have been studied widely. However, the theory of linear forms in logarithms over noncommutative algebraic groups have not been developed…
A method of constructing (finitely generated and projective) right module structure on a finitely generated projective left module over an algebra is presented. This leads to a construction of a first order differential calculus on such a…
We show that the bicovariant first order differential calculi on a factorisable semisimple quantum group are in 1-1 correspondence with irreducible representations $V$ of the quantum group enveloping algebra. The corresponding calculus is…
Following the guidelines of classical differential geometry the `building material' for the tensor calculus in non-commutative geometry is suggested. The algebraic account of moduli of vectors and covectors is carried out.
We build a differential calculus for subalgebras of the Moyal algebra on R^4 starting from a redundant differential calculus on the Moyal algebra, which is suitable for reduction. In some cases we find a frame of 1-forms which allows to…
In this paper we provide an abstract model theory for the untyped differential lambda-calculus and the resource calculus. In particular we propose a general definition of model of these calculi, namely the notion of linear reflexive object…
A Cartan Calculus of Lie derivatives, differential forms, and inner derivations, based on an undeformed Cartan identity, is constructed. We attempt a classification of various types of quantum Lie algebras and present a fairly general…
A theory of principal bundles possessing quantum structure groups and classical base manifolds is presented. Structural analysis of such quantum principal bundles is performed. A differential calculus is constructed, combining differential…
In this paper we describe by a number of examples how to deduce one single characterizing higher order differential equation for output quantities of an analog circuit. In the linear case, we apply basic "symbolic" methods from linear…
Differential Linear Logic enriches Linear Logic with additional logical rules for the exponential connectives, dual to the usual rules of dereliction, weakening and contraction. We present a proof-net syntax for Differential Linear Logic…
We show that a semi-commutative Galois extension of a unital associative algebra can be endowed with the structure of a graded q-differential algebra. We study the first and higher order noncommutative differential calculus of…
The class of ordinary linear constant coefficient differential equations is naturally embedded into a wider class by associating differential equations to algebraic curves.
A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…
Fractional calculus and q-deformed Lie algebras are closely related. Both concepts expand the scope of standard Lie algebras to describe generalized symmetries. For the fractional harmonic oscillator, the corresponding q-number is derived.…
Quantum correlations can be naturally formulated in a classical statistical system of infinitely many degrees of freedom. This realizes the underlying non-commutative structure in a classical statistical setting. We argue that the quantum…
This article provides an exposition to the topic of formal moduli problems, emphasizing its connections with differential graded Lie algebras, and mainly following from Jacob Lurie's DAG X: Formal Moduli Problems. As such, this paper should…
A variety of three-dimensional left-covariant differential calculi on the quantum group $SU_q(2)$ is considered using an approach based on global $ U(1) $ -covariance. Explicit representations of possible $q $-Lie algebras are constructed…
We consider some special type extensions of an arbitrary Lie algebra, which we call universal extensions. We show that these extensions are in one-to-one correspondence with finite dimensional associative commutative algebras. We also…
Non-commutative connections of the second type or hom-connections and associated integral forms are studied as generalisations of right connections of Manin. First, it is proven that the existence of hom-connections with respect to the…
Multiplicative linear logic is a very well studied formal system, and most such studies are concerned with the one-sided sequent calculus. In this paper we look in detail at existing translations between a deep inference system and the…