Reducing Subspaces of Multiplication Operators on the Dirichlet Space

In this paper, we study the reducing subspaces for the multiplication operator by a finite Blaschke product \({\phi}\) on the Dirichlet space D. We prove that any two distinct nontrivial minimal reducing subspaces of \({M_\phi}\) are orthogonal. When the order n of \({\phi}\) is 2 or 3, we show that \({M_\phi}\) is reducible on D if and only if \({\phi}\) is equivalent to \({z^n}\). When the order of \({\phi}\) is 4, we determine the reducing subspaces for \({M_\phi}\), and we see that in this case \({M_\phi}\) can be reducible on D when \({\phi}\) is not equivalent to \({z^4}\). The same phenomenon happens when the order n of \({\phi}\) is not a prime number. Furthermore, we show that \({M_\phi}\) is unitarily equivalent to \({M_{z^n} (n > 1)}\) on D if and only if \({\phi = az^n}\) for some unimodular constant a.     

Some remarks on energy inequalities for harmonic maps with potential

We call the \({\delta}\)-vector of an integral convex polytope of dimension d flat if the \({\delta}\)-vector is of the form \({(1,0,\ldots,0,a,\ldots,a,0,\ldots,0)}\), where \({a \geq 1}\). In this paper, we give the complete characterization of possible flat \({\delta}\)-vectors. Moreover, for an integral convex polytope \({\mathcal{P}\subset \mathbb{R}^N}\) of dimension d, we let \({i(\mathcal{P},n)=|n\mathcal{P}\cap \mathbb{Z}^N|}\) and \({i^*(\mathcal{P},n)=|n(\mathcal{P} {\setminus}\partial \mathcal{P})\cap \mathbb{Z}^N|}\). By this characterization, we show that for any \({d \geq 1}\) and for any \({k,\ell \geq 0}\) with \({k+\ell \leq d-1}\), there exist integral convex polytopes \({\mathcal{P}}\) and \({\mathcal{Q}}\) of dimension d such that (i) For \({t=1,\ldots,k}\), we have \({i(\mathcal{P},t)=i(\mathcal{Q},t),}\) (ii) For \({t=1,\ldots,\ell}\), we have \({i^*(\mathcal{P},t)=i^*(\mathcal{Q},t)}\), and (iii) \({i(\mathcal{P},k+1) \neq i(\mathcal{Q},k+1)}\) and \({i^*(\mathcal{P},\ell+1)\neq i^*(\mathcal{Q},\ell+1)}\).     

Supercyclicity in Spaces of Operators

A sufficient criterion for the map \({C_{A, B}(S) = ASB}\) to be supercyclic on certain algebras of operators on Banach spaces is given. If T is an operator satisfying the Supercyclicity Criterion on a Hilbert space H, then the linear map \({C_{T}(V) = TVT^*}\) is shown to be norm-supercyclic on the algebra \({\mathcal{K}(H)}\) of all compact operators, COT-supercyclic on the real subspace \({\mathcal{S}(H)}\) of all self-adjoint operators and weak*-supercyclic on \({\mathcal{L}(H)}\) of all bounded operators on H. Examples including operators of the form \({C_{B_w, F_\mu}}\) are provided, where B_w and \({F_\mu}\) are respectively backward and forward shifts on Banach sequence spaces.     

Bilinear optimality constraints for the cone of positive polynomials

For a proper cone \({{\mathcal K}\subset\mathbb{R}^n}\) and its dual cone \({{\mathcal K}^*}\) the complementary slackness condition \({\langle{\rm {\bf x}},{\rm {\bf s}}\rangle=0}\) defines an n-dimensional manifold \({C({\mathcal K})}\) in the space \({{\mathbb R}^{2n}}\) . When \({{\mathcal K}}\) is a symmetric cone, points in \({C({\mathcal K})}\) must satisfy at least n linearly independent bilinear identities. This fact proves to be useful when optimizing over such cones, therefore it is natural to look for similar bilinear relations for non-symmetric cones. In this paper we define the bilinearity rank of a cone, which is the number of linearly independent bilinear identities valid for points in \({C({\mathcal K})}\) . We examine several well-known cones, in particular the cone of positive polynomials \({{\mathcal P}_{2n+1}}\) and its dual, and show that there are exactly four linearly independent bilinear identities which hold for all \({({\rm {\bf x}},{\rm {\bf s}})\in C({\mathcal P}_{2n+1})}\), regardless of the dimension of the cones. For nonnegative polynomials over an interval or half-line there are only two linearly independent bilinear identities. These results are extended to trigonometric and exponential polynomials. We prove similar results for Müntz polynomials.     

Dirac–Krein Systems on Star Graphs

Suppose that \({\mathcal {M}}\) is a countably decomposable type II\({_1}\) von Neumann algebra and \({\mathcal {A}}\) is a separable, non-nuclear, unital C\({^*}\)-algebra. We show that, if \({\mathcal {M}}\) has Property \({\Gamma}\), then the similarity degree of \({\mathcal {M}}\) is less than or equal to 5. If \({\mathcal {A}}\) has Property c\({^*}\)-\({\Gamma}\), then the similarity degree of \({\mathcal {A}}\) is equal to 3. In particular, the similarity degree of a \({\mathcal {Z}}\)-stable, separable, non-nuclear, unital C\({^*}\)-algebra is equal to 3.     

Hecke algebras for {{\rm GL}_n} over local fields

We study the local Hecke algebra \({\mathcal{H}_{G}(K)}\) for \({G = {\rm GL}_{n}}\) and K a non-archimedean local field of characteristic zero. We show that for \({G = {\rm GL}_{2}}\) and any two such fields K and L, there is a Morita equivalence \({\mathcal{H}_{G}(K) \sim_{M} \mathcal{H}_{G}(L)}\), by using the Bernstein decomposition of the Hecke algebra and determining the intertwining algebras that yield the Bernstein blocks up to Morita equivalence. By contrast, we prove that for \({G = {\rm GL}_{n}}\), there is an algebra isomorphism \({\mathcal{H}_{G}(K) \cong \mathcal{H}_{G}(L)}\) which is an isometry for the induced \({L^1}\)-norm if and only if there is a field isomorphism \({K \cong L}\).     

Additive iterative roots of identity and Hamel bases

We describe a class of discontinuous additive functions \({a:X\to X}\) on a real topological vector space X such that \({a^n={\rm id}_X}\) and \({a({\mathcal{H}}){\setminus} {\mathcal{H}}\neq\emptyset}\) for every infinite set \({{\mathcal{H}}\subset X}\) of vectors linearly independent over \({\mathbb{Q}}\). We prove the density of the family of all such functions in the linear topological space \({{\mathcal{A}}_X}\) of all additive functions \({a:X\to X}\) with the topology induced on \({{\mathcal{A}}_X}\) by the Tychonoff topology of the space X^X. Moreover, we consider additive functions \({a\in{\mathcal{A}}_X}\) satisfying \({a^n={\rm id}_X}\) and \({a({\mathcal{H}})= {\mathcal{H}}}\) for some Hamel basis \({{\mathcal{H}}}\) of X. We show that the class of all such functions is also dense in \({{\mathcal{A}}_X}\). The method is based on decomposition theorems for linear endomorphisms.     

The Katchalski–Lewis transversal problem for regular polygons

If every k-membered subfamily of a family of plane convex bodies has a line transversal, then we say that this family has property T(k). We say that a family \({\mathcal{F}}\) has property \({T-m}\), if there exists a subfamily \({\mathcal{G} \subset \mathcal{F}}\) with \({|\mathcal{F} - \mathcal{G}| \le m}\) admitting a line transversal. Heppes [7] posed the problem whether there exists a convex body K in the plane such that if \({\mathcal{F}}\) is a finite T(3)-family of disjoint translates of K, then m = 3 is the smallest value for which \({\mathcal{F}}\) has property \({T-m}\). In this paper, we study this open problem in terms of finite T(3)-families of pairwise disjoint translates of a regular 2n-gon \({(n \ge 5)}\). We find out that, for \({5 \le n \le 34}\), the family has property \({T - 3}\) ; for \({n \ge 35}\), the family has property \({T - 2}\).     

Dilating Covariant Representations of a Semigroup Dynamical System Arising from Number Theory

In Cuntz et al. (Math Ann 355(4):1383–1423, 2013. doi:10.1007/s00208-012-0826-9), studied the \({C^*}\)-algebra \({\mathfrak {T}[R]}\) generated by the left-regular representation of the \({ax + b}\)-semigroup of a number ring R on \({\ell^2(R \rtimes R^\times)}\). They were able to describe it as a universal \({C^*}\)-algebra defined by generators and relations, and show that it has an interesting KMS-structure and that it is functorial for injective ring homomorphisms. In this paper we show that \({\mathfrak {T}[R]}\) can be realized as the \({C^*}\)-envelope of the isometric semicrossed product of a certain semigroup dynamical system \({(\mathcal {A}_R, \alpha, R^\times)}\). We do this by proving that a representation of \({\mathcal {A}_R \times_\alpha^{\rm is}R^\times}\) is maximal if it is also a representation of \({\mathfrak {T}[R]}\). We also show how to explicitly dilate any representation of \({\mathcal {A}_R \times_\alpha^{\rm is}R^\times}\) to a representation of \({\mathfrak {T}[R]}\).     

Integral means of weighted Hardy–Bloch functions

Let \({\mathcal{B}^\omega(p, q, B_d)}\) denote the \({\omega}\)-weighted Hardy–Bloch space on the unit ball B _d of \({\mathbb{C}^d}\), \({d\ge 1}\). For \({2< p,q < \infty}\) and \({f\in \mathcal{B}^\omega(p, q, B_d)}\), we obtain sharp estimates on the growth of the p-integral means M _p (f, r) as \({r\to 1-}\).     

Asymptotic behavior of the p-torsion functions as p goes to 1

Let \({\Omega}\) be a Lipschitz bounded domain of \({\mathbb{R}^N}\), \({N\geq2}\), and let \({u_p\in W_0^{1,p}(\Omega)}\) denote the p-torsion function of \({\Omega}\), p > 1. It is observed that the value 1 for the Cheeger constant \({h(\Omega)}\) is threshold with respect to the asymptotic behavior of u_p, as \({p\rightarrow 1^+}\), in the following sense: when \({h(\Omega) > 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_{p}\right\| _{L^\infty(\Omega)}=0}\), and when \({h(\Omega) < 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega)}=\infty}\). In the case \({h(\Omega)=1}\), it is proved that \({\limsup_{p\rightarrow1^+}\left\|u_p\right\|_{L^\infty(\Omega)}<\infty}\). For a radial annulus \({\Omega_{a,b}}\), with inner radius a and outer radius b, it is proved that \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega_{a,b})}=0}\) when \({h(\Omega_{a,b})=1}\).     

On certain functional equations related to Jordan triple $${(\theta, \phi)}$$-derivations on semiprime rings

The main purpose of this paper is to prove the following result. Let R be a 2-torsion free semiprime ring with symmetric Martindale ring of quotients Q _s and let \({\theta}\) and \({\phi}\) be automorphisms of R. Suppose \({T:R\rightarrow R}\) is an additive mapping satisfying the relation \({T(xyx)=T(x)\theta (y)\theta (x)-\phi (x)T(y)\theta (x)+\phi (x)\phi (y)T(x)}\), for all pairs \({x,y\in R}\). In this case T is of the form \({2T(x)=q\theta (x)+\phi (x)q}\), for all \({x\in R}\) and some fixed element \({q\in Q_{s}}\).     

A Generalization of Stenger’s Lemma to Maximal Dissipative Operators

It is shown that for any maximal dissipative operator A in some Hilbert space \({\mathcal H}\) , which is the orthogonal sum \({\mathcal H=\mathcal F\oplus \mathcal G}\) of two Hilbert spaces \({\mathcal F,\, \mathcal G}\) with \({{\rm dim}\,\mathcal G < \infty}\) , the compression \({\left. T:=P_\mathcal F\,A\right|_{{\rm dom}\,A\cap\mathcal F}}\) of A to \({\mathcal F}\) is again a maximal dissipative operator in \({\mathcal F}\) .     

Partially isometric immersions and free maps

In this paper we investigate the existence of “partially” isometric immersions. These are maps \({f:M\rightarrow \mathbb{R}^q}\) which, for a given Riemannian manifold M, are isometries on some sub-bundle \({\mathcal{H}\subset TM}\). The concept of free maps, which is essential in the Nash–Gromov theory of isometric immersions, is replaced here by that of \({\mathcal{H}}\) –free maps, i.e. maps whose restriction to \({\mathcal{H}}\) is free. We prove, under suitable conditions on the dimension q of the Euclidean space, that \({\mathcal{H}}\) –free maps are generic and we provide, for the smallest possible value of q, explicit expressions for \({\mathcal{H}}\) –free maps in the following three settings: 1–dimensional distributions in \({\mathbb{R}^2}\), Lagrangian distributions of completely integrable systems, Hamiltonian distributions of a particular kind of Poisson Bracket.     

The Proper Dissipative Extensions of a Dual Pair

Let A and \({(-\widetilde{A})}\) be dissipative operators on a Hilbert space \({\mathcal{H}}\) and let \({(A,\widetilde{A})}\) form a dual pair, i.e. \({A \subset \widetilde{A}^*}\), resp. \({\widetilde{A} \subset A^*}\). We present a method of determining the proper dissipative extensions \({\widehat{A}}\) of this dual pair, i.e. \({A\subset \widehat{A} \subset\widetilde{A}^*}\) provided that \({\mathcal{D}(A)\cap\mathcal{D}(\widetilde{A})}\) is dense in \({\mathcal{H}}\). Applications to symmetric operators, symmetric operators perturbed by a relatively bounded dissipative operator and more singular differential operators are discussed. Finally, we investigate the stability of the numerical range of the different dissipative extensions.     

A Beurling-Blecher-Labuschagne Theorem for Noncommutative Hardy Spaces Associated with Semifinite von Neumann Algebras

We prove a Beurling-Blecher-Labuschagne theorem for \({H^\infty}\)-invariant spaces of \({L^p(\mathcal{M},\tau)}\) when \({0 < p \leq\infty}\), using Arveson’s non-commutative Hardy space \({H^\infty}\) in relation to a von Neumann algebra \({\mathcal{M}}\) with a semifinite, faithful, normal tracial weight \({\tau}\). Using the main result, we are able to completely characterize all \({H^\infty}\)-invariant subspaces of \({L^p(\mathcal{M} \rtimes_\alpha \mathbb{Z},\tau)}\), where \({\mathcal{M} \rtimes_\alpha \mathbb{Z} }\) is a crossed product of a semifinite von Neumann algebra \({\mathcal{M}}\) by the integer group \({\mathbb{Z}}\), and \({H^\infty}\) is a non-selfadjoint crossed product of \({\mathcal{M}}\) by \({\mathbb{Z}^+}\). As an example, we characterize all \({H^\infty}\)-invariant subspaces of the Schatten p-class \({S^p(\mathcal{H})}\), where \({H^\infty}\) is the lower triangular subalgebra of \({B(\mathcal{H})}\), for each \({0 < p \leq\infty}\).     

The range of approximate unitary equivalence classes of homomorphisms from AH-algebras

Let C be a unital AH-algebra and A be a unital simple C*-algebras with tracial rank zero. It has been shown that two unital monomorphisms \({\phi, \psi: C\to A}\) are approximately unitarily equivalent if and only if

$ [\phi]=[\psi]\quad {\rm in}\quad KL(C,A)\quad {\rm and}\quad \tau\circ \phi=\tau\circ \psi \quad{\rm for\, all}\tau\in T(A),$

where T(A) is the tracial state space of A. In this paper we prove the following: Given \({\kappa\in KL(C,A)}\) with \({\kappa(K_0(C)_+\setminus\{0\})\subset K_0(A)_+\setminus\{0\}}\) and with κ([1 _C ]) = [1 _A ] and a continuous affine map \({\lambda: T(A)\to T_{\mathfrak f}(C)}\) which is compatible with κ, where \({T_{\mathfrak f}(C)}\) is the convex set of all faithful tracial states, there exists a unital monomorphism \({\phi: C\to A}\) such that

$[\phi]=\kappa\quad{\rm and}\quad \tau\circ \phi(c)=\lambda(\tau)(c)$

for all \({c\in C_{s.a.}}\) and \({\tau\in T(A).}\) Denote by \({{\rm Mon}_{au}^e(C,A)}\) the set of approximate unitary equivalence classes of unital monomorphisms. We provide a bijective map

$\Lambda: {\rm Mon}_{au}^e (C,A)\to KLT(C,A)^{++},$

where KLT(C, A)⁺⁺ is the set of compatible pairs of elements in KL(C, A)⁺⁺ and continuous affine maps from T(A) to \({T_{\mathfrak f}(C).}\) Moreover, we found that there are compact metric spaces X, unital simple AF-algebras A and \({\kappa\in KL(C(X), A)}\) with \({\kappa(K_0(C(X))_+\setminus\{0\})\subset K_0(A)_+\setminus\{0\}}\) for which there is no homomorphism h: C(X) → A so that [h] = κ.

     

Mutually prime sequences of inner functions and the ranks of subspaces over the bidisk

Let \({\{\varphi_n(z)\}_{n\ge0}}\) be a sequence of inner functions satisfying that \({\zeta_n(z):=\varphi_n(z)/\varphi_{n+1}(z)\in H^\infty(z)}\) for every n ≥ 0 and \({\{\varphi_n(z)\}_{n\ge0}}\) have no nonconstant common inner divisors. Associated with it, we have a Rudin type invariant subspace \({\mathcal{M}}\) of \({H^2(\mathbb{D}^2)}\) . We write \({\mathcal{N}= H^2(\mathbb{D}^2)\ominus\mathcal{M}}\) . If \({\{\zeta_n(z)\}_{n\ge0}}\) ia a mutually prime sequence, then we shall prove that \({rank_{\{T^\ast_z,T^\ast_w\}} \mathcal{N}=1}\) and \({rank_{\{\mathcal{F}^\ast_z\}}(\mathcal{M}\ominus w\mathcal{M})=1}\) , where \({\mathcal{F}_z}\) is the fringe operator on \({\mathcal{M}\ominus w\mathcal{M}}\) .     

Note on Bernoulli numbers associated to some Dirichlet character of prime conductor

We fix an integer \({n \geq 1}\) and a divisor m of n such that n/m is odd. Let p be a prime number of the form \({p=2n\ell+1}\) for some odd prime number \({\ell}\) with \({\ell \nmid m}\). Let \({S=pB_{1,2m\ell}}\) be the p times of the generalised Bernoulli number associated to an odd Dirichlet character of conductor p and order \({2m\ell}\), which is an algebraic integer of the \({2m\ell}\)th cyclotomic field. It is known that \({S \neq 0}\). More strongly, we show that when \({\ell}\) is sufficiently large, the trace of \({\zeta^{-1}S}\) to the \({2m}\)th cyclotomic field does not vanish for any\({\ell}\)th root \({\zeta}\) of unity. We also show a related result on indivisibility of relative class numbers.