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}\).     

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}\).     

Integer Decomposition Property of Free Sums of Convex Polytopes

Let \({\mathcal{P} \subset \mathbb{R}^{d}}\) and \({\mathcal{Q} \subset \mathbb{R}^{e}}\) be integral convex polytopes of dimension d and e which contain the origin of \({\mathbb{R}^{d}}\) and \({\mathbb{R}^{e}}\), respectively. We say that an integral convex polytope \({\mathcal{P}\subset \mathbb{R}^{d}}\) possesses the integer decomposition property if, for each \({n\geq1}\) and for each \({\gamma \in n\mathcal{P}\cap\mathbb{Z}^{d}}\), there exist \({\gamma^{(1)}, . . . , \gamma^{(n)}}\) belonging to \({\mathcal{P}\cap\mathbb{Z}^{d}}\) such that \({\gamma = \gamma^{(1)} +. . .+\gamma^{(n)}}\). In the present paper, under some assumptions, the necessary and sufficient condition for the free sum of \({\mathcal{P}}\) and \({\mathcal{Q}}\) to possess the integer decomposition property will be presented.     

Finite groups with small automizers of {\mathcal {F}}-subgroups

Let \({ \mathcal {F}}\) be a saturated formation and G a finite group such that \({N_{G} (H^{\mathcal {F}})/C_{G} (H^{\mathcal {F}})\cong Inn(H^{\mathcal {F}})}\) for every subgroup H of G. If the minimal non-\({ \mathcal {F}}\)-group is soluble, then \({G \in \mathcal {F}}\).     

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)}\).     

Multipliers of perturbed Cartesian products with an application to BSE-property

Given semisimple commutative Banach algebras \({\mathcal{A}}\) and \({\mathcal{B}}\) and a norm decreasing homomorphism \({\mathcal{T} : \mathcal{B} \rightarrow \mathcal{B}}\), we characterize the multipliers of the perturbed product Banach algebra \({\mathcal{A}\times_T \mathcal{B}}\). As an application it is shown that \({\mathcal{A}\times_T \mathcal{B}}\) has the Bochner–Schoenberg–Eberlein property if and only if both \({\mathcal{A}}\) and \({\mathcal{B}}\) have this property.     

Maximum Principle for H-Surfaces in the Unit Cone and Dirichlet’s Problem for their Equation in Central Projection

In the unit cone\({\mathcal{C} := \{(x, y, z)} \in {\mathbb R}^{3} : {x}^{2} + {y}^{2} < {z}^{2}, {z} > {0}\}\) we establish a geometric maximum principle for H-surfaces, where its mean curvature \({H = H(x, y, z)}\) is optimally bounded. Consequently, these surfaces cannot touch the conical boundary \({\partial \mathcal{C}}\) at interior points and have to approach \({\partial \mathcal{C}}\) transversally. By a nonlinear continuity method, we then solve the Dirichlet problem of the H-surface equation in central projection for Jordan-domains \({\Omega}\) which are strictly convex in the following sense: On its whole boundary \({\partial \mathcal{C}(\Omega)}\) their associate cone \({\mathcal{C}(\Omega) := \{(rx, ry, r) \in {\mathbb R}^{3} : (x, y) \in \Omega, r \in (0,+\infty)}\}\) admits rotated unit cones \({O \circ \mathcal{C}}\) as solids of support, where \({O \in {\mathbb R}^{3\times3}}\) represents a rotation in the Euclidean space. Thus we construct the unique H-surface with one-to-one central projection onto these domains \({\Omega}\) bounding a given Jordan-contour \({\Gamma \subset \mathcal{C} \backslash \{0\}}\) with one-toone central projection.     

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.     

On permutable meromorphic functions

We study the class \({\mathcal{M}}\) of functions meromorphic outside a countable closed set of essential singularities. We show that if a function in \({\mathcal{M}}\), with at least one essential singularity, permutes with a non-constant rational map g, then g is a Möbius map that is not conjugate to an irrational rotation. For a given function \({f \in\mathcal{M}}\) which is not a Möbius map, we show that the set of functions in \({\mathcal{M}}\) that permute with f is countably infinite. Finally, we show that there exist transcendental meromorphic functions \({f : \mathbb{C} \to \mathbb{C}}\) such that, among functions meromorphic in the plane, f permutes only with itself and with the identity map.     

On the Convergence to Equilibrium of Unbounded Observables Under a Family of Intermittent Interval Maps

We consider a family \({\{T_{r}: [0, 1] \circlearrowleft \}_{r\in[0, 1]}}\) of Markov interval maps interpolating between the tent map \({T_{0}}\) and the Farey map \({T_{1}}\). Letting \({\mathcal{P}_{r}}\) denote the Perron–Frobenius operator of \({T_{r}}\), we show, for \({\beta \in [0, 1]}\) and \({\alpha \in (0, 1)}\), that the asymptotic behaviour of the iterates of \({\mathcal{P}_{r}}\) applied to observables with a singularity at \({\beta}\) of order \({\alpha}\) is dependent on the structure of the \({\omega}\)-limit set of \({\beta}\) with respect to \({T_{r}}\). The results presented here are some of the first to deal with convergence to equilibrium of observables with singularities.     

Weighted $${{L^p}}$$-Liouville theorems for hypoelliptic partial differential operators on Lie groups

We prove weighted \({L^p}\)-Liouville theorems for a class of second-order hypoelliptic partial differential operators \({\mathcal{L}}\) on Lie groups \({\mathbb{G}}\) whose underlying manifold is \({n}\)-dimensional space. We show that a natural weight is the right-invariant measure \(\check{H}\) of \({\mathbb{G}}\). We also prove Liouville-type theorems for \({C^{2}}\) subsolutions in \({L^{p}(\mathbb{G},\check{H})}\). We provide examples of operators to which our results apply, jointly with an application to the uniqueness for the Cauchy problem for the evolution operator \({\mathcal{L}-\partial_{t}}\).     

Centralizing traces with automorphisms on triangular algebras

Let \({\mathcal{T}}\) be a triangular algebra over a commutative ring \({\mathcal{R}}\), \({\xi}\) be an automorphism of \({\mathcal{T}}\) and \({\mathcal{Z}_{\xi}(\mathcal{T})}\) be the \({\xi}\)-center of \({\mathcal{T}}\). Suppose that \({\mathfrak{q}\colon \mathcal{T}\times \mathcal{T}\longrightarrow \mathcal{T}}\) is an \({\mathcal{R}}\)-bilinear mapping and that \({\mathfrak{T}_{\mathfrak{q}}\colon \mathcal{T}\longrightarrow \mathcal{T}}\) is a trace of \({\mathfrak{q}}\). The aim of this article is to describe the form of \({\mathfrak{T}_{\mathfrak{q}}}\) satisfying the commuting condition \({[\mathfrak{T}_{\mathfrak{q}}(x), x]_{\xi}=0}\) (resp. the centralizing condition \({[\mathfrak{T}_{\mathfrak{q}}(x), x]_{\xi}\in \mathcal{Z}_\xi(\mathcal{T})}\)) for all \({x\in \mathcal{T}}\). More precisely, we will consider the question of when \({\mathfrak{T}_{\mathfrak{q}}}\) satisfying the previous condition has the so-called proper form.     

Lifting Fixed Points of Completely Positive Semigroups

Let \({\{\phi_s\}_{s\in S}}\) be a commutative semigroup of completely positive, contractive, and weak*-continuous linear maps acting on a von Neumann algebra N. Assume there exists a semigroup \({\{\alpha_s\}_{s\in S}}\) of weak*-continuous *-endomorphisms of some larger von Neumann algebra \({M\supset N}\) and a projection \({p\in M}\) with N = pMp such that α _s (1 ? p) ≤ 1 ? p for every \({s\in S}\) and \({\phi_s(y)=p\alpha_s(y)p}\) for all \({y\in N}\). If \({\inf_{s \in S}\alpha_s(1-p)=0}\) then we show that the map \({E:M\to N}\) defined by E(x) = pxp for \({x\in M}\) induces a complete isometry between the fixed point spaces of \({\{\alpha_s\}_{s\in S}}\) and \({\{\phi_s\}_{s\in S}}\).     

Heat kernel approach for sup-norm bounds for cusp forms of integral and half-integral weight

In this article, using the heat kernel approach from Bouche (Asymptotic results for Hermitian line bundles over complex manifolds: The heat kernel approach, Higher-dimensional complex varieties, pp 67–81, de Gruyter, Berlin, 1996), we derive sup-norm bounds for cusp forms of integral and half-integral weight. Let \({\Gamma\subset \mathrm{PSL}_{2}(\mathbb{R})}\) be a cocompact Fuchsian subgroup of first kind. For \({k \in \frac{1}{2} \mathbb{Z}}\) (or \({k \in 2\mathbb{Z}}\)), let \({S^{k}_{\nu}(\Gamma)}\) denote the complex vector space of cusp forms of weight-k and nebentypus \({\nu^{2k}}\) (\({\nu^{k\slash 2}}\), if \({k \in 2\mathbb{Z}}\)) with respect to \({\Gamma}\), where \({\nu}\) is a unitary character. Let \({\lbrace f_{1},\ldots,f_{j_{k}} \rbrace}\) denote an orthonormal basis of \({S^{k}_{\nu}(\Gamma)}\). In this article, we show that as \({k \rightarrow \infty,}\) the sup-norm for \({\sum_{i=1}^{j_{k}}y^{k}|f_{i}(z)|^{2}}\) is bounded by O(k), where the implied constant is independent of \({\Gamma}\). Furthermore, using results from Berman (Math. Z. 248:325–344, 2004), we extend these results to the case when \({\Gamma}\) is cofinite.     

Aspects of the Segre variety $${\mathcal{S}_{1,1,1}(2)}$$

We consider various aspects of the Segre variety \({\mathcal{S}:=\mathcal{S} _{1,1,1}(2)}\) in PG(7, 2), whose stabilizer group \({\mathcal{G}_{\mathcal{S}}<{\rm GL}(8,2)}\) has the structure \({\mathcal{N}\rtimes{\rm Sym}(3),}\) where \({\mathcal{N} :={\rm GL}(2,2)\times{\rm GL}(2,2)\times{\rm GL} (2,2).}\) In particular we prove that \({\mathcal{S}}\) determines a distinguished Z ₃-subgroup \({\mathcal{Z}<{\rm GL}(8,2)}\) such that \({A\mathcal{Z}A^{-1}=\mathcal{Z},}\) for all \({A\in\mathcal{G}_{\mathcal{S}},}\) and in consequence \({\mathcal{S}}\) determines a \({\mathcal{G}_{\mathcal{S}}}\)-invariant spread of 85 lines in PG(7, 2). Furthermore we see that Segre varieties \({\mathcal{S}_{1,1,1}(2)}\) in PG(7, 2) come along in triplets \({\{\mathcal{S},\mathcal{S}^{\prime},\mathcal{S}^{\prime\prime}\}}\) which share the same distinguished Z ₃-subgroup \({\mathcal{Z}<{\rm GL}(8,2).}\) We conclude by determining all fifteen \({\mathcal{G}_{\mathcal{S}}}\)-invariant polynomial functions on PG(7, 2) which have degree < 8, and their relation to the five \({\mathcal{G}_{\mathcal{S}}}\)-orbits of points in PG(7, 2).     

Spherically Balanced Hilbert Spaces of Formal Power Series in Several Variables-II

We continue the study of spherically balanced Hilbert spaces initiated in the first part of this paper. Recall that the complex Hilbert space \(H^2(\beta )\) of formal power series in the variables \(z_1, \ldots , z_m\) is spherically balanced if and only if there exist a Reinhardt measure \(\mu \) supported on the unit sphere \(\partial {\mathbb {B}}\) and a Hilbert space \(H^2(\gamma )\) of formal power series in the variable \(t\) such that

$$\begin{aligned} \Vert f\Vert ^2_{H^2(\beta )} = \int _{\partial {\mathbb {B}}}\Vert {f_z}\Vert ^2_{H^2(\gamma )}~d\mu (z)~(f \in H^2(\beta )), \end{aligned}$$

where \(f_z(t)=f(t z)\) is a formal power series in the variable \(t\). In the first half of this paper, we discuss operator theory in spherically balanced Hilbert spaces. The first main result in this part describes quasi-similarity orbit of multiplication tuple \(M_z\) on a spherically balanced space \(H^2(\beta ).\) We also observe that all spherical contractive multi-shifts on spherically balanced spaces admit the classical von Neumann’s inequality. In the second half, we introduce and study a class of Hilbert spaces, to be referred to as \({\mathcal {G}}\)-balanced Hilbert spaces, where \({\mathcal {G}}={\mathcal {U}}(r_1) \times {\mathcal {U}}(r_2) \times \cdots \times {\mathcal {U}}(r_k)\) is a subgroup of \({\mathcal {U}}(m)\) with \(r_1 + \cdots + r_k=m.\) In the case in which \({\mathcal {G}}={\mathcal {U}}(m),\) \({\mathcal {G}}\)-balanced spaces are precisely spherically balanced Hilbert spaces.

     

Inequalities between Dirichlet and Neumann eigenvalues of vibrating strings

The Dirichlet eigenvalues \({\{\lambda_{n}\}_{n=1}^{\infty}}\) and Neumann eigenvalues \({\{\mu_{n}\}_{n=1}^{\infty}}\) of the string equation \({\varphi'' (x) +\lambda \rho (x) \varphi(x) =0}\) are considered. It is known that \({ \mu_{n} < \lambda_{n} < \mu_{n+2}}\) for all n. The purpose of this paper is to provide conditions on the mass density \({\rho(x)}\) under which \({\lambda_{n} < \mu_{n+1}}\) or \({\mu_{n+1} < \lambda_{n}.}\)     

Local derivations of full matrix rings

Let \({\mathcal{R}}\) be a unital commutative ring and \({\mathcal{M}}\) be a 2-torsion free central \({\mathcal{R}}\) -bimodule. In this paper, for \({n \geqq 3}\), we show that every local derivation from M _n (\({\mathcal{R}}\)) into M _n (\({\mathcal{M}}\)) is a derivation.     

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.     

Weak law of large numbers for linear processes

We establish sufficient conditions for the Marcinkiewicz–Zygmund type weak law of large numbers for a linear process \({\{X_k:k\in\mathbb Z\}}\) defined by \({X_k=\sum_{j=0}^\infty\psi_j\varepsilon_{k-j}}\) for \({k\in\mathbb Z}\), where \({\{\psi_j:j\in\mathbb Z\}\subset\mathbb R}\) and \({\{\varepsilon_k:k\in\mathbb Z\}}\) are independent and identically distributed random variables such that \({{x^p\Pr\{|\varepsilon_0| > x\}\to 0}}\) as \({{x\to \infty}}\) with \({1 < p < 2}\) and \({E \varepsilon_0=0}\). We use an abstract norming sequence that does not grow faster than \({n^{1/p}}\) if \({\sum|\psi_j| < \infty}\). If \({\sum|\psi_j|=\infty}\), the abstract norming sequence might grow faster than \({n^{1/p}}\) as we illustrate with an example. Also, we investigate the rate of convergence in the Marcinkiewicz–Zygmund type weak law of large numbers for the linear process.