View source for Banach-Jordan pair

<!--This article has been texified automatically. Since there was no Nroff source code for this article, 
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
was used.
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.

Out of 64 formulas, 64 were replaced by TEX code.-->

{{TEX|semi-auto}}{{TEX|done}}
A real or complex Jordan pair $V = ( V ^ { + } , V ^ { - } )$ (i.e. a pair $V = ( V ^ { + } , V ^ { - } )$ of real or complex vector spaces together with trilinear mappings $V ^ { \pm } \times V ^ { \mp } \times V ^ { \pm } \rightarrow V ^ { \pm }$, $( x , y , z ) \mapsto \{ x y z \}$, symmetric in the outer variables, which satisfy:

\begin{equation*} \{ u x \{ v y w \} \} - \{ v y \{ u x w \} \} = \{ \{ u x v \} y w \} - \{ v \{ x u y \} w \} \end{equation*}

for all $u , v , w \in V ^ { \pm }$, $x , y \in V ^ { \mp }$; cf. also [[Vector space|Vector space]]), where the spaces $V ^ { \pm }$ are endowed with complete norms (cf. also [[Norm|Norm]]) making continuous the triple products $\{ x y z \}$, $x , z \in V ^ { \pm }$, $y \in V ^ { \mp }$. Banach–Jordan triple systems (cf. also [[Jordan triple system|Jordan triple system]]) can be viewed as Banach–Jordan pairs $V$ with $V ^ { + } = V ^ { - }$. For the general theory of Jordan pairs, see [[#References|[a16]]]. In the notation of quadratic Jordan theory, $Q _ { x } y = \{ x y x \} / 2$. A classic example of a Banach–Jordan pair is that given by $( \operatorname{BL} ( X , Y ) , \operatorname{BL} ( Y , X ) )$, the space of continuous linear operators between two Banach spaces $X$, $Y$, with $\{ a b c \} = a b c + c b a$ (cf. also [[Banach space|Banach space]]; [[Linear operator|Linear operator]]). Any [[Banach–Jordan algebra|Banach–Jordan algebra]] $J$ gives rise to a Banach–Jordan pair $( J , J )$, by taking the usual Jordan triple product. Moreover, Banach–Jordan pairs are interesting in themselves by their connection with bounded symmetric domains [[#References|[a17]]]. Jordan–Banach triple systems with additional geometric requirements emerged in the work of W. Kaup. See [[#References|[a13]]], [[#References|[a26]]] or [[JB*-triple|$\operatorname{JB} ^ { * }$-triple]] for a general report on the theory of $\operatorname{JB} ^ { * }$-triples (prime $\operatorname{JB} ^ { * }$-triples have been classified in [[#References|[a23]]]); see [[#References|[a24]]] for the structure theory of Hilbert triples, Hermitian Hilbert triples and atomic $\operatorname {JBW} ^ { * }$-triples, and see [[#References|[a8]]], [[#References|[a9]]] for so-called $H ^ { * }$-triple theory. A general account of both the geometric and the non-geometric theory of Jordan–Banach triple systems can be found in [[#References|[a25]]].

Given a Banach–Jordan pair $V$ and an element $y \in V ^ { - \sigma }$, $\sigma = \pm$, one can define a [[Banach–Jordan algebra|Banach–Jordan algebra]] on $V ^ { \sigma }$, called the $y$-homotope of $V ^ { \sigma }$ and denoted by $V ^ { \sigma } ( y )$, by taking $x.z = \{ x y z \} / 2$ as product, and the original norm $|.|$ of $V ^ { \sigma }$. Of course, $V ^ { \sigma } ( y )$ can be given an equivalent norm $\| \, . \, \| ^ { \prime }$ so that $\| x. z \| ^ { \prime } \leq \| x \| ^ { \prime } \| z \| ^ { \prime }$. The set $\operatorname { Ker } ( y ) = \{ x \in V ^ { \sigma } : Q _ { y } x = 0 \}$ is a closed [[Ideal|ideal]] of $V ^ { \sigma } ( y )$, and so the quotient $V ^ { \sigma ( y ) } / \operatorname { Ker } ( y )$ is a Banach–Jordan algebra, called the local algebra of $V$ at $y$ and usually denoted by $V _ { y } ^ { \sigma }$. Important notions in the theory of Jordan pairs, such as the [[Jacobson radical|Jacobson radical]], are defined in terms of homotopes (the adverb  "properly"  usually refers to properties that hold in all homotopes); on the other hand, local algebras have become a prominent tool in the study of Jordan pairs [[#References|[a2]]]. Local algebras play a fundamental role in proving the automatic continuity of derivations on Banach–Jordan pairs [[#References|[a12]]], thus extending the extension, by A.R. Villena [[#References|[a27]]], of the Johnson–Sinclair theorem to Banach–Jordan algebras.

==Finiteness conditions in Banach–Jordan pairs.==
A basic finiteness condition in Jordan pairs is having finite capacity, i.e. the ascending and descending chain conditions on principal inner ideals (cf. also [[Chain condition|Chain condition]]). For a non-degenerate Jordan pair $V$ ($Q _ { x } V ^ { \mp } = 0$ implies $x = 0$, $x \in V ^ { \pm }$), the socle of $V$ can be characterized as the ideal $\operatorname{ Soc } ( V )$ of all $y \in V ^ { - \sigma }$ such that $V _ { y } ^ { \sigma }$ has finite capacity [[#References|[a22]]] (cf. also [[Socle|Socle]]). Notice that for a Jordan pair of type $( \operatorname{BL} ( X , Y ) , \operatorname{BL} ( Y , X ) )$, its socle is the ideal $( \operatorname{FBL} ( X , Y ) , \operatorname{FBL} ( Y , X ) )$ of all continuous linear operators having finite rank (cf. also [[Linear operator|Linear operator]]). Moreover, it has finite capacity if and only if one of the two vector spaces is finite dimensional.

It is well known that under certain assumptions (von Neumann regularity, finite spectrum, algebraicity or coincidence with the socle) a semi-primitive associative Banach algebra is finite dimensional. This is no longer true for Jordan–Banach algebras, but, under any of the above requirements (in the appropriate Jordan versions), semi-primitive Jordan–Banach algebras have finite capacity [[#References|[a4]]]. Using this result and the fact that semi-primitivity is inherited by local algebras, it can be shown (see [[#References|[a19]]] and [[#References|[a14]]]) that for a semi-primitive complex Banach–Jordan pair, the socle, the set of properly algebraic elements, the largest properly algebraic ideal, the largest properly spectrum-finite ideal, and the largest von Neumann regular ideal all coincide. Related results can be found in [[#References|[a15]]], [[#References|[a20]]] and [[#References|[a21]]]. Since von Neumann regular Banach–Jordan pairs are idempotent-finite, it follows that any von Neumann regular Banach–Jordan pair has finite capacity ([[#References|[a18]]] and [[#References|[a10]]]). Loos' classification of simple Jordan pairs of finite capacity (any Jordan pair of finite capacity is a direct sum of finitely many simple ones) can be refined in the complex Banach setting: A simple complex Banach–Jordan pair having finite capacity is either finite dimensional, the Jordan pair defined by a continuous symmetric bilinear form on a complex Banach vector space, or a Jordan pair of continuous linear operators between two Banach pairings, one of them being finite dimensional ([[#References|[a10]]] and [[#References|[a11]]]). Using Zel'manov's structure theorem for strongly prime Jordan systems [[#References|[a28]]] (see also [[#References|[a1]]]), prime complex Banach–Jordan $*$-triples with non-zero socle and without nilpotent elements were classified in [[#References|[a6]]], getting as a consequence, among other results, the Bunce–Chu structure theorem [[#References|[a7]]] for compact $\operatorname{JB} ^ { * }$-triples.

An associative algebra is Noetherian if it satisfies the ascending chain condition on left ideals (cf. also [[Associative rings and algebras|Associative rings and algebras]]; [[Noetherian ring|Noetherian ring]]). A.M. Sinclair and A.W. Tullo showed [[#References|[a29]]] that a complex Noetherian Banach associative algebra is finite dimensional. For a Jordan algebra or pair, the suitable Noetherian condition is the ascending chain condition on inner ideals. M. Benslimane and N. Boudi [[#References|[a3]]] proved that a complex Noetherian Banach–Jordan algebra is finite dimensional. This result has been extended, [[#References|[a5]]], to Banach–Jordan pairs. Actually, the following has been proved:

i) the [[Jacobson radical|Jacobson radical]] of a Noetherian Banach–Jordan pair is finite dimensional;

ii) non-degenerate Noetherian Banach–Jordan pairs have finite capacity; and

iii) complex Noetherian Banach–Jordan pairs are finite dimensional.

====References====
<table><tr><td valign="top">[a1]</td> <td valign="top">  A. D'Amour,   "Quadratic Jordan algebras of hermitian type"  ''J. Algebra'' , '''149'''  (1992)  pp. 197–233</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  A. D'Amour,   K. Mccrimmon,   "The local algebra of a Jordan system"  ''J. Algebra'' , '''177'''  (1995)  pp. 199–239</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  M. Benslimane,   N. Boudi,   "Noetherian Jordan Banach algebras are finite-dimensional"  ''J. Algebra'' , '''213'''  (1998)  pp. 340–350</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  M. Benslimane,   A. Fernández,   A. Kaidi,   "Caractérisation des algèbres de Jordan Banach de capacitè finie"  ''Bull. Sci. Math.'' , '''112''' :  2  (1988)  pp. 473–480</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  N. Boudi,   A. Fernández,   E. Garcia,   H. Marhnine,   C. Zarhouti,   "Noetherian Jordan Banach pairs"  ''Math. Proc. Cambridge Philos. Soc.'' , '''130'''  (2001)  pp. 25–36</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  K. Bouhya,   A. Fernández,   "Jordan-$\square ^ { * }$-triples with minimal inner ideals and compact JB$\square ^ { * }$-triples"  ''Proc. London Math. Soc.'' , '''68'''  (1994)  pp. 380–398</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  L.J. Bunce,   C.H. Chu,   "Compact operations, multipliers and the Radon–Nikodym property in $J B ^ { * }$-triples"  ''Pacific J. Math.'' , '''53'''  (1992)  pp. 249–265</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  A. Castellón,   J.A. Cuenca,   C. Martin,   "Jordan $H ^ { * }$-triple systems"  S. González (ed.) , ''Non-Associative Algebra and Its Applications'' , Kluwer Acad. Publ.  (1994)  pp. 66–72</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  A. Castellón,   J.A. Cuenca,   C. Martin,   "Special Jordan $H ^ { * }$-triple systems"  ''Commun. Algebra'' , '''28'''  (2000)  pp. 4699–4706</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  A. Fernández,   E. Garcia,   E. Sánchez,   "Von Neumann regular Jordan Banach triple systems"  ''J. London Math. Soc.'' , '''42'''  (1990)  pp. 32–48</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  A. Fernández,   E. Garcia,   E. Sánchez,   M. Siles,   "Strong regularity and hermitian Hilbert triples"  ''Quart. J. Math. Oxford'' , '''45'''  (1994)  pp. 43–55</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  A. Fernández,   H. Marhnine,   C. Zarhouti,   "Derivations on Banach Jordan pairs"  ''Quart. J. Math. Oxford''  (to appear)</td></tr><tr><td valign="top">[a13]</td> <td valign="top">  Y. Friedman,   "Bounded symmetric domanin and the $J B ^ { * }$-triple structure in physics"  ''Proc. 1992 Oberwolfach Conf. Jordan algebras'' , de Gruyter  (1994)  pp. 61–82</td></tr><tr><td valign="top">[a14]</td> <td valign="top">  G. Hessenberger,   "A spectral characterization of the socle of Banach Jordan systems"  ''Math. Z.'' , '''223'''  (1996)  pp. 561–568</td></tr><tr><td valign="top">[a15]</td> <td valign="top">  G. Hessenberger,   "Inessential and Riesz elements in Banach Jordan systems"  ''Quart. J. Math. Oxford'' , '''47'''  (1996)  pp. 337–347</td></tr><tr><td valign="top">[a16]</td> <td valign="top">  O. Loos,   "Jordan pairs" , ''Lecture Notes in Mathematics'' , '''460''' , Springer  (1975)</td></tr><tr><td valign="top">[a17]</td> <td valign="top">  O. Loos,   "Bounded symmetric domains and Jordan pairs" , ''Lecture Notes'' , Univ. California  (1977)</td></tr><tr><td valign="top">[a18]</td> <td valign="top">  O. Loos,   "Recent results on finiteness conditions in Jordan pairs" , ''Proc. 1992 Oberwolfach Conf. Jordan algebras'' , de Gruyter  (1994)  pp. 83–95</td></tr><tr><td valign="top">[a19]</td> <td valign="top">  O. Loos,   "Properly algebraic and spectrum-finite ideals in Jordan systems"  ''Math. Proc. Cambridge Philos. Soc.'' , '''114'''  (1993)  pp. 149–161</td></tr><tr><td valign="top">[a20]</td> <td valign="top">  O. Loos,   "Nuclear elements in Banach Jordan pairs" , ''Proc, 1997 Internat. Conf. Jordan structures'' , Dept. Álgebra, Geom. y Topol. Univ. Málaga  (1999)  pp. 116–117</td></tr><tr><td valign="top">[a21]</td> <td valign="top">  A. Maouche,   "Caractérisation spectrales du radical et socle d'une paire de Jordan–Banach"  ''Canad. Math. Bull.'' , '''40'''  (1997)  pp. 488–497</td></tr><tr><td valign="top">[a22]</td> <td valign="top">  F. Montaner,   "Local PI theory of Jordan systems"  ''J. Algebra'' , '''216'''  (1999)  pp. 302–327</td></tr><tr><td valign="top">[a23]</td> <td valign="top">  A. Moreno,   A. Rodriguez,   "On the Zelmanovian classification of prime $J B ^ { * }$-triples"  ''J. Algebra'' , '''226'''  (2000)  pp. 577–613</td></tr><tr><td valign="top">[a24]</td> <td valign="top">  E. Neher,   "Jordan triple systems by the grid approach" , ''Lecture Notes in Mathematics'' , '''1280''' , Springer  (1980)</td></tr><tr><td valign="top">[a25]</td> <td valign="top">  A. Rodriguez Palacios,   "Jordan structures in analysis" , ''Proc. 1992 Oberwolfach Conf. Jordan Algebras'' , de Gruyter  (1994)  pp. 97–186</td></tr><tr><td valign="top">[a26]</td> <td valign="top">  B. Russo,   "Structure of $J B ^ { * }$-triples" , ''Proc. 1992 Oberwolfach Conf. Jordan algebras'' , de Gruyter  (1994)  pp. 209–237</td></tr><tr><td valign="top">[a27]</td> <td valign="top">  A.R. Villena,   "Derivations on Jordan–Banach algebras"  ''Studia Math.'' , '''118'''  (1996)  pp. 205–229</td></tr><tr><td valign="top">[a28]</td> <td valign="top">  E. Zel'manov,   "On prime Jordan triple systems III"  ''Sib. Math. J.'' , '''26'''  (1985)  pp. 71–82</td></tr><tr><td valign="top">[a29]</td> <td valign="top">  A.M. Sinclair,   A.W. Tullo,   "Noetherian Banach algebras are finite dimensional"  ''Math. Ann.'' , '''211'''  (1974)  pp. 151–153</td></tr></table>