Arens regularity of projective tensor products

For completely contractive Banach algebras A and B (respectively operator algebras A and B), the necessary and sufficient conditions for the operator space projective tensor product \({A\widehat{\otimes}B}\) (respectively the Haagerup tensor product \({A\otimes^{h}B}\)) to be Arens regular are obtained. Using the non-commutative Grothendieck inequality, we show that, for C*-algebras A and B, \({A\otimes^{\gamma} B}\) is Arens regular if \({A\widehat{\otimes}B}\) and \({A\widehat{\otimes}B^{op}}\) are Arens regular whereas \({A\widehat{\otimes}B}\) is Arens regular if and only if \({A\otimes^{h}B}\) and \({B\otimes^{h}A}\) are, where \({\otimes^h}\), \({\otimes^{\gamma}}\), and \({\widehat{\otimes}}\) are the Haagerup, the Banach space projective tensor norm, and the operator space projective tensor norm, respectively.     

Weak module amenability of triangular Banach algebras

Let A and B be unital Banach algebras and let M be a unital Banach A,B-module. Forrest and Marcoux [6] have studied the weak amenability of triangular Banach algebra \(\mathcal{T} = \left[ {_B^{AM} } \right]\) and showed that T is weakly amenable if and only if the corner algebras A and B are weakly amenable. When \(\mathfrak{A}\) is a Banach algebra and A and B are Banach \(\mathfrak{A}\)-module with compatible actions, and M is a commutative left Banach \(\mathfrak{A}\)-A-module and right Banach \(\mathfrak{A}\)-B-module, we show that A and B are weakly \(\mathfrak{A}\)-module amenable if and only if triangular Banach algebra T is weakly \(\mathfrak{T}\)-module amenable, where \(\mathfrak{T}: = \{ [^\alpha _\alpha ]:\alpha \in \mathfrak{A}\} \).     

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

The fractional Neumann and Robin type boundary conditions for the regional fractional <Emphasis Type="Italic">p</Emphasis>-Laplacian

Let \({p \in (1,\infty)}\), \({s \in (0,1)}\) and \({\Omega \subset {\mathbb{R}^{N}}}\) a bounded open set with boundary \({\partial\Omega}\) of class C ^1,1. In the first part of the article we prove an integration by parts formula for the fractional p-Laplace operator \({(-\Delta)_{p}^{s}}\) defined on \({\Omega \subset {\mathbb{R}^{N}}}\) and acting on functions that do not necessarily vanish at the boundary \({\partial\Omega}\). In the second part of the article we use the above mentioned integration by parts formula to clarify the fractional Neumann and Robin boundary conditions associated with the fractional p-Laplacian on open sets.     

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.     

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.     

A remark on hereditarily nonparadoxical sets

Call a set \({A \subseteq \mathbb {R}}\)paradoxical if there are disjoint \({A_0, A_1 \subseteq A}\) such that both \({A_0}\) and \({A_1}\) are equidecomposable with \({A}\) via countabbly many translations. \({X \subseteq \mathbb {R}}\) is hereditarily nonparadoxical if no uncountable subset of \({X}\) is paradoxical. Penconek raised the question if every hereditarily nonparadoxical set \({X \subseteq \mathbb {R}}\) is the union of countably many sets, each omitting nontrivial solutions of \({x - y = z - t}\). Nowik showed that the answer is ‘yes’, as long as \({|X| \leq \aleph_\omega}\). Here we show that consistently there exists a counterexample of cardinality \({\aleph_{\omega+1}}\) and it is also consistent that the continuum is arbitrarily large and Penconek’s statement holds for any \({X}\).     

A note on standard modules and Vogan L-packets

Let F be a non-Archimedean local field of characteristic 0, let G be the group of F-rational points of a connected reductive group defined over F and let \({G\prime}\) be the group of F-rational points of its quasi-split inner form. Given standard modules \({I(\tau, \nu )}\) and \({I(\tau\prime, \nu\prime)}\) for G and \({G\prime}\) respectively with \({\tau\prime}\) a generic tempered representation, such that the Harish-Chandra \({\mu}\)-function of a representation in the supercuspidal support of \({\tau}\) agrees with the one of a generic essentially square-integral representation in some Jacquet module of \({\tau\prime}\) (after a suitable identification of the underlying spaces under which \({\nu = \nu\prime}\)), we show that \({I(\tau, \nu)}\) is irreducible whenever \({I(\tau\prime, \nu\prime)}\) is. The conditions are satisfied if the Langlands quotients \({J(\tau, \nu})\) and \({J(\tau\prime, \nu\prime)}\) of respectively \({I(\tau, \nu)}\) and \({I(\tau\prime, \nu\prime)}\) lie in the same Vogan L-packet (whenever this Vogan L-packet is defined), proving that, for any Vogan L-packet, all the standard modules with Langlands quotient in a given Vogan L-packet are irreducible, if and only if this Vogan L-packet contains a generic representation. This result for generic Vogan L-packets was proven for quasi-split orthogonal and symplectic groups by Moeglin-Waldspurger and used in their proof of the general case of the local Gan-Gross-Prasad conjectures for these groups.     

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

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

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.     

Lexicographic effect algebras

We investigate a class of effect algebras that can be represented in the form \({\Gamma (H \overrightarrow{\times} G}\), (u, 0)), where \({H \overrightarrow{\times} G}\) means the lexicographic product of an Abelian unital po-group (H, u) and an Abelian directed po-group G. We study conditions when an effect algebra is of this form. Fixing a unital po-group (H, u), the category of strongly (H, u)-perfect effect algebras is introduced and it is shown that it is categorically equivalent to the category of directed po-groups with interpolation. We prove some representation theorems of lexicographic effect algebras, including a subdirect product representation by antilattice lexicographic effect algebras.     

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

Ratios of harmonic functions with the same zero set

We study the ratio of harmonic functions u,v which have the same zero set Z in the unit ball \({B\subset \mathbb{R}^n}\). The ratio \({f=u/v}\) can be extended to a real analytic nowhere vanishing function in B. We prove the Harnack inequality and the gradient estimate for such ratios in any dimension: for a given compact set \({K\subset B}\) we show that \({\sup_K|f|\le C_1\inf_K|f|}\) and \({\sup_K\left|\nabla f\right|\le C_2 \inf_K|f|}\), where C ₁ and C ₂ depend on K and Z only. In dimension two we specify the dependence of the constants on Z in these inequalities by showing that only the number of nodal domains of u, i.e. the number of connected components of \({B\setminus Z}\), plays a role.     

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

Rectifiability of harmonic measure

In the present paper we prove that for any open connected set \({\Omega\subset\mathbb{R}^{n+1}}\), \({n\geq 1}\), and any \({E\subset \partial \Omega}\) with \({\mathcal{H}^n(E)<\infty}\), absolute continuity of the harmonic measure \({\omega}\) with respect to the Hausdorff measure on E implies that \({\omega|_E}\) is rectifiable. This solves an open problem on harmonic measure which turns out to be an old conjecture even in the planar case \({n=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}}\).     

Concurrent normals to convex bodies and spaces of Morse functions

It is conjectured that if \({K\subset\mathbb R^n}\) is a convex body, then there exists a point in the interior of K which is the point of concurrency of normals from 2n points on the boundary of K. We present a topological proof of this conjecture in dimension four assuming \({\partial K}\) is C ^1,1. From the assumption that the conjecture fails for \({K\subset\mathbb R^4}\), we construct a retraction from \({\overline K}\) to \({\partial K}\). We apply the same strategy to the problem for lower n, assuming no regularity on \({\partial K}\), and show that it provides very simple proofs for the cases of two and three dimensions (the dimension three case was first proved by Erhard Heil). A connection between our approach to this problem and the homotopy type of some function spaces is also explored, and some conjectures along those lines are proposed.     

The Leavitt Path Algebras of Generalized Cayley Graphs

Let n be a positive integer. For each \({0 \leq j \leq n-1}\), we let \({C_{n}^{j}}\) denote Cayley graph for the cyclic group \({\mathbb{Z}_n}\) with respect to the subset \({\{1, j\}}\). For any such pair (n, j), we compute the size of the Grothendieck group of the Leavitt path algebra \({L_K(C_{n}^{j})}\); the analysis is related to a collection of integer sequences described by Haselgrove in the 1940s. When j = 0, 1, or 2, we are able to extract enough additional information about the structure of these Grothendieck groups so that we may apply a Kirchberg-Phillips-type result to explicitly realize the algebras \({L_K(C_{n}^{j})}\) as the Leavitt path algebras of graphs having at most three vertices. The analysis in the j = 2 case leads us to some perhaps surprising and apparently nontrivial connections to the classical Fibonacci sequence.     

Linear Maps Preserving Numerical Radius on Nest Algebras

A linear map \({\phi}\) of operator algebras is said to preserve numerical radius (or to be a numerical radius isometry) if \({w(\phi(A))=w(A)}\) for all A in its domain algebra, where w(A) stands for the numerical radius of A. In this paper, we prove that a surjective linear map \({\phi}\) of the nest algebra \({{\rm Alg}\mathcal N}\) onto itself preserves numerical radius if and only if there exist a unitary U and a complex number ξ of modulus one such that \({\phi(A)= \xi UAU^*}\) for all \({A\in{\rm Alg}\mathcal N}\), or there exist a unitary U, a conjugation J and a complex number ξ of modulus one such that \({\phi(A)=\xi UJA^*JU^*}\) for all \({A\in{\rm Alg}\mathcal N}\).