Lie and Jordan Ideals in Reflexive Algebras

A CDCSL algebra is a reflexive operator algebra with completely distributive and commutative subspace lattice. In this paper, we show, for a weakly closed linear subspace of a CDCSL algebra , that is a Lie ideal if and only if for all invertibles A in , and that is a Jordan ideal if and only if it is an associative ideal.     

Tolokonnikov’s Lemma for Real H ∞ and the Real Disc Algebra

We prove Tolokonnikov’s Lemma and the inner-outer factorization for the real Hardy space , the space of bounded holomorphic (possibly operator-valued) functions on the unit disc all of whose matrix-entries (with respect to fixed orthonormal bases) are functions having real Fourier coefficients, or equivalently, each matrix entry f satisfies for all z ∈ . Tolokonnikov’s Lemma for means that if f is left-invertible, then f can be completed to an isomorphism; that is, there exists an F, invertible in , such that F = [ f f _c ] for some f _c in . In control theory, Tolokonnikov’s Lemma implies that if a function has a right coprime factorization over , then it has a doubly coprime factorization in . We prove the lemma for the real disc algebra as well. In particular, and are Hermite rings. The work of the first author was supported by Magnus Ehrnrooth Foundation. Received: December 5, 2006. Revised: February 4, 2007.     

<Emphasis Type="Italic">C</Emphasis><Superscript>*</Superscript>-Algebras of Bergman Type Operators with Piecewise Continuous Coefficients

The C ^*-algebra generated by the n poly-Bergman and m antipoly-Bergman projections and by the operators of multiplication by piecewise continuous functions on the Lebesgue space L ²(Π) over the upper half-plane is studied. Making use of a local principle, limit operators techniques, and the Plamenevsky results on two-dimensional convolution operators with symbols admitting homogeneous discontinuities we reduce the study to simpler C ^*-algebras associated with points and pairs . Applying a symbol calculus for the abstract unital C ^*-algebras generated by N orthogonal projections sum of which equals the unit and by M = n + m one-dimensional orthogonal projections and using relations for the Gauss hypergeometric function, we study local algebras at points being the discontinuity points of coefficients. A symbol calculus for the C ^*-algebra is constructed and a Fredholm criterion for the operators is obtained.     

Schur Complements in Krein Spaces

The aim of this work is to generalize the notions of Schur complements and shorted operators to Krein spaces. Given a (bounded) J-selfadjoint operator A (with the unique factorization property) acting on a Krein space and a suitable closed subspace of , the Schur complement of A to is defined. The basic properties of are developed and different characterizations are given, most of them resembling those of the shorted of (bounded) positive operators on a Hilbert space. To the memory of Professor Mischa Cotlar     

Invariant Subspaces for Banach Space Operators with a Multiply Connected Spectrum

We consider a multiply connected domain where denotes the unit disk and denotes the closed disk centered at with radius r _j for j = 1, . . . , n. We show that if T is a bounded linear operator on a Banach space X whose spectrum contains ∂Ω and does not contain the points λ₁, λ₂, . . . , λ _n , and the operators T and r _j (T − λ _j I)⁻¹ are polynomially bounded, then there exists a nontrivial common invariant subspace for T ^* and (T − λ _j I)^*-1.     

Algebras Generated by the Bergman and Anti-Bergman Projections and by Multiplications by Piecewise Continuous Functions

The C*-algebra generated by the Bergman and anti-Bergman projections and by the operators of multiplication by piecewise continuous functions on the Lebesgue space L²(Π) over the upper half-plane is studied. Making use of a local principle, limit operators techniques, and the Plamenevsky results on two-dimensional singular integral operators with coefficients admitting homogeneous discontinuities we reduce the study to simpler C*-algebras associated with points and pairs We construct a symbol calculus for unital C*-algebras generated by n orthogonal projections sum of which equals the unit and by m one-dimensional orthogonal projections. Such algebras are models of local algebras at points z ∈∂Π being the discontinuity points of coefficients. A symbol calculus for the C*- algebra and a Fredholm criterion for the operators are obtained. Finally, a C*-algebra isomorphism between the quotient algebra where is the ideal of compact operators, and its analogue for the unit disk is constructed.     

Remarks on ample vector bundles of curve genus two

Let be an ample vector bundle of rank n – 1 on a smooth complex projective variety X of dimension n≥ 3 such that X is a -bundle over and that for any fiber F of the bundle projection . The pairs with = 2 are classified, where is the curve genus of . This allows us to improve some previous results. Received: 13 June 2006     

A Remark on Support of the Principal Function for Class A Operators

Let be an invertible class A operator such that . Then we show that , where gT is the principal function of T. Moreover, we show that if T is pure, then .     

On the Matlis duals of local cohomology modules

Let ( ) be a commutative Noetherian local ring with non-zero identity, an ideal of R and M a finitely generated R-module with . Let D(–) := Hom _R (–, E) be the Matlis dual functor, where is the injective hull of the residue field . We show that, for a positive integer n, if there exists a regular sequence and the i-th local cohomology module H ⁱ _a (M) of M with respect to is zero for all i with i > n then The author was partially supported by a grant from Institute for Studies in Theoretical Physics and Mathematics (IPM) Iran (No. 85130023). Received: 9 August 2006     

Equidistribution of Rational Matrices in their Conjugacy Classes

Let G be a connected simply connected almost -simple algebraic group with non-compact and a cocompact congruence subgroup. For any homogeneous manifold of finite volume, and a , we show that the Hecke orbit T _a (x ₀ H) is equidistributed on as , provided H is a non-compact commutative reductive subgroup of G. As a corollary, we generalize the equidistribution result of Hecke points ([COU], [EO1]) to homogeneous spaces G/H. As a concrete application, we describe the equidistribution result in the rational matrices with a given characteristic polynomial. The second author partially supported by DMS 0333397. Received: May 2005 Revision: March 2006 Accepted: June 2006     

Hypercyclic Conjugate Operators

We prove that for any weighted backward shift B = B_w on an infinite dimensional separable Hilbert space H whose weight sequence w = (w_n) satisfies , the conjugate operator is hypercyclic on the space S(H) of self-adjoint operators on H provided with the topology of uniform convergence on compact sets. That is, there exists an such that is dense in S(H). We generalize the result to more general conjugate maps , and establish similar results for other operator classes in the algebra B(H) of bounded operators, such as the ideals K(H) and N(H) of compact and nuclear operators respectively.     

An Operator-valued Berezin Transform and the Class of <Emphasis Type="Italic">n</Emphasis>-Hypercontractions

We study an operator-valued Berezin transform corresponding to certain standard weighted Bergman spaces of square integrable analytic functions in the unit disc. The study of this operator-valued Berezin transform relates in a natural way to the study of the class of n-hypercontractions on Hilbert space introduced by Agler. To an n-hypercontraction we associate a positive -valued operator measure dω _{n, T} supported on the closed unit disc in a way that generalizes the above notion of operator-valued Berezin transform. This construction of positive operator measures dω _{n, T} gives a natural functional calculus for the class of n-hypercontractions. We revisit also the operator model theory for the class of n-hypercontractions. The new results here concern certain canonical features of the theory. The operator model theory for the class of n-hypercontractions gives information about the structure of the positive operator measures dω _{n, T} .     

Solution of the Truncated Hyperbolic Moment Problem

Let Q(x, y) = 0 be an hyperbola in the plane. Given real numbers β ≡ β ⁽²ⁿ⁾={ β _ij } _{i,j ≥ 0,i+j ≤ 2n} , with β₀₀ > 0, the truncated Q-hyperbolic moment problem for β entails finding necessary and sufficient conditions for the existence of a positive Borel measure μ, supported in Q(x, y) = 0, such that We prove that β admits a Q-representing measure μ (as above) if and only if the associated moment matrix is positive semidefinite, recursively generated, has a column relation Q(X,Y) = 0, and the algebraic variety associated to β satisfies card In this case, if then β admits a rank -atomic (minimal) Q-representing measure; if then β admits a Q-representing measure μ satisfying      

Weak Hopf Algebras Corresponding to Borcherds-Cartan Matrices

Let y be a generalized Kac-Moody algebra with an integral Borcherds-Cartan matrix. In this paper, we define a d-type weak quantum generalized Kac-Moody algebra wUq^d（y）, which is a weak Hopf algebra. We also study the highest weight module over the weak quantum algebra wUdq^d（y） and weak A-forms of wUq^d（y）.     

Universal Similarity Factorization Equalities over Generalized Clifford Algebras

For any element a in a generalized 2^n-dimensional Clifford algebra Lln （F） over an arbitrary field F of characteristic not equal to two, it is shown that there exits a universal invertible matrix Pn over Lln（F） such that Pn^-1DnPn= φ（α）∈F^2n×2n, where φ（a） is a matrix representation of α over and Dα is a diagonal matrix consisting of a or its conjugate.     

Supersaturation For Ramsey-Turán Problems

For an l-graph , the Turán number is the maximum number of edges in an n-vertex l-graph containing no copy of . The limit is known to exist [8]. The Ramsey–Turán density is defined similarly to except that we restrict to only those with independence number o(n). A result of Erdős and Sós [3] states that as long as for every edge E of there is another edge E′of for which |E∩E′|≥2. Therefore a natural question is whether there exists for which . Another variant proposed in [3] requires the stronger condition that every set of vertices of of size at least εn (0<ε<1) has density bounded below by some threshold. By definition, for every . However, even is not known for very many l-graphs when l>2. We prove the existence of a phenomenon similar to supersaturation for Turán problems for hypergraphs. As a consequence, we construct, for each l≥3, infinitely many l-graphs for which . We also prove that the 3-graph with triples 12a, 12b, 12c, 13a, 13b, 13c, 23a, 23b, 23c, abc, satisfies . The existence of a hypergraph satisfying was conjectured by Erdős and Sós [3], proved by Frankl and R?dl [6], and later by Sidorenko [14]. Our short proof is based on different ideas and is simpler than these earlier proofs. * Research supported in part by the National Science Foundation under grants DMS-9970325 and DMS-0400812, and an Alfred P. Sloan Research Fellowship. † Research supported in part by the National Science Foundation under grants DMS-0071261 and DMS-0300529.     

Bivariate Function Spaces and the Embedding of Their Marginal Spaces

For a probability space we denote the marginal measures of , defined on Σ and Λ respectively, by and . If ρ is a function norm defined on marginal function norms ρ₁ and ρ₂ are defined on and . We find conditions which guarantee L_{ρ 1} + L_{ρ 2} to be embedded in L_ρ as a closed subspace. The problem is encountered in Statistics when estimating a bivariate distribution with known marginals. We find a condition which, applied to the binormal distribution in L², improves some known conditions.     

Addendum to “Complete rotation hypersurfaces with <Emphasis Type="Italic">H</Emphasis><Subscript><Emphasis Type="Italic">k</Emphasis></Subscript> constant in space forms”*

Here we study complete rotation hypersurfaces with constant k-th mean curvature H_k in even and 2 < k < n. We prove the existence of a constant such that there are no such hypersurfaces for . We have only one compact hypersurface of this kind with . For each there is a corresponding family of complete immersed rotation hypersurfaces, each family containing two isoparametric hypersurfaces. For H_k ≥ 0, there is also such a family, now containing only one isoparametric hypersurface. Finally, we prove the existence of compact hypersurfaces with arbitrarily large H_k , neither isometric to a sphere nor to a product of spheres. *Bull. Braz. Math. Soc. 30 (2), 1999, 139–161. **Partially supported by FUNCAP, Brazil. ***Partially supported by CNPq, Brazil and DGAPA-UNAM, México.     

On A Hypergraph Turán Problem Of Frankl

Let be the 2k-uniform hypergraph obtained by letting P₁, . . .,P_r be pairwise disjoint sets of size k and taking as edges all sets P_i∪P_j with i ≠ j. This can be thought of as the ‘k-expansion’ of the complete graph K_r: each vertex has been replaced with a set of size k. An example of a hypergraph with vertex set V that does not contain can be obtained by partitioning V = V1 ∪V₂ and taking as edges all sets of size 2k that intersect each of V₁ and V₂ in an odd number of elements. Let denote a hypergraph on n vertices obtained by this construction that has as many edges as possible. For n sufficiently large we prove a conjecture of Frankl, which states that any hypergraph on n vertices that contains no has at most as many edges as . Sidorenko has given an upper bound of for the Tur′an density of for any r, and a construction establishing a matching lower bound when r is of the form 2^p+1. In this paper we also show that when r=2^p+1, any -free hypergraph of density looks approximately like Sidorenko’s construction. On the other hand, when r is not of this form, we show that corresponding constructions do not exist and improve the upper bound on the Turán density of to , where c(r) is a constant depending only on r. The backbone of our arguments is a strategy of first proving approximate structure theorems, and then showing that any imperfections in the structure must lead to a suboptimal configuration. The tools for its realisation draw on extremal graph theory, linear algebra, the Kruskal–Katona theorem and properties of Krawtchouck polynomials. * Research supported in part by NSF grants DMS-0355497, DMS-0106589, and by an Alfred P. Sloan fellowship.     

Parametrization of Contractive Block Operator Matrices and Passive Discrete-Time Systems

Passive linear systems τ = have their transfer function in the Schur class S . Using a parametrization of contractive block operators the transfer function is connected to the Sz.-Nagy–Foiaş characteristic function of the contraction A. This gives a new aspect and some explicit formulas for studying the interplay between the system τ and the functions and . The method leads to some new results for linear passive discrete-time systems. Also new proofs for some known facts in the theory of these systems are obtained. Dedicated to Eduard Tsekanovskiĭ on the occasion of his seventieth birthday This work was supported by the Research Institute for Technology at the University of Vaasa. The first author was also supported by the Academy of Finland (projects 212146, 117617) and the Dutch Organization for Scientific Research N.W.O. (B 61-553). Received: December 22, 2006. Revised: February 6, 2007.