Related papers: A definability criterion for connected Lie groups

An example of a four-dimensional special complex manifold with Norden metric of constant holomorphic sectional curvature is constructed via a two-parametric family of solvable Lie algebras. The curvature properties of the obtained manifold…

We study the problem of classifying all Poisson-Lie structures on the group $G_{\infty}$ of formal diffeomorphisms of the real line $\zR^{1}$ which leave the origin fixed, as well as the extended group of diffeomorphisms $G_{0\infty}\supset…

A note connecting arguments scattered in the extant literature proving that, in any o-minimal expansion of the real field, a definable family of sets has the property that the set of parameters corresponding to finite-volume fibers is…

A topological group $G$ is said to have the L\'evy property if it admits a dense subgroup which is decomposed as the union of an increasing sequence of compact subgroups $\mathcal{G}=\{G_i:i\in\mathbb{N}\}$ of $G$ which exhibits…

The spectrum $\omega(G)$ of a finite group $G$ is the set of element orders of $G$. Finite groups $G$ and $H$ are isospectral if their spectra coincide. Suppose that $L$ is a simple classical group of sufficiently large dimension (the lower…

Let G be a connected and reductive group over the algebraically closed field K. J-P. Serre has introduced the notion of a G-completely reducible subgroup H of G. In this note, we give a notion of G-complete reducibility -- G-cr for short --…

Let G be a noncyclic group of order 4, and let K be the ring Z of rational integers, the localization of Z at the prime 2 and the ring of 2-adic integers, respectively. We describe, up to conjugacy, all of the indecomposable subgroups in…

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…

We determine the structure of solvable Lie groups endowed with invariant stretched non-positive Weyl connections and find classes of solvable Lie groups admitting and not admitting such connections. In dimension 4 we fully classify solvable…

We demonstrate that the open core of a definably complete expansion of a densely linearly ordered abelian group is locally o-minimal if and only if any definable closed subset of $R$ is either discrete or contains a nonempty open interval.…

We study the problem of extending a complex structure to a given Lie algebra g, which is firstly defined on an ideal h of g. We consider the next situations: h is either complex or it is totally real. The next question is to equip g with an…

We describe an interesting relation between Lie 2-algebras, the Kac-Moody central extensions of loop groups, and the group $\mathrm{String}(n)$. A Lie 2-algebra is a categorified version of a Lie algebra where the Jacobi identity holds up…

The (reduced) characteristic group of a locally conformally product manifold is obtained by restricting the action of its fundamental group to the non-flat factor of the universal cover, and taking the connected component of the identity in…

We investigate subgroups of the group PLo(I) of piecewise-linear, orientation preserving homeomorphisms of the unit interval with finitely many breaks in slope, and also subgroups of Thompson's group F. We find geometric criteria…

Let {\Lnk} be the class of all $n$-dimensional real solvable Lie algebras having $k$-dimensional derived ideals. In 2020 the authors et al. gave a classification of all non 2-step nilpotent Lie algebras of {\Li}. We propose in this paper to…

Let $G$ be a finitely generated group, and let $\Bbbk{G}$ be its group algebra over a field of characteristic $0$. A Taylor expansion is a certain type of map from $G$ to the degree completion of the associated graded algebra of $\Bbbk{G}$…

For any solvable Lie group whose exponential map $\exp_G\colon{\mathfrak g}\to G$ is bijective, we prove that the real rank of $C^*(G)$ is equal to $\dim({\mathfrak g}/[{\mathfrak g},{\mathfrak g}])$. We also indicate a proof of a similar…

A group is small if it has countably many complete $n$-types over the empty set for each natural number n. More generally, a group $G$ is weakly small if it has countably many complete 1-types over every finite subset of G. We show here…

Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…

Let $G$ be a connected closed subgroup of $\mathrm{GL}_n(\mathbb{C})$ which is simple as a Lie group and which acts irreducibly on $\mathbb{C}^n$. Regarding both $G$ and its Lie algebra $\mathfrak{g}$ as subsets of $M_n(\mathbb{C})$, we…