English
Related papers

Related papers: Solvable Lie groups definable in o-minimal theorie…

200 papers

In this note we show that groups with definable generics in a separably closed valued of finite imperfection degree can be embedded into groups definable in their algebraic closure.

Logic · Mathematics 2017-11-07 Silvain Rideau

In "On o-minimal homotopy groups", o-minimal homotopy was developed for the definable category, proving o-minimal versions of the Hurewicz theorems and the Whitehead theorem. Here, we extend these results to the category of locally…

Logic · Mathematics 2008-12-12 Elias Baro , Margarita Otero

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…

Logic in Computer Science · Computer Science 2025-05-27 Viviana del Barco , Gustavo Infanti , Exequiel Rivas , Paul Schwahn

In the paper we characterize the class of finite solvable groups by two-variable identities in a way similar to the characterization of finite nilpotent groups by Engel identities. More precisely, a sequence of words $u_1,...,u_n,... $ is…

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…

Mathematical Physics · Physics 2009-11-10 S. Lombardo , A. V. Mikhailov

We exhibit a family of infinite, finitely-presented, nilpotent-by-abelian groups. Each member of this family is a solvable S-arithmetic group that is related to Baumslag-Solitar groups, and everyone of these groups has a quasi-isometry…

Group Theory · Mathematics 2007-05-23 Kevin Wortman

We prove that many properties and invariants of definable groups in NIP theories, such as definable amenability, G/G^{00}, etc., are preserved when passing to the theory of the Shelah expansion by externally definable sets, M^{ext}, of a…

Logic · Mathematics 2017-05-17 Artem Chernikov , Anand Pillay , Pierre Simon

We give a complete classification of the class of Lie algebras of simply connected real Lie groups whose nontrivial coadjoint orbits are of codimension 1. Such a Lie group belongs to a well-known class, called the class of MD-groups. The…

Rings and Algebras · Mathematics 2021-09-13 Hieu Ha Van , Vu Le Anh , Hoa Duong Quang

In this paper we develop a groupoid approach to some basic topological properties of dual spaces of solvable Lie groups using suitable dynamical systems related to the coadjoint action. One of our main results is that the coadjoint…

Representation Theory · Mathematics 2017-02-21 Ingrid Beltita , Daniel Beltita

In this paper we deal with the class C of decomposable solvable Lie groups having dimension at most six. We determine those Lie groups in C and their subgroups which are the multiplication group Mult(L) and the inner mapping group Inn(L)…

Group Theory · Mathematics 2020-12-17 Ameer Al-Abayechi , Ágota Figula

We study the link between stably finiteness and stably projectionless-ness for $C^*$-algebras of solvable Lie groups. We show that these two properties are equivalent if the dimension of the group is not divisible by $4$; otherwise, they…

Operator Algebras · Mathematics 2023-03-27 Ingrid Beltita , Daniel Beltita

This paper aims at developing model-theoretic tools to study interpretable fields and definably amenable groups, mainly in $\mathrm{NIP}$ or $\mathrm{NTP_2}$ settings. An abstract theorem constructing definable group homomorphisms from…

Logic · Mathematics 2025-01-07 Paul Z. Wang

O-minimal geometry generalizes both semialgebraic and subanalytic geometries, and has been very successful in solving special cases of some problems in arithmetic geometry, such as Andr\'e-Oort conjecture. Among the many tools developed in…

Logic · Mathematics 2019-06-12 Ricardo Bianconi , Rodrigo Figueiredo

Definable topological groups whose topologies are affine have definable $\mathcal C^r$ structures in d-minimal expansions of ordered fields, where $r$ is a positive integer. We prove this fact using a new notion called partition degree of a…

Logic · Mathematics 2024-07-24 Masato Fujita

We consider actions of real Lie subgroups G of complex reductive Lie groups on Kaehlerian spaces. Our main result is the openness of the set of semistable points with respect to a momentum map and the action of G.

Complex Variables · Mathematics 2007-05-23 Peter Heinzner , Henrik Stoetzel

In this paper, we completely classify three-dimensional Lorentzian $Ein(2)$ Lie groups.

Differential Geometry · Mathematics 2020-07-28 Yong Wang

The author has previously shown that solvable Lie A-algebras and complemented solvable Lie algebras decompose as a vector space direct sum of abelian subalgebras, and their ideals relate nicely to this decomposition. However, neither of…

Rings and Algebras · Mathematics 2013-05-06 David A. Towers

We describe those unipotent representations of a finite group of Lie type which are defined over the rational numbers.

Representation Theory · Mathematics 2007-05-23 George Lusztig

We generalize two of our previous results on abelian definable groups in $p$-adically closed fields to the non-abelian case. First, we show that if $G$ is a definable group that is not definably compact, then $G$ has a one-dimensional…

Logic · Mathematics 2024-02-06 Will Johnson , Ningyuan Yao

Let $T$ be a complete, model-complete, geometric dp-minimal $\mathcal{L}$-theory of topological fields of characteristic $0$ and let $T(\partial)$ be the theory of expansions of models of $T$ by a derivation $\partial$. We assume that…

Logic · Mathematics 2025-05-13 Françoise Point