Extremal Unital Completely Positive Maps and Their Symmetries

We consider the set \(P_1({\mathcal A},{\mathcal M})\) (respectively \(CP_1({\mathcal A},{\mathcal M})\) of unital positive (completely) maps from a \(C^*\) algebra \({\mathcal A}\) to a von-Neumann sub-algebra \({\mathcal M}\) of \({\mathcal B}({\mathcal H})\), the algebra of bounded linear operators on a Hilbert space \({\mathcal H}\). We study the extreme points of the convex set \(P_1({\mathcal A},{\mathcal M})\) (\(CP_1({\mathcal A},{\mathcal M})\)) via their canonical lifting to the convex set of (unital) positive (completely) normal maps from \(\hat{{\mathcal A}}\) to \({\mathcal M}\), where \({\mathcal A}^{**}\) is the universal enveloping von-Neumann algebra over \({\mathcal A}\). If \({\mathcal A}={\mathcal M}\) then a (completely) positive map \(\tau \) admits a unique decomposition into a sum of a normal and a singular (completely) positive maps. Furthermore, if \({\mathcal M}\) is a factor then a unital complete positive map is a unique convex combination of unital normal and singular completely positive maps. We also used a duality argument to find a criteria for an element in the convex set of unital completely positive maps with a given faithful normal invariant state on \({\mathcal M}\) to be extremal. In our investigation, gauge symmetry in the minimal Stinespring representation of a completely positive map and Kadison theorem on order isomorphism played an important role.     

Fractional Sobolev metrics on spaces of immersed curves

Motivated by applications in the field of shape analysis, we study reparametrization invariant, fractional order Sobolev-type metrics on the space of smooth regular curves \(\mathrm {Imm}(\mathrm {S}^{1},\mathbb {R}^d)\) and on its Sobolev completions \({\mathcal {I}}^{q}(\mathrm {S}^{1},{\mathbb {R}}^{d})\). We prove local well-posedness of the geodesic equations both on the Banach manifold \({\mathcal {I}}^{q}(\mathrm {S}^{1},{\mathbb {R}}^{d})\) and on the Fréchet-manifold \(\mathrm {Imm}(\mathrm {S}^{1},\mathbb {R}^d)\) provided the order of the metric is greater or equal to one. In addition we show that the \(H^s\)-metric induces a strong Riemannian metric on the Banach manifold \({\mathcal {I}}^{s}(\mathrm {S}^{1},{\mathbb {R}}^{d})\) of the same order s, provided \(s>\frac{3}{2}\). These investigations can be also interpreted as a generalization of the analysis for right invariant metrics on the diffeomorphism group.     

Endpoint Properties of Localized Riesz Transforms and Fractional Integrals Associated to Schrödinger Operators

Let \({\mathcal L}\equiv-\Delta+V\) be the Schrödinger operator in \({{\mathbb R}^n}\), where V is a nonnegative function satisfying the reverse Hölder inequality. Let ρ be an admissible function modeled on the known auxiliary function determined by V. In this paper, the authors characterize the localized Hardy spaces \(H^1_\rho({{\mathbb R}^n})\) in terms of localized Riesz transforms and establish the boundedness on the BMO-type space \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) of these operators as well as the boundedness from \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) to \({\mathop\mathrm{BLO_\rho({\mathbb R}^n)}}\) of their corresponding maximal operators, and as a consequence, the authors obtain the Fefferman–Stein decomposition of \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) via localized Riesz transforms. When ρ is the known auxiliary function determined by V, \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) is just the known space \(\mathop\mathrm{BMO}_{\mathcal L}({{\mathbb R}^n})\), and \({\mathop\mathrm{BLO_\rho({\mathbb R}^n)}}\) in this case is correspondingly denoted by \(\mathop\mathrm{BLO}_{\mathcal L}({{\mathbb R}^n})\). As applications, when n?≥?3, the authors further obtain the boundedness on \(\mathop\mathrm{BMO}_{\mathcal L}({{\mathbb R}^n})\) of Riesz transforms \(\nabla{\mathcal L}^{-1/2}\) and their adjoint operators, as well as the boundedness from \(\mathop\mathrm{BMO}_{\mathcal L}({{\mathbb R}^n})\) to \(\mathop\mathrm{BLO}_{\mathcal L}({{\mathbb R}^n})\) of their maximal operators. Also, some endpoint estimates of fractional integrals associated to \({\mathcal L}\) are presented.     

Maps with the Unique Extension Property and $$\hbox {C}^{*}$$-Extreme Points

We investigate boundary representations in the context where Hilbert spaces are replaced by \(\hbox {C}^{*}\)-modules over abelian von Neumann algebras and apply this to study \(\hbox {C}^{*}\)-extreme points. We present an (unexpected) example of a weak* compact \(\mathcal {B}\)-convex subset of \({\mathbb {B}}(\mathcal {H})\) without \(\mathcal {B}\)-extreme points, where \(\mathcal {B}\) is an abelian von Neumann algebra on a Hilbert space \(\mathcal {H}\). On the other hand, if \(\mathcal {A}\) is a von Neumann algebra with a separable predual and whose finite part is injective, we show that each weak* compact \(\mathcal {A}\)-convex subset of \(\ell ^{\infty }(\mathcal {A})\) is generated by its \(\mathcal {A}\)-extreme points.     

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

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

Reproducing Kernel for the Herglotz Functions in $$\mathbb {R}^n$$ and Solutions of the Helmholtz Equation

The purpose of this article is to extend to \(\mathbb {R}^{n}\) known results in dimension 2 concerning the structure of a Hilbert space with reproducing kernel of the space of Herglotz wave functions. These functions are the solutions of Helmholtz equation in \(\mathbb {R} ^{n}\) that are the Fourier transform of measures supported in the unit sphere with density in \(L^{2}(\mathbb {S}^{n-1})\). As a natural extension of this, we define Banach spaces of solutions of the Helmholtz equation in \(\mathbb {R}^{n}\) belonging to weighted Sobolev type spaces \(\mathcal {H}^{p}\) having in a non local norm that involves radial derivatives and spherical gradients. We calculate the reproducing kernel of the Herglotz wave functions and study in \(\mathcal {H}^{p}\) and in mixed norm spaces, the continuity of the orthogonal projection \(\mathcal {P}\) of \(\mathcal {H}^{2}\) onto the Herglotz wave functions.     

On the additivity of block designs

We show that symmetric block designs \({\mathcal {D}}=({\mathcal {P}},{\mathcal {B}})\) can be embedded in a suitable commutative group \({\mathfrak {G}}_{\mathcal {D}}\) in such a way that the sum of the elements in each block is zero, whereas the only Steiner triple systems with this property are the point-line designs of \({\mathrm {PG}}(d,2)\) and \({\mathrm {AG}}(d,3)\). In both cases, the blocks can be characterized as the only k-subsets of \(\mathcal {P}\) whose elements sum to zero. It follows that the group of automorphisms of any such design \(\mathcal {D}\) is the group of automorphisms of \({\mathfrak {G}}_\mathcal {D}\) that leave \(\mathcal {P}\) invariant. In some special cases, the group \({\mathfrak {G}}_\mathcal {D}\) can be determined uniquely by the parameters of \(\mathcal {D}\). For instance, if \(\mathcal {D}\) is a 2-\((v,k,\lambda )\) symmetric design of prime order p not dividing k, then \({\mathfrak {G}}_\mathcal {D}\) is (essentially) isomorphic to \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\), and the embedding of the design in the group can be described explicitly. Moreover, in this case, the blocks of \(\mathcal {B}\) can be characterized also as the v intersections of \(\mathcal {P}\) with v suitable hyperplanes of \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\).     

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

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.     

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.     

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

Unitary Equivalence of Composition C$$^*$$-Algebras on the Hardy and Weighted Bergman Spaces

Let \(\varphi \) be an arbitrary linear-fractional self-map of the unit disk \({\mathbb {D}}\) and consider the composition operator \(C_{-1, \varphi }\) and the Toeplitz operator \(T_{-1,z}\) on the Hardy space \(H^2\) and the corresponding operators \(C_{\alpha , \varphi }\) and \(T_{\alpha , z}\) on the weighted Bergman spaces \(A^2_{\alpha }\) for \(\alpha >-1\). We prove that the unital C\(^*\)-algebra \(C^*(T_{\alpha , z}, C_{\alpha , \varphi })\) generated by \(T_{\alpha , z}\) and \(C_{\alpha , \varphi }\) is unitarily equivalent to \(C^*(T_{-1, z}, C_{-1, \varphi }),\) which extends a known result for automorphism-induced composition operators. For maps \(\varphi \) that are not automorphisms of \({\mathbb {D}}\), we show that \(C^*(C_{\alpha , \varphi }, {\mathcal {K}}_{\alpha })\) is unitarily equivalent to \(C^*(C_{-1, \varphi }, {\mathcal {K}}_{-1})\), where \({\mathcal {K}}_{\alpha }\) and \({\mathcal {K}}_{-1}\) denote the ideals of compact operators on \(A^2_{\alpha }\) and \(H^2\), respectively, and apply existing structure theorems for \(C^*(C_{-1, \varphi }, {\mathcal {K}}_{-1})/{\mathcal {K}}_{-1}\) to describe the structure of \(C^*(C_{\alpha , \varphi }, {\mathcal {K}}_{\alpha })/\mathcal {K_{\alpha }}\), up to isomorphism. We also establish a unitary equivalence between related weighted composition operators induced by maps \(\varphi \) that fix a point on the unit circle.     

On the admissible sets of type $\mathbb{H}\mathbb{Y}\mathbb{P}(\mathfrak{M})$ over recursively saturated models

Some effective expression is obtained for the elements of an admissible set \(\mathbb{H}\mathbb{Y}\mathbb{P}(\mathfrak{M})\) as template sets. We prove the Σ-reducibility of \(\mathbb{H}\mathbb{Y}\mathbb{P}(\mathfrak{M})\) to \(\mathbb{H}\mathbb{F}(\mathfrak{M})\) for each recursively saturated model \(\mathfrak{M}\) of a regular theory, give a criterion for uniformization in \(\mathbb{H}\mathbb{Y}\mathbb{P}(\mathfrak{M})\) for each recursively saturated model \(\mathfrak{M}\), and establish uniformization in \(\mathbb{H}\mathbb{Y}\mathbb{P}(\mathfrak{N})\) and \(\mathbb{H}\mathbb{Y}\mathbb{P}(\Re ')\), where \(\mathfrak{N}\) and \(\Re '\) are recursively saturated models of arithmetic and real closed fields. We also prove the absence of uniformization in \(\mathbb{H}\mathbb{F}(\mathfrak{M})\) and \(\mathbb{H}\mathbb{Y}\mathbb{P}(\mathfrak{M})\) for each countably saturated model \(\mathfrak{M}\) of an uncountably categorical theory, and give an example of this type of theory with definable Skolem functions. Furthermore, some example is given of a model of a regular theory with Σ-definable Skolem functions, but lacking definable Skolem functions in every extension by finitely many constants.     

Relative Igusa-Todorov Functions and Relative Homological Dimensions

We develope the theory of \({\mathcal {E}}\)-relative Igusa-Todorov functions in an exact I T-context \(({\mathcal {C}},{\mathcal {E}})\) (see Definition 2.1). In the case when \({\mathcal {C}}={\text {mod}}\, ({\Lambda })\) is the category of finitely generated left Λ-modules, for an artin algebra Λ, and \({\mathcal {E}}\) is the class of all exact sequences in \({\mathcal {C}},\) we recover the usual Igusa-Todorov functions, Igusa K. and Todorov G. (2005). We use the setting of the exact structures and the Auslander-Solberg relative homological theory to generalise the original Igusa-Todorov’s results. Furthermore, we introduce the \({\mathcal {E}}\)-relative Igusa-Todorov dimension and also we obtain relationships with the relative global and relative finitistic dimensions and the Gorenstein homological dimensions.     

Recurrent Dirichlet Forms and Markov Property of Associated Gaussian Fields

For the extended Dirichlet space \(\mathcal {F}_{e}\) of a general irreducible recurrent regular Dirichlet form \((\mathcal {E},\mathcal {F})\) on L ²(E;m), we consider the family \(\mathbb {G}(\mathcal {E})=\{X_{u};u\in \mathcal {F}_{e}\}\) of centered Gaussian random variables defined on a probability space \(({\Omega }, \mathcal {B}, \mathbb {P})\) indexed by the elements of \(\mathcal {F}_{e}\) and possessing the Dirichlet form \(\mathcal {E}\) as its covariance. We formulate the Markov property of the Gaussian field \(\mathbb {G}(\mathcal {E})\) by associating with each set A ? E the sub-σ-field σ(A) of \(\mathcal {B}\) generated by X _u for every \(u\in \mathcal {F}_{e}\) whose spectrum s(u) is contained in A. Under a mild absolute continuity condition on the transition function of the Hunt process associated with \((\mathcal {E}, \mathcal {F})\), we prove the equivalence of the Markov property of \(\mathbb {G}(\mathcal {E})\) and the local property of \((\mathcal {E},\mathcal {F})\). One of the key ingredients in the proof is in that we construct potentials of finite signed measures of zero total mass and show that, for any Borel set B with m(B) >?0, any function \(u\in \mathcal {F}_{e}\) with s(u) ? B can be approximated by a sequence of potentials of measures supported by B.     

Complex geometry of moment-angle manifolds

Moment-angle manifolds provide a wide class of examples of non-Kähler compact complex manifolds. A complex moment-angle manifold \(\mathcal {Z}\) is constructed via certain combinatorial data, called a complete simplicial fan. In the case of rational fans, the manifold \(\mathcal {Z}\) is the total space of a holomorphic bundle over a toric variety with fibres compact complex tori. In general, a complex moment-angle manifold \(\mathcal {Z}\) is equipped with a canonical holomorphic foliation \({\mathcal {F}}\) which is equivariant with respect to the \(({\mathbb {C}}^\times )^m\)-action. Examples of moment-angle manifolds include Hopf manifolds of Vaisman type, Calabi–Eckmann manifolds, and their deformations. We construct transversely Kähler metrics on moment-angle manifolds, under some restriction on the combinatorial data. We prove that any Kähler submanifold (or, more generally, a Fujiki class \(\mathcal {C}\) subvariety) in such a moment-angle manifold is contained in a leaf of the foliation \({\mathcal {F}}\). For a generic moment-angle manifold \(\mathcal {Z}\) in its combinatorial class, we prove that all subvarieties are moment-angle manifolds of smaller dimension and there are only finitely many of them. This implies, in particular, that the algebraic dimension of \(\mathcal {Z}\) is zero.     

A Categorification of $\displaystyle {\mathfrak q} (2)$-Crystals

We provide a categorification of \(\mathfrak {q}(2)\)-crystals on the singular \(\mathfrak {gl}_{n}\)-category \({\mathcal O}_{n}\). Our result extends the \(\mathfrak {gl}_{2}\)-crystal structure on \(\text {Irr} ({\mathcal O}_{n})\) induced from the work of Bernstein-Frenkel-Khovanov. Further properties of the \({\mathfrak q}(2)\)-crystal \(\text {Irr} ({\mathcal O}_{n})\) are also discussed.     

Generators for Rings of Compactly Supported Distributions

Let \({{\tt C}}\) denote a closed convex cone in \({\mathbb R^d}\) with apex at 0. We denote by \({\mathcal E'({\tt C})}\) the set of distributions on \({\mathbb R^d}\) having compact support contained in \({{\tt C}}\). Then \({\mathcal E'({\tt C})}\) is a ring with the usual addition and with convolution. We give a necessary and sufficient analytic condition on \({\widehat{f}_1,\dots, \widehat{f}_n}\) for \({f_1,\dots ,f_n \in \mathcal E'({\tt C})}\) to generate the ring \({\mathcal E'({\tt C})}\). (Here \({\widehat{\;\cdot\;}}\) denotes Fourier-Laplace transformation.) This result is an application of a general result on rings of analytic functions of several variables by Lars Hörmander. En route we answer an open question posed by Yutaka Yamamoto.