[Paper Review] Almost linear Nash groups

Binyong Sun|arXiv (Cornell University)|Oct 30, 2013

Matrix Theory and Algorithms8 references4 citations

TL;DR

This paper establishes the structure theory of almost linear Nash groups—Nash groups admitting a finite-kernel Nash representation—by developing analogues of classical Lie group decompositions (Jordan, Levi, Cartan, Iwasawa) and classifying them via elliptic, hyperbolic, and unipotent components. The key contribution is a comprehensive decomposition framework parallel to linear algebraic groups, with applications to exponentiality, maximality, and conjugacy of subgroups.

ABSTRACT

A Nash group is said to be almost linear if it has a Nash representation with finite kernel. Structures and basic properties of these groups are studied.

Motivation & Objective

• To develop a systematic structure theory for almost linear Nash groups, filling a gap in the literature despite extensive study of Lie and algebraic groups.
• To establish analogues of classical Lie group decompositions (Jordan, Levi, Cartan, Iwasawa) within the Nash category without relying on algebraic geometry.
• To classify almost linear Nash groups into three fundamental types: elliptic (compact), hyperbolic (real positive multiplicative), and unipotent (nilpotent with unipotent action).
• To prove conjugacy and maximality results for maximal exponential, Levi, and unipotent subgroups, extending classical results to the Nash setting.
• To clarify the relationship between exponentiality, reductivity, and the existence of trace forms in Nash groups.

Proposed method

• Define almost linear Nash groups as those with a finite-kernel Nash representation, enabling the use of real algebraic and analytic tools.
• Use Nash structures on quotients to show that $ G/H $ for a normal Nash subgroup $ H $ is an affine Nash manifold, and $ G/H $ inherits the almost linear property.
• Introduce three fundamental types: elliptic (compact and almost linear), hyperbolic (isomorphic to $ (bR_+^ imes)^n $), and unipotent (faithfully represented by unipotent matrices).
• Establish Jordan decomposition for elements via containment in appropriate Nash subgroups, and define semisimple and unipotent parts via the action on a faithful representation.
• Prove Levi and Cartan decompositions by constructing maximal exponential subgroups and their Levi components, using dimension and conjugacy arguments.
• Apply trace forms and exponential maps to characterize reductive and exponential Nash groups, linking algebraic and analytic properties.

Experimental results

Research questions

• RQ1 How can the structure theory of linear algebraic groups be adapted to the setting of Nash groups without algebraic geometry?
• RQ2 What are the necessary and sufficient conditions for a Nash group to be exponential, and how does this relate to its Levi and unipotent subgroups?
• RQ3 To what extent do classical decompositions (Levi, Cartan, Iwasawa) hold for almost linear Nash groups, and how do they compare to the Lie group case?
• RQ4 Are maximal unipotent and hyperbolic Nash subgroups conjugate, and what conditions ensure their maximality?
• RQ5 How do trace forms and reductivity relate to the exponentiality and semisimplicity of Nash groups?

Key findings

• Every almost linear Nash group admits a unique Nash structure on its quotient $ G/H $ for a normal Nash subgroup $ H $, making $ G/H $ an affine Nash manifold and $ G/H $ an almost linear Nash group.
• An almost linear Nash group is elliptic, hyperbolic, or unipotent if and only if all its elements are of the corresponding type, establishing a global classification via element types.
• Every unipotent Nash group is connected, simply connected, and nilpotent as a Lie group, and admits a unique Nash structure making it unipotent.
• All maximal unipotent Nash subgroups of an almost linear Nash group are conjugate, and each is contained in the unipotent radical of a maximal exponential Nash subgroup.
• Every hyperbolic Nash subgroup is conjugate into a Levi component of a maximal exponential Nash subgroup, and all such Levi components are maximal hyperbolic subgroups.
• A Nash group is exponential if and only if it is reductive and admits a trace form, and in this case, all unipotent subgroups are contained in the unipotent radical $ rak{U}_G $.