The Sarason sub-symbol and the recovery of the symbol of densely defined Toeplitz operators over the Hardy space (Q289555)

While the symbol map for the collection of bounded Toeplitz operators is well studied, there has been little work on a symbol map for densely defined Toeplitz operators. The study of bounded Toeplitz operators over the Hardy space \(H^2(\mathbb T)\) is a well developed subject and there are several equivalent definitions of a Toeplitz operator. The simplest definition of a bounded Toeplitz operator is an extension of the definition of a Toeplitz matrix. Algebraically, this can be represented as \(S^\ast TS=T\), where \(S\) denote the coordinate operator \(M_z\). However, when the bounded condition is relaxed to closed and densely defined, the corresponding definitions of Toeplitz operators are no longer equivalent. Various investigations into unbounded operators have been performed as far back as the 1950s. \textit{P. Hartman} and \textit{A. Wintner} [Am. J. Math. 76, 867--882 (1954; Zbl 0056.11301)] investigated the self-adjointness of unbounded Toeplitz matrices, and \textit{P. Hartman} [ibid. 85, 59--78 (1963; Zbl 0198.46702)] continued the work. \textit{M. Rosenblum} in [Pac. J. Math. 10, 987--996 (1960; Zbl 0129.08501)] and \textit{J. Rovnyak} in [ibid. 31, 481--496 (1969; Zbl 0184.35203)] investigated the resolvent of unbounded Toeplitz operators. A closed densely defined operator \(T\) is called a Sarason-Toeplitz operator if it satisfies the following algebraic equations: 1. the domain \(D(T)\) of \(T\) is \(S\)-invariant, 2. \(S^\ast TS=T\), and 3. if \(f\in D(T)\) and \(f(0) =0\), then \(S^\ast f\in D(T)\). The paper aims to address this question: can a Sarason-Toeptliz operator \(T\) be represented as the extension of an operator of the form \(PM_\varphi\) where \(M_\varphi\) is a densely defined multiplication operator from \(H^2(\mathbb T)\) to \(L^2(\mathbb T)\)? On some classical reproducing kernel Hilbert space, such as the Hardy space, the Bergman space and the Fock space, the well definedness of the Berezin transform and the recovery of the symbol of a Sarason-Toeplitz operator are known. In more general cases, they are no longer clear. The author introduces the Sarason sub-symbol, which depends on a choice of a function in \(D(T)\), as a family of symbol maps for Sarason-Toeplitz operators. Then the author demonstrates that, for the bounded case, the Sarason sub-symbol is unique if and only if the operator is Toeplitz. Thus, the uniqueness of the Sarason sub-symbol provides another equivalent characterization for a bounded Toeplitz operator. In addition, the paper concerns classes of Toeplitz operators for which the existence of the Sarason sub-symbol can be established, and some sufficient conditions are presented for \(T\) to be a closed extension of a multiplication type Toeplitz operator.