Tubular Domains over Symmetric Cones

• Tubular domains over symmetric cones are complex domains defined as V + iΩ, where Ω is a symmetric, homogeneous, and self-dual cone in Euclidean or Banach spaces.
• They connect Jordan algebra structures with complex analysis through Cayley transforms, invariant metrics, and Bergman kernel techniques, providing explicit analytical frameworks.
• The study of these domains advances operator theory, Hardy–Bergman spaces, and differential geometry, bridging multiple research disciplines.

Searching arXiv for recent and foundational papers on tube domains over symmetric cones. Tubular domains over symmetric cones are domains of the form $T(\Omega)=V+i\Omega$ in the complexification of a real vector space or Euclidean Jordan algebra, where $\Omega$ is a cone carrying strong homogeneity and symmetry properties. In the finite-dimensional classical setting, $\Omega$ is an irreducible symmetric cone, equivalently an open, convex, self-dual, homogeneous cone, and the resulting tube domain is a tube-type bounded symmetric domain after Cayley transform. In the Banach-space setting, Chu proved that a tube domain $V\oplus i\Omega$ is biholomorphic to a bounded symmetric domain if and only if $\Omega$ is a normal, linearly homogeneous, Finsler symmetric cone, equivalently if $V$ is a unital JB-algebra in an equivalent norm and $\Omega=\operatorname{int}\{v^2:v\in V\}$ (Chu, 2020). Around this geometric core, the subject connects Jordan theory, automorphism groups, invariant metrics, Hardy–Bergman analysis, Toeplitz and Hankel operators, Carleson embeddings, and the geometry of Hermitian symmetric spaces (Geatti et al., 2022).

1. Foundational definitions and Jordan-theoretic structure

A tube domain over a cone is defined by

$$T(\Omega)=V\oplus i\Omega=\{x+iy:x\in V,\ y\in\Omega\},$$

where $V$ is a real Banach space or finite-dimensional Euclidean space, and $\Omega\subset V$ is a proper open cone in the Banach setting or an irreducible symmetric cone in the Euclidean Jordan setting (Chu, 2020). In the finite-dimensional theory, $\Omega$0 is a Euclidean Jordan algebra with identity $\Omega$1, rank $\Omega$2, dimension $\Omega$3, determinant $\Omega$4, and often Peirce constant $\Omega$5, satisfying

$\Omega$6

The cone $\Omega$7 is then the open cone of squares, and may also be described spectrally by principal minors $\Omega$8 via

$\Omega$9

(Shamoyan, 26 Sep 2025).

The terminology “tube domain” and “Siegel domain of the first kind” is synonymous in this context (Chu, 2020). In complex analysis on such domains, one writes $\Omega$0 with $\Omega$1 and uses the Jordan determinant through the standard shorthand

$\Omega$2

(Shamoyan, 26 Sep 2025).

A proper open cone induces an order structure on $\Omega$3 by $\Omega$4 if $\Omega$5. Every $\Omega$6 is an order unit, and the associated order-unit norm is

$\Omega$7

For proper cones, these norms are equivalent for different $\Omega$8 (Chu, 2020). In the Banach-space characterization of symmetric tube domains, normality of the cone is equivalent to equivalence between the ambient norm and the order-unit norms (Chu, 2020).

In the finite-dimensional Euclidean Jordan setting, generalized powers and principal minors play a central role. For $\Omega$9,

$V\oplus i\Omega$0

and these functions drive the explicit kernel and integral formulas used in Bergman theory (Bekolle et al., 2017, Shamoyan et al., 2011).

2. Symmetric cones, bounded symmetric domains, and the main characterization

The central structural theorem in the Banach setting states that for a proper open cone $V\oplus i\Omega$1 in a real Banach space $V\oplus i\Omega$2, the following are equivalent: $V\oplus i\Omega$3 is biholomorphic to a bounded symmetric domain; $V\oplus i\Omega$4 is a normal, linearly homogeneous, Finsler symmetric cone; and $V\oplus i\Omega$5 is a unital JB-algebra in an equivalent norm with

$V\oplus i\Omega$6

This is Chu’s main theorem (Chu, 2020).

A Finsler symmetric cone is defined using a compatible tangent norm $V\oplus i\Omega$7, a $V\oplus i\Omega$8-invariant symmetric-space structure, and point symmetries that are involutive $V\oplus i\Omega$9-isometries with isolated fixed points (Chu, 2020). This replaces finite-dimensional self-duality by a Banach-space notion adapted to the absence of a canonical positive-definite pairing. In finite dimension, by contrast, symmetric cones are classically open, convex, self-dual, and homogeneous (Geatti et al., 2022).

The finite-dimensional counterpart is the Koecher–Vinberg picture: if $\Omega$0 is finite-dimensional, then $\Omega$1 is biholomorphic to a bounded symmetric domain if and only if $\Omega$2 is linearly homogeneous and self-dual, equivalently if $\Omega$3 is a Euclidean Jordan algebra and

$\Omega$4

(Chu, 2020). Chu’s theorem extends this by replacing self-duality with “normal, linearly homogeneous, Finsler symmetric” in Banach spaces (Chu, 2020).

A frequent misconception is that every homogeneous cone automatically yields a bounded symmetric tube domain. The finite-dimensional data do not support that statement: the cone must be symmetric, meaning both homogeneous and self-dual in the Euclidean Jordan sense (Geatti et al., 2022). In the Banach formulation, the corresponding replacement is the stronger package “normal, linearly homogeneous, Finsler symmetric” (Chu, 2020).

The bounded realization is obtained by a Cayley transform modeled on the Jordan structure. In finite dimensions, for a unital Jordan algebra with identity $\Omega$5,

$\Omega$6

defined where $\Omega$7 is invertible, maps the tube onto a bounded symmetric domain of tube type (Chu, 2020). This transform underlies the equivalence between tube realizations and bounded symmetric domains of tube type.

3. Lie-theoretic and automorphism-group descriptions

The linear automorphism group of a cone is

$\Omega$8

which is a closed Banach Lie subgroup in the Banach setting (Chu, 2020). Linearly homogeneous means precisely that $\Omega$9 acts transitively on $V$0 (Chu, 2020).

In Chu’s reconstruction of the algebra from the cone, fixing $V$1 yields a symmetry $V$2 and an induced involution on the Banach–Lie algebra of Killing fields, producing the decomposition

$V$3

with

$V$4

Evaluation at $V$5 identifies $V$6, and the Jordan product is reconstructed by

$V$7

where $V$8 is the unique element with $V$9 (Chu, 2020). The Jordan identity is then established by operator-theoretic arguments involving complexification and commutator estimates (Chu, 2020).

In the real finite-dimensional tube-type setting, de Oliveira described the automorphism group of the real tube domain $\Omega=\operatorname{int}\{v^2:v\in V\}$0 associated with a real semisimple Jordan algebra with Cartan decomposition $\Omega=\operatorname{int}\{v^2:v\in V\}$1 (Oliveira, 2010). The automorphism group is generated by the cone-preserving linear group, translations along $\Omega=\operatorname{int}\{v^2:v\in V\}$2, and Jordan inversion:

$\Omega=\operatorname{int}\{v^2:v\in V\}$3

with $\Omega=\operatorname{int}\{v^2:v\in V\}$4 (Oliveira, 2010). This is the real analogue of the classical complex statement that automorphisms of a tube-type domain are generated by translations, linear cone automorphisms, and inversion (Oliveira, 2010).

The same Jordan-algebraic mechanisms appear in concrete examples. For symmetric positive-definite matrices, the action is by congruence and inversion is matrix inversion (Oliveira, 2010). For the Lorentz cone, the Jordan inverse has the explicit quadratic-fractional form recorded in the spin-factor model (Oliveira, 2010).

A related Lie-theoretic perspective comes from Hermitian symmetric spaces. For a non-compact irreducible Hermitian symmetric space $\Omega=\operatorname{int}\{v^2:v\in V\}$5 with Iwasawa decomposition $\Omega=\operatorname{int}\{v^2:v\in V\}$6, Geatti and Iannuzzi showed that every $\Omega=\operatorname{int}\{v^2:v\in V\}$7-invariant domain corresponds to a tube domain in $\Omega=\operatorname{int}\{v^2:v\in V\}$8, the product of $\Omega=\operatorname{int}\{v^2:v\in V\}$9 upper half-planes, where $$T(\Omega)=V\oplus i\Omega=\{x+iy:x\in V,\ y\in\Omega\},$$0 (Geatti et al., 2022). The explicit biholomorphism

$$T(\Omega)=V\oplus i\Omega=\{x+iy:x\in V,\ y\in\Omega\},$$1

realizes an embedded tube geometry inside $$T(\Omega)=V\oplus i\Omega=\{x+iy:x\in V,\ y\in\Omega\},$$2 (Geatti et al., 2022). This suggests that tube-domain geometry over cones is not merely a Jordan-algebraic artifact, but also a canonical coordinate model for large classes of symmetric spaces.

4. Invariant metrics, Finsler geometry, and convexity phenomena

For a normal cone $$T(\Omega)=V\oplus i\Omega=\{x+iy:x\in V,\ y\in\Omega\},$$3, Chu defines a $$T(\Omega)=V\oplus i\Omega=\{x+iy:x\in V,\ y\in\Omega\},$$4-invariant tangent norm by

$$T(\Omega)=V\oplus i\Omega=\{x+iy:x\in V,\ y\in\Omega\},$$5

where $$T(\Omega)=V\oplus i\Omega=\{x+iy:x\in V,\ y\in\Omega\},$$6 is the order-unit norm induced by $$T(\Omega)=V\oplus i\Omega=\{x+iy:x\in V,\ y\in\Omega\},$$7 (Chu, 2020). Its integrated distance is Thompson’s metric:

$$T(\Omega)=V\oplus i\Omega=\{x+iy:x\in V,\ y\in\Omega\},$$8

with

$$T(\Omega)=V\oplus i\Omega=\{x+iy:x\in V,\ y\in\Omega\},$$9

On the purely imaginary slice of the tube domain, the Carathéodory distance restricts to Thompson’s metric:

$V$0

(Chu, 2020).

This metric identification links order-theoretic geometry on the cone with holomorphic geometry on the tube. Under biholomorphism to a bounded symmetric domain, the invariant Finsler structure corresponds to canonical invariant metrics such as Carathéodory, Bergman, or Kobayashi metrics up to constants (Chu, 2020). In finite dimensions or Hilbert-space settings, Riemannian symmetric-space metrics may coexist with this Finsler description (Chu, 2020).

On the analytic side, Bergman geometry on finite-dimensional tubes is encoded by the weighted Bergman kernel and the Bergman metric. For tube domains over irreducible symmetric cones, Bergman balls admit volume asymptotics

$V$1

uniformly in $V$2 for fixed small $V$3 (Nana et al., 2014). Korányi-type comparability lemmas control kernels on nearby points in a Bergman ball and are used throughout operator theory on these domains (Nana et al., 2014, Nana et al., 2015).

Convexity enters from another direction in the work of Geatti–Iannuzzi. If $V$4 is $V$5-invariant and corresponds to a tube $V$6, then

$V$7

where the cone $V$8 depends on whether the ambient Hermitian symmetric space is tube type or non-tube type (Geatti et al., 2022). The envelope of holomorphy is obtained by replacing $V$9 with its smallest convex, cone-invariant hull (Geatti et al., 2022). In the classical translation-invariant case, Bochner’s theorem uses only convexity; the extra cone-invariance reflects the $\Omega\subset V$0-action and restricted-root geometry (Geatti et al., 2022).

5. Analytic function spaces and Bergman theory on tube domains

Finite-dimensional tube domains over symmetric cones support an explicit Bergman theory governed by the determinant $\Omega\subset V$1. A standard weighted measure is

$\Omega\subset V$2

and the weighted Bergman kernel has the form

$\Omega\subset V$3

or, in equivalent normalizations used across the literature,

$\Omega\subset V$4

(Shamoyan, 2012, Shamoyan, 26 Sep 2025, Bekolle et al., 2017, Nana et al., 2015). The corresponding weighted Bergman projection is

$\Omega\subset V$5

(Shamoyan, 26 Sep 2025).

The mixed-norm weighted Bergman spaces are defined by

$\Omega\subset V$6

with scalar or vector-weight variants depending on the setting (Shamoyan, 26 Sep 2025, Bekolle et al., 2017). In the generalized-power formalism of Békollé–Bonami–Garrigós–Ricci–Peloso–Sehba and related work, vector weights appear through $\Omega\subset V$7 and the measure

$\Omega\subset V$8

(Bekolle et al., 2017).

Atomic decomposition and interpolation are particularly important for these spaces. For mixed-norm spaces on tube domains over irreducible symmetric cones, a Whitney decomposition adapted to Bergman balls yields atoms of the form

$\Omega\subset V$9

and every $\Omega$00 admits an expansion

$\Omega$01

with sequence norms equivalent to the function norm (Bekolle et al., 2017). The same paper proves complex interpolation identities such as

$\Omega$02

with the standard convex interpolation relations among $\Omega$03 (Bekolle et al., 2017).

Hardy spaces on tube domains also admit Paley–Wiener representations. For the Hilbert–Hardy space,

$\Omega$04

and $\Omega$05 if and only if

$\Omega$06

for some $\Omega$07 (Békollé et al., 2017). When $\Omega$08, the $\Omega$09th Box operator provides an isomorphism

$\Omega$10

(Békollé et al., 2017). This reduction is central in derivative-embedding problems.

The Duren–Carleson theorem has also been extended to tube domains over symmetric cones. For $\Omega$11, the characterization of measures $\Omega$12 such that $\Omega$13 embeds continuously into $\Omega$14 is reduced to testing against standard measures and generalized powers of principal minors (Békollé et al., 2016). That work also proves the Hardy–Littlewood-type embedding

$\Omega$15

and derives multiplier theorems from $\Omega$16 to Bergman spaces (Békollé et al., 2016).

6. Operator theory, Carleson measures, and current analytic directions

Operator theory on tube domains over symmetric cones has developed around Bergman projections, Toeplitz and Hankel operators, Cesàro-type operators, and Carleson embeddings. On weighted Bergman spaces $\Omega$17, a positive Borel measure $\Omega$18 is a $\Omega$19-Carleson measure when

$\Omega$20

For $\Omega$21, Nana–Sehba proved that this embedding is bounded if and only if

$\Omega$22

for Bergman balls $\Omega$23 (Nana et al., 2014). For the case $\Omega$24, the criterion becomes an $\Omega$25 condition on the normalized averaging function

$\Omega$26

together with boundedness of a suitable Bergman projection in the necessity direction (Nana et al., 2014).

These Carleson conditions feed directly into Toeplitz and Cesàro-type Schatten theory. For a positive measure $\Omega$27, the Toeplitz operator

$\Omega$28

belongs to the Schatten class $\Omega$29 if and only if any of the following equivalent conditions holds: the lattice averages

$\Omega$30

the average function $\Omega$31 belongs to $\Omega$32, or the Berezin transform belongs to the same space (Nana et al., 2014). Sehba extended such results to small exponents $\Omega$33, obtaining equivalence with Berezin-transform criteria under the sharp determinant-integrability threshold

$\Omega$34

(Sehba, 2017).

Cesàro-type operators are defined through the Box operator by solving

$\Omega$35

and taking the class of $\Omega$36 in a quotient space of holomorphic functions (Nana et al., 2014). For $\Omega$37, such an operator lies in $\Omega$38 if and only if

$\Omega$39

equivalently

$\Omega$40

(Nana et al., 2014).

Toeplitz and Hankel operators from Bergman spaces to analytic Besov spaces have also been characterized. For instance, boundedness of $\Omega$41 is equivalent, in the no-loss regime $\Omega$42, to the Bergman-ball estimate

$\Omega$43

(Nana et al., 2015). The same work characterizes Hankel operators in terms of symbol membership in appropriate analytic Besov spaces and derives weak factorization theorems for Bergman spaces (Nana et al., 2015).

A parallel line concerns mixed-norm and off-diagonal boundedness of Bergman-type operators. For the family

$\Omega$44

necessary and sufficient conditions were obtained for boundedness between mixed-norm spaces $\Omega$45, including explicit homogeneity and Schur-type inequalities relating $\Omega$46 (Nana et al., 2017). These results provide a complete off-diagonal theory for a large class of Bergman-type operators on tubes over symmetric cones (Nana et al., 2017).

Recent work has emphasized product domains and multifunctional operators. Sehba and coauthors introduced analytic mixed-norm spaces on products $\Omega$47, operators such as

$\Omega$48

and proved boundedness from measurable mixed-norm spaces into analytic ones under large-parameter hypotheses (Shamoyan, 26 Sep 2025). The same paper formulates new sharp decomposition theorems in $\Omega$49, based on special integral representations (Shamoyan, 26 Sep 2025).

The analytic literature also contains open problems. Among them are extending boundedness of Bergman projections on mixed-norm spaces for all $\Omega$50, enlarging the $\Omega$51 boundedness range of Bergman projectors on higher-rank cones, developing Herz-type analytic spaces on tubes and product tubes, and transferring sharp decomposition theorems from $\Omega$52 to the full $\Omega$53 and $\Omega$54 scales (Bekolle et al., 2017, Shamoyan, 26 Sep 2025, Shamoyan et al., 13 Nov 2025).

7. Representative examples and broader geometric significance

Two examples recur throughout the theory.

Example	Cone and determinant	Tube-domain interpretation
Lorentz cone	$\Omega$55, $\Omega$56	Tube-type domain; rank $\Omega$57 (Shamoyan, 26 Sep 2025)
Positive-definite symmetric matrices	$\Omega$58 or $\Omega$59, $\Omega$60	Siegel upper half-space of symmetric complex matrices (Chu, 2020, Shamoyan, 26 Sep 2025)

For the Lorentz cone, the associated tube domain is the classical tube-type realization related to the spin factor, and the bounded realization is the ball of the corresponding spin factor (Chu, 2020). For positive-definite symmetric matrices, the tube is the Siegel upper half-space of symmetric complex matrices and is Cayley-equivalent to the bounded Cartan domain of type III (Chu, 2020).

The theory also extends beyond finite dimensions. Infinite-dimensional spin factors $\Omega$61 with JB-norm $\Omega$62 have cone

$\Omega$63

and their tube domains are bounded symmetric via the JB-framework (Chu, 2020). Direct sums of finite-dimensional formally real Jordan algebras and spin factors likewise produce normal, linearly homogeneous Finsler symmetric cones (Chu, 2020).

Tubular domains over symmetric cones also appear in algebraic geometry. Catanese and Franciosi’s semispecial and slope-zero tensors characterize varieties whose universal covers are the polydisk or a bounded symmetric domain of tube type (Catanese et al., 2010). In that context, factorization of a holonomy-invariant tangential polynomial into powers of generic norms determines the tube-type bounded symmetric domain via the ranks and dimensions of the corresponding Jordan factors (Catanese et al., 2010). This suggests a precise bridge between intrinsic tensorial data on compact varieties and the Jordan-theoretic classification of tube domains.

More broadly, the subject unifies several themes. From Jordan theory it inherits cones of squares, determinants, and structure groups; from symmetric-space theory it inherits point symmetries, Cayley transforms, and automorphism groups; from several complex variables it inherits Bergman kernels, invariant metrics, and Carleson embeddings; and from operator theory it inherits Toeplitz, Hankel, Cesàro, and Schatten-class questions. The common structural principle is that the determinant $\Omega$64, the rank parameter $\Omega$65, and the symmetry of the cone control both geometry and analysis on $\Omega$66 (Chu, 2020, Shamoyan, 26 Sep 2025).