Twice Q-polynomial distance-regular graphs are thin

Let Γ be a distance-regular graph of diameter d 3. For each vertex χ of Γ, let T(χ) denote the subconstituent algebra for Γ with respect to χ. An irreducible T(χ)-module W is said to be thin if dim E_i^*(χ) W 1 for 0 i d, where E_i^*(χ) is the projection onto the ith subconstituent for Γ with respect to χ. The graph Γ is said to be thin if, for each vertex χ of Γ, very irreducible T(χ)-module is thin. Our main result is the following Theorem: If Γ has two Q-polynomial structures, then Γ is thin.     

The Terwilliger Algebra of a Distance-Regular Graph that Supports a Spin Model

Let denote a distance-regular graph with vertex set X, diameter D 3, valency k 3, and assume supports a spin model W. Write W = _{i = 0}^D t_i A_i where A_i is the ith distance-matrix of . To avoid degenerate situations we assume is not a Hamming graph and t_i {t₀, –t₀ } for 1 i D. In an earlier paper Curtin and Nomura determined the intersection numbers of in terms of D and two complex parameters and q. We extend their results as follows. Fix any vertex x X and let T = T(x) denote the corresponding Terwilliger algebra. Let U denote an irreducible T-module with endpoint r and diameter d. We obtain the intersection numbers c_i(U), b_i(U), a_i(U) as rational expressions involving r, d, D, and q. We show that the isomorphism class of U as a T-module is determined by r and d. We present a recurrence that gives the multiplicities with which the irreducible T-modules appear in the standard module. We compute these multiplicites explicitly for the irreducible T-modules with endpoint at most 3. We prove that the parameter q is real and we show that if is not bipartite, then q > 0 and is real.AMS 2000 Subject Classification: Primary 05E30     

Classification of quasifinite\mathcal{W}_\infty -modules-modules

It is proved that an irreducible quasifinite -module is a highest or lowest weight module or a module of the intermediate series; a uniformly bounded indecomposable weight -module is a module of the intermediate series. For a nondegenerate additive subgroup Λ ofF _n, whereF is a field of characteristic zero, there is a simple Lie or associative algebraW(Λ,n)⁽¹⁾ spanned by differential operatorsuD ₁ ^m …D ₁ ^m foru ∈F[Γ] (the group algebra), andm _i≥0 with , whereD _i are degree operators. It is also proved that an indecomposable quasifinite weightW(Λ,n)⁽¹⁾-module is a module of the intermediate series if Λ is not isomorphic to ℤ. Supported by NSF grant no. 10471091 of China and two grants “Excellent Young Teacher Program” and “Trans-Century Training Programme Foundation for the Talents” from the Ministry of Education of China.     

On the outradius of the teichmüller space

Let Γ be a fuchsian group which preserves the unit disc Δ and hence also its complement Δ^* in the Riemann sphere . The Bers embedding represents the Teichm=:uller space T(Γ) of Γ in the space (B (Δ^*, Γ) of bounded quadratic differentials for Γ in Δ^*. Then, T(Γ) is included in the closed ball centred at the origin of radius 6 inB(Δ^*, Γ) with respect to the norm employed in a paper by Nehari [The Schwarzian derivative and Schlicht functions; Bull. Amer. Math. Soc. 55 (1949), 545–551]. In other words the outradiuso(Γ) ofT(Γ) is not greater than 6. The purpose of this paper is to give a complete characterization of a fuchsian group Γ for which the outradiuso(Γ) ofT(Γ) attains this extremal value 6. The main theorem is: Let Γ be a fuchsian group preserving Δ^*. Then the outradiuso(Γ) of the Teichmüller spaceT(Γ) equals 6 if and only if for any positive numberd, either (i) there exists a hyperbolic disc of radiusd precisely invariant under the trivial subgroup, or (ii) there exists the collar of widthd about the axis of a hyperbolic element of Γ. Dedicated to Professor K?taro Oikawa on his 60th birthday     

Bipartite Distance-regular Graphs, Part II

This is a continuation of “Bipartite Distance-regular Graphs, Part I”. We continue our study of the Terwilliger algebra T of a bipartite distance-regular graph. In this part we focus on the thin irreducible T-modules of endpoint 2 and on those distance-regular graphs for which every irreducible T-module of endpoint 2 is thin. Revised: June 2, 1997     

Infinite simple C*-algebras and Reduced cross products of abelian C*-algebras and free groups

Summary Let Γ=〈g ₁〉*〈g ₂〉*...*〈g _n 〉*... be a free product of cyclic groups with generators {g _i }, andC _r ^* (Γ,℘ _Λ) be the C*-algebra generated by the reduced group C*-algebraC _r ^* Γ and a set of projectionsP _gL associated with a subset Λ of {g _i }. We prove the following: (1)C _r ^* (Γ,℘ _Λ) is *-isomorphic to the reduced cross product for certain Hausdorff compact spaceX _Λ constructed from Γ and its boundary ∂Γ. (2)C _r ^* (Γ,℘ _Λ) is either a purely infinite, simple C*-algebra or an extension of a purely infinite, simple C*-altebra, depending on the pair (Γ, Λ). (3)C _r ^* (Г,℘ _Λ) is nuclear if and only if the subgroup Γ_Λ generated by {g _i }/Λ is amenable. Partially supported by RMC grant 45/290/603 from the University of Newcastle Partially supported by NSF grant DMS-9225076 and a Taft travel grant from the University of Cincinnati     

An Inequality Involving the Local Eigenvalues of a Distance-Regular Graph

Let denote a distance-regular graph with diameter D 3, valency k, and intersection numbers a _i, b _i, c _i. Let X denote the vertex set of and fix x X. Let denote the vertex-subgraph of induced on the set of vertices in X adjacent X. Observe has k vertices and is regular with valency a ₁. Let _{1 2} ··· _k denote the eigenvalues of and observe ₁ = a ₁. Let denote the set of distinct scalars among ₂, ₃, ..., _k . For let mult denote the number of times appears among ₂, ₃,..., _k . Let denote an indeterminate, and let p ₀, p₁, ...,p _D denote the polynomials in [] satisfying p ₀ = 1 andp _i = c _i+1 p _i+1 + (a _i – c _i+1 + c _i)p _i + b _i p _i–1 (0 i D – 1),where p _–1 = 0. We show where we abbreviate = –1 – b ₁(1+)^–1. Concerning the case of equality we obtain the following result. Let T = T(x) denote the subalgebra of Mat _X ( ) generated by A, E*₀, E*₁, ..., E* _D , where A denotes the adjacency matrix of and E* _i denotes the projection onto the ith subconstituent of with respect to X. T is called the subconstituent algebra or the Terwilliger algebra. An irreducible T-module W is said to be thin whenever dimE* _i W 1 for 0 i D. By the endpoint of W we mean min{i|E* _i W 0}. We show the following are equivalent: (i) Equality holds in the above inequality for 1 i D – 1; (ii) Equality holds in the above inequality for i = D – 1; (iii) Every irreducible T-module with endpoint 1 is thin.     

W(R)-splines

In [3] Golomb describes, for 1 < p < ∞, the H^r,p(R)-extremal extension F_* of a function ƒ:E → R (i.e., the H^r,p-spline with knots in E) and studies the cone H_*E^r,p of all such splines. We study the problem of determining when F_* is in W^r,p ≡ H^r,p ∩ L^p. If F_* ε W^r,p, then F_* is called a W^r,p-spline, and we denote by W_*E^r,p the cone of all such splines. If E is quasiuniform, then F_* ε W^r,p if and only if {ƒ(t_i)}_tiεE ε l^p. The cone W_*E^r,p with E quasiuniform is shown to be homeomorphic to l^p. Similarly, H_*E^r,p is homeomorphic to h^r,p. Approximation properties of the W^r,p-splines are studied and error bounds in terms of the mesh size ¦ E ¦ are calculated. Restricting ourselves to the case p = 2 and to quasiuniform partitions E, the second integral relation is proved and better error bounds in terms of ¦ E ¦ are derived.     

Partitioning a graph into defensive <Emphasis Type="Italic">k</Emphasis>-alliances

A defensive k-alliance in a graph is a set S of vertices with the property that every vertex in S has at least k more neighbors in S than it has outside of S. A defensive k-alliance S is called global if it forms a dominating set. In this paper we study the problem of partitioning the vertex set of a graph into (global) defensive k-alliances. The (global) defensive k-alliance partition number of a graph Θ = (V, E), (ψ _k ^gd (Γ)) ψ _k ^d (Γ), is defined to be the maximum number of sets in a partition of V such that each set is a (global) defensive k-alliance. We obtain tight bounds on ψ _k ^d (Θ) and ψ _k ^gd (Γ) in terms of several parameters of the graph including the order, size, maximum and minimum degree, the algebraic connectivity and the isoperimetric number. Moreover, we study the close relationships that exist among partitions of Γ₁ × Γ₂ into (global) defensive (k ₁ + k ₂)-alliances and partitions of Γ _i into (global) defensive k _i -alliances, i ∈ {1, 2}.     

A minimax theorem for irreducible compact operators inL p-spaces

Let (X, Σ, μ) be a σ-finite measure space,T a compact irreducible (positive, linear) operator onL ^p (μ) (1≦p<+∞). It is shown that the spectral radiusr ofT is characterized by the minimax property {fx196-1} where ∑₀ denotes the ring of sets of finite measure and whereQ denotes the set of all, almost everywhere positive functions inL ^p. Moreover, ifr>0 then equality on either side is assumed ifff is the (essentially unique) positive eigenfunction ofT. Various refinements are given in terms of corresponding relations for irreducible finite rank operators approximatingT. Dedicated to H. G. Tillmann on his 60th birthday     

AF-Embedding of Crossed Products of Certain Graph C＊-algebras by Quasi-free Actions （II）

Let E be a row-finite directed graph, let G be a locally compact abelian group with dual group Ĝ = Γ, let ω be a labeling map from E* to Γ, and let (C*(E), G, α ^ω ) be the C*-dynamical system defined by ω. Some mappings concerning the AF-embedding construction of C*(E) ×_a^w GC*(E) \times _{\alpha ^\omega } G are studied in more detail. Several necessary conditions of AF-embedding and some properties of almost proper labeling map are obtained. Moreover it is proved that if E is constructed by attaching some 1-loops to a directed graph T consisting of some rooted directed trees and G is compact, then ω is almost proper, that is a sufficient condition for AF-embedding, if and only if Σ _j=1 ^k w_gj 1 1_G\omega _{\gamma _j } \ne 1_\Gamma for any loop γ _i , γ ₂, ..., γ _k attached to one path in T.     

The stable mapping class group and Q(ℂP∞+)

In [T2] it was shown that the classifying space of the stable mapping class groups after plus construction ℤ×BΓ⁺ _∞ has an infinite loop space structure. This result and the tools developed in [BM] to analyse transfer maps, are used here to show the following splitting theorem. Let Σ^∞(ℂP ^∞ ₊)^∧ _p ≃E ₀∨...∨E _p-2 be the “Adams-splitting” of the p-completed suspension spectrum of ℂP ^∞ ₊. Then for some infinite loop space W _p ,?(ℤ×BΓ⁺ _∞)^∧ _p ≃Ω^∞(E ₀)×...×Ω^∞(E _p-3 )×W _p ?where Ω^∞ E _i denotes the infinite loop space associated to the spectrum E _i . The homology of Ω^∞ E _i is known, and as a corollary one obtains large families of torsion classes in the homology of the stable mapping class group. This splitting also detects all the Miller-Morita-Mumford classes. Our results suggest a homotopy theoretic refinement of the Mumford conjecture. The above p-adic splitting uses a certain infinite loop map?α_∞:ℤ×BΓ⁺ _∞?Ω^∞ℂP ^∞ _-1?that induces an isomorphims in rational cohomology precisely if the Mumford conjecture is true. We suggest that α_∞ might be a homotopy equivalence. Oblatum 2-VIII-1999 & 28-III-2001?Published online: 18 June 2001     

Gamma homology,Lie representations and <Emphasis Type="Italic">E</Emphasis><Subscript>∞</Subscript> multiplications

We prove that the stable homotopy of any Γ-module F is the homology of a bicomplex Ξ(F), in which the (q−1)st row is the two-sided bar construction ℬ(Lie^* _q ,Σ _q ,F[q]). This gives a natural homotopical cotangent bicomplex for graded commutative algebras, in a form suitable for use in a new obstruction theory for classifying E _∞ ring structures on spectra. The E _∞ structure on certain Lubin-Tate spectra is a corollary. Oblatum 15-X-2001 & 14-X-2002?Published online: 24 February 2003     

Group measure space decomposition of II1 factors and W*-superrigidity

We prove a “unique crossed product decomposition” result for group measure space II₁ factors L ^∞(X)⋊Γ arising from arbitrary free ergodic probability measure preserving (p.m.p.) actions of groups Γ in a fairly large family G\mathcal{G}, which contains all free products of a Kazhdan group and a non-trivial group, as well as certain amalgamated free products over an amenable subgroup. We deduce that if T _n denotes the group of upper triangular matrices in PSL (n,ℤ), then any free, mixing p.m.p. action of G = \operatornamePSL(n,\mathbbZ)*_Tn\operatornamePSL(n,\mathbbZ)\Gamma=\operatorname{PSL}(n,\mathbb{Z})*_{T_{n}}\operatorname{PSL}(n,\mathbb{Z}) is W^∗-superrigid, i.e. any isomorphism between L ^∞(X)⋊Γ and an arbitrary group measure space factor L ^∞(Y)⋊Λ, comes from a conjugacy of the actions. We also prove that for many groups Γ in the family G\mathcal{G}, the Bernoulli actions of Γ are W^∗-superrigid.     

Affinely equivalent complete flat manifolds

Let E _Aff(Γ,G, m) be the set of affine equivalence classes of m-dimensional complete flat manifolds with a fixed fundamental group Γ and a fixed holonomy group G. Let n be the dimension of a closed flat manifold whose fundamental group is isomorphic to Γ. We describe E _Aff(Γ,G, m) in terms of equivalence classes of pairs (ε, ρ), consisting of epimorphisms of Γ onto G and representations of G in ℝ ^m-n . As an application we give some estimates of card E _Aff(Γ,G, m).     

Unique ergodicity of flows on homogeneous spaces

LetG be a unimodular Lie group, Γ a co-compact discrete subgroup ofG and ‘a’ a semisimple element ofG. LetT _a be the mapgΓ →ag Γ:G/Γ →G/Γ. The following statements are pairwise equivalent: (1) (T _a, G/Γ,θ) is weak-mixing. (2) (T _a, G/Γ) is topologically weak-mixing. (3) (G ^u, G/Γ) is uniquely ergodic. (4) (G ^u, G/Γ,θ) is ergodic. (5) (G ^u, G/Γ) is point transitive. (6) (G ^u, G/Γ) is minimal. If in additionG is semisimple with finite center and no compact factors, then the statement “(T _a, G/Γ,θ) is ergodic” may be added to the above list. The authors were partially supported by NSF grant MCS 75-05250.     

On the Oka principle in a Banach space,II

 Let X be one of the Banach spaces c ₀ , ℓ _p , 1≤p<∞; Ω⊂X pseudoconvex open, a holomorphic Banach vector bundle with a Banach Lie group G ^* for structure group. We show that a suitable Runge-type approximation hypothesis on X, G ^* (which we also prove for G ^* a solvable Lie group) implies the vanishing of the sheaf cohomology groups H ^q (Ω, 𝒪 ^E ), q≥1, with coefficients in the sheaf of germs of holomorphic sections of E. Further, letting 𝒪^Γ (𝒞^Γ) be the sheaf of germs of holomorphic (continuous) sections of a Banach Lie group bundle Γ→Ω with Banach Lie groups G, G ^* for fiber group and structure group, we show that a suitable Runge-type approximation hypothesis on X, G, G ^* (which we prove again for G, G ^* solvable Lie groups) implies the injectivity (and for X=ℓ₁ also the surjectivity) of the Grauert–Oka map H ¹ (Ω, 𝒪^Γ)→H ¹ (Ω, 𝒞^Γ) of multiplicative cohomology sets. Received: 1 March 2002 / Published online: 28 March 2003 Mathematics Subject Classification (2000): 32L20, 32L05, 46G20 RID="*" ID="*" Kedves Laci Móhan kisfiamnak. RID="*" ID="*" To my dear little Son     

A unified approach for univalent functions with negative coefficients using the Hadamard product

For given analytic functions ϕ(z) = z + Σ _n=2^∞ λ _n z ⁿ , Ψ(z) = z + Σ _n=2^∞ μ with λ _n ≥ 0, μ _n ≥ 0, and λ _n ≥ μ _n and for α, β (0≤α<1, 0<β≤1), let E(φ,ψ; α, β) be of analytic functions ƒ(z) = z + Σ _n=2^∞ a _n z ⁿ in U such that f(z)*ψ(z)≠0 and