Inner Functions and Cyclic Composition Operators on H(Bn)

The present paper shows that the algebra generated by {C|  Aut(B_n)} is cyclic on H²(B_n), and any nonconstant function f  H²(B_n) is a cyclic vector of . In addition, the hypercyclic and cyclic composition operators will be discussed.     

Pointwise universal trigonometric series

A series is called a pointwise universal trigonometric series if for any , there exists a strictly increasing sequence of positive integers such that converges to f(z) pointwise on . We find growth conditions on coefficients allowing and forbidding the existence of a pointwise universal trigonometric series. For instance, if as |n|→∞ for some ε>0, then the series S_a cannot be pointwise universal. On the other hand, there exists a pointwise universal trigonometric series S_a with as |n|→∞.     

Dilations of C*-Correspondences and the Simplicity of Cuntz–Pimsner Algebras

We develop a dilation theory for C*-correspondences, showing that every C*-correspondence E over a C*-algebra A can be universally embedded into a Hilbert C*-bimodule X_E over a C*-algebra A_E such that the crossed product A_E  is naturally isomorphic to A_EXE  . The Cuntz–Pimsner algebra _E is isomorphic to _{E E}  where _E and _E are quotients of A_E, resp. X_E.  If E is full and the left action is by generalized compact operators, then _E is an equivalence bimodule or, equivalently, an invertible C*-correspondence. In general, _E is merely an essential Hilbert C*-bimodule. Slightly extending previous results on crossed products by equivalence bimodules, we apply our dilation theory to show that for full C*-correspondences over unital C*-algebras, _E is simple if and only if E is minimal and nonperiodic, extending and simplifying results of Muhly and Solel and Kajiwara, Pinzari, and Watatani.     

Galois Reconstruction of Finite Quantum Groups

Let be a (small) category and let F:  →  alg_f be a functor, where alg_f is the category of finite-dimensional measured algebras over a field k (or Frobenius algebras). We construct a universal Hopf algebra A_aut(F) such that F factorizes through a functor :  →  coalg_f(A_aut(F)), where coalg_f(A_aut(F)) is the category of finite-dimensional measured A_aut(F)-comodule algebras. This general reconstruction result allows us to recapture a finite-dimensional Hopf algebra A from the category coalg_f(A) and the forgetful functor ω: coalg_f(A) →  alg_f: we have A  A_aut(ω). Our universal construction is also done in a C*-algebra framework, and we get compact quantum groups in the sense of Woronowicz.     

Finitely additive representation of spaces

Let be any atomless and countably additive probability measure on the product space with the usual σ-algebra. Then there is a purely finitely additive probability measure λ on the power set of a countable subset such that can be isometrically isomorphically embedded as a closed subspace of L^p(λ). The embedding is strict. It is also ‘canonical,’ in the sense that it maps simple and continuous functions on to their restrictions to T.     

A mixed hook-length formula for affine Hecke algebras

Let be the affine Hecke algebra corresponding to the group GL_l over a p-adic field with residue field of cardinality q. We will regard as an associative algebra over the field . Consider the -module W induced from the tensor product of the evaluation modules over the algebras and . The module W depends on two partitions λ of l and μ of m, and on two non-zero elements of the field . There is a canonical operator J acting on W; it corresponds to the trigonometric R-matrix. The algebra contains the finite dimensional Hecke algebra H_l+m as a subalgebra, and the operator J commutes with the action of this subalgebra on W. Under this action, W decomposes into irreducible subspaces according to the Littlewood–Richardson rule. We compute the eigenvalues of J, corresponding to certain multiplicity-free irreducible components of W. In particular, we give a formula for the ratio of two eigenvalues of J, corresponding to the “highest” and the “lowest” components. As an application, we derive the well known q-analogue of the hook-length formula for the number of standard tableaux of shape λ.     

Conditional limiting distribution of beta-independent random vectors

The paper deals with random vectors in , possessing the stochastic representation , where R is a positive random radius independent of the random vector and is a non-singular matrix. If is uniformly distributed on the unit sphere of , then for any integer m<d we have the stochastic representations and , with W≥0, such that W² is a beta distributed random variable with parameters m/2,(d−m)/2 and (U₁,…,U_m),(U_m+1,…,U_d) are independent uniformly distributed on the unit spheres of and , respectively. Assuming a more general stochastic representation for in this paper we introduce the class of beta-independent random vectors. For this new class we derive several conditional limiting results assuming that R has a distribution function in the max-domain of attraction of a univariate extreme value distribution function. We provide two applications concerning the Kotz approximation of the conditional distributions and the tail asymptotic behaviour of beta-independent bivariate random vectors.     

An upper estimate in Turán's pure power sum problem

Let z₁, z₂, …, z_n be complex numbers, and write for their power sums. Let where the minimum is taken under the condition that . In this paper we prove that .     

Cycles in 2-connected graphs

Let be a class of graphs on n vertices. For an integer c, let be the smallest integer such that if G is a graph in with more than edges, then G contains a cycle of length more than c. A classical result of Erdös and Gallai is that if is the class of all simple graphs on n vertices, then . The result is best possible when n-1 is divisible by c-1, in view of the graph consisting of copies of K_c all having exactly one vertex in common. Woodall improved the result by giving best possible bounds for the remaining cases when n-1 is not divisible by c-1, and conjectured that if is the class of all 2-connected simple graphs on n vertices, thenwhere , 2tc/2, is the number of edges in the graph obtained from K_c+1-t by adding n-(c+1-t) isolated vertices each joined to the same t vertices of K_c+1-t. By using a result of Woodall together with an edge-switching technique, we confirm Woodall's conjecture in this paper.     

Bergman-Type Reproducing Kernels, Contractive Divisors, and Dilations

Let Ω be a region in the complex plane. In this paper we introduce a class of sesquianalytic reproducing kernels on Ω that we call B-kernels. When Ω is the open unit disk and certain natural additional hypotheses are added we call such kernels k Bergman-type kernels. In this case the associated reproducing kernel Hilbert space (k) shares certain properties with the classical Bergman space L²_α of the unit disk. For example, the weighted Bergman kernels k^β_w(z)=(1−wz)^−β, 1β2 are Bergman-type kernels. Furthermore, for any Bergman-type kernel k one has H² (k)L²_a, where the inclusion maps are contractive, and M_ζ, the operator of multiplication with the identity function ζ, defines a contraction operator on (k). Our main results about Bergman-type kernels k are the following two: First, once properly normalized, the reproducing kernel for any nontrivial zero based invariant subspace of (k) is a Bergman-type kernel as well. For the weighted Bergman kernels k^β this result even holds for all _ζ-invariant subspace of index 1, i.e., whenever the dimension of /ζ is one. Second, if is any multiplier invariant subspace of (k), and if we set *= z , then M_ζ is unitarily equivalent to M_ζ acting on a space of *-valued analytic functions with an operator-valued reproducing kernel of the type

Full-size image

where V is a contractive analytic function V :  → ( ,  *), for some auxiliary Hilbert space . Parts of these theorems hold in more generality. Corollaries include contractive divisor, wandering subspace, and dilation theorems for all Bergman-type reproducing kernel Hilbert spaces. When restricted to index one invariant subspaces of (k^β), 1β2, our approach yields new proofs of the contractive divisor property, the strong contractive divisor property, and the wandering subspace theorems and inner–outer factorization. Our proofs are based on the properties of reproducing kernels, and they do not involve the use of biharmonic Green functions as had some of the earlier proofs.     

Compressing Mappings on Primitive Sequences over Z/(2) and Its Galois Extension

Let f(x) be a strongly primitive polynomial of degree n over Z/(2^e), η(x₀,x₁,…,x_e−2) a Boolean function of e−1 variables and (x₀,x₁,…,x_e−1)=x_e−1+η(x₀,x₁,…,x_e−2)G (f(x),Z/(2^e)) denotes the set of all sequences over Z/(2^e) generated by f(x), F₂^∞ the set of all sequences over the binary field F₂, then the compressing mapping

Full-size image

is injective, that is, for , G(f(x),Z/(2^e)), = if and only if Φ( )=Φ( ), i.e., ( ₀,…, _e−1)=( ₀,…, _e−1) mod 2. In the second part of the paper, we generalize the above result over the Galois rings.     

Generalized Green Classes

Generalized Green classes are introduced; some basic properties of members in a generalized Green class are studied. Finally, we apply the results to (Λ), the Ringel–Hall algebra of a finite-dimensional hereditary algebra Λ over a finite field. In particular, it is proved that (Λ) belongs to a suitable generalized Green class, and that there is direct decomposition of spaces (Λ) =  (Λ)  J, where (Λ) is the composition algebra of Λ and J is a twisted Hopf ideal of (Λ), which is exactly the orthogonal complement of (Λ).     

Spaces of holomorphic functions in regular domains

Let Ω be a regular domain in the complex plane , . Let be the linear space over of the holomorphic functions f in Ω such that f⁽ⁿ⁾ is bounded in Ω and is continuously extendible to the closure of Ω, n=0,1,2,… . We endow , in a natural manner, with a structure of Fréchet space and we obtain dense subspaces F of , with good topological linear properties, also satisfying that each function f of F, distinct from zero, does not extend holomorphically outside Ω.     

On Identity Bases of Epigroup Varieties

Let C _n and C _n be the varieties of all completely regular and of all completely simple semigroups, respectively, whose idempotent generated subsemigroups are periodic with period n. We use Ol'shanski 's theory of geometric group presentations to show that for large odd n these varieties (and similarly defined varieties of epigroups) do not have finitely axiomatizable equational theories.     

Reznichenko families of trees and their applications

Examples of Talagrand, Gul'ko and Corson compacta resulting from Reznichenko families of trees are presented. The K_σδ property for weakly -analytic Banach spaces with an unconditional basis is proved.     

Boundedness of generalized higher commutators of Marcinkiewicz integrals

Let (b) ＝ (b1,…,bm) be a finite family of locally integrable functions. Then,we introduce generalized higher commutator of Marcinkiwicz integral as follows:μ(b)Ω=(∫∞o|F(b)Ω,t(f)(x)|2et/t)1/2,whereF(b)Ω(f)(x)＝1/t∫|x-y|≤tΩ(x-y)/|x-y|n-1m∏j=1(bj(x)-bj(y))f(y)dy.When bj ∈(A)βj, 1≤j≤m, 0＜βj＜1,m∑j=1βj =β＜n, and Ω is homogeneous of degree zero and satisfies the cancelation condition, we prove that μ(b)Ω is bounded from Lp(Rn)to Ls(Rn), where 1 ＜ p ＜ n/β and 1/s = 1/p -β/n. Moreover, if Ω also satisfies some Lq-Dini condition, then μ(b)Ω is bounded from Lp(Rn) to (F)β,∞p(Rn) and on certain Hardy spaces. The article extends some known results.     

The simplicity of certain groups of subanalytic diffeomorphisms

Let M be a connected real analytic manifold. We denote by , 1r<∞, the group of subanalytic C^r diffeomorphisms of M which are isotopic to the identity via a compactly supported subanalytic C^r isotopy. We show that satisfies Epstein's axioms. This implies that the commutator subgroup of is simple. Moreover, we show that the commutator subgroup of is dense in . As a corollary we obtain that is topologically simple.     

Identities on Units of Algebraic Algebras

Let be an algebraic algebra over an infinite field K and let ( ) be its group of units. We prove a stronger version of Hartley's conjecture for , namely, if a Laurent polynomial identity (LPI, for short) f = 0 is satisfied in ( ), then satisfies a polynomial identity (PI). We also show that if is non-commutative, then is a PI-ring, provided f = 0 is satisfied by the non-central units of . In particular, is locally finite and, thus, the Kurosh problem has a positive answer for K-algebras whose unit group is LPI. Moreover, f = 0 holds in ( ) if and only if the same identity is satisfied in . The last fact remains true for generalized Laurent polynomial identities, provided that is locally finite.     

The Linear Part of a Discontinuously Acting Euclidean Semigroup

Let ⁿ be a Euclidean space and let S be a Euclidean semigroup, i.e., a subsemigroup of the group of isometries of ⁿ. We say that a semigroup S acts discontinuously on ⁿ if the subset {s  S:sK ∩ K ≠ } is finite for any compact set K of ⁿ. The main results of this work areTheorem.If S is a Euclidean semigroup which acts discontinuously on ⁿ, then the connected component of the closure of the linear part ℓ(S) of S is a reducible group.Corollary.Let S be a Euclidean semigroup acting discontinuously on ⁿ; then the linear part ℓ(S) of S is not dense in the orthogonal group O(n).These results are the first step in the proof of the followingMargulis' Conjecture.If S is a crystallographic Euclidean semigroup, then S is a group.