Hexablock: A 2×2 μ-Synthesis Domain

• Hexablock is a 4-dimensional complex domain derived from the 2×2 μ-synthesis problem, unifying structures like the symmetrized bidisc, tetrablock, and pentablock.
• It is characterized by a Hartogs-type fiber structure over the tetrablock along with a distinguished boundary and complex geometric features.
• Its operator theory framework includes rigidity of proper holomorphic self-maps and spectral set characterizations for associated μ-contractions.

The hexablock is a domain $\mathbb H\subset \mathbb C^4$ associated with a special case of the structured singular value, or $\mu$-synthesis, problem for $2\times 2$ matrices. It is attached to the upper-triangular matrix structure and occupies, in four complex variables, the role that the symmetrized bidisc $\mathbb G_2$, the tetrablock $\mathbb E$, and the pentablock $\mathbb P$ play for earlier $2\times 2$ $\mu$-synthesis models. Subsequent work established several equivalent realizations of $\mathbb H$, determined its distinguished boundary and automorphism group, developed an operator theory of $\mathbb H$-contractions, and proved that the underlying structured singular value rigidly determines the upper-triangular structure from which the hexablock arises (Biswas et al., 18 Jun 2025, Bi et al., 22 Jul 2025, Pal et al., 19 Jul 2025, Pal et al., 27 Mar 2026).

1. Matrix-theoretic origin

The ambient framework is the structured singular value $\mu$0 attached to a linear subspace $\mu$1, defined by

$\mu$2

with the convention $\mu$3 if no such $\mu$4 exists. For the hexablock, the relevant structure is the $\mu$5-dimensional subspace

$\mu$6

the space of all upper-triangular $\mu$7 matrices containing the scalar matrices (Pal et al., 27 Mar 2026).

The associated coordinate map is

$\mu$8

for $\mu$9. In this setting, the raw $2\times 2$0-theoretic object is the image of the $2\times 2$1-unit ball under $2\times 2$2. The domain called the hexablock is the analytically useful domain extracted from that image; it encodes the $2\times 2$3 upper-triangular $2\times 2$4-synthesis problem in several complex variables rather than directly in matrix space (Biswas et al., 18 Jun 2025).

This construction places the hexablock in a standard $2\times 2$5 hierarchy. The scalar, diagonal, upper-triangular-with-equal-diagonal, and full upper-triangular structures lead respectively to $2\times 2$6, $2\times 2$7, $2\times 2$8, and $2\times 2$9 (Pal et al., 27 Mar 2026).

2. Equivalent realizations and Hartogs structure

A central realization of the hexablock uses the tetrablock

$\mathbb G_2$0

For $\mathbb G_2$1, define

$\mathbb G_2$2

Then

$\mathbb G_2$3

Equivalently, if

$\mathbb G_2$4

then

$\mathbb G_2$5

These descriptions exhibit $\mathbb G_2$6 as a Hartogs-type domain over $\mathbb G_2$7 (Biswas et al., 18 Jun 2025).

A further formulation makes the fibration explicit: $\mathbb G_2$8 where $\mathbb G_2$9 is smooth and determined by maximizing points $\mathbb E$0. Thus, for each $\mathbb E$1, the admissible $\mathbb E$2-values form a disc whose radius depends on $\mathbb E$3. In this sense the hexablock is a one-dimensional Hartogs fiber over the tetrablock (Bi et al., 22 Jul 2025).

An important structural point is that the coordinate image of the operator-norm ball and the coordinate image of the $\mathbb E$4-ball do not coincide. The normed hexablock is strictly contained in the $\mathbb E$5-hexablock, and the $\mathbb E$6-hexablock is connected but not open. The domain $\mathbb E$7 is recovered as

$\mathbb E$8

and also satisfies

$\mathbb E$9

This rules out the common simplification that the hexablock is merely the direct image of a single matrix ball under $\mathbb P$0 (Biswas et al., 18 Jun 2025, Pal et al., 19 Jul 2025).

3. Geometric properties and boundary structure

The hexablock is a bounded domain in $\mathbb P$1 with a mixture of convexity and nonconvexity properties. It is connected, polynomially convex, linearly convex, and $\mathbb P$2-quasi-balanced. At the same time, it is neither starlike about the origin nor circled, and it is not convex. Its boundary is also non-$\mathbb P$3 (Biswas et al., 18 Jun 2025, Bi et al., 22 Jul 2025).

The distinguished boundary has a particularly explicit form: $\mathbb P$4 Equivalently,

$\mathbb P$5

and more explicitly

$\mathbb P$6

It follows that $\mathbb P$7 is homeomorphic to $\mathbb P$8, or equivalently to $\mathbb P$9 (Biswas et al., 18 Jun 2025).

A finer analysis decomposes the topological boundary as

$2\times 2$0

Here

$2\times 2$1

has codimension $2\times 2$2, every point is smooth, and this stratum contains no $2\times 2$3-dimensional analytic discs but is foliated by $2\times 2$4-dimensional analytic discs. The second codimension-$2\times 2$5 piece,

$2\times 2$6

admits a foliation by $2\times 2$7-dimensional analytic discs. The residual piece $2\times 2$8 has topological codimension $2\times 2$9. These distinct analytic-disc structures are central to later rigidity results for proper self-maps (Bi et al., 22 Jul 2025).

4. Relation to the symmetrized bidisc, tetrablock, and pentablock

The hexablock belongs to the family of domains attached to $\mu$0 $\mu$1-synthesis data. In the formulation emphasized in the rigidity literature, the scalar matrices yield the symmetrized bidisc $\mu$2, the diagonal matrices yield the tetrablock $\mu$3, upper-triangular matrices with equal diagonal entries yield the pentablock $\mu$4, and all upper-triangular $\mu$5 matrices yield the hexablock $\mu$6 (Pal et al., 27 Mar 2026).

Within this hierarchy, $\mu$7 contains $\mu$8, $\mu$9, and $\mathbb H$0 as analytic retracts. The embeddings and holomorphic retractions show that the smaller domains sit inside the hexablock with holomorphic left inverses. This is one reason the hexablock serves as a unifying framework: it packages in a single $\mathbb H$1-dimensional domain several lower-dimensional $\mathbb H$2 $\mathbb H$3-synthesis geometries (Biswas et al., 18 Jun 2025).

The relation to nearby $\mathbb H$4-dimensional domains is subtler. The domain

$\mathbb H$5

shares strong formal similarities with $\mathbb H$6: both lie in $\mathbb H$7, both are tied to the tetrablock, and both interact with $\mathbb H$8, $\mathbb H$9, and $\mathbb H$0. Nonetheless, they are not biholomorphic. The decisive obstruction is that their distinguished boundaries are not homeomorphic; $\mathbb H$1 differs topologically from the distinguished boundary of the hexablock (Pal et al., 2 Mar 2026).

This comparison is significant because it shows that close analogies at the level of matrix coordinates and $\mathbb H$2-synthesis interpretation do not collapse the geometry of these domains into a single biholomorphic type.

5. Automorphisms and proper holomorphic self-maps

A substantial subgroup of $\mathbb H$3 was constructed by Biswas–Pal–Tomar: $\mathbb H$4 These automorphisms are built from automorphisms of the tetrablock together with a unimodular rotation in the fiber variable $\mathbb H$5. Their explicit formulas involve Young’s tetrablock automorphisms $\mathbb H$6 and $\mathbb H$7 and a fractional-linear factor in the first coordinate (Biswas et al., 18 Jun 2025, Bi et al., 22 Jul 2025).

The principal rigidity theorem for mapping theory states that every proper holomorphic self-map of $\mathbb H$8 is an automorphism. Consequently,

$\mathbb H$9

This settles the conjecture

$\mu$00

posed by Biswas–Pal–Tomar (Bi et al., 22 Jul 2025).

The proof combines several structural inputs. Because $\mu$01 is $\mu$02-quasi-balanced, a proper self-map extends holomorphically to a neighborhood of $\mu$03 and carries $\mu$04 into itself. The analytic-disc foliations of $\mu$05 and $\mu$06 force the induced map on the base variables to be a proper holomorphic self-map of the tetrablock, hence an automorphism. After normalization, the remaining fiber dynamics are reduced on the subdomain

$\mu$07

which is essentially the unit ball in $\mu$08. Alexander’s theorem then yields the final rigidity step in the fiber variable (Bi et al., 22 Jul 2025).

6. Operator theory and rigidity of the underlying matrix structure

The operator-theoretic counterpart of the domain studies commuting operator quadruples

$\mu$09

for which $\mu$10 is a spectral set. Such a tuple is called an $\mu$11-contraction. Because $\mu$12 is polynomially convex, the spectral-set condition is equivalent to the polynomial von Neumann inequality

$\mu$13

The resulting theory includes characterizations of $\mu$14-unitaries and $\mu$15-isometries, canonical decompositions, a Wold-type decomposition, and two dilation theorems (Pal et al., 19 Jul 2025).

One of the basic structural characterizations is that

$\mu$16

if and only if

$\mu$17

The theory is tightly linked to pre-existing operator models: if $\mu$18 is an $\mu$19-contraction, then $\mu$20 and $\mu$21 are $\mu$22-contractions, $\mu$23 is an $\mu$24-contraction, and $\mu$25 is a $\mu$26-contraction. Conversely, the classes associated with $\mu$27, $\mu$28, $\mu$29, and $\mu$30 embed into the hexablock framework through explicit coordinate identifications (Pal et al., 19 Jul 2025).

Independent of the operator theory, the matrix structure underlying the hexablock is itself rigid. If $\mu$31 is a linear subspace containing the scalar matrices and

$\mu$32

then necessarily

$\mu$33

The proof first excludes any matrix with nonzero $\mu$34-entry by testing against the rank-one matrix $\mu$35, and then rules out the only possible proper intermediate $\mu$36-dimensional subspaces inside $\mu$37. In particular, neither the diagonal subspace nor the penta-subspace

$\mu$38

has the same structured singular value as $\mu$39 (Pal et al., 27 Mar 2026).

This rigidity theorem identifies a defining feature of the hexablock construction: the function $\mu$40 associated with the domain does not merely arise from an upper-triangular structure; among scalar-containing subspaces of $\mu$41, it determines that structure uniquely.