20 research outputs found

    The complex geomety of a domain related to μ\mu-synthesis

    Get PDF
    We describe the basic complex geometry and function theory of the {\em pentablock} P\mathcal{P}, which is the bounded domain in C3\mathbb{C}^3 given by P={(a21,trA,detA):A=[aij]i,j=12B} \mathcal{P}= \{(a_{21}, \mathrm{tr} A, \det A): A= \begin{bmatrix} a_{ij}\end{bmatrix}_{i,j=1}^2 \in \mathbb{B}\} where B\mathbb{B} denotes the open unit ball in the space of 2×22\times 2 complex matrices. We prove several characterizations of the domain. We describe its distinguished boundary and exhibit a 44-parameter group of automorphisms of P\mathcal{P}. We show that P\mathcal{P} is intimately connected with the problem of μ\mu-synthesis for a certain cost function μ\mu on the space of 2×22\times 2 matrices defined in connection with robust stabilization by control engineers. We demonstrate connections between the function theories of P\mathcal{P} and B\mathbb{B}. We show that P\mathcal{P} is polynomially convex and starlike.Comment: 36 pages, 2 figures. This version contains corrections of some inaccuracies and an expanded argument for Proposition 12.

    A geometric characterization of the symmetrized bidisc

    Get PDF
    The symmetrized bidisc G def = {(z + w, zw) : |z| < 1, |w| < 1} has interesting geometric properties. While it has a plentiful supply of complex geodesics and of automorphisms, there is nevertheless a unique complex geodesic in G that is invariant under all automorphisms of G. Moreover, G is foliated by those complex geodesics that meet in one point and have nontrivial stabilizer. We prove that these properties, together with two further geometric hypotheses on the action of the automorphism group of G, characterize the symmetrized bidisc in the class of complex manifolds

    Algebraic and strong splittings of extensions of Banach algebras

    No full text

    Characterizations of Some Domains via Carathéodory Extremals

    No full text
    In this paper we characterize the unit disc, the bidisc and the symmetrized bidisc G={(z+w,zw):|z|<1, |w|<1} in terms of the possession of small classes of analytic maps into the unit disc that suffice to solve all Carathéodory extremal problems in the domain
    corecore