Related papers: One Lie group to define them all
We provide a sufficient condition for a polynomial ring, not necessarily commutative, to have a first-order definition for the rational integers.
We construct explicitly groups associated to specific ternary algebras which extend the Lie (super)algebras (called Lie algebras of order three). It turns out that the natural variables which appear in this construction are variables which…
We consider the group algebra over the field of complex numbers of the Weyl group of type B (the hyperoctahedral group, or the group of signed permutations) and of the Weyl group of type D (the demihyperoctahedral group, or the group of…
Let $T$ be a first-order theory. A correspondence is established between internal covers of models of $T$ and definable groupoids within $T$. We also consider amalgamations of independent diagrams of algebraically closed substructures, and…
In this work we deal with coverings and actions of Lie group- groupoids being a sort of the structured Lie groupoids. Firstly, we define an action of a Lie group-groupoid on some Lie group and the smooth coverings of Lie group-groupoids.…
We present an application of Hodge theory towards the study of irreducible unitary representations of reductive Lie groups. We describe a conjecture about such representations and discuss some progress towards its proof.
Let K be a subfield of the real field, D be a discrete subset of K and f : D^n -> K be a function such that f(D^n) is somewhere dense. Then (K,f) defines the set of integers. We present several applications of this result. We show that K…
A study is made of real Lie algebras admitting a hypersymplectic structure, and we provide a method to construct such hypersymplectic Lie algebras. We use this method in order to obtain the classification of all hypersymplectic structures…
By this short preface we show the main idea and we will bring some definitions and concepts in each section.
The notion of a real-valued function is central to mathematics, computer science, and many other scientific fields. Despite this importance, there are hardly any positive results on decision procedures for predicate logical theories that…
We describe a construction of an algebra over the field of order 2 starting from a conjugacy class of 3-transpositions in a group. In particular, we determine which simple Lie algebras arise by this construction. Among other things, this…
The first aim of this paper is to show that any finite-dimensional reductive Lie algebra and its finite-dimensional completely reducible representation can be embedded into some PC Lie algebra. The second aim is to find the structure of a…
We tackle the issue of representing infinite sets of real- valued vectors. This paper introduces an operator for combining integer and real sets. Using this operator, we decompose three well-known logics extending Presburger with reals. Our…
We endow the group of invertible Fourier integral operators on an open}manifold with the structure of an ILH Lie group. This is done by establishing such structures for the groups of invertible pseudodifferential operators and contact…
This paper discusses the representation of ontologies in the first-order logical environment {\ttfamily FOLE}. An ontology defines the primitives with which to model the knowledge resources for a community of discourse. These primitives…
Following Sullivan's spacial realization of a differential algebra, we construct a universal integrating Lie 2-groupoid for every Lie algebroid. Then We show that unlike Lie algebras which one-to-one correspond to simply connected Lie…
Natural language understanding applications such as interactive planning and face-to-face translation require extensive inferencing. Many of these inferences are based on the meaning of particular open class words. Providing a…
In this paper we define a new algebraic object: the disguised-groups. We show the main properties of the disguised-groups and, as a consequence, we will see that disguised-groups coincide with regular semigroups. We prove many of the…
This document is the first iteration of an attempt to collate information about small-rank groups of Lie type over small fields, and their representation theory over the defining field. This information is important in the author's work on…
We construct the universal enveloping algebra of a Hom-Lie algebra and endow it with a Hom-Hopf algebra structure. We discuss group-like elements that we see as a Hom-group integrating the initial Hom-Lie algebra.