Related papers: Scheme theory for groups and Lie algebras
In this paper we introduce elements of algebraic geometry over an arbitrary algebraic structure. We prove Unification Theorems which gather the description of coordinate algebras by several ways.
Group theory is a particularly fertile field for the design of practical algorithms. Algorithms have been developed across the various branches of the subject and they find wide application. Because of its relative maturity, computational…
We introduce a theory of "patterns" in order to study geodesics in a certain class of group presentations. Using patterns we show that there does not exist a geodesic automatic structure for certain group presentations, and that certain…
In the two papers of this series, we initiate the development of a new approach to implementing the concept of symmetry in classical field theory, based on replacing Lie groups/algebras by Lie groupoids/algebroids, which are the appropriate…
The aim of these notes is to present an accessible overview of some topics in classical algebraic geometry which have applications to aspects of discrete integrable systems. Precisely, we focus on surface theory on the algebraic geometry…
We study a new class of infinite dimensional Lie algebras, which has important applications to the theory of integrable equations. The construction of these algebras is very similar to the one for automorphic functions and this motivates…
Geometrization of physical theories have always played an important role in their analysis and development. In this contribution we discuss various aspects concerning the geometrization of physical theories: from classical mechanics to…
The aim of this paper is to explain, mostly through examples, what groupoids are and how they describe symmetry. We will begin with elementary examples, with discrete symmetry, and end with examples in the differentiable setting which…
The aim of this paper is to study the group of isomorphism classes of torsors of finite flat group schemes of rank 2 over a commutative ring $R$. This, in particular, generalises the group of quadratic algebras (free or projective), which…
A Mathematica based program has been elaborated in order to determine the symmetry group of a finite difference equation, by means of its differential representation. The package provides functions which enable us to solve the determining…
The purpose of this survey is to describe how locally compact groups can be studied as geometric objects. We will emphasize the main ideas and skip or just sketch most proofs, often referring the reader to our much more detailed book…
In this article it is shown that S-Expansion procedure affects the geometry of a Lie group, changing it an leading us to the geometry of another Lie group with higher dimensionality. Is outlined, via an example, a method for determining the…
Lie group theory states that knowledge of a $m$-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by $m$ the number of equations. We apply this principle by finding some \emph{affine…
Lie symmetry group method is applied to study the Born-Infeld equation. The symmetry group and its optimal system are given, and group invariant solutions associated to the symmetries are obtained. Finally the structure of the Lie algebra…
A full Lie point symmetry analysis of rational difference equations is performed. Non-trivial symmetries are derived and exact solutions using these symmetries are obtained.
In this paper, we give a geometrization and a generalization of a lemma of differential Galois theory. This geometrization, in addition of giving a nice insight on this result, offers us the occasion to investigate several points of…
We define and analyze various generalizations of the punctual Hilbert scheme of the plane, associated to complex or real Lie algebras. Out of these, we construct new geometric structures on surfaces whose moduli spaces share multiple…
The paper presents the complete classification of Automorphic Lie Algebras based on $\mathfrak{sl}_n (\mathbb{C})$, where the symmetry group $G$ is finite and the orbit is any of the exceptional $G$-orbits in $\overline{\mathbb{C}}$. A key…
This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that are composable, invertible and differentiable. They are…
This paper is an overview of my recent work on abstract homomorphisms of algebraic groups. It is based on a talk given at the Conference on Group Actions and Applications in Geometry, Topology, and Analysis held in Kunming in July 2012.