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.     

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.     

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.     

Structure of bounded topological-sequence-entropy minimal systems

In this article we prove that a minimal topological dynamicalsystem (X, T) with bounded topological sequence entropy hasthe following structure. Here is the maximal equicontinuous factor of (X, T), ^' and^' are proximal extensions and ^' is a finite-to-one equicontinuousextension. In order to prove this result we consider sequenceentropy tuples and give their complete relation with regionallyproximal tuples.     

Morita Equivalent Twisted Actions and a New Version of the Packer-Raeburn Stabilization Trick

We show that every twisted action (, ) of a locally compactgroup G on a C*-algebra A is Morita equivalent to an ordinaryaction of G/N, where N is the domain of . This result allowsus to apply many results known for ordinary covariant systemsto the more general twisted case. Especially, this is true forresults which are obtained by the Mackey machine.     

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.     

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.     

Concavity and B-Concavity of Solutions of Quasilinear Filtration Equations

Spatial concavity properties of non-negative weak solutionsof the filtration equations with absorption u_t = ((u))_xx–(u)in Q = Rx(0, ), '0, 0 are studied. Under certain assumptionson the coefficients , it is proved that concavity of the pressurefunction is a consequence of a ‘weak’ convexityof travelling-wave solutions of the form V(x, t) = (x–t+a).It is established that the global structure of a so-called properset B = {V} of such particular solutions determines a propertyof B-concavity for more general solutions which is preservedin time. For the filtration equation u_t = ((u))_xx a semiconcavityestimate for the pressure, v_xx(t+)^–1'(), due to the B-concavityof the solution to the subset B of the explicit self-similarsolutions (x/t+)) is proved. The analysis is based on the intersection comparison based onthe Sturmian argument of the general solution u(x, t) with subsetsB of particular solutions. Also studied are other aspects ofthe B-concavity/convexity with respect to different subsetsof explicit solutions.     

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.     

Direct Sums of Operator Spaces

It is proved that if X and Y are operator spaces such that everycompletely bounded operator from X into Y is completely compactand Z is a completely complemented subspace of X Y, then thereexists a completely bounded automorphism : X Y X Y with completelybounded inverse such that Z = X₀ Y₀, where X₀ and Y₀ are completelycomplemented subspaces of X and Y, respectively. If X and Yare homogeneous, the existence is proved of such a under aweaker assumption that any operator from X to Y is strictlysingular. An upper estimate is obtained for ||||_cb||^–1||_cbif X and Y are separable homogeneous Hilbertian operator spaces.Also proved is the uniqueness of a ‘completely unconditional’basis in X Y if X and Y satisfy certain conditions.     

Geometry of Critical Loci

Let :(Z,z)(U,0) be the germ of a finite (that is, proper with finite fibres)complex analytic morphism from a complex analytic normal surfaceonto an open neighbourhood U of the origin 0 in the complexplane C². Let u and v be coordinates of C² defined on U. Weshall call the triple (, u, v) the initial data. Let stand for the discriminant locus of the germ , that is,the image by of the critical locus of . Let ()_A be the branches of the discriminant locus at O whichare not the coordinate axes. For each A, we define a rational number d by where I(–, –) denotes the intersection number at0 of complex analytic curves in C². The set of rational numbersd, for A, is a finite subset D of the set of rational numbersQ. We shall call D the set of discriminantal ratios of the initialdata (, u, v). The interesting situation is when one of thetwo coordinates (u, v) is tangent to some branch of , otherwiseD = {1}. The definition of D depends not only on the choiceof the two coordinates, but also on their ordering. In this paper we prove that the set D is a topological invariantof the initial data (, u, v) (in a sense that we shall definebelow) and we give several ways to compute it. These resultsare first steps in the understanding of the geometry of thediscriminant locus. We shall also see the relation with thegeometry of the critical locus.     

Herman Rings and Arnold Disks

For (,a) C* x C, let f_,a be the rational map defined by f_,a(z)= z² (az+1)/(z+a). If R/Z is a Brjuno number, we let D bethe set of parameters (,a) such that f_,a has a fixed Hermanring with rotation number (we consider that (e²ⁱ,0) D). Resultsobtained by McMullen and Sullivan imply that, for any g D, theconnected component of D(C* x (C/{0,1})) that contains g isisomorphic to a punctured disk. We show that there is a holomorphic injection F:DD such thatF(0) = (e²ⁱ ,0) and , where r is the conformal radius at 0 of the Siegel disk of the quadraticpolynomial z e²ⁱ z(1+z). As a consequence, we show that for a (0,1/3), if f_l,a has afixed Herman ring with rotation number and if m_a is the modulusof the Herman ring, then, as a0, we have e m_a=(r/a) + O(a). We finally explain how to adapt the results to the complex standardfamily z e^(a/2)(z-1/z).     

Asymptotics for Fractional Nonlinear Heat Equations

The Cauchy problem is studied for the nonlinear equations withfractional power of the negative Laplacian where (0,2), with critical = /n and sub-critical (0,/n)powers of the nonlinearity. Let u₀ L^1,a L C, u₀(x) 0 in Rⁿ, = . The case of not small initial data is of interest. It is proved that the Cauchy problemhas a unique global solution u C([0,); L L^1,a C) and the largetime asymptotics are obtained.     

Immanant Inequalities, Induced Characters, and Rank Two Partitions

If = {₁, ₂, ..., _s}, where _{1 2} ... _s > 0, is a partitionof n then denotes the associated irreducible character of S_n,the symmetric group on {1, 2, ..., n}, and, if cCS_n, the groupalgebra generated by C and S_n, then d_c(·) denotes thegeneralized matrix function associated with c. If c₁, c₂ CS_nthen we write c₁ c₂ in case (A) (A) for each n x n positivesemi-definite Hermitian matrix A. If cCS_n and c(e) 0, wheree denotes the identity in S_n, then or denotes (c(e))^–1 c. The main result, an estimate for the norms of tensors of a certainanti-symmetry type, implies that if = {₁, ₂, ..., _s, 1^t} isa partition of n such that s > 1 and _s = 2, and ' denotes{₁, ₂, ..., _s-1, 1^t} then (, _{2}) where denotes characterinduction from S_n–2 x S₂ to S_n. This in turn implies thatif = {₁, ₂, ..., _s, 1^t} with s > 1, _s = 2, and ßdenotes {₁ + 2, ₂, ..., _s-1, 1^t} then _ß which,in conjunction with other known results, provides many new inequalitiesamong immanants. In particular it implies that the permanentfunction dominates all normalized immanants whose associatedpartitions are of rank 2, a result which has proved elusivefor some years. We also consider the non-relationship problem for immanants– that is the problem of identifying pairs, (,ß)such that _ß and _ß are both false.     

Nonpositively Curved Metric in the Positive Cone of a Finite Von Neumann Algebra

In this paper we study the metric geometry of the space ofpositive invertible elements of a von Neumann algebra A witha finite, normal and faithful tracial state . The trace inducesan incomplete Riemannian metric x,y_a = (ya^–1xa^–1),and, though the techniques involved are quite different, thesituation here resembles in many relevant aspects that of then x n matrices when they are regarded as a symmetric space.For instance, we prove that geodesics are the shortest pathsfor the metric induced, and that the geodesic distance is aconvex function; we give an intrinsic (algebraic) characterizationof the geodesically convex submanifolds M of ; and under a suitablehypothesis we prove a factorization theorem for elements inthe algebra that resembles the Iwasawa decomposition for matrices.This factorization is obtained via a nonlinear orthogonal projection_M : M, a map which turns out to be contractive for the geodesicdistance.     

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 .     

Reciprocating the Regular Polytopes

For reciprocation with respect to a sphere x²=c in Euclideann-space, there is a unitary analogue: Hermitian reciprocationwith respect to an antisphere u=c. This is now applied, forthe first time, to complex polytopes. When a regular polytope has a palindromic Schläfli symbol,it is self-reciprocal in the sense that its reciprocal ', withrespect to a suitable concentric sphere or antisphere, is congruentto . The present article reveals that and ' usually have togetherthe same vertices as a third polytope ⁺ and the same facet-hyperplanesas a fourth polytope ^– (where ⁺ and ^– are againregular), so as to form a ‘compound’, ⁺[2]^–.When the geometry is real, ⁺ is the convex hull of and ', while^– is their common content or ‘core’. For instance,when is a regular p-gon {p}, the compound is The exceptions are of two kinds. In one, ⁺ and ^– are notregular. The actual cases are when is an n-simplex {3, 3, ...,3} with n4 or the real 4-dimensional 24-cell {3, 4, 3}=2{3}2{4}2{3}2or the complex 4-dimensional Witting polytope 3{3}3{3}3{3}3.The other kind of exception arises when the vertices of arethe poles of its own facet-hyperplanes, so that , ', ⁺ and ^–all coincide. Then is said to be strongly self-reciprocal.     

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.     

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||=+.     

Inverse Spectral Problems for Sturm-Liouville Equations with Eigenparameter Dependent Boundary Conditions

Inverse Sturm–Liouville problems with eigenparameter-dependentboundary conditions are considered. Theorems analogous to thoseof both Hochstadt and Gelfand and Levitan are proved. In particular, let ly = (1/r)(–(py')'+qy), , where det = > 0, c 0, det > 0, t 0 and (cs + dr –au – tb)² < 4(cr – ta)(ds – ub). Denoteby (l; ; ) the eigenvalue problem ly = y with boundary conditionsy(0)cos+y'(0)sin = 0 and (a+b)y(1) = (c+d)(py')(1). Define (; ; ) as above but with l replacedby . Let w_n denote the eigenfunctionof (l; ; ) having eigenvalue n and initial conditions w_n(0)= sin and pw'_n(0) = –cos and let _n = –aw_n(1)+cpw'_n(1).Define _n and _n similarly. As sample results, it is proved that if (l; ; ) and (; ; ) have the same spectrum, and (l;; ) and (; ; ) have the samespectrum or for all n, thenq/r = /.