Table of Contents
Fetching ...

Isomorphisms, Moduli, and Cohomological Dimension for Twisted Triangular Banach Algebras

Sara Behnamian, Fatemeh Fogh

TL;DR

This work introduces twisted triangular Banach algebras $\mathcal{T}_\sigma(A,B;X)$ built from diago nal blocks $A,B$, a Banach $A$-$B$ bimodule $X$, and automorphisms $\sigma=(\sigma_A,\sigma_B)$, and analyzes both their isomorphism classes and homological properties. The authors establish a complete isomorphism classification: $\mathcal{T}_\sigma(A,B;X)\cong\mathcal{T}_\tau(A,B;X)$ iff there exist $\alpha\in\mathrm{Aut}(A)$, $\beta\in\mathrm{Aut}(B)$, an $(\alpha,\beta)$-bimodule isomorphism $u$, and a $\tau$-cocycle $\theta$ satisfying diagonal conjugacy, bimodule equivariance, and a cocycle identity; transport-of-structure shows how $\tau$-cocycles relate to $\sigma$-cocycles. Cohomologically, the square-zero extension yields sharp bounds for the Hochschild cohomological dimension: $$\max\{\mathrm{cd}(A),\mathrm{cd}(B), \mathbf{1}_{\{X\neq0\}}\} \le \mathrm{cd}(\mathcal{T}_\sigma) \le \max\{\mathrm{cd}(A),\mathrm{cd}(B), 1\},$$ with equality in key acyclic cases, and a precise formula $\mathrm{cd}(\mathcal{T}_\sigma)=\max\{\mathrm{cd}(A),\mathrm{cd}(B), \mathbf{1}_{\{X\neq 0\}}\}$ in general. Amenability is constrained: $\mathcal{T}_\sigma$ is amenable only in the degenerate case $X=0$ with amenable diagonals; however, twisting introduces obstructions to weak amenability even when the diagonals are amenable, and a twisted version of the Forrest–Marcoux criterion provides a positive path to weak amenability under vanishing twisted first cohomology. In group-algebra and commutative settings the results reveal new dynamical invariants and explicit shear-cohomology behaviour, clarifying how automorphism dynamics and cocycle data shape the extension theory. Overall, the paper develops a coherent extension-theoretic framework for twisted triangular Banach algebras and identifies both obstructions and conditions under which homological properties survive twisting, with clear directions for further study in noncommutative cases and explicit computation of shear cohomology.

Abstract

We introduce and study twisted triangular Banach algebras T_sigma(A,B;X), built from Banach algebras A,B, a Banach A-B bimodule X, and a pair of automorphisms sigma=(sigma_A,sigma_B). This construction extends the classical triangular framework by incorporating twisted module actions on the off-diagonal block. We obtain a complete isomorphism classification: T_sigma is isomorphic to T_tau precisely when the diagonal twists are conjugate, the bimodule admits an (alpha,beta)-equivariant isomorphism, and a shear cocycle satisfies a natural identity. In the case of group algebras, the classification detects conjugacy classes inside Aut(G), yielding new dynamical invariants absent from the untwisted setting. On the homological side, we establish sharp bounds for the Hochschild cohomological dimension and deduce that T_sigma is amenable only when X=0 and both A,B are amenable. Thus twisting enriches the classical theory while preserving extension-theoretic control of cohomology.

Isomorphisms, Moduli, and Cohomological Dimension for Twisted Triangular Banach Algebras

TL;DR

This work introduces twisted triangular Banach algebras built from diago nal blocks , a Banach - bimodule , and automorphisms , and analyzes both their isomorphism classes and homological properties. The authors establish a complete isomorphism classification: iff there exist , , an -bimodule isomorphism , and a -cocycle satisfying diagonal conjugacy, bimodule equivariance, and a cocycle identity; transport-of-structure shows how -cocycles relate to -cocycles. Cohomologically, the square-zero extension yields sharp bounds for the Hochschild cohomological dimension: with equality in key acyclic cases, and a precise formula in general. Amenability is constrained: is amenable only in the degenerate case with amenable diagonals; however, twisting introduces obstructions to weak amenability even when the diagonals are amenable, and a twisted version of the Forrest–Marcoux criterion provides a positive path to weak amenability under vanishing twisted first cohomology. In group-algebra and commutative settings the results reveal new dynamical invariants and explicit shear-cohomology behaviour, clarifying how automorphism dynamics and cocycle data shape the extension theory. Overall, the paper develops a coherent extension-theoretic framework for twisted triangular Banach algebras and identifies both obstructions and conditions under which homological properties survive twisting, with clear directions for further study in noncommutative cases and explicit computation of shear cohomology.

Abstract

We introduce and study twisted triangular Banach algebras T_sigma(A,B;X), built from Banach algebras A,B, a Banach A-B bimodule X, and a pair of automorphisms sigma=(sigma_A,sigma_B). This construction extends the classical triangular framework by incorporating twisted module actions on the off-diagonal block. We obtain a complete isomorphism classification: T_sigma is isomorphic to T_tau precisely when the diagonal twists are conjugate, the bimodule admits an (alpha,beta)-equivariant isomorphism, and a shear cocycle satisfies a natural identity. In the case of group algebras, the classification detects conjugacy classes inside Aut(G), yielding new dynamical invariants absent from the untwisted setting. On the homological side, we establish sharp bounds for the Hochschild cohomological dimension and deduce that T_sigma is amenable only when X=0 and both A,B are amenable. Thus twisting enriches the classical theory while preserving extension-theoretic control of cohomology.

Paper Structure

This paper contains 5 sections, 9 theorems, 50 equations.

Key Result

Lemma 2.1

Assume $A$ and $B$ are unital or have bounded approximate identities (so that the Peirce idempotents are defined in the multiplier sense). Let $I=e_{11}\mathcal{T}_\sigma e_{22}$. If $\Phi:\mathcal{T}_\sigma\to \mathcal{T}_\tau$ is a Banach algebra isomorphism and $X\neq 0$, then $\Phi(I)=I$.

Theorems & Definitions (33)

  • Lemma 2.1: Characteristic square--zero ideal
  • proof
  • Theorem 2.2
  • proof
  • Remark 2.3: Other side and multiplicativity
  • Example 2.4: Commutative $C(K)$-case
  • Example 2.5: Noncommutative discrete group algebras
  • Lemma 2.6: Transport-of-structure for cocycles
  • proof
  • Remark 2.7
  • ...and 23 more