Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

The paint group Tits Satake theory of hyperbolic symmetric spaces: the distance function, paint invariants and discrete subgroups

Ugo Bruzzo, Pietro Fré, Mario Trigiante

TL;DR

The paper develops the Paint Group Tits-Satake (PGTS) theory for hyperbolic symmetric spaces, defining a distance function via a norm on the solvable group and detailing invariants under paint and subpaint actions. It reorganizes U/H spaces into TS universality classes, enables explicit discretization schemes, and expresses the distance through a reduced TS base (typically H_2 or SH_2) with finite invariants, making the framework computationally tractable for r_nc ≤ 4. Central to the approach are the c-map between Special Kähler and Quaternionic Kähler geometries, the algebraic TS projection, and the paint-group structure that controls wall multiplicities and fiber content, which together classify manifolds and inform data-tessellation strategies. The work also provides concrete formulas for geodesics and distances, with explicit constructions in SO(r,r+2s) families (notably r=1,2), and discusses discretization via parabolic subgroups (e.g., Sp(4,Z)) and Grassmannian leaves, highlighting potential Lie-algebraic, geometry-aware neural architectures.

Abstract

The present paper, which is partially a review, but also contains several completely new results, aims at presenting, in a unified mathematical framework, a complex and articulated lore regarding non-compact symmetric spaces, with negative curvature, whose isometry group is a non-compact, real simple Lie group. All such manifolds are Riemannian normal manifolds, according to Alekseevsky's definition, in the sense that they are metrically equivalent to a solvable Lie group manifold. This identification provides a vision in which, on one side one can derive quite explicit and challenging formulae for the unique distance function between points of the manifold, on the other one, one can organize the entire set of the available manifolds in universality classes distinguished by their common Tits Satake submanifold and, correspondingly, by their non-compact rank. The members of the class are distinguished by their different Paint Groups, the latter notion having been introduced by two of the present authors in an earlier collaboration. In relation to the construction of neural networks, these mathematical structures offer unique possibilities of replacing ad hoc activation functions with the naturally defined non-linear operations that relate Lie algebras to Lie Groups and vice-versa. The Paint Group invariants offer new tokens both to construct algorithms and inspect (hopefully to control) their working. A conspicuous part of the paper is devoted to the study and systematic construction of parabolic/elliptic discrete subgroups of the Lie groups SO(r,r+q), in view of discretization and/or tessellations of the space to which data are to be mapped. Furthermore, it is shown how the ingredients of Special Kähler Geometry and the c-map, well known in the supergravity literature, provide a unified classification scheme of the relevant Tits Satake universality classes with non-compact rank r<5.

The paint group Tits Satake theory of hyperbolic symmetric spaces: the distance function, paint invariants and discrete subgroups

TL;DR

The paper develops the Paint Group Tits-Satake (PGTS) theory for hyperbolic symmetric spaces, defining a distance function via a norm on the solvable group and detailing invariants under paint and subpaint actions. It reorganizes U/H spaces into TS universality classes, enables explicit discretization schemes, and expresses the distance through a reduced TS base (typically H_2 or SH_2) with finite invariants, making the framework computationally tractable for r_nc ≤ 4. Central to the approach are the c-map between Special Kähler and Quaternionic Kähler geometries, the algebraic TS projection, and the paint-group structure that controls wall multiplicities and fiber content, which together classify manifolds and inform data-tessellation strategies. The work also provides concrete formulas for geodesics and distances, with explicit constructions in SO(r,r+2s) families (notably r=1,2), and discusses discretization via parabolic subgroups (e.g., Sp(4,Z)) and Grassmannian leaves, highlighting potential Lie-algebraic, geometry-aware neural architectures.

Abstract

The present paper, which is partially a review, but also contains several completely new results, aims at presenting, in a unified mathematical framework, a complex and articulated lore regarding non-compact symmetric spaces, with negative curvature, whose isometry group is a non-compact, real simple Lie group. All such manifolds are Riemannian normal manifolds, according to Alekseevsky's definition, in the sense that they are metrically equivalent to a solvable Lie group manifold. This identification provides a vision in which, on one side one can derive quite explicit and challenging formulae for the unique distance function between points of the manifold, on the other one, one can organize the entire set of the available manifolds in universality classes distinguished by their common Tits Satake submanifold and, correspondingly, by their non-compact rank. The members of the class are distinguished by their different Paint Groups, the latter notion having been introduced by two of the present authors in an earlier collaboration. In relation to the construction of neural networks, these mathematical structures offer unique possibilities of replacing ad hoc activation functions with the naturally defined non-linear operations that relate Lie algebras to Lie Groups and vice-versa. The Paint Group invariants offer new tokens both to construct algorithms and inspect (hopefully to control) their working. A conspicuous part of the paper is devoted to the study and systematic construction of parabolic/elliptic discrete subgroups of the Lie groups SO(r,r+q), in view of discretization and/or tessellations of the space to which data are to be mapped. Furthermore, it is shown how the ingredients of Special Kähler Geometry and the c-map, well known in the supergravity literature, provide a unified classification scheme of the relevant Tits Satake universality classes with non-compact rank r<5.

Paper Structure

This paper contains 104 sections, 4 theorems, 489 equations, 11 figures, 7 tables.

Table of Contents

  1. Introduction
  2. Mathematical Theories nursed by Supergravity/Supersymmetry
  3. Application perspectives of a newly reassembled mathematical theory and Data Science
  4. The Supergravity nursed Mathematical Theory exposed in this paper
  5. Historical outline of the already existing ingredients of the PGTS Theory
  6. The solvable Lie group representation
  7. Special Kähler Geometry
  8. The $c$-map
  9. The Tits-Satake projection and the paint group.
  10. The algebraic Tits-Satake Projection.
  11. The paint group and Cosmic Billiards.
  12. The TS projection in PGTS theory.
  13. The new ingredients of the PGTS theory introduced in this paper
  14. An inspiring chinese box scheme for $r_{(n.c.).} \leq 4$.
  15. Three viewpoints on the Tits-Satake clustering mechanism.
  16. ...and 89 more sections

Key Result

Theorem 1.1

Every noncompact symmetric space $\mathrm{U/H}$ where $\mathrm{U}$ is a finite-dimensional simple Lie group whose Lie algebra $\mathbb{U}$ is a real section $\mathbb{G}_R$, different from the unique maximally compact one, of any of the simple complex Lie algebras $\mathfrak{a}_\ell,\mathfrak{b}_\ell whose Lie algebra $Solv(\mathrm{U/H}) \subset \mathbb{U}$ is an appropriate subalgebra of the full

Figures (11)

  • Figure 1: The Tits-Satake diagram representing the real form $\mathfrak{so}(p,2\ell-p+1)$ of the complex $\mathfrak{so}(2\ell+1)$ Lie algebra
  • Figure 2: The Dynkin diagrams of the four infinite families of classical simple algebras
  • Figure 3: The Satake diagram of the real section $\mathbb{G}_\mathbb{R}$ of the complex Lie algebra $\mathbb{G}_\mathbb{C} \, = \, \mathfrak{d}_{r+s}$ generating the Lie group $\mathrm{SO(r,r+2s)}$. The total rank of $\mathbb{G}_\mathbb{R}$ is $\mathrm{rank}= r+s$, the split rank $\mathrm{rank}_s = r$, the Tits-Satake subalgebra is $\mathbb{G}_\mathbb{R} \supset\mathbb{G}_{TS} \, = \, \mathfrak{b}_r$, the paint group is $\mathrm{G_{Paint}}\, = \, \mathrm{SO(2s)}$.
  • Figure 4: The Tits-Satake diagram of the real section $\mathbb{G}_\mathbb{R}$ of the complex Lie algebra $\mathbb{G}_\mathbb{C} \, = \, \mathfrak{b}_{r+s}$ generating the Lie group $\mathrm{SO(r,r+2s+1)}$. The total rank of $\mathbb{G}_\mathbb{R}$ is $\mathrm{rank}= r+s$, the split rank $\mathrm{rank}_s = r$, the Tits-Satake subalgebra is $\mathbb{G}_\mathbb{R} \supset\mathbb{G}_{\mathrm{TS}} \, = \, \mathfrak{b}_r$, the paint group is $\mathrm{G_{Paint}}\, = \, \mathrm{SO(2s+1)}$.
  • Figure 5: The Tits-Satake diagram of the Tits-Satake subalgebra $\mathrm{SO(r,r+1)}$.
  • ...and 6 more figures

Theorems & Definitions (13)

  • Theorem 1.1
  • Definition 1.1
  • Definition 1.2
  • Proposition 1.1
  • Theorem 1.2
  • Definition 1.3
  • Theorem 1.3
  • Definition 1.4
  • Definition 2.1
  • Definition 2.2
  • ...and 3 more