Related papers: Semialgebraic groups and generalized affine buildi…

These notes present a quick introduction to the q-deformations of semisimple Lie groups from the point of view of unitary representation theory. In order to remain concrete, we concentrate entirely on the case of the lie algebra…

Let F be a non-Archimedean local field and let G be a connected reductive affine algebraic F-group. Let I be an Iwahori subgroup of G(F) and denote by H(G; I) the Iwahori-Hecke algebra, i.e. the convolution algebra of complex-valued…

In these notes we survey basic concepts of affine geometry and their interaction with Riemannian geometry. We give a characterization of affine manifolds which has as counterpart those pseudo-Riemannian manifolds whose Levi-Civita…

In this paper, we classify irreducible representations of affine group superschemes over fields $F$ of characteristic not two in terms of those over a separable closure $F^{\mathrm{sep}}$ and their Galois twists. We also compute the…

We consider the equivariant K-theory of a real semisimple Lie group which acts on the (complex) flag variety of its complexification group. We construct an assemble map in the framework of KK-theory and then we prove that it is an…

In this paper, we construct a higher dimensional generalization of affine buildings and introduce a new structure, which we call Babel buildings. These buildings are non-connected, non-convex metric spaces of non-positive curvature. Despite…

We study finite-dimensional groups definable in models of the theory of real closed fields with a generic derivation (also known as CODF). We prove that any such group definably embeds in a semialgebraic group. We extend the results to…

Starting with a Lie algebroid ${\cal A}$ over a space $M$ we lift its action to the canonical transformations on the affine bundle ${\cal R}$ over the cotangent bundle $T^*M$. Such lifts are classified by the first cohomology $H^1({\cal…

We prove the equivalence between a relative bottleneck property and being quasi-isometric to a tree-graded space. As a consequence, we deduce that the quasi-trees of spaces defined axiomatically by Bestvina-Bromberg-Fujiwara are…

This paper introduces the notion of calibrated representations for affine Hecke algebras and classifies and constructs all finite dimensional irreducible calibrated representations. The main results are that (1) irreducible calibrated…

We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…

Let A \subseteq B be cancellative abelian semigroups, and let R be an integral domain. We show that the semigroup ring R[B] can be decomposed, as an R[A]-module, into a direct sum of R[A]-submodules of the quotient ring of R[A]. In the case…

In this paper we determine the precise extent to which the classical sl_2-theory of complex semisimple finite-dimensional Lie algebras due to Jacobson--Morozov and Kostant can be extended to positive characteristic. This builds on work of…

Divergence functions of a metric space estimate the length of a path connecting two points $A$, $B$ at distance $\le n$ avoiding a large enough ball around a third point $C$. We characterize groups with non-linear divergence functions as…

We present two novel proofs of the known classification of connected affine algebraic supergroups $G$ such that $\operatorname{Rep}G$ is semisimple. The proofs are geometrically motivated, although both rely on an algebraic lemma that…

This paper introduces calibrated representations for affine Hecke algebras and classifies and constructs all finite dimensional irreducible calibrated representations. The primary technique is to provide indexing sets for controlling the…

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…

We prove that Ad-semisimple conjugacy classes in a connected Lie group $G$ are closed embedded submanifolds of $G$. We also prove that if $\alpha:H\to G$ is a homomorphism of connected Lie groups such that the kernel of $\alpha$ is discrete…

In this paper we study associative algebras with a Poisson algebra structure on the center acting by derivations on the rest of the algebra. These structures, which we call Poisson fibred algebras, appear in the study of quantum groups at…

In this expository article, we give a self-contained introduction to the wonderfully well-behaved class of pseudocompact algebras, focusing on the foundational classes of semisimple and separable algebras. We give characterizations of such…