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 , .     

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.     

Tangential Boundary Behaviour of Harmonic and Holomorphic Functions

Let K be a kernel on Rⁿ, that is, K is a non-negative, unboundedL¹ function that is radially symmetric and decreasing. We definethe convolution K * F by and note from L^p-capacity theory [11, Theorem 3] that, if F L^p, p > 1, then K * F exists as a finite Lebesgue integraloutside a set A Rⁿ with C_K,p(A) = 0. For a Borel set A, where We define the Poisson kernel for = {(x, y) : x Rⁿ, y > 0} by and set Thus u is the Poisson integral of the potential f = K * F, andwe write u=P_y*(K*F)=P_y*f=P[f]. We are concerned here with the limiting behaviour of such harmonicfunctions at boundary points of , and in particular with the tangential boundary behaviour ofthese functions, outside exceptional sets of capacity zero orHausdorff content zero.     

On the Boundedness and Compactness of a Class of Integral Operators

Let > 0. The operator of the form is considered, where the real weight function v(x) is locallyintegrable on R⁺ := (0, ). In case v(x) = 1 the operator coincideswith the Riemann–Liouville fractional integral, L^p L^qestimates of which with power weights are well known. This workgives L^p L^qboundedness and compactness criteria for the operatorT in the case 0 < p, q < , p > max(1/, 1).     

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.     

Sub-Laplacians of Holomorphic Lp-Type on Exponential Solvable Groups

Let L denote a right-invariant sub-Laplacian on an exponential,hence solvable Lie group G, endowed with a left-invariant Haarmeasure. Depending on the structure of G, and possibly alsothat of L, L may admit differentiable L^p-functional calculi,or may be of holomorphic L^p-type for a given p 2. ‘HolomorphicL^p-type’ means that every L^p-spectral multiplier for Lis necessarily holomorphic in a complex neighbourhood of somenon-isolated point of the L²-spectrum of L. This can in factonly arise if the group algebra L¹(G) is non-symmetric. Assume that p 2. For a point in the dual g^* of the Lie algebrag of G, denote by ()=Ad^*(G) the corresponding coadjoint orbit.It is proved that every sub-Laplacian on G is of holomorphicL^p-type, provided that there exists a point g^* satisfying Boidol'scondition (which is equivalent to the non-symmetry of L¹(G)),such that the restriction of () to the nilradical of g is closed.This work improves on results in previous work by Christ andMüller and Ludwig and Müller in twofold ways: on theone hand, no restriction is imposed on the structure of theexponential group G, and on the other hand, for the case p>1,the conditions need to hold for a single coadjoint orbit only,and not for an open set of orbits. It seems likely that the condition that the restriction of ()to the nilradical of g is closed could be replaced by the weakercondition that the orbit () itself is closed. This would thenprove one implication of a conjecture by Ludwig and Müller,according to which there exists a sub-Laplacian of holomorphicL¹ (or, more generally, L^p) type on G if and only if there existsa point g^* whose orbit is closed and which satisfies Boidol'scondition.     

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.     

Coherent Products in a Finite Group along a Linear Ordering

Let C = (C, ) be a linear ordering, E a subset of {(x, y):x< y in C} whose transitive closure is the linear orderingC, and let :E G be a map from E to a finite group G = (G, •).We showed with M. Pouzet that, when C is countable, there isF E whose transitive closure is still C, and such that (p) = (x_o, x₁)•(x₁, x₂)•....•(x_{n– 1}, x_n) G depends only upon the extremities x₀, x_n ofp, where p = (x_o, x₁...,x_n) (with 1 n < ) is a finite sequencefor which (x_i, x_{i + 1}) F for all i < n. Here, we show thatthis property does not hold if C is the real line, but is stilltrue if C does not embed an ₁-dense linear ordering, or evena 2-dense linear ordering when Martin's Axiom holds (it followsin particular that it is independent of ZFC for linear orderingsof size ). On the other hand, we prove that this property isalways valid if E = {(x,y):x < y in C}, regardless of anyother condition on C.     

The Full Muntz Theorem in C[0, 1] and L1[0, 1]

The main result of this paper is the establishment of the ‘fullMüntz Theorem’ in C[0, l]. This characterizes thesequences of distinct, positive real numbers for which span{l, x^₁, x^₂, ...} is dense in C[0,1]. The novelty of this result is the treatment of the mostdifficult case when inf_ii = 0 while sup_ii = . The paper settlesthe L and L₁ cases of the following. THEOREM (Full Müntz Theorem in L_p[0,1]). Let p [l, ].Suppose that is a sequence of distinct real numbers greater than –1/p. Then span{x^₀,x^₁, ...} is dense in L_p[0, 1] if and only if      

Support Varieties of Non-Restricted Modules over Lie Algebras of Reductive Groups

Let G be a connected semisimple group over an algebraicallyclosed field K of characteristic p>0, and g=Lie (G). Fixa linear function g* and let Z_g() denote the stabilizer of in g. Set N_p(g)={xg|x^[p]=0}. Let C(g) denote the category offinite-dimensional g-modules with p-character . In [7], Friedlanderand Parshall attached to each MOb(C(g)) a Zariski closed, conicalsubset V_g(M)N_p(g) called the support variety of M. Suppose thatG is simply connected and p is not special for G, that is, p2if G has a component of type B_n, C_n or F₄, and p3 if G has acomponent of type G₂. It is proved in this paper that, for anynonzero MOb(C(g)), the support variety V_g(M) is contained inN_p(g)Z_g(). This allows one to simplify the proof of the Kac–Weisfeilerconjecture given in [18].     

On a Theorem of Childs on Normal Bases of Rings of Integers

Let p be a prime number, F a number field, and the set of all unramified cyclic extensions overF of degree p having a relative normal integral basis. When_p F^x, Childs determined the set in terms of Kummer generators. When p=3 and F is an imaginaryquadratic field, Brinkhuis determined this set in a form whichis, in a sense, analogous to Childs's result. The paper determinesthis set for all p 3 and F with _p F^x (and satisfying an additionalcondition), using the result of Childs and a technique developedby Brinkhuis. Two applications are also given.     

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.     

Livsic Regularity Theorems for Twisted Cocycle Equations Over Hyperbolic Systems

Let be a hyperbolic map. Cocycle equations of the form f =u·g·u^–1 are considered, with f, g, u takingvalues in a compact connected Lie group G, being an automorphismof G and f, g being Hölder continuous. When the eigenvaluesof the derivative of have modulus 1, it is proved that anymeasurable solution u has a Hölder continuous version.This condition on is optimal. When f, g are C^k then u may betaken to be C^k–1+ for any (0, 1).     

Gauge Fixing for Logarithmic Connections Over Curves and the Riemann-Hilbert Problem

Let be a compact Riemann surface of genus g, X={x₁, ..., x_n} a finite set of points, and ¹(log X) be the sheaf of 1-forms,holomorphic over \X and generated near x_j by dz_j/z_j for a coordinatez_j centred at x_j.     

Properties of Removable Singularities for Hardy Spaces of Analytic Functions

Removable singularities for Hardy spaces H^p() = {f Hol(): |f|^p u in for some harmonic u}, 0 < p < are studied. A setE = is a weakly removable singularity for H^p(\E) if H^p(\E) Hol(), and a strongly removable singularity for H^p(\E) if H^p(\E)= H^p(). The two types of singularities coincide for compactE, and weak removability is independent of the domain . The paper looks at differences between weak and strong removability,the domain dependence of strong removability, and when removabilityis preserved under unions. In particular, a domain and a setE that is weakly removable for all H^p, but not strongly removablefor any H^p(\E), 0 < p < , are found. It is easy to show that if E is weakly removable for H^p(\E)and q > p, then E is also weakly removable for H^q(\E). Itis shown that the corresponding implication for strong removabilityholds if and only if q/p is an integer. Finally, the theory of Hardy space capacities is extended, anda comparison is made with the similar situation for weightedBergman spaces.     

Antisupercyclic Operators and Orbits of the Volterra Operator

We say that a bounded linear operator T acting on a Banach spaceB is antisupercyclic if for any x B either Tⁿx = 0 for somepositive integer n or the sequence {Tⁿx/||Tⁿx||} weakly convergesto zero in B. Antisupercyclicity of T means that the angle criterionof supercyclicity is not satisfied for T in the strongest possibleway. Normal antisupercyclic operators and antisupercyclic bilateralweighted shifts are characterized. As for the Volterra operator V, it is proved that if 1 p and any f L_p [0,1] then the limit lim_n (n!||Vⁿf||_p)^1/n doesexist and equals 1 – inf supp (f). Upon using this asymptoticformula it is proved that the operator V acting on the Banachspace L_p[0,1] is antisupercyclic for any p (1,). The same statementfor p = 1 or p = is false. The analogous results are provedfor operators when the real part of z C is positive.     

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.     

Lp Lq Estimates for Parabolic Systems in Non-Divergence Form with VMO Coefficients

Consider a parabolic NxN-system of order m on ⁿ with top-ordercoefficients a VMOL. Let 1 < p, q < and let be a Muckenhouptweight. It is proved that systems of this kind possess a uniquesolution u satisfying whereAu = _||m a Du and J = [0,). In particular, choosing = 1, therealization of A in L^p(ⁿ)^N has maximal L^p – L^q regularity.     

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.     

On the Greatest Prime Divisor of the Sum of Two Squares of Primes

One of the most famous theorems in number theory states thatthere are infinitely many positive prime numbers (namely p =2 and the primes p 1 mod4) that can be represented in the formx²₁+x²₂, where x₁ and x₂ are positive integers. In a recentpaper, Fouvry and Iwaniec [2] have shown that this statementremains valid even if one of the variables, say x₂, is restrictedto prime values only. In the sequel, the letter p, possiblywith an index, is reserved to denote a positive prime number.As p²₁=p²₂ = p is even for p₁, p₂ > 2, it is reasonable toconjecture that the equation p²₁=p²₂ = 2p has an infinity ofsolutions. However, a proof of this statement currently seemsfar beyond reach. As an intermediate step in this direction,one may quantify the problem by asking what can be said aboutlower bounds for the greatest prime divisor, say P(N), of thenumbers p²₁=p²₂, where p₁, p₂ N, as a function of the realparameter N 1. The well-known Chebychev–Hooley methodcombined with the Barban–Davenport–Halberstam theoremalmost immediately leads to the bound P(N) N^1–, if N N_o(); here, denotes some arbitrarily small fixed positivereal number. The first estimate going beyond the exponent 1has been achieved recently by Dartyge [1, Théorème1], who showed that P(N) N^10/9–. Note that Dartyge'sproof provides the more general result that for any irreduciblebinary form f of degree d 2 with integer coefficients the greatestprime divisor of the numbers |f(p₁, p₂)|, p₁, p₂ N, exceedsN^_d–, where _d = 2 – 8/(d = 7). We in particular wantto point out that Dartyge does not make use of the specificfeatures provided by the form x²₁+x²₂. By taking advantage ofsome special properties of this binary form, we are able toimprove upon the exponent ₂ = 10/9 considerably.