On Lie-algebraic solutions of the type IIB matrix model

A systematic search for Lie algebra solutions of the type IIB matrix model is performed. Our survey is based on the classification of all Lie algebras for dimensions up to five and of all nilpotent Lie algebras of dimension six. It is shown that Lie-type solutions of the equations of motion of the type IIB matrix model exist and they correspond to certain nilpotent and solvable Lie algebras. Their representation in terms of Hermitian matrices is discussed in detail. These algebras give rise to certain non-commutative spaces for which the corresponding star-products are provided. Finally the issue of constructing quantized compact nilmanifolds and solvmanifolds based on the above algebras is addressed.Comment: 22 page

The quest for rings on bipolar scales

We consider the interval $]{-1},1[$ and intend to endow it with an algebraic structure like a ring. The motivation lies in decision making, where scales that are symmetric w.r.t.~$0$ are needed in order to represent a kind of symmetry in the behaviour of the decision maker. A former proposal due to Grabisch was based on maximum and minimum. In this paper, we propose to build our structure on t-conorms and t-norms, and we relate this construction to uninorms. We show that the only way to build a group is to use strict t-norms, and that there is no way to build a ring. Lastly, we show that the main result of this paper is connected to the theory of ordered Abelian groups.

On algebraic supergroups, coadjoint orbits and their deformations

In this paper we study algebraic supergroups and their coadjoint orbits as affine algebraic supervarieties. We find an algebraic deformation quantization of them that can be related to the fuzzy spaces of non commutative geometry.Comment: 37 pages, AMS-LaTe

A note on drastic product logic

The drastic product $*_D$ is known to be the smallest $t$-norm, since $x *_D y = 0$ whenever $x, y < 1$. This $t$-norm is not left-continuous, and hence it does not admit a residuum. So, there are no drastic product $t$-norm based many-valued logics, in the sense of [EG01]. However, if we renounce standard completeness, we can study the logic whose semantics is provided by those MTL chains whose monoidal operation is the drastic product. This logic is called ${\rm S}_{3}{\rm MTL}$ in [NOG06]. In this note we justify the study of this logic, which we rechristen DP (for drastic product), by means of some interesting properties relating DP and its algebraic semantics to a weakened law of excluded middle, to the $\Delta$ projection operator and to discriminator varieties. We shall show that the category of finite DP-algebras is dually equivalent to a category whose objects are multisets of finite chains. This duality allows us to classify all axiomatic extensions of DP, and to compute the free finitely generated DP-algebras.Comment: 11 pages, 3 figure

Supersymmetric quantum theory and non-commutative geometry

Classical differential geometry can be encoded in spectral data, such as Connes' spectral triples, involving supersymmetry algebras. In this paper, we formulate non-commutative geometry in terms of supersymmetric spectral data. This leads to generalizations of Connes' non-commutative spin geometry encompassing non-commutative Riemannian, symplectic, complex-Hermitian and (Hyper-)Kaehler geometry. A general framework for non-commutative geometry is developed from the point of view of supersymmetry and illustrated in terms of examples. In particular, the non-commutative torus and the non-commutative 3-sphere are studied in some detail.Comment: 77 pages, PlainTeX, no figures; present paper is a significantly extended version of the second half of hep-th/9612205. Assumptions in Sect. 2.2.5 clarified; final version to appear in Commun.Math.Phy

On positive commutative tomonoids

We discuss totally ordered monoids (or tomonoids, for short) that are commutative, positive, and finitely generated. Tomonoids of this kind correspond to certain preorders on free commutative monoids. In analogy to positive cones of totally ordered groups, we introduce direction cones to describe the preorders in question and we establish between both notions a Galois connection. In particular, we show that any finitely generated positive commutative tomonoid is the quotient of a tomonoid arising from a direction cone. We furthermore have a closer look at formally integral tomonoids and at nilpotent tomonoids. In the latter case, we modify our approach in order to obtain a description that is based on purely finitary means.I 1923-N25(VLID)342647