On duality between étale groupoids and Hopf algebroids

For any étale Lie groupoid G over a smooth manifold M, the groupoid convolution algebra of smooth functions with compact support on G has a natural coalgebra structure over the commutative algebra which makes it into a Hopf algebroid. Conversely, for any Hopf algebroid A over we construct the associated spectral étale Lie groupoid over M such that is naturally isomorphic to G. Both these constructions are functorial, and is fully faithful left adjoint to . We give explicit conditions under which a Hopf algebroid is isomorphic to the Hopf algebroid of an étale Lie groupoid G.     

Haagerup property for C-algebras

We define the Haagerup property for C^?-algebras A and extend this to a notion of relative Haagerup property for the inclusion B⊆A, where B is a C^?-subalgebra of A. Let Γ be a discrete group and Λ a normal subgroup of Γ, we show that the inclusion A_?α,rΛ⊆A_?α,rΓ has the relative Haagerup property if and only if the quotient group Γ/Λ has the Haagerup property. In particular, the inclusion has the relative Haagerup property if and only if Γ/Λ has the Haagerup property; has the Haagerup property if and only if Γ has the Haagerup property. We also characterize the Haagerup property for Γ in terms of its Fourier algebra A(Γ).     

Groupoid normalizers of tensor products

We consider an inclusion B⊆M of finite von Neumann algebras satisfying B^′∩M⊆B. A partial isometry v∈M is called a groupoid normalizer if vBv^∗,v^∗Bv⊆B. Given two such inclusions Bi⊆Mi, i=1,2, we find approximations to the groupoid normalizers of in , from which we deduce that the von Neumann algebra generated by the groupoid normalizers of the tensor product is equal to the tensor product of the von Neumann algebras generated by the groupoid normalizers. Examples are given to show that this can fail without the hypothesis , i=1,2. We also prove a parallel result where the groupoid normalizers are replaced by the intertwiners, those partial isometries v∈M satisfying vBv^∗⊆B and v^∗v,vv^∗∈B.     

Multilinear maps on products of operator algebras

Let A₁,A₂,…,A_r be C∗-algebras with second duals A₁″,A₂″,…,A_r″, and let X be an arbitrary Banach space. Let be a bounded r-linear map, and denote by the Johnson-Kadison-Ringrose extension (i.e., the separately to continuous r-linear extension) of Γ. The problem of characterising those Γ for which Γ″ takes its values in X was solved by Villanueva when the algebras are all commutative. Because the Dunford-Pettis property fails for noncommutative C∗-algebras, the ‘obvious’ extension of Villanueva's characterisation does not give the correct condition. In this paper we solve this problem for general C∗-algebras. This result is then applied to obtaining a multilinear generalisation of the normal-singular decomposition of a bounded linear operator on a von Neumann algebra.     

Linearized inverse problem for the Dirichlet-to-Neumann map on differential forms

For a compact n-dimensional Riemannian manifold (M,g) with boundary i:∂M⊂M, the Dirichlet-to-Neumann (DN) map Λg:Ωk(∂M)→Ωn−k−1(∂M) is defined on exterior differential forms by Λgφ=i^∗(?dω), where ω solves the boundary value problem Δω=0, i^∗ω=φ, i^∗δω=0. For a symmetric second rank tensor field h on M, let be the Gateaux derivative of the DN map in the direction h. We study the question: for a given (M,g), how large is the subspace of tensor fields h satisfying ? Potential tensor fields belong to the subspace since the DN map is invariant under isomeries fixing the boundary. For a manifold of an even dimension n, the DN map on (n/2−1)-forms is conformally invariant, therefore spherical tensor fields belong to the subspace in the case of k=n/2−1. The manifold is said to be Ωk-rigid if there is no other h satisfying . We prove that the Ωk-rigidity is equivalent to the density of the range of some bilinear form on the space of exact harmonic fields.     

A classification of sharp tridiagonal pairs

Let F denote a field and let V denote a vector space over F with finite positive dimension. We consider a pair of linear transformations A:V→V and A^∗:V→V that satisfy the following conditions: (i) each of A,A^∗ is diagonalizable; (ii) there exists an ordering of the eigenspaces of A such that A^∗V_i⊆V_i-1+V_i+V_i+1 for 0?i?d, where V_-1=0 and V_d+1=0; (iii) there exists an ordering of the eigenspaces of A^∗ such that for 0?i?δ, where and ; (iv) there is no subspace W of V such that AW⊆W, A^∗W⊆W, W≠0, W≠V. We call such a pair a tridiagonal pair on V. It is known that d=δ and for 0?i?d the dimensions of coincide. The pair A,A^∗ is called sharp whenever . It is known that if F is algebraically closed then A,A^∗ is sharp. In this paper we classify up to isomorphism the sharp tridiagonal pairs. As a corollary, we classify up to isomorphism the tridiagonal pairs over an algebraically closed field. We obtain these classifications by proving the μ-conjecture.     

The structure of a tridiagonal pair

Let K denote a field and let V denote a vector space over K with finite positive dimension.We consider a pair of K-linear transformations A:V→V and A^∗:V→V that satisfy the following conditions: (i) each of A,A^∗ is diagonalizable; (ii) there exists an ordering of the eigenspaces of A such that A^∗V_i⊆V_i-1+V_i+V_i+1 for 0?i?d, where V_-1=0 and V_d+1=0; (iii) there exists an ordering of the eigenspaces of A^∗ such that for 0?i?δ, where and ; (iv) there is no subspace W of V such that AW⊆W,A^∗W⊆W,W≠0,W≠V.We call such a pair a tridiagonal pair on V. It is known that d=δ and for 0?i?d the dimensions of coincide.In this paper we show that the following (i)-(iv) hold provided that K is algebraically closed: (i) Each of has dimension 1.(ii) There exists a nondegenerate symmetric bilinear form 〈,〉 on V such that 〈Au,v〉=〈u,Av〉 and 〈A^∗u,v〉=〈u,A^∗v〉 for all u,v∈V.(iii) There exists a unique anti-automorphism of End(V) that fixes each of A,A^∗.(iv) The pair A,A^∗ is determined up to isomorphism by the data , where θ_i (resp.) is the eigenvalue of A (resp.A^∗) on V_i (resp.), and is the split sequence of A,A^∗ corresponding to and .     

A Morita type equivalence for dual operator algebras

We generalize the main theorem of Rieffel for Morita equivalence of W^∗-algebras to the case of unital dual operator algebras: two unital dual operator algebras A,B have completely isometric normal representations α,β such that α(A)=[M^∗β(B)M]^−w∗ and β(B)=[Mα(A)M^∗]^−w∗ for a ternary ring of operators M (i.e. a linear space M such that MM^∗M⊂M) if and only if there exists an equivalence functor which “extends” to a ∗-functor implementing an equivalence between the categories and . By we denote the category of normal representations of A and by the category with the same objects as and Δ(A)-module maps as morphisms (Δ(A)=A∩A^∗). We prove that this functor is equivalent to a functor “generated” by a B,A bimodule, and that it is normal and completely isometric.     

On the existence of local strong solutions for the Navier-Stokes equations in completely general domains

There are only very few results on the existence of unique local in time strong solutions of the Navier-Stokes equations for completely general domains Ω⊆R³, although domains with edges and corners, bounded or unbounded, are very important in applications. The reason is that the L^q-theory for the Stokes operator A is available in general only in the Hilbert space setting, i.e., with q=2. Our main result for a general domain Ω is optimal in a certain sense: Consider an initial value and a zero external force. Then the condition is sufficient and necessary for the existence of a unique local strong solution u∈L⁸(0,T;L⁴(Ω)) in some interval [0,T), 0<T≤∞, with u(0)=u₀, satisfying Serrin’s condition . Note that Fujita-Kato’s sufficient condition u₀∈D(A^1/4) is strictly stronger and therefore not optimal.     

Local solutions for a coupled system of Kirchhoff type

We investigate the existence of local solutions of the following coupled system of Kirchhoff equations subject to nonlinear dissipation on the boundary: (∗) Here {Γ₀,Γ₁} is an appropriate partition of the boundary Γ of Ω and ν(x), the outer unit normal vector at x∈Γ₁.By applying the Galerkin method with a special basis for the space where lie the approximations of the initial data, we obtain local solutions of the initial-boundary value problem for (∗).     

Elementary operators on self-adjoint operators

Let H be a Hilbert space and let A and B be standard ∗-operator algebras on H. Denote by As and Bs the set of all self-adjoint operators in A and B, respectively. Assume that and are surjective maps such that M(AM^∗(B)A)=M(A)BM(A) and M^∗(BM(A)B)=M^∗(B)AM^∗(B) for every pair A∈As, B∈Bs. Then there exist an invertible bounded linear or conjugate-linear operator and a constant c∈{−1,1} such that M(A)=cTAT^∗, A∈As, and M^∗(B)=cT^∗BT, B∈Bs.     

Rieffel deformation of homogeneous spaces

Let G₁⊂G be a closed subgroup of a locally compact group G and let X=G/G₁ be the quotient space of left cosets. Let X=(C₀(X),ΔX) be the corresponding G-C^∗-algebra where G=(C₀(G),Δ). Suppose that Γ is a closed abelian subgroup of G₁ and let Ψ be a 2-cocycle on the dual group . Let GΨ be the Rieffel deformation of G. Using the results of the previous paper of the author we may construct GΨ-C^∗-algebra XΨ - the Rieffel deformation of X. On the other hand we may perform the Rieffel deformation of the subgroup G₁ obtaining the closed quantum subgroup , which in turn, by the results of S. Vaes, leads to the GΨ-C^∗-algebra . In this paper we show that . We also consider the case where Γ⊂G is not a subgroup of G₁, for which we cannot construct the subgroup . Then generically XΨ cannot be identified with a quantum quotient. What may be shown is that it is a GΨ-simple object in the category of GΨ-C^∗-algebras.     

Normalized Leonard pairs and Askey-Wilson relations

Let V denote a vector space with finite positive dimension, and let (A, A^∗) denote a Leonard pair on V. As is known, the linear transformations A, A^∗ satisfy the Askey-Wilson relations

     

Spin geometry on quantum groups via covariant differential calculi

Let be a cosemisimple Hopf ∗-algebra with antipode S and let Γ be a left-covariant first-order differential ∗-calculus over such that Γ is self-dual (see Section 2) and invariant under the Hopf algebra automorphism S². A quantum Clifford algebra Cl(Γ,σ,g) is introduced which acts on Woronowicz’ external algebra Γ^∧. A minimal left ideal of Cl(Γ,σ,g) which is an -bimodule is called a spinor module. Metrics on spinor modules are investigated. The usual notion of a linear left connection on Γ is extended to quantum Clifford algebras and also to spinor modules. The corresponding Dirac operator and connection Laplacian are defined. For the quantum group SL_q(2) and its bicovariant 4D_±-calculi these concepts are studied in detail. A generalization of Bochner's theorem is given. All invariant differential operators over a given spinor module are determined. The eigenvalues of the Dirac operator are computed.     

Isomorphisms between unital C-algebras

It is shown that every almost linear bijection of a unital C^∗-algebra A onto a unital C^∗-algebra B is a C^∗-algebra isomorphism when h(n²uy)=h(n²u)h(y) for all unitaries u∈A, all y∈A, and n=0,1,2,…, and that almost linear continuous bijection of a unital C^∗-algebra A of real rank zero onto a unital C^∗-algebra B is a C^∗-algebra isomorphism when h(n²uy)=h(n²u)h(y) for all , all y∈A, and n=0,1,2,…. Assume that X and Y are left normed modules over a unital C^∗-algebra A. It is shown that every surjective isometry , satisfying T(0)=0 and T(ux)=uT(x) for all x∈X and all unitaries u∈A, is an A-linear isomorphism. This is applied to investigate C^∗-algebra isomorphisms between unital C^∗-algebras.     

Some properties of sharp Hessenberg pairs

Let F denote a field and let V denote a vector space over F with finite positive dimension. We consider an ordered pair of F-linear transformations A:V→V and A^∗:V→V that satisfy the following conditions: (i) each of A,A^∗ is diagonalizable on V; (ii) there exists an ordering of the eigenspaces of A such that A^∗V_i⊆V₀+V₁+?+V_i+1 for 0?i?d, where V_-1:=0 and V_d+1:=0; (iii) there exists an ordering of the eigenspaces of A^∗ such that for 0?i?δ, where and . We call such a pair a Hessenberg pair on V. It is known that if the Hessenberg pair A,A^∗ on V is irreducible then d=δ and for 0?i?d the dimensions of V_i and coincide. We say a Hessenberg pair A,A^∗ on V is sharp whenever it is irreducible and .In this paper, we give the definitions of a Hessenberg system and a sharp Hessenberg system. We discuss the connection between a Hessenberg pair and a Hessenberg system. We also define a finite sequence of scalars called the parameter array for a sharp Hessenberg system, which consists of the eigenvalue sequence, the dual eigenvalue sequence and the split sequence. We calculate the split sequence of a sharp Hessenberg system. We show that a sharp Hessenberg pair is a tridiagonal pair if and only if there exists a nonzero nondegenerate bilinear form on V that satisfies 〈Au,v〉=〈u,Av〉 and 〈A^∗u,v〉=〈u,A^∗v〉 for all u,v∈V.     

A completion theorem for pro-G-spectra

We give a very general completion theorem for pro-spectra. We show that, if G is a compact Lie group, M[∗] is a pro-G-spectrum, and F is a family of (closed) subgroups of G, then the mapping pro-spectrum F(EF₊,M[∗]) is the F-adic completion of M[∗], in the sense that the map M[∗]→F(EF₊,M[∗]) is the universal map into an algebraically F-adically complete pro-spectrum. Here, F(EF₊,M[∗]) denotes the pro-G-spectrum , where runs over the finite subcomplexes of EF₊.