Geometric properties of the tetrablock (Q1942319)

The tetrablock is the domain which may be defined as follows \[ \mathbb E:=\big\{z\in\mathbb C^3:|z_1-\bar z_2z_3|+|z_2-\bar z_1z_3|+|z_3|^2<1\big\}. \] The geometric properties of the tetrablock, the domain arising from the \(\mu\)-synthesis were studied in a series of papers (see [\textit{A.~A.~Abouhajar} et al., J. Geom. Anal. 17, No. 4, 717--749 (2007; Zbl 1149.30020)] and [\textit{Ł.~Kosiński}, Proc. Am. Math. Soc. 139, No. 2, 559--569 (2011; Zbl 1211.32012)]). This domain turned out to be interesting from the point of view of geometric function theory. Namely, \textit{A.~Edigarian}, \textit{Ł.~Kosiński}, and \textit{W.~Zwonek} showed in [J.~Geom.~Analysis, to appear] that the tetrablock cannot be exhausted by domains biholomorphic to convex ones, but nevertheless, the Lempert function and the Carathéodory distance coincide on it. In the paper under review it is shown that the tetrablock is \(\mathbb C\)-convex, which corrects the claim stated by \textit{Ł.~Kosiński} in [Proc. Am. Math. Soc. 139, No. 2, 559--569 (2011; Zbl 1211.32012)], where the converse was claimed. The proof uses some reduction which allows to consider (instead of the geometric properties of the tetrablock) the geometric properties of two-dimensional domains being generalizations of the symmetrized bidisc.