Betti Numbers of Semialgebraic and Sub-Pfaffian Sets

Let X be a subset in [–1,1]^n₀R^n₀ defined by the formula X={x₀|Q₁x₁Q₂x₂...Qx ((x₀,x₁,...x)X)}, where Q_i{ }, Q_i Q_i+1, x_i [–1, 1]^n_i, and X may be eitheran open or a closed set in [–1,1]^n₀+...+n, being the differencebetween a finite CW-complex and its subcomplex. An upper boundon each Betti number of X is expressed via a sum of Betti numbersof some sets defined by quantifier-free formulae involving X. In important particular cases of semialgebraic and semi-Pfaffiansets defined by quantifier-free formulae with polynomials andPfaffian functions respectively, upper bounds on Betti numbersof X are well known. The results allow to extend the boundsto sets defined with quantifiers, in particular to sub-Pfaffiansets.     

On Positive Multipeak Solutions of a Nonlinear Elliptic Problem

In this paper we continue our investigation in [5, 7, 8] onmultipeak solutions to the problem –²u+u=Q(x)|u|^q–2u, xR^N, uH¹(R^N) (1.1) where = ^N_i=1²/x²_i is the Laplace operator in R^N, 2 < q < for N = 1, 2, 2 < q < 2N/(N–2) for N3, and Q(x)is a bounded positive continuous function on R^N satisfying thefollowing conditions. (Q₁) Q has a strict local minimum at some point x₀R^N, that is,for some > 0 Q(x)>Q(x₀) for all 0 < |x–x₀| < . (Q₂) There are constants C, > 0 such that |Q(x)–Q(y)|C|x–y| for all |x–x₀| , |y–y₀| . Our aim here is to show that corresponding to each strict localminimum point x₀ of Q(x) in R^N, and for each positive integerk, (1.1) has a positive solution with k-peaks concentratingnear x₀, provided is sufficiently small, that is, a solutionwith k-maximum points converging to x₀, while vanishing as 0 everywhere else in R^N.     

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

POSITIVE SOLUTIONS FOR A NONLINEAR ELLIPTIC PROBLEM WITH STRONG LACK OF COMPACTNESS

This paper deals with the lack of compactness in the nonlinearelliptic problem – u + u = |u|^p–2u in , u > 0in , u = 0 on , when is un unbounded domain in ⁿ and 2 <p < 2n/(n–2). In particular, a domain is provided where non-converging Palais–Smale sequences existat every energy level. Nevertheless, it is proved that the problemhas infinitely many solutions on .     

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.     

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.     

On a Comparison Principle and the Critical Fujita Exponents for Solutions of Semilinear Parabolic Inequalities

The paper examines blow-up phenomena for the inequality u_t–Lu–|u|^q–1u_t–L–||^q–1 (*) in the half-space x Rⁿ, n 1, where L is a linear second-order partial differential operatorin divergence form. The paper studies weak solutions of (*) that belong only locallyto the corresponding Sobolev spaces in the half-space x Rⁿ. It also requires no conditionsfor the behavior of solutions of (*) on the hyperplane t = 0. The existence of critical blow-up exponents is obtained forsolutions of (*) as a special case of a comparison principlefor the corresponding solutions of (*). For example, the well-knownFujita result is a consequence of the comparison principle. The approach developed in the paper is directly applicable tothe study of analogous problems involving nonlinear differentialoperators. Its elliptic analogue has been recently developedby the authors.     

On the Asymptotics of the Growth of 2-Step Nilpotent Groups

Pansu has shown that the growth function of every virtuallynilpotent group with respect to any finite generating set hasasymptotics (n)n^d, where d is the degree of growth of . Thepaper refines his result in the special case of 2-step nilpotentgroups to obtain (n)=n^d+O(n^d–1).     

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 the L1 Mean of the Exponential Sum Formed with the Mobius Function

In this paper we study the L¹ mean (1) of the exponential sum M()=_nXµ(n)e(n), where µ(n)is the Möbius function and e(x)=e^2ix. From the Cauchy–Schwarzinequality and Parseval's identity, we have , (2) and it is an interesting problem to investigate whether (2)reflects the true order of magnitude of (1).     

A Topological Criterion for the Existence of Half-Bound States

The following theorem is proved: if (M⁴ⁿ⁺¹,g) is a completeRiemannian manifold and M is an oriented hypersurface partitioningM and with non-zero signature, then the spectrum of the Hodge–deRhamLaplacian is [0,]. This result is obtained by a new Callias-typeindex. This new formula links half-bound harmonic forms (thatis, nearly L² but not in L²) with the signature of .     

The Derivation Problem for Group Algebras of Connected Locally Compact Groups

The derivation problem for a locally compact group G is to decidewhether for each derivation D from L¹(G) into L¹(G) there isa bounded measure µM(G) with D(a) = aµ–µa(a L¹(G)). In this paper we obtain an affirmative answer forthe case of connected groups. To explain the contents of thispaper we give an equivalent formulation of the problem. Supposethat the group G acts as a group of homeomorphisms of the locallycompact space X. Related to this there is an action of G onM(X). A bounded crossed homomorphism from G to M(X) is a map with bounded range and satisfying (gh) = g(h)+(g) (g, h G).The problem for bounded crossed homomorphisms is to decide iffor each such there is an element µ of M(X) with (g)= gµ– µ (g G). The derivation problem isequivalent to this bounded crossed homomorphism problem forthe special case X = G where G acts on X by conjugation (togetherwith some mild continuity hypotheses about the map :GM(X) whichare often automatically satisfied). The bounded crossed homomorphismproblem always has a positive solution if G is amenable anda closely related calculation shows that in solving the boundedcrossed homomorphism problem we need only solve it for functions which are zero on H where H is a given amenable subgroup ofG. It can happen that this condition of being zero on H forces to be zero even when H is a comparatively small subgroup ofG. If h is an element of G such that ‘hⁿx ’ asn for all x X then for any two measures µ and , forlarge values of n, µ and hⁿ have little overlap so ||µ+ hⁿ|| ||µ|| + ||||. Thus if H is the subgroup generatedby h, for any g G .     

Limits Along Parallel Lines and the Classical Fine Topology

The fine topology on Rⁿ (n2) is the coarsest topology for whichall superharmonic functions on Rⁿ are continuous. We refer toDoob [11, 1.XI] for its basic properties and its relationshipto the notion of thinness. This paper presents several theoremsrelating the fine topology to limits of functions along parallellines. (Results of this nature for the minimal fine topologyhave been given by Doob – see [10, Theorem 3.1] or [11,1.XII.23] – and the second author [15].) In particular,we will establish improvements and generalizations of resultsof Lusin and Privalov [18], Evans [12], Rudin [20], Bagemihland Seidel [6], Schneider [21], Berman [7], and Armitage andNelson [4], and will also solve a problem posed by the latterauthors. An early version of our first result is due to Evans [12, p.234], who proved that, if u is a superharmonic function on R³,then there is a set ER²x{0}, of two-dimensional measure 0, suchthat u(x, y,·) is continuous on R whenever (x, y, 0)E.We denote a typical point of Rⁿ by X=(X' x), where X'R^n–1and xR. Let :RⁿR^n–1x{0} denote the projection map givenby (X', x) = (X', 0). For any function f:Rⁿ[–, +] andpoint X we define the vertical and fine cluster sets of f atX respectively by C_V(f;X)={l[–, +]: there is a sequence (t_m) of numbersin R\{x} such that t_mx and f(X', t_m)l}| and C_F(f;X)={l[–, +]: for each neighbourhood N of l in [–,+], the set f^–1(N) is non-thin at X}. Sets which are open in the fine topology will be called finelyopen, and functions which are continuous with respect to thefine topology will be called finely continuous. Corollary 1(ii)below is an improvement of Evans' result.     

A Mean Value Property of Poly-Temperatures on a Strip Domain

We consider the iterates of the heat operator on Rⁿ⁺¹={(X, t); X=(x₁, x₂, ..., x_n)Rⁿ, tR}. Let Rⁿ⁺¹ be a domain,and let m1 be an integer. A lower semi-continuous and locallyintegrable function u on is called a poly-supertemperatureof degree m if (–H)^mu0 on (in the sense of distribution). If u and –u are both poly-supertemperatures of degreem, then u is called a poly-temperature of degree m. Since His hypoelliptic, every poly-temperature belongs to C(), andhence (–H)^m u(X, t)=0 (X, t). For the case m=1, we simply call the functions the supertemperatureand the temperature. In this paper, we characterise a poly-temperature and a poly-supertemperatureon a strip D={(X, t);XRⁿ, 0<t<T} by an integral mean on a hyperplane. To state our result precisely,we define a mean A[·, ·]. This plays an essentialrole in our argument.     

Normal Transversality and Uniform Bounds

Let A be a commutative ring. A graded A-algebra U = _n0 U_n isa standard A-algebra if U₀ = A and U = A[U₁] is generated asan A-algebra by the elements of U₁. A graded U-module F = _n0F_nis a standard U-module if F is generated as a U-module by theelements of F₀, that is, F_n = U_nF₀ for all n 0. In particular,F_n = U₁F_n–1 for all n 1. Given I, J, two ideals of A,we consider the following standard algebras: the Rees algebraof I, R(I) = _n0Iⁿtⁿ = A[It] A[t], and the multi-Rees algebraof I and J, R(I, J) = _n0(_p+q=nI^pJ^qu^pv^q) = A[Iu, Jv] A[u, v].Consider the associated graded ring of I, G(I) = R(I) A/I =_n0Iⁿ/Iⁿ⁺¹, and the multi-associated graded ring of I and J,G(I, J) = R(I, J) A/(I+J) = _n0(_p+q=nI^pJ^q/(I+J)I^pJ^q). We canalways consider the tensor product of two standard A-algebrasU = _p0U_p and V = _q0V_q as a standard A-algebra with the naturalgrading U V = _n0(_p+q=nU_p V_q). If M is an A-module, we havethe standard modules: the Rees module of I with respect to M,R(I; M) = _n0IⁿMtⁿ = M[It] M[t] (a standard R(I)-module), andthe multi-Rees module of I and J with respect to M, R(I, J;M) = _n0(_p+q=nI^pJ^qMu^pv^q) = M[Iu, Jv] M[u, v] (a standard R(I,J)-module). Consider the associated graded module of M withrespect to I, G(I; M) = R(I; M) A/I = _n0IⁿM/Iⁿ⁺¹M (a standardG(I)-module), and the multi-associated graded module of M withrespect to I and J, G(I, J; M) = R(I, J; M) A/(I+J) = _n0(_p+q=nI^pJ^qM/(I+J)I^pJ^qM)(a standard G(I, J)-module). If U, V are two standard A-algebras,F is a standard U-module and G is a standard V-module, thenF G = _n0(_p+q=nF_p G_q) is a standard U V-module. Denote by :R(I) R(J; M) R(I, J; M) and :R(I, J; M) R(I+J;M) the natural surjective graded morphisms of standard RI) R(J)-modules. Let :R(I) R(J; M) R(I+J; M) be . Denote by :G(I) G(J; M) G(I, J; M) and :G(I, J; M) G(I+J; M) the tensor productof and by A/(I+J); these are two natural surjective gradedmorphisms of standard G(I) G(J)-modules. Let :G(I) G(J; M) G(I+J; M) be . The first purpose of this paper is to prove the following theorem.     

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.     

Real Interpolation and Two Variants of Gehring's Lemma

Let be a fixed open cube in Rⁿ. For r[1, ) and [0, ) we define where Q is a cube in Rⁿ (with sides parallel to the coordinateaxes) and _Q stands for the characteristic function of the cubeQ. A well-known result of Gehring [5] states that if (1.1) for some p(1, ) and c(0, ), then there exist q(p, ) and C=C(p,q, n, c)(0, ) such that for all cubes Q, where |Q| denotes the n-dimensional Lebesguemeasure of Q. In particular, a function fL¹() satisfying (1.1)belongs to L^q(). In [9] it was shown that Gehring's result is a particular caseof a more general principle from the real method of interpolation.Roughly speaking, this principle states that if a certain reversedinequality between K-functionals holds at one point of an interpolationscale, then it holds at other nearby points of this scale. Usingan extension of Holmstedt's reiteration formulae of [4] andresults of [8] on weighted inequalities for monotone functions,we prove here two variants of this principle involving extrapolationspaces of an ordered pair of (quasi-) Banach spaces. As an applicationwe prove the following Gehring-type lemmas.     

A Strong Law for the Largest Nearest-Neighbour Link between Random Points

Suppose that X₁, X₂, X₃, ... are independent random points inR^d with common density f, having compact support with smoothboundary , with f| continuous. Let Rⁿ_{i, k} denote the distancefrom X_i to its kth nearest neighbour amongst the first n points,and let M_{n, k} = max_in Rⁿ_{i, k}. Let denote the volume of theunit ball. Then as n , , almost surely If instead the points lie in a compact smooth d-dimensionalRiemannian manifold K, then nM^d_{n, k}/log n (min_Kf)^–1,almost surely.     

The Baire Method for the Prescribed Singular Values Problem

The paper investigates the vectorial Dirichlet problem definedby S_j( u(x))=1,xnO; a.e., j=1,...,n, u(x)=\(x),\,x\in|O. end{cases}Here O is an open bounded subset of Rⁿ with boundary |O, and_j(A) (j=1,...,n) denote the singular values of the gradient u(x). The existence of solutions is established under one ofthe following assumptions: : O – Rⁿ is continuous on Oand locally contractive on O, or : |O – Rⁿ is contractiveon |O. This extends a result due to Dacorogna and Marcellini.The approach is based on the Baire category method developedearlier by the authors.