Crossed-products by finite index endomorphisms and KMS states

Given a unital -algebra A, an injective endomorphism preserving the unit, and a conditional expectation E from A to the range of α we consider the crossed-product of A by α relative to the transfer operator L=α⁻¹E. When E is of index-finite type we show that there exists a conditional expectation G from the crossed-product to A which is unique under certain hypothesis. We define a “gauge action” on the crossed-product algebra in terms of a central positive element h and study its KMS states. The main result is: if h>1 and E(ab)=E(ba) for all a,b∈A (e.g. when A is commutative) then the KMS_β states are precisely those of the form ψ=φ°G, where φ is a trace on A satisfying the identity

     

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.     

Non-linear numerical radius isometries on atomic nest algebras and diagonal algebras

A nonlinear map φ between operator algebras is said to be a numerical radius isometry if w(φ(T−S))=w(T−S) for all T, S in its domain algebra, where w(T) stands for the numerical radius of T. Let and be two atomic nests on complex Hilbert spaces H and K, respectively. Denote the nest algebra associated with and the diagonal algebra. We give a thorough classification of weakly continuous numerical radius isometries from onto and a thorough classification of numerical radius isometries from onto .     

Genericity of wild holomorphic functions and common hypercyclic vectors

Let T_α be the translation operator by α in the space of entire functions defined by . We prove that there is a residual set G of entire functions such that for every f∈G and every the sequence is dense in , that is, G is a residual set of common hypercyclic vectors ( functions) for the family . Also, we prove similar results for many families of operators as: multiples of differential operator, multiples of backward shift, weighted backward shifts.     

Congruences involving Bernoulli polynomials

Let {B_n(x)} be the Bernoulli polynomials. In the paper we establish some congruences for , where p is an odd prime and x is a rational p-integer. Such congruences are concerned with the properties of p-regular functions, the congruences for and the sum , where h(d) is the class number of the quadratic field of discriminant d and p-regular functions are those functions f such that are rational p-integers and for n=1,2,3,… . We also establish many congruences for Euler numbers.     

Operator biflatness of the Fourier algebra and approximate indicators for subgroups

We investigate if, for a locally compact group G, the Fourier algebra A(G) is biflat in the sense of quantized Banach homology. A central rôle in our investigation is played by the notion of an approximate indicator of a closed subgroup of G: The Fourier algebra is operator biflat whenever the diagonal in G×G has an approximate indicator. Although we have been unable to settle the question of whether A(G) is always operator biflat, we show that, for , the diagonal in G×G fails to have an approximate indicator.     

The topology of the monodromy map of a second order ODE

We consider the following question: given A∈SL(2,R), which potentials q for the second order Sturm-Liouville problem have A as its Floquet multiplier? More precisely, define the monodromy map μ taking a potential q∈L²([0,2π]) to , the lift to the universal cover of SL(2,R) of the fundamental matrix map ,

     

On some subalgebras of von Neumann algebras with analyticity

Let (M,α,G) be a covariant system on a locally compact Abelian group G with the totally ordered dual group which admits the positive semigroup . Let H^∞(α) be the associated analytic subalgebra of M; i.e. . Let be the analytic crossed product determined by a covariant system . We give the necessary and sufficient condition that an analytic subalgebra H^∞(α) is isomorphic to an analytic crossed product related to Landstad's theorem. We also investigate the structure of σ-weakly closed subalgebra of a continuous crossed product N?_θR which contains N?_θR₊. We show that there exists a proper σ-weakly closed subalgebra of N?_θR which contains N?_θR₊ and is not an analytic crossed product. Moreover we give an example that an analytic subalgebra is not a continuous analytic crossed product using the continuous decomposition of a factor of type III_λ(0?λ<1).     

On the product system of a completely positive semigroup

Given a W∗-continuous semigroup φ of unital, normal, completely positive maps of B(H), we introduce its continuous tensor product system . If α is a minimal dilation E₀-semigroup of φ with Arveson product system F, then is canonically isomorphic to F. We apply this construction to a class of semigroups of arising from a modified Weyl-Moyal quantization of convolution semigroups of Borel probability measures on . This class includes the heat flow on the CCR algebra studied recently by Arveson. We prove that the minimal dilations of all such semigroups are completely spatial, and additionally, we prove that the minimal dilation of the heat flow is cocyle conjugate to the CAR/CCR flow of index two.     

Moment conditions and support theorems for Radon transforms on affine Grassmann manifolds

Let G(p,n) and G(q,n) be the affine Grassmann manifolds of p- and q-planes in Rⁿ, respectively, and let be the Radon transform from smooth functions on G(p,n) to smooth functions on G(q,n) arising from the inclusion incidence relation. When p<q and dimG(p,n)=dimG(p,n), we present a range characterization theorem for via moment conditions. We then use this range result to prove a support theorem for . This complements a previous range characterization theorem for via differential equations when dimG(p,n)<dimG(p,n). We also present a support theorem in this latter case.     

On the stable rank of algebras of operator fields over metric spaces

Let Γ be a finitely generated, torsion-free, two-step nilpotent group. Let C^*(Γ) denote the universal C^*-algebra of Γ. We show that , where for a unital C^*-algebra A, sr(A) is the stable rank of A, and where is the space of one-dimensional representations of Γ. In process, we give a stable rank estimate for maximal full algebras of operator fields over metric spaces.     

Configurations in abelian categories. IV. Invariants and changing stability conditions

This is the last in a series on configurations in an abelian category A. Given a finite poset (I,?), an (I,?)-configuration (σ,ι,π) is a finite collection of objects σ(J) and morphisms ι(J,K) or in A satisfying some axioms, where J,K are subsets of I. Configurations describe how an object X in A decomposes into subobjects.The first paper defined configurations and studied moduli spaces of configurations in A, using Artin stacks. It showed well-behaved moduli stacks ObjA,MA(I,?) of objects and configurations in A exist when A is the abelian category coh(P) of coherent sheaves on a projective scheme P, or mod-KQ of representations of a quiver Q. The second studied algebras of constructible functions and stack functions on ObjA.The third introduced stability conditions(τ,T,?) on A, and showed the moduli space of τ-semistable objects in class α is a constructible subset in ObjA, so its characteristic function is a constructible function. It formed algebras , , , of constructible and stack functions on ObjA, and proved many identities in them.In this paper, if (τ,T,?) and are stability conditions on A we write in terms of the , and deduce the algebras are independent of (τ,T,?). We study invariants or Iss(I,?,κ,τ) ‘counting’ τ-semistable objects or configurations in A, which satisfy additive and multiplicative identities. We compute them completely when A=mod-KQ or A=coh(P) for P a smooth curve. We also find invariants with special properties when A=coh(P) for P a smooth surface with nef, or a Calabi-Yau 3-fold.     

Norm estimates of almost Mathieu operators

We estimate the norm of the almost Mathieu operator , regarded as an element in the rotation C^*-algebra . In the process, we prove for every λ∈R and the inequality

     

On subspaces of non-commutative Lp-spaces

We study some structural aspects of the subspaces of the non-commutative (Haagerup) L_p-spaces associated with a general (non-necessarily semi-finite) von Neumann algebra . If a subspace X of contains uniformly the spaces ?_pⁿ, n?1, it contains an almost isometric, almost 1-complemented copy of ?_p. If X contains uniformly the finite dimensional Schatten classes S_pⁿ, it contains their ?_p-direct sum too. We obtain a version of the classical Kadec-Pe?czyński dichotomy theorem for L_p-spaces, p?2. We also give operator space versions of these results. The proofs are based on previous structural results on the ultrapowers of , together with a careful analysis of the elements of an ultrapower which are disjoint from the subspace . These techniques permit to recover a recent result of N. Randrianantoanina concerning a subsequence splitting lemma for the general non-commutative L_p spaces. Various notions of p-equiintegrability are studied (one of which is equivalent to Randrianantoanina's one) and some results obtained by Haagerup, Rosenthal and Sukochev for L_p-spaces based on finite von Neumann algebras concerning subspaces of containing ?_p are extended to the general case.     

Hilbert-Speiser number fields for a prime p inside the p-cyclotomic field

Let p be a prime number. We say that a number field F satisfies the condition when for any cyclic extension N/F of degree p, the ring of p-integers of N has a normal integral basis over . It is known that F=Q satisfies for any p. It is also known that when p?19, any subfield F of Q(ζp) satisfies . In this paper, we prove that when p?23, an imaginary subfield F of Q(ζp) satisfies if and only if and p=43, 67 or 163 (under GRH). For a real subfield F of Q(ζp) with F≠Q, we give a corresponding but weaker assertion to the effect that it quite rarely satisfies .