Related papers: Trace map, Cayley transform and LS category of Lie…
In this paper we study loops, neardomains and nearfields from a categorical point of view. By choosing the right kind of morphisms, we can show that the category of neardomains is equivalent to the category of sharply 2-transitive groups.…
A connected linear algebraic group G is called a Cayley group if the Lie algebra of G endowed with the adjoint G-action and the group variety of G endowed with the conjugation G-action are birationally G-isomorphic. In particular, the…
In the first, mostly expository, part of this paper, a graded Lie algebra is associated to every group G given with an N-series of subgroups. The asymptotics of the Poincare series of this algebra give estimates on the growth of the group…
We show that the Cayley graph of the symmetric group $Sym_n$ generated by the cycle $(123...n)$ and the transposition $(12)$ embeds into $L_1$ with bi-Lipschitz distortion $O(1)$. This answers a question of Ostrovskii, and along with…
Let G2 be the exceptional Lie group of automorphisms of the complex Cayley algebra and C be a smooth, connected, projective curve of genus at least 2. Using the map obtained from extension of structure groups, we prove explicit links…
The classical Cayley map, X --> (I_n-X)/(I_n+X), is a birational isomorphism between the special orthogonal group SO_n and its Lie algebra so_n, which is SO_n-equivariant with respect to the conjugating and adjoint actions respectively. We…
We introduce a remarkable subset "the stem" of the set of positive roots of a reduced root system. The stem determines several interesting decompositions of the corresponding reductive Lie algebra. It gives also a nice simple three…
These are lecture notes of a course on symmetry group analysis of differential equations, based mainly on P. J. Olver's book 'Applications of Lie Groups to Differential Equations'. The course starts out with an introduction to the theory of…
Seely's paper "Locally cartesian closed categories and type theory" contains a well-known result in categorical type theory: that the category of locally cartesian closed categories is equivalent to the category of Martin-L\"of type…
Using an extension to isometries of the associated Sasaki structure, we establish a Lie transformation group structure for the set of isometries of a pseudo-Finsler conical metric.
This paper investigates a novel structure of stratified L-convex groups, defined as groups possessing stratified L-convex structures, in which the group operations are L-convexity-preserving mappings. It is verified that stratified L-convex…
We prove that the LS category of the symplectic group $Sp(n)$ is bounded above by $\binom{n+1}{2}$. This is achieved by computing the number of critical levels of a height function.
One of the major advantages of $\infty$-category theory over classical $1$-category theory is its robust and homotopically meaningful framework for taking (co)limits of diagrams of $\infty$-categories. However, it is both subtle and crucial…
Locally cartesian closed (lcc) categories are natural categorical models of extensional dependent type theory. This paper introduces the "gros" semantics in the category of lcc categories: Instead of constructing an interpretation in a…
Using Cayley transform, we show how to construct rotation matrices \emph{infinitely near} the identity matrix over a non-archimedean pythagorean field. As an application, an alternative way to construct non-central proper normal subgroups…
We show how the framework of crossed simplicial groups may be used to provide a classification of topological field theories on open cobordism categories defined by reductions of the structure group to a planar Lie group. Such theories are…
Given a 3-manifold $M$, and a branched cover arising from the projection of a Lagrangian 3-manifold $L$ in the cotangent bundle of $M$ to the zero-section, we define a map from the skein of $M$ to the skein of $L$, via the skein-valued…
Among plenty of applications, low-dimensional homogeneous spaces appear in cosmological models as both, classical factor spaces of multidimensional geometry and minisuperspaces in canonical quantization. Here a new tool to restrict their…
We propose a novel construction of finite hypergraphs and relational structures that is based on reduced products with Cayley graphs of groupoids. To this end we construct groupoids whose Cayley graphs have large girth not just in the usual…
We generalize the Uhlenbeck-Segal theory for harmonic maps into compact semi-simple Lie groups to general Lie groups equipped with torsion free bi-invariant connection.