On the nuclearity of integral operators

Let X be a nonempty measurable subset of and consider the restriction of the usual Lebesgue measure σ of to X. Under the assumption that the intersection of X with every open ball of has positive measure, we find necessary and sufficient conditions on a L²(X)-positive definite kernel in order that the associated integral operator be nuclear. Taken nuclearity for granted, formulas for the trace of the operator are derived. Some of the results are re-analyzed when K is just an element of .      

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.     

Characterization of Amalgamated Free Blocks of a Graph von Neumann Algebra

We identify two noncommutative structures naturally associated with countable directed graphs. They are formulated in the language of operators on Hilbert spaces. If G is a countable directed graphs with its vertex set V(G) and its edge set E(G), then we associate partial isometries to the edges in E(G) and projections to the vertices in V(G). We construct a corresponding von Neumann algebra as a groupoid crossed product algebra of an arbitrary fixed von Neumann algebra M and the graph groupoid induced by G, via a graph-representation (or a groupoid action) α. Graph groupoids are well-determined (categorial) groupoids. The graph groupoid of G has its binary operation, called admissibility. This has concrete local parts , for all e ∈ E(G). We characterize of , induced by the local parts of , for all e ∈ E(G). We then characterize all amalgamated free blocks of . They are chracterized by well-known von Neumann algebras: the classical group crossed product algebras , and certain subalgebras (M) of operator-valued matricial algebra . This shows that graph von Neumann algebras identify the key properties of graph groupoids. Received: December 20, 2006. Revised: March 07, 2007. Accepted: March 13, 2007.     

Notes on very ample vector bundles on 3-folds

Let be a very ample vector bundle of rank two on a smooth complex projective threefold X. An inequality about the third Segre class of is provided when is nef but not big, and when a suitable positive multiple of defines a morphism X → B with connected fibers onto a smooth projective curve B, where K_X is the canonical bundle of X. As an application, the case where the genus of B is positive and has a global section whose zero locus is a smooth hyperelliptic curve of genus ≧ 2 is investigated, and our previous result is improved for threefolds. Received: 27 January 2005; revised: 26 March 2005     

Compactness of Bochner representable operators on Orlicz spaces

We study compactness properties of linear operators from an Orlicz space L^Φ provided with a natural mixed topology to a Banach space (X, || · ||_X). We derive that every Bochner representable operator is -compact. In particular, it is shown that every Bochner representable operator is (τ(L^∞, L¹), || · ||_X)-compact.      

On Generic Well-posedness of Restricted Chebyshev Center Problems in Banach Spaces

Let B （resp. K, BC,KC） denote the set of all nonempty bounded （resp. compact, bounded convex, compact convex） closed subsets of the Banach space X, endowed with the Hausdorff metric, and let G be a nonempty relatively weakly compact closed subset of X. Let B° stand for the set of all F ∈B such that the problem （F, G） is well-posed. We proved that, if X is strictly convex and Kadec, the set KC ∩ B° is a dense Gδ-subset of KC ／ G. Furthermore, if X is a uniformly convex Banach space, we will prove more, namely that the set B ／B° （resp. K ／ B°, BC ／B°, KC ／ B°） is a-porous in B （resp. K,BC, KC）. Moreover, we prove that for most （in the sense of the Baire category） closed bounded subsets G of X, the set K ／ B° is dense and uncountable in K.     

Applications of a theorem of Singerman about Fuchsian groups

Assume that we have a (compact) Riemann surface S, of genus greater than 2, with , where is the complex unit disc and Γ is a surface Fuchsian group. Let us further consider that S has an automorphism group G in such a way that the orbifold S/G is isomorphic to where is a Fuchsian group such that and has signature σ appearing in the list of non-finitely maximal signatures of Fuchsian groups of Theorems 1 and 2 in [6]. We establish an algebraic condition for G such that if G satisfies such a condition then the group of automorphisms of S is strictly greater than G, i.e., the surface S is more symmetric that we are supposing. In these cases, we establish analytic information on S from topological and algebraic conditions. Received: 4 April 2008     

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     

Regular orbits and positive directions

Let A be a bounded linear operator defined on a separable Banach space X. Then A is said to be supercyclic if there exists a vector x ∈ X (later called supercyclic for A), such that the projective orbit is dense in X. On the other hand, A is said to be positive supercyclic if for each supercyclic vector x, the positive projective orbit, is dense in X. Sometimes supercyclicity and positive supercyclicity are equivalent. The study of this relationship was initiated in [14] by F. León and V. Müller. In this paper we study positive supercyclicity for operators A of the form , with , defined on . We will see that such a problem is related with the study of regular orbits. The notion of positive directions will be central throughout the paper.      

Ratios of Norms for Polynomials and Connected n-width Problems

Let be a bounded simply connected domain with boundary Γ and let be a regular compact set with connected complement. In this paper we investigate asymptotics of the extremal constants:

Hermitian modular forms congruent to 1 modulo p

For any natural number and any prime (mod 4) not dividing there is a Hermitian modular form of arbitrary genus n over that is congruent to 1 modulo p which is a Hermitian theta series of an O_L-lattice of rank p − 1 admitting a fixed point free automorphism of order p. It is shown that also for non-free lattices such theta series are modular forms. Received: 29 October 2008     

Some properties of essential spectra of a positive operator, II

Let T be a positive operator on a Banach lattice E. Some properties of Weyl essential spectrum σ_ew(T), in particular, the equality , where is the set of all compact operators on E, are established. If r(T) does not belong to Fredholm essential spectrum σ_ef(T), then for every a ≠ 0, where T₋₁ is a residue of the resolvent R(., T) at r(T). The new conditions for which implies , are derived. The question when the relation holds, where is Lozanovsky’s essential spectrum, will be considered. Lozanovsky’s order essential spectrum is introduced. A number of auxiliary results are proved. Among them the following generalization of Nikol’sky’s theorem: if T is an operator of index zero, then T = R + K, where R is invertible, K ≥ 0 is of finite rank. Under the natural assumptions (one of them is ) a theorem about the Frobenius normal form is proved: there exist T-invariant bands such that if , where , then an operator on D_i is band irreducible.      

Sobolev spaces with only trivial isometries, II

In this article, we obtain a canonical form for surjective linear isometries provided U is an open, bounded, connected, domain with Lipschitz boundary, and . We will show there exists |c| = 1 and mapping τ that is a composition of a translation and a sign-changing permutation of coordinates such that Tf = cf(τ). As a corollary, if , all surjective isometries have this trivial form by the Sobolev Imbedding Theorem.      

Additive Maps Preserving Local Spectrum

Let X be a complex Banach space, and let be the space of bounded operators on X. Given and x ∈ X, denote by σ_T (x) the local spectrum of T at x. We prove that if is an additive map such that

Fong characters and chains of normal subgroups

In this note, we show that if is a π-partial character of the π-separable group is a chain of normal subgroups of G, and H is a Hall π-subgroup of G, then has a Fong character α Irr(H) such that for every subgroup , every irreducible constituent of α _H∩N is Fong for N. We also show that if is quasi-primitive, then for every normal subgroup M of G the irreducible constituents of are Fong for M. Received: 21 July 2006 Revised: 17 January 2007     

Uniformly summing sets of operators on spaces of vector–valued continuous functions

Let X, Y be Banach spaces. We say that a set is uniformly p–summing if the series is uniformly convergent for whenever (x_n) belongs to . We consider uniformly summing sets of operators defined on a -space and prove, in case X does not contain a copy of c₀, that is uniformly summing iff is, where T (φ x) = (T^#φ) x for all and x∈X. We also characterize the sets with the property that is uniformly summing viewed in . Received: 1 July 2005     

Lectures on the Orbital Stability of Standing Waves and Application to the Nonlinear Schrödinger Equation

In the first part of these notes, we deal with first order Hamiltonian systems in the form where the phase space X may be infinite dimensional so as to accommodate some partial differential equations. The Hamiltonian is required to be invariant with respect to the action of a group of isometries where is skew-symmetric and JA  = AJ. A standing wave is a solution having the form for some and such that . Given a solution of this type, it is natural to investigate its stability with respect to perturbations of the initial condition. In this context, the appropriate notion of stability is orbital stability in the usual sense for a dynamical system. We present some of the important criteria for establishing orbital stability of standing waves. In the second part we consider the nonlinear Schr?dinger equation which provides an interesting example of this situation where standing waves appear as time-harmonic solutions. We show how the general theory applies to this case and review what is known about stability. Received: January 2008     

Multipliers of Fractional Cauchy Transforms

Let B_n denote the unit ball of , n ≥ 2. Given an α > 0, let denote the class of functions defined for by integrating the kernel against a complex-valued measure on the sphere . Let denote the space of holomorphic functions in the ball. A function is called a multiplier of provided that for every . In the present paper, we obtain explicit analytic conditions on which imply that g is a multiplier of . Also, we discuss the sharpness of the results obtained. This research was supported by RFBR (grant no. 08-01-00358-a), by the Russian Science Support Foundation and by the programme “Key scientific schools NS 2409.2008.1”.     

A sharp estimate and change on the dimension of the attractor for singular semilinear parabolic equations

We consider the semilinear reaction diffusion equation