Splendid Derived Equivalences for Blocks of Finite Groups

A central issue in finite group modular representation theoryis the relationship between the p-local structure and the p-modularrepresentation theory of a given finite group. In [5], Brouéposes some startling conjectures. For example, he conjecturesthat if e is a p-block of a finite group G with abelian defectgroup D and if f is the Brauer correspondent block of e of thenormalizer, N_G(D), of D then e and f have equivalent derivedcategories over a complete discrete valuation ring with residuefield of characteristic p. Some evidence for this conjecturehas been obtained using an important Morita analog for derivedcategories of Rickard [11]. This result states that the existenceof a tilting complex is a necessary and sufficient conditionfor the equivalence of two derived categories. In [5], Brouéalso defines an equivalence on the character level between p-blockse and f of finite groups G and H that he calls a ‘perfectisometry’ and he demonstrates that it is a consequenceof a derived category equivalence between e and f. In [5], Brouéalso poses a corresponding perfect isometry conjecture betweena p-block e of a finite group G with an abelian defect groupD and its Brauer correspondent p-block f of N_G(D) and presentsseveral examples of this phenomena. Subsequent research hasprovided much more evidence for this character-level conjecture. In many known examples of a perfect isometry between p-blockse, f of finite groups G, H there are also perfect isometriesbetween p-blocks of p-local subgroups corresponding to e andf and these isometries are compatible in a precise sense. In[5], Broué calls such a family of compatible perfectisometries an ‘isotypy’. In [11], Rickard addresses the analogous question of defininga p-locally compatible family of derived equivalences. In thisimportant paper, he defines a ‘splendid tilting complex’for p-blocks e and f of finite groups G and H with a commonp-subgroup P. Then he demonstrates that if X is such a splendidtilting complex, if P is a Sylow p-subgroup of G and H and ifG and H have the same ‘p-local structure’, thenp-local splendid tilting complexes are obtained from X via theBrauer functor and ‘lifting’. Consequently, in thissituation, we obtain an isotypy when e and f are the principalblocks of G and H. Linckelmann [9] and Puig [10] have also obtained important resultsin this area. In this paper, we refine the methods and program of [11] toobtain variants of some of the results of [11] that have widerapplicability. Indeed, suppose that the blocks e and f of Gand H have a common defect group D. Suppose also that X is asplendid tilting complex for e and f and that the p-local structureof (say) H with respect to D is contained in that of G, thenthe Brauer functor, lifting and ‘cutting’ by blockindempotents applied to X yield local block tilting complexesand consequently an isotypy on the character level. Since thep-local structure containment hypothesis is satisfied, for example,when H is a subgroup of G (as is the case in Broué'sconjectures) our results extend the applicability of these ideasand methods.     

Two Theorems on Truncations of the Laurent Series

It is shown that in every neighbourhood of an isolated essentialsingularity of an analytic function f every complex number isattained more than (counting the multiplicities) any given numberof times by every truncation T_{–k, p} with N k, p (forsome integer N) of the corresponding Laurent series of f. Also,it is shown that in every neighbourhood of any point of analyticityc of f the value f (c) is attained by every truncation T_–k,p with N k, p (for some integer N) of the Laurent series off.     

Existence of unique solutions for perturbed autonomous differential equations

We consider the existence of unique absolutely continuous solutionsfor x' = p(t)f(x) + p(t)h(t), t 0, x(0) = 0, where p, f, andh are positive almost everywhere, but none of them needs becontinuous or monotone. Moreover, p and f can be unbounded aroundzero. Our uniqueness results are not based on assumptions onthe differences f(x) – f(y), as it is usual in most uniquenessresults, and they are new even when p, f, and h are continuous.     

Dilatation and Order of Contact for Holomorphic Self-Maps of Strongly Convex Domains

Let D be a bounded strongly convex domain and let f be a holomorphicself-map of D. In this paper we introduce and study the dilatation(f) of f defined, if f has no fixed points in D, as the usualboundary dilatation coefficient of f at its Wolff point, or,if f has some fixed points in D, as the ratio of shrinking ofthe Kobayashi balls around a fixed point of f. In particular,we show that the map , defined as : f (f) [0,1], is lowersemicontinuous. Among other things, this allows us to studythe limits of a family of holomorphic self-maps of D. In thecase of an inner fixed point, the dilatation is an intrinsicmeasure of the order of contact of f(D) to D. Finally, using complex geodesics, we define and study a directionaldilatation, which is a measure of the shrinking of the domainalong a given direction. Again, results of semicontinuity aregiven and applied to a family of holomorphic self-maps. 2000Mathematical Subject Classification: primary 32H99; secondary30F99, 32H15.     

Injectivity, Projectivity and Supercuspidal Representations

Let G be a reductive p-adic group. Consider the category ofsmooth (complex) representations of G in which a (fixed) closedcocompact subgroup of the centre acts by a (fixed) character.It is well known that the supercuspidal representations in thiscategory are both injective and projective. It is shown that,conversely, an admissible injective or projective object isnecessarily supercuspidal.     

Definiteness of the Peano Kernel Associated with the Polyharmonic Mean Value Property

The definiteness of the Peano kernel is proved for a functionalassociated with the mean-value property of Picone and Brambleand Payne for polyharmonic functions in the ball. An importantcorollary of this is that if a function f satisfying (–1)^ppf>0vanishes on p concentric spheres centered at 0, then f(0)>0.This generalizes a well-known property of subharmonic functions(which arise in the special case p = 1).     

The norm of the Riemann-Liouville operator on Lp[0,1]: a probabilistic approach

We obtain explicit lower and upper bounds for the norm of theRiemann–Liouville operator V^s on L^p[0, 1] which are asymptoticallysharp, thus completing previous results by Eveson. Similar statementsare shown with respect to the norms ||V^s f||_p, whenever f satisfiescertain smoothness properties. It turns out that the correctrate of convergence of ||V^s f||_p as s depends both on theinfimum of the support of f and on the degree of smoothnessof f. We use a probabilistic approach which allows us to giveunified proofs.     

A p Interpolation in the Unit Ball

We study interpolating sequences in the unit ball for A^–pwith p > 0, the Banach space of holomorphic functions f with(1 – |z|²)^p |f(z)| bounded. The finite unions of A^–p-interpolatingsequences are characterized by a Carleson type condition.     

On the Representation of Primes by Cubic Polynomials in Two Variables

In an earlier paper (see Proc. London Math. Soc. (3) 84 (2002)257–288) we showed that an irreducible integral binarycubic form f(x, y) attains infinitely many prime values, providingthat it has no fixed prime divisor. We now extend this resultby showing that f(m, n) still attains infinitely many primevalues if m and n are restricted by arbitrary congruence conditions,providing that there is still no fixed prime divisor. Two immediate consequences for the solvability of diagonal cubicDiophantine equations are given. 2000 Mathematics Subject Classification11N32 (primary), 11N36, 11R44 (secondary).     

The Hausdorff Dimension of Julia Sets of Meromorphic Functions II

A family of transcendental meromorphic functions, f_p(z), p N is considered. It is shown that, if p 6, then the Hausdorffdimension of the Julia set of f_p satisfies dim J(f_p) 1/p, for0 < < 1/6^p, and dim J(f_p) 1–(30 ln ln p/ln p),for p^4p–1/10⁵ ln p < < p^4p–1/10⁴ ln p. Theseresults are used elsewhere to show that, for each d (0, 1),there exists a transcendental meromorphic function for whichdim J(f) = d.     

Singularities and Limit Functions in Iteration of Meromorphic Functions

Let f(z) be a transcendental meromorphic function. The paperinvestigates, using the hyperbolic metric, the relation betweenthe forward orbit P(f) of singularities of f^–1 and limitfunctions of iterations of f in its Fatou components. It ismainly proved, among other things, that for a wandering domainU, all the limit functions of {fⁿ|_U} lie in the derived setof P(f) and that if f^np|_V q(n +) for a Fatou component V, theneither q is in the derived set of S_p (f) or f^p(q) = q. As applicationsof main theorems, some sufficient conditions of the non-existenceof wandering domains and Baker domains are given.     

Lower Bounds for the Lp-Norm in Terms of the Mellin Transform

Given a measurable function f on (0, ) with Mellin transformF(s), let |f|_p denote the L^p-norm of f with respect to the measuredx/x. We prove that under certain assumptions, for instanceif f is real and non-negative and F() converges for in an openinterval and F() 0, then wherec_p (2e)^–1. We derive similar inequalities for complex-valuedf, for the L^p-norm of the derivative of f, and for the supremumof real-valued f and of its derivative. The lower bounds areeminently applicable when f is a convolution product.     

Nodal Solutions of a p-Laplacian Equation

We prove that the p-Laplacian problem –_p u = f(x, u),with u on a bounded domain R^N, with p > 1 arbitrary, has a nodal solution providedthat f : x R R is subcritical, and f(x, t) / |t|^p –² is superlinear. Infinitely many nodal solutions are obtainedif, in addition, f(x, –t) = –f(x, t). 2000 MathematicsSubject Classification 35J20, 35J65, 58E05.     

A Criterion for Finite Topological Determinacy of Map-Germs

Let f, g: (Rⁿ, 0) (R^p, 0) be two C map-germs. Then f and gare C⁰-equivalent if there exist homeomorphism-germs h and lof (Rⁿ, 0) and (R^p, 0) respectively such that g = l f h^–1.Let k be a positive integer. A germ f is k-C⁰-determined ifevery germ g with j^k g(0) = j^k f(0) is C⁰-equivalent to f. Moreover,we say that f is finitely topologically determined if f is k-C⁰-determinedfor some finite k. We prove a theorem giving a sufficient conditionfor a germ to be finitely topologically determined. We explainthis condition below. Let N and P be two C manifolds. Consider the jet bundle J^k(N,P) with fiber J^k(n, p). Let z in J^k(n, p) and let f be suchthat z = j^kf(0). Define Whether (f) < k depends only on z, not on f. We can thereforedefine the set Let W^k(N, P) be the subbundle of J^k(N, P) with fiber W^k(n, p).Mather has constructed a finite Whitney (b)-regular stratificationS^k(n, p) of J^k(n, p) – W^k(n, p) such that all strata aresemialgebraic and K-invariant, having the property that if S^k(N,P) denotes the corresponding stratification of J^k(N, P) –W^k(N, P) and f C(N, P) is a C map such that j^kf is multitransverseto S^k(N, P), j^kf(N) W^k(N, P) = and N is compact (or f is proper),then f is topologically stable. For a map-germ f: (Rⁿ, 0) (R^p, 0), we define a certain ojasiewiczinequality. The inequality implies that there exists a representativef: U R^p such that j^kf(U – 0) W^k (Rⁿ, R^p = and suchthat j^kf is multitransverse to S^k (Rⁿ, R^p) at any finite setof points S U – 0. Moreover, the inequality controlsthe rate j^kf becomes non-transverse as we approach 0. We showthat if f satisfies this inequality, then f is finitely topologicallydetermined. 1991 Mathematics Subject Classification: 58C27.     

The Bicanonical Map of Surfaces with pg = 0 and K2 >= 7, II

Minimal complex surfaces of general type with p_g = 0 and K²= 7 or 8 whose bicanonical map is not birational are studied.It is shown that if S is such a surface, then the bicanonicalmap has degree 2 (see Bulletin of the London Mathematical Society33 (2001) 1–10) and there is a fibration f: S P¹ suchthat (i) the general fibre F of f is a genus 3 hyperellipticcurve; (ii) the involution induced by the bicanonical map ofS restricts to the hyperelliptic involution of F. Furthermore, if , then f isan isotrivial fibration with six double fibres, and if , then f has five double fibres andit has precisely one fibre with reducible support, consistingof two components. 2000 Mathematics Subject Classification 14J29.     

On Newton's method for entire functions

The Newton map N_f of an entire function f turns the roots off into attracting fixed points. Let U be the immediate attractingbasin for such a fixed point of N_f. We study the behavior ofN_f in a component V of \U. If V can be surrounded by an invariantcurve within U and satisfies the condition that for all z , N_f^–1({z}) V is a finite set,then it is shown that V contains another immediate basin ofN_f or a virtual immediate basin.     

Complex Dynamics of Convergence Acceleration

Generalized Steffensen methods are nonderivative algorithmsfor the computation of fixed points of a function f. They replacethe functional iteration Z_m+1=f(Z_m) with Z_m+1=F_n(Z_m, where F_nis explicitly provided for every n 1 as a quotient of two Hankeldeterminants. In this paper we derive rules pertaining to thelocal behaviour of these methods. Specifically, and subjectto analyticity, given that is a bounded fixed point of f, thenit is also a fixed point of F_n. Moreover, unless f'() vanishesor is a root of unity, becomes a superattractive fixed pointof F_n of degree n; if f'() is a root of unity of minimal degreeq2, then is (as a fixed point of F_n) superattractive of degreemin {q-1, n}; if f'()=1, then is attractive for F_n; and, finally,if is superattractive of degree s (as a fixed point of f),then it becomes superattractive of degree (s + 1)^n–1(ns+ s + 1)–1. Attractivity rules change at infinity (providedthat f()=). Broadly speaking, infinity becomes less attractivefor F_n, Since one is interested in convergence to finite fixedpoints, this further enhances the appeal of generalized Steffensenmethods.     

On Towers Approximating Homological Localizations

Our object of study is the natural tower which, for any givenmap f:AB and each space X, starts with the localization of Xwith respect to f and converges to X itself. These towers canbe used to produce approximations to localization with respectto any generalized homology theory E_*, yielding, for example,an analogue of Quillen's plus-construction for E_*. We discussin detail the case of ordinary homology with coefficients inZ/p or Z[1/p]. Our main tool is a comparison theorem for nullificationfunctors (that is, localizations with respect to maps of theform f:Apt), which allows us, among other things, to generalizeNeisendorfer's observation that p-completion of simply-connectedspaces coincides with nullification with respect to a Moorespace M(Z[1/p], 1).     

Dynamics of meromorphic functions with direct or logarithmic singularities

Let f be a transcendental meromorphic function and denote byJ(f) the Julia set and by I(f) the escaping set. We show thatif f has a direct singularity over infinity, then I(f) has anunbounded component and I(f)J(f) contains continua. Moreover,under this hypothesis I(f)J(f) has an unbounded component ifand only if f has no Baker wandering domain. If f has a logarithmicsingularity over infinity, then the upper box dimension of I(f)J(f)is 2 and the Hausdorff dimension of J(f) is strictly greaterthan 1. The above theorems are deduced from more general resultsconcerning functions which have ‘direct or logarithmictracts’, but which need not be meromorphic in the plane.These results are obtained by using a generalization of Wiman–Valirontheory. This method is also applied to complex differentialequations.     

On the Number of Singularities in Generic Deformations of Map Germs

Let f:Cⁿ, 0C^p, 0 be a K-finite map germ, and let i=(i₁, ...,i_k) be a Boardman symbol such that ⁱ has codimension n in thecorresponding jet space J^k(n, p). When its iterated successorshave codimension larger than n, the paper gives a list of situationsin which the number of ⁱ points that appear in a generic deformationof f can be computed algebraically by means of Jacobian idealsof f. This list can be summarised in the following way: f musthave rank n–i₁ and, in addition, in the case p=6, f mustbe a singularity of type ^i₁,i₂.