Related papers: Sum-product for real Lie groups
In various classes of infinite groups, we identify groups that are presentable by products, i.e. groups having finite index subgroups which are quotients of products of two commuting infinite subgroups. The classes we discuss here include…
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by…
The goal of this paper is to extend the standard invariant-theoretic design, well-developed in the reductive case, to the setting of representation of certain non-reductive groups. This concerns the following notions and results: the…
The word problem for discrete groups is well-known to be undecidable by a Turing Machine; more precisely, it is reducible both to and from and thus equivalent to the discrete Halting Problem. The present work introduces and studies a real…
We show that certain terminating $_{6}\phi_5$ series can be factorized into a product of two $_{3}\phi_{2}$ series. As applications we prove a summation formula for a product of two $q$-Delannoy numbers along with some congruences for sums…
I discuss a formula decomposing the integral of time-ordered products of operators into sums of products of integrals of time-ordered commutators. The resulting factorization enables summation of an infinite series to be carried out to…
We study the category O of representations over a shifted Yangian. This category has a tensor product structure and contains distinguished modules, the positive prefundamental modules and the negative prefundamental modules. Motivated by…
We prove several basic extension theorems for reductive group schemes. We also prove that each Lie algebra with a perfect Killing form over a commutative $\dbZ$-algebra, is the Lie algebra of an adjoint group scheme.
Let $T$ be a maximal torus of a semisimple complex algebraic group, $\mathrm{BS}(s)$ be the Bott-Samelson variety for a sequence of simple reflections $s$ and $\mathrm{BS}(s)^T$ be the set of $T$-fixed points of $\mathrm{BS}(s)$. We prove…
Given a finite, connected 2-complex $X$ such that $b_2(X)\le1$ we establish two existence results for representations of the fundamental group of $X$ into compact connected Lie groups $G$, with prescribed values on certain loops. If…
A Liouville-type result for the p-Laplacian on complete Riemannian manifolds is proved. As an application are present some results concerning complete non-compact hypersurfaces immersed in a suitable warped product manifold.
The Wigner-Eckart theorem is a well known result for tensor operators of SU(2) and, more generally, any compact Lie group. This paper generalises it to arbitrary Lie groups, possibly non-compact. The result relies on knowledge of recoupling…
Normal and composition series of groups enumerated by ordinal numbers are studied. The Jordan-Holder theorem for them is proved.
We introduce a formalism of infinite, linearly ordered products in general groups. Using this, we define infinite compositions in certain groups of formal power series such as transseries. We show that such groups can sometimes be…
We study representations of the double affine Lie algebra associated to a simple Lie algebra. We construct a family of indecomposable integrable representations and identify their irreducible quotients. We also give a condition for the…
We define an action of the braid group (associated with a simple Lie algebra) on the space of $n$-tuples of power series in an indeterminate u, with constant term zero. Using this, we give a sufficient condition for a tensor product of…
Let $R=C[[t]]$ be the ring of power series over an algebraically closed field $C$ of characteristic zero. We show that each connection on a finite flat $R((x))$-module is the sum of a regular singular connection and a diagonalizable…
We show that irreducible unitary representations of nilpotent super Lie groups can be obtained by induction from a distinguished class of sub super Lie groups. These sub super Lie groups are natural analogues of polarizing subgroups that…
The construction of an infinite tensor product of the C*-algebra C_0(R) is not obvious, because it is nonunital, and it has no nonzero projection. Based on a choice of an approximate identity, we construct here an infinite tensor product of…
In this paper we propose a new technical tool for analyzing representations of Hilbert $C^*$-product systems. Using this tool, we give a new proof that every doubly commuting representation over $\mathbb{N}^k$ has a regular isometric…