Related papers: Termination of Cartan's equivalence method

We present new proofs of termination of evaluation in reduction semantics (i.e., a small-step operational semantics with explicit representation of evaluation contexts) for System F with control operators. We introduce a modified version of…

In this paper we introduce a new type of exponential map in semi-simple compact Lie groups, which is related to the sub-Riemannian geometry generated by the orthogonal complement of a Cartan subalgebra in a similar way to how the group…

For an adjoint action of a Lie group G (or its subgroup) on Lie algebra Lie(G) we suggest a method for construction of invariants. The method is easy in implementation and may shed the light on algebraical independence of invariants. The…

A quantization over a manifold can be seen as a way to construct a differential operator with prescribed principal symbol. The quantization map is moreover required to be a linear bijection. It is known that there is in general no natural…

This note provides a short proof of the fact that the reduced scheme underlying each orbifold Quot scheme associated to a finite subgroup of SL(2,C) is isomorphic to a Nakajima quiver variety. Our approach uses recent work of the author…

For a given abelian group G, we classify the isomorphism classes of G-gradings on the simple restricted Lie algebras of types W(m;1) and S(m;1) (m>=2), in terms of numerical and group-theoretical invariants. Our main tool is automorphism…

We extend the definitions and main properties of graded extensions to the category of locally compact groupoids endowed with involutions. We introduce Real \v{C}ech cohomology, which is an equivariant-like cohomology theory suitable for the…

Four coframes of invariant 1-forms are explicitly constructed using the Inductive Cartan equivalence method with rank zero corresponding to four distinct branches. These coframes are employed to characterize non-linearizable fourth-order…

We investigate the relation between Cartan decompositions of the unitary group and discrete quantum symmetries. To every Cartan decomposition there corresponds a quantum symmetry which is the identity when applied twice. As an application,…

We study the local equivalence problems of curves and surfaces in three dimensional Heisenberg group via Cartans method of moving frames and Lie groups, and find a complete set of invariants for curves and surfaces. For surfaces, in terms…

In this thesis I lift the Curry--Howard--Lambek correspondence between the simply-typed lambda calculus and cartesian closed categories to the bicategorical setting, then use the resulting type theory to prove a coherence result for…

Our goal is to find classes of convolution semigroups on Lie groups $G$ that give rise to interesting processes in symmetric spaces $G/K$. The $K$-bi-invariant convolution semigroups are a well-studied example. An appealing direction for…

We introduce a unified theory of Cartan subgroups and maximal toroids - defined as connected multiplicative type subgroups that are maximal amongst all such subgroups - which holds for all affine algebraic groups over a field, regardless of…

We provide a short and self-contained argument for the existence of Cartan-Iwahori-Matsumoto decompositions for reductive groups.

We consider a class of homogeneous manifolds including all semisimple coadjoint orbits. We describe manifolds of that class admitting deformation q uantizations equivariant under the action of $G$ and the corresponding quantum group. We…

We study the Equivariant Cartan Homotopy Formula for the $DG$-algebra obtained by a finite group action.

Generalised algebraic theories (GATs) allow multiple sorts indexed over each other. For example, the theories of categories or Martin-L{\"o}f type theories form GATs. Categories have two sorts, objects and morphisms, and the latter are…

A scheme to perform the Cartan decomposition for the Lie algebra su(N) of arbitrary finite dimensions is introduced. The schme is based on two algebraic structures, the conjugate partition and the quotient algebra, that are easily generated…

We develop a holonomy reduction procedure for general Cartan geometries. We show that, given a reduction of holonomy, the underlying manifold naturally decomposes into a disjoint union of initial submanifolds. Each such submanifold…

Let $L$ be a restricted Cartan type Lie algebra over an algebraically closed field $k$ of characteristic $p>3$, and let $G$ denote the automorphism group of $L$. We prove that there are no nontrivial invariants of $L^*$ under the coadjoint…