Joint torsion of several commuting operators (Q655348)

From MaRDI portal
Revision as of 15:48, 18 April 2024 by Importer (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Joint torsion of several commuting operators
scientific article

    Statements

    Joint torsion of several commuting operators (English)
    0 references
    4 January 2012
    0 references
    \textit{R. Carey} and \textit{J. Pincus} [Integral Equations Oper. Theory 33, No. 3, 273--304 (1999; Zbl 0951.47030)] introduced the notion of joint torsion of a pair of commuting Fredholm operators. For each pair \((A,B)\) of commuting Fredholm operators on some vector space \(E\) over a field \(\mathbb{F}\), there corresponds an invertible element \(\tau(A,B)\in\mathbb{F}^{*}\) called the joint torsion of \((A,B)\). Let \(f,g\) be two functions on the disk algebra which do not vanish on the unit circle. Then the associated Toeplitz operators \(T_{f}\) and \(T_{g}\) on the Hardy space \(H^2(\mathbb{U})\) form a pair of commuting Fredholm operators. Carey and Pincus showed that \(\tau(T_{f},T_{g})=c(f,g)\), the tame symbol of \(f\) and \(g\). In the paper under review, the author generalizes the Carey-Pincus joint torsion of a pair to a tuple of commuting operators that satisfy a Fredholm condition. More specifically, for each such tuple \(A=(A_1,\dots,A_n)\) of operators on a vector space over a field \(\mathbb{F}\), and for integers \(i, j\in\{1,\dots,n\}\), the author constructs an invertible element \(\tau_{i,j}(A)\in\mathbb{F}^{*}\) called the \textit{joint torsion transition number} in position \((i,j)\). It is then shown that the joint torsion transition numbers satisfy the cocyle property, a triviality property and a multiplicativity property. As an example, the author computes the joint torsion transition numbers of a special type of commuting tuples of Toeplitz operators on the Hardy space \(H^2(\mathbb{U}^n)\) over the unit polydisc. More specifically, let \(f\) be an invertible element in the polydisc algebra. For each \(\alpha=(\alpha_1,\dots,\alpha_n)\in\mathbb{U}^n\), put \[ T_{\alpha} = (T_{f},T_{z_1-\alpha_1},\dots, T_{z_n-\alpha_n}). \] The author shows that for \(i<j\), \ \(\tau_{i,j}(T_{\alpha})=f(\alpha)\) if \(i=1\) and \(\tau_{i,j}(T_{\alpha})=1\) if \(i\neq 1\).
    0 references
    0 references
    determinant
    0 references
    Koszul homology
    0 references
    multiplicative Fredholm theory
    0 references
    secondary invariants
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references