Property T＊＊ for C＊-algebras

Extending the notion of property T of finite von Neumann algebras to general von Neumann algebras, we define and study in this paper property T** for (possibly non-unital) C* -algebras. We obtain several results of property T** parallel to those of property T for unital C* -algebras. Moreover, we show that a discrete group Γ has property T if and only if the group C* -algebra Cr* (Γ) (or equivalently, the reduced group C* -algebra Cr* (Γ)) has property T**. We also show that the compact operators K(l2 ) has property T** but c0 does not have property T**.     

A note on the differentiable structure of generalized idempotents

For a fixed n > 2, we study the set Λ of generalized idempotents, which are operators satisfying T ⁿ⁺¹ = T. Also the subsets Λ _? , of operators such that T ^n?1 is the Moore-Penrose pseudo-inverse of T, and Λ*, of operators such that T ^n?1 = T* (known as generalized projections) are studied. The local smooth structure of these sets is examined.     

Hyperbolicity of arborescent tangles and arborescent links

In this paper, we study the hyperbolicity of arborescent tangles and arborescent links. We will explicitly determine all essential surfaces in arborescent tangle complements with non-negative Euler characteristic, and show that given an arborescent tangle T, the complement X(T) is non-hyperbolic if and only if T is a rational tangle, T=Qm*T^′ for some m?1, or T contains Qn for some n?2. We use these results to prove a theorem of Bonahon and Siebenmann which says that a large arborescent link L is non-hyperbolic if and only if it contains Q₂.     

On the football pool problem for 6 matches: A new upper bound

Consider the set (F₃)⁶ of all 6 tuples x=(x₁,…, x₆) with x_i? {0, 1, 2}. We show that there exists a subset $\text{T}$ of (F₃)⁶ with 79 elements such that for any x of (F₃)⁶ there is an element if $\text{T}$ which differs from x in at most one coordinate.     

Eigenvectors and cyclic vectors of bilateral weighted shifts. II: Simply invariant subspaces

Let T be an injective bilateral weighted shift onl ² thought as "multiplication by λ" on a space of formal Laurent series L²(β). (a) If L²(β) is contained in a space of quasi-analytic class of functions, then the point spectrum σ_p(T^?) of T^? contains a circle and the cyclic invariant subspaceM _f of T generated by f is simply invariant (i.e., ∩{(T^k M _f)^?: k ≥ 0}= {0}) for each f in L²(β); (b) If L²(β) contains a non-quasi-analytic class of functions (defined on a circle г) of a certain type related with the weight sequence of T, then there exists f in L²(ß) such thatM _f is a non-trivial doubly invariant subspace (i.e., (TM _f)^? =M _f); furthermore, if г ? σ_p(T^*), then σ_p (T^*) = г and f can be chosen so that σ_p([T∣M _f]^*) = г?{α}, for some α ε г. Several examples show that the gap between operators satisfying (a) and operators satisfying (b) is rather small.     

On elliptic modular foliations

In this article we consider the three parameter family of elliptic curves E^t: y² − 4(x − t₁ )³ + t² (x − t₁) + t₃ = 0, t ∈ ?³, and study the modular holomorphic foliation ?ω, in ?³ whose leaves are constant locus of the integration of a l-form ω over topological cycles of E_t. Using the Gauss—Manin connection of the family E^t, we show that ?ω is an algebraic foliation. In the case , we prove that a transcendent leaf of ?ω contains at most one point with algebraic coordinates and the leaves of ?ω corresponding to the zeros of integrals, never cross such a point. Using the generalized period map associated to the family E^t, we find a uniformization of ?ω in T, where T ⊂ ?³ is the locus of parameters t for which E_t is smooth. We find also a real first integral of ?ω. restricted to T and show that ?ω is given by the Ramanujan relations between the Eisenstein series.     

Series inversion of some convolution transforms

We study degeneration for ? → + 0 of the two-point boundary value problems

$\text{τ?}{}^{\mathrm{\pm }}\text{u := ?((au′)′ + bu′ + cu) ± xu′ ? κu = h, u(±1) = A ± B}$

, and convergence of the operators T_?⁺ and T_?^? on $\text{L}$²(?1, 1) connected with them, T_?^±u := τ_?^±u for all

$\text{u?D(T}{}_{\mathrm{?}}{}^{\mathrm{\pm }}\text{, D(T}{}_{\mathrm{?}}{}^{\mathrm{\pm }}\text{) := {u ? L}{}^2\text{(?1, 1) ∣ u″ ? L}{}^2\text{(?1, 1) \&; u(?1) = u(1) = O}, T}{}_0{}^{\mathrm{+}}\text{u: = xu′}$

for all

$\text{u?D(T}{}_{\mathrm{O}}{}^{\mathrm{+}}\text{), D(T}{}_{\mathrm{O}}{}^{\mathrm{+}}\text{) := {u ? L}{}^2\text{(?1, 1) ∣ xu′ ? L}{}^2\text{(?1, 1) \&; u(?1) = u(1) = O}}$

. Here ? is a small positive parameter, λ a complex “spectral” parameter; a, b and c are real $\text{b}$^∞-functions, a(x) ? γ > 0 for all x? [?1, 1] and h is a sufficiently smooth complex function. We prove that the limits of the eigenvalues of T_?⁺ and of T_?^? are the negative and nonpositive integers respectively by comparison of the general case to the special case in which a  1 and b  c  0 and in which we can compute the limits exactly. We show that (T_?⁺ ? λ)^?1 converges for ? → +0 strongly to (T₀⁺ ? λ)^?1 if $\text{R e λ > ?}\text{1}\text{2}$. In an analogous way, we define the operator T_?⁺, n (n ? $\text{N}$ in the Sobolev space H₀^?n(? 1, 1) as a restriction of τ_?⁺ and prove strong convergence of (T⁺_?,n ? λ)^?1 for ? → +0 in this space of distributions if $\text{R e λ > ?n ?}\text{1}\text{2}$. With aid of the maximum principle we infer from this that, if h?$\text{C}$¹, the solution of τ_?⁺u ? λu = h, u(±1) = A ± B converges for ? → +0 uniformly on [?1, ? ?] ∪ [?, 1] to the solution of xu′ ? λu = h, u(±1) = A ± B for each p > 0 and for each λ ? $\text{C}$ if ? ?$\text{N}$.Finally we prove by duality that the solution of τ_?^?u ? λu = h converges to a definite solution of the reduced equation uniformly on each compact subset of (?1, 0) ∪ (0, 1) if h is sufficiently smooth and if 1 ? ?$\text{N}$.     

On σ-algebras related to the measurability of compositions

Given a measurable space (T, F), a set X, and a map ?: T → X, the σ-algebras N _Ф = ?_?∈Φ N _?, and M _Φ = ?_?∈Φ N _?, where G _?(t) = (t, ?(t)) and Φ ? X ^T , are considered. These σ-algebras are used to characterize the (F, B, ?)-measurability of the compositions g ○ ? and f о G _?, where g: X → Y, f: T × X → Y, and (Y, ?) is a measurable space. Their elements are described without using the operations ? ^?1 and G _? ^?1 .     

Type III1 equilibrium states of the Toeplitz algebra of the affine semigroup over the natural numbers

We complete the analysis of KMS-states of the Toeplitz algebra T(N?N^×) of the affine semigroup over the natural numbers, recently studied by Raeburn and the first author, by showing that for every inverse temperature β in the critical interval 1?β?2, the unique KMSβ-state is of type III₁. We prove this by reducing the type classification from T(N?N^×) to that of the symmetric part of the Bost-Connes system, with a shift in inverse temperature. To carry out this reduction we first obtain a parametrization of the Nica spectrum of N?N^× in terms of an adelic space. Combining a characterization of traces on crossed products due to the second author with an analysis of the action of N?N^× on the Nica spectrum, we can also recover all the KMS-states of T(N?N^×) originally computed by Raeburn and the first author. Our computation sheds light on why there is a free transitive circle action on the extremal KMSβ-states for β>2 that does not ostensibly come from an action of T on the C^?-algebra.     

Spectral theory and Wiener-Itô decomposition for the image of a Jacobi field

Assume that K ⁺: H _? → T _? is a bounded operator, where H _? and T _? are Hilbert spaces and ρ is a measure on the space H _?. Denote by ρ_K the image of the measure ρ under K ⁺. We study the measure ρ_K under the assumption that ρ is the spectral measure of a Jacobi field and obtain a family of operators whose spectral measure is equal to ρ_K. We also obtain an analog of the Wiener-Itô decomposition for ρ_K. Finally, we illustrate the results obtained by explicit calculations carried out for the case, where ρ_K is a Lévy noise measure.     

Bifurcation for variational problems when the linearisation has no eigenvalues

For a bounded analytic function, ?, on the unit disk, $\text{D,}\text{let}\text{T}{}_{\mathrm{?}}\text{and}\text{M}{}_{\mathrm{?}}$ denote the operators of multiplication by ? on H²(?D) and L²(?D), respectively. In their 1973 paper, Deddens and Wong asked whether there is an analytic Toeplitz operator $\text{T}{}_{\mathrm{?}}$ that commutes with a nonzero compact operator, and whether every operator that commutes with an analytic Toeplitz operator has an extension that commutes with the corresponding multiplication operator on L². In the first part of this paper, we give an explicit example of an analytic Toeplitz operator T_φ that settles both of these questions. This operator commutes with a nonzero compact operator (a composition operator followed by an analytic Toeplitz operator). The only operators in the commutant of T_φ that extend to commute with M_φ are analytic Toeplitz operators. Although the commutant of T_φ contains more than just analytic Toeplitz operators, T_φ is irreducible. The remainder of the paper seeks to explain more fully the phenomena incorporated in this example by introducing a class of analytic functions, including the function φ, and giving additional conditions on functions g in the class to determine whether T_g commutes with nonzero compact operators, whether T_g is irreducible, and which operators in the commutant of T_g extend to the commutant of M_g. In particular, we find representations for operators in the commutant and second commutant of T_g.     

Blow-up of critical norms for the 3-D Navier-Stokes equations

Let u =(uh, u3) be a smooth solution of the 3-D Navier-Stokes equations in R3× [0, T). It was proved that if u3 ∈ L∞(0, T;˙B-1+3/p p,q(R3)) for 3 p, q ∞ and uh∈ L∞(0, T; BMO-1(R3)) with uh(T) ∈ VMO-1(R3), then u can be extended beyond T. This result generalizes the recent result proved by Gallagher et al.(2016), which requires u ∈ L∞(0, T;˙B-1+3/pp,q(R3)). Our proof is based on a new interior regularity criterion in terms of one velocity component, which is independent of interest.     

A basis for the non-crossing partition lattice top homology

We find a basis for the top homology of the non-crossing partition lattice T _n . Though T _n is not a geometric lattice, we are able to adapt techniques of Björner (A. Björner, On the homology of geometric lattices. Algebra Universalis 14 (1982), no. 1, 107–128) to find a basis with C _n?1 elements that are in bijection with binary trees. Then we analyze the action of the dihedral group on this basis.     

Sequences of contractions on L1-spaces

Let T_n, n = 1,2,… be a sequence of linear contractions on the space where is a finite measure space. Let M be the subspace of L¹ for which T_ng → g weakly in L¹ for g?M. If T_n1 → 1 strongly, then T_nf → f strongly for all f in the closed vector sublattice in L¹ generated by M.This result can be applied to the determination of Korovkin sets and shadows in L¹. Given a set G ? L¹, its shadow S(G) is the set of all f?L¹ with the property that T_nf → f strongly for any sequence of contractions T_n, n = 1, 2,… which converges strongly to the identity on G; and G is said to be a Korovkin set if S(G) = L¹. For instance, if 1 ?G, then, where M is the linear hull of G and $\text{B}$_M is the sub-σ-algebra of $\text{B}$ generated by {x?X: g(x) > 0} for g?M. If the measure algebra is separable, has Korovkin sets consisting of two elements.     

A limit theorem for order preserving nonexpansive operators inL 1

We prove the following theorem:Let T be an order preserving nonexpansive operator on L ₁ (μ) (or L ₁ ⁺ ) of a σ-finite measure, which also decreases theL _∞-norm, and let S=tI+(1?t)T for 0<t<1. Then for everyf ∈ L_p (1<p<∞),the sequence S ⁿf converges weakly in L_p. (The assumptions do not imply thatT is nonexpansive inL _p for anyp>1, even ifμ is finite.) For the proof we show that ∥S ⁿ⁺¹ f?S ⁿf∥ _p → 0 for everyf ∈L _p, 1<p<∞, and apply toS the following theorem:Let T be order preserving and nonexpansive in L ₁ ⁺ , and assume that T decreases theL _∞-norm. Then forg ∈L _p (1<p<∞) Tⁿg is weakly almost convergent. If forf ∈ L_p we have T ⁿ⁺¹ f?T ⁿ f → 0weakly, then T ⁿf converges weakly in L_p (1<p<∞).     

Partition theorems for Abelian groups

Let A be a finite matrix with integral entries and G be an Abelian group. Define A to be partition regular in G if for every partition of G/(0) into finitely many classes there exist elemens x₁,…,x_m contained in one class such that A(x₁,…,x_m)^T = 0. Theorem. A is partition regular in G iff at least one of the following statements holds. (i) There is x ∈ G/(0) such that A(x,…,x)^T = 0. (ii) A is partition regular in Z_p^?₀ (p prime) and Z_p^?₀ ? G. (iii) A is partition regular in Z and the set of orders of elements in G is unbounded.     

Idempotence preserving maps on spaces of triangular matrices

SupposeF is an arbitrary field. Let |F| be the number of the elements ofF. LetT _n (F) be the space of allnxn upper-triangular matrices overF. A map Ψ: T _N (F) → T _N (F) is said to preserve idempotence ifA - λ B is idempotent if and only if Ψ(A) - λΨ(B) is idempotent for anyA, B ∈ T _n (F) and λ ∈ F. It is shown that: when the characteristic ofF is not 2, |F|>3 and n ≥ 3, Ψ:T _n (F) → T _n (F) is a map preserving idempotence if and only if there exists an invertible matrixP τ T _n (F) such that either ?(A) = PAP ^?1 for everyA ∈ T _n (F) or Ψ(A) = PJA ^t JP ^?1 for everyA ∈ T _n (F), whereJ = ∑ _n=1 ⁿ E _i,n+1?i and E_ij is the matrix with 1 in the (i,j)th entry and 0 elsewhere.     

The Cuntz semigroup and comparison of open projections

We show that a number of naturally occurring comparison relations on positive elements in a C^?-algebra are equivalent to natural comparison properties of their corresponding open projections in the bidual of the C^?-algebra. In particular we show that Cuntz comparison of positive elements corresponds to a comparison relation on open projections, that we call Cuntz comparison, and which is defined in terms of—and is weaker than—a comparison notion defined by Peligrad and Zsidó. The latter corresponds to a well-known comparison relation on positive elements defined by Blackadar. We show that Murray-von Neumann comparison of open projections corresponds to tracial comparison of the corresponding positive elements of the C^?-algebra. We use these findings to give a new picture of the Cuntz semigroup.     

Conjugacy classes in Möbius groups

Let \({\mathbb H^{n+1}}\) denote the n + 1-dimensional (real) hyperbolic space. Let \({\mathbb {S}^{n}}\) denote the conformal boundary of the hyperbolic space. The group of conformal diffeomorphisms of \({\mathbb {S}^{n}}\) is denoted by M(n). Let M _o (n) be its identity component which consists of all orientation-preserving elements in M(n). The conjugacy classification of isometries in M _o (n) depends on the conjugacy of T and T ^?1 in M _o (n). For an element T in M(n), T and T ^?1 are conjugate in M(n), but they may not be conjugate in M _o (n). In the literature, T is called real if T is conjugate in M _o (n) to T ^?1. In this paper we classify real elements in M _o (n). Let T be an element in M _o (n). Corresponding to T there is an associated element T _o in SO(n + 1). If the complex conjugate eigenvalues of T _o are given by \({\{e^{i\theta_j}, e^{-i\theta_j}\}, 0 < \theta_j \leq \pi, j=1,\ldots,k}\) , then {θ₁, . . . , θ _k } are called the rotation angles of T. If the rotation angles of T are distinct from each-other, then T is called a regular element. After classifying the real elements in M _o (n) we have parametrized the conjugacy classes of regular elements in M _o (n). In the parametrization, when T is not conjugate to T ^?1 , we have enlarged the group and have considered the conjugacy class of T in M(n). We prove that each such conjugacy class can be induced with a fibration structure.     

Bijective maps preserving commutators on a solvable classical group

Let F be a field, T n the group consisting of all n × n invertible upper triangular matrices over F . In this article we classify bijective maps φ from T n to itself satisfying φ[x, y] = [φ(x), φ(y)]. We show that each such map differs only slightly from an automorphism of T n .