Hypercyclic operators failing the hypercyclicity criterion on classical Banach spaces (Q2456991)

Let \(X\) be a topological vector space over \(\mathbb{R}\) or \(\mathbb{C}\). A (continuous, linear) operator \(T:X \to X\) is said to be hypercyclic if there exists some \(x \in X\) whose \(T\)-orbit \(\{T^n x: n\in{\mathbb{N}}\}\) is dense in \(X\). In [J.~Funct.~Anal.\ 99, 179--190 (1991; Zbl 0758.47016)], \textit{D.\,Herrero} posed the problem of whether a hypercyclic operator \(T\) on a Banach space satisfies that \(T\oplus T:X\oplus X\to X\oplus X\) is hypercyclic (the question can be posed more generally, e.g., on Fréchet spaces). This is equivalent to wonder whether \(T\) satisfies the so-called Hypercyclicity Criterion. This was discovered by \textit{J.\,Bès} and \textit{A.\,Peris} [J.~Funct.\ Anal.\ 167, No.\,1, 94--112 (1999; Zbl 0941.47002)]. In [``A hypercyclic operator whose direct sum is not hypercyclic'' (2006; to appear in J.~Oper.\ Theory)], \textit{M.\,De La Rosa} and \textit{C.\,Read} answered in the negative that problem, showing a hypercyclic Banach space operator not satisfying the Hypercyclicity Criterion. In the paper under review, the authors construct a hypercyclic operator \(T\) on a Banach space \(X\) such that \(T\oplus T\) is not hypercyclic, provided that \(X\) has a normalized unconditional basis \(\{e_i:i\in{\mathbb{N}}\}\) whose associated forward shift \(S\) (that is, the linear operator \(S:E\to E\) defined by \(Se_i=e_{i+1}\), where \(E=\text{span}\{e_i:i\in\mathbb{N}\}\)) is continuous. As a consequence, there exist such operators on \(c_0(\mathbb{N})\) or \(l^p(\mathbb{N})\), \(1\leq p<\infty\), so on a separable infinite-dimensional Hilbert space. In fact, it is also shown that operators \(T\) as before exist on every separable Banach space admitting a complemented subspace having a normalized unconditional basis with continuous forward shift. In particular, this holds for \(X=L^1([0,1])\) or \(C([0,1])\). Moreover, in the setting of non-normable Fréchet spaces, it is proved that if \(\Omega\subset\mathbb{C}\) is a simply connected domain, then there exists a hypercyclic operator on \(H(\Omega)\) which does not satisfy the Hypercyclicity Criterion. Nevertheless, this is not possible on the Fréchet space \(\omega\) of all scalar sequences.