Some Remarks on the Cone of Completely Positive Maps between Von Neumann Algebras

The close relationship between the notions of positive formsand representations for a C*-algebra A is one of the most basicfacts in the subject. In particular the weak containment ofrepresentations is well understood in terms of positive forms:given a representation of A in a Hilbert space H and a positiveform on A, its associated representation is weakly containedin (that is, ker ker ) if and only if belongs to the weak*closure of the cone of all finite sums of coefficients of .Among the results on the subject, let us recall the followingones. Suppose that A is concretely represented in H. Then everypositive form on A is the weak* limit of forms of the typex ^k_{i=1 i}, x_i with the _i in H; moreover if A is a von Neumannsubalgebra of (H) and is normal, there exists a sequence (_i)_{i 1} in H such that (x) = _{i 1 i}, x_i for all x.     

Symmetrization and norm of the Hardy-Littlewood maximal operator on Lorentz and Marcinkiewicz spaces

We prove that when a function on the real line is symmetricallyrearranged, the distribution function of its uncentered Hardy–Littlewoodmaximal function increases pointwise, while it remains unchangedonly when the function is already symmetric. Equivalently, if is the maximal operator and the symmetrization, then f(x)f(x)for every x, and equality holds for all x if and only if, upto translations, f(x) = f(x) almost everywhere. Using theseresults, we then compute the exact norms of the maximal operatoracting on Lorentz and Marcinkiewicz spaces, and we determineextremal functions that realize these norms.     

Contractions et Hyperdistributions a Spectre de Carleson

Let =(_n)_n1 be a log concave sequence such that lim inf_n+n/n^c>0for some c>0 and ((log _n)/n)_n1 is nonincreasing for some<1/2. We show that, if T is a contraction on the Hilbertspace with spectrum a Carleson set, and if ||T^–n||=O(_n)as n tends to + with _n11/(n log _n)=+, then T is unitary. Onthe other hand, if _n11/(n log _n)<+, then there exists a (non-unitary)contraction T on the Hilbert space such that the spectrum ofT is a Carleson set, ||T^–n||=O(_n) as n tends to +, andlim sup_n+||T^–n||=+.     

Constructible Functions on Artin Stacks

Let be an algebraically closed field, let X be a -variety,and let X() be the set of closed points in X. A constructibleset C in X() is a finite union of subsets Y() for subvarietiesY in X. A constructible function f : X() has f(X()) finiteand f^–1(c) constructible for all c 0. Write CF(X) forthe vector space of such f. Let : X Y and : Y Z be morphismsof -varieties. MacPherson defined a linear pushforward CF(): CF(X) CF(Y) by ‘integration’ with respect tothe topological Euler characteristic. It is functorial, thatis, CF( ) = CF() CF(). This was extended to of characteristiczero by Kennedy. This paper generalizes these results to -schemes and Artin -stackswith affine stabilizer groups. We define the notions of Eulercharacteristic for constructible sets in -schemes and -stacks,and pushforwards and pullbacks of constructible functions, withfunctorial behaviour. Pushforwards and pullbacks commute inCartesian squares. We also define pseudomorphisms, a generalizationof morphisms well suited to constructible functions problems.     

An Access Theorem for Continuous Functions

Let f be a continuous function on an open subset of R² suchthat for every x there exists a continuous map : [–1,1] with (0) = x and f increasing on [–1, 1]. Thenfor every there exists a continuous map : [0, 1) suchthat (0) = y, f is increasing on [0; 1), and for every compactsubset K of , max{t : (t) K} < 1. This result gives an answerto a question posed by M. Ortel. Furthermore, an example showsthat this result is not valid in higher dimensions.     

Majorations Uniformes de Normes D'Inverses Dans Les Algebres de Beurling

The Beurling algebras l¹(D,)(D=N,Z) that are semi-simple, withcompact Gelfand transform, are considered. The paper gives anecessary and sufficient condition (on ) such that l¹(D,) possessesa uniform quantitative version of Wiener's theorem in the sensethat there exists a function :]0,+[]0,+ such that, for everyinvertible element x in the unit ball of l¹(D,), we have ||x^–1||(r(x^–1)) r(x^–1) is the spectral radiusof x^–1.     

BOUNDARY CONCENTRATION IN RADIAL SOLUTIONS TO A SYSTEM OF SEMILINEAR ELLIPTIC EQUATIONS

We study concentration phenomena for the system in the unit ball B₁ of ³ with Dirichlet boundaryconditions. Here , , > 0 and p > 1. We prove the existenceof positive radial solutions (, ) such that concentrates ata distance (/2)|log | away from the boundary B₁ as the parameter tends to 0. The approach is based on a combination of Lyapunov–Schmidtreduction procedure together with a variational method.     

Periodic Solutions of Lienard Equations with Asymmetric Nonlinearities at Resonance

The existence of 2-periodic solutions of the second-order differentialequation where a, b satisfy and p(t)=p(t+2),t R, is examined. Assume that limits lim_x±F(x)=F(±)(F(x)=) and lim_x±g(x)=g(±)exist and are finite. It is proved that the equation has atleast one 2-periodic solution provided that the zeros of thefunction ₁ are simple and the zeros of the functions ₁, ₂ aredifferent and the signs of ₂ at the zeros of ₁ in [0,2/n) donot change or change more than two times, where ₁ and ₂ aredefined as follows: Moreover, it is also proved that the given equation has at leastone 2-periodic solution provided that the following conditionshold: with 1 p < q 2.     

On Artin's Braid Group And Polyconvexity In The Calculus Of Variations

Let R² be a bounded Lipschitz domain and let be a Carathèodory integrand such that F(x,·) is polyconvex for L²-a.e. x . Moreover assume thatF is bounded from below and satisfies the condition as det for L²-a.e. x . The paper describes the effect of domain topologyon the existence and multiplicity of strong local minimizersof the functional wherethe map u lies in the Sobolev space W_id^1,p (, R²) with p 2and satisfies the pointwise condition u(x) >0 for L²-a.e.x . The question is settled by establishing that F[·]admits a set of strong local minimizers on that can be indexed by the group P_n Zⁿ, the directsum of Artin's pure braid group on n strings and n copies ofthe infinite cyclic group. The dependence on the domain topologyis through the number of holes n in and the different mechanismsthat give rise to such local minimizers are fully exploitedby this particular representation.     

Theta-characteristics on singular curves

On a smooth curve a theta-characteristic is a line bundle L,the square of which is the canonical line bundle . The equivalentcondition om(L, ) L generalizes well to singular curves, asapplications show. More precisely, a theta-characteristic isa torsion-free sheaf of rank 1 with om(, ) . If the curvehas non-ADE singularities, then there are infinitely many theta-characteristics.Therefore, theta-characteristics are distinguished by theirlocal type. The main purpose of this article is to compute thenumber of even and odd theta-characteristics (that is withh⁰(C, ) 0 and h⁰(C, ) 1 modulo 2, respectively) in terms ofthe geometric genus of the curve and certain discrete invariantsof a fixed local type.     

Constructing {kappa}-like Models of Arithmetic

A model (M, <, ...) is -like if M has cardinality but, forall M, the cardinality of {x M : x < a} is strictly lessthan . In this paper we shall give constructions of -like modelsof arithmetic satisfying an arbitrarily large finite part ofPA but not PA itself, for various singular cardinals . The mainresults are: (1) for each countable nonstandard M ₂–Th(PA)with arbitrarily large initial segments satisfying PA and eachuncountable of cofinality there is a cofinal extension K ofM which is -like; also hierarchical variants of this resultfor _n–Th(PA); and (2) for every n 1, every singular and every M B_n+exp+¬ I_n there is a -like model K elementarilyequivalent to M.     

On Borel Sets in Function Spaces with the Weak Topology

It is proved that the duality map ,:(, weak)x(()*, weak*)R isnot Borel. More generally, the evaluation e:(C)(K),x KR, e(f,x) = f(x), is not Borel for any function space C(K) on a compactF-space. It is also shown that a non-coincidence of norm-Boreland weak-Borel sets in a function space does not imply thatthe duality map is non-Borel.     

Extremal Subgroups in Chevalley Groups

Throughout this paper G(k) denotes a Chevalley group of rankn defined over the field k, where n3. Let be the root systemassociated with G(k) and let ={₁, ₂, ..., _n} be a set of fundamentalroots of , with ⁺ being the set of positive roots of with respectto . For and ⁺, let n() be the coefficient of in the expressionof as a sum of fundamental roots; so =n(). Also we recall thatht(), the height of , is given by ht()=n(). The highest rootin ⁺ will be denoted by . We additionally assume that the Dynkindiagram of G(k) is connected.     

Weighted Integral Inequalities for the Hardy Type Operator and the FractionalMaximal Operator

Let w(x), u(x) and (x) be weight functions. In this paper, underappropriate conditions on Young's functions ₁, ₂ we characterizethe inequality for the Hardy-typeoperator T defined in [1] and the inequality for the fractional maximal operator M_{, ;} definedin [8], as well as the corresponding weak-type inequalities.     

A Class of Infinite Dimensional Simple Lie Algebras

Let A be an abelian group, F be a field of characteristic 0,and , ß be linearly independent additive maps fromA to F, and let ker()\{0}. Then there is a Lie algebra L = L(A,, ß, ) = _xA Fe_x under the product [e_x, e_y]]=(x–y)e_x+y+(ß) (x, y) e_x+y–. If, further, ß() = 1, and ß(A) = Z, thereis a subalgebra L⁺:=L(A⁺, , ß, ) = _xA⁺ Fe_x, whereA⁺ = {xA|ß(x)0}. The necessary and sufficient conditionsare given for L' = [L, L] and L⁺ to be simple, and all semi-simpleelements in L' and L⁺ are determined. It is shown that L' andL⁺ cannot be isomorphic to any other known Lie algebras andL' is not isomorphic to any L⁺, and all isomorphisms betweentwo L' and all isomorphisms between two L⁺ are explicitly described.     

On the Total Coloring of Graphs Embeddable in Surfaces

The paper shows that any graph G with the maximum degree (G) 8, which is embeddable in a surface of Euler characteristic() 0, is totally ((G)+2)-colorable. In general, it is shownthat any graph G which is embeddable in a surface and satisfiesthe maximum degree (G) (20/9) (3–())+1 is totally ((G)+2)-colorable.     

Piecewise Absolutely Continuous Cocycles Over Irrational Rotations

For an irrational rotation of the circle group T=R/Z and apiecewise absolutely continuous function f:TR, the unitary operatorVh(x)=e^2if(x)h(x+) on L²(T) is studied. It is shown that iff has a single discontinuity with non-integer jump then V is-weakly mixing for some with 0<||<1. In particular Vhas continuous singular spectrum. The property of -weak mixing(with possible change of the value of , 0<||<1) holdsfor all irrational rotations and, given , is stable under perturbationsof f by functions with sufficiently small O(1/n)-norm. On theother hand, there exists a piecewise linear function f withtwo non-integer jumps such that the spectrum of V is continuoussingular for one value of and Lebesgue for another.     

Calderon-Zygmund Operators on Mixed Lebesgue Spaces and Applications to Null Forms

The boundedness of Calderón–Zygmund operators isproved in the scale of the mixed Lebesgue spaces. As a consequence,the boundedness of the bilinear null forms Q_{i j} (u,) =_i u_j - _j u_i , Q₀(u,)=u_{t t} -_x u· _x on various space–timemixed Sobolev–Lebesgue spaces is shown.     

The Isolated Points of G{rho} and the w*-Strongly Exposed Points of P{rho}(G)0

Let G be a separable locally compact group and let be its dualspace with Fell's topology. It is well known that the set P(G)of continuous positive-definite functions on G can be identifiedwith the set of positive linear functionals on the group C^*-algebraC^*(G). We show that if is discrete in , then there exists anonzero positive-definite function associated with such that is a w^*-strongly exposed point of P(G)₀, where P(G)₀={f P(G):f(e)1. Conversely, if some nonzero positive-definite function associatedwith is a w^*-strongly exposed point of P(G)₀, then is isolatedin . Consequently, G is compact if and only if, for every ,there exists a nonzero positive-definite function associatedwith that is a w^*-strongly exposed point of P(G)₀. If, in addition,G is unimodular and , then is isolated in if and only if somenonzero positive-definite function associated with is a w^*-stronglyexposed point of P(G)₀, where is the left regular representationof G and is the reduced dual space of G. We prove that if B(G)has the Radon–Nikodym property, then the set of isolatedpoints of (so square-integrable if G is unimodular) is densein . It is also proved that if G is a separable SIN-group, thenG is amenable if and only if there exists a closed point in. In particular, for a countable discrete non-amenable groupG (for example the free group F₂ on two generators), there isno closed point in its reduced dual space .     

Multiplicative Functions on Arithmetic Progressions. VII: Large Moduli

A complex valued function g, defined on the positive integers,is multiplicative if it satisfies g(ab) = g(a)g(b) wheneverthe integers a and b are mutually prime. THEOREM 1. Let D be an integer, 2 D x, > 0. Let g be amultiplicative function with values in the complex unit disc. There is a character _{1(mod D)}, real if g is real, such thatwhen 0 < < 1, uniformly for (a, D) = 1, D y, x y x, the implied constantdepending at most upon , .