Table of Contents
Fetching ...

Nijenhuis operators on homogeneous spaces related to $C^*$-algebras

Tomasz Goliński, Gabriel Larotonda, Alice Barbora Tumpach

TL;DR

The paper develops a framework to study Nijenhuis operators on tangent bundles of homogeneous spaces $G/K$ arising from unital non-simple $C^*$-algebras, formulating admissible operators on the Banach–Lie algebra and deriving explicit torsion criteria. It then specializes to four canonical $C^*$-algebras ($\mathcal B(\mathcal H)$, $C(X)$, the Toeplitz algebra, and crossed products) to classify when rank-one, left/right multiplication, and adjoint actions yield Nijenhuis operators and, in some cases, integrable almost complex structures. Key contributions include an explicit torsion condition in terms of commutators, a concrete identifications between $G/K$ and quotient groups, and a compendium of examples showing when Nijenhuis operators exist or are trivial across standard operator-algebra contexts. The results illuminate connections between Banach–Lie homogeneous geometry and operator-algebra dynamics, with potential implications for integrable structures and Poisson–Nijenhuis theory in noncommutative settings.

Abstract

For a unital non-simple $C^*$-algebra $\mathcal A$ we consider its Banach--Lie group $G$ of invertible elements. For a given closed ideal $\mathfrak k$ in $\mathcal A$, we consider the embedded Banach--Lie subgroup $K$ of $G$ of elements differing from the unit element by an element in $\mathfrak k$. We study vector bundle maps of the tangent space of the homogeneous space $G/K$, induced by an admissible bounded operator on $\mathcal A$. In particular, we discuss when this vector bundle map is a Nijenhuis operator in $G/K$. The special case of almost complex structures in $G/K$ is also addressed. Examples for particular classes of $C^*$-algebras are presented, including the Toeplitz algebra and crossed products by $\mathbb Z$.

Nijenhuis operators on homogeneous spaces related to $C^*$-algebras

TL;DR

The paper develops a framework to study Nijenhuis operators on tangent bundles of homogeneous spaces arising from unital non-simple -algebras, formulating admissible operators on the Banach–Lie algebra and deriving explicit torsion criteria. It then specializes to four canonical -algebras (, , the Toeplitz algebra, and crossed products) to classify when rank-one, left/right multiplication, and adjoint actions yield Nijenhuis operators and, in some cases, integrable almost complex structures. Key contributions include an explicit torsion condition in terms of commutators, a concrete identifications between and quotient groups, and a compendium of examples showing when Nijenhuis operators exist or are trivial across standard operator-algebra contexts. The results illuminate connections between Banach–Lie homogeneous geometry and operator-algebra dynamics, with potential implications for integrable structures and Poisson–Nijenhuis theory in noncommutative settings.

Abstract

For a unital non-simple -algebra we consider its Banach--Lie group of invertible elements. For a given closed ideal in , we consider the embedded Banach--Lie subgroup of of elements differing from the unit element by an element in . We study vector bundle maps of the tangent space of the homogeneous space , induced by an admissible bounded operator on . In particular, we discuss when this vector bundle map is a Nijenhuis operator in . The special case of almost complex structures in is also addressed. Examples for particular classes of -algebras are presented, including the Toeplitz algebra and crossed products by .

Paper Structure

This paper contains 30 sections, 5 theorems, 49 equations, 2 tables.

Key Result

Proposition 2.4

An admissible operator $N\in \mathcal{A}(G,K)$ induces the homogeneous vector bundle map $\mathcal{N}:T(G/K) \to T(G/K)$ given at each $p=\pi(g)\in G/K$ by where $\mathcal{N}_{p_0}: T_{p_0}G/K \rightarrow T_{p_0}G/K$ is defined as for $v\in\mathfrak g$.

Theorems & Definitions (19)

  • Definition 2.1: Homogeneous spaces
  • Definition 2.2: Homogeneous bundle maps
  • Definition 2.3: Admissible operators
  • Proposition 2.4
  • Definition 2.5: Nijenhuis torsion
  • Theorem 2.6
  • Definition 2.7: Homogeneous almost complex structure
  • Definition 2.8
  • Definition 3.1: $C^*$-algebra
  • Proposition 3.2
  • ...and 9 more