Fourth-order Schrödinger type operator with singular potentials

We prove that a deformation of a hypersurface in an (n + 1)-dimensional real space form \({{\mathbb S}^{n+1}_{p,1}}\) induces a Hamiltonian variation of the normal congruence in the space \({{\mathbb L}({\mathbb S}^{n+1}_{p,1})}\) of oriented geodesics. As an application, we show that every Hamiltonian minimal submanifold in \({{\mathbb L}({\mathbb S}^{n+1})}\) (resp. \({{\mathbb L}({\mathbb H}^{n+1})}\)) with respect to the (para-)Kähler Einstein structure is locally the normal congruence of a hypersurface \({\Sigma}\) in \({{\mathbb S}^{n+1}}\) (resp. \({{\mathbb H}^{n+1}}\)) that is a critical point of the functional \({{\mathcal W}(\Sigma) = \int_\Sigma\left(\Pi_{i=1}^n|\epsilon+k_i^2|\right)^{1/2}}\), where k_i denote the principal curvatures of \({\Sigma}\) and \({\epsilon \in \{-1, 1\}}\). In addition, for \({n = 2}\), we prove that every Hamiltonian minimal surface in \({{\mathbb L}({\mathbb S}^{3})}\) (resp. \({{\mathbb L}({\mathbb H}^{3})}\)), with respect to the (para-)Kähler conformally flat structure, is the normal congruence of a surface in \({{\mathbb S}^{3}}\) (resp. \({{\mathbb H}^{3}}\)) that is a critical point of the functional \({{\mathcal W}\prime(\Sigma) = \int_\Sigma\sqrt{H^2-K+1}}\) (resp. \({{\mathcal W}\prime(\Sigma) = \int_\Sigma\sqrt{H^2-K-1}}\)), where H and K denote, respectively, the mean and Gaussian curvature of \({\Sigma}\).     

A decomposition theorem for Lie ideals in nest algebras

Let \({\mathcal {N}}\) be a nest and let \({\mathcal {L}}\) be a weakly closed Lie ideal of the nest algebra \({\mathcal {T} (\mathcal {N})}\) . We explicitly construct the greatest weakly closed associative ideal \({\mathcal {J} (\mathcal {L})}\) contained in \({\mathcal {L}}\) and show that \({\mathcal {J} (\mathcal {L}) \subseteq \mathcal {L} \subseteq \mathcal {J} (\mathcal {L})\oplus {\breve{\mathcal{D}}} (\mathcal {L})}\) , where \({{\breve{\mathcal{D}}}} (\mathcal {L})\) is an appropriate subalgebra of the diagonal \({\mathcal {D} (\mathcal {N})}\) of the nest algebra \({\mathcal {T} (\mathcal {N})}\) . We show that norm-preserving linear extensions of elements of the dual of \({\mathcal {L}}\) , satisfying a certain condition, are uniquely determined on the diagonal of the nest algebra by the ideal \({\mathcal {J} (\mathcal {L})}\) .     

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.     

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.     

Uncountable critical points for congruence lattices

The critical point between two classes \({{\mathcal K}}\) and \({{\mathcal L}}\) of algebras is the cardinality of the smallest semilattice isomorphic to the semilattice of compact congruences of some algebra in \({{\mathcal K}}\), but not in \({{\mathcal L}}\). Our paper is devoted to the problem of determining the critical point between two finitely generated congruence-distributive varieties. For a homomorphism \({\varphi: S \rightarrow T}\) of \({(0, \vee)}\)-semilattices and an automorphism \({\tau}\) of T, we introduce the concept of a \({\tau}\)-symmetric lifting of \({\varphi}\). We use it to prove a criterion which ensures that the critical point between two finitely generated congruence-distributive varieties is less or equal to \({\aleph_{1}}\). We illustrate the criterion by constructing two new examples with the critical point exactly \({\aleph_{1}}\).     

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

Similarity Classification and Properties of Some Extended Holomorphic Curves

For \({\Omega\subseteq \mathbb{C}}\) a connected open set, and \({{\mathcal U}}\) a unital Banach algebra (or a unital C*-algebra), let \({{\xi (U)}}\) and \({ P({\mathcal U})}\) denote the sets of all idempotents and projections in \({{\mathcal U}}\), respectively. If \({e:\Omega\rightarrow \xi ({\mathcal U})}\) (resp.\({P({\mathcal U}))}\) is a holomorphic \({{\mathcal U}}\)-valued map, then e is called an extended holomorphic curve on \({ \xi ({\mathcal U})}\) (resp. \({P({\mathcal U})}\)). In this article, we focus on discussing the similarity classification problem of extended holomorphic curves. First, we introduce the definition of the commutant of extended holomorphic curves. By using K ₀-group of the commutant of the extended holomorphic curve, we characterize the curve which has unique finite (SI) decomposition up to similarity. Subsequently, we also obtain a similarity classification theorem. Second, we also discuss the unitary equivalence problem of some curves with respect to inductive limit C*-algebras.     

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.     

Semantical conditions for the definability of functions and relations

Let \({\mathcal{L}\subseteq \mathcal{L}^\prime}\) be first order languages, let \({R \in \mathcal{L}^\prime- \mathcal{L}}\) be a relation symbol, and let \({\mathcal{K}}\) be a class of \({\mathcal{L}^\prime}\)-structures. In this paper, we present semantical conditions equivalent to the existence of an \({\mathcal{L}}\)-formula \({\varphi(\vec{x})}\) such that \({\mathcal{K}\vDash \varphi(\vec{x}) \leftrightarrow R(\vec{x})}\), where \({\varphi}\) has a specific syntactical form (e.g., quantifier free, positive and quantifier free, existential Horn, etc.). For each of these definability results for relations, we also present an analogous version for the definability of functions. Several applications to natural definability questions in universal algebra have been included; most notably definability of principal congruences. The paper concludes with a look at term-interpolation in classes of structures with the same techniques used for definability. Here we obtain generalizations of two classical term-interpolation results: Pixley’s theorem for quasiprimal algebras, and the Baker–Pixley Theorem for finite algebras with a majority term.     

Proximally well-monotone covers and QH-singularity

We use a certain class of well-monotone covers on a quasi-uniform space \({(X, \mathcal{U})}\) to investigate whether there are quasi-uniformities \({\mathcal{V}}\) that are distinct from \({\mathcal{U}}\), but have the property that the associated Hausdorff quasi-uniformities \({\mathcal{U}_H}\) and \({\mathcal{V}_H}\) on the hyperspace of X have the same underlying topologies.     

Gauge functions,Eikonal equations and Bôcher’s theorem on stratified Lie groups

Let \({\mathcal{L} = \sum_{i=1}^m X_i^2}\) be a real sub-Laplacian on a Carnot group \({\mathbb{G}}\) and denote by \({\nabla_\mathcal{L} = (X_1,\ldots,X_m)}\) the intrinsic gradient related to \({\mathcal{L}}\). Our aim in this present paper is to analyze some features of the \({\mathcal{L}}\)-gauge functions on \({\mathbb{G}}\), i.e., the homogeneous functions d such that \({\mathcal{L}(d^\gamma) = 0}\) in \({\mathbb{G} \setminus \{0\}}\) , for some \({\gamma \in \mathbb{R} \setminus \{0\}}\). We consider the relation of \({\mathcal{L}}\)-gauge functions with: the \({\mathcal{L}}\)-Eikonal equation \({|\nabla_\mathcal{L} u| = 1}\) in \({\mathbb{G}}\); the Mean Value Formulas for the \({\mathcal{L}}\)-harmonic functions; the fundamental solution for \({\mathcal{L}}\); the Bôcher-type theorems for nonnegative \({\mathcal{L}}\)-harmonic functions in “punctured” open sets \({\dot \Omega:= \Omega \setminus \{x_0\}}\).     

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

Malcev Products of Monoids and Varieties of Bands

As a generalization of completely regular semigroups, which can be written as \({\mathcal{(G \circ RB) \circ S}}\) where \({\mathcal{G}}\), \({\mathcal{RB}}\) and \({\mathcal S}\) are the varieties of groups, rectangular bands and semilattices, respectively, we have replaced \({\mathcal G}\) by the class \({\mathcal M}\) of monoids. This calls for finding the structure of such semigroups, and, as a first step, characterizations.     

On the existence of self-complementary and non-self-complementary strongly regular graphs with Paley parameters

For p an odd prime, let \({{\mathcal A}_{p}}\) be the complete classical affine association scheme whose associate classes correspond to parallel classes of lines in the classical affine plane AG(2, p). It is known that \({{\mathcal A}_{p}}\) is an amorphic association scheme. We investigate rank 3 fusion schemes of \({{\mathcal A}_{p}}\) whose basis graphs have the same parameters as the Paley graphs \({P(p^{2})}\). In contrast to the Paley graphs, the great majority of graphs we detect are non-self-complementary and non-Schurian. In particular, existence of non-self-complementary graphs with Paley parameters is established for \({p \ge 17}\), with an analogous existence result for non-Schurian such graphs when \({p \ge 11}\). We demonstrate that the number of self-complementary and non-self-complementary strongly regular graphs with Paley parameters grows rapidly as \({p \to \infty}\).     

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

Natural extensions and profinite completions of algebras

This paper investigates profinite completions of residually finite algebras, drawing on ideas from the theory of natural dualities. Given a class \({\mathcal{A} = \mathbb{ISP}(\mathcal{M})}\), where \({\mathcal{M}}\) is a set, not necessarily finite, of finite algebras, it is shown that each \({{\bf A} \in \mathcal{A}}\) embeds as a topologically dense subalgebra of a topological algebra \({n_{\mathcal{A}}({\bf A})}\) (its natural extension), and that \({n_{\mathcal{A}}({\bf A})}\) is isomorphic, topologically and algebraically, to the profinite completion of A. In addition it is shown how the natural extension may be concretely described as a certain family of relation-preserving maps; in the special case that \({\mathcal{M}}\) is finite and \({\mathcal{A}}\) possesses a single-sorted or multisorted natural duality, the relations to be preserved can be taken to be those belonging to a dualising set. For an algebra belonging to a finitely generated variety of lattice-based algebras, it is known that the profinite completion coincides with the canonical extension. In this situation the natural extension provides a new concrete realisation of the canonical extension, generalising the well-known representation of the canonical extension of a bounded distributive lattice as the lattice of up-sets of the underlying ordered set of its Priestley dual. The paper concludes with a survey of classes of algebras to which the main theorems do, and do not, apply.     

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

Joins and subdirect products of varieties

We generalise in three different directions two well-known results in universal algebra. Grätzer, Lakser and P?onka proved that independent subvarieties \({\mathcal{V}_{1}, \mathcal{V}_{2}}\) of a variety \({\mathcal{V}}\) are disjoint and such that their join \({\mathcal{V}_{1} \vee \mathcal{V}_{2}}\) (in the lattice of subvarieties of \({\mathcal{V}}\)) is their direct product \({\mathcal{V}_{1} \times \mathcal{V}_{2}}\) . Jónsson and Tsinakis provided a partial converse to this result: if \({\mathcal{V}}\) is congruence permutable and \({\mathcal{V}_{1}, \mathcal{V}_{2}}\) are disjoint, then they are independent (and so \({\mathcal{V}_{1} \vee \mathcal{V}_{2} = \mathcal{V}_{1} \times \mathcal{V}_{2}}\)). We show that (i) if \({\mathcal{V}}\) is subtractive, then Jónsson’s and Tsinakis’ result holds under some minimal assumptions; (ii) if \({\mathcal{V}}\) satisfies some weakened permutability conditions, then disjointness implies a generalised notion of independence and \({\mathcal{V}_{1} \vee \mathcal{V}_{2}}\) is the subdirect product of \({\mathcal{V}_{1}}\) and \({\mathcal{V}_2}\) ; (iii) the same holds if \({\mathcal{V}}\) is congruence 3-permutable.     

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.     

An Invariant Subspace Theorem and Invariant Subspaces of Analytic Reproducing Kernel Hilbert Spaces - II

This paper is a follow-up contribution to our work (Sarkar in J Oper Theory, 73:433–441, 2015) where we discussed some invariant subspace results for contractions on Hilbert spaces. Here we extend the results of (Sarkar in J Oper Theory, 73:433–441, 2015) to the context of n-tuples of bounded linear operators on Hilbert spaces. Let \(T = (T_1, \ldots , T_n)\) be a pure commuting co-spherically contractive n-tuple of operators on a Hilbert space \({\mathcal {H}}\) and \({\mathcal {S}}\) be a non-trivial closed subspace of \({\mathcal {H}}\). One of our main results states that: \({\mathcal {S}}\) is a joint T-invariant subspace if and only if there exists a partially isometric operator \(\Pi \in {\mathcal {B}}(H^2_n({\mathcal {E}}), {\mathcal {H}})\) such that \({\mathcal {S}}= \Pi H^2_n({\mathcal {E}})\), where \(H^2_n\) is the Drury–Arveson space and \({\mathcal {E}}\) is a coefficient Hilbert space and \(T_i \Pi = \Pi M_{z_i}\), \(i = 1, \ldots , n\). In particular, it follows that a shift invariant subspace of a “nice” reproducing kernel Hilbert space over the unit ball in \({{\mathbb {C}}}^n\) is the range of a “multiplier” with closed range. Our work addresses the case of joint shift invariant subspaces of the Hardy space and the weighted Bergman spaces over the unit ball in \({{\mathbb {C}}}^n\).